מטריצה אורתוגונלית
באלגברה ליניארית, מטריצה אורתוגונלית היא מטריצה ריבועית שרכיביה ממשיים המקיימת את התנאי , כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ I} היא מטריצת היחידה, ו- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A^t} היא המטריצה המשוחלפת של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A} . למטריצות כאלו יש דטרמיננטה שהיא 1+ או 1-. לכפל במטריצה כזו יש תכונה חשובה: הוא שומר על אורך של וקטורים, וגם על הזווית ביניהם. העמודות של מטריצה אורתוגונלית מהוות בסיס אורתונורמלי למרחב הווקטורי שממדו כמספר עמודות המטריצה, עם המכפלה הפנימית הסטנדרטית.
אפיונים שקולים
למטריצות אורתוגונליות ישנן מספר הגדרות שקולות, החשובות בהן הן:
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A A^t = I} , כלומר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A^t = A^{-1}} .
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \vec{v} \cdot \vec{w} = \vec{Av} \cdot \vec{Aw}} , כלומר שהכפל של וקטורים ב-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A} משמר מכפלה סקלרית.
- העמודות של המטריצה הן בסיס אורתונורמלי.
- השורות של המטריצה הן בסיס אורתונורמלי.
2 הקריטריונים האחרונים דומים זה לזה והם שקולים מאחר שאם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A} אורתוגונלית, כך גם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A^{t}} .
חבורת המטריצות האורתוגונליות
אוסף המטריצות האורתוגונליות בגודל הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ n\times n} מעל שדה F סגור לכפל, והוא מהווה חבורה אלגברית שמקובל לסמן ב- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ O_n(F)} . מעל שדה המספרים הממשיים, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ O_n(\mathbb{R})} היא חבורה קומפקטית.
המטריצות האורתוגונליות בעלות דטרמיננטה 1 נקראות "מטריצות אורתוגונליות מיוחדות", והן מרכיבות את תת-החבורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ SO_n(F)} של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ O_n(F)} . בשדה ממאפיין שונה מ-2, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ SO_n(F) \triangleleft O_n(F)} היא תת-חבורה מאינדקס 2 (מעל שדה ממאפיין 2, שתי החבורות שוות). המטריצות הסקלריות האורתוגונליות הן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \pm I} , ומגדירים את חבורות המנה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ PO_n(F) =O_n(F)/\langle-I\rangle} ו- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ PSO_n(F) = SO_n(F)/(\langle -I\rangle \cap SO_n(F))} .
המטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ -I} שייכת ל- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ SO_n(F)} אם ורק אם n זוגי. לכן, כאשר n זוגי, ארבע החבורות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ O_n, SO_n, PO_n, PSO_n} שונות זו מזו, ואילו כאשר n אי זוגי, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ O_n \cong SO_n \times \langle -I \rangle} ו- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ PO_n \cong SO_n = PSO_n} .
המקרה n=2
מעל שדה המספרים הממשיים, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ SO_2} כוללת את מטריצות הסיבוב בכל זווית אפשרית. חבורה זו, שהיא אבלית, איזומורפית לחבורה המעגלית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ S^1} של המספרים המרוכבים בעלי נורמה 1, וגם לחבורת המנה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbb{R}/\mathbb{Z}} . ליפוף כפול של המעגל (כלומר, זיהוי הקצוות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ z \equiv -z} ) נותן את אותה חבורה, ולכן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ PSO_2(\mathbb{R}) \cong SO_2(\mathbb{R})} . החבורה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ O_2(\mathbb{R})} כוללת איבר נוסף, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \tau = \left(\begin{array}{cc}1 & 0 \\ 0 & -1 \end{array}\right)} , המתאים לשיקוף סביב ציר ה-x, ואת כל המכפלות של הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \tau} בסיבובים. החבורה הזו אינה אבלית. גם כאן הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ PO_2(\mathbb{R}) \cong O_2(\mathbb{R})} .
מטריצות אוניטריות
מטריצה אורתוגונלית היא מטריצה אוניטרית מעל הממשיים. מטריצה אוניטרית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A \in M_n(\mathbb{F}) } מקיימת: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A^* A= I} כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A^*:=\overline{A^t}} ותכונה הנובעת מזה היא שעמודותיה ושורותיה פורשות את הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{F}^n} . הערה: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{F} \in \begin{Bmatrix} \mathbb{R},\mathbb{C} \end{Bmatrix} }
תכונות של מטריצות אוניטריות
- הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A\,} מטריצה הפיכה ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A^{-1} = \overline{A}^T\,}
- מטריצה אוניטרית שומרת מכפלה פנימית: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \langle Ax,Ay \rangle = \langle x , A^{*}Ay \rangle = \langle x , Iy \rangle = \langle x,y \rangle} (כאן נעזרנו בתכונות הצמוד ההרמיטי במכפלה פנימית)
- מטריצה אוניטרית שומרת על נורמה, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \| A x \| = \| x \|} . כתוצאה מכך, ערך מוחלט של כל ערך עצמי שלה הוא 1.
- אם A אוניטרית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A^*\,} ו-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline{A}} גם הן אוניטריות
ראו גם
נושאים באלגברה ליניארית | ||
---|---|---|
מושגי יסוד | שדה • מרחב וקטורי • משוואה ליניארית • מערכת משוואות ליניאריות • העתקה ליניארית • מטריצה | |
וקטורים | סקלר • כפל בסקלר • צירוף ליניארי • תלות ליניארית • קבוצה פורשֹת • בסיס • וקטור קואורדינטות • ממד | |
מטריצות | כפל מטריצות • שחלוף • דטרמיננטה • דירוג מטריצות • דרגה • עקבה • מטריצה מצורפת • מטריצת מעבר • מטריצה משולשית • דמיון מטריצות • ערך עצמי • פולינום אופייני • לכסון מטריצות • צורת ז'ורדן | |
העתקות | העתקה ליניארית • קואורדינטות • מטריצה מייצגת • גרעין • אנדומורפיזם • איזומורפיזם • העתקה אפינית • העתקה פרויקטיבית | |
מרחבי מכפלה פנימית | מכפלה סקלרית • מכפלה וקטורית • אורתוגונליות • מטריצה סימטרית • אופרטור הרמיטי • אופרטור אוניטרי • טרנספורמציה נורמלית • נורמה • מטריקה | |
תבניות | תבנית ביליניארית • תבנית סימטרית • תבנית הרמיטית • תבנית סימפלקטית • חפיפת מטריצות • משפט סילבסטר • תבנית מולטי-ליניארית אנטי-סימטרית • אוריינטציה • צפיפות • טנזור |
קישורים חיצוניים
- מטריצה אורתוגונלית, באתר MathWorld (באנגלית)
מטריצה אורתוגונלית31043412Q333871