יחידה 2: מטריצות ופעולות עליהן

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

יסודות המטריצות ופעולות בסיסיות

מטריצה היא מבנה מלבני של מספרים (או איברים משדה כלשהו) המסודרים בשורות ובעמודות. היא מהווה כלי רב עוצמה לייצוג נתונים וטרנספורמציות לינאריות.

הגדרת מטריצה וסימונה

גודל המטריצה הוא m x n. מטריצה שבה m=n נקראת מטריצה ריבועית.

פעולות בסיסיות על מטריצות

• חיבור מטריצות: אפשרי רק בין מטריצות בעלות אותו גודל. החיבור מתבצע איבר-איבר.
• כפל בסקלר: כפל של מטריצה במספר (סקלר) מתבצע על ידי כפל כל איבר במטריצה בסקלר.

כפל מטריצות וייצוג מערכות לינאריות

כפל מטריצות היא פעולה מורכבת יותר, אך היא המפתח לייצוג קומפקטי של מערכות לינאריות.

כפל מטריצות

כפל של מטריצה A בגודל m x p במטריצה B בגודל p x n מניב מטריצה C בגודל m x n. האיבר C_ij מתקבל כמכפלה סקלרית של השורה ה-i של A בעמודה ה-j של B. חשוב לזכור כי כפל מטריצות אינו קומוטטיבי (AB ≠ BA באופן כללי).

ייצוג מערכות משוואות לינאריות

ניתן לייצג כל מערכת לינארית בצורה מטריציונית קומפקטית: Ax = b.

פתרון מערכות לינאריות: שיטת גאוס וגאוס-ז'ורדן

שיטות אלו הן הכלים המרכזיים לפתרון מערכות לינאריות, והן נבחנות רבות במבחנים.

פעולות שורה אלמנטריות

אלו הן הפעולות המותרות על שורות של מטריצה, שאינן משנות את קבוצת הפתרונות של המערכת המיוצגת:

• החלפת שתי שורות.
• כפל שורה בסקלר שאינו אפס.
• הוספת כפולה של שורה אחת לשורה אחרת.

דירוג מטריצות (שיטת גאוס)

שיטת גאוס כוללת ביצוע פעולות שורה אלמנטריות על המטריצה המורחבת (A|b) עד לקבלת צורה מדורגת. לאחר מכן, ניתן לפתור את המערכת באמצעות הצבה לאחור.

דירוג קנוני (שיטת גאוס-ז'ורדן)

שיטת גאוס-ז'ורדן ממשיכה את הדירוג עד לצורה מדורגת קנונית, ממנה ניתן לקרוא את הפתרון ישירות.

המטריצה ההפוכה ופתרון מערכות

עבור מערכות ריבועיות מסוימות, ניתן להשתמש במטריצה ההפוכה לפתרון.

הגדרת מטריצה הפיכה

מטריצה הפיכה אם ורק אם הדטרמיננטה שלה שונה מאפס, או אם ורק אם צורתה המדורגת קנונית היא מטריצת היחידה.

מציאת המטריצה ההפוכה

ניתן למצוא את A⁻¹ באמצעות שיטת גאוס-ז'ורדן: מדרגים את המטריצה המורחבת [A|I] עד שצד שמאל הופך ל-I. אז, צד ימין יהיה A⁻¹.

פתרון מערכות באמצעות המטריצה ההפוכה

אם A הפיכה, למערכת Ax=b יש פתרון יחיד הנתון על ידי x = A⁻¹b. שיטה זו יעילה במיוחד כאשר יש לפתור מספר מערכות עם אותה מטריצת מקדמים A אך עם וקטורי קבועים b שונים.

שאלות לדיון

• כיצד ניתן לזהות ממטריצה מדורגת (REF) אם למערכת משוואות לינאריות יש פתרון יחיד, אינסוף פתרונות, או שאין לה פתרון כלל? תנו דוגמה לכל מקרה.
• הסבירו את היתרונות והחסרונות של שיטת גאוס לעומת שיטת גאוס-ז'ורדן לפתרון מערכת לינארית. באילו מצבים תעדיפו כל אחת מהן?
• האם כל מטריצה ריבועית היא הפיכה? אם לא, מהם התנאים ההכרחיים והמספיקים לכך שמטריצה ריבועית תהיה הפיכה?
• כיצד משתנה ייצוג מטריציוני של מערכת לינארית כאשר מוסיפים משוואה חדשה למערכת?

נקודות לתשובת מודל

• זיהוי סוגי פתרונות:
  • אין פתרון: שורת אפסים במטריצת המקדמים המורחבת שווה לקבוע שאינו אפס בוקטור הקבועים (לדוגמה: [0 0 | 5]).
  • פתרון יחיד: אין שורות אפסים כאמור, ואין משתנים חופשיים (כל עמודה במטריצת המקדמים המדורגת מכילה איבר מוביל).
  • אינסוף פתרונות: אין שורות אפסים כאמור, וישנם משתנים חופשיים (קיימות עמודות ללא איבר מוביל).
• השוואת גאוס וגאוס-ז'ורדן:
  • גאוס (REF): מהירה יותר לדירוג, דורשת הצבה לאחור. יעילה כאשר רק רוצים לדעת אם קיים פתרון או למצוא אותו במהירות.
  • גאוס-ז'ורדן (RREF): דורשת יותר פעולות שורה, אך הפתרון נקרא ישירות. שימושית במיוחד למציאת מטריצה הפוכה או כאשר נדרשת צורה קנונית.
• תנאים למטריצה הפיכה: לא כל מטריצה ריבועית הפיכה. תנאים שקולים: דטרמיננטה שונה מאפס, צורה מדורגת קנונית היא מטריצת היחידה, עמודותיה (או שורותיה) בלתי תלויות לינארית, למערכת Ax=0 יש רק את הפתרון הטריוויאלי.
• הוספת משוואה: הוספת משוואה למערכת לינארית משמעותה הוספת שורה חדשה למטריצת המקדמים המורחבת (A|b). הדבר יכול לשנות את מספר הפתרונות (לצמצם אותם או להפוך מערכת עם אינסוף פתרונות לכזו עם פתרון יחיד, או אף למערכת ללא פתרון).