מטריצה הפיכה

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

הגדרה פורמלית

תהי הפענוח נכשל (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 \ n\times n} . המטריצה תיקרא "הפיכה" אם קיימת מטריצה אחרת, שתסומן $\ A^{-1}$ ותיקרא המטריצה ההופכית של הפענוח נכשל (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 \ AA^{-1}=A^{-1}A=I_n} , כאשר $\ I_{n}$ היא מטריצת היחידה מסדר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ n\times n} , בפעולת כפל מטריצות סטנדרטי.

מטריצה שאינה הפיכה תיקרא סינגולרית (או לא הפיכה).

דרכים למציאת מטריצה הפיכה

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

דוגמאות

מטריצות הפיכות

לפי ההגדרה, כדי להראות שמטריצה מסוימת היא הפיכה, מספיק למצוא מטריצה נוספת כך שמכפלתן היא מטריצה היחידה. לכן, דוגמה טריוויאלית למטריצה הפיכה היא מטריצת היחידה עצמה, הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ I_n} .

דוגמה נוספת היא המטריצה:

$\ A={\begin{bmatrix}0&1\\1&0\end{bmatrix}}$ מטריצה זו הפוכה לעצמה: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A^2 = I_2} .

מטריצות לא הפיכות

מטריצת האפס היא לא הפיכה, כי תוצאת המכפלה של כל מטריצה עם מטריצת האפס היא שוב מטריצת האפס, ואף פעם לא הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ I_n} . באופן כללי יותר, אם AB=0 (כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ B \neq 0} ) אז A אינה הפיכה. זוהי תכונה כללית של הכפל בחוגים: מחלק אפס אינו יכול להיות הפיך. בחוג המטריצות מעל שדה מתקיים גם הכיוון ההפוך: אם A אינה הפיכה, אז יש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ B \neq 0} כך ש-AB=0.

שיטות למציאת המטריצה ההפכית

את המטריצה ההופכית של מטריצה הפיכה מסדר 2 ניתן להציג באופן כללי על ידי הנוסחה הבאה:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \, } $A^{-1}={\frac {1}{ad-bc}}{\begin{pmatrix}\ d&-b\\-c&a\end{pmatrix}}\,\ ,$

זהו מקרה פרטי של הנוסחה הנכונה לכל מטריצה:

$$\ A\cdot \mathrm {adj} (A)=\det A\cdot I$$

כאשר $\ {\mbox{adj}}(A)$היא המטריצה המצורפת ל-$\ A$ו-הפענוח נכשל (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^{-1}=\frac{\mathrm{adj}(A)}{\det A},det(A)\neq 0}

דרך נוספת למציאת מטריצה הפיכה היא לשרשר את מטריצת $\ I$ מימין למטריצה $\ A$ ולמצוא קומבינציה ליניארית של השורות אשר תניב את המטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ I|A^{-1} } .

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

$A={\begin{bmatrix}1&-1&-2\\2&-3&-5\\-1&3&5\end{bmatrix}}$

נרשום את המטריצה:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A:I = \left[ \begin{array}{ccc|ccc} 1 & -1 & -2 & 1 & 0 & 0\\ 2 & -3 & -5 & 0 & 1 & 0\\ -1 & 3 & 5 & 0 & 0 & 1 \end{array} \right] }

ונדרגה:

חיסור השורה הראשונה כפול 2 מהשורה השנייה, וחיבור השורה הראשונה לשורה השלישית:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left[ \begin{array}{ccc|ccc} 1 & -1 & -2 & 1 & 0 & 0\\ 0 & -1 & -1 & -2 & 1 & 0\\ 0 & 2 & 3 & 1 & 0 & 1 \end{array} \right] }

הכפלת השורה השנייה ב-1-:

$\left[{\begin{array}{ccc|ccc}1&-1&-2&1&0&0\\0&1&1&2&-1&0\\0&2&3&1&0&1\end{array}}\right]$

חיבור השורה השנייה לראשונה, וחיסור השורה השנייה כפול 2 מהשורה השלישית:

$\left[{\begin{array}{ccc|ccc}1&0&-1&3&-1&0\\0&1&1&2&-1&0\\0&0&1&-3&2&1\end{array}}\right]$

