הבדלים בין גרסאות בדף "88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול/11"
(←המשפט המרכזי) |
אחיה בר-און (שיחה | תרומות) (←תרגיל) |
||
(18 גרסאות ביניים של 4 משתמשים אינן מוצגות) | |||
שורה 9: | שורה 9: | ||
* הדטרמיננטה של מטריצה מסדר 1 <math>A=(\alpha)\in F^{1\times 1}</math> היא הערך היחיד במטריצה <math>det(A)=\alpha</math>. | * הדטרמיננטה של מטריצה מסדר 1 <math>A=(\alpha)\in F^{1\times 1}</math> היא הערך היחיד במטריצה <math>det(A)=\alpha</math>. | ||
− | *הדטרמיננטה של מטריצה <math>A=\pmatrix{a&b\\ c&d} \in F^{2\times 2}</math> היא <math>det(A)=ad-bc</math>. | + | * הדטרמיננטה של מטריצה <math>A=\pmatrix{a&b\\ c&d} \in F^{2\times 2}</math> היא <math>det(A)=ad-bc</math>. |
למשל: <math>det\pmatrix{1&2\\ 3&4} = 1\cdot 4-2\cdot 3=-2 </math>. | למשל: <math>det\pmatrix{1&2\\ 3&4} = 1\cdot 4-2\cdot 3=-2 </math>. | ||
שורה 46: | שורה 46: | ||
3. <math>|A^t|=|A|</math>. | 3. <math>|A^t|=|A|</math>. | ||
− | 4. אם המטריצה משולשית אז הדטרמיננטה= מכפלת אברי האלכסון (להדגים?). | + | 4. אם המטריצה משולשית אז הדטרמיננטה= מכפלת אברי האלכסון (להדגים?). ~כן בבקשה~ |
5. אם <math>A</math> הפיכה אז <math>|A^{-1}|=|A|^{-1}</math>. | 5. אם <math>A</math> הפיכה אז <math>|A^{-1}|=|A|^{-1}</math>. | ||
שורה 84: | שורה 84: | ||
1. נעביר אגפים ונקבל <math>A^4=-2A</math>, נקח דטרמיננטה <math>|A|^4 =(-2)^n|A|</math> ולכן <math>|A|=(-2)^{\frac{n}{3}}</math>. | 1. נעביר אגפים ונקבל <math>A^4=-2A</math>, נקח דטרמיננטה <math>|A|^4 =(-2)^n|A|</math> ולכן <math>|A|=(-2)^{\frac{n}{3}}</math>. | ||
− | 2. נעביר אגפים ונסדר <math>A \left( A^{n-1}+a_{n-1}A^{n-2}+\dots +a_2A+a_1I \right) =-I</math>, נקח דטרמיננטה <math>|A||something|=|-I|=(-1)^n</math>. בפרט, <math>|A|\neq 0</math>ולכן <math>A</math>הפיכה. | + | 2. נעביר אגפים ונסדר <math>A \left( A^{n-1}+a_{n-1}A^{n-2}+\dots +a_2A+a_1I \right) =-I</math>, ומכפלת הפיכות היא הפיכה. (ומי שרוצה להפוך לתרגיל על דטרמיננטות - נקח דטרמיננטה <math>|A||something|=|-I|=(-1)^n</math>. בפרט, <math>|A|\neq 0</math>ולכן <math>A</math>הפיכה). |
3. נעביר אגפים <math>AB=-BA</math> ונקח דטרמיננטה <math>|A||B|=(-1)^n|B||A|</math>. נתון ש<math>n</math> אי-זוגי ולכן <math>|A||B|=-|A||B|</math>. | 3. נעביר אגפים <math>AB=-BA</math> ונקח דטרמיננטה <math>|A||B|=(-1)^n|B||A|</math>. נתון ש<math>n</math> אי-זוגי ולכן <math>|A||B|=-|A||B|</math>. | ||
זה מכריח ש<math>|A||B|=0</math> ולכן או ש <math>|A|=0</math>ואז <math>A</math>לא הפיכה, או ש<math>|B|=0</math> ואז <math>B</math>לא הפיכה. | זה מכריח ש<math>|A||B|=0</math> ולכן או ש <math>|A|=0</math>ואז <math>A</math>לא הפיכה, או ש<math>|B|=0</math> ואז <math>B</math>לא הפיכה. | ||
− | |||
===תרגיל=== | ===תרגיל=== | ||
שורה 119: | שורה 118: | ||
פתרון | פתרון | ||
− | ראשית נסכום את כל השורות לשורה הראשונה ונקבל <math>|A| | + | ראשית נסכום את כל השורות לשורה הראשונה ונקבל <math>|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>a+n-1</math> ונקבל: | נחלק את השורה הראשונה ב<math>a+n-1</math> ונקבל: | ||
<math>|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>|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> | ||
שורה 126: | שורה 125: | ||
<math>|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>|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>V</math> מ"ו ויהיו <math>v_{1},v_{2},\dots,v_{n}</math> וקטורים. הוכיחו/הפריכו: אם <math>v_{1},\dots,v_{n}</math> בת"ל אזי הוקטורים <math>v_{1}+v_{2},v_{2}+v_{3},v_{3}+v_{4},\dots,v_{n-1}+v_{n},v_{n}+v_{1}</math> בת"ל. | ||
+ | |||
+ | === תרגיל === | ||
+ | הוכיחו שלכל מטריצה <math>A\in\R^{n\times n}</math> שכל כניסה שווה ל <math>\pm 1</math> מתקיים כי <math>2^{n-1}|\det A</math> | ||
+ | |||
+ | פתרון: פתרון לתרגיל נמצא בדפים ישנים - כך נכתב שם: | ||
+ | <math> | ||
+ | \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>\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>2^{n}|\det A</math>? | ||
===תרגיל=== | ===תרגיל=== | ||
שורה 147: | שורה 186: | ||
'''הערה''' מכיוון ו<math>|A|=|A^t|</math> מותר בחישוב הדטרמיננטה לעשות גם פעולות ''עמודה'' אלמנטריות, השינוי בדטרמיננטה הוא דומה. | '''הערה''' מכיוון ו<math>|A|=|A^t|</math> מותר בחישוב הדטרמיננטה לעשות גם פעולות ''עמודה'' אלמנטריות, השינוי בדטרמיננטה הוא דומה. | ||
− | + | ==תרגיל== | |
− | נתון ש<math>\begin{vmatrix}a&b& | + | נתון ש<math>\begin{vmatrix}a&b&c\\d&e&f\\g&h&i\end{vmatrix}=2</math>. חשבו את <math>\begin{vmatrix} i-4c&f&2i+f\\g-4a&d&2g+d\\h-4b&e&2h+e \end{vmatrix}</math>. |
'''פתרון:''' | '''פתרון:''' | ||
שורה 154: | שורה 193: | ||
<math>|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>|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>a_1,\dots a_n\in \mathbb{F}</math> סקלארים. מטריצת ונדרמונד <math>V=V(a_1,\dots,a_n)\in \mathbb{F}^{n\times n}</math> מוגדרת להיות | ||
+ | <math>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>|V(a_1,\dots ,a_n)|=\prod_{1\leq i<j\leq n}(a_j-a_i)</math> | ||
+ | |||
+ | פתרון: | ||
+ | באינדקוציה על <math>n</math>. בסיס: מוזמנים לבדוק עבור <math>n=2</math> | ||
+ | |||
+ | צעד: | ||
+ | |||
+ | נבצע | ||
+ | * <math>C_n\leftarrow C_n-a_1C_{n-1}</math> | ||
+ | * <math>C_{n-1}\leftarrow C_{n-1}-a_1C_{n-2}</math> | ||
+ | וכו' עד | ||
+ | * <math>C_{2}\leftarrow C_2-a_1C_{1}</math> | ||
+ | |||
+ | לאחר מכן נוכל | ||
+ | *להוציא גורם משותף <math>a_2-a_1</math> מהשורה השניה | ||
+ | *להוציא גורם משותף <math>a_3-a_1</math> מהשורה השלישית | ||
+ | וכו עד | ||
+ | *להוציא גורם משותף <math>a_n-a_1</math> מהשורה האחרונה | ||
+ | |||
+ | נמשיך לפתח לפי שורה ראשונה ונקבל כי | ||
+ | <math>|V(a_1,\dots,a_n)|=\prod_{j=2}^n(a_j-a_1)\cdot |V(a_2,\dots ,a_n)|=</math> | ||
+ | לפי הנחת האינדוקציה, נוכל להמשיך | ||
+ | |||
+ | <math>=\prod_{j=2}^n(a_j-a_1)\cdot \prod_{2\leq i<j\leq n}^n(a_j-a_i)=\prod_{1\leq i<j\leq n}^n(a_j-a_i)</math> | ||
+ | |||
+ | מסקנה: מטריצת ונדרמונט הפיכה אמ"מ <math>a_1,\dots ,a_n</math> שונים זה מזה. | ||
=המטריצה הנילוות (המצורפת)= | =המטריצה הנילוות (המצורפת)= | ||
− | '''הגדרה''' תהי <math>A\in F^{n\times n}</math>, המטריצה נילווית שלה היא המטריצה <math>adj(A)=\left( (-1)^{i+j}|M_{ji}| \right)_{ij}</math>. | + | '''הגדרה''' תהי <math>A\in F^{n\times n}</math>, המטריצה נילווית שלה היא המטריצה <math>adj(A)_{i,j}=\left( (-1)^{i+j}|M_{ji}| \right)_{ij}</math>. |
− | (שימו לב להחלפה בין <math>i</math> ו<math>j</math>! | + | (שימו לב להחלפה בין <math>i</math> ו<math>j</math>!) |
שורה 171: | שורה 245: | ||
===תרגיל=== | ===תרגיל=== | ||
תהי <math>A\in F^{n\times n}</math> מטריצה. | תהי <math>A\in F^{n\times n}</math> מטריצה. | ||
+ | |||
1. הוכח כי <math>|adjA|=|A|^{n-1}</math>. | 1. הוכח כי <math>|adjA|=|A|^{n-1}</math>. | ||
+ | |||
2. נניח כי המטריצה הפיכה, חשבו את <math>adj \left( adjA \right)</math>. | 2. נניח כי המטריצה הפיכה, חשבו את <math>adj \left( adjA \right)</math>. | ||
+ | |||
+ | 3. מצאו את <math>adj \left( adjA \right)</math> גם במקרה שהמטריצה אינה הפיכה. | ||
פתרון | פתרון | ||
שורה 185: | שורה 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. רמז: לתשובה של סעיף זה ולסעיף הקודם יש קשר הדוק. | ||
===תרגיל=== | ===תרגיל=== | ||
שורה 197: | שורה 277: | ||
א. נפתח ונקבל <math>(A+I)^2 =A^2+AI+IA+I^2=A^2+2A+I</math> נעביר אגפים ונקבל <math>A(-1)(A+2I)=I</math> ולכן <math>A</math>הפיכה. | א. נפתח ונקבל <math>(A+I)^2 =A^2+AI+IA+I^2=A^2+2A+I</math> נעביר אגפים ונקבל <math>A(-1)(A+2I)=I</math> ולכן <math>A</math>הפיכה. | ||
− | ב.לפי המשפט <math>adjA= | + | ב.לפי המשפט <math>adjA=|A| A^{-1}</math> ולכן בעצם נשאר למצוא ביטוי ל<math>A^{-1}</math>. |
− | לפי הסעיף הקודם <math>A^{-1}=-A-2I</math> ולכן <math>adjA=(-A-2I)|A| | + | לפי הסעיף הקודם <math>A^{-1}=-A-2I</math> ולכן <math>adjA=(-A-2I)|A|</math>. |
+ | ===תרגיל=== | ||
+ | יהיו A,B ריבועיות (מגודל <math>n\times n</math>ׂ. הוכיחו כי <math>adj(AB)=adj(B)adj(A)</math> | ||
+ | |||
+ | פתרון: | ||
+ | |||
+ | מקרה 1: גם A וגם B הפיכות: מקרה פשוט - מוזמנים להוכיח בעזרת המשפט <math>A\cdot adj(A)=det(A)\cdot I</math> | ||
+ | |||
+ | מקרה 2: A או B מדרגה קטנה שווה ל <math>n-2</math>: גם מקרה פשוט לאור העובדה שעבור מטריצה A שדרגתה קטנה שווה ל <math>n-2</math> מתקיים כי <math>adj(A)=0</math> ובנוסף <math>rank(AB)\leq rank(A),rank(B)</math> | ||
+ | |||
+ | מקרה 3 - אחרת: יהיו i,j נתונים. השתכנעו כי ניתן להגדיר מטריצה <math>A'</math> כך שהיא זהה ל A פרט אולי לשורה i ומטריצה <math>B'</math> שזהה למטריצה B פרט אולי לעמודה j המקיימות כי: או ש <math>A'</math> וגם <math>B'</math> הפיכות או ש <math>A'</math> או<math>B'</math> מדרגה קטנה שווה ל <math>n-2</math>. | ||
+ | |||
+ | בכל מקרה לפי מקרה1 ומקרה 2 נסיק כי <math>adj(A'B')=adj(B')adj(A')</math>. סיום ההוכחה נובע מכך ש: | ||
+ | *<math>M_{i,j}(A'B')=M_{i,j}(AB)</math> | ||
+ | *<math>R_{j}(adj(B'))C_i(adj(A'))=R_{j}(adj(B))C_i(adj(A))</math> | ||
+ | ולכן המיקום <math>j,i</math> שווה בשני האגפים. | ||
===תרגיל=== | ===תרגיל=== | ||
שורה 210: | שורה 305: | ||
<math>adjA\in \mathbb{Q}^{n\times n}</math> כי האיברים הם <math>(-1)^{i+j}|M_{ji}|</math> שהם גם רציונלים (כמו קודם). | <math>adjA\in \mathbb{Q}^{n\times n}</math> כי האיברים הם <math>(-1)^{i+j}|M_{ji}|</math> שהם גם רציונלים (כמו קודם). | ||
סה"כ קיבלנו <math>A^{-1}\in \mathbb{Q}^{n\times n}</math>. | סה"כ קיבלנו <math>A^{-1}\in \mathbb{Q}^{n\times n}</math>. | ||
+ | |||
+ | '''פתרון בלי לערב adj סתם:''' נתון ש- <math>|A|\neq 0</math> וכיון ש- <math>|A|\in \mathbb{Q}</math> (דטרמיננטה מתקבלת ממכפלות של איברי המטריצה (עד כדי מינוס אחד) שהינם רציונאליים) אז היא הפיכה גם מעל הרציונאליים. | ||
==דטרמיננטות של העתקות לינאריות== | ==דטרמיננטות של העתקות לינאריות== | ||
שורה 224: | שורה 321: | ||
'''טענה שימושית''' העתקה <math>T\colon V\rightarrow V</math>היא הפיכה אם"ם הדטרמיננטה שלה שונה מאפס. | '''טענה שימושית''' העתקה <math>T\colon V\rightarrow V</math>היא הפיכה אם"ם הדטרמיננטה שלה שונה מאפס. | ||
− | '''עוד טענה שימושית''' תהיינה <math>T,S \colon V \rightarrow V</math> הע"ל. אזי <math>|T\circ S=|T||S|</math>. | + | '''עוד טענה שימושית''' תהיינה <math>T,S \colon V \rightarrow V</math> הע"ל. אזי <math>|T\circ S|=|T||S|</math>. |
גרסה אחרונה מ־18:01, 15 באוגוסט 2020
תוכן עניינים
דטרמיננטות
הגדרה הדטרמיננטה של מטריצה ריבועית היא סקלר
המחושב מסכומים של מכפלות של אברי המטריצה.
חישוב דטרמיננטה של מטריצות קטנות
- הדטרמיננטה של מטריצה מסדר 1
היא הערך היחיד במטריצה
.
- הדטרמיננטה של מטריצה עיבוד הנוסחה נכשל (פונקציה \pmatrix לא מוכרת): A=\pmatrix{a&b\\ c&d} \in F^{2\times 2}
היא.
למשל: עיבוד הנוסחה נכשל (פונקציה \pmatrix לא מוכרת): det\pmatrix{1&2\\ 3&4} = 1\cdot 4-2\cdot 3=-2 .
חישוב לפי נוסחת לפלס (מינורים)
סימון עבור מטריצה נסמן ב
את המטריצה מגודל
המתקבלת מ
ע"י מחיקת השורה ה
והעמודה ה
. זה נקרא המינור ה
של המטריצה.
דוגמא: עבור עיבוד הנוסחה נכשל (פונקציה \pmatrix לא מוכרת): A=\pmatrix{1&2&3\\ 4&5&6\\ 7&8&9} למשל עיבוד הנוסחה נכשל (פונקציה \pmatrix לא מוכרת): M_{12}=\pmatrix{4&6\\ 7&9}
עיבוד הנוסחה נכשל (פונקציה \pmatrix לא מוכרת): M_{23}=\pmatrix{1&2\\ 7&8}
אפשר למצוא את הדטרמיננטה בעזרת הדטרמיננטות של המינורים (לפי שורה או לפי עמודה), וכך באינדוקציה למצוא דטורמיננטה של כל מטריצה.
מציאת הדטרמיננטה ע"י מינורים עם פיתוח לפי השורה ה:
מציאת הדטרמיננטה ע"י מינורים עם פיתוח לפי העמודה ה:
לדוגמא:
עיבוד הנוסחה נכשל (פונקציה \pmatrix לא מוכרת): A=\pmatrix{1&2&3\\ 4&5&6\\ 7&8&9}
נפתח לפי השורה הראשונה:
נפתח גם לפי העמודה השנייה:
תכונות של הדטרמיננטה
1. כפליות .
2. בפרט .
3. .
4. אם המטריצה משולשית אז הדטרמיננטה= מכפלת אברי האלכסון (להדגים?). ~כן בבקשה~
5. אם הפיכה אז
.
6. הפיכה אם"ם
.
למשל המטריצה עיבוד הנוסחה נכשל (פונקציה \pmatrix לא מוכרת): A=\pmatrix{1&2&3\\ 4&5&6\\ 7&8&9}
איננה הפיכה כי חישבנו שהדטרמיננטה היא אפס.
שימו לב שאין בהכרח קשר בין לבין
. (דוגמא?)
תרגיל
נתונות מטריצות כך ש
. חשבו את
.
פתרון
תרגיל
תהי עם דטרמיננטה
. מצא את
.
פתרון
עיבוד הנוסחה נכשל (פונקציה \pmatrix לא מוכרת): |2B|=|2I\cdot B|=|\pmatrix{2&0&0\\ 0&2&0\\ 0&0&2}|\cdot |B|=2^3 \cdot (-1)
בהכללה: .
תרגיל
1. תהי מטריצה ממשית והפיכה מסדר
המקיימת
. חשבו את
.
2. נניח מקיימת
, הוכיחו כי היא הפיכה.
3.תהיינה ריבועיות מסדר
אי-זוגי מעל שדה ממאפיין שונה מ2. נתון ש
, הוכיחו כי אחת מהמטריצות איננה הפיכה.
פתרון:
1. נעביר אגפים ונקבל , נקח דטרמיננטה
ולכן
.
2. נעביר אגפים ונסדר , ומכפלת הפיכות היא הפיכה. (ומי שרוצה להפוך לתרגיל על דטרמיננטות - נקח דטרמיננטה
. בפרט,
ולכן
הפיכה).
3. נעביר אגפים ונקח דטרמיננטה
. נתון ש
אי-זוגי ולכן
.
זה מכריח ש
ולכן או ש
ואז
לא הפיכה, או ש
ואז
לא הפיכה.
תרגיל
תהי מטריצה ממשית אנטי-סימטרית מסדר אי-זוגי. הוכיחו כי היא איננה הפיכה.
פתרון
לפי הנתון ולכן
מה שגורר
.
שיטת הדירוג
כזכור, לבצע פעולות שורה על מטריצה זה כמו לכפול במטריצה אלמנטרית מתאימה. מכיוון ודטרמיננטה היא כפלית, והחישוב הדטרמיננטה של מטריצות אלמנטריות הוא פשוט, נקבל את הכללים הבאים:
טענה תהי מטריצה המתקבלת ממטריצה
ע" פעולת שורה, אזי:
1. אם התקבלה ע"י כפל של אחת השורות ב
אזי
.
2. אם התקבלה ע"י החלפת שתי שורות אזי
.
3. אם התקבלה ע"י הוספת כפולה של שורה אחת לשורה אחרת אזי
.
אם כן, נוכל לחשב דטרמיננטה ע"י דירוג המטריצה עד לצורה משולשית עליונה (צורה שבה קל מאוד לחשב דטרמיננטה), ולעקוב אחר השינויים בדטרמיננטה.
דוגמא
דוגמא
חשב את
פתרון
ראשית נסכום את כל השורות לשורה הראשונה ונקבל
נחלק את השורה הראשונה ב
ונקבל:
כעת נחסר מכל שורה את השורה הראשונה ונקבל
תרגיל
יהא מ"ו ויהיו
וקטורים. הוכיחו/הפריכו: אם
בת"ל אזי הוקטורים
בת"ל.
תרגיל
הוכיחו שלכל מטריצה שכל כניסה שווה ל
מתקיים כי
פתרון: פתרון לתרגיל נמצא בדפים ישנים - כך נכתב שם:
מה דעתכם על הפתרון? האם יש פתרון נוסף? האם ניתן לחזק את הטענה ל ?
תרגיל
נתונה מטריצה ריבועית , משנים את סדר השורות של
באופן הבא:
את השורה הראשונה שמים במקום השנייה את השורה השנייה שמים במקום החמישית את השורה החמישית שמים במקום הרביעית את השורה הרביעית שמים במקום הראשונה
כלומר עיבוד הנוסחה נכשל (פונקציה \pmatrix לא מוכרת): 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
חשבו את הדטרמיננטה של המטריצה המתקבלת,, בעזרת
.
פתרון:
את המטריצה החדשה אפשר לקבל ע"י רצף החלפות שורה:
.
ולכן .
הערה מכיוון ו מותר בחישוב הדטרמיננטה לעשות גם פעולות עמודה אלמנטריות, השינוי בדטרמיננטה הוא דומה.
תרגיל
נתון ש. חשבו את
.
פתרון: נשתמש בפעולות שורה ועמודה ונעקוב אחר השינויים בדטרמיננטה:
תרגיל מטריצת ונדרמונד
הגדרה: יהיו סקלארים. מטריצת ונדרמונד
מוגדרת להיות
הוכיחו כי
פתרון:
באינדקוציה על . בסיס: מוזמנים לבדוק עבור
צעד:
נבצע
וכו' עד
לאחר מכן נוכל
- להוציא גורם משותף
מהשורה השניה
- להוציא גורם משותף
מהשורה השלישית
וכו עד
- להוציא גורם משותף
מהשורה האחרונה
נמשיך לפתח לפי שורה ראשונה ונקבל כי
לפי הנחת האינדוקציה, נוכל להמשיך
מסקנה: מטריצת ונדרמונט הפיכה אמ"מ שונים זה מזה.
המטריצה הנילוות (המצורפת)
הגדרה תהי , המטריצה נילווית שלה היא המטריצה
.
(שימו לב להחלפה בין ו
!)
דוגמא?
המשפט המרכזי
תוצאה: אם הפיכה אז
.
תרגיל
תהי מטריצה.
1. הוכח כי .
2. נניח כי המטריצה הפיכה, חשבו את .
3. מצאו את גם במקרה שהמטריצה אינה הפיכה.
פתרון
1. ראשית נניח כי , אזי נפעיל דטרמיננטה על שני האגפים:
ונקבל
נחלק בדטרמיננטה ואז
כדרוש.
כעת נניח וצריך להוכיח כי
.
לפי המשפט
אם אז ברור ש
לפי ההגדרה.
אחרת, יש איזשהי עמודה של
שהיא לא אפס,
. ואז
מה שאומר ש
לא הפיכה ואז
.
2. נשתמש במשפט עבור המטריצה , אזי
. ולפי הסעיף הקודם נקבל ש
. ומכיוון ו
אז
.
3. רמז: לתשובה של סעיף זה ולסעיף הקודם יש קשר הדוק.
תרגיל
תהי המקיימת
.
א. הוכיחו כי הפיכה.
ב. הביעו את באמצעות
בלבד.
פתרון:
א. נפתח ונקבל נעביר אגפים ונקבל
ולכן
הפיכה.
ב.לפי המשפט ולכן בעצם נשאר למצוא ביטוי ל
.
לפי הסעיף הקודם
ולכן
.
תרגיל
יהיו A,B ריבועיות (מגודל ׂ. הוכיחו כי
פתרון:
מקרה 1: גם A וגם B הפיכות: מקרה פשוט - מוזמנים להוכיח בעזרת המשפט
מקרה 2: A או B מדרגה קטנה שווה ל : גם מקרה פשוט לאור העובדה שעבור מטריצה A שדרגתה קטנה שווה ל
מתקיים כי
ובנוסף
מקרה 3 - אחרת: יהיו i,j נתונים. השתכנעו כי ניתן להגדיר מטריצה כך שהיא זהה ל A פרט אולי לשורה i ומטריצה
שזהה למטריצה B פרט אולי לעמודה j המקיימות כי: או ש
וגם
הפיכות או ש
או
מדרגה קטנה שווה ל
.
בכל מקרה לפי מקרה1 ומקרה 2 נסיק כי . סיום ההוכחה נובע מכך ש:
ולכן המיקום שווה בשני האגפים.
תרגיל
תהי ונתון שהיא הפיכה ב
(כלומר שיש מטריצה ממשית
כך ש
). הוכיחו כי היא הפיכה ב
.
פתרון:
מכיוון שמטריצה הפיכה היא יחידה, לא יתכן שב יש מטריצה הופכית אחרת. כך שבעצם יש להראות ש
הממשית היא בעצם עם איברים ב
.
לפי המשפט .
כי הדטרמיננטה זה סכומים של מכפלות של איברי
שהם רציונליים.
כי האיברים הם
שהם גם רציונלים (כמו קודם).
סה"כ קיבלנו
.
פתרון בלי לערב adj סתם: נתון ש- וכיון ש-
(דטרמיננטה מתקבלת ממכפלות של איברי המטריצה (עד כדי מינוס אחד) שהינם רציונאליים) אז היא הפיכה גם מעל הרציונאליים.
דטרמיננטות של העתקות לינאריות
טענה אם מטריצה ריבועית ו
מטריצה הפיכה, אזי
.
(הוכחה: ).
ראינו בעבר שאם הן מטריצות מייצגות של אותה העתקה לינארית
אזי יש מטריצה הפיכה
(למעשה מטריצת מעבר בסיסים) כך ש
. לאור הטענה הקודמת רואים שלא משנה איך נחשב את המטריצה המייצגת, הדטרמיננטה תישאר אותו דבר. ולכן אפשר להגדיר...
הגדרה הדטרמיננטה של העתקה לינארית היא הדטרמיננטה של מטריצה מייצגת (כלשהי).
טענה שימושית העתקה היא הפיכה אם"ם הדטרמיננטה שלה שונה מאפס.
עוד טענה שימושית תהיינה הע"ל. אזי
.