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

مقدمة
-----

### نَص الاصطلاح

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

{\displaystyle y=\sum \_{i=1}^{3}c\_{i}x^{i}=c\_{1}x^{1}+c\_{2}x^{2}+c\_{3}x^{3}}
يمكن تبسيطها من خلال الاصطلاح إلى:

{\displaystyle y=c\_{i}x^{i}}.

الأعداد في الأعلى ليست رفعات ولكنها أعداد حيثيات، أو معاملات أو قواعد في الجبر الخطي. أي أنه في هذا السياق *x*2 يجب فهمها كالمكون الثاني لـ**x** بدلا من مربع **x** (قد يؤدي ذلك أحيانا إلى الالتباس). الرقم الأعلى في *x*i يرجع –غالبا- إلى أن العدد يحدث مرة واحدة في المركز الأعلى ومرة واحدة في المركز الأسفل في المصطلح. وفي الحالة التقليلدية (*x*1, *x*2, *x*3) ستكون مساوية للتقليدية (*x*, *y*, *z*).

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

* تُستخدم الألفبائية اليونانية لمكونات الزمان والمكان، بينما تأخذ الأرقام قيم 0، 1، 2، 4 (غالبا ما تُستخدم الأحرف *μ*, *ν*, ...)
* تُستخدم الألفبائية اللاتينية للمكونات المكانية فقط، بينما تأخذ الأرقام قيم 1، 2، 3 (غالبا ما تُستخدم الأحرف *i*, *j*, ...).

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

### التطبيقات

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

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

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

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

{\displaystyle \mathbf {u} \cdot \mathbf {v} =u\_{j}v^{j}}
يمكن حساب ذلك أيضا من خلال ضرب المتجه والمتجه المقابل.

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

{\displaystyle \mathbf {u} \times \mathbf {v} =\varepsilon ^{i}{}\_{jk}u^{j}v^{k}\mathbf {e} \_{i}}
حيث

{\displaystyle \varepsilon ^{i}{}\_{jk}=\delta ^{il}\varepsilon \_{ljk}}
*εijk* هو رمز ليفي-سيفيتا، و*δil* هي دلتا كرونكر العامة. بناء على هذا التعريف لـ*ε*، لا يوجد فرق بين *εijk* و *εijk* وإنما في موقع الأعداد.

ضرب المصفوفات
ضرب المصفوفات للمصفوفتين *Aij* و*vj* هو:

{\displaystyle \mathbf {u} \_{i}=(\mathbf {A} \mathbf {v} )\_{i}=\sum \_{j=1}^{N}A\_{ij}v\_{j}}
حيث تساوي:

{\displaystyle u^{i}=A^{i}{}\_{j}v^{j}}

مراجع
-----

1. ↑  Manuscript in German of "The Foundation of the General Theory of Relativity? نسخة محفوظة 28 أكتوبر 2015 على موقع واي باك مشين.
2. ↑  "Einstein Summation". Wolfram Mathworld. مؤرشف من الأصل في 2019-04-13. اطلع عليه بتاريخ 2011-04-13.

* أيقونة بوابةبوابة الفيزياء
* أيقونة بوابةبوابة جبر
* أيقونة بوابةبوابة رياضيات

| * ع
* ن
* ت
موتر |
| --- |
| *مسرد نظرية الموتر* |
| نطاق | 

|  |  |
| --- | --- |
| رياضيات | 
* نظام إحداثي
* جبر متعدد الخطية
* هندسة إقليدية
* جبر الموترات
* dyadic algebra
* هندسة تفاضلية
* مشتق خارجي
* حساب الموتر

 |
| * فيزياء
* هندسة تطبيقية
 | 
* ميكانيكا المتصل
* كهرومغناطيسية
* ميكانيكا الحركة الحيوية
* النسبية العامة
* رؤية حاسوبية

 |

 |
| الرموز | 
* تدوين بالدليل
* تدوين بالأدلة المتعددة
* تدوين أينشتاين
* حساب ريتشي
* تدويم بنروز البياني
* تدوين فويغت
* تدوين بالدليل المجرد
* tetrad (index notation)
* Van der Waerden notation

 |
| تعريفات الموتر | 
* tensor (intrinsic definition)
* حقل موتر
* tensor density
* tensors in curvilinear coordinates
* mixed tensor
* antisymmetric tensor
* symmetric tensor
* tensor operator
* two-point tensor

 |
| عمليات | 
* جداء الموتر
* الجبر الخارجي
* tensor contraction
* منقولة مصفوفة
* raising and lowering indices
* Hodge star operator
* covariant derivative
* مشتق خارجي
* exterior covariant derivative
* اشتقاق لي

 |
| ذات صلات تجريدية | 
* بعد
* قاعدة (جبر خطي)
* متجه، فضاء متجهي
* ناقل متعدد
* covariance and contravariance of vectors
* تحويل خطي
* مصفوفة (رياضيات)
* سبينور
* Cartan formalism (physics)
* صورة تفاضلية
* صورة تفاضلية
* نموذج الاتصال  ‏
* جيوديسي
* متعدد شعب
* حزمة ليفية
* Levi-Civita connection
* affine connection

 |
| الموترات البارزة | 

|  |  |
| --- | --- |
| الرياضيات | 
* دلتا كرونكر
* Levi-Civita symbol
* ممتد متري
* nonmetricity tensor
* رموز كرستوفيل
* Ricci curvature
* Riemann curvature tensor
* Weyl tensor
* torsion tensor

 |
| الفيزياء | 
* موتر القصور الذاتي
* angular momentum tensor
* spin tensor
* موتر الإجهاد لكوشي
* موتر الإجهاد والطاقة
* EM tensor
* gluon field strength tensor
* Einstein tensor
* موتر متري

 |

 |
| رياضياتيون | 
* ليونهارت أويلر
* كارل فريدريش غاوس
* أوغستين لوي كوشي
* هيرمان غراسمان
* غريغوريو ريتشي
* توليو ليفي تشيفيتا
* جان أرنولدوس شوتن
* برنارد ريمان
* إلوين برونو كريستوفل
* فولديمار فويغت
* إيلي كارتن
* هيرمان فايل
* ألبرت أينشتاين

 |