**הסכם הסכימה של איינשטיין** הוא סימון מקוצר המשמש בחשבונות הכוללים אנליזה מתמטית ואלגברה של טנזורים. הסימון הומצא על ידי הפיזיקאי אלברט איינשטיין בשנת 1916. איינשטיין תיאר בענווה את הסכם הסכימה כ'תרומתו הגדולה ביותר למתמטיקה', תיאור משעשע וצנוע שכן מדובר במוסכמה טכנית המקלה על רישום משוואות ולא בתגלית מתמטית בעלת משמעות כלשהי.

הקדמה
-----

בפיזיקה, טנזור הוא עצם שיש בו מספר ערכים, והם עשויים להשתנות תחת הפעלת טרנספורמציה – אך תכונות מסוימות שלו צפויות להישמר, בעזרת כללים מסוימים שהוא מציית להם. הטנזור מאופיין בערכי רכיביו ובדרגה שלו: נוח לחשוב על דרגתו של טנזור כעל מספר האינדקסים החופשיים שלו. למשל: את הווקטור {\displaystyle {\vec {v}}=\left(v\_{x},v\_{y},v\_{z}\right)} במרחב האוקלידי {\mathbb {R}}^{3} ניתן לכתוב בצורה {\displaystyle v^{\mu }}, והאינדקס \mu  מקבל את הערכים {\displaystyle \mu =x,y,z} או {\displaystyle \mu =1,2,3}. הביטוי {\displaystyle v^{\mu }} מייצג את הווקטור כקבוצה, וכדי לקבל את רכיבי הווקטור יש להציב ערכים באינדקס. למשל, בהצבת {\displaystyle \mu =2}, יתקבל {\displaystyle v^{2}=v\_{y}}. אינדקס כזה נקרא "אינדקס חופשי".

לטנזור יכולים להיות שני סוגי אינדקסים: אינדקסים עליונים ("קונטרה־ואריאנטיים", למשל: {\displaystyle A^{\mu }}) ואינדקסים תחתונים ("קו־ואריאנטיים", למשל: {\displaystyle A\_{\mu }}). אינדקס תחתון מוגדר באמצעות המטריקה {\displaystyle \ g\_{\lambda \rho }} של המרחב שבו שוכן הטנזור:



a

λ

=

∑

ρ

g

λ
ρ

a

ρ

{\displaystyle a\_{\lambda }=\sum \_{\rho }g\_{\lambda \rho }a^{\rho }}

{\displaystyle a_{\lambda }=\sum _{\rho }g_{\lambda \rho }a^{\rho }}לטנזור מסוים יכולים להיות בו זמנית אינדקסים משני הסוגים גם יחד. למשל, לטנזור {\displaystyle A\_{\sigma }^{\mu \nu }} יש שני אינדקסים קונטרה־ואריאנטיים ואינדקס אחד קו־ואריאנטי.

הסכם הסכימה
-----------

לפי הסכם הסכימה, כאשר מופיע בביטוי טנזורי אותו אינדקס פעמיים – פעם אחת למעלה ופעם אחת למטה – האינדקס קשור (אינו חופשי), ויש לסכום את הביטוי על כל הערכים האפשריים שלו. למשל:


a

λ

b

λ

≡

∑

λ

a

λ

b

λ


{\displaystyle a^{\lambda }b\_{\lambda }\equiv \sum \_{\lambda }{a^{\lambda }b\_{\lambda }}}

{\displaystyle a^{\lambda }b_{\lambda }\equiv \sum _{\lambda }{a^{\lambda }b_{\lambda }}}כאשר הסכום רץ על כל הערכים האפשריים שהאינדקס יכול לקבל.

לחלופין, בעזרת הגדרת הווקטור הקו־וריאנטי, ניתן לכתוב:



a

μ

b

μ

≡

a

μ

∑

ν

g

ν
μ

b

ν

≡

∑

μ
,
ν

g

μ
ν

a

μ

b

ν

{\displaystyle a^{\mu }b\_{\mu }\equiv a^{\mu }\sum \_{\nu }g\_{\nu \mu }b^{\nu }\equiv \sum \_{\mu ,\nu }g\_{\mu \nu }a^{\mu }b^{\nu }}

{\displaystyle a^{\mu }b_{\mu }\equiv a^{\mu }\sum _{\nu }g_{\nu \mu }b^{\nu }\equiv \sum _{\mu ,\nu }g_{\mu \nu }a^{\mu }b^{\nu }}

עבור מרחב אוקלידי שטוח, המטריקה שווה למטריצת היחידה: {\displaystyle g\_{ij}=\delta \_{ij}=\delta \_{j}^{i}} (הסימן {\displaystyle \delta \_{ij}} הוא הדלתא של קרונקר), ולכן בפועל אין הבדל בין אינדקסים עליונים לאינדקסים תחתונים. במרחבים טנזוריים כלליים אין זה נכון, ויש להקפיד על מיקומו של האינדקס. לדוגמה, בתורת היחסות הפרטית, שבה המטריקה היא {\displaystyle g=\operatorname {diag} (1,-1,-1,-1)}, תוצאת סכימה יכולה להיות:



a

μ

b

μ

=

∑

μ
=
0

3

a

μ

b

μ

=

a

0

b

0

+

a

1

b

1

+

a

2

b

2

+

a

3

b

3

=

a

0

b

0

−

(

a

1

b

1

+

a

2

b

2

+

a

3

b

3

)

{\displaystyle a^{\mu }b\_{\mu }=\sum \_{\mu =0}^{3}{a^{\mu }b\_{\mu }}=a^{0}b\_{0}+a^{1}b\_{1}+a^{2}b\_{2}+a^{3}b\_{3}=a^{0}b^{0}-\left(a^{1}b^{1}+a^{2}b^{2}+a^{3}b^{3}\right)}

{\displaystyle a^{\mu }b_{\mu }=\sum _{\mu =0}^{3}{a^{\mu }b_{\mu }}=a^{0}b_{0}+a^{1}b_{1}+a^{2}b_{2}+a^{3}b_{3}=a^{0}b^{0}-\left(a^{1}b^{1}+a^{2}b^{2}+a^{3}b^{3}\right)}

ראו גם
------

* טנזור
* חשבון טנזורים
* אלגברה ליניארית
* תורת היחסות הכללית

קישורים חיצוניים
----------------

* הסכם הסכימה של איינשטיין, באתר MathWorld (באנגלית)

הערות שוליים
------------

1. ↑  בהרבה מקרים פשוטים, זהו אכן המצב, אך לא תמיד.
2. ↑  סימון בעזרת מספרים מקובל יותר, ונחשב נוח יותר. במקרה כזה, נהוג להתאים בין x ל־1, בין y ל־2 ובין z ל־3.
3. ↑  כאן, 2 איננו מייצג חזקה אלא את האינדקס.