الترميز الرياضي

رموز رياضية مميزة في LaTeX

تتألف الرموز الرياضية من استخدام رموز لتمثيل العمليات والأعداد غير المحددة والعلاقات وأي كائنات رياضية أخرى، وتجميعها في تعابير وصيغ رياضية . وتُستخدم الرموز الرياضية على نطاق واسع في الرياضيات والعلوم والهندسة لتمثيل المفاهيم والخصائص المعقدة بطريقة موجزة وواضحة ودقيقة .

على سبيل المثال، صيغة الفيزيائي ألبرت أينشتاينهـ=مج2{\displaystyle E=mc^{2}}[ 1 ] هو التمثيل الكمي في الترميز الرياضي لتكافؤ الكتلة والطاقة .

تم تقديم الترميز الرياضي لأول مرة بواسطة فرانسوا فييت في نهاية القرن السادس عشر، وتم توسيعه بشكل كبير خلال القرنين السابع عشر والثامن عشر بواسطة رينيه ديكارت ، وإسحاق نيوتن ، وجوتفريد فيلهلم لايبنيتز ، وليونهارد أويلر بشكل عام .

الرموز وأنواع الخطوط

يُعدّ استخدام العديد من الرموز أساسًا للتدوين الرياضي. وتؤدي هذه الرموز دورًا مشابهًا لدور الكلمات في اللغات الطبيعية . وقد تؤدي أدوارًا مختلفة في التدوين الرياضي، تمامًا كما تؤدي الأفعال والصفات والأسماء أدوارًا مختلفة في الجملة.

الحروف كرموز

تُستخدم الأحرف عادةً لتسمية الكائنات الرياضية - أو ما يُسمى في المصطلحات الرياضية بتمثيلها . تُستخدم الأبجديتان اللاتينية واليونانية على نطاق واسع، ولكن تُستخدم بعض الأحرف من أبجديات أخرى بشكل متقطع، مثل الأبجدية العبرية .{\displaystyle \aleph }، والحرف السيريلي Ш ، والحرف الهيراغانا. تُعتبر الأحرف الكبيرة والصغيرة رموزًا مختلفة. بالنسبة للأبجدية اللاتينية، توفر أنواع الخطوط المختلفة رموزًا مختلفة أيضًا. على سبيل المثال،ر،R،R،R،ر،{\displaystyle r,R,\mathbb {R} ,{\mathcal {R}},{\mathfrak {r}},}وR{\displaystyle {\mathfrak {R}}}من الناحية النظرية، يمكن أن يظهر الرمز في نفس النص الرياضي بستة معانٍ مختلفة. عادةً، لا يُستخدم الخط الروماني العمودي للرموز، باستثناء الرموز التي تمثل دالة قياسية، مثل الرمز "الخطيئة{\displaystyle \sin }"من دالة الجيب . [ 2 ]

