טנזור

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש
מערכות צירים וקואורדינטות
מערכות צירים נפוצות
ראו גם
Nuvola apps edu mathematics blue-p.svg

בערך זה
נעשה שימוש
בסימנים מוסכמים
מתחום המתמטיקה.
להבהרת הסימנים
ראו סימון מתמטי.

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

את הטנזור ניתן להגדיר כהעתקה מולטי-לינארית של וקטורים ופונקציונלים אל שדה המספרים הממשיים \mathbb{R}. טנזור שממפה k וקטורים ממרחב וקטורי V ו-m פונקציונלים מהמרחב הדואלי *V נקרא "טנזור מדרגה m על k". ברם, בשימושים מעשיים - בייחוד בפיזיקה והנדסה - נוח לעבוד דווקא עם הרכיבים של הווקטור, המייצגים אותו במערכת קואורדינטות מסוימות. מערך הרכיבים של הווקטור כן תלוי בקואורדינטות ומשתנה בצורך "קו-ואריאנטית כללית" (מונח זה יוסבר בהמשך).

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

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

בעוד שטנזורים ניתנים להצגה על ידי מערכים רב-ממדיים, המטרה לקיום של תאוריה טנזורית היא לתת הסבר נוסף להשלכות הנובעות מכך שגודל מסוים ראוי להיקרא טנזור, מעבר לכך שכתיבתו דורשת מספר רכיבים המצוינים באינדקסים. בפרט, טנזורים מתנהגים בצורות מסוימות תחת התמרת קואורדינטות. התאוריה המופשטת של הטנזורים היא ענף של אלגברה לינארית.

רקע[עריכת קוד מקור | עריכה]

המילה טנזור הוצגה לראשונה על ידי וויליאם רואן המילטון בשנת 1846, אך הוא השתמש במילה על מנת לבטא את המונח שקרוי כיום מודולוס. המילה טנזור קיבלה את מובנה הנוכחי מוולדמאר וויגט בשנת 1899.

צורת הסימון פותחה בסביבות 1890 על ידי ג'ורג'ו ריצ'י-קורבסטרו תחת הכותרת "גאומטריה דיפרנציאלית אבסולוטית" ונעשתה נגישה למתמטיקאים רבים הודות לפרסום הטקסט הקלאסי "החשבון הדיפרנציאלי האבסולוטי" של טוליו לוי-צ'יויטה בשנת 1900. החשבון הטנזורי השיג הכרה רחבה יותר עם הופעתה של תורת היחסות הכללית של אלברט איינשטיין, בסביבות שנת 1915. היחסות הכללית מנוסחת כולה בשפה טנזורית אותה למד איינשטיין מלוי-צ'יויטה עצמו. טנזורים משמשים בשדות נוספים בפיזיקה, כמו טנזור המאמצים במכניקת הרצף או טנזור האינרציה במכניקה, למשל.

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

הגישות השונות[עריכת קוד מקור | עריכה]

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

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

הגישה הקלאסית[עריכת קוד מקור | עריכה]

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

הגישה הקלאסית רואה את הטנזורים כמערכים רב-ממדיים המהווים הרחבה n-ממדית של סקלרים, וקטורים חד-ממדיים ומטריצות דו-ממדיות. ה"רכיבים" של הטנזור הם האינדקסים של המערך. רעיון זה ניתן להכללה נוספת, שדות טנזוריים, רכיבי הטנזור הם פונקציות, או אף דיפרנציאלים.

הגישה המודרנית[עריכת קוד מקור | עריכה]

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

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

מהו טנזור - הגדרה פורמלית[עריכת קוד מקור | עריכה]

יהי V מרחב וקטורי, ויהי *V המרחב הדואלי לו. אזי טנזור מדרגה m על k (מסומן גם כ"טנזור מדרגה {m \choose k} ") הוא העתקה מולטי-לינארית שמקבלת m פונקציונלים (קו-וקטורים) ו-k וקטורים, ומתאימה להם מספר ממשי באופן יחיד. כלומר, זוהי פונקציה \ T : (V^*)^m \times (V)^k \to \mathbb{R} שלינארית בכל אחד מהארגומנטים שלה.