חיבור השורה השלישית לשורה הראשונה, וחיסור השורה השלישית מהשורה השנייה:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left[ \begin{array}{ccc|ccc} 1 & 0 & 0 & 0 & 1 & 1\\ 0 & 1 & 0 & 5 & -3 & -1\\ 0 & 0 & 1 & -3 & 2 & 1 \end{array} \right] }

ולכן

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A^{-1} = \begin{bmatrix} 0 & 1 & 1\\ 5 & -3 & -1\\ -3 & 2 & 1 \end{bmatrix} }

יש להדגיש כי לא כל המטריצות הפיכות ואפשר לראות זאת באמצעות השיטה הזו. למשל

$A={\begin{bmatrix}1&1&5\\1&2&7\\2&-1&4\end{bmatrix}}$

נרשום:

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A:I = \left[ \begin{array}{ccc|ccc} 1 & 1 & 5 & 1 & 0 & 0\\ 1 & 2 & 7 & 0 & 1 & 0\\ 2 & -1 & 4 & 0 & 0 & 1 \end{array} \right] }

ונדרג

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left[ \begin{array}{ccc|ccc} 1 & 1 & 5 & 1 & 0 & 0\\ 0 & 1 & 2 & -1 & 1 & 0\\ 0 & -3 & -6 & -2 & 0 & 1 \end{array} \right] }

הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \left[ \begin{array}{ccc|ccc} 1 & 0 & 3 & 2 & -1 & 0\\ 0 & 1 & 2 & -1 & 1 & 0\\ 0 & 0 & 0 & -5 & 3 & 1 \end{array} \right] }

המטריצה האחרונה אליה הגענו אינה ניתנת להפיכה למטריצה מן הסוג $\ I:A^{-1}$ ועל כן המטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ A } היא בלתי הפיכה.

הוכחה לשיטת הבלוקים: נשים לב שביצוע סדרת פעולות על שורות מטריצה (דירוג מטריצות) שקול לכפל במטריצה הפיכה B. מאחר שמבצעים את אותן פעולות על A ו-I מקבלים: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle BA : BI} אבל אם מגיעים ל-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle BA=I} הרי ש-הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle B=A^{-1}} וזו בדיוק המטריצה המתקבלת בבלוק הימני (כלומר: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle I:B = I:A^{-1}} ).‏

תכונות

תנאים שקולים להפיכות

תהא $\ A$מטריצה מסדר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ n\times n} . כל התנאים הבאים שקולים, כלומר אם אחד מתקיים, כולם מתקיימים:

• $\ A$היא מטריצה הפיכה.
• קיימת מטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ B} כך שהפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ BA=I} . (כלומר, הפענוח נכשל (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 \ B} כך שהפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ AB=I} . (כלומר, הפענוח נכשל (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} אינה מחלק אפס בחוג המטריצות הריבועיות. (כלומר, לכל מטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ B\ne 0} , מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ AB, BA\ne 0} )
• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \det(A)\ne 0} (כלומר, דטרמיננטת המטריצה שונה מ-0).
• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mbox{rank}(A)=n} (כלומר, דרגת המטריצה שווה ל-n).
• הפענוח נכשל (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 \ I_n} (כלומר, ניתן להגיע מהפענוח נכשל (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 \ I_n} באמצעות פעולות אלמנטריות).
• למערכת המשוואות הליניאריות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ Ax=0} קיים רק פתרון אחד והוא הפתרון הטריוויאלי, כלומר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ x=0 \Leftarrow Ax=0} (בניסוח אחר: מרחב הפתרונות מנוון).
• למערכת המשוואות הליניאריות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ Ax=b} קיים פתרון לכל וקטור עמודה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,b} מסדר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \,n} (פתרון זה יהיה יחיד).
• עמודות המטריצה הן בלתי תלויות ליניארית.
• שורות המטריצה הן בלתי תלויות ליניארית.
• 0 אינו ערך עצמי של המטריצה.
• ההעתקה הליניארית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ T(x) = Ax} מעבירה בסיס לבסיס.
• ההעתקה הליניארית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ T(x) = Ax} היא חד חד ערכית. באופן שקול, הגרעין טריוויאלי (הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ker(A)=\{0\} } )
• ההעתקה הליניארית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ T(x) = Ax} היא על.
• ממד מרחב השורות של A הוא n.
• ממד מרחב העמודות של A הוא n.
• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle A} מאפסת פולינום עם מקדם חופשי שונה מ-0.

