אלגברה לינארית 1

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

הליבה: ערכים ווקטורים עצמיים

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

וקטור עצמי: וקטור שאינו וקטור האפס, v, שעבורו קיימת סקלר λ כך ש-Av = λv. כלומר, הפעלת הטרנספורמציה הלינארית המיוצגת על ידי A על v משנה רק את גודלו של v, לא את כיוונו.

ערך עצמי: הסקלר λ המשויך לווקטור עצמי v, המייצג את גורם קנה המידה שבו הווקטור העצמי מוכפל על ידי הטרנספורמציה.

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

מושגי מפתח: הפולינום האופייני ולכסון

הפולינום האופייני וחישוב ערכים עצמיים

כדי למצוא את הערכים העצמיים של מטריצה A, אנו משתמשים בפולינום האופייני. מההגדרה Av = λv נובע ש-Av - λv = 0, כלומר (A - λI)v = 0, כאשר I היא מטריצת היחידה. למערכת זו יש פתרון לא טריוויאלי (v ≠ 0) אם ורק אם המטריצה (A - λI) אינה הפיכה, כלומר הדטרמיננטה שלה שווה לאפס.

פולינום אופייני: הפולינום P(λ) = det(A - λI). שורשיו של פולינום זה הם הערכים העצמיים של המטריצה A.

לאחר מציאת הערכים העצמיים, עבור כל ערך עצמי λ, אנו מוצאים את הווקטורים העצמיים המתאימים על ידי פתרון המערכת (A - λI)v = 0. קבוצת כל הווקטורים העצמיים (יחד עם וקטור האפס) עבור λ נתון מהווה תת-מרחב וקטורי הנקרא המרחב העצמי.

מרחב עצמי: לערך עצמי λ, המרחב העצמי E_λ הוא מרחב הפתרונות של המערכת ההומוגנית (A - λI)v = 0. זהו תת-מרחב המכיל את כל הווקטורים העצמיים המשויכים ל-λ (בתוספת וקטור האפס).

ריבוי אלגברי וריבוי גיאומטרי

לכל ערך עצמי יש שני סוגי ריבויים:

ריבוי אלגברי (m_a(λ))

מספר הפעמים שערך עצמי λ מופיע כשורש של הפולינום האופייני. לדוגמה, אם הפולינום האופייני הוא (λ-2)²(λ-3), אז ל-λ=2 יש ריבוי אלגברי 2, ול-λ=3 יש ריבוי אלגברי 1.

ריבוי גיאומטרי (m_g(λ))

מימד המרחב העצמי E_λ, כלומר, מספר הווקטורים העצמיים הבלתי תלויים לינארית המשויכים ל-λ. תמיד מתקיים 1 ≤ m_g(λ) ≤ m_a(λ).

תנאי לכסינות

מטריצה A בגודל n x n לכסינה אם ורק אם לכל ערך עצמי λ, הריבוי האלגברי שלו שווה לריבוי הגיאומטרי שלו, וסכום הריבויים האלגבריים (או הגיאומטריים) שווה ל-n.

לכסון מטריצות

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

לכסון: תהליך מציאת מטריצה אלכסונית D ומטריצה הפיכה P כך ש-A = PDP⁻¹. העמודות של P הן הווקטורים העצמיים של A, והאיברים באלכסון של D הם הערכים העצמיים המתאימים.

אם מטריצה A היא לכסינה, אז:

העמודות של P הן בסיס של וקטורים עצמיים של A.
האיברים באלכסון של D הם הערכים העצמיים של A, המסודרים באותו סדר כמו הווקטורים העצמיים המתאימים ב-P.

לכסון מאפשר חישובים יעילים של חזקות מטריצה (A^k = PD^kP⁻¹) ופתרון בעיות רבות אחרות.

היבטים חשובים לבחינה: שדה המספרים המרוכבים

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

שאלות לדיון

כיצד קובעים אם מטריצה נתונה היא לכסינה? מהם השלבים המעשיים?
מה המשמעות של מצב שבו הריבוי האלגברי של ערך עצמי גדול מהריבוי הגיאומטרי שלו? האם המטריצה לכסינה במקרה כזה?
הסבירו מדוע מטריצות סימטריות ממשיות תמיד לכסינות מעל R.
תנו דוגמה למטריצה שאינה לכסינה מעל R אך לכסינה מעל C, והסבירו מדוע.
כיצד לכסון מטריצות יכול לסייע בחישוב חזקות גבוהות של מטריצה?

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

הגדירו ערך עצמי ווקטור עצמי והציגו את המשוואה האופיינית (Av = λv).
הסבירו את הפולינום האופייני (det(A - λI) = 0) וכיצד שורשיו מובילים לערכים העצמיים.
הגדירו מרחב עצמי (E_λ = Null(A - λI)) והסבירו כיצד למצוא בסיס עבורו.
הבחינו בין ריבוי אלגברי לריבוי גיאומטרי והציגו את הקשר ביניהם (m_g(λ) ≤ m_a(λ)).
ציינו את התנאי המרכזי לכסינות: מטריצה A בגודל n x n לכסינה אם ורק אם סכום הריבויים הגיאומטריים שווה ל-n, או באופן שקול, לכל ערך עצמי λ, m_g(λ) = m_a(λ).
הסבירו את תהליך בניית המטריצות P ו-D עבור לכסון (A = PDP⁻¹).
הדגישו את חשיבות שדה המספרים המרוכבים (C) כאשר דנים בקיום ערכים עצמיים ולכסינות.

Spotted an error or something missing?