88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול/11
תוכן עניינים
דטרמיננטות
הגדרה הדטרמיננטה של מטריצה ריבועית היא סקלר המחושב מסכומים של מכפלות של אברי המטריצה.
חישוב דטרמיננטה של מטריצות קטנות
- הדטרמיננטה של מטריצה מסדר 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. נניח כי המטריצה הפיכה, חשבו את .
פתרון
1. ראשית נניח כי , אזי נפעיל דטרמיננטה על שני האגפים: ונקבל נחלק בדטרמיננטה ואז כדרוש.
כעת נניח וצריך להוכיח כי . לפי המשפט
אם אז ברור ש לפי ההגדרה. אחרת, יש איזשהי עמודה של שהיא לא אפס, . ואז מה שאומר ש לא הפיכה ואז .
2. נשתמש במשפט עבור המטריצה , אזי . ולפי הסעיף הקודם נקבל ש. ומכיוון ו אז .
תרגיל
תהי המקיימת .
א. הוכיחו כי הפיכה.
ב. הביעו את באמצעות בלבד.
פתרון:
א. נפתח ונקבל נעביר אגפים ונקבל ולכן הפיכה.
ב.לפי המשפט ולכן בעצם נשאר למצוא ביטוי ל. לפי הסעיף הקודם ולכן .
תרגיל
יהיו A,B ריבועיות (מגודל ׂ. הוכיחו כי
פתרון:
מקרה 1: גם A וגם B הפיכות: מקרה פשוט - מוזמנים להוכיח בעזרת המשפט
מקרה 2: A או B מדרגה קטנה שווה ל : גם מקרה פשוט לאור העובדה שעבור מטריצה A שדרגתה קטנה שווה ל מתקיים כי ובנוסף
מקרה 3 - אחרת: יהיו i,j נתונים. השתכנעו כי ניתן להגדיר מטריצה כך שהיא זהה ל A פרט אולי לשורה i ומטריצה שזהה למטריצה B פרט אולי לעמודה j המקיימות כי: או ש וגם הפיכות או ש או מדרגה קטנה שווה ל .
בכל מקרה לפי מקרה1 ומקרה 2 נסיק כי . סיום ההוכחה נובע מכך ש:
ולכן המיקום שווה בשני האגפים.
תרגיל
תהי ונתון שהיא הפיכה ב (כלומר שיש מטריצה ממשית כך ש ). הוכיחו כי היא הפיכה ב.
פתרון: מכיוון שמטריצה הפיכה היא יחידה, לא יתכן שב יש מטריצה הופכית אחרת. כך שבעצם יש להראות ש הממשית היא בעצם עם איברים ב.
לפי המשפט . כי הדטרמיננטה זה סכומים של מכפלות של איברי שהם רציונליים. כי האיברים הם שהם גם רציונלים (כמו קודם). סה"כ קיבלנו .
פתרון בלי לערב adj סתם: נתון ש- וכיון ש- (דטרמיננטה מתקבלת ממכפלות של איברי המטריצה (עד כדי מינוס אחד) שהינם רציונאליים) אז היא הפיכה גם מעל הרציונאליים.
דטרמיננטות של העתקות לינאריות
טענה אם מטריצה ריבועית ומטריצה הפיכה, אזי .
(הוכחה: ).
ראינו בעבר שאם הן מטריצות מייצגות של אותה העתקה לינארית אזי יש מטריצה הפיכה (למעשה מטריצת מעבר בסיסים) כך ש. לאור הטענה הקודמת רואים שלא משנה איך נחשב את המטריצה המייצגת, הדטרמיננטה תישאר אותו דבר. ולכן אפשר להגדיר...
הגדרה הדטרמיננטה של העתקה לינארית היא הדטרמיננטה של מטריצה מייצגת (כלשהי).
טענה שימושית העתקה היא הפיכה אם"ם הדטרמיננטה שלה שונה מאפס.
עוד טענה שימושית תהיינה הע"ל. אזי .