ברוכים הבאים לשיעור עצמאי זה ביחידת "מטריצות" בקורס אלגברה לינארית 1 (20109). בשיעור זה נצלול לעומקם של שלושה מושגי יסוד קריטיים להבנת מטריצות ויישומיהן: כפל מטריצות, מטריצה הופכית ודרגת מטריצה. שליטה במושגים אלו חיונית להצלחה בקורס ובהבנת תחומי מתמטיקה ומדע רבים. נתמקד בהגדרות, תכונות, שיטות חישוב וקשרים הדדיים, תוך דגש על היבטים חשובים לבחינה.
כפל מטריצות: הבסיס לפעולות מתקדמות
כפל מטריצות הוא פעולה מרכזית באלגברה לינארית, המאפשרת לבצע טרנספורמציות לינאריות מורכבות. בניגוד לכפל סקלרי, כפל מטריצות דורש תנאי התאמה מיוחדים ואינו קומוטטיבי.
תנאי הכפל ומימדי המטריצה התוצאתית
אם A היא מטריצה מסדר m x n ו-B היא מטריצה מסדר n x p, אזי המכפלה AB מוגדרת והיא מטריצה מסדר m x p. אם n אינו זהה, המכפלה אינה מוגדרת.
תכונות חשובות של כפל מטריצות
אסוציאטיביות
לכל מטריצות A, B, C עבורן הכפל מוגדר: (AB)C = A(BC). סדר הפעולות אינו משנה את התוצאה.
דיסטריבוטיביות
לכל מטריצות A, B, C עבורן הכפל מוגדר: A(B+C) = AB + AC וגם (A+B)C = AC + BC.
אי-קומוטטיביות
באופן כללי, AB ≠ BA. גם אם שתי המכפלות מוגדרות, הן אינן בהכרח שוות. זוהי נקודה קריטית המבדילה כפל מטריצות מכפל מספרים.
מטריצה הופכית: המפתח לפתרון מערכות לינאריות
מושג המטריצה ההופכית מאפשר לנו "לחלק" במטריצות, בדומה לחלוקה במספרים ממשיים. הוא קריטי לפתרון מערכות משוואות לינאריות ולביצוע טרנספורמציות הפיכות.
תנאי קיום ושיטת חישוב
מטריצה הופכית קיימת רק עבור מטריצות ריבועיות מסוימות, הנקראות מטריצות הפיכות (או רגולריות). מטריצה היא הפיכה אם ורק אם הדטרמיננטה שלה שונה מאפס (מושג שיורחב בהמשך), או באופן שקול, אם ורק אם דרגתה שווה לסדר שלה.
אחת השיטות הנפוצות למציאת מטריצה הופכית היא באמצעות דירוג מטריצות: בונים מטריצה מורחבת [A | I] ומדרגים אותה לצורת מדרגות קנונית. אם הצד השמאלי הופך למטריצת היחידה I, אזי הצד הימני יהיה A-1. כלומר, [A | I] ~ [I | A-1].
דרגת מטריצה: מדד לעצמאות לינארית
דרגת מטריצה היא מושג יסוד המבטא את "עושרה" של המטריצה במידע לינארי. היא קשורה קשר הדוק לעצמאות לינארית של שורות ועמודות המטריצה, ומשפיעה על קיום וייחודיות פתרונות למערכות לינאריות.
חישוב דרגה ומשמעותה
כדי למצוא את דרגת המטריצה A, יש לדרג אותה לצורת מדרגות (או צורת מדרגות קנונית) באמצעות פעולות שורה אלמנטריות. מספר השורות שאינן שורות אפסים במטריצה המדורגת הוא הדרגה.
קשרים בין דרגה, הפיכות ופתרונות
דרגה ומטריצה הפיכה
מטריצה ריבועית A מסדר n x n היא הפיכה אם ורק אם דרגתה שווה ל-n (כלומר, rank(A) = n).
דרגה ופתרונות למערכת Ax=b
מערכת Ax=b בעלת פתרון אם ורק אם rank(A) = rank([A|b]). אם בנוסף rank(A) = מספר הנעלמים, קיים פתרון יחיד. אם rank(A) < מספר הנעלמים, קיימים אינסוף פתרונות.
דרגה ומרחבי המטריצה
דרגת המטריצה שווה למימד מרחב השורות (Row Space) ושווה למימד מרחב העמודות (Column Space).
שאלות לדיון
- כיצד משפיעה אי-הקומוטטיביות של כפל מטריצות על הדרך שבה אנו פותרים בעיות באלגברה לינארית, בהשוואה למספרים ממשיים?
- מהם כל התנאים השקולים לכך שמטריצה ריבועית A מסדר n x n היא הפיכה? ציין לפחות שלושה קריטריונים הקשורים למושגים שלמדנו.
- הסבר את הקשר בין דרגת מטריצה לבין מספר הפתרונות של מערכת משוואות לינאריות הומוגנית Ax=0.
- האם מטריצה לא ריבועית יכולה להיות בעלת דרגה מלאה? אם כן, מה המשמעות של דרגה מלאה במקרה זה?
נקודות לתשובת מודל
- אי-קומוטטיביות: מחייבת הקפדה על סדר הכפל (AB אינו בהכרח BA), מונעת "צמצום" פשוט כמו במספרים, ומשפיעה על הגדרת המטריצה ההופכית (AB=BA=I).
- תנאים שקולים להפיכות:
- קיימת מטריצה A-1 כך ש-AA-1 = A-1A = I.
- rank(A) = n (דרגת המטריצה שווה לסדר שלה).
- צורת המדרגות הקנונית של A היא מטריצת היחידה In.
- למערכת Ax=b יש פתרון יחיד לכל b.
- למערכת ההומוגנית Ax=0 יש רק את הפתרון הטריוויאלי (x=0).
- דרגה ופתרונות למערכת הומוגנית: דרגת המטריצה A קובעת את מימד מרחב הפתרונות של Ax=0. מספר המשתנים החופשיים הוא n - rank(A). אם rank(A) = n, קיים רק הפתרון הטריוויאלי. אם rank(A)
- דרגה מלאה למטריצה לא ריבועית: כן, מטריצה לא ריבועית יכולה להיות בעלת דרגה מלאה. המשמעות היא שהדרגה שלה שווה למינימום מבין מספר השורות ומספר העמודות שלה (rank(A) = min(m, n)).
- אם m
- אם m > n (יותר שורות מעמודות), דרגה מלאה משמעותה שכל העמודות בלתי תלויות לינארית, ו-rank(A) = n.