טרנספורמציות אוניטריות

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

בואו ניזכר מה זו בכלל טרנספורמציה לינארית. אם יש לנו שני מרחבים וקטוריים $latex V,W$ אז טרנספורמציה לינארית היא פונקציה $latex T:V\to W$ שמשמרת את המבנה של המרחבים הלינאריים. מבנה של מרחב לינארי מתבטא בפעולות חשבוניות שמוגדרות עליו - חיבור של שני איברים, וכפל בסקלר של איבר. $latex T\left(v+u\right)=T\left(v\right)+T\left(u\right)$ פירושו שבהינתן שני וקטורים $latex v,u$ זה לא משנה אם קודם נחבר אותם ואז נפעיל עליהם את $latex T$ או אם קודם נפעיל עליהם את $latex T$ ואז נחבר אותם - בכל מקרה נקבל את אותה התוצאה בסוף (את הרעיון הזה מתארים לפעמים בעזרת דיאגרמה קומוטטיבית והוא חזק למדי, אבל אלו דברים שיחכו לפוסט אחר). אותו הדבר עם כפל בסקלר: $latex T\left(\lambda v\right)=\lambda T\left(v\right)$ פירושו שלא משנה אם קודם נכפול את $latex v$ בסקלר $latex \lambda$ ואז נפעיל עליו את $latex T$ או שקודם נפעיל עליו את $latex T$ ואז נכפול ב-$latex \lambda$ - בכל מקרה נקבל את אותה התוצאה.

עכשיו, מהו מרחב מכפלה פנימית? הוא מרחב וקטורי שהוספנו לו עוד מבנה, שמתבטא בפונקציה של מכפלה פנימית, שהיא פונקציה שמקבלת שני וקטורים ומחזירה סקלר, $latex \left\langle v,u\right\rangle :V\times V\to\mathbb{C}$. אם נמשיך את קו המחשבה של שתי הדוגמאות הקודמות, אנחנו רואים שמחלקה מעניינת של טרנספורמציות לינאריות תהיה המחלקה של הטרנספורמציות שמשמרות את המכפלה הפנימית. כלומר, אם $latex V,W$ הם שני מרחבי מכפלה פנימית ו-$latex T:V\to W$, מעניין אותנו אם אפשר קודם להפעיל את $latex T$ על זוג וקטורים ואז לכפול אותם, או קודם לכפול אותם ואז להפעיל עליהם את $latex T$… רגע, רגע, רגע, משהו לא מסתדר פה!

הנקודה שצריך לתת עליה את הדעת היא שמכפלה פנימית “מוציאה” אותנו מהמרחב $latex V$. בניגוד לחיבור, שקיבל זוג וקטורים ב-$latex V$ והחזיר וקטור ב-$latex V$, מכפלה פנימית מעבירה אותנו מ-$latex V$ אל $latex \mathbb{C}$ ולכן כל עניין ה”התחלפות” שתיארתי לא עובד. עדיין, זו אינטואיציה טובה לדרישה שאני כן הולך לדרוש: שהמכפלה הפנימית של זוג וקטורים לא תשתנה אם נפעיל עליהם את $latex T$, ובאופן פורמלי, $latex \left\langle v,u\right\rangle =\left\langle T\left(v\right),T\left(u\right)\right\rangle $. שימו לב שהמכפלה הפנימית באגף שמאל היא המכפלה הפנימית של $latex V$ ואילו זו באגף ימין היא המכפלה הפנימית של $latex W$. לטרנספורמציה לינארית שמקיימת את התכונה הזו אקרא אוניטרית. דוגמאות מיידיות לטרנספורמציות כאלו הן גאומטריות באופיין: חשבו על $latex \mathbb{R}^{2}$ עם המכפלה הפנימית הרגילה ועל הפעולות של סיבוב בזווית כלשהי סביב הראשית או של שיקוף ביחס לציר העובר דרך הראשית. אינטואיטיבית ברור למדי שאם מסובבים שני וקטורים באותה זווית גם האורכים שלהם והזווית ביניהם נשמרת, וב-$latex \mathbb{R}^{2}$ עם המכפלה הפנימית הרגילה, המכפלה הפנימית של זוג וקטורים היא מכפלת האורכים שלהם בקוסינוס הזווית ביניהם, כך שברור שהיא תשתמר. יש עוד הרבה דוגמאות אך לא אציג אותן כרגע. תחת זאת, בואו ננסה להבין אילו עוד תכונות טרנספורמציות אוניטריות מקיימות.

