ברוכים הבאים לשיעור בנושא "משפט הלכסון הספקטרלי" – אחד המשפטים המרכזיים והחזקים ביותר באלגברה ליניארית, במיוחד בהקשר של מרחבי מכפלה פנימית. משפט זה מספק תנאי הכרחי ומספיק לכסון אופרטורים (ומטריצות) מסוג מסוים, ומבטיח בסיס אורתונורמלי של וקטורים עצמיים. הבנה מעמיקה של משפט זה חיונית למהנדסי חשמל, שכן הוא מהווה כלי יסודי בניתוח מערכות ליניאריות, עיבוד אותות, מכניקת קוונטים ועוד.
מושגי יסוד: אבני הבניין של המשפט הספקטרלי
לפני שנוכל לצלול למשפט עצמו, עלינו לרענן ולהבין מספר מושגי מפתח:
סוגי אופרטורים נורמליים
משפט הלכסון הספקטרלי חל על מחלקה ספציפית של אופרטורים, המכונים "אופרטורים נורמליים".
אופרטור הרמיטי (Self-Adjoint)
אופרטור T המקיים T = T*. במקרה הממשי, אלו מטריצות סימטריות (A = AT). אופרטורים הרמיטיים הם תמיד נורמליים. הערכים העצמיים שלהם ממשיים, ווקטורים עצמיים המתאימים לערכים עצמיים שונים הם אורתוגונליים.
אופרטור אוניטרי (Unitary)
אופרטור T המקיים T*T = TT* = I (אופרטור הזהות). במקרה הממשי, אלו מטריצות אורתוגונליות (ATA = AAT = I). אופרטורים אוניטריים הם תמיד נורמליים. הערכים העצמיים שלהם הם בעלי ערך מוחלט 1.
אופרטור אנטי-הרמיטי (Skew-Hermitian)
אופרטור T המקיים T = -T*. גם אופרטורים אלו הם נורמליים. הערכים העצמיים שלהם הם מדומים טהורים (או אפס).
משפט הלכסון הספקטרלי: הליבה
משפט הלכסון הספקטרלי קובע את התנאים לכסון אופרטורים נורמליים באמצעות בסיס אורתונורמלי.
משמעות המשפט: אם T הוא אופרטור נורמלי, אז קיימת מטריצה אוניטרית U (או אורתוגונלית במקרה הממשי) כך ש-U*AU = D, כאשר A היא הצגה מטריציונית של T, ו-D היא מטריצה אלכסונית המכילה את הערכים העצמיים של T. עמודות U הן הווקטורים העצמיים האורתונורמליים של T.
תהליך הלכסון הספקטרלי
כדי לבצע לכסון ספקטרלי למטריצה נורמלית A:
- מצא את הערכים העצמיים: פתור את המשוואה הדטרמיננטית det(A - λI) = 0.
- מצא את הווקטורים העצמיים: לכל ערך עצמי λ, מצא בסיס למרחב העצמי Eλ = ker(A - λI).
- בנה בסיס אורתונורמלי:
- אם הערכים העצמיים שונים, הווקטורים העצמיים המתאימים להם כבר אורתוגונליים (תכונה של אופרטורים נורמליים).
- אם יש ריבוי אלגברי גדול מ-1 עבור ערך עצמי מסוים (כלומר, מימד המרחב העצמי גדול מ-1), יש לבצע תהליך גרם-שמידט בתוך כל מרחב עצמי כזה כדי לקבל בסיס אורתוגונלי.
- נרמל את כל הווקטורים העצמיים שקיבלת כדי שיהיו בעלי אורך 1.
- בנה את המטריצות U ו-D:
- המטריצה D היא מטריצה אלכסונית שרכיבי האלכסון שלה הם הערכים העצמיים.
- המטריצה U היא מטריצה אוניטרית (או אורתוגונלית) שעמודותיה הן הווקטורים העצמיים האורתונורמליים שמצאת, מסודרים לפי הסדר המתאים לערכים העצמיים ב-D.
שאלות לדיון
- מה ההבדל המהותי בין לכסון כללי לבין לכסון ספקטרלי (אורתונורמלי)? מדוע ההבדל הזה חשוב ביישומים הנדסיים?
- האם כל מטריצה ניתנת ללכסון ספקטרלי? אם לא, תן דוגמה למטריצה שאינה ניתנת ללכסון ספקטרלי והסבר מדוע.
- כיצד תכונות של אופרטורים הרמיטיים (ערכים עצמיים ממשיים, וקטורים עצמיים אורתוגונליים) נובעות מהיותם מקרה פרטי של אופרטורים נורמליים?
- תאר מצב בפיזיקה או בהנדסת חשמל שבו משפט הלכסון הספקטרלי הוא כלי הכרחי לניתוח המערכת.
נקודות לתשובת מודל
- לכסון ספקטרלי מבטיח בסיס וקטורים עצמיים אורתונורמלי, בניגוד ללכסון כללי הדורש רק בסיס של וקטורים עצמיים בלתי תלויים ליניארית. בסיס אורתונורמלי מפשט חישובים, שומר על נורמות ומכפלות פנימיות, ומקל על טרנספורמציות.
- לא כל מטריצה ניתנת ללכסון ספקטרלי. רק מטריצות נורמליות. לדוגמה, מטריצה משולשית עליונה שאינה אלכסונית ואינה נורמלית (למשל, [[1,1],[0,1]]) אינה ניתנת ללכסון ספקטרלי (ואף לא ללכסון כללי, במקרה זה).
- אופרטורים הרמיטיים הם נורמליים. תכונת הנורמליות מבטיחה קיום בסיס אורתונורמלי. העובדה שהם צמודים לעצמם (T=T*) היא שגורמת לערכים העצמיים להיות ממשיים ולוקטורים עצמיים של ערכים עצמיים שונים להיות אורתוגונליים.
- במכניקת קוונטים, אופרטורים המייצגים גדלים פיזיקליים (כמו אנרגיה, תנע) הם הרמיטיים. הלכסון הספקטרלי מאפשר למצוא את המצבים העצמיים (וקטורים עצמיים) ואת רמות האנרגיה (ערכים עצמיים) של המערכת, כאשר המצבים העצמיים מהווים בסיס אורתונורמלי.