תכונות אלגבריות

יהיו A ו-B מטריצות הפיכות.

• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (A^{-1})^{-1} = A}
• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (A^T)^{-1} = (A^{-1})^T} כאשר T מציין את לקיחת המטריצה המשוחלפת.
• לכל סקלר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle k \ne 0} מתקיים הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (kA)^{-1} = k^{-1} A^{-1}}
• הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle (AB)^{-1} = B^{-1}A^{-1}}
• $\det(A^{-1})=(\det A)^{-1}$ (דטרמיננטה)
• אם הפענוח נכשל (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 t \in J} (זוהי מטריצה התלויה בפרמטר t) אזי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac{dA^{-1}}{dt} = -A^{-1} \frac{dA}{dt} A^{-1}}
• אם הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \epsilon} מספר קטן, אזי הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle ( A + \epsilon X)^{-1} = A^{-1} - \epsilon A^{-1} X A^{-1} + \mathcal{O}(\epsilon^2)}

קבוצת המטריצות ההפיכות

לפי מה שכתוב לעיל, ניתן להציג את קבוצת כל המטריצות ההפיכות כקבוצת המטריצות שהדטרמיננטה שלהן לא מתאפסת: הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbf{GL}_n (F) = \left\{ A \in F^{n \times n} | \ \ \det \ A \ne 0 \right\}} מתכונות הכפליות של הדטרמיננטה (דטרמיננטה של מכפלה היא מכפלת הדטרמיננטות), או משיקולים כללים לגבי הפיכות בחוגים, מכפלת שתי מטריצות הפיכות היא מטריצה הפיכה - כלומר קבוצה זו סגורה תחת כפל. לעומת זאת, חיבור וחיסור מטריצות הפיכות לא יניב בהכרח מטריצה הפיכה. מסמנים את קבוצת כל המטריצות ההפיכות הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ \mathbf{GL}_n (F)} והיא נקראת החבורה הליניארית הכללית מעל השדה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ F} (ביחס לכפל מטריצות). קבוצה זו היא אכן חבורה, לא קומוטטיבית, עם פעולת כפל מטריצות.

מבחינה טופולוגית קבוצה זו היא קבוצה פתוחה, כיוון שהיא מתקבלת כהעתקה ההפוכה של פונקציית הדטרמיננטה (שהיא פונקציה רציפה), של הקבוצה הפתוחה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ F - \left\{ 0 \right\}} . קבוצה זו צפופה במרחב המטריצות. בגאומטריה דיפרנציאלית, קבוצה זו היא יריעה חלקה, ואף אנליטית מממד הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle \ n^2} כאשר הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F=\mathbb{R}} או הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle F=\mathbb{C}} . בנוסף, יחד עם פעולת כפל מטריצות, קבוצה זו מהווה חבורת לי.

הכללות

הפיכוּת מצד אחד

מטריצה $A$ נקראת הפיכה משמאל אם קיימת מטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P} כך ש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle PA=I} . ההופכית השמאלית הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle P} אינה נקבעת ביחידות אם הפענוח נכשל (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} נקראת הפיכה מימין אם קיימת מטריצה הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle Q} כך ש הפענוח נכשל (SVG (אפשר להפעיל MathML בעזרת הרחבת דפדפן): תשובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://wikimedia.org/api/rest_v1/":): {\displaystyle AQ=I} .

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

הפכי מור-פנרוז

מושג המטריצה ההופכית הוכלל על ידי אליקים מור ורוג'ר פנרוז עבור מטריצות שאינן בהכרח ריבועיות; ראו (Moore–Penrose pseudoinverse).

ראו גם

• נוסחת וודברי

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

• מטריצה הפיכה, באתר MathWorld (באנגלית)   

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

33080227מטריצה הפיכה