88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול/11: הבדלים בין גרסאות בדף
אחיה בר-און (שיחה | תרומות) (←תרגיל) |
אחיה בר-און (שיחה | תרומות) (←תרגיל) |
||
שורה 249: | שורה 249: | ||
2. נניח כי המטריצה הפיכה, חשבו את <math>adj \left( adjA \right)</math>. | 2. נניח כי המטריצה הפיכה, חשבו את <math>adj \left( adjA \right)</math>. | ||
3. מצאו את <math>adj \left( adjA \right)</math> גם במקרה שהמטריצה אינה הפיכה. | |||
פתרון | פתרון | ||
שורה 261: | שורה 263: | ||
2. נשתמש במשפט עבור המטריצה <math>B=adjA</math>, אזי <math>(adjA)\cdot (adj(adjA)=|adjA|I</math>. ולפי הסעיף הקודם נקבל ש<math>adj(adjA)=adjA^{-1}|A|^{n-1}</math>. ומכיוון ו<math>adjA^{-1}=\frac{A}{|A|}</math> אז <math>adj(adjA)=A|A|^{n-2}</math>. | 2. נשתמש במשפט עבור המטריצה <math>B=adjA</math>, אזי <math>(adjA)\cdot (adj(adjA)=|adjA|I</math>. ולפי הסעיף הקודם נקבל ש<math>adj(adjA)=adjA^{-1}|A|^{n-1}</math>. ומכיוון ו<math>adjA^{-1}=\frac{A}{|A|}</math> אז <math>adj(adjA)=A|A|^{n-2}</math>. | ||
3. רמז: לתשובה של סעיף זה ולסעיף הקודם יש קשר הדוק. | |||
===תרגיל=== | ===תרגיל=== |
גרסה אחרונה מ־18:01, 15 באוגוסט 2020
דטרמיננטות
הגדרה הדטרמיננטה של מטריצה ריבועית [math]\displaystyle{ A\in F^{n\times n} }[/math] היא סקלר [math]\displaystyle{ det(A)=|A|\in F }[/math] המחושב מסכומים של מכפלות של אברי המטריצה.
חישוב דטרמיננטה של מטריצות קטנות
- הדטרמיננטה של מטריצה מסדר 1 [math]\displaystyle{ A=(\alpha)\in F^{1\times 1} }[/math] היא הערך היחיד במטריצה [math]\displaystyle{ det(A)=\alpha }[/math].
- הדטרמיננטה של מטריצה [math]\displaystyle{ A=\pmatrix{a&b\\ c&d} \in F^{2\times 2} }[/math] היא [math]\displaystyle{ det(A)=ad-bc }[/math].
למשל: [math]\displaystyle{ det\pmatrix{1&2\\ 3&4} = 1\cdot 4-2\cdot 3=-2 }[/math].
חישוב לפי נוסחת לפלס (מינורים)
סימון עבור מטריצה [math]\displaystyle{ A\in F^{n\times n} }[/math] נסמן ב [math]\displaystyle{ M_{ij} }[/math] את המטריצה מגודל [math]\displaystyle{ n-1 \times n-1 }[/math] המתקבלת מ[math]\displaystyle{ A }[/math] ע"י מחיקת השורה ה[math]\displaystyle{ i }[/math] והעמודה ה[math]\displaystyle{ j }[/math]. זה נקרא המינור ה[math]\displaystyle{ ij }[/math] של המטריצה.
דוגמא: עבור [math]\displaystyle{ A=\pmatrix{1&2&3\\ 4&5&6\\ 7&8&9} }[/math]למשל [math]\displaystyle{ M_{12}=\pmatrix{4&6\\ 7&9} }[/math] [math]\displaystyle{ M_{23}=\pmatrix{1&2\\ 7&8} }[/math]
אפשר למצוא את הדטרמיננטה בעזרת הדטרמיננטות של המינורים (לפי שורה או לפי עמודה), וכך באינדוקציה למצוא דטורמיננטה של כל מטריצה.
מציאת הדטרמיננטה ע"י מינורים עם פיתוח לפי השורה ה[math]\displaystyle{ i }[/math]:
[math]\displaystyle{ |A|=\sum_{j=1}^n (-1)^{i+j}a_{ij}|M_{ij}| }[/math]
מציאת הדטרמיננטה ע"י מינורים עם פיתוח לפי העמודה ה[math]\displaystyle{ j }[/math]:
[math]\displaystyle{ |A|=\sum_{i=1}^n (-1)^{i+j}a_{ij}|M_{ij}| }[/math]
לדוגמא: [math]\displaystyle{ A=\pmatrix{1&2&3\\ 4&5&6\\ 7&8&9} }[/math]נפתח לפי השורה הראשונה: [math]\displaystyle{ |A|=(-1)^{1+1}\cdot 1\cdot \begin{vmatrix}5&6\\ 8&9 \end{vmatrix}+(-1)^{1+2}\cdot 2\cdot \begin{vmatrix} 4&6\\ 7&9 \end{vmatrix}+(-1)^{1+3}\cdot 3 \cdot \begin{vmatrix} 4&5\\ 7&8 \end{vmatrix}=0 }[/math]
נפתח גם לפי העמודה השנייה: [math]\displaystyle{ |A|=(-1)^{1+2}\cdot 2\cdot \begin{vmatrix}4&6\\ 7&9 \end{vmatrix}+(-1)^{2+2}\cdot 5\cdot \begin{vmatrix} 1&3\\ 7&9 \end{vmatrix}+(-1)^{2+3}\cdot 8 \cdot \begin{vmatrix} 1&3\\ 4&6 \end{vmatrix}=0 }[/math]
תכונות של הדטרמיננטה
1. כפליות [math]\displaystyle{ |AB|=|A||B| }[/math].
2. בפרט [math]\displaystyle{ |A^k|=|A|^k }[/math].
3. [math]\displaystyle{ |A^t|=|A| }[/math].
4. אם המטריצה משולשית אז הדטרמיננטה= מכפלת אברי האלכסון (להדגים?). ~כן בבקשה~
5. אם [math]\displaystyle{ A }[/math] הפיכה אז [math]\displaystyle{ |A^{-1}|=|A|^{-1} }[/math].
6. [math]\displaystyle{ A }[/math] הפיכה אם"ם [math]\displaystyle{ |A|\neq 0 }[/math].
למשל המטריצה [math]\displaystyle{ A=\pmatrix{1&2&3\\ 4&5&6\\ 7&8&9} }[/math]איננה הפיכה כי חישבנו שהדטרמיננטה היא אפס.
שימו לב שאין בהכרח קשר בין [math]\displaystyle{ |A+B| }[/math] לבין [math]\displaystyle{ |A|+|B| }[/math]. (דוגמא?)
תרגיל
נתונות מטריצות [math]\displaystyle{ A,B\in F^{n \times n} }[/math] כך ש [math]\displaystyle{ |A|=2, |B|=-1 }[/math]. חשבו את [math]\displaystyle{ |(AB^{-1})^t(BA)^{-2}| }[/math].
פתרון
[math]\displaystyle{ |(AB^{-1})^t(BA)^{-2}|=|(AB^{-1})^t|\cdot |(BA)^{-2}|=|(AB^{-1})|\cdot |(BA)|^{-2}|=|A||B|^{-1}|B|^{-2}|A|^{-2}=-\frac{1}{2} }[/math]
תרגיל
תהי [math]\displaystyle{ B\in F^{3\times 3} }[/math]עם דטרמיננטה [math]\displaystyle{ |B|=-1 }[/math]. מצא את [math]\displaystyle{ |2B| }[/math].
פתרון
[math]\displaystyle{ |2B|=|2I\cdot B|=|\pmatrix{2&0&0\\ 0&2&0\\ 0&0&2}|\cdot |B|=2^3 \cdot (-1) }[/math]
בהכללה: [math]\displaystyle{ |\alpha A|=\alpha^n |A| }[/math].
תרגיל
1. תהי [math]\displaystyle{ A }[/math]מטריצה ממשית והפיכה מסדר [math]\displaystyle{ n }[/math]המקיימת [math]\displaystyle{ A^4+2A=0 }[/math]. חשבו את [math]\displaystyle{ |A| }[/math].
2. נניח [math]\displaystyle{ A }[/math]מקיימת [math]\displaystyle{ A^n+a_{n-1}A^{n-1}+\dots +a_1A+I=0 }[/math], הוכיחו כי היא הפיכה.
3.תהיינה [math]\displaystyle{ A,B }[/math] ריבועיות מסדר [math]\displaystyle{ n }[/math] אי-זוגי מעל שדה ממאפיין שונה מ2. נתון ש[math]\displaystyle{ AB+BA=0 }[/math], הוכיחו כי אחת מהמטריצות איננה הפיכה.
פתרון:
1. נעביר אגפים ונקבל [math]\displaystyle{ A^4=-2A }[/math], נקח דטרמיננטה [math]\displaystyle{ |A|^4 =(-2)^n|A| }[/math] ולכן [math]\displaystyle{ |A|=(-2)^{\frac{n}{3}} }[/math].
2. נעביר אגפים ונסדר [math]\displaystyle{ A \left( A^{n-1}+a_{n-1}A^{n-2}+\dots +a_2A+a_1I \right) =-I }[/math], ומכפלת הפיכות היא הפיכה. (ומי שרוצה להפוך לתרגיל על דטרמיננטות - נקח דטרמיננטה [math]\displaystyle{ |A||something|=|-I|=(-1)^n }[/math]. בפרט, [math]\displaystyle{ |A|\neq 0 }[/math]ולכן [math]\displaystyle{ A }[/math]הפיכה).
3. נעביר אגפים [math]\displaystyle{ AB=-BA }[/math] ונקח דטרמיננטה [math]\displaystyle{ |A||B|=(-1)^n|B||A| }[/math]. נתון ש[math]\displaystyle{ n }[/math] אי-זוגי ולכן [math]\displaystyle{ |A||B|=-|A||B| }[/math]. זה מכריח ש[math]\displaystyle{ |A||B|=0 }[/math] ולכן או ש [math]\displaystyle{ |A|=0 }[/math]ואז [math]\displaystyle{ A }[/math]לא הפיכה, או ש[math]\displaystyle{ |B|=0 }[/math] ואז [math]\displaystyle{ B }[/math]לא הפיכה.
תרגיל
תהי [math]\displaystyle{ A }[/math]מטריצה ממשית אנטי-סימטרית מסדר אי-זוגי. הוכיחו כי היא איננה הפיכה.
פתרון לפי הנתון [math]\displaystyle{ A^t=-A }[/math] ולכן [math]\displaystyle{ |A|=|A^t|=|-A|=(-1)^n|A| }[/math] מה שגורר [math]\displaystyle{ |A|=0 }[/math].
שיטת הדירוג
כזכור, לבצע פעולות שורה על מטריצה זה כמו לכפול במטריצה אלמנטרית מתאימה. מכיוון ודטרמיננטה היא כפלית, והחישוב הדטרמיננטה של מטריצות אלמנטריות הוא פשוט, נקבל את הכללים הבאים:
טענה תהי [math]\displaystyle{ B }[/math]מטריצה המתקבלת ממטריצה [math]\displaystyle{ A }[/math] ע" פעולת שורה, אזי:
1. אם [math]\displaystyle{ B }[/math] התקבלה ע"י כפל של אחת השורות ב[math]\displaystyle{ \alpha }[/math] אזי [math]\displaystyle{ |A|=\frac{1}{\alpha}|B| }[/math].
2. אם [math]\displaystyle{ B }[/math] התקבלה ע"י החלפת שתי שורות אזי [math]\displaystyle{ |A|=-|B| }[/math].
3. אם [math]\displaystyle{ B }[/math] התקבלה ע"י הוספת כפולה של שורה אחת לשורה אחרת אזי [math]\displaystyle{ |A|=|B| }[/math].
אם כן, נוכל לחשב דטרמיננטה ע"י דירוג המטריצה עד לצורה משולשית עליונה (צורה שבה קל מאוד לחשב דטרמיננטה), ולעקוב אחר השינויים בדטרמיננטה.
דוגמא [math]\displaystyle{ \begin{vmatrix}2&6&16\\ -3&-6&18\\ 5&12&35\end{vmatrix}=2\cdot (-3)\begin{vmatrix}1&3&8\\ 1&2&-6\\ 5&12&35 \end{vmatrix}=-6\cdot \begin{vmatrix}1&3&8\\0&-1&-14\\0&-3&-5\end{vmatrix}=-6\cdot \begin{vmatrix}1&3&8\\0&-1&-14\\0&0&37\end{vmatrix}=-6\cdot 1\cdot (-1)\cdot 37=222 }[/math]
דוגמא
חשב את [math]\displaystyle{ |A|=\begin{vmatrix}a&1&1&\dots&1\\1&a&1&\dots &1 \\ 1&1&a&\dots &1\\ \vdots & \vdots & \vdots & \dots & \vdots \\ 1&1&1& \dots & a\end{vmatrix} }[/math]
פתרון ראשית נסכום את כל השורות לשורה הראשונה ונקבל [math]\displaystyle{ |A|= \begin{vmatrix}a+n-1&a+n-1& \dots &a+n-1\\ 1&a&\dots &1\\1&1&\dots &1\\ \vdots &\vdots & \dots & \vdots \\ 1&1& \dots & a \end{vmatrix} }[/math] נחלק את השורה הראשונה ב[math]\displaystyle{ a+n-1 }[/math] ונקבל: [math]\displaystyle{ |A|=(a+n-1)\begin{vmatrix}1&1&\dots &1\\1&a&\dots &1\\1&1&\ddots&1\\ \vdots &\vdots &{}& \vdots\\ 1&1&\dots & a\end{vmatrix} }[/math]
כעת נחסר מכל שורה את השורה הראשונה ונקבל [math]\displaystyle{ |A|=(a+n-1)\begin{vmatrix}1&1&\dots &1\\0&a-1&\dots &0\\0&0&\ddots &0\\0&0&\dots &a-1\end{vmatrix}=(a+n-1)1(a-1)^{n-1} }[/math]
תרגיל
יהא [math]\displaystyle{ V }[/math] מ"ו ויהיו [math]\displaystyle{ v_{1},v_{2},\dots,v_{n} }[/math] וקטורים. הוכיחו/הפריכו: אם [math]\displaystyle{ v_{1},\dots,v_{n} }[/math] בת"ל אזי הוקטורים [math]\displaystyle{ v_{1}+v_{2},v_{2}+v_{3},v_{3}+v_{4},\dots,v_{n-1}+v_{n},v_{n}+v_{1} }[/math] בת"ל.
תרגיל
הוכיחו שלכל מטריצה [math]\displaystyle{ A\in\R^{n\times n} }[/math] שכל כניסה שווה ל [math]\displaystyle{ \pm 1 }[/math] מתקיים כי [math]\displaystyle{ 2^{n-1}|\det A }[/math]
פתרון: פתרון לתרגיל נמצא בדפים ישנים - כך נכתב שם: [math]\displaystyle{ \left|\left(\begin{array}{ccccc} \pm1 & \pm1 & \pm1 & \cdots & \pm1\\ \pm1 & \pm1 & \pm1 & \cdots & \pm1\\ \pm1 & \pm1 & \pm1 & \cdots & \pm1\\ \vdots & \vdots & & \vdots\\ \pm1 & \pm1 & \pm1 & \cdots & \pm1 \end{array}\right)\right|=\left|\left(\begin{array}{ccccc} \pm1 & \pm1 & \pm1 & \cdots & \pm1\\ 0 & \pm2,0 & \pm2,0 & \cdots & \pm2,0\\ 0 & \pm2,0 & \pm2,0 & \cdots & \pm2,0\\ \vdots & \vdots & & \vdots\\ 0 & \pm2,0 & \pm2,0 & \cdots & \pm2,0 \end{array}\right)\right|= }[/math]
[math]\displaystyle{ \left|\left(\begin{array}{ccccc} \pm1 & \pm1 & \pm1 & \cdots & \pm1\\ 0 & \pm2,0 & \pm2,0 & \cdots & \pm2,0\\ 0 & 0 & \pm4,0 & \cdots & \pm4,0\\ \vdots & \vdots & & \vdots\\ 0 & 0 & \pm4,0 & \cdots & \pm4,0 \end{array}\right)\right|=\cdots=\left|\left(\begin{array}{ccccc} \pm1 & \pm1 & \pm1 & \cdots & \pm1\\ 0 & \pm2,0 & \pm2,0 & \cdots & \pm2,0\\ 0 & 0 & \pm4,0 & \cdots & \pm4,0\\ \vdots & \vdots & & \vdots\\ 0 & 0 & 0 & \cdots & \pm2^{n-1},0 \end{array}\right)\right| }[/math]
מה דעתכם על הפתרון? האם יש פתרון נוסף? האם ניתן לחזק את הטענה ל [math]\displaystyle{ 2^{n}|\det A }[/math]?
תרגיל
נתונה מטריצה ריבועית [math]\displaystyle{ A\in F^{5\times 5} }[/math], משנים את סדר השורות של [math]\displaystyle{ A }[/math]באופן הבא:
את השורה הראשונה שמים במקום השנייה את השורה השנייה שמים במקום החמישית את השורה החמישית שמים במקום הרביעית את השורה הרביעית שמים במקום הראשונה
כלומר [math]\displaystyle{ A=\pmatrix{--R_1--\\ --R_2--\\ --R_3--\\ --R_4--\\ --R_5--} \rightarrow \pmatrix{--R_4--\\ --R_1--\\ --R_3--\\--R_5--\\--R_2--}=B }[/math]
חשבו את הדטרמיננטה של המטריצה המתקבלת,[math]\displaystyle{ B }[/math], בעזרת [math]\displaystyle{ |A| }[/math].
פתרון: את המטריצה החדשה אפשר לקבל ע"י רצף החלפות שורה: [math]\displaystyle{ R_1\leftrightarrow R_2, R_1\leftrightarrow R_4,R_4\leftrightarrow R_5 }[/math].
ולכן [math]\displaystyle{ |B|=(-1)(-1)(-1)|A|=-|A| }[/math].
הערה מכיוון ו[math]\displaystyle{ |A|=|A^t| }[/math] מותר בחישוב הדטרמיננטה לעשות גם פעולות עמודה אלמנטריות, השינוי בדטרמיננטה הוא דומה.
תרגיל
נתון ש[math]\displaystyle{ \begin{vmatrix}a&b&c\\d&e&f\\g&h&i\end{vmatrix}=2 }[/math]. חשבו את [math]\displaystyle{ \begin{vmatrix} i-4c&f&2i+f\\g-4a&d&2g+d\\h-4b&e&2h+e \end{vmatrix} }[/math].
פתרון: נשתמש בפעולות שורה ועמודה ונעקוב אחר השינויים בדטרמיננטה:
[math]\displaystyle{ |A|=^{C_3-C_2} \begin{vmatrix}i-4c&f&2i\\g-4a&d&2g\\h-4b&e&2h\end{vmatrix}=^{\frac{1}{2}C_3}2\begin{vmatrix}i-4c&f&i\\g-4a&d&g\\h-4b&e&h\end{vmatrix}=^{C_1-C_2}2\begin{vmatrix}-4c&f&i\\-4a&d&g\\-4b&e&h\end{vmatrix}=^{\frac{1}{-4}C_1}2(-4)\begin{vmatrix}c&f&i\\a&d&g\\b&e&h\end{vmatrix}=\dots =-16 }[/math]
תרגיל מטריצת ונדרמונד
הגדרה: יהיו [math]\displaystyle{ a_1,\dots a_n\in \mathbb{F} }[/math] סקלארים. מטריצת ונדרמונד [math]\displaystyle{ V=V(a_1,\dots,a_n)\in \mathbb{F}^{n\times n} }[/math] מוגדרת להיות [math]\displaystyle{ V=\begin{vmatrix} 1&a_1&a_{1}^{2}& \cdots& a_{1}^{n-1}\\ 1&a_2&a_{2}^{2}& \cdots& a_{2}^{n-1}\\ \vdots & & & & \\ 1&a_n&a_{n}^{2}& \cdots& a_{n}^{n-1} \end{vmatrix} }[/math]
הוכיחו כי [math]\displaystyle{ |V(a_1,\dots ,a_n)|=\prod_{1\leq i\lt j\leq n}(a_j-a_i) }[/math]
פתרון: באינדקוציה על [math]\displaystyle{ n }[/math]. בסיס: מוזמנים לבדוק עבור [math]\displaystyle{ n=2 }[/math]
צעד:
נבצע
- [math]\displaystyle{ C_n\leftarrow C_n-a_1C_{n-1} }[/math]
- [math]\displaystyle{ C_{n-1}\leftarrow C_{n-1}-a_1C_{n-2} }[/math]
וכו' עד
- [math]\displaystyle{ C_{2}\leftarrow C_2-a_1C_{1} }[/math]
לאחר מכן נוכל
- להוציא גורם משותף [math]\displaystyle{ a_2-a_1 }[/math] מהשורה השניה
- להוציא גורם משותף [math]\displaystyle{ a_3-a_1 }[/math] מהשורה השלישית
וכו עד
- להוציא גורם משותף [math]\displaystyle{ a_n-a_1 }[/math] מהשורה האחרונה
נמשיך לפתח לפי שורה ראשונה ונקבל כי [math]\displaystyle{ |V(a_1,\dots,a_n)|=\prod_{j=2}^n(a_j-a_1)\cdot |V(a_2,\dots ,a_n)|= }[/math] לפי הנחת האינדוקציה, נוכל להמשיך
[math]\displaystyle{ =\prod_{j=2}^n(a_j-a_1)\cdot \prod_{2\leq i\lt j\leq n}^n(a_j-a_i)=\prod_{1\leq i\lt j\leq n}^n(a_j-a_i) }[/math]
מסקנה: מטריצת ונדרמונט הפיכה אמ"מ [math]\displaystyle{ a_1,\dots ,a_n }[/math] שונים זה מזה.
המטריצה הנילוות (המצורפת)
הגדרה תהי [math]\displaystyle{ A\in F^{n\times n} }[/math], המטריצה נילווית שלה היא המטריצה [math]\displaystyle{ adj(A)_{i,j}=\left( (-1)^{i+j}|M_{ji}| \right)_{ij} }[/math].
(שימו לב להחלפה בין [math]\displaystyle{ i }[/math] ו[math]\displaystyle{ j }[/math]!)
דוגמא?
המשפט המרכזי
[math]\displaystyle{ A(adjA)=(adjA)A=|A|I }[/math]
תוצאה: אם [math]\displaystyle{ A }[/math] הפיכה אז [math]\displaystyle{ A^{-1}=\frac{adjA}{|A|} }[/math].
תרגיל
תהי [math]\displaystyle{ A\in F^{n\times n} }[/math] מטריצה.
1. הוכח כי [math]\displaystyle{ |adjA|=|A|^{n-1} }[/math].
2. נניח כי המטריצה הפיכה, חשבו את [math]\displaystyle{ adj \left( adjA \right) }[/math].
3. מצאו את [math]\displaystyle{ adj \left( adjA \right) }[/math] גם במקרה שהמטריצה אינה הפיכה.
פתרון
1. ראשית נניח כי [math]\displaystyle{ |A|\neq 0 }[/math], אזי נפעיל דטרמיננטה על שני האגפים: [math]\displaystyle{ |AadjA|=||A|I| }[/math] ונקבל [math]\displaystyle{ |A||adjA|=|A|^n }[/math] נחלק בדטרמיננטה ואז [math]\displaystyle{ |adjA|=|A|^{n-1} }[/math] כדרוש.
כעת נניח [math]\displaystyle{ |A|=0 }[/math] וצריך להוכיח כי [math]\displaystyle{ |adjA|=0 }[/math]. לפי המשפט [math]\displaystyle{ (adjA)A=|A|I=0 }[/math]
אם [math]\displaystyle{ A=0 }[/math] אז ברור ש [math]\displaystyle{ adjA=0 }[/math] לפי ההגדרה. אחרת, יש איזשהי עמודה של [math]\displaystyle{ A }[/math]שהיא לא אפס, [math]\displaystyle{ C_k(A) }[/math]. ואז [math]\displaystyle{ adjA\cdot C_k(A)=0 }[/math] מה שאומר ש[math]\displaystyle{ adjA }[/math] לא הפיכה ואז [math]\displaystyle{ |adjA|=0 }[/math].
2. נשתמש במשפט עבור המטריצה [math]\displaystyle{ B=adjA }[/math], אזי [math]\displaystyle{ (adjA)\cdot (adj(adjA)=|adjA|I }[/math]. ולפי הסעיף הקודם נקבל ש[math]\displaystyle{ adj(adjA)=adjA^{-1}|A|^{n-1} }[/math]. ומכיוון ו[math]\displaystyle{ adjA^{-1}=\frac{A}{|A|} }[/math] אז [math]\displaystyle{ adj(adjA)=A|A|^{n-2} }[/math].
3. רמז: לתשובה של סעיף זה ולסעיף הקודם יש קשר הדוק.
תרגיל
תהי [math]\displaystyle{ A\in \mathbb{R}^{n\times n} }[/math]המקיימת [math]\displaystyle{ (A+I)^2=0 }[/math].
א. הוכיחו כי [math]\displaystyle{ A }[/math]הפיכה.
ב. הביעו את [math]\displaystyle{ adjA }[/math]באמצעות [math]\displaystyle{ A,I,|A| }[/math] בלבד.
פתרון:
א. נפתח ונקבל [math]\displaystyle{ (A+I)^2 =A^2+AI+IA+I^2=A^2+2A+I }[/math] נעביר אגפים ונקבל [math]\displaystyle{ A(-1)(A+2I)=I }[/math] ולכן [math]\displaystyle{ A }[/math]הפיכה.
ב.לפי המשפט [math]\displaystyle{ adjA=|A| A^{-1} }[/math] ולכן בעצם נשאר למצוא ביטוי ל[math]\displaystyle{ A^{-1} }[/math]. לפי הסעיף הקודם [math]\displaystyle{ A^{-1}=-A-2I }[/math] ולכן [math]\displaystyle{ adjA=(-A-2I)|A| }[/math].
תרגיל
יהיו A,B ריבועיות (מגודל [math]\displaystyle{ n\times n }[/math]ׂ. הוכיחו כי [math]\displaystyle{ adj(AB)=adj(B)adj(A) }[/math]
פתרון:
מקרה 1: גם A וגם B הפיכות: מקרה פשוט - מוזמנים להוכיח בעזרת המשפט [math]\displaystyle{ A\cdot adj(A)=det(A)\cdot I }[/math]
מקרה 2: A או B מדרגה קטנה שווה ל [math]\displaystyle{ n-2 }[/math]: גם מקרה פשוט לאור העובדה שעבור מטריצה A שדרגתה קטנה שווה ל [math]\displaystyle{ n-2 }[/math] מתקיים כי [math]\displaystyle{ adj(A)=0 }[/math] ובנוסף [math]\displaystyle{ rank(AB)\leq rank(A),rank(B) }[/math]
מקרה 3 - אחרת: יהיו i,j נתונים. השתכנעו כי ניתן להגדיר מטריצה [math]\displaystyle{ A' }[/math] כך שהיא זהה ל A פרט אולי לשורה i ומטריצה [math]\displaystyle{ B' }[/math] שזהה למטריצה B פרט אולי לעמודה j המקיימות כי: או ש [math]\displaystyle{ A' }[/math] וגם [math]\displaystyle{ B' }[/math] הפיכות או ש [math]\displaystyle{ A' }[/math] או[math]\displaystyle{ B' }[/math] מדרגה קטנה שווה ל [math]\displaystyle{ n-2 }[/math].
בכל מקרה לפי מקרה1 ומקרה 2 נסיק כי [math]\displaystyle{ adj(A'B')=adj(B')adj(A') }[/math]. סיום ההוכחה נובע מכך ש:
- [math]\displaystyle{ M_{i,j}(A'B')=M_{i,j}(AB) }[/math]
- [math]\displaystyle{ R_{j}(adj(B'))C_i(adj(A'))=R_{j}(adj(B))C_i(adj(A)) }[/math]
ולכן המיקום [math]\displaystyle{ j,i }[/math] שווה בשני האגפים.
תרגיל
תהי [math]\displaystyle{ A\in \mathbb{Q}^{n\times n} }[/math] ונתון שהיא הפיכה ב[math]\displaystyle{ \mathbb{R}^{n\times n} }[/math] (כלומר שיש מטריצה ממשית [math]\displaystyle{ B }[/math] כך ש [math]\displaystyle{ AB=BA=I }[/math]). הוכיחו כי היא הפיכה ב[math]\displaystyle{ \mathbb{Q}^{n\times n} }[/math].
פתרון: מכיוון שמטריצה הפיכה היא יחידה, לא יתכן שב[math]\displaystyle{ \mathbb{Q}^{n\times n} }[/math] יש מטריצה הופכית אחרת. כך שבעצם יש להראות ש[math]\displaystyle{ A^{-1} }[/math] הממשית היא בעצם עם איברים ב[math]\displaystyle{ \mathbb{Q} }[/math].
לפי המשפט [math]\displaystyle{ A^{-1}=\frac{adjA}{|A|} }[/math]. [math]\displaystyle{ |A|\in \mathbb{Q} }[/math] כי הדטרמיננטה זה סכומים של מכפלות של איברי [math]\displaystyle{ A }[/math] שהם רציונליים. [math]\displaystyle{ adjA\in \mathbb{Q}^{n\times n} }[/math] כי האיברים הם [math]\displaystyle{ (-1)^{i+j}|M_{ji}| }[/math] שהם גם רציונלים (כמו קודם). סה"כ קיבלנו [math]\displaystyle{ A^{-1}\in \mathbb{Q}^{n\times n} }[/math].
פתרון בלי לערב adj סתם: נתון ש- [math]\displaystyle{ |A|\neq 0 }[/math] וכיון ש- [math]\displaystyle{ |A|\in \mathbb{Q} }[/math] (דטרמיננטה מתקבלת ממכפלות של איברי המטריצה (עד כדי מינוס אחד) שהינם רציונאליים) אז היא הפיכה גם מעל הרציונאליים.
דטרמיננטות של העתקות לינאריות
טענה אם [math]\displaystyle{ A }[/math]מטריצה ריבועית ו[math]\displaystyle{ P }[/math]מטריצה הפיכה, אזי [math]\displaystyle{ |A|=|PAP^{-1}| }[/math].
(הוכחה: [math]\displaystyle{ |PAP^{-1}|=|P||A||P|^{-1}=|A||P||P|^{-1}=|A| }[/math]).
ראינו בעבר שאם [math]\displaystyle{ A,B }[/math] הן מטריצות מייצגות של אותה העתקה לינארית [math]\displaystyle{ T \colon V \rightarrow V }[/math]אזי יש מטריצה הפיכה [math]\displaystyle{ P }[/math](למעשה מטריצת מעבר בסיסים) כך ש[math]\displaystyle{ B=PAP^{-1} }[/math]. לאור הטענה הקודמת רואים שלא משנה איך נחשב את המטריצה המייצגת, הדטרמיננטה תישאר אותו דבר. ולכן אפשר להגדיר...
הגדרה הדטרמיננטה של העתקה לינארית [math]\displaystyle{ T\colon V\rightarrow V }[/math]היא הדטרמיננטה של מטריצה מייצגת (כלשהי).
טענה שימושית העתקה [math]\displaystyle{ T\colon V\rightarrow V }[/math]היא הפיכה אם"ם הדטרמיננטה שלה שונה מאפס.
עוד טענה שימושית תהיינה [math]\displaystyle{ T,S \colon V \rightarrow V }[/math] הע"ל. אזי [math]\displaystyle{ |T\circ S|=|T||S| }[/math].