קבוצת הטנזורים  {m \choose k} מהווה מרחב לינארי ביחס לחיבור טנזורים וכפל בסקלר

\ \alpha T(  \tilde{\omega} , \vec{v} ) + \beta S(\tilde{\omega} , \vec{v}) = ( \alpha T + \beta S) (\tilde{\omega} , \vec{v}) \in \left\{ \mbox{tensor space of } {m \choose k} \right\}

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

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

יהי \ \hat{e}_1 , ... , \hat{e}_n בסיס למרחב הווקטורי V ואילו \ \hat{f}^1 , ... , \hat{f}^n בסיס למרחב הדואלי כך ש \ \hat{f}^\mu ( \hat{e}_\nu ) = \delta^\mu_\nu (כאשר \delta^\mu_\nu היא הדלתא של קרונקר). אזי כל טנזור ניתן להציג ככמערך רב-ממדי של רכיבים באמצעות הגדרת פעולתו על כל אחד מאיברי הבסיס. הצורה הכללית לעשות זאת תובהר מהדוגמה הבאה:

  • טנזור מדרגה 0 על 1 , כלומר: T ( \vec{v} \in V ) \in \mathbb{R} , יוצג לפי רכיבים כ-
    \ T(\vec{v}) = T \left( \sum_{\mu} v^\mu \hat{e}_\mu \right) = \sum_i v^\mu T( \hat{e}_\mu ) \equiv \sum_i v^\mu T_\mu
כאשר השתמשנו בלינאריות של T והגדרנו \ T_\mu = T( \hat{e}_\mu ) - אלו הם הרכיבים של הטנזור T . נשים לב שטנזור כזה הוא בעצם פונקציונל על וקטור, או וקטור קו-וריאנטי. טנזור כזה נקרא גם "חד-תבנית" או "one-form".
  • טנזור מדרגה 1 על 0 , כלומר: S ( \tilde{\omega} \in V^* ) \in \mathbb{R} , יוצג לפי רכיבים כ-
    \ S(\tilde{\omega}) = S \left( \sum_{\mu} \omega_\mu \hat{f}^\mu \right) = \sum_\mu \omega_\mu S( \hat{f}^\mu ) \equiv \sum_\mu \omega_\mu S^\mu
כאשר השתמשנו בלינאריות של S והגדרנו \ S^\mu = S( \hat{f}^\mu ) - אלו הם הרכיבים של הטנזור S. נשים לב שטנזור כזה הוא בעצם פונקציונל על פונקציונל, כלומר וקטור קונטרה-וריאנטי (זאת כי \ (V^*)^* = V).
  • טנזור מדרגה 1 על 1 , כלומר: R ( \tilde{\omega} \in V^*,\  \vec{v}  \  \in V ) \in \mathbb{R} , יוצג לפי רכיבים כ-
\ R( \tilde{\omega} , \vec{v} ) = R \left( \sum_{\mu} \omega_\mu \hat{f}^\mu , \sum_{\nu} v^\nu \hat{e}_\nu  \right) = \sum_\mu \sum_\nu \omega_\mu v^\nu  R(  \hat{f}^\mu , \hat{e}_\nu ) \equiv \sum_{\mu , \nu} \omega_\mu v^\nu   R^\mu \!\ _\nu = \sum_{\mu,\nu}{ \omega_\mu R^\mu \!\ _\nu  v^\nu }
כאשר השתמשנו בלינאריות של R והגדרנו \ R^\mu \!\ _\nu = R(  \hat{f}^\mu , \hat{e}_\nu ) - אלו הם הרכיבים של הטנזור R. מאחר שטנזור זה בעל שני אינדקסים ניתן להציג את רכיביו כמטריצה אליה נוח להתייחס כאל העתקה לינארית המקבלת וקטור v ומחזירה וקטור אחר u הנתון על ידי \ \vec{u} = R( \ \ , \vec{v} ) (שכן u מקבל פונקציונל ומחזיר לו מספר ממשי). ברכיבים: \ u^\mu = \sum_{\nu}{ R^\mu \!\ _\nu v^\nu } .

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

עוד על התמרות של רכיבי טנזור, ראו בהתמרת קואורדינטות ורכיבי טנזור.

מהו טנזור - הסבר גאומטרי[עריכת קוד מקור | עריכה]

