מטריצה הפיכה

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

==הגדרה פורמלית==
תהי <math>\ A</math> מטריצה מסדר <math>\ n\times n</math>. המטריצה תיקרא "הפיכה" אם קיימת מטריצה אחרת, שתסומן <math>\ A^{-1}</math> ותיקרא המטריצה ההופכית של <math>\ A</math>, כך שמתקיים <math>\ AA^{-1}=A^{-1}A=I_n</math>, כאשר <math>\ I_n</math> היא מטריצת היחידה מסדר <math>\ n\times n</math>, בפעולת כפל מטריצות סטנדרטי.

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

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

==דוגמאות==
===מטריצות הפיכות===
לפי ההגדרה, כדי להראות שמטריצה מסוימת היא הפיכה, מספיק למצוא מטריצה נוספת כך שמכפלתן היא מטריצה היחידה. לכן, דוגמה טריוויאלית למטריצה הפיכה היא מטריצת היחידה עצמה, <math>\ I_n</math> .

דוגמה נוספת היא המטריצה:
:<math>\ A= \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix}</math> מטריצה זו הפוכה לעצמה: <math>\ A^2 = I_2</math>.

===מטריצות לא הפיכות===
מטריצת האפס היא לא הפיכה, כי תוצאת המכפלה של כל מטריצה עם מטריצת האפס היא שוב מטריצת האפס, ואף פעם לא <math>\ I_n</math>. באופן כללי יותר, אם AB=0 (כאשר <math>\ B \neq 0</math>) אז A אינה הפיכה. זוהי תכונה כללית של הכפל בחוגים: מחלק אפס אינו יכול להיות הפיך. בחוג המטריצות מעל שדה מתקיים גם הכיוון ההפוך: אם A אינה הפיכה, אז יש <math>\ B \neq 0</math>כך ש-AB=0.

=== שיטות למציאת המטריצה ההפכית ===
את המטריצה ההופכית של מטריצה הפיכה מסדר 2 ניתן להציג באופן כללי על ידי הנוסחה הבאה:
:<math> A =
\begin{pmatrix}
a & b \\
c & d
\end{pmatrix} \,
</math> <math>
A^{-1} =
\frac{1}{ad-bc}
\begin{pmatrix}
\ d & -b \\
-c & a
\end{pmatrix}
\, \ ,
</math>

זהו מקרה פרטי של הנוסחה הנכונה לכל מטריצה:
<math display="block">\ A \cdot \mathrm{adj}(A) = \det A \cdot I </math>

כאשר <math>\ \mbox{adj}(A)</math>היא המטריצה המצורפת ל-<math>\ A</math>ו-<math>\ I</math>היא מטריצת היחידה. כאשר הדטרמיננטה אינה אפס מתקבל מהנוסחה, על ידי העברת אגפים, שהמטריצה ההופכית היא המטריצה המצורפת חלקי הדטרמיננטה:

<math display="block">\ A^{-1}=\frac{\mathrm{adj}(A)}{\det A},det(A)\neq 0</math>

דרך נוספת למציאת מטריצה הפיכה היא לשרשר את מטריצת <math>\ I</math> מימין למטריצה (מטריצה כזו נקראת לפעמים מטריצה מורחבת) <math>\ A</math> ולמצוא קומבינציה ליניארית של השורות אשר תניב את המטריצה <math>\ I|A^{-1} </math>.

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

:<math> A =
\begin{bmatrix}
1 & -1 & -2 \\
2 & -3 & -5 \\
-1 & 3 & 5
\end{bmatrix}
</math>

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

<math> 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] </math>

ונדרגה:

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

<math> \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]
</math>

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

<math>
\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]

</math> 

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

<math>
\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]

</math> 

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

<math>
\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]

</math>

ולכן

<math>
A^{-1} =
\begin{bmatrix}
 0 & 1 & 1\\
 5 & -3 & -1\\
 -3 & 2 & 1
\end{bmatrix}

</math> 

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

:<math> A =
\begin{bmatrix}
1 & 1 & 5 \\
1 & 2 & 7 \\
2 & -1 & 4
\end{bmatrix}
</math> 

נרשום:

<math> 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]
</math>

ונדרג

<math>
\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]

</math> 

<math>
\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]

</math> 

המטריצה האחרונה אליה הגענו אינה ניתנת להפיכה למטריצה מן הסוג <math>\ I : A^{-1} </math> ועל כן המטריצה <math>\ A </math> היא בלתי הפיכה.

הוכחה לשיטת הבלוקים: נשים לב שביצוע סדרת פעולות על שורות מטריצה (דירוג מטריצות) שקול לכפל במטריצה הפיכה B. מאחר שמבצעים את אותן פעולות על A ו-I מקבלים: <math> BA : BI</math> אבל אם מגיעים ל-<math>BA=I</math> הרי ש-<math>B=A^{-1}</math> וזו בדיוק המטריצה המתקבלת בבלוק הימני (כלומר: <math>I:B = I:A^{-1}</math>).

