הסכם הסכימה של איינשטיין


כל מה שרצית לדעת על הסכם הסכימה של איינשטיין:
הסכם הסכימה של איינשטיין הוא סימון מקוצר המשמש בחשבונות הכוללים אנליזה מתמטית ואלגברה של טנזורים.
הסימון הומצא על ידי הפיזיקאי אלברט איינשטיין בשנת 1916.
טנזור הוא גודל העובר טרנספורמציה לפי כלל מסוים.
הטנזור מאופיין בערכי רכיביו ובדרגה שלו.
הדרגה של טנזור – באופן מעשי – היא מספר האינדקסים החופשיים שלו.
למשל: את הווקטור במרחב האוקלידי אפשר לרשום כ כאשר האינדקס i רץ על הערכים i=x,y,z או i=1,2,3 (הסימון עם המספרים נוח יותר.
יש לזכור ש 1 מתאים ל x וכו').
הביטוי מייצג את הווקטור כקבוצה, כדי לקבל את רכיבי הווקטור יש להציב ערכים באינדקס.
למשל, אם נציב i=2 נקבל ש (2 כאן איננו מייצג חזקה אלא את האינדקס).
אינדקס כזה נקרא "אינדקס חופשי".
באופן כללי, לטנזור יכולים להיות מספר אינדקסים: למשל .
לפי הסכם הסכימה, כאשר מופיע בביטוי טנזורי אותו אינדקס פעמיים – פעם אחת למעלה או פעם אחת למטה – זהו אינדקס קשור ולא מציבים בו, אלא סוכמים על כל הערכים האפשריים שלו, כלומר:

כאשר הסכום רץ על כל הערכים האפשריים שהאינדקס יכול לקבל.
באופן כללי, יש הבדל בין אינדקס עליון ("טנזור קונטרה-ואריאנטי") לטנזור תחתון ("אינדקס קו-ואריאנטי") כאשר טנזור עם אינדקס תחתון מוגדר באופן הבא

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

נלקח מויקיפדיה

הגדרות נוספות הקשורות להסכם הסכימה של איינשטיין:
תורת היחסות
אלברט איינשטיין
סימנים מתמטיים
טנזורים