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

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

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

הגדרה שקולה

עריכה

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

  יקרא אופרטור אוניטרי אם מתקיים:

  לכל   ב- .

שמירת מרחק

עריכה

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

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

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

עריכה

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

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

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

עריכה

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

אם   אופרטור הרמיטי אזי   הוא אופרטור אוניטרי, וכל אופרטור אוניטרי הוא בעל צורה כזו.

ראו גם

עריכה

קישורים חיצוניים

עריכה