تدوين أينشتاين

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

مقدمة

نَص الاصطلاح

طبقا لهذا الاصطلاح، عندما يظهر متغير عددي مرتين في مصطلح واحد وليس معرّفا فيما عدا ذلك، فإن يتضمن إجمال هذا المصطلح على كل قيم العدد. إذ قد تمتد الأعداد في مجموعة رياضية قالب:تعبير رياضي حيث:

$y=\sum _{i=1}^3{c}_i{x}^i=c_1{x}^1+c_2{x}^2+c_3{x}^3$

يمكن تبسيطها من خلال الاصطلاح إلى:

$y=c_i{x}^i$.

الأعداد في الأعلى ليست رفعات ولكنها أعداد حيثيات، أو معاملات أو قواعد في الجبر الخطي. أي أنه في هذا السياق قالب:تعبير رياضي يجب فهمها كالمكون الثاني لـقالب:تعبير رياضي بدلا من مربع قالب:تعبير رياضي (قد يؤدي ذلك أحيانا إلى الالتباس). الرقم الأعلى في قالب:تعبير رياضي يرجع –غالبا- إلى أن العدد يحدث مرة واحدة في المركز الأعلى ومرة واحدة في المركز الأسفل في المصطلح. وفي الحالة التقليلدية قالب:تعبير رياضي ستكون مساوية للتقليدية قالب:تعبير رياضي.

في النسبية العامة، أحد الاصطلاحات الشهيرة هي أن:

• تُستخدم الألفبائية اليونانية لمكونات الزمان والمكان، بينما تأخذ الأرقام قيم 0، 1، 2، 4 (غالبا ما تُستخدم الأحرف قالب:تعبير رياضي)
• تُستخدم الألفبائية اللاتينية للمكونات المكانية فقط، بينما تأخذ الأرقام قيم 1، 2، 3 (غالبا ما تُستخدم الأحرف قالب:تعبير رياضي).

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

التطبيقات

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

عمليات شائعة في هذه الصيغة

في صيغة أينشتاين، يصبح المرجع الأولي المعتاد (معادلة) لكل من (معادلة) و(معادلة) عمود من المصفوفة A لصيبح (معادلة). بالتالي يمكننا كتابة العمليات التالية في صيغة أينشتاين كالتالي:

فضاء الجداء الداخلي (وبالتالي الضرب النقطي)

باستخدام أسس التعامد، يكون الناتج الداخلي هو مجموع المكونات المقابلة مضروبة في بعضها:

$𝐮\cdot 𝐯=u_j{v}^j$

يمكن حساب ذلك أيضا من خلال ضرب المتجه والمتجه المقابل.

الضرب الاتجاهي

من جديد وباستخدام أسس التعامد (في ثلاثة اتجاهات) يتضمن الناتج داخليا الجمع على تباديل النواتج:

$𝐮\times 𝐯={\epsilon }^i{}_{jk}{u}^j{v}^k{𝐞}_i$

حيث

${\epsilon }^i{}_{jk}={\delta }^{il}{\epsilon }_{ljk}$

قالب:تعبير رياضي هو رمز ليفي-سيفيتا، وقالب:تعبير رياضي هي دلتا كرونكر العامة. بناء على هذا التعريف لـقالب:تعبير رياضي، لا يوجد فرق بين قالب:تعبير رياضي و قالب:تعبير رياضي وإنما في موقع الأعداد.

ضرب المصفوفات

ضرب المصفوفات للمصفوفتين قالب:تعبير رياضي وقالب:تعبير رياضي هو:

${𝐮}_i=(𝐀𝐯{)}_i=\sum _{j=1}^N{A}_{ij}{v}_j$

حيث تساوي:

$u^i=A^i{}_j{v}^j$