ראשית כל, מכפלה פנימית הייתה קשורה בקשר הדוק לפונקציה דומה שנקראה נורמה: $latex \|v\|=\left\langle v,v\right\rangle $. בבירור אם $latex T$ אוניטרית אז $latex \|T\left(v\right)\|=\left\langle T\left(v\right),T\left(v\right)\right\rangle =\left\langle v,v\right\rangle =\|v\|$, כלומר $latex T$ משמרת גם את הנורמה של איברים (פורמלית: את הנורמה הספציפית שמושרית על המרחבים מהמכפלה הפנימית שביחס אליהם $latex T$ אוניטרית). גם ההפך נכון - אם $latex T$ משמרת נורמה, אז היא אוניטרית; זה נובע מכך שאם נורמה מושרית ממכפלה פנימית כלשהי, אז אפשר לכתוב את המכפלה הפנימית בתור נוסחה כלשהי שמערבת את הנורמה - זהות הפולריזציה שהראיתי בפוסט קודם. מכאן שכדי להראות שטרנספורמציה היא אוניטרית יספיק לי לפעמים להראות שהיא משמרת נורמה.

עכשיו קופץ משהו אחר לעיניים: כזכור, $latex \|v\|=0$ אם ורק אם $latex v=0$ (וקטור האפס), ולכן אם $latex T\left(v\right)=0$ עבור $latex v$ כלשהו, הרי ש-$latex \|v\|=\|T\left(v\right)\|=\|0\|=0$ ומכאן נובע שגם $latex v=0$. במילים אחרות, $latex T$ מעבירה לוקטור האפס רק את וקטור האפס; מכך נובע ש-$latex T$ הפיכה (“לא סינגולרית”). אם כן, כל טרנספורמציה אוניטרית היא גם הפיכה; אם $latex T:V\to W$ היא אוניטרית ו-$latex V,W$ הם מאותו מימד סופי (כרגיל, מכאן ואילך נדבר רק על מרחבים ממימד סופי) אז נובע מכך ש-$latex T$ היא איזומורפיזם של $latex V,W$ שגם משמרת את המכפלה הפנימית שלהם. בלשון פחות פורמלית זה אומר ש-$latex V,W$ “הם אותו מרחב עד כדי שינוי שמות האיברים” וש-$latex T$ היא בדיוק מה שמבצע את השינוי של שמות האיברים הללו.

דבר אחד שהוכחנו בעבר הוא שאם $latex V$ הוא מרחב מכפלה פנימית ממימד סופי, אז קיים לו בסיס אורתונורמלי $latex \left\{ b_{1},\dots,b_{n}\right\} $. עכשיו, אם $latex W$ הוא מרחב מאותו מימד כמו $latex V$, מה נקבל כשנפעיל טרנספורמציה אוניטרית $latex T:V\to W$ על אברי הבסיס? נקבל קבוצה $latex \left\{ T\left(b_{1}\right),\dots,T\left(b_{n}\right)\right\} $ שהיא בבירור בסיס ל-$latex W$ כי היא קבוצה בלתי תלויה לינארית ב-$latex W$ עם מספר וקטורים ששווה למימד של $latex W$ (למה היא בלתי תלויה? כי $latex T$ הפיכה - נסו להוכיח!). כפי שאתם ודאי מנחשים, הבסיס שקיבלנו לא יהיה “סתם” בסיס, אלא בסיס אורתונורמלי, ובכך צצה לה תכונה נוספת של טרנספורמציות אוניטריות: הן מעבירות בסיסים אורתונורמליים לבסיסים אורתונורמליים.

העובדה שהבסיס החדש אורתונורמלי די מיידית. בסיס הוא אורתונורמלי אם לכל זוג איברים בו מתקיים $latex \left\langle b_{i},b_{j}\right\rangle =\delta_{ij}$ (כאשר $latex \delta_{ij}=\begin{cases}1 & i=j\\0 & i\ne j\end{cases}$ נקראת הדלתא של קרונקר), ובבירור $latex \left\langle T\left(b_{i}\right),T\left(b_{j}\right)\right\rangle =\left\langle b_{i},b_{j}\right\rangle =\delta_{ij}$ כי $latex T$ אוניטרית וה-$latex b$-ים שייכים לבסיס אורתונורמלי. מה שיותר מעניין הוא שהטענה הזו עובדת גם בכיוון השני, ואפילו בגרסה יותר חזקה: אם $latex T:V\to W$ היא טרנספורמציה לינארית כלשהי כך שקיים בסיס אורתונורמלי אחד $latex \left\{ b_{1},\dots,b_{n}\right\} $ של $latex V$ בעל התכונה ש-$latex \left\{ T\left(b_{1}\right),\dots,T\left(b_{n}\right)\right\} $ הוא בסיס אורתונורמלי של $latex T$, אז $latex T$ אוניטרית. ההוכחה, כרגיל במרחבי מכפלה פנימית, תעבור דרך העובדה שאנו בדיוק איך להציג כל איבר במרחב כצירוף לינארי של איברי הבסיס האורתונורמלי: אם $latex v\in V$ אז $latex v=\sum\left\langle v,b_{i}\right\rangle b_{i}$. זה גם מאפשר לנו לדעת איך $latex T\left(v\right)$ ייראה: $latex T\left(v\right)=\sum\left\langle v,b_{i}\right\rangle T\left(b_{i}\right)$.

