ברוכים הבאים לשיעור בנושא אופרטורים צמודים, יחידה מרכזית בקורס "אלגברה ליניארית להנדסת חשמל 2". יחידה זו מרחיבה את הבנתנו על אופרטורים ליניאריים במרחבי מכפלה פנימית, ומספקת כלים חיוניים לניתוח מערכות במגוון רחב של יישומים הנדסיים, החל מעיבוד אותות ועד מכניקת קוונטים. נחקור את הגדרת האופרטור הצמוד, תכונותיו, סוגי אופרטורים מיוחדים הנובעים ממנו, ואת הקשר העמוק ללכסון מטריצות ובסיסים אורתונורמליים.
1. מרחבי מכפלה פנימית: הבסיס לאופרטורים צמודים
המושג של אופרטור צמוד נשען באופן מהותי על קיומה של מכפלה פנימית במרחב הווקטורי. מכפלה פנימית מאפשרת לנו להגדיר מושגים גיאומטריים כמו אורך וזווית, ובפרט, אורתוגונליות.
- ליניאריות ברכיב הראשון: <u+v, w> = <u, w> + <v, w> ו- <cu, v> = c<u, v>
- סימטריות מצומדת: <u, v> = &overline;<v, u> (עבור שדה ממשי זו סימטריות רגילה)
- חיוביות מוגדרת: <u, u> ≥ 0, ו- <u, u> = 0 אם ורק אם u = 0.
חשיבות בסיסים אורתונורמליים
במרחבי מכפלה פנימית, בסיסים אורתונורמליים (קבוצת וקטורים אורתוגונליים בעלי נורמה 1) מפשטים חישובים רבים, כולל מציאת רכיבי וקטור והצגת אופרטורים באמצעות מטריצות. הם מהווים אנלוגיה טבעית לבסיסים הסטנדרטיים במרחבים אוקלידיים.
2. הגדרת האופרטור הצמוד ותכונותיו
האופרטור הצמוד הוא מושג מרכזי המאפשר להכליל את פעולת הטרנספוז-צמוד (conjugate transpose) של מטריצות למרחבי מכפלה פנימית כלליים.
תכונות עיקריות של האופרטור הצמוד
- קיום ויחידות: לכל אופרטור ליניארי T במרחב מכפלה פנימית מממד סופי, קיים אופרטור צמוד יחיד T*.
- ליניאריות: T* הוא אופרטור ליניארי.
- צמוד של צמוד: (T*)* = T.
- צמוד של סכום: (T+S)* = T* + S*.
- צמוד של מכפלה בסקלר: (cT)* = &overline;cT*.
- צמוד של הרכבה: (ST)* = T*S*.
- קשר לייצוג מטריציוני: אם A היא המטריצה המייצגת את T ביחס לבסיס אורתונורמלי, אזי A* (הטרנספוז-צמוד של A) היא המטריצה המייצגת את T* ביחס לאותו בסיס.
3. סוגי אופרטורים מיוחדים במרחבי מכפלה פנימית
הגדרת האופרטור הצמוד מאפשרת לסווג אופרטורים ליניאריים לפי יחסם לצמוד שלהם, מה שמוביל לתכונות חשובות.
אופרטור הרמיטי (Self-Adjoint)
אופרטור T נקרא הרמיטי (או צמוד לעצמו) אם T = T*. במקרה הממשי, אופרטור כזה נקרא סימטרי. לאופרטורים הרמיטיים יש ערכים עצמיים ממשיים, והם ניתנים ללכסון באמצעות בסיס אורתונורמלי של וקטורים עצמיים.
אופרטור אוניטרי (Unitary)
אופרטור T נקרא אוניטרי אם T*T = TT* = I (אופרטור הזהות). במקרה הממשי, אופרטור כזה נקרא אורתוגונלי. אופרטורים אוניטריים שומרים על המכפלה הפנימית (כלומר, <T(u), T(v)> = <u, v>) ולכן גם על נורמות וזוויות. הערכים העצמיים שלהם הם בעלי ערך מוחלט 1.
אופרטור נורמלי (Normal)
אופרטור T נקרא נורמלי אם TT* = T*T. אופרטורים הרמיטיים ואוניטריים הם מקרים פרטיים של אופרטורים נורמליים. התכונה המרכזית של אופרטורים נורמליים היא שהם ניתנים ללכסון אוניטרי (כלומר, קיים בסיס אורתונורמלי של וקטורים עצמיים).
4. משפט הלכסון הספקטרלי: אבן יסוד
חשיבותו: הוא מבטיח שאופרטורים מסוימים (בפרט הרמיטיים ונורמליים) ניתנים לפירוק פשוט, מה שמקל על ניתוחם. לדוגמה, במכניקת קוונטים, אופרטורים פיזיקליים (כמו אנרגיה) מיוצגים על ידי אופרטורים הרמיטיים, וערכיהם העצמיים הם הערכים המדידים של התכונה הפיזיקלית.
ניסוח המשפט (עבור אופרטורים נורמליים)
יהי V מרחב מכפלה פנימית מממד סופי מעל C (או R, עבור אופרטורים סימטריים). אופרטור ליניארי T: V → V הוא נורמלי אם ורק אם קיים בסיס אורתונורמלי של V המורכב מווקטורים עצמיים של T. במקרה זה, המטריצה המייצגת את T ביחס לבסיס זה היא מטריצה אלכסונית.
השלכות:
- עבור אופרטור הרמיטי, כל הערכים העצמיים ממשיים.
- עבור אופרטור אוניטרי, כל הערכים העצמיים הם בעלי ערך מוחלט 1.
- וקטורים עצמיים השייכים לערכים עצמיים שונים של אופרטור נורמלי הם אורתוגונליים.
שאלות לדיון
- הסבר מדוע הגדרת האופרטור הצמוד דורשת מרחב מכפלה פנימית, וכיצד היא מכלילה את מושג הטרנספוז-צמוד של מטריצות.
- כיצד ניתן לבדוק האם אופרטור נתון הוא הרמיטי, אוניטרי או נורמלי, הן באמצעות ההגדרה והן באמצעות ייצוגו המטריציוני בבסיס אורתונורמלי?
- מהי החשיבות של משפט הלכסון הספקטרלי עבור מהנדסי חשמל, ובאילו יישומים הוא בא לידי ביטוי?
- האם כל אופרטור ליניארי ניתן ללכסון אוניטרי? אם לא, תן דוגמה נגדית והסבר מדוע.
נקודות לתשובת מודל
- קשר למכפלה פנימית: הגדרת T* היא באמצעות השוויון <T(u), v> = <u, T*(v)>, המשתמש ישירות במכפלה הפנימית. ללא מכפלה פנימית, לא ניתן להגדיר "צמוד". עבור מטריצה A, A* מקיימת <Au, v> = (Au)*v = u*A*v = <u, A*v>, המדגימה את ההכללה.
- בדיקת סוגי אופרטורים:
- הרמיטי: T=T* (או A=A* בבסיס אורתונורמלי).
- אוניטרי: T*T=I (או A*A=I בבסיס אורתונורמלי).
- נורמלי: TT*=T*T (או AA*=A*A בבסיס אורתונורמלי).
- חשיבות משפט הלכסון הספקטרלי: מאפשר פירוק מערכות מורכבות לרכיבים פשוטים (וקטורים עצמיים וערכים עצמיים). ביישומים הנדסיים:
- עיבוד אותות: ניתוח פורייה, דחיסת נתונים (PCA).
- תורת הבקרה: יציבות מערכות, ניתוח מצבי מערכת.
- מכניקת קוונטים: אופרטורים פיזיקליים (המילטוניאן), מדידת גדלים פיזיקליים.
- לכסון אוניטרי: לא כל אופרטור ניתן ללכסון אוניטרי, רק אופרטורים נורמליים. דוגמה נגדית: מטריצת ז'ורדן לא אלכסונית (למשל, [[0, 1], [0, 0]]) אינה נורמלית (AA* != A*A) ולכן אינה ניתנת ללכסון אוניטרי. הסיבה היא שאופרטורים לא נורמליים אינם בהכרח בעלי בסיס אורתונורמלי של וקטורים עצמיים.