אופרטור אוניטרי

באלגברה לינארית, אופרטור אוניטרי הוא אופרטור לינארי של מרחב מכפלה פנימית מעל שדה המספרים המרוכבים, המקיים את התנאי $\ U U ^* = U^* U = 1$, כאשר $\ U^*$ הוא הצמוד ההרמיטי של U (ו-1 הוא אופרטור הזהות) . באופן דומה, מטריצה ריבועית מרוכבת A היא אוניטרית אם $\ AA^*=I$, כאשר $\ A^*$ הוא הצמוד המרוכב של המטריצה המשוחלפת $\ A^t$ (ההגדרות מתלכדות, אם חושבים על המטריצה כאופרטור $\ \mathbb{C}^n \rightarrow \mathbb{C}^n$, ביחס למכפלה הפנימית הסטנדרטית של מרחב הווקטורים) ו-I היא מטריצת היחידה.

שמירת מרחק

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

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

חבורת המטריצות האוניטריות

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

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

הקשר לטיפוסי מטריצות אחרים

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

אם A אופרטור הרמיטי אזי $\ U = \exp{(iA)}$ הוא אופרטור אוניטרי, וכל אופרטור אוניטרי הוא בעל צורה כזו.

ראו גם

• חבורת SU
• אופרטור
• מטריצה
• שדה המספרים המרוכבים
• אלגברה לינארית
• מרחב הילברט