יחידה 8: לכסון מטריצות

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

מהו לכסון מטריצות ולמה הוא חשוב?

לכסון מטריצות הוא תהליך שבו אנו מוצאים מטריצה אלכסונית D הדומה למטריצה נתונה A, ומטריצה הפיכה P כך שמתקיים A = PDP^-1. מטריצה אלכסונית היא מטריצה שכל איבריה מחוץ לאלכסון הראשי הם אפס, והיא קלה מאוד לחישובים, במיוחד העלאה בחזקה. היכולת להפוך מטריצה למטריצה אלכסונית דומה לה היא קריטית בתחומים רבים במדעים ובהנדסה, כולל פתרון מערכות משוואות דיפרנציאליות, ניתוח מערכות דינמיות, גרפיקה ממוחשבת ועוד.

מושגי יסוד בדרך ללכסון

לפני שנוכל ללכסן מטריצה, עלינו להכיר מספר מושגי יסוד:

תנאים ללכסון והליך הלכסון

מטריצה A מסדר n x n ניתנת ללכסון אם ורק אם קיים לה בסיס של וקטורים עצמיים. תנאי שקול לכך הוא שסכום הממדים של כל המרחבים העצמיים שווה ל-n. תנאי זה קשור לשני מושגים חשובים:

מטריצה A ניתנת ללכסון אם ורק אם לכל ערך עצמי λ, הריבוי האלגברי שווה לריבוי הגיאומטרי שלו. בנוסף, סכום הריבויים האלגבריים חייב להיות שווה ל-n.

הליך הלכסון:

1. מצא את הערכים העצמיים: חשב את הפולינום האופייני p(λ) = det(A - λI) והשווה אותו לאפס כדי למצוא את הערכים העצמיים λ₁, λ₂, ..., λ_k.
2. מצא את הווקטורים העצמיים: לכל ערך עצמי λ_i, מצא בסיס למרחב העצמי E_λi על ידי פתרון המערכת (A - λ_iI)x = 0. וקטורים אלו יהיו הווקטורים העצמיים.
3. בדוק תנאי לכסינות: ודא שלכל ערך עצמי, הריבוי האלגברי שווה לריבוי הגיאומטרי. אם לא, המטריצה אינה לכסינה.
4. בנה את המטריצות P ו-D:
   • המטריצה D תהיה מטריצה אלכסונית שבה איברי האלכסון הם הערכים העצמיים (כל ערך עצמי מופיע כמספר הפעמים השווה לריבוי האלגברי/גיאומטרי שלו).
   • המטריצה P תהיה מטריצה שהעמודות שלה הן הווקטורים העצמיים שמצאת, מסודרים באותו סדר כמו הערכים העצמיים במטריצה D.
5. וודא: A = PDP^-1.

יישומים נפוצים ונקודות למחשבה

חישוב חזקות של מטריצות:

אחד היישומים המרכזיים של לכסון הוא חישוב חזקות גבוהות של מטריצות. אם A = PDP^-1, אז A^k = (PDP^-1)^k = PD^kP^-1. חישוב D^k הוא פשוט מאוד, שכן אם D היא אלכסונית, אז D^k היא מטריצה אלכסונית שאיברי האלכסון שלה הם חזקות k של איברי האלכסון המקוריים של D.

נקודות למחשבה:

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

שאלות לדיון

• תאר את הקשר בין לכסון מטריצה למציאת בסיס של וקטורים עצמיים.
• הסבר מדוע מטריצה שאינה לכסינה אינה יכולה להיות בעלת בסיס של וקטורים עצמיים.
• כיצד היית משתמש בלכסון מטריצות כדי לחשב את A¹⁰⁰ עבור מטריצה A נתונה?
• האם מטריצה משולשית עליונה תמיד לכסינה? נמק.

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

• לכסון ובסיס וקטורים עצמיים: מטריצה לכסינה אם ורק אם קיים בסיס למרחב כולו המורכב מווקטורים עצמיים שלה. מטריצה P המלכסנת את A מורכבת מעמודות שהן וקטורים עצמיים אלו.
• מטריצה לא לכסינה: אם מטריצה אינה לכסינה, פירוש הדבר שלא ניתן למצוא בסיס שלם של וקטורים עצמיים. זה קורה כאשר עבור לפחות ערך עצמי אחד, הריבוי הגיאומטרי קטן מהריבוי האלגברי.
• חישוב A¹⁰⁰: אם A לכסינה, A = PDP^-1. לכן, A¹⁰⁰ = PD¹⁰⁰P^-1. D¹⁰⁰ קלה לחישוב (העלאת איברי האלכסון בחזקה 100).
• מטריצה משולשית עליונה: לא בהכרח. הערכים העצמיים של מטריצה משולשית הם איברי האלכסון הראשי שלה. אם יש ערך עצמי עם ריבוי אלגברי גדול מ-1, יש לבדוק את הריבוי הגיאומטרי. אם הוא קטן מהאלגברי, המטריצה אינה לכסינה. דוגמה נגדית: מטריצת ז'ורדן.