הורדה והעלאה של אינדקסים

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

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

המרחב הקו-משיק[עריכת קוד מקור | עריכה]

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

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

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

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

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

ואת פעולתה על כל וקטור שהוא ניתן להציג על ידי

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

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

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

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

שמתאימה לכל וקטור את המספר

בכתיב אינדקסים

ומאחר שאת פעולת פונקציונל על וקטור ניתן לרשום תמיד כ

ולקבל ש

כלומר

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

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

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

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

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

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

כעת, מאחר ש

(או בכתיב אינדקסים)

וכפי שהגדרנו קודם

אזי

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

והדרישה שיוחזר אותו וקטור פירושה היא , כלומר:

שבהצגה ככפל מטריצות אומר ש . כלומר: המטריצה h היא המטריצה ההפכית של g: .

מקובל לסמן את רכיבי המטריצה ההפכית באותה אות של המטריקה עצמה

ואז

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

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

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

כאשר g היא המטריקה: תבנית בילינארית סימטרית וחיובית בהחלט.

בקואורדינטות אפשר לכתוב את וקטור הגרדיאנט כך:

כאשר הוא האיבר בשורה ה- והעמודה ה-- של המטריקה ההפכית (כלומר: המטריצה ההפכית למטריקה, g-1). כלומר: .

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