==תכונות==
===תנאים שקולים להפיכות===
תהא <math>\ A</math>מטריצה מסדר <math>\ n\times n</math>. כל התנאים הבאים שקולים. כלומר אם אחד מתקיים, כולם מתקיימים:
*<math>\ A</math>היא מטריצה הפיכה.
*קיימת מטריצה <math>\ B</math>כך ש-<math>\ BA=I</math>. (כלומר, <math>\ A</math>הפיכה משמאל)
*קיימת מטריצה <math>\ B</math>כך ש-<math>\ AB=I</math>. (כלומר, <math>\ A</math>הפיכה מימין)
*<math>\ A</math>אינה מחלק אפס בחוג המטריצות הריבועיות. (כלומר, לכל מטריצה <math>\ B\ne 0</math>, מתקיים <math>\ AB, BA\ne 0</math>)
*<math>\ \det(A)\ne 0</math>(כלומר, דטרמיננטת המטריצה שונה מ-0).
*<math>\ \mbox{rank}(A)=n</math>(כלומר, דרגת המטריצה שווה ל-n).
*<math>\ A</math>שקולת שורות ל-<math>\ I_n</math>(כלומר, ניתן להגיע מ<math>\ A</math>אל <math>\ I_n</math>באמצעות פעולות אלמנטריות).
*<math>\ A</math> היא מכפלה של מטריצות אלמנטריות.
*למערכת המשוואות הליניאריות <math>\ Ax=0</math>קיים רק פתרון אחד והוא הפתרון הטריוויאלי, כלומר <math>\ x=0 \Leftarrow Ax=0</math> (בניסוח אחר: מרחב הפתרונות מנוון).
*למערכת המשוואות הליניאריות <math>\ Ax=b</math>קיים פתרון לכל וקטור עמודה <math>\,b</math>מסדר <math>\,n</math>(פתרון זה יהיה יחיד).
*עמודות המטריצה הן בלתי תלויות ליניארית.
*שורות המטריצה הן בלתי תלויות ליניארית.
*0 אינו ערך עצמי של המטריצה.
*ההעתקה הליניארית <math>\ T(x) = Ax</math>מעבירה בסיס לבסיס.
*ההעתקה הליניארית <math>\ T(x) = Ax</math>היא חד חד ערכית. באופן שקול, הגרעין טריוויאלי (<math>
\ker(A)=\{0\}
</math>)
*ההעתקה הליניארית <math>\ T(x) = Ax</math>היא על.
*ממד מרחב השורות של A הוא n.
*ממד מרחב העמודות של A הוא n.
*<math>A</math>מאפסת פולינום עם מקדם חופשי שונה מ-0.

===תכונות אלגבריות===
יהיו A ו-B מטריצות הפיכות.
*<math>(A^{-1})^{-1} = A</math>
*<math>(A^T)^{-1} = (A^{-1})^T</math> כאשר <math>A^T</math> היא המטריצה המשוחלפת.
*לכל סקלר <math>k \ne 0</math> מתקיים <math>(kA)^{-1} = k^{-1} A^{-1}</math>
*<math>(AB)^{-1} = B^{-1}A^{-1}</math>
*<math>\det ( A^{-1} ) = ( \det A )^{-1}</math> (דטרמיננטה)
*אם <math>A(t)</math>מטריצה הפיכה גזירה לכל <math>t \in J</math> (זוהי מטריצה התלויה בפרמטר t) אזי <math>\frac{dA^{-1}}{dt} = -A^{-1} \frac{dA}{dt} A^{-1}</math>
*אם <math>\epsilon</math>מספר קטן, אזי <math>( A + \epsilon X)^{-1} = A^{-1} - \epsilon A^{-1} X A^{-1} + \mathcal{O}(\epsilon^2)</math>

===קבוצת המטריצות ההפיכות===
לפי מה שכתוב לעיל, ניתן להציג את קבוצת כל המטריצות ההפיכות כקבוצת המטריצות שהדטרמיננטה שלהן לא מתאפסת:
<math display="block">\ \mathbf{GL}_n (F) = \left\{ A \in F^{n \times n} | \ \ \det \ A \ne 0 \right\}</math>
מתכונות הכפליות של הדטרמיננטה (דטרמיננטה של מכפלה היא מכפלת הדטרמיננטות), או משיקולים כללים לגבי הפיכות בחוגים, מכפלת שתי מטריצות הפיכות היא מטריצה הפיכה - כלומר קבוצה זו סגורה תחת כפל. לעומת זאת, חיבור וחיסור מטריצות הפיכות לא יניב בהכרח מטריצה הפיכה.
מסמנים את קבוצת כל המטריצות ההפיכות <math>\ \mathbf{GL}_n (F)</math> והיא נקראת החבורה הליניארית הכללית מעל השדה <math>\ F</math> (ביחס לכפל מטריצות). קבוצה זו היא אכן חבורה, לא קומוטטיבית, עם פעולת כפל מטריצות.

מבחינה טופולוגית קבוצה זו היא קבוצה פתוחה, כיוון שהיא מתקבלת כהעתקה ההפוכה של פונקציית הדטרמיננטה (שהיא פונקציה רציפה), של הקבוצה הפתוחה <math>\ F - \left\{ 0 \right\}</math>. קבוצה זו צפופה במרחב המטריצות. בגאומטריה דיפרנציאלית, קבוצה זו היא יריעה חלקה, ואף אנליטית מממד <math>\ n^2</math> כאשר <math>F=\mathbb{R}</math> או <math>F=\mathbb{C}</math>. בנוסף, יחד עם פעולת כפל מטריצות, קבוצה זו מהווה חבורת לי.

== הכללות ==
=== הפיכוּת מצד אחד ===
מטריצה <math>A</math> נקראת הפיכה משמאל אם קיימת מטריצה <math>P</math> כך ש <math>PA=I</math>. ההופכית השמאלית <math>P</math> אינה נקבעת ביחידות אם <math>A</math> אינה ריבועית.

בדומה, מטריצה <math>A</math> נקראת הפיכה מימין אם קיימת מטריצה <math>Q</math> כך ש <math>AQ=I</math>.

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

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

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

==ראו גם==
*נוסחת וודברי

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

קטגוריה:מטריצות
קטגוריה:דטרמיננטות