באופן מעשי, גודל טנזורי מוגדר באמצעות שלושה תנאים:

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

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

את המרחב המשיק לנקודה אפשר לתאר כמרחב כל הנגזרות הכיווניות בנקודה, כלומר: מרחב כל העקומות ביריעה העוברות דרך הנקודה, כאשר כל עקומה מגדירה וקטור משיק בנקודה המייצג נגזרת כיוונית לאורך הווקטור. אם נתונה מערכת קואורדינטות \ \{ x^1 , ... , x^n \} (האינדקס העליון לא מייצג חזקה, אלא פשוט אינדקס מונה) אזי הבסיס למרחב המשיק בנקודה a הוא

\ \left\{ \partial_{x^i} = \left( \frac{\partial}{\partial x^i} \right)_a \ \right\}_{i=1}^{n}

בסיס זה נקרא "בסיס הנגזרות החלקיות המתאימות למערכת x". זהו הבסיס השימושי ביותר למרחב המשיק והוא תלוי במערכת , המתאים למערכת שנבחרה.

הטנזור כגודל אינווריאנטי[עריכת קוד מקור | עריכה]

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

ברם, הרכיבים של הווקטור - מערך של מספרים vi התלוי בקואורדינטות שנבחרו ומתאר את הווקטור במרחב המשיק על ידי

\ \vec{v} = \sum_{i}{ v^i \hat{e_{(i)}}} = \sum_{i}{ v^i \partial_{x^i} }

- איננו אינווריאנטי ותלוי בבסיס בו עובדים. מאחר שבדרך כלל מה שעובדים איתו הוא רכיבי הווקטור ולא הווקטור עצמו, כדאי לדעת כיצד הם משתנים כאשר עוברים מערכת קואורדינטות. לעתים קרובות, המילה "טנזור" משמשת לציין את מערך הרכיבים  \{ v^i \}_{i=1}^{n} של הגודל האינווריאנטי ולא את הגודל עצמו.

התמרת קואורדינטות עבור טנזורים[עריכת קוד מקור | עריכה]

נניח מרחב משיק בנקודה כלשהי ויהי  \vec{v} וקטור במרחב זה. נגדיר עליו שתי מערכות קואורדינטות שונות: \ ( x^1 , \cdots , x^n )  ו \ ( y^1 , \cdots , y^n ) . אזי לוקטור  \vec{v} יש שתי הצגות:

