88-112 לינארית 1 תיכוניסטים קיץ תשעא/מערך תרגול/2
שיעור שני
אלגברת מטריצות
הגדרה: האיבר הij בכפל AB מוגדר להיות
ניתן לבצע את הכפל AB אם"ם מספר העמודות של A זהה למספר השורות של B (ונקרא n בנוסחא למעלה). אמנם פעולת הכפל נראית משונה, אך נראה בהמשך כי היא משמעותית למדי.
באופן כללי, כפל מטריצות אינו חייב להיות חילופי. כלומר, לא תמיד AB=BA !!
תרגיל 3.4 ג-ז
נתונה מערכת של m משוואות בn נעלמים: Ax=b (זה זמן טוב לראות דוגמא ראשונה של המשמעות של כפל מטריצות). נסמן ב את קבוצת הפתרונות של המערכת ההומוגנית המתאימה, וב
את קבוצת הפתרונות של המערכת הלא-הומוגנית. הוכח את הטענות הבאות:
ג
אם L אינה קבוצה ריקה, אזי כמות הפתרונות בH שווה לכמות הפתרונות בL
פתרון
נוכיח את הטענה על ידי יצירת פונקציה חח"ע ועל בין H לבין L. יהיה כלשהו (הקיים לפי הנתון). נביט בהעתקה
המוגדרת ע"י
. יש להוכיח כי זו אכן פונקציה מוגדרת היטב (כלומר, y-x הוא פתרון של המערכת ההומוגנית) ואז יש להראות כי זה פונקציה חח"ע ועל.
דבר ראשון, נבדוק האם y-x הינו פתרון של המערכת ההומוגנית. כפי שרצינו.
דבר שני, נניח כי לכן ברור ש
(במילים, לכל שני פתרונות שונים מL מתאימים שני פתרונות שונים בH).
דבר שלישי, נראה כי לכל פתרון y בH, יש פתרון בL הנשלח אליו. פתרון זה הינו כמובן y+x שכן .
לכן סה"כ הראנו כי לכל פתרון בL מתאים פתרון יחיד בH ולכן הקבוצות הנ"ל הן באותו גודל.
ד
מצא מקרה שבו אין פתרונות למערכת הלא הומוגנית, אך יש פתרון יחיד למערכת ההומוגנית
פתרון
נביט במטריצה ובוקטור הפתרונות
. במערכת Ax=b ישנה שורת סתירה, ולכן אין לה פתרונות, ואילו למערכת ההומוגנית יש פתרון יחיד (0,0).
ה
מצא מקרה שבו אין פתרונות למערכת הלא הומוגנית, אך יש אינסוף פתרונות למערכת ההומוגנית
פתרון
נביט במטריצה ובוקטור הפתרונות
. במערכת Ax=b מעל הממשיים ישנה שורת סתירה, ולכן אין לה פתרונות, ואילו למערכת ההומוגנית יש אינסוף פתרונות.
ו
מצא מקרה שבו אין פתרונות למערכת הלא הומוגנית, אך יש 7 פתרונות למערכת ההומוגנית
פתרון
נביט במטריצה ובוקטור הפתרונות
. במערכת Ax=b מעל השדה
ישנה שורת סתירה, ולכן אין לה פתרונות, ואילו למערכת ההומוגנית יש 7 פתרונות מכיוון שיש משתנה חופשי יחיד.
ז
נתון שמספר המשוואות זהה למספר הנעלמים. עוד נתון שאין פתרונות למערכת הלא-הומוגנית. מה ניתן לומר על מספר הפתרונות של המערכת ההומוגנית?
פתרון
נדרג את המטריצה A. מכיוון שאין פתרונות למערכת הלא-הומוגנית, חייבת להיות בצורה המדורגת של A שורת אפסים (אחרת יש אותו מספר של איברים מובילים ושל משתנים ולכן אין משתנים חופשיים וכל משתנה נקבע באופן יחיד על ידי וקטור הפתרונות). מכיוון שיש שורת אפסים בצורה המדורגת, יש משתנה חופשי ולכן יש יותר מפתרון אחד למערכת ההומוגנית (מספר הפתרונות הוא מספר האיברים בשדה בחזקה מספר המשתנים החופשיים, ובכל שדה יש לפחות שני איברים שונים).
סוגים שונים של כפל מטריצות
בנוסף לכפל הרגיל, חשוב מאד לדעת גם כפל-שורה וכפל-עמודה:
נביט במטריצה ששורותיה הן
, ונביט בוקטור השורה
. מתקיים ש
. במילים - הכפל של השורה x במטריצה A הינה סכום של שורות A כפול הקבועים מהשורה x. נובע בקלות שהשורה ה-j בכפל AB הינה סכום שורות B כפול הקבועים המתאימים מהשורה ה-j של A. למעשה זהו מקרה פרטי של הכפל הרגיל BA עבור מטריצה B=x מגודל 1על n ומטריצה A מגודל n על m, ולכן התוצאה שנקבל היא מטריצה 1 על m הלא הוא וקטור שורה.
באופן דומה, נביט במטריצה שעמותודיה הן
, ונביט בוקטור העמודה
. מתקיים ש
. במילים - הכפל של מטריצה בעמודה שווה לסכום עמודות המטריצה כפול הקבועים מהעמודה. נובע בקלות שהעמודה ה-j בכפל AB שווה לסכום עמודות A כפול הקבועים המתאימים מהעמודה ה-j של B. שימו לב שמערכת משוואות הינה מקרה פרטי של כפל-עמודה. למעשה זהו מקרה פרטי של הכפל הרגיל AB עבור מטריצה A מגודל n על m ומטריצה B=x מגודל m על 1, ולכן התוצאה שנקבל היא מטריצה n על 1 הלא הוא וקטור עמודה כפי שאכן מתקבל במערכת משוואות.
מטריצת בלוקים. מטריצה בלוקים הינה מטריצה הבנוייה ממספר מטריצות קטנות יותר (המכונות בלוקים). לדוגמא, ניקח את המטריצה . אזי מטריצת הבלוקים מוגדרת להיות
משפט: לכל שלש מטריצות A,B,C כך שהכפל מוגדר, מתקיים ש כלומר כפל C במטריצת הבלוקים, הוא מטריצה הבלוקים המורכבת מהכפל של C בכל בלוק.
הוכחה: נובע בקלות מכפל-עמודה המוזכר לעיל.
תרגיל 3.7
תהא מערכת Ax=b, יהיה v פתרון למערכת הלא-הומוגנית ו-w פתרון למערכת ההומוגנית Ax=0. נגדיר חשב את AB
פתרון
לפי כפל מטריצות בלוקים קל לוודא ש
שחלוף וסימטריות
הגדרה: תהי מטריצה . אזי המטריצה המשוחלפת
מוגדרת ע"י
. כלומר, האיבר בשורה ה-i והעמודה ה-j של המטריצה המשוחלפת הוא האיבר בשורה ה-j והעמודה ה-i של המטריצה המקורית - הפכנו את השורות לעמודות, ואת העמודות לשורות.
דוגמא: אם אזי
הגדרה: מטריצה נקראת סימטרית אם היא שווה למשוחלפת של עצמה; כלומר (השורות והעמודות שלה זהות). מטריצה נקראת אנטי-סימטרית אם
תכונות:
- לכל שתי מטריצות A,B עבורן הכפל מוגדר, מתקיים
.
- לכל שתי מטריצות מאותו סדר A,B מתקיים
- לכל מטריצה A ולכל קבוע מהשדה c מתקיים ש
תרגיל 4.4
א. הוכח שלכל מטריצה המטריצה
הינה סימטרית.
ב. הוכח שלכל מטריצה ריבועית A מתקיים שהמטריצה סימטרית, ואילו המטריצה
אנטי סימטרית.
פתרון
א. נסמן . לפי התכונות לעיל קל לראות ש
והוכחנו שהמטריצה סימטרית.
ב. (הרי חיבור מטריצות הוא חילופי). כמו כן,
כפי שרצינו.
תרגיל 4.5
א. תהי A מטריצה ריבועית ממשית (כלומר שאיבריה משדה הממשיים) אנטי סימטרית. הוכח שכל איברי האלכסון שלה שווים לאפס. ב. האם הטענה נכונה למטריצות ריבועיות אנטי סימטריות מעל שדות אחרים? אפיין בדיוק את השדות מעליהם הטענה נכונה
פתרון
נביט באיבר אלכסון . מתוך אנטי סימטריות מתקיים ש
(החלפנו את השורה והעמודה, מכיוון שהן שוות קיבלנו בדיוק את אותו האיבר).
לפי תכונות השדה שלמדנו, ניתן לחבר לשני האגפים את הנגדי ולקבל . ולכן
. מכיוון שבשדה אין מחלקי אפס, יש שתי אפשרויות:
לכן, בכל שדה ממאפיין שונה מ-2 (כלומר סכום שתי אחדות אינו אפס) קל לראות שאיברי האלכסון חייבים להיות אפס. לעומת זאת, בכל שדה ממאפיין שתים קל לראות שהמטריצה הינה אנטי סימטרית שכן אם
נובע ש
ולכן מתקיים ש
. כמו כן, ברור שאיברי האלכסון של המטריצה הנ"ל שונים מאפס.
מטריצות ריבועיות
הגדרה: העקבה (trace) של מטריצה ריבועית הינה סכום איברי האלכסון של המטריצה.
תכונות:
הגדרה: מטריצת היחידה הינה המטריצה שעל האלכסון שלה יש אחדות, ואפס בכל מקום אחר. לכל מטריצה ריבועית A מתקיים AI=IA=A.
תרגיל 5.10 וחצי
הוכח שלא קיימות מטריצות ריבועיות ממשיות כך ש . האם הדבר נכון לכל שדה?
פתרון
נפעיל עקבה על שני האגפים, ונקבל מצד אחד ומצד שני
. מעל הממשיים סכום אחדות לעולם אינו מתאפס ולכן השיוויון הנ"ל לא ייתכן.
מעל שדה עם מאפיין סופי השיוויון אפשרי, לדוגמא מעל עבור המטריצות
מתקיים ש
(מכיוון ש
).
תרגיל 5.11
א. תהא A מטריצה ממשית כך ש הוכח ש-A הינה מטריצת האפס.
ב. תהא A מטריצה מרוכבת כך ש הוכח ש-A הינה מטריצת האפס. (
)
פתרון
א. נסמן ב את השורה ה-i של המטריצה A וב
את העמודה ה-i של המטריצה A. מכיוון שהמטריצה המשוחלפת מתקבלת על ידי החלפת שורות ועמודות של המטריצה המקורית תמיד מתקיים ש
(השחלוף החיצוני הינו על מנת להפוך את וקטור השורה לוקטור עמודה).
כמו כן, נשים לב שבכפל מטריצות מתקיים תמיד .
כעת,
נשים לב שבאופן כללי, בהנתן מתקיים ש
.
ביחד ניתן להסיק ש שווה לסכום הריבועים של כל איברי המטריצה. מכיוון שריבוע גדול או שווה לאפס, מתקיים שסכום ריבועים הוא אפס אם"ם כל האיברים הם אפס, ולכן המטריצה הינה מטריצת האפס.
ב. עבור המרוכבים ההוכחה הינה דומה, פשוט מקבלים עבור וקטור מרוכב כללי מתקיים ש
ואז בעזרת טענה דומה מקבלים שכל איברי המטריצה הינם אפס.
מטריצות הפיכות
הגדרה: מטריצה A נקראת הפיכה אם קיימת מטריצה B כך ש . במקרה זה, מטריצה B נקראת ההופכית של A ומסומנת
.
תכונות:
- מטריצה הפיכה היא בהכרח ריבועית
- אם A ריבועית ו
אזי גם
וB הינה ההופכית של A
תרגיל 6.1 וחצי
הוכח שאם A הפיכה גם המשוחלפת שלה הפיכה ומתקיים ש . הסק שאם A הפיכה וסמטרית אזי גם ההופכית שלה סימטרית.
פתרון
נניח A הפיכה, אזי קיימת לה הופכית כך ש . נשחלף את שני האגפים ונקבל
ומכאן המש"ל כיוון שA ריבועית וכך גם המשוחלפת שלה.
אם A הפיכה וסימטרית מתקיים כלומר ההופכית גם סימטרית.
מטריצות אלמנטריות
דיברנו כבר על פעולות שורה אלמנטריות כאשר דיברנו על פעולות שלא משנות את מרחב הפתרונות של המערכת המתאימה למטריצה. נזכיר מהן פעולות השורה האלמנטריות:
-
-
, כאשר
-
כאשר
פעולת שורה היא למעשה פונקציה שניתן להפעיל על כל מטריצה. למשל נסמן את פעולת השורה באות
אזי מתקיים לדוגמא:
מטריצות אלמנטריות
מטריצת שורה אלמנטרית היא מטריצה המתקבלת מהפעלת פעולת שורה אלמנטרית על מטריצת היחידה.
משפט: לכל מטריצה A מתקיים ש .
כלומר, הפעלת פעולת שורה אלמנטרית שקולה לכפל במטריצת השורה האלמנטרית המתאימה.
יש משפט והגדרה דומים עבור מטריצות עמודה אלמנטריות עם כפל בצד השני. כמו כן, כל מטריצת שורה אלמנטרית הינה מטריצת עמודה אלמנטרית עבור פעולה מתאימה. מטריצות אלה נקראות ביחד מטריצות אלמנטריות.
מסקנה - אלגוריתם למציאת מטריצה הופכית
דירוג מטריצה שקול לכפל במטריצות אלמנטריות המתאימות לפעולות הדירוג. לכן, אם דירגנו מטריצה ריבועית לצורת מטריצה היחידה קיבלנו ולפיכך מתקיים שהמטריצה A הפיכה וההופכית שלה הינה
.
אם נדרג קנונית את מטריצת הבלוקים נקבל מטריצה מהצורה
(שכן לפי כפל מטריצת בלוקים, כפל במטריצה האלמנטרית מופעל במקביל על כל אחד מהבלוקים). לכן כאשר אנחנו מדרגים את
עד שנקבל את מטריצת היחידה משמאל, מימין נקבל את המטריצה ההופכית
.