שינויים

*הדטרמיננטה של מטריצה <math>A=\pmatrix{a&b\\ c&d} \in F^{2\times 2}</math> היא <math>det(A)=ad-bc</math>.

4. אם המטריצה משולשית אז הדטרמיננטה= מכפלת אברי האלכסון (להדגים?).~כן בבקשה~

תהי <math>B\in F^{3\times 3}</math> עם דטרמיננטה <math>|B|=-1</math>. מצא את <math>|2B|</math>.

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

 חשב את <math>|A|=\vmatrixbegin{vmatrix}a&1&1&\alpha dots&1\\1&a&1&\dots&1\\1&1&a&\alpha dots &1\\ \vdots & \vdots & \vdots &\dots &\vdots \\ 1 &1&1& \dots & a\ end{vmatrix} </math> פתרוןראשית נסכום את כל השורות לשורה הראשונה ונקבל <math>|A|= \begin{vmatrix}a+n-1&a+n-1&\alpha 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|=(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\alpha\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>? ===תרגיל===נתונה מטריצה ריבועית <math>A\in F^{5\times 5}</math>, משנים את סדר השורות של <math>A</math>באופן הבא: את השורה הראשונה שמים במקום השנייהאת השורה השנייה שמים במקום החמישיתאת השורה החמישית שמים במקום הרביעיתאת השורה הרביעית שמים במקום הראשונה כלומר <math>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>B</math>, בעזרת <math>|A|</math>. פתרון:את המטריצה החדשה אפשר לקבל ע"י רצף החלפות שורה: <math>R_1\leftrightarrow R_2, R_1\leftrightarrow R_4,R_4\leftrightarrow R_5</math>. ולכן <math>|B|=(-1)(-1)(-1)|A|=-|A|</math>. '''הערה''' מכיוון ו<math>|A|=|A^t|</math> מותר בחישוב הדטרמיננטה לעשות גם פעולות ''עמודה'' אלמנטריות, השינוי בדטרמיננטה הוא דומה. ==תרגיל==נתון ש<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>. '''פתרון:'''נשתמש בפעולות שורה ועמודה ונעקוב אחר השינויים בדטרמיננטה: <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)_{i,j}=\left( (-1)^{i+j}|M_{ji}| \right)_{ij}</math>. (שימו לב להחלפה בין <math>i</math> ו<math>j</math>!)  דוגמא? ===המשפט המרכזי===<math>A(adjA)=(adjA)A=|A|I</math> תוצאה: אם <math>A</math> הפיכה אז <math>A^{-1}=\frac{adjA}{|A|}</math>. ===תרגיל===תהי <math>A\in F^{n\times n}</math> מטריצה. 1. הוכח כי <math>|adjA|=|A|^{n-1}</math>. 2. נניח כי המטריצה הפיכה, חשבו את <math>adj \left( adjA \right)</math>. 3. מצאו את <math>adj \left( adjA \right)</math> גם במקרה שהמטריצה אינה הפיכה. פתרון 1. ראשית נניח כי <math>|A|\neq 0</math>, אזי נפעיל דטרמיננטה על שני האגפים: <math>|AadjA|=||A|I|</math> ונקבל <math>|A||adjA|=|A|^n</math> נחלק בדטרמיננטה ואז <math>|adjA|=|A|^{n-1}</math> כדרוש. כעת נניח <math>|A|=0</math> וצריך להוכיח כי <math>|adjA|=0</math>.לפי המשפט <math>(adjA)A=|A|I=0</math>  אם <math>A=0</math> אז ברור ש <math>adjA=0</math> לפי ההגדרה.אחרת, יש איזשהי עמודה של <math>A</math>שהיא לא אפס, <math>C_k(A)</math>. ואז <math>adjA\cdot C_k(A)=0</math> מה שאומר ש<math>adjA</math> לא הפיכה ואז <math>|adjA|=0</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. רמז: לתשובה של סעיף זה ולסעיף הקודם יש קשר הדוק. ===תרגיל===תהי <math>A\in \mathbb{R}^{n\times n}</math>המקיימת <math>(A+I)^2=0</math>. א. הוכיחו כי <math>A</math>הפיכה. ב. הביעו את <math>adjA</math>באמצעות <math>A,I,|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=|A| A^{-1}</math> ולכן בעצם נשאר למצוא ביטוי ל<math>A^{-1}</math>.לפי הסעיף הקודם <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> שווה בשני האגפים. ===תרגיל===תהי <math>A\in \mathbb{Q}^{n\times n}</math> ונתון שהיא הפיכה ב<math>\mathbb{R}^{n\times n}</math> (כלומר שיש מטריצה ''ממשית'' <math>B</math> כך ש <math>AB=BA=I</math>). הוכיחו כי היא הפיכה ב<math>\mathbb{Q}^{n\times n}</math>. '''פתרון:'''מכיוון שמטריצה הפיכה היא יחידה, לא יתכן שב<math>\mathbb{Q}^{n\times n}</math> יש מטריצה הופכית אחרת. כך שבעצם יש להראות ש<math>A^{-1}</math> הממשית היא בעצם עם איברים ב<math>\mathbb{Q}</math>. לפי המשפט <math>A^{-1}=\frac{adjA}{|A|}</math>.<math>|A|\in \mathbb{Q}</math> כי הדטרמיננטה זה סכומים של מכפלות של איברי <math>A</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>. '''פתרון בלי לערב adj סתם:''' נתון ש- <math>|A|\neq 0</math> וכיון ש- <math>|A|\in \mathbb{Q}</math> (דטרמיננטה מתקבלת ממכפלות של איברי המטריצה (עד כדי מינוס אחד) שהינם רציונאליים) אז היא הפיכה גם מעל הרציונאליים. ==דטרמיננטות של העתקות לינאריות==[[צריך???]] '''טענה''' אם <math>A</math>מטריצה ריבועית ו<math>P</math>מטריצה הפיכה, אזי <math>|A|=|PAP^{-1}|</math>. (הוכחה: <math>|PAP^{-1}|=|P||A||P|^{-1}=|A||P||P|^{-1}=|A|</math>). ראינו בעבר שאם <math>A,B</math> הן מטריצות מייצגות של אותה העתקה לינארית <math>T \colon V \rightarrow V</math>אזי יש מטריצה הפיכה <math>P</math>(למעשה מטריצת מעבר בסיסים) כך ש<math>B=PAP^{-1}</math>. לאור הטענה הקודמת רואים שלא משנה איך נחשב את המטריצה המייצגת, הדטרמיננטה תישאר אותו דבר. ולכן אפשר להגדיר... '''הגדרה''' הדטרמיננטה של העתקה לינארית <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>.