בואו ניקח שני וקטורים $latex v,u\in V$. אנו רוצים להראות ש-$latex \left\langle v,u\right\rangle =\left\langle T\left(v\right),T\left(u\right)\right\rangle $. את החישוב של $latex \left\langle v,u\right\rangle $ כבר עשיתי בפוסט קודם: מקבלים $latex \left\langle v,u\right\rangle =\sum\left\langle v,b_{i}\right\rangle \overline{\left\langle u,b_{i}\right\rangle }$. עכשיו, אם נציב ב-$latex \left\langle T\left(v\right),T\left(u\right)\right\rangle $ את הביטוי ל-$latex T\left(v\right)$ ו-$latex T\left(u\right)$ שמצאנו קודם, נקבל:

$latex \left\langle T\left(v\right),T\left(u\right)\right\rangle =\left\langle \sum_{i}\left\langle v,b_{i}\right\rangle T\left(b_{i}\right),\sum_{j}\left\langle u,b_{j}\right\rangle T\left(b_{j}\right)\right\rangle =\sum_{i,j}\left\langle v,b_{i}\right\rangle \overline{\left\langle u,b_{j}\right\rangle }\left\langle T\left(b_{i}\right),T\left(b_{j}\right)\right\rangle $

$latex =\sum_{i,j}\left\langle v,b_{i}\right\rangle \overline{\left\langle u,b_{j}\right\rangle }\delta_{ij}=\sum_{i}\left\langle v,b_{i}\right\rangle \overline{\left\langle u,b_{i}\right\rangle }=\left\langle v,u\right\rangle $

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

הבנו איך טרנספורמציה אוניטרית מתנהגת “ברמת הוקטורים”. עכשיו בואו ננסה להבין מה המבנה של אוסף כל הטרנספורמציות האוניטריות. נניח ש-$latex T,S$ הן שתי טרנספורמציות אוניטריות, מה בדבר ההרכבה, $latex TS$? די בבירור גם היא אוניטרית, כי $latex \|TS\left(v\right)\|=\|T\left(S\left(v\right)\right)\|=\|S\left(v\right)\|=\|v\|$. כמו כן, אם $latex T$ היא אוניטרית ראינו שהיא הפיכה; אני טוען שגם $latex T^{-1}$ אוניטרית, כי $latex \|T^{-1}\left(v\right)\|=\|T\left(T^{-1}\left(v\right)\right)\|=\|v\|$ (למי שלא ברור לו מה הלך פה, סמנו $latex u=T^{-1}\left(v\right)$ ושימו לב לכך ש-$latex \|u\|=\|T\left(u\right)\|$ כי $latex T$ אוניטרית).

  • בואו ננסה עכשיו להבין אותה לאור מה שדיברנו עליו בפוסט הקודם על טרנספורמציות מעל מרחבי מכפלה פנימית - פעולת ההצמדה. כזכור, אם $latex T:V\to V$ הייתה אופרטור לינארי (המילה “אופרטור” כאן באה לתאר טרנספורמציות ממרחב כלשהו אל עצמו, להבדיל מ”סתם” טרנספורמציה שיכולה להיות בין שני מרחבים שונים), הוכחנו שקיים ויחיד אופרטור $latex T^{*}$ - הצמוד של $latex T$, כך שמתקיים $latex \left\langle T\left(v\right),u\right\rangle =\left\langle v,T^{*}\left(u\right)\right\rangle $ לכל זוג וקטורים $latex v,u\in V$. אם $latex T$ אוניטרית, האם יש לצמוד עוד תכונות מעניינות?

ובכן, זכרו שכבר ראינו כי $latex T$ הפיך, כלומר קיים אופרטור שהוא בעצמו אוניטרי $latex T^{-1}$ כך ש-$latex TT^{-1}=T^{-1}T=I$. אני טוען שההופכי הוא גם הצמוד של $latex T$; בואו ונראה למה:

$latex \left\langle T\left(v\right),u\right\rangle =\left\langle T^{-1}T\left(v\right),T^{-1}\left(u\right)\right\rangle =\left\langle v,T^{-1}\left(u\right)\right\rangle $

זה היה פשוט, לא? (איפה השתמשתי בכך ש-$latex T^{-1}$ אוניטרי?)

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


נהניתם? התעניינתם? אם תרצו, אתם מוזמנים לתת טיפ:

Buy Me a Coffee at ko-fi.com