\ \vec{v} = \sum_{i}{ v^i \partial_{x^i}} = \sum_{j}{ v'^j \partial_{y^j} }

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

\ \partial_{y^j} = \sum_{i}{ \frac{ \partial x^i}{\partial y^j} \partial_{x^i}}

מטריצה זו נקראת מטריצת יעקבי ולה שימושים חשוביים באנליזה על יריעות ובגאומטריה דיפרנציאלית.

נציב קשר זה בנוסחה הקודמת בה מתואר v על ידי הקואורדינטות המוגדרות לכל בסיס בהתאמה,

 \sum_{i}{ v^i \partial_{x^i} } = \vec{v} = \sum_{j}{ v'^j \partial_{y^j} } = \sum_{j}{ v'^j \sum_{i}{ \frac{ \partial x^i}{\partial y^j} \partial_{x^i} } = \sum_{i}{ \left( \sum_{j} { v'^j  \frac{ \partial x^i}{\partial y^j} } \right) \partial_{x^i}} }

מאחר שהנגזרות החלקיות לפי x הן בסיס נובע שבו יש ל-v הצגה יחידה ולכן נוכל להשוות את הסכומים איבר-איבר לפי מקדמים ולקבל ש

\ v^i = \sum_{j} { \left(  \frac{ \partial x^i}{\partial y^j} \right)_a v'^j } \quad \mbox{ } או באופן שקול: \ v'^j = \sum_{i}{ \left( \frac{\partial y^j}{\partial x^i} \right)_a v^i } \quad \mbox{ }

וזהו כלל ההתמרה של קואורדינטות של וקטורים. וקטורים שמותמרים לפי כלל זה נקראים "וקטורים קונטרה-וריאנטים" מאחר שהקואורדינטות מותמרות בצורה הפוכה לבסיס.

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

כללים מעשיים[עריכת קוד מקור | עריכה]

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

\ A'^\mu = \frac{d x'^\mu}{d x^\nu} A^\nu \quad ; \quad A'_\mu = \frac{d x^\nu}{d x'^\mu} A_\nu

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

\!  {B'} ^{\mu}_{\nu \lambda} = \frac{d x^{\prime\mu}}{d x^\alpha}  \frac{ d x^{\beta}}{d x^{\prime \nu}} \frac{ d x^{\gamma} }{d x^{\prime \lambda} } B^{\alpha}_{\beta \gamma}

את שתי הנוסחאות האחרונות יש להבין לפי הסכם הסכימה של איינשטיין בו אינדקס המופיע פעמיים, פעם כעליון ופעם כתחתון, יש לפרש כסכימה על כל ערכי האינדקס: \ a^\mu b_\mu \equiv \sum_{\mu}{ a^\mu b_\mu}.

דוגמאות[עריכת קוד מקור | עריכה]

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

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

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

כמה דוגמאות ידועות של טנזורים הן טנזור העקמומיות, טנזור תנע-אנרגיה, טנזור השדה האלקטרומגנטי, טנזור אינרציה, וטנזור הקיטוב.

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

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

דוגמה נוספת של טנזור היא טנזור העקמומיות של רימן המשמש בתורת היחסות הכללית. זהו טנזור מדרגה 4 הפועל במרחב 4 ממדי (3 מרחביים + 1 זמני). כיוון שהוא ממימד ודרגה 4, ניתן להתייחס אליו כמטריצה בעלת 256 רכיבים (256=44). רק 20 מתוך רכיבים אלו הם בלתי תלויים, ובכך המטריצה הופכת לפשוטה הרבה יותר.

דרגת הטנזור והמרת טנזורים[עריכת קוד מקור | עריכה]

שם דרגה סימול אינדקסיאלי כלל טרנספורמציה
סקלר 0 A \ A' = A
וקטור 1 Ai \ ( A')^{i} = R^{i}_{j} A^{j}
מטריצה 2 Aij \ (A')^{ij} = R^i_m R^j_n A^{mn}
טנזור מדרגה 3 3 Aijk \ (A')^{ijk} = R^i_m R^j_n R^k_p A^{mnp}

הערות לטבלה:

  • המטריצה R מייצגת טרנספורמציה כלשהי, הנמצאת בחבורת הטרנספורמציות המותרות על הטנזורים.
  • את כלל הטרנספורמציה יש לפרש בהתאם להסכם הסכימה של איינשטיין.
  • את כלל הטרנספורמציה של אינדקס בעלי אינדקס תחתון אפשר לפתח באמצעות כלל הורדת האינדקסים \ A_i = g_{ij} A^j כאשר g היא המטריקה של המרחב מעליו מוגדרים הטנזורים. עבור מטריקה אוקלידית, אין הבדל בין אינדקסים תחתונים ועליונים.


סימונים[עריכת קוד מקור | עריכה]

מונחי יסוד[עריכת קוד מקור | עריכה]

אפליקציות[עריכת קוד מקור | עריכה]

מקורות ספרותיים[עריכת קוד מקור | עריכה]

  • Tensors, Differential Forms, and Variational Principles (1989) David Lovelock, Hanno Rund
  • Tensor Analysis on Manifolds (1981) Richard L Bishop, Samuel I. Goldberg
  • Introduction to Tensor Calculus, Relativity and Cosmology (2003) D. F. Lawden
  • Tensor Analysis (2003) L.P. Lebedev, Michael J. Cloud

תוכנות טנזורים[עריכת קוד מקור | עריכה]

  • GRTensorII היא חבילת תוכנה ל-Maple V (גרסאות 3 עד 9) המשמשת לחישובים באזור של גאומטריה דיפרנציאלית כללית. קיימת גם גרסה חלקית (GRTensorM) ל-Mathematica.
  • MathTensor היא מערכת לאלגברת טנזורים שנכתבה עבור Mathematica.
  • maxima היא תוכנה חופשית (GPL) שמאפשרת לבצע אלגברה טנזורית
  • Ricci מערכת חופשית ל-Mathematica מגרסאות 2 ואילך שמבצעת אנליזת טנזורים בסיסית