للحصول على المزيد من الرموز، وللسماح بتمثيل الكائنات الرياضية ذات الصلة برموز ذات صلة، تُستخدم علامات التشكيل والرموز السفلية والعلوية بشكل متكرر. على سبيل المثال ،و1^{\displaystyle {\hat {f'_{1}}}}قد يشير إلى تحويل فورييه لمشتقة دالة تسمىو1.{\displaystyle f_{1}.}

رموز أخرى

لا تُستخدم الرموز فقط لتسمية الكائنات الرياضية، بل يمكن استخدامها أيضًا في العمليات الحسابية .(+،-،/،،...)،{\displaystyle (+,-,/,\oplus ,\ldots ),}للعلاقات(=،<،،،،...)،{\displaystyle (=,<,\leq ,\sim ,\equiv ,\ldots ),}للروابط المنطقية(،،،...)،{\displaystyle (\implies ,\land ,\lor ,\ldots ),}بالنسبة للمحددات الكمية(،)،{\displaystyle (\forall ,\exists ),}ولأغراض أخرى.

بعض الرموز تشبه الحروف اللاتينية أو اليونانية، وبعضها يتم الحصول عليه عن طريق تشويه الحروف، وبعضها رموز طباعية تقليدية ، ولكن تم تصميم العديد منها خصيصًا للرياضيات.

الترميز الرياضي الدولي القياسي

المنظمة الدولية للتوحيد القياسي (ISO) هي منظمة دولية لوضع المعايير ، تتألف من ممثلين عن هيئات التقييس الوطنية في الدول الأعضاء. يحدد المعيار الدولي ISO 80000-2 (المعروف سابقًا باسم ISO 31-11 ) الرموز المستخدمة في المعادلات الرياضية. ويشترط هذا المعيار استخدام الخط المائل للمتغيرات (مثل: E = mc² ) والخط الروماني ( العمودي ) للثوابت الرياضية (مثل: e أو π).

التعبيرات والصيغ

التعبير هو ترتيب كتابي للرموز يتبع الاصطلاحات النحوية المعتمدة على السياق في الترميز الرياضي. يمكن للرموز أن تدل على الأعداد والمتغيرات والعمليات والدوال . [ 3 ] تشمل الرموز الأخرى علامات الترقيم والأقواس ، المستخدمة للتجميع عندما لا يكون هناك ترتيب محدد للعمليات .

يُفرّق عادةً بين التعبيرات والصيغ : فالتعبيرات نوع من الكائنات الرياضية ، بينما الصيغ عباراتٌ حول الكائنات الرياضية. [ 4 ] وهذا يُشابه اللغة الطبيعية ، حيث تُشير العبارة الاسمية إلى شيء، وتُشير الجملة الكاملة إلى حقيقة . على سبيل المثال،8x-5{\displaystyle 8x-5}هو تعبير، بينما عدم المساواة8x-53{\displaystyle 8x-5\geq 3}هي صيغة.

تقييم تعبير ما يعني إيجاد قيمة عددية مكافئة له. [ 5 ] [ 6 ] يمكن تقييم التعبيرات أو تبسيطها باستبدال العمليات التي تظهر فيها بنتائجها. على سبيل المثال، التعبير8×2-5{\displaystyle 8\times 2-5}يتبسط إلى16-5{\displaystyle 16-5}، وتقييمها إلى11.{\displaystyle 11.}

تاريخ

أرقام

يُعتقد أن أول نظام لتمثيل الأرقام طُوِّر منذ 50,000 عام على الأقل. [ 7 ] كما مُثِّلت أفكار رياضية مبكرة، مثل عدّ الأصابع [ 8 بمجموعات من الصخور والعصي والعظام والطين والأحجار والمنحوتات الخشبية والحبال المعقودة. وتُعد عصا العد طريقةً للعد تعود إلى العصر الحجري القديم الأعلى . ولعل أقدم النصوص الرياضية المعروفة هي تلك التي تعود إلى سومر القديمة . فقد استخدم كلٌّ من كتاب "كيبو" لتعداد سكان جبال الأنديز وعظمة إيشانغو من أفريقيا طريقة علامات العد في حساب المفاهيم العددية.

يُعدّ مفهوم الصفر وإدخال رمزٍ له من التطورات المهمة في الرياضيات المبكرة، والتي سبقت مفهوم الصفر كعددٍ بقرون. فقد استُخدم الصفر كرمزٍ مكانيٍّ لدى البابليين واليونانيين المصريين ، ثم كعددٍ صحيحٍ لدى المايا والهنود والمسلمين (انظر تاريخ الصفر ) .

التدوين الحديث

حتى القرن السادس عشر، كانت الرياضيات في جوهرها بلاغية ، بمعنى أن كل شيء عدا الأرقام الصريحة كان يُعبَّر عنه بالكلمات. ومع ذلك، استخدم بعض المؤلفين، مثل ديوفانتوس ، بعض الرموز كاختصارات.

يُعدّ كتاب "الحساب المتكامل" (1544)، وهو أهم أعمال مايكل ستيفل (1487-1567 )، من أهم الابتكارات في الترميز الرياضي. فهو أول من استخدم الضرب بالتجميع (بدون رمز بين الحدود) في أوروبا، كما أنه أول من استخدم مصطلح "الأس " .

يُنسب الاستخدام المنهجي الأول للصيغ، وخاصة استخدام الرموز ( المتغيرات ) للأعداد غير المحددة، عمومًا إلى فرانسوا فييت (1540-1603). ومع ذلك، فقد استخدم رموزًا مختلفة عن تلك المستخدمة حاليًا.

في وقت لاحق، قدم رينيه ديكارت (1596-1650) الترميز الحديث للمتغيرات والمعادلات ؛ وعلى وجه الخصوص، استخدامx،y،z{\displaystyle x,y,z}بالنسبة للكميات المجهولة وأ،ب،ج{\displaystyle a,b,c}بالنسبة للثوابت المعروفة . كما قدم أيضاً الرمز i ومصطلح "التخيلي" للوحدة التخيلية .

شهد القرنان الثامن عشر والتاسع عشر توحيد الرموز الرياضية المستخدمة اليوم. وكان ليونارد أويلر (1707-1783) مسؤولاً عن العديد من الرموز المستخدمة حاليًا: الرمز الوظيفي.و(x)،{\displaystyle f(x),}e لأساس اللوغاريتم الطبيعي ،{\textstyle \sum }للجمع ، إلخ. [ 9 ] كما أنه شاع استخدام π لثابت أرخميدس ( الذي اقترحه ويليام جونز ، استنادًا إلى تدوين سابق لويليام أوتريد ). [ 10 ]

منذ ذلك الحين، تم استحداث العديد من الرموز الجديدة، والتي غالباً ما تكون خاصة بمجال معين من الرياضيات. بعض هذه الرموز سُميت نسبةً إلى مخترعيها، مثل رمز لايبنتز ، ورمز ليجندر ، واتفاقية جمع أينشتاين ، وما إلى ذلك.

التنضيد

لا تُعدّ أنظمة الطباعة العامة مناسبةً عمومًا للرموز الرياضية. أحد الأسباب هو أن الرموز في الرموز الرياضية غالبًا ما تُرتّب في أشكال ثنائية الأبعاد، كما في:

ن=0[أبجد]نن!.{\displaystyle \sum _{n=0}^{\infty }{\frac {{\begin{bmatrix}a&b\\c&d\end{bmatrix}}^{n}}{n!}}.}

TeX ( تُلفظ / tɛx / ) هو نظام طباعة ذو توجه رياضي ، ابتكره دونالد كنوث عام ١٩٧٨. يُستخدم على نطاق واسع في الرياضيات، من خلال امتداده المسمى LaTeX ( تُلفظ / ˈlɑːtɛx / أو / ˈleɪtɛx / ) ، وهو معيار فعلي . (التعبير أعلاه مكتوب بلغة LaTeX).

في الآونة الأخيرة، تم توفير نهج آخر لتنسيق النصوص الرياضية بواسطة MathML . ومع ذلك، فهو لا يحظى بدعم جيد في متصفحات الويب، التي تُعد هدفه الرئيسي.

الترميز الرياضي غير اللاتيني

تعتمد الرموز الرياضية العربية الحديثة في الغالب على الأبجدية العربية ، وتُستخدم على نطاق واسع في العالم العربي ، وخاصة في التعليم ما قبل الجامعي . (تستخدم الرموز الغربية الأرقام العربية ، لكن الرموز العربية تستبدل أيضاً الأحرف اللاتينية والرموز ذات الصلة بالخط العربي).

إلى جانب الترميز العربي، تستخدم الرياضيات أيضاً الحروف اليونانية للدلالة على مجموعة واسعة من الكائنات والمتغيرات الرياضية. وفي بعض الأحيان، تُستخدم أيضاً بعض الحروف العبرية (كما هو الحال في سياق الأعداد الكاردينالية اللانهائية ).

تعتمد بعض الرموز الرياضية في الغالب على الرسوم البيانية، وبالتالي فهي مستقلة تماماً تقريباً عن نوع الخط. ومن الأمثلة على ذلك رمز بنروز البياني ومخططات كوكسيتر-دينكين .

تشمل الرموز الرياضية القائمة على طريقة برايل والتي يستخدمها المكفوفون طريقة نيميث برايل وطريقة جي إس 8 برايل .

المعنى والتفسير

يُحدد بناء الجملة في الترميز كيفية دمج الرموز لتكوين تعابير سليمة ، دون أي معنى أو تفسير مُسبق. أما دلالات الترميز فتُفسر ما تُمثله الرموز وتُسند معنىً إلى التعابير والصيغ. وتُسمى العملية العكسية، أي تحويل عبارة ما إلى ترميز منطقي أو رياضي، بالترجمة .

تفسير

عند النظر إلى لغة رسمية ، يحدد التفسير مجالًا للخطاب في تلك اللغة. وعلى وجه التحديد، يخصص كل رمز ثابت لكائنات المجال، وحروف الدوال للدوال داخل المجال، وحروف المسندات للعبارات، ويُفترض أن المتغيرات تمتد عبر المجال.

العلاقة بين الخريطة والإقليم

تصف علاقة الخريطة بالإقليم العلاقة بين شيء ما وتمثيله، مثل الأرض وخريطتها . في الرياضيات، هذه هي العلاقة بين العدد 4 وتمثيله "4". علامات الاقتباس هي الاستخدام الصحيح رسميًا، لتمييز العدد عن اسمه. مع ذلك، من الشائع في الرياضيات الوقوع في هذا الخطأ بالقول "لنرمز بـ x إلى..."، بدلًا من "لنرمز بـ "x" إلى..."، وهو خطأ غير ضار عمومًا.

برنامج لطباعة المعادلات الرياضية

انظر أيضاً

مراجع

  1. ^ أينشتاين ، ألبرت (1905). "هل تريد أن تحتاج جسدك إلى الطاقة اللازمة؟" . أنالين دير فيزيك (في المانيا). 323 (13): 639–641 . بيب كود : 1905AnP...323..639E . دوى : 10.1002/andp.19053231314 . ISSN 0003-3804 . 
  2. ISO 80000-2:2019
  3. قاموس أكسفورد الإنجليزي ، sv " تعبير (اسم)، المعنى الثاني.7 "، " مجموعة من الرموز التي تمثل معًا كمية أو دالة عددية أو جبرية أو رياضية أخرى. "
  4. ستول، روبرت ر. (1963). نظرية المجموعات والمنطق . سان فرانسيسكو، كاليفورنيا: منشورات دوفر. ISBN 978-0-486-63829-4.{{cite book}}عدم توافق رقم ISBN / التاريخ ( مساعدة )
  5. قاموس أكسفورد الإنجليزي ، sv " تقييم (فعل)، المعنى أ "، " الرياضيات. حساب 'قيمة' (تعبير كمي)؛ إيجاد تعبير عددي لـ (أي حقيقة أو علاقة كمية). "
  6. قاموس أكسفورد الإنجليزي ، sv " تبسيط (فعل)، المعنى 4.أ "، " التعبير عن (معادلة أو تعبير رياضي آخر) بشكل يسهل فهمه أو تحليله أو التعامل معه، على سبيل المثال عن طريق جمع الحدود المتشابهة أو استبدال المتغيرات. "
  7. إيفز، هوارد (1990). مدخل إلى تاريخ الرياضيات ( الطبعة السادسة). منشورات كلية سوندرز. ص 9. ISBN   978-0-03-029558-4.
  8. إفراح، جورج (2000). التاريخ العالمي للأرقام: من عصور ما قبل التاريخ إلى اختراع الحاسوب . ترجمة: بيلوس، ديفيد؛ هاردينغ، إي إف؛ وود، صوفي؛ مونك، إيان. جون وايلي وأولاده . ص 48. ISBN  0-471-39340-1.(ملاحظة: يدعم إفراه أطروحته من خلال اقتباس عبارات اصطلاحية من لغات في جميع أنحاء العالم. ويشير إلى أن البشر تعلموا العد على أيديهم. ويعرض، على سبيل المثال، صورة لبوثيوس (الذي عاش بين عامي 480 و524 أو 525) وهو يعد على أصابعه.)
  9. بوير، كارل بنجامين ؛ ميرزباخ، أوتا سي. (1991). تاريخ الرياضيات . جون وايلي وأولاده . ص 442-443 . ISBN  978-0-471-54397-8.
  10. ^ أرندت، يورج. هينيل ، كريستوف (2006). أطلق العنان لبي . سبرينغر-فيرلاغ . ص. 166. ردمك  978-3-540-66572-4.

للمزيد من القراءة