מטריצה אורתוגונלית

באלגברה לינארית, מטריצה אורתוגונלית היא מטריצה ריבועית שרכיביה ממשיים המקיימת את התנאי $\ A^{t}A=AA^{t}=I$, כאשר $\ I$ היא מטריצת היחידה, ו- $\ A^{t}$ היא המטריצה המשוחלפת של $\ A$. לכפל במטריצה כזו יש תכונה חשובה: הוא שומר על אורך של וקטורים, וגם על הזווית ביניהם.

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

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

אוסף המטריצות האורתוגונליות בגודל $\ n\times n$ מעל שדה F סגור לכפל, והוא מהווה חבורה אלגברית שמקובל לסמן ב- $\ O_{n}(F)$. מעל שדה המספרים הממשיים, $\ O_{n}(\mathbb {R} )$ היא חבורה קומפקטית.

הדטרמיננטה של מטריצה אורתוגונלית היא $\ 1$ או $\ -1$. המטריצות האורתוגונליות בעלות דטרמיננטה 1 נקראות "מטריצות אורתוגונליות מיוחדות", והן מרכיבות את תת-החבורה $\ SO_{n}(F)$ של $\ O_{n}(F)$. בשדה ממאפיין שונה מ-2, $\ SO_{n}(F)\triangleleft O_{n}(F)$ היא תת-חבורה מאינדקס 2 (מעל שדה ממאפיין 2, שתי החבורות שוות). המטריצות הסקלריות האורתוגונליות הן $\ \pm I$, ומגדירים את חבורות המנה $\ PO_{n}(F)=O_{n}(F)/\langle -I\rangle$ ו- $\ PSO_{n}(F)=SO_{n}(F)/(\langle -I\rangle \cap SO_{n}(F))$.

המטריצה $\ -I$ שייכת ל- $\ SO_{n}(F)$ אם ורק אם n זוגי. לכן, כאשר n זוגי, ארבע החבורות $\ O_{n},SO_{n},PO_{n},PSO_{n}$ שונות זו מזו, ואילו כאשר n איזוגי, $\ O_{n}\cong SO_{n}\times \langle -I\rangle$ ו- $\ PO_{n}\cong SO_{n}=PSO_{n}$.

המקרה n=2

מעל שדה המספרים הממשיים, $\ SO_{2}$ כוללת את מטריצות הסיבוב בכל זווית אפשרית. חבורה זו, שהיא אבלית, איזומורפית לחבורה המעגלית $\ S^{1}$ של המספרים המרוכבים בעלי נורמה 1, וגם לחבורת המנה $\ \mathbb {R} /\mathbb {Z}$. ליפוף כפול של המעגל (כלומר, זיהוי הקצוות $\ z\equiv -z$) נותן את אותה חבורה, ולכן $\ PSO_{2}(\mathbb {R} )\cong SO_{2}(\mathbb {R} )$. החבורה $\ O_{2}(\mathbb {R} )$ כוללת איבר נוסף, $\ \tau =\left({\begin{array}{cc}1&0\\0&-1\end{array}}\right)$, המתאים לשיקוף סביב ציר ה-x, ואת כל המכפלות של $\ \tau$ בסיבובים. החבורה הזו אינה אבלית. גם כאן $\ PO_{2}(\mathbb {R} )\cong O_{2}(\mathbb {R} )$.

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

מטריצה אורתוגונלית היא מטריצה אוניטרית מעל הממשיים. מטריצה אוניטרית $A\in M_{n}(\mathbb {F} )$ מקיימת: $A^{*}A=I$ כאשר $A^{*}:={\overline {A^{t}}}$ותכונה הנובעת מזה היא שעמודותיה ושורותיה פורשות את $\mathbb {F} ^{n}$. הערה: $\mathbb {F} \in {\begin{Bmatrix}\mathbb {R} ,\mathbb {C} \end{Bmatrix}}$

תכונות של מטריצות אוניטריות

• $A\,$ מטריצה הפיכה ו-$A^{-1}={\overline {A}}^{T}\,$
• מטריצה אוניטרית שומרת מכפלה פנימית: $\langle Ax,Ay\rangle =\langle x,A^{*}Ay\rangle =\langle x,Iy\rangle =\langle x,y\rangle$ (כאן נעזרנו בתכונות הצמוד ההרמיטי במכפלה פנימית)
• מטריצה אוניטרית שומרת על נורמה, $\ \|Ax\|=\|x\|$. כתוצאה מכך, ערך מוחלט של כל ערך עצמי שלה הוא 1.
• אם A אוניטרית $A^{*}\,$ ו-${\overline {A}}$ גם הן אוניטריות

ראו גם

• מטריצת סיבוב
• מטריצה אוניטרית

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