Linear Algebra 2 Notes 2024B - Anat Amir PDF

Summary

These are course notes for a Linear Algebra 2 course, from the 2024 Fall semester taught by Anat Amir. The notes contain topics on polynomial, linear transformations, and matrices, which are useful to advanced undergraduate students of mathematics.

Full Transcript

‫רשימות קורס | לינארית ‪2‬‬ ‫‪ 2024‬סמסטר ב'‬ ‫ענת אמיר‬ ‫נכתב ע“י ע‪.‬מילוא | תיקונים‪ :‬ר‪.‬זהות‪ ,‬ש‪.‬לוי‪ ,‬ע‪.‬בר אילן‬...

‫רשימות קורס | לינארית ‪2‬‬ ‫‪ 2024‬סמסטר ב'‬ ‫ענת אמיר‬ ‫נכתב ע“י ע‪.‬מילוא | תיקונים‪ :‬ר‪.‬זהות‪ ,‬ש‪.‬לוי‪ ,‬ע‪.‬בר אילן‬ ‫תוכן העניינים‬ ‫‪3‬‬ ‫‪ 28.5‬הרצאה ‪1‬‬ ‫‪3‬‬ ‫פולינומים ‪....................................................‬‬ ‫‪4‬‬ ‫תחום שלמות ‪...................................................‬‬ ‫‪7‬‬ ‫‪ 30.5‬הרצאה ‪2‬‬ ‫‪7‬‬ ‫עוד פולינומים ‪..................................................‬‬ ‫‪11‬‬ ‫‪ 04.6‬הרצאה ‪3‬‬ ‫‪11‬‬ ‫לכסון ‪......................................................‬‬ ‫‪16‬‬ ‫‪ 06.6‬הרצאה ‪4‬‬ ‫‪16‬‬ ‫הפולינום האופייני ‪................................................‬‬ ‫‪20‬‬ ‫‪ 12.6‬הרצאה ‪5‬‬ ‫‪20‬‬ ‫משפט קיילי‪-‬המילטון ‪...............................................‬‬ ‫‪25‬‬ ‫‪ 18.06‬הרצאה ‪6‬‬ ‫‪25‬‬ ‫הפולינום המינימלי ‪................................................‬‬ ‫‪31‬‬ ‫‪ 20.06‬הרצאה ‪7‬‬ ‫‪31‬‬ ‫משפט הפירוק הפרימרי ‪.............................................‬‬ ‫‪34‬‬ ‫‪ 25.06‬הרצאה ‪8‬‬ ‫‪34‬‬ ‫מרחבים פריקים )ובעיקר אי‪-‬פריקים( ‪.......................................‬‬ ‫‪37‬‬ ‫משפט ז'ורדן ‪...................................................‬‬ ‫‪39‬‬ ‫‪ 27.06‬הרצאה ‪9‬‬ ‫‪39‬‬ ‫עוד קצת ז'ורדן ‪.................................................‬‬ ‫‪1‬‬ ‫‪45‬‬ ‫‪ 02.07‬הרצאה ‪10‬‬ ‫‪45‬‬ ‫תבניות בילינאריות ‪................................................‬‬ ‫‪50‬‬ ‫‪ 04.07‬הרצאה ‪11‬‬ ‫‪50‬‬ ‫תבניות ריבועיות ‪.................................................‬‬ ‫‪57‬‬ ‫‪ 09.07‬הרצאה ‪12‬‬ ‫‪57‬‬ ‫עוד קצת תבניות בילינאריות ‪...........................................‬‬ ‫‪58‬‬ ‫מכפלות פנימיות ‪.................................................‬‬ ‫‪64‬‬ ‫‪ 11.07‬הרצאה ‪13‬‬ ‫‪64‬‬ ‫אורתוגונליות )או מ“פ ‪ -‬המשך( ‪.........................................‬‬ ‫‪70‬‬ ‫‪ 16.07‬הרצאה ‪14‬‬ ‫‪70‬‬ ‫היטל אורתוגונלי ‪.................................................‬‬ ‫‪72‬‬ ‫העתקות צמודות לעצמן ‪.............................................‬‬ ‫‪76‬‬ ‫‪ 18.07‬הרצאה ‪15‬‬ ‫‪76‬‬ ‫המשפט הספקטרלי לה“ל צמודות לעצמן ‪.....................................‬‬ ‫‪82‬‬ ‫‪ 23.07‬הרצאה ‪16‬‬ ‫‪82‬‬ ‫ההעתקה הצמודה ‪................................................‬‬ ‫‪88‬‬ ‫‪ 25.07‬הרצאה ‪17‬‬ ‫‪88‬‬ ‫מטריצות ומ“פ ‪..................................................‬‬ ‫‪94‬‬ ‫‪ 30.7‬הרצאה ‪18‬‬ ‫‪94‬‬ ‫הצורה הקנונית של מטריצה נורמלית ‪......................................‬‬ ‫‪97‬‬ ‫העתקות ומטריצות אוניטריות ואורתוגונליות ‪...................................‬‬ ‫‪100‬‬ ‫‪ 01.08‬הרצאה ‪19‬‬ ‫העתקות ומטריצות אורתוגונליות ואוניטריות ‪ -‬המשך ‪100..............................‬‬ ‫‪106‬‬ ‫‪ 06.08‬הרצאה ‪20‬‬ ‫קצת פירוקים ‪106..................................................‬‬ ‫‪111‬‬ ‫‪ 08.08‬הרצאה ‪21‬‬ ‫פירוק ‪111................................................... SVD‬‬ ‫‪113‬‬ ‫אז מה היה לנו?‬ ‫‪2‬‬ ‫‪ 28.5‬הרצאה ‪1‬‬ ‫פולינומים‬ ‫תזכורת‪ :‬פולינום ממעלה ‪ n‬מעל שדה ‪ F‬הוא צ“ל של חזקות של משתנה ‪:x‬‬ ‫‪X‬‬ ‫‪n‬‬ ‫= )‪p (x‬‬ ‫‪ak x k , a 0 , a 1 ,... , a n ∈ F‬‬ ‫‪k=0‬‬ ‫ונסמן ‪deg (p (x)) = n‬‬ ‫פולינום האפס )‪ O (x‬הוא פולינום שבו כל המקדמים בצ“ל הם ‪.0‬נגדיר ∞‪.deg O (x) = −‬‬ ‫נאמר ש ‪ α ∈ F‬הוא שורש של הפולינום )‪ p (x‬אם מתקיים ‪.p (α) = 0‬‬ ‫נאמר ש )‪ p (x‬מחלק את )‪ f (x‬אם קיים פולינום )‪ q (x‬כך ש ‪ ,f = q · p‬ונסמן )‪.p (x) | f (x‬‬ ‫בנוסף מתקיים‬ ‫‪deg (g (x) · p (x)) = deg g + deg p‬‬ ‫בהינתן זוג פולינומים ‪ f, g‬נגדיר את ה ‪ gcd‬להיות מחלק משותף שכל מחלק משותף מחלק גם אותו‪ ,‬כלומר‬ ‫‪gcd (f, g) = p ⇒ ∀q (x) : q | f ∧ q | g ⇒ q | p‬‬ ‫משפט ‪) 1‬משפט חשוב ללא הוכחה(‪.‬יהיו ‪ f, g 6= 0‬פולינומים מעל שדה ‪.F‬אז קיימים ויחידים פולינומים ‪ q, r‬כך ש‪-‬‬ ‫‪f (x) = q (x) · g (x) + r (x) , deg r < deg g‬‬ ‫ול‪ r-‬נקרא שארית החלוקה‪.‬‬ ‫טענה ‪.2‬יהא )‪ f (x‬פולינום ממעלה ‪ n‬מעל השדה ‪.F‬‬ ‫א‪.‬אם ‪ α ∈ F‬שורש של ‪ f‬אז ‪ x − α | f‬וגם קיים )‪ q (x‬ממעלה ‪ n − 1‬כך ש )‪.(x − α) · q (x) = f (x‬‬ ‫ב‪.‬ל‪ f -‬יש לכל היותר ‪ n‬שורשים בשדה‪.‬‬ ‫ג‪.‬אם ‪ F ⊆ K‬ו‪ q (x) -‬פולינום נוסף שמחלק את ‪ f‬ב‪ K-‬אז בהכרח )‪ q (x‬מחלק את )‪ f (x‬גם ב‪.F -‬‬ ‫הוכחה‪.‬‬ ‫א‪.‬נחלק עם שארית את )‪ f (x‬ב‪.(x − α)-‬נקבל שקיימים )‪ q (x) , r (x‬כך ש‪-‬‬ ‫‪f (x) = q (x) · (x − α) + r (x) , deg r < deg (x − α) = 1 ⇒ r (x) = C ∈ F‬‬ ‫‪3‬‬ ‫נקבל‬ ‫)‪0 = f (α) = q (α) · 0 + r (α) = C ⇒ r (x) = 0 ⇒ f (x) = q (x) · (x − α‬‬ ‫ב‪.‬באינדוקציה בעזרת סעיף א'‪.‬‬ ‫ג‪.‬נחלק עם שארית מעל ‪ F‬ונקבל )‪.f (x) = g1 (x) · q (x) + r1 (x‬מהנתון קיים )‪ g2 (x‬כך ש‪.f (x) = g2 (x) · q (x)-‬‬ ‫מיחידות החלוקה מעל ‪ K‬נסיק ‪ ,r1 = 0‬וכן ש ‪.g1 = g2‬‬ ‫‬ ‫נסמן ב‪ F [x] -‬את אוסף כל הפולינומים מעל ‪.F‬נשים לב שזה לא שדה‪ ,‬שכן לא לכל פולנום קיים איבר הופכי ‪):‬‬ ‫אבל היא כן מקיימת כל אקסיומה אחרת שאינה קיום איבר הופכי‪.‬לקבוצה כזו נקרא חוג קומוטטיבי עם יחידה‪.‬‬ ‫הגדרה ‪.3‬חוג קומוטטיבי עם יחידה שבו אין מחלקי ‪ 0‬נקרא תחום שלמות‪.‬‬ ‫דוגמה ‪.F [x] , Z.4‬‬ ‫טענה ‪.5‬בתחום השלמות מתקיים כלל הצמצום‪:‬‬ ‫‪a · b = a · c ∧ a 6= 0 ⇒ b = c‬‬ ‫תחום שלמות‬ ‫הגדרה ‪.6‬יהי ‪ R‬תחום שלמות‪.‬נאמר ש‪ c ∈ R -‬הפיך אם קיים לו איבר הופכי‪.‬‬ ‫דוגמה ‪.7‬ב‪ F [x] -‬כל פולינום ממעלה ‪ 0‬הוא הפיך‪.‬‬ ‫הגדרה ‪.8‬יהי ‪ R‬תחום שלמות‪.‬נאמר ש‪ a, b ∈ R -‬חברים אם קיים ‪ c ∈ R‬הפיך כך ש‪ ,b = c · a -‬ונסמן ‪.a ∼ b‬‬ ‫דוגמה ‪.9‬ב‪ F [x]-‬מתקיים )‪ p (x) ∼ c · p (x‬לכל קבוע שונה מ‪.0-‬‬ ‫טענה ‪.10‬יהיו ‪ a, b ∈ R‬כך ש ‪ a|b‬וגם ‪.b|a‬אז ‪.a ∼ b‬‬ ‫‬ ‫הוכחה‪.‬נשתמש בכלל הצמצום וסיימנו‪.‬‬ ‫הגדרה ‪.11‬נאמר ש‪ p ∈ R -‬ראשוני אם כאשר ‪ p | a · b‬בהכרח ‪ p | a‬או ‪.p | b‬נאמר ש‪ p -‬אי‪-‬פריק אם ‪ p = a · b‬אז ‪a‬‬ ‫או ‪ b‬הפיכים )והשני חבר(‪.‬‬ ‫טענה ‪.12‬בתחום שלמות ‪ R‬כל ראשוני הוא אי‪-‬פריק‪.‬‬ ‫‪4‬‬ ‫הוכחה‪.‬יהי ‪ p‬ראשוני‪.‬נציג ‪ ,p = a · b‬וברור שמתקיים ‪.p | a · b‬מהגדרת ראשוני בהכרח ‪ p | a‬או ‪.p | b‬‬ ‫‬ ‫בה“כ ‪ ,p | a‬אז ‪ p ∼ a‬ולכן ‪ b‬הפיך‪.‬‬ ‫משפט ‪.13‬יהי ‪ R‬תחום שלמות שבו כל אי‪-‬פריק הוא ראשוני‪.‬אז ב‪ R-‬יש את יחידות הפירוק למכפלת אי‪-‬פריקים‪ ,‬עד כדי‬ ‫שינוי סדר וחברות‪.‬‬ ‫הוכחה‪.‬אהובתנו ‪ -‬אינדוקציה‪.‬‬ ‫בסיס‪.m + n = 2 :‬כאן ‪ m = n = 1‬ונקבל ש ‪.p1 = q1‬‬ ‫צעד האינדוקציה‪:‬‬ ‫‪Y‬‬ ‫‪m‬‬ ‫‪Y‬‬ ‫‪n‬‬ ‫| ‪p1‬‬ ‫= ‪pi‬‬ ‫‪qj‬‬ ‫‪i=1‬‬ ‫‪j=1‬‬ ‫אך ‪ p1‬אי‪-‬פריק וראשוני ולכן קיים ‪ 1 ≤ j ≤ n‬שעבורו ‪ ,p1 | qj‬בה“כ ‪.j = 1‬כלומר קיים ‪ c ∈ R‬שעבורו ‪ p1 · c = q1‬אך‬ ‫‪ q1‬אי‪-‬פריק ולכן או ‪ c‬או ‪ p1‬הפיכים‪ p1.‬אי‪-‬פריק ובפרט איננו בפיך‪ ,‬לכן ‪ c‬הפיך ו‪.p1 ∼ q1 -‬נקבל‬ ‫‪Y‬‬ ‫‪m‬‬ ‫‪Y‬‬ ‫‪n‬‬ ‫· ‪p1‬‬ ‫· ‪pi = c · p1‬‬ ‫‪qj‬‬ ‫‪i=2‬‬ ‫‪j=1‬‬ ‫‬ ‫ומכלל הצמצום והנחת האינדוקציה סיימנו‪.‬‬ ‫הערה ‪.14‬הפיכים אינם מוגדרים כאי‪-‬פריקים וראשוניים‪.‬‬ ‫הגדרה ‪.15‬יהי ‪ R‬תחום שלמות‪ I ⊆ R.‬נקרא אידיאל אם‪:‬‬ ‫‪ I‬מכיל את ‪.0‬‬ ‫א‪.‬‬ ‫‪ I‬סגור לחיבור‪.‬‬ ‫ב‪.‬‬ ‫‪ I‬סגור לכפל בכל איברי ‪.R‬‬ ‫ג‪.‬‬ ‫דוגמה ‪.16‬הזוגיים ב‪ ,Z -‬ובאופן כללי לכל ‪ a ∈ R‬מתקיים ‪ I = Ra‬אידיאל‪.‬‬ ‫הגדרה ‪.17‬יהי ‪ R‬תחום שלמות‪.‬אידיאל ‪ I‬נקרא ראשי אם קיים ‪ a ∈ R‬כך ש‪.I = R · a = {r · a | r ∈ R}-‬‬ ‫תחום שלמות נקרא תחום ראשי אם כל אידיאל בו הוא ראשי‪.‬‬ ‫משפט ‪.18‬בתחום ראשי כל אי‪-‬פריק הוא ראשוני‪.‬‬ ‫הוכחה‪.‬נניח ש‪ p -‬אי‪-‬פריק‪ ,‬ומחלק את ‪.a · b‬‬ ‫נתבונן באידיאל ‪.I = R · p + R · a‬מכיוון ש‪ R-‬תחום ראשי‪ ,‬ולכן קיים ‪ c ∈ R‬כך ש‪.I = R · c = Rp + Ra :‬‬ ‫נשים לב ‪ ,p, a ∈ I‬ולכן ‪.c | a, p‬מכיוון ש‪ p -‬אי‪-‬פריק‪ c ,‬או חבר או הפיך‪.‬‬ ‫אם ‪ c ∼ p‬וגם ‪ ,c | a‬א בהכרח ‪ p | a‬וסיימנו‪.‬‬ ‫‪5‬‬ ‫אם ‪ c‬הפיך‪ ,‬אז ‪.I = Rc = R‬בפרט קיימים ‪ d, e ∈ I‬עבורם ‪.1 = d · p + e · a‬נכפול ב‪ b-‬ונקבל‬ ‫‪b=d·p·b+e·a·b‬‬ ‫‬ ‫אך ‪ p‬מחלק את שני איברי הסכום‪ ,‬ולכן ‪ p | b‬כנדרש‪.‬‬ ‫משפט ‪ F [x].19‬תחום ראשי‪.‬‬ ‫הוכחה‪.‬נתבונן באידיאל לא טריוויאלי ]‪.{0} 6= I ⊆ F [x‬‬ ‫יהי ‪ p (x) ∈ I‬פולינום ממעלה מינימלית שהוא לא אפס‪.‬נראה שלכל ‪ f (x) ∈ I‬מתקיים ‪.p | f‬‬ ‫לפי חלוקה עם שארית קיימים ]‪ q (x) , r (x) ∈ F [x‬שעבורם‬ ‫‪f =q·p+r‬‬ ‫כאשר ‪.deg r < deg p‬אולם‬ ‫‪r =f −q·p∈I‬‬ ‫‬ ‫וממינימליות ‪ p‬נסיק ∞‪.deg r = −‬לכן ‪.p | f‬‬ ‫מכאן אפשר להסיק שכל פולינום הוא אי‪-‬פריק אם“ם הוא ראשוני‪.‬‬ ‫‪6‬‬ ‫‪ 30.5‬הרצאה ‪2‬‬ ‫עוד פולינומים‬ ‫ראינו שכל פולינום ניתן לפרק בצורה יחידה )עד כדי חברות( למכפלת אי‪-‬פריקים‪.‬כדי להתמודד עם עניין החברות‪ ,‬ניתן‬ ‫להסתכל על הפולינום המתוקן‪ :‬פולינום שבו מקדם החזקה הגבוהה הוא ‪.1‬‬ ‫משפט ‪.20‬אם ]‪ f, g ∈ F [x‬אז קיים ויחיד עד כדי חברות )‪ ,gcd (f, g) = p (x‬וגם קיימים שני פולינומים )‪a (x) , b (x‬‬ ‫שעבורם‬ ‫)‪p (x) = a (x) f (x) + b (x) g (x‬‬ ‫הוכחה‪.‬נגדיר את האידיאל }]‪.I = {a (x) f (x) + b (x) g (x) | a, b ∈ F [x‬זהו אידיאל בתחום ראשי‪ ,‬ולכן קיים ∈ )‪p (x‬‬ ‫]‪ F [x‬כך ש‪.I = F [x] · p (x) -‬‬ ‫ברור ש‪ p (x) -‬שייך לאידיאל‪ ,‬ולכן קיימים ‪ a, b‬כנדרש‪.‬‬ ‫נשים לב שגם ‪ f‬וגם ‪ g‬שייכים לאידיאל‪ ,‬ולכן ‪.p | f, g‬בנוסף )‪p (x‬מקסימלי‪ ,‬שכן אם ‪ d (x) | f, g‬גם ‪.d (x) | a·f +b·g = p‬‬ ‫‬ ‫אם ‪ pe‬הוא ‪ gcd‬נוסף‪ ,‬בהכרח ‪ p | pe‬וגם ‪ pe | p‬כלומר הינם חברים‪.‬‬ ‫מסקנה ‪.21‬אם ‪ f, g‬זרים‪ ,‬אז קיימים ]‪ a, b ∈ F [x‬כך ש‪:‬‬ ‫)‪1 = a (x) f (x) + b (x) g (x‬‬ ‫הגדרה ‪.22‬שדה ‪ F‬נקרא סגור אלגברית אם לכל פולינום ]‪ f (x) ∈ F [x‬ממעלה ≤ ‪ 1‬יש שורש‪.‬‬ ‫משפט ‪) 23‬המשפט היסודי של האלגברה(‪ C.‬סגור אלגברית‪.‬‬ ‫מסקנה ‪.24‬ב‪ C [x]-‬הגורמים האי‪-‬פריקים הם הפולינומים הלינארים ‪(x − λ) , λ ∈ C‬‬ ‫מיחידות הפירוק נסיק שאם )‪ p (x‬מתוקן ממעלה ‪ n‬אז יש לו פירוק יחיד למכפלת ‪ n‬גורמים לינארים‪.‬נציג‪:‬‬ ‫‪Y‬‬ ‫‪m‬‬ ‫= )‪p (x‬‬ ‫‪(x − λ)rk‬‬ ‫‪k=1‬‬ ‫כאשר ‪ λ1 , λ2 ,... , λk‬שונים זה מזה וגם ‪.r1 + r2 +... + rm = deg p‬‬ ‫הגדרה ‪.25‬עבור הסימונים לעיל‪ ,‬נאמר ש‪λk -‬שורש מריבוי ‪.rk‬‬ ‫שאלה לגיטימית‪ :‬מהם הגורמים האי‪-‬פריקים ב‪?R [x]-‬‬ ‫‪7‬‬ ‫דוגמה ‪ x2 + 1.26‬הוא פולינום אי‪-‬פריק מעל ‪.R‬‬ ‫טענה ‪.27‬אם ]‪ f (x) ∈ R [x‬פולינום עם שורש ‪ ,λ ∈ C‬אז גם ‪ λ‬שורש‪.‬‬ ‫‪P‬‬ ‫הוכחה‪.‬מציג ‪.f (x) = nk=0 αk xk‬נציב ‪:λ‬‬ ‫‬ ‫‪X‬‬ ‫‪n‬‬ ‫‪k‬‬ ‫‪X‬‬ ‫‪n‬‬ ‫‪k‬‬ ‫‪X‬‬ ‫‪n‬‬ ‫= ‪f λ‬‬ ‫= ‪αk λ‬‬ ‫= ‪αk λ‬‬ ‫‪α k λk = 0‬‬ ‫‪k=0‬‬ ‫‪k=0‬‬ ‫‪k=0‬‬ ‫כאשר השתמשנו בתכונות כפל וחיבור בצמוד‪.‬מעל המרוכבים הוכחה זו לא היתה עובדת‪ ,‬שכן הסתמכנו על כך ש‪α = α -‬‬ ‫‬ ‫בהיותם ממשיים‪.‬‬ ‫מסקנה ‪.28‬אם ‪ λ ∈ C \ R‬שורש של ]‪ f (x) ∈ R [x‬נקבל שבחלוקה עם שארית מעל ‪:C‬‬ ‫‬ ‫)‪(x − λ) x − λ | f (x‬‬ ‫אך המכפלה הנ“ל היא פולינום ממשי‪ ,‬מכיוון ש ‪ ,R ⊆ C‬להסיק ש‬ ‫)‪x2 − 2Re (λ) x + |x|2 | f (x‬‬ ‫כלומר הפולינומים האי‪-‬פריקים מעל ‪ R‬הם או פולינומים לינאריים ‪ ,x − λ, λ ∈ R‬או פולינומים ריבועיים עם דיסקרימיננטה‬ ‫שלילית‪ ,‬כלומר‬ ‫‬ ‫‪x − α2 + β 2 < 0 | α, β ∈ R‬‬ ‫שהרי לכל פונקציה ממעלה גבוהה יותר יש שורש מרוכב‪.‬אם השורש ממשי‪ ,‬הפולינום פריק‪.‬אם השורש אינו ממשי‪,‬‬ ‫לפולינום יש מחלק ריבועי כפי שראינו קודם‪.‬‬ ‫משפט ‪) 29‬יפיפה(‪.‬יהיו ‪ F‬שדה‪ ,‬ו‪ f (x) ∈ F [x]-‬פולינום אי‪-‬פריק ממעלה ≤ ‪.2‬אז קיימת ל‪ f -‬הרחבה לשדה ‪ F ⊆ K‬כך‬ ‫ש‪ f -‬פריק ב‪.K-‬‬ ‫דוגמה ‪ x2 + 1.30‬אי‪-‬פריק ב‪ ,R-‬אך כן פריק ב‪.C-‬‬ ‫‪Pn−1‬‬ ‫‪ f (x) = xn +‬כאשר ‪.n ≥ 2‬נבנה את המטריצה הנלווית מגודל‬ ‫‪i=0‬‬ ‫הוכחה‪.‬נניח בה“כ שהפולינום מתוקן‪.‬נציגו כ‪αi xi -‬‬ ‫‪:n × n‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪0 0 0... −α0‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪1 0 0... −α1 ‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪.. ‬‬ ‫‪Af = 0 1 0‬‬ ‫) ‪.  ∈ Mn (F‬‬ ‫‪‬‬ ‫‪.. ‬‬ ‫‪‬‬ ‫‪.....‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪.‬‬ ‫‪. ‬‬ ‫‪1 −αn−1‬‬ ‫‪8‬‬ ‫נבדוק שהצבת המטריצה הנלווית בפולינום נקבל ‪:f (Af ) = 0‬‬ ‫נבחר עבור ‪ 1 ≤ i ≤ n − 1‬יתקיים‬ ‫‪Af · ei = ei+1 ⇒ Ai · e1 = Ai · ei+1‬‬ ‫‪X‬‬ ‫‪n−1‬‬ ‫= ‪⇒ An e1 = A · An−1 e1 = Aen‬‬ ‫‪−αi ei+1‬‬ ‫‪i=0‬‬ ‫מכאן‬ ‫‪X‬‬ ‫‪n−1‬‬ ‫= ) ‪f (Af‬‬ ‫‪Anf e1‬‬ ‫‪+‬‬ ‫‪−αi Ae1‬‬ ‫‪i=0‬‬ ‫‪X‬‬ ‫‪n−1‬‬ ‫‪X‬‬ ‫‪n−1‬‬ ‫=‬ ‫‪−αi ei+1 +‬‬ ‫‪αi Ae1 = 0‬‬ ‫‪i=0‬‬ ‫‪i=0‬‬ ‫ועבור ‪ 2 ≤ i ≤ n‬ניתן להסתמך על הגרירות לעיל‪.‬‬ ‫נגדיר אם כן את ‪:K‬‬ ‫}]‪K = {p (Af ) | p ∈ F [x‬‬ ‫נשים לב שעבור הצבת מטריצות סקלריות נקבל את איברי ‪ ,F‬כלומר אכן ‪.F ⊆ K‬‬ ‫אם נצליח להראות ש ‪ K‬שדה‪ ,‬נסיק ש‪ Af = x (Af ) ∈ K -‬היא שורש של ‪ f‬מעל ‪.K‬‬ ‫) ‪ ,K ⊆ Mn (F‬ולכן מתקיימות כמעט כל אקסיומות השדה בצורה טריוויאלית‪.‬נותר לוודא‪:‬‬ ‫‪.1‬סגירות לחיבור‪ :‬טריוואלי מסגירות לחיבור ב‪.F [x]-‬‬ ‫‪ 2.‬סגירות לכפל‪ :‬כנ“ל‪.‬‬ ‫‪.3‬חוק החילוף בכפל‪ :‬נובע ישירות מכך שכל מטריצה מתחלפת עם עצמה ועם החזקות שלה‪.‬‬ ‫‪.4‬קיום איבר הופכי‪ :‬ניקח ‪.0 6= B = g (Af ) ∈ K‬נשים לב ש‪ ,f ∤ g -‬שכן‬ ‫) ‪f (Af ) = 0 6= g (Af‬‬ ‫כמו כן‪ ,‬ה‪ gcd (f, g) | f -‬כאשר ‪ f‬אי‪-‬פריק‪.‬מכאן שהוא או הפיך‪ ,‬או חבר‪.‬‬ ‫אולם אם ‪ gcd (f, g) ∼ f‬היינו מקבלים סתירה לכך ש ‪.f ∤ g‬לכן בהכרח ה ‪ gcd‬הפיך‪ ,‬ובפרט שווה ל‪.1-‬מכאן שקיימים‬ ‫]‪ a, b ∈ F [x‬עבורם‬ ‫‪1=a·f +b·g‬‬ ‫‪9‬‬ :Af ‫נציב‬ =0 z }| { I =a (Af ) f (Af ) +b (Af ) g (Af ).B −1 = b (Af ) ‫כלומר‬ 10 ‫‪ 04.6‬הרצאה ‪3‬‬ ‫לכסון‬ ‫הגדרה ‪.31‬תהי ‪ T : V → V‬ה“ל‪.‬נאמר ש‪ 0 6= v ∈ V -‬הוא וקטור עצמי )ו“ע( של ‪ T‬שמתאים לערך עצמי )ע“ע( ‪λ ∈ F‬‬ ‫אם ‪.T v = λv‬‬ ‫דוגמה ‪.32‬‬ ‫‪ 1.‬כל וקטור ‪ 0 6= v ∈ V‬הוא ו“ׂע של ‪ I : V → V‬שמתאים לע“ע ‪.1‬‬ ‫‪ 2.‬תהא ]‪ D : R [x] → R [x‬העתקת הנגזרת‪.‬נשים לב שלכל ‪ p (x) 6= 0‬מתקיים ‪ ,deg D (p) < deg p‬ולכן הו“ע של ‪D‬‬ ‫הם רק הפולינומים הקבועים שאינם ‪ ,0‬והם מתאימים לע“ע ‪.0‬‬ ‫‪ 3.‬במרחב הפונקציות הגזירות אינסוף פעמים נתבונן בהעתקת הנגזרת‪ ,‬ולכל ‪ λ ∈ R‬הפונק' ‪ f (x) = eλx‬היא ו“ע‬ ‫שמתאים לע“ע ‪.λ‬‬ ‫‪ 4.‬עבור העתקת הסיבוב ‪ Tθ : R2 → R2‬ישנם ו“ע עבור ‪ θ = 0, π‬בלבד‪.‬‬ ‫הגדרה ‪.33‬תהי ‪ T : V → V‬ה“ל‪.‬עבור ‪ λ ∈ F‬נגדיר את המרחב העצמי )מ“ע(‪:‬‬ ‫}‪Vλ = {v ∈ V | T v = λv‬‬ ‫טענה ‪ Vλ.34‬הינו ת“מ של ‪.V‬‬ ‫הוכחה‪.‬מתקיים‬ ‫)‪Vλ = {v ∈ V | (T − λI) v = 0} = ker (T − λI‬‬ ‫‬ ‫ואכן ‪ Vλ‬ת“מ כגרעין של ה“ל ‪.T − λI : V → V‬‬ ‫הגדרה ‪.35‬תהי ) ‪.A ∈ Mn (F‬נאמר ש ‪ 0 6= v ∈ F n‬הוא ו“ע שמתאים לע“ע ‪ λ ∈ F‬אם ‪.Av = λv‬‬ ‫דוגמה ‪.36‬נביט במטריצה ובוקטורים‪:‬‬ ‫!‬ ‫!‬ ‫!‬ ‫‪2 1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫=‪A‬‬ ‫= ‪, v1‬‬ ‫= ‪, v2‬‬ ‫‪2 3‬‬ ‫‪2‬‬ ‫‪−1‬‬ ‫מתקיים‬ ‫!‬ ‫!‬ ‫‪4‬‬ ‫‪1‬‬ ‫= ‪Av1‬‬ ‫‪=4‬‬ ‫‪= 4v1‬‬ ‫‪8‬‬ ‫‪2‬‬ ‫‪11‬‬ ‫!‬ ‫‪1‬‬ ‫= ‪Av2‬‬ ‫‪= 1 = 1v2‬‬ ‫‪−1‬‬ ‫כלומר ‪ v1‬ו“ע של ‪ A‬שמתאים לע“ע ‪ v2 ,4‬ו“ׂ שמתאים לע“ע ‪.1‬‬ ‫משפט ‪.37‬יהי ‪ V‬מ“ו ממימד ‪ T : V → V ,n‬ה“ל ו‪ A ∈ Mn (F )-‬מטריצה מייצגת של ‪ T‬ביחס לבסיס כלשהו ‪.B‬‬ ‫לכל ‪ 0 6= v ∈ V‬מתקיים ש‪ v-‬הוא ו“ע של ‪ T‬שמתאים לע“ע ‪ λ ∈ F‬אם“ם ‪ [v]B‬הוא ו“ׂע של ‪ A‬שמתאים לע“ע ‪.λ‬‬ ‫הוכחה‪.‬מתקיים‬ ‫‪T v = λv ⇐⇒ [T v]B = [λv]B ⇐⇒ A [v]B = λ [v]B‬‬ ‫‬ ‫טענה ‪.38‬תהי ‪ T : V → V‬ה“ל ותהי ‪ A ⊆ V‬קב' וקטורים עצמיים שמתאים לע“ע שונים‪.‬אז ‪ A‬בת“ל‪.‬‬ ‫הוכחה‪.‬נניח בשלילה ש‪ A 6= ∅ -‬ת“ל ונתבונן בצ“ל לא טריוויאלי של איברי ‪ A‬שמתאפס ובו מספר מינימלי של וקטורים‪:‬‬ ‫‪P‬‬ ‫‪. m‬‬‫יהיו ‪λ1 , λ2 ,... , λm‬סקלרים שונים זה מזה‪ ,‬כך ש‪k=1 αk vk = 0 ,T vk = λk vk -‬‬ ‫נשים לב ש‪ ,m 6= 1 -‬שהרי וקטור האפס אינו ו“ע‪.‬נחשב‬ ‫!‬ ‫‪X‬‬ ‫‪m‬‬ ‫‪X‬‬ ‫‪m‬‬ ‫‪X‬‬ ‫‪m‬‬ ‫‪0 = T (0) = T‬‬ ‫‪α k vk‬‬ ‫=‬ ‫= ‪αk T v k‬‬ ‫‪α k λk v k‬‬ ‫‪k=1‬‬ ‫‪k=1‬‬ ‫‪k=1‬‬ ‫כלומר‬ ‫‪X‬‬ ‫‪m‬‬ ‫‪X‬‬ ‫‪m‬‬ ‫‪X‬‬ ‫‪m‬‬ ‫=‪0‬‬ ‫‪α k λk v k − λm‬‬ ‫= ‪α k vk‬‬ ‫‪(αk λk − αk λm ) vk‬‬ ‫‪k=1‬‬ ‫‪k=1‬‬ ‫‪k=1‬‬ ‫‪X‬‬‫‪m‬‬ ‫‪X‬‬ ‫‪m−1‬‬ ‫=‬ ‫= ‪αk (λk − λm ) vk‬‬ ‫‪αk (λk − λm ) vk‬‬ ‫‪k=1‬‬ ‫‪k=1‬‬ ‫‬ ‫קיבלנו צ“ל לא טריוויאלי של ‪ m − 1‬וקטורים בסתירה למינימליות‪.‬מכאן נסיק ש‪ A-‬בת“ל‪.‬‬ ‫הגדרה ‪.39‬יהי ‪ V‬מ“ו ותהי ‪ T : V → V‬ה“ל‪.‬לכל ‪ λ ∈ F‬נגדיר את הריבוי הגיאומטרי של ‪ λ‬להיות ‪.dim Vλ‬‬ ‫‪S‬‬ ‫משפט ‪.40‬יהי ‪ V‬מ“ו ותהא ‪ T : V → V‬ה“ל‪.‬לכל ע“ע ‪ λ ∈ F‬של ‪ T‬נסמן ב‪ Bλ -‬בסיס למ“ע ‪.Vλ‬אז ‪ B = Bλ‬קב'‬ ‫‪λ‬‬ ‫בת“ל‪.‬‬ ‫הוכחה‪.‬נתבונן בצ“ל לא טריוויאלי של איברי ‪ B‬שמתאפס‪:‬‬ ‫סכימה של איברי בסיססכימת ע"ע‬ ‫{|}‪z‬‬ ‫{|}‪z‬‬ ‫‪∈Bλ‬‬ ‫‪X‬‬‫‪m‬‬ ‫‪X‬‬‫‪nk‬‬ ‫‪z}|{k‬‬ ‫‪dkj · vkj‬‬ ‫‪k=1‬‬ ‫‪j=1‬‬ ‫‪12‬‬ ‫נסמן את הסכימה הימנית ב‪.vk -‬מכיוון שהוא או ו“ע או וקטור האפס‪ ,‬ומכיוון שו“ע שמתאימים לע“ע שונים הם בת“ל‬ ‫‬ ‫)משפט קודם( נסיק שכל ‪ vk‬הוא ‪.0‬מכאן של ‪ dkj = 0‬שהרי ‪ Bλ‬בת“ל וקיבלנו סתירה‬ ‫‪P‬‬ ‫‪.‬‬ ‫‪λ‬‬ ‫מסקנה ‪dim (Vλ ) ≤ dim V.41‬‬ ‫הגדרה ‪.42‬יהי ‪ V‬מ“ו ממימד ‪ ,n‬ותהי ‪ T : V → V‬ה“ל‪.‬נאמר ש‪ T -‬לכסינה אם קיים ל‪ V -‬בסיס של ו“ע של ‪.T‬‬ ‫‪P‬‬ ‫‪.‬‬ ‫‪λ‬‬ ‫טענה ‪ T.43‬לכסינה אם“ם ‪dim Vλ = n‬‬ ‫הוכחה‪.‬אם ‪ T‬לכסינה‪ ,‬קיים ל‪ V -‬בסיס של ו“ע שבו ‪ n‬וקטורים‪ ,‬וכל אחד מהם נמצא במ“ע כלשהו‪.‬לכן‪:‬‬ ‫‪X‬‬ ‫≤‪n‬‬ ‫‪dim Vλ ≤ n‬‬ ‫‪λ‬‬ ‫‪P‬‬ ‫ניקח את האיחוד של הבסיסים של המ“ע‪ ,‬ונקבל קב' בת“ל בת ‪ n‬וקטורים ‪ -‬מכאן‬ ‫‪λ‬‬ ‫בכיוון השני‪ ,‬אם ‪dim Vλ = n‬‬ ‫‬ ‫שהיא בוודאי בסיס של ‪.V‬‬ ‫למה כל זה טוב לנו בחיים?‬ ‫יהא ) ‪ B = (b1 , b2 ,... , bn‬בסיס של ו“ע שמתאימים לע“ע ‪.λ1 , λ2 ,... , λn‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪‬‬ ‫‪λ1 0‬‬ ‫‪...‬‬ ‫‪0‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪  0 λ2‬‬ ‫‪...‬‬ ‫‪0‬‬ ‫‪[T ]B = ‬‬ ‫‪‬‬ ‫‪[T‬‬ ‫‪b‬‬ ‫‪1‬‬ ‫]‬ ‫‪[T‬‬ ‫‪b‬‬ ‫‪2‬‬ ‫]‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪[T‬‬ ‫‪b‬‬ ‫‪n‬‬ ‫]‬ ‫‪=.‬‬ ‫‪ .‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪.. ‬‬ ‫‪‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪0 0‬‬ ‫‪... λn‬‬ ‫אז מגניב‪ ,‬מטריצה אלכסונית‪.‬ולמה זה טוב לנו בחיים? אריתמטיקה!‬ ‫סכום מטריצות הופך להיות רק סכום האלכסון )דא(‪ ,‬כפל מטריצות הופך להיות כפל איברי האלכסון )אוקיי חביב( אבל‬ ‫הקרם דה‪-‬לה קרם ‪ -‬קל להציג את המטריצה בפולינום‪:‬‬ ‫‪‬‬ ‫‪k P‬‬ ‫‪‬‬ ‫‪λ1 0‬‬ ‫‪...‬‬ ‫‪0‬‬ ‫‪ak α1k‬‬ ‫‪0‬‬ ‫‪...‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪P‬‬ ‫‪‬‬ ‫‪X  0 λ2‬‬ ‫‪...‬‬ ‫‪0‬‬ ‫‪ 0‬‬ ‫‪ak α2k‬‬ ‫‪...‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪ak ‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪‬‬ ‫‪.. ‬‬ ‫=‬ ‫‪‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪‬‬ ‫‪P‬‬ ‫‪0 0‬‬ ‫‪... λn‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪...‬‬ ‫‪ak αnk‬‬ ‫הגדרה ‪.44‬תהי ) ‪.A ∈ Mn (F‬נאמר ש‪ A-‬לכסינה מעל ‪ F‬אם קיימת ) ‪ P ∈ Mn (F‬הפיכה כך ש‪ P −1 AP -‬אלכסונית‪.‬‬ ‫משפט ‪.45‬יהי ‪ V‬מ“ו ממימד ‪ n‬ותהיינה ‪ T : V → V‬ה“ל ו‪ A = [T ]B -‬כאשר ‪ B‬בסיס כלשהו של ‪.V‬אז ‪ T‬לכסינה‬ ‫אם“ם ‪ A‬לכסינה‪.‬‬ ‫‪13‬‬ ‫הוכחה‪.‬‬ ‫⇐‪ :‬נניח ש‪ T -‬לכסינה ויהי ‪ C‬בסיס ו“ע של ‪.T‬מתקיים‬ ‫אלכסונית‬ ‫{|}‪z‬‬ ‫‬ ‫‪−1‬‬ ‫‪[T ]C = [I]B‬‬ ‫‪C‬‬ ‫‪[T‬‬ ‫]‬ ‫‪B‬‬ ‫]‪[I‬‬ ‫‪C‬‬ ‫‪B‬‬ ‫=‬ ‫]‪[I‬‬ ‫‪B‬‬ ‫‪C‬‬ ‫‪· A · [I]C‬‬ ‫‪B‬‬ ‫‪‬‬ ‫‪‬‬ ‫ולכן ‪ A‬לכסינה עפ“י הגדרה‪.‬‬ ‫|‬ ‫|‬ ‫‪‬‬ ‫‪‬‬ ‫⇒‪ :‬נניח ש‪ A-‬לכסינה‪ ,‬וקיימת ‪ P = v1... vn ‬כך ש‪ P −1 AP = D :‬אלכסונית‪ P.‬הפיכה‪ ,‬ולכן עמודותיה בסיס‬ ‫|‬ ‫|‬ ‫‪ [·]−1‬נמצא בסיס של ‪.V‬נשים לב‪:‬‬ ‫‪.F‬אם נפעיל את ‪B‬‬ ‫‪n‬‬ ‫של‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪λ1 0‬‬ ‫‪...‬‬ ‫‪0‬‬ ‫| |‬ ‫|‬ ‫| |‬ ‫‪| ‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪ ‬‬ ‫‪  0 λ2‬‬ ‫‪...‬‬ ‫‪0‬‬ ‫‪AP = P D ⇒ A v1 v2... vn  = v1 v2‬‬ ‫‪... vn  ‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪.. ‬‬ ‫‪‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫| |‬ ‫|‬ ‫| |‬ ‫|‬ ‫‪0 0‬‬ ‫‪... λn‬‬ ‫כלומר עמודות ‪ P‬הן ו“ע של ‪ ,A‬וההעתקה ההופכית להעתקת הקואורדינטות מעתיקה אותן לו“ע של ‪.T‬מכאן ש‪ T -‬לכסינה‪.‬‬ ‫‬ ‫מסקנה ‪ A ∈ Mn (F ).46‬לכסינה אם“ם קיים ל‪ F n -‬בסיס של ו“ע של ‪.A‬‬ ‫ראינו שאם ) ‪ A ∈ Mn (F‬ו‪ λ ∈ F -‬ע“ע אז )‪.Vλ = ker (A − λI‬אבל איך מוצאים ע“ע? אלו הערכים שעבורם קיים פתרון‬ ‫לא טריוויאלי למערכת ההומוגנית ‪.(λI − A) x = 0‬כלומר‪ ,‬ערכי ‪ λ‬שעבורם ‪.det (λI − A) = 0‬‬ ‫הגדרה ‪.47‬תהי ) ‪.A ∈ Mn (F‬נגדיר את הפולינום האופייני של ‪ A‬להיות )‪.fA = det (xIn − A‬‬ ‫טענה ‪ λ ∈ F.48‬הוא ע“ע של ) ‪ A ∈ Mn (F‬אם“ם ‪.fA (λ) = 0‬‬ ‫הוכחה‪.‬אם ‪ λ‬ע“ע אז קיים ‪ 0 6= v ∈ F n‬כך ש‪ ,Av = λv -‬כלומר ‪ (λI − A) v = 0‬ולכן‬ ‫)‪0 = det (λI − A) = fA (λ‬‬ ‫ולהיפך אם ‪ fA (λ) = det (λI − A) = 0‬אז קיים ‪ 0 6= v ∈ F n‬כך ש ‪ (λI − A) v = 0‬ולכן ‪ Av = λv‬ו‪ v-‬ו“ע של ‪A‬‬ ‫‬ ‫שמתאים לע“ע ‪.λ‬‬ ‫!‬ ‫‪2 2‬‬ ‫= ‪ A‬נבנה את הפולינום האופייני‪:‬‬ ‫דוגמה ‪.49‬עבור‬ ‫‪1 3‬‬ ‫‪x − 2 −2‬‬ ‫= )‪fA = det (xI − A‬‬ ‫‪= (x − 2) (x − 3) − 2‬‬ ‫‪−1 x − 3‬‬ ‫)‪= x2 − 5x + 4 = (x − 4) (x − 1‬‬ ‫‪14‬‬ ‫והע“ע הם ‪ 1‬ו‪. 4-‬‬ ‫‪15‬‬ ‫‪ 06.6‬הרצאה ‪4‬‬ ‫הפולינום האופייני‬ ‫תזכורת‪ :‬עבור ) ‪ ,A ∈ Mn (F‬הפולינום האופייני )פ“א( הינו )‪ ,fA (x) = det (xIn − A‬והע“ע של ‪ A‬הינם השורשים של‬ ‫פולינום זה‪.‬‬ ‫משפט ‪.50‬עבור ) ‪ ,A ∈ Mn (F‬הפולינום ‪ fA‬הוא פולינום מתוקן ממעלה ‪ ,n‬כאשר המקדם של ‪ xn−1‬הוא )‪ ,−tr (A‬והמקדם‬ ‫של ‪ x0 = 1‬הוא ‪.(−1)n det A‬‬ ‫הוכחה‪.‬המקדם של ‪ 1‬בפ“א מתקבל מהצבת ‪ x = 0‬בפולינום‪ ,‬ואכן‬ ‫‪fA (0) = det (0 − A) = det (−A) = (−1)n det A‬‬ ‫כעת נשים לב שמתקיים‬ ‫‪x − α11 −α12‬‬ ‫‪...‬‬ ‫‪−α1n‬‬ ‫‪deg≤n−2‬‬ ‫‪−α21 x − α22‬‬ ‫‪...‬‬ ‫‪−α2n‬‬ ‫‪Y‬‬ ‫‪n‬‬ ‫{|}‪z‬‬ ‫= )‪fA (x) = det (xI − A‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪...‬‬ ‫‪..‬‬ ‫=‬ ‫)‪(x − αkk ) + p (x‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪k=1‬‬ ‫‪−αn1‬‬ ‫‪−αn2‬‬ ‫‪... x − αnn‬‬ ‫כאשר דרגת הפולינום הימני נובעת מחישוב תמורות‪ :‬כל תמורה שאינה כלל איברי האלכסון הראשי בהכרח אינה כוללת‬ ‫שני איברי ‪ x‬במכפלה‪.‬קיבלנו‬ ‫‪‬‬ ‫‪‬‬ ‫‪deg≤n−1‬‬ ‫‪z‬‬ ‫‪trA‬‬ ‫|}‬ ‫{‬ ‫{|}‪z‬‬ ‫)‪= xn + −α11 − α22 −... − αnn  xn−1 + g (x) +p (x‬‬ ‫‬ ‫‪Qn‬‬ ‫‪ ,‬והפ“א של מטריצת בלוקים הינו = ‪A‬‬ ‫‪k=1‬‬ ‫מסקנה ‪.51‬הפ“א!של מטריצות אלכסוניות או משולשות הינו ) ‪(x − αkk‬‬ ‫‪B 0‬‬ ‫‪.‬‬ ‫‪⇒ fA = fB · fC‬‬ ‫‪0 C‬‬ ‫תזכורת קלה לדמיון מטריצות‪ :‬תהיינה ) ‪ A, B ∈ Mn (F‬זוג מטריצות דומות‪.‬אז מתקיים‪:‬‬ ‫ קיימת מטריצה הפיכה ‪ P‬כך ש‪) B = P −1 AP -‬ההגדרה לדמיון(‪.‬‬ ‫ דמיון מטריצות הוא יחס שקילות‪.‬‬ ‫‪16‬‬ ‫ ‬ ‫‪trA = trB, det A = det B‬‬ ‫ עבור מ“ו ‪ V‬ממימד ‪ ,n‬בסיסים ‪ D, C‬וה“ל ‪ T : V → V‬מתקיים ש‪ [T ]D , [T ]C -‬דומות שכן ‪D [T ]C [I]C‬‬ ‫‪.[T ]D = [I]C‬‬ ‫‪C‬‬ ‫‪D‬‬ ‫משפט ‪.52‬למטריצות דומות יש את אותו פ“א‪.‬‬ ‫הוכחה‪.‬אם ‪ A, B‬דומות‪ ,‬אז קיימת ‪ P‬הפיכה כך ש‪.B = P −1 AP -‬לכל ‪ x ∈ F‬מתקיים ש‪ xIn − A, xIn − B -‬דומות‬ ‫גם כן שכן‬ ‫‪P −1 (xIn − A) P = P −1 xIn P − P −1 AP = xIn − B‬‬ ‫אולם הדיטרמיננטות של מטריצות דומות שוות‪ ,‬ומכאן‬ ‫)‪fA (x) = det (xIn − A) = det (xIn − B) = fB (x‬‬ ‫הראינו שוויון בין הפ“א לכל סקלר מהשדה‪.‬אם ‪ F‬אינסופי זה מספיק‪ ,‬אך אם מדובר בשדה סופי לא בהכרח הפ“א יהיו‬ ‫זהים ונצטרך להראות זאת‪.‬‬ ‫כעת נראה שהשוויון מתקיים גם כאשר ‪ x‬הינו משתנה‪ ,‬ולא רק סקלר‪ :‬נבחין ש‪-‬‬ ‫))‪∈Mn (F (x‬‬ ‫‪z‬‬ ‫|}‬ ‫{‬ ‫‪x − α11 −α12‬‬ ‫‪...‬‬ ‫‪−α1n‬‬ ‫‪−α21 x − α22‬‬ ‫‪...‬‬ ‫‪−α2n‬‬ ‫= )‪fA (x‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪−αn1‬‬ ‫‪−αn2‬‬ ‫‪... x − αnn‬‬ ‫כאן )‪ F (x‬הוא שדה הפונק' הרציונליות מעל השדה ‪:F‬‬ ‫‬ ‫‬ ‫)‪p (x‬‬ ‫= )‪F (x‬‬ ‫‪| p, q ∈ F [x] , q 6= 0‬‬ ‫)‪q (x‬‬ ‫‬ ‫כלומר ‪ xIn − A, xIn − B‬דומות כמטריצות מעל )‪ ,F (x‬ובפרט מתקיים השויון הדרוש‪.‬‬ ‫הגדרה ‪.53‬תהי ‪ T : V → V‬ה“ל כאשר ‪.dim V = n‬נגדיר את הפולינום האופייני )פ“א( של ‪ T‬להיות הפ“א של המטריצה‬ ‫המייצגת של ‪ ,T‬כלומר )‪ fT (x) = f[T ]B (x‬ביחס לבסיס ‪ B‬כלשהו של ‪.V‬נשים לב שהוא מוגדר היטב‪ ,‬שכן אם ניקח‬ ‫בסיסים שונים הטריצות המייצגות יהיו דומות ולכן עם אותו פולינום אופייני‪.‬‬ ‫מסקנה ‪.54‬הע“ע של ה“ל ‪ T‬הם שורשי הפ“א שלה‪.‬‬ ‫‪17‬‬ ‫דוגמה ‪.55‬‬ ‫‪ Tθ : R2 → R2 1.‬העתקת הסיבוב‪.‬‬ ‫!‬ ‫‪cos θ − sin θ‬‬ ‫‪x − cos θ‬‬ ‫‪sin θ‬‬ ‫‪[Tθ ]E‬‬ ‫= )‪⇒ fT (x‬‬ ‫‪= (x − cos θ)2 + sin2 θ‬‬ ‫‪sin θ cos θ‬‬ ‫‪− sin θ x − cos θ‬‬ ‫ונשים לב שלפ“א אין שורשים ממשיים כאשר ‪.sin θ 6= 0‬מעל המרוכבים השורשים הינם ‪.x1,2 = cos θ ± sin θ‬‬ ‫‪ D : Rn [x] → Rn [x] 2.‬העתקת הנגזרת‪.‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪0‬‬ ‫‪... 0‬‬‫‪0‬‬ ‫‪x −1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪2‬‬ ‫‪... 0‬‬‫‪0‬‬ ‫‪x −2‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪... 0‬‬‫‪3‬‬ ‫‪...‬‬ ‫‪[D]E =.‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫= )‪..... ⇒ fD (x‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪x‬‬ ‫‪= xn+1‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬‫‪.‬‬ ‫‪...‬‬ ‫‪−n‬‬ ‫‪0 0 0 0... n‬‬ ‫‪x‬‬ ‫‪0 0 0 0... 0‬‬ ‫הגדרה ‪.56‬הריבוי האלגברי של ע“ע ‪ λ‬מהשדה מוגדר להיות הריבוי שלו כשורש של הפ“א‪.‬‬ ‫)תזכורת‪ :‬אם ‪ λ‬שורש מריבוי ‪ d‬של פולינום )‪ ,p (x‬אז )‪ (x − λ)d | p (x‬וגם )‪((x − λ)d+1 ∤ p (x‬‬ ‫‪Q‬‬ ‫הערה ‪.57‬אם ‪ p (x) = kj=1 (x − λj )rj‬כאשר ‪ λ1 , λ2 ,... , λk‬שונים זה מזה‪ ,‬אז ‪ λj‬הוא שורש מריבוי ‪.rj‬‬ ‫טענה ‪.58‬תהי ‪ T : V → V‬ה“ל‪.‬אז לכל ע“ע ‪ λ‬של ‪ T‬מתקיים עבור הריבוי האלגברי שלו ‪ rλ‬והריבוי הגיאומטרי שלו‬ ‫‪:dλ‬‬ ‫‪d λ ≤ rλ‬‬ ‫הוכחה‪.‬יהא ‪ Vλ‬המ“ע המתאים ל‪.λ-‬יהא ‪ Bλ ⊆ Vλ‬בסיס של תמ“ו זה‪.‬עפ“י הגדרה ‪.|Bλ | = dλ‬נשלים את ‪ Bλ‬לבסיס‬ ‫‪ B‬של ‪ V‬ונקבל‬ ‫‪‬‬ ‫‪‬‬ ‫‪λ‬‬ ‫∗‬ ‫‪‬‬ ‫‪..‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪.‬‬ ‫‪‬‬ ‫‪[T ]B = ‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪λ‬‬ ‫‪‬‬ ‫‪0‬‬ ‫‪C‬‬ ‫אך זוהי מטריצת בלוקים‪ ,‬כלומר‬ ‫)‪fT (x) = (x − λ)dλ · fC (x‬‬ ‫‪18‬‬ ‫‬ ‫ולכן בהכרח ‪.dλ ≤ rλ‬‬ ‫משפט ‪) 59‬משפט הלכסון(‪.‬תהי ‪ T : V → V‬ה“ל עם פ“א )‪.fT (x‬אז ‪ T‬לכסינה אם“ם‪:‬‬ ‫‪Qk‬‬ ‫= )‪) fT (x‬כלומר הפ“א מתפרק למכפלת גורמים לינארים‪ ,‬כאשר ‪ k‬הוא מספר הע“ע השונים(‬ ‫‪j=1‬‬ ‫‪(x − λj )rj.1‬‬ ‫‪.2‬לכל ע“ע של ‪ T‬מתקיים השוויון ‪.rλ = dλ‬‬ ‫הוכחה‪.‬‬ ‫⇐‪:‬‬ ‫נניח כי ‪ T‬לכסינה‪.‬לכן קיים ל‪ V -‬בסיס של ו“ע ) ‪ B = (b1 , b2 ,... , bn‬שמתאימים לע“ע ‪) λ1 , λ2 ,... , λn‬כולל חזרות( עבורו‬ ‫‪ [T ]B‬אלכסונית‪.‬נקבל‬ ‫‪x − λ1‬‬ ‫‪x − λ2‬‬ ‫‪Y‬‬ ‫‪n‬‬ ‫= ) ‪fT (x) = det (xIn − [T ]B‬‬ ‫‪...‬‬ ‫=‬ ‫) ‪(x − λi‬‬ ‫‪i=1‬‬ ‫‪x − λn‬‬ ‫כלומר הפ“א מתפרק למכפלת גורמים לינאריים‪.‬בנוסף‬ ‫‪dj‬‬ ‫‪X‬‬ ‫{ |} ‪k z‬‬ ‫‪X‬‬ ‫‪k‬‬ ‫‪deg f =n‬‬ ‫≤ |‪n = dim V = |B‬‬ ‫≤ ‪dim V‬‬ ‫‪rj‬‬ ‫=‬ ‫‪n ⇒ d j = rj‬‬ ‫‪j=1‬‬ ‫‪j=1‬‬ ‫⇒‪:‬‬ ‫‪Pk‬‬ ‫‪Pk‬‬ ‫‪.‬מהנתונים‪:‬‬ ‫‪j=1‬‬ ‫‪ ,‬כלומר ‪dj = n‬‬ ‫‪j=1‬‬ ‫‪dim Vλj‬‬ ‫נזכור ש ‪ T‬לכסינה אם ‪= n‬‬ ‫‪X‬‬ ‫‪k‬‬ ‫‪X‬‬ ‫‪k‬‬ ‫= ‪dj‬‬ ‫‪rj = n‬‬ ‫‪j=1‬‬ ‫‪j=1‬‬ ‫כאשר השוויון האחרון נובע מחלק א' של ההוכחה‪ ,‬שהרי הפ“א ממעלה ‪ n‬ומתפרק למכפלת גורמים לינארים‪.‬נסיק מכך‬ ‫‬ ‫ש‪ T -‬לכסינה כנדרש‪.‬‬ ‫‪19‬‬ ‫‪ 12.6‬הרצאה ‪5‬‬ ‫משפט קיילי‪-‬המילטון‬ ‫הגדרה ‪.60‬נגיד שה“ל ‪ T : V → V‬כאשר ‪ dim V‬סופי ניתנת לשילוש אם קיים ל‪ V -‬בסיס ‪ B‬כך ש‪ [T ]B -‬משולשת‪.‬‬ ‫מטריצה ) ‪ A ∈ Mn (F‬ניתנת לשילוש אם היא דומה למטריצה משולשת‪.‬‬ ‫הערה ‪ T : V → V.61‬ניתנת לשילוש אם“ם ‪ [T ]B‬ניתנת לשילוש עבור בסיס ‪ B‬כלשהו‪.‬‬ ‫משפט ‪) 62‬משפט השילוש(‪.‬תהא ‪ T : V → V‬ה“ל כאשר ‪.dim V = n‬אז ‪ T‬ניתנת לשילוש אם“ם הפ“א של ‪ T‬מתפרק‬ ‫למכפלת גורמים לינארים‪.‬‬ ‫הוכחה‪.‬‬ ‫⇐‪ :‬נניח ש‪ [T ]B -‬משולשת‪.‬מתקיים‬ ‫‪‬‬ ‫‪‬‬ ‫‪λ1‬‬ ‫∗‬ ‫∗‬ ‫∗‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪λ2‬‬ ‫∗‬ ‫‪∗‬‬ ‫‪Y‬‬‫‪n‬‬ ‫‪[T ]B = ‬‬ ‫‪‬‬ ‫‪..‬‬ ‫= )‪ ⇒ fT (x‬‬ ‫‪‬‬ ‫) ‪(x − λk‬‬ ‫‪‬‬ ‫‪.‬‬ ‫‪∗‬‬ ‫‪k=1‬‬ ‫‪λn‬‬ ‫כלומר הפ“א מתפרק למכפלת גורמים לינארים‪.‬‬ ‫⇒‪ :‬נוכיח באינדוקציה על ‪:dim V‬‬ ‫בסיס האינדוקציה‪:‬‬ ‫עבור ‪ dim V = 1‬מתקיים ) ‪ [T ]B ∈ Mn (F‬תמיד משולשת לכל בסיס ‪.B‬‬ ‫צעד האינדוקציה‪:‬‬ ‫כאן ‪ ,dim V = n + 1‬נציג‬ ‫‪Y‬‬ ‫‪n+1‬‬ ‫= )‪fT (x‬‬ ‫) ‪(x − λk‬‬ ‫‪k=1‬‬ ‫נבחר ו“ע ‪ v1 6= 0‬שמתאים לע“ע ‪ ,λ1‬כלומר ‪.T v1 = λ1 v1‬נרחיב לבסיס של ‪ B‬של המ“ו ‪.B = v1, , w1 , w2 ,... , wn‬נסמן‬ ‫) ‪ B̂ = (w1 , w2 ,... , wn‬וכן ̂‪ ,W = SpanB‬כאשר זה כמובן ת“מ של ‪ V‬ממימד ‪.n‬מתקיים‬ ‫‪‬‬ ‫‪‬‬ ‫‪λ1 α 1‬‬ ‫‪α2‬‬ ‫‪... αn‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪[T ]B = ‬‬ ‫‪‬‬ ‫‪..‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪.‬‬ ‫) ‪ ∈ Mn (F‬‬ ‫‪‬‬ ‫‪0‬‬ ‫נשים לב ש‪ ,T |W = T1 +T2 -‬כאשר } ‪ T1 : W → Span {v1‬ו‪ T2 : W → W -‬ומקיימות = ̂‪(v1 ) = (α1 , α2 ,... , αn ) , [T2 ]B‬‬ ‫̂‪[T1 ]B‬‬ ‫̃‪.A‬‬ ‫‪20‬‬ ‫כמו כן‪ ,‬מכיוון שמדובר במטריצת בלוקים‪:‬‬ ‫‪Y‬‬ ‫‪n+1‬‬ ‫)‪(x − λk ) = fT (x) = (x − λ1 ) · f (x) = (x − λ1 ) · fT2 (x‬‬ ‫‪k=1‬‬ ‫‪Q‬‬ ‫‪ ,fT2 (x) = n+1‬כלומר הפ“א של ‪ T2‬מתפרק למכפלת גורמים לינארים‪.‬מהנחת האינדוקציה קיים ל‪W -‬‬ ‫ולכן ) ‪k=2 (x − λk‬‬ ‫בסיס ̂‪ C‬כך ש‪ [T2 ]Ĉ -‬משולשת עליונה‪.‬נגדיר ̂‪ C = v1 ∪ C‬בסיס של ‪ ,V‬ונקבל‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪λ1‬‬ ‫̂‪[T1 ]C‬‬ ‫‪λ1‬‬ ‫‪‬‬ ‫) ‪(v1‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪ ‬‬ ‫‪‬‬ ‫‪[T ]C = ‬‬ ‫‪[T‬‬ ‫̂‪|W ]C‬‬ ‫‪C‬‬ ‫‪=‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫̂‪[T2 ]C‬‬ ‫‪‬‬ ‫‬ ‫כאשר זו משולשית עליונה‪ ,‬כנדרש‪.‬‬ ‫משפט ‪) 63‬משפט קיילי‪-‬המילטון(‪.‬תהי ) ‪.A ∈ Mn (F‬אז ‪.fA (A) = 0‬אם ‪ T : V → V‬ה“ל כאשר ∞ < ‪ ,dim V‬אז‬ ‫‪.fT (T ) = 0‬‬ ‫דוגמה ‪.64‬‬ ‫‪ 1.‬עבור מטריצה ‪:2 × 2‬‬ ‫!‬ ‫‪1 2‬‬ ‫=‪A‬‬ ‫‪⇒ fA (x) = x2 − 5x − 2‬‬ ‫‪3 4‬‬ ‫!‬ ‫!‬ ‫!‬ ‫‪1 2‬‬ ‫‪1 2‬‬ ‫‪1 2‬‬ ‫= )‪⇒ fA (A‬‬ ‫‪−5‬‬ ‫‪− 2I‬‬ ‫‪3 4‬‬ ‫‪3 4‬‬ ‫‪3 4‬‬ ‫!‬ ‫‪0 0‬‬ ‫=‬ ‫‪0 0‬‬ ‫‪ 2.‬ראינו שהעתקת הנגזרת היא ‪ ,xn+1‬ואכן לכל פולינום ‪ p‬שמקיים ‪ deg p ≤ n‬יתקיים ‪.p(n+1) (x) = 0‬‬ ‫טענה ‪.65‬אם ‪ A = [T ]B‬המטריצה המייצגת של ה“ל ‪ T : V → V‬ביחס לבסיס ‪ ,B‬אז לכל ]‪ p (x) ∈ F [x‬מתקיים‬ ‫)‪[f (T )]B = f (A‬‬ ‫‪21‬‬ ‫הוכחה‪.‬מתקיים‬ ‫"‬ ‫!‬ ‫‪#‬‬ ‫"‬ ‫‪#‬‬ ‫‪X‬‬ ‫‪m‬‬ ‫‪X‬‬ ‫‪m‬‬ ‫‪X‬‬ ‫‪m‬‬ ‫ ‬ ‫‪X‬‬ ‫‪m‬‬ ‫‪X‬‬ ‫‪m‬‬ ‫‪α k xk‬‬ ‫) ‪(T‬‬ ‫=‬ ‫‪αk T k‬‬ ‫=‬ ‫= ‪αk T k B‬‬ ‫= ‪αk [T ]k‬‬ ‫‪α k Ak‬‬ ‫‪k=0‬‬ ‫‪B‬‬ ‫‪k=0‬‬ ‫‪B‬‬ ‫‪k=0‬‬ ‫‪k=0‬‬ ‫‪k=0‬‬ ‫‬ ‫טענה ‪.66‬אם ‪ A, B‬זוג מטריצות דומות ו‪ f (x) ∈ F [x] -‬אז גם )‪ f (A) , f (B‬דומות‪.‬‬ ‫‪P‬‬ ‫‪−1‬‬ ‫‪.f (x) = m‬אז‬ ‫‪k‬‬ ‫‪ ,B = P‬ו‪k=0 αk x -‬‬ ‫הוכחה‪.‬נסמן ‪AP‬‬ ‫!‬ ‫‪X‬‬ ‫‪m‬‬ ‫‪k‬‬ ‫‪X‬‬ ‫‪m‬‬ ‫‪X‬‬ ‫‪m‬‬ ‫‪αk P −1 AP‬‬ ‫=‬ ‫· ‪αk P −1 Ak P = P −1‬‬ ‫‪Ak‬‬ ‫‪·P‬‬ ‫‪k=0‬‬ ‫‪k=0‬‬ ‫‪k=0‬‬ ‫‬ ‫וסוף סוף הוכחת משפט קיילי‪-‬המילטון‪:‬‬ ‫הוכחה‪.‬נוכיח עבור ‪ T : V → V‬כאשר ∞ < ‪.dim V‬ראשית‪ ,‬נוכיח באינדוקציה על ‪ dim V‬עבור ה“ל הניתנת לשילוש‪:‬‬ ‫בסיס האינדוקציה ‪:dim V = 1‬‬ ‫המטריצה המייצגת ביחס לכל בסיס תהיה מהצורה )‪ ,[T ]B = (a‬והפ“א הינו ‪.fT (x) = x − a‬‬ ‫כעת )‪ ,[T − aI]B = (0‬ומכאן ‪.fT (T ) = 0‬‬ ‫צעד האינדוקציה ‪:dim V = n + 1‬‬ ‫‪Qn+1‬‬ ‫‪ T‬ניתנת לשילוש‪ ,‬ולכן ) ‪.fT (x) = k=1 (x − λk‬יהי ‪ B = b1 , b2 ,... , bn+1‬בסיס שביחס אליו ‪ [T ]B‬משולשת עליונה‪.‬‬ ‫מתקיים‬ ‫‪‬‬ ‫‪‬‬ ‫∗ ∗ ∗ ‪λ1‬‬ ‫‪α1‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪α1‬‬ ‫‪‬‬ ‫∗ ∗ ‪0 λ2‬‬ ‫‪α2‬‬ ‫‪ ‬‬ ‫‪.. ‬‬ ‫‪‬‬ ‫‪ ‬‬ ‫‪‬‬ ‫‪..‬‬ ‫‪....‬‬ ‫‪..‬‬ ‫‪ ‬‬ ‫̃‪A‬‬ ‫‪. ‬‬ ‫‪‬‬ ‫‪[T ]B = ‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫∗ ‪.‬‬ ‫‪.‬‬ ‫‪=‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪ ‬‬ ‫‪αn ‬‬ ‫‪‬‬ ‫‪..‬‬ ‫‪..‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪λn‬‬ ‫‪αn‬‬ ‫‪‬‬ ‫‪λn+1‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪...‬‬ ‫‪0‬‬ ‫‪λn+1‬‬ ‫נסמן ) ‪ ,B̂ = (b1 , b2 ,... , bn‬ו‪.W = SpanB̂-‬זהו ת“מ של ‪ V‬ממימד ‪.n‬נקבל ‪ T |W : W → W‬וכן ̃‪.[T |W ]B̂ = A‬נשים‬ ‫לב שזו מטריצה משולשת‪ ,‬כלומר מהנחת האינדוקציה‬ ‫‪fT |W (T |W ) = 0 : W → W‬‬ ‫כאשר‬ ‫‪Y‬‬ ‫‪n‬‬ ‫= ̃‪fT |W = fA‬‬ ‫) ‪(x − λk‬‬ ‫‪k=1‬‬ ‫‪22‬‬ ‫כלומר ) ‪.fT (x) = fT |W (x) (x − λn+1‬נשים לב ש‪ ,(T − λn+1 I) : V → W -‬ולכן אם נראה שלכל ‪ v ∈ B‬מתקיים‬ ‫‪ (T − λn+1 I) v ∈ W‬סיימנו‪ ,‬שכן‬ ‫‪∀w ∈ W : fT |W (T |W ) (w) = 0‬‬ ‫ואכן‪:‬‬ ‫‪1 ≤ k ≤ n : (T − λn+1 I) (bk ) = T bk − λn+1 bk ∈ W‬‬ ‫ועבור ‪:k = n + 1‬‬ ‫‪X‬‬ ‫‪n‬‬ ‫‪X‬‬ ‫‪n‬‬ ‫= ) ‪(T − λn+1 I) (bn+1‬‬ ‫= ‪αk bk + λn+1 bn+1 − λn+1 bn+1‬‬ ‫‪α k bk ∈ W‬‬ ‫‪k=1‬‬ ‫‪k=1‬‬ ‫ולסיכום‪:‬‬ ‫‪‬‬ ‫‪∈W‬‬ ‫‪‬‬ ‫‪0:W →W‬‬ ‫‪‬‬ ‫‪∈W‬‬ ‫‪‬‬ ‫‪z‬‬ ‫|}‬ ‫{‬ ‫‪z‬‬ ‫|}‬ ‫‪{ z‬‬ ‫|}‬ ‫{‬ ‫‪∀v ∈ V : fT (T ) (v) = fT |W‬‬ ‫‪(T ) (T − λn+1 I) (v) =fT |W (T |W ) (T − λn+1 I) (v) = 0‬‬ ‫נותר להוכיח את המשפט לה“ל שאינן ניתנות לשילוש‪:‬‬ ‫יהי ‪ B‬בסיס כלשהו של ‪ V‬ונציג ) ‪ ,A = [T ] ∈ Mn (F‬כאשר ‪ A.dim V = n‬אינה ניתנת לשילוש‪ ,‬ולכן הפ“א שלה אינו‬ ‫מתפרק למכפלת גורמים לינארים מעל ‪.F‬הוכחנו שניתן להרחיב את ‪ F‬לשדה ‪ K‬שמעליו ‪ fA = fT‬כן מתפרקים למכפלת‬ ‫גורמים לינארים‪ ,‬כלומר ‪ A‬דומה למטריצה משולשת )‪.C ∈ Mn (K‬מכאן ש‪ fC (A)-‬דומה למטריצת האפס )מעל ‪ ,(K‬ולכן‬ ‫היא בעצמה מטריצת האפס‪.‬כלומר‬ ‫‪0 = fC (A) = fA (A) = fT (A) = fT ([T ]B ) = [fT (T )]B‬‬ ‫‬ ‫ונסיק ש‪ fT (T ) = 0-‬כ נ ד ר ש‪.‬‬ ‫‬ ‫‪n2‬‬ ‫‪ Ak‬בהכרח ת“ל משיקולי מימד‪.‬אולם‪ ,‬משפט קיילי‪-‬המילטון מוכיח לנו שגם‬ ‫הערה ‪.67‬עבור ) ‪ A ∈ Mn (F‬החזקות‬ ‫‪k=0‬‬ ‫‬ ‫‪n‬‬ ‫‪ Ak k=0‬ת“ל‪ ,‬כלומר‬ ‫}]‪n ≥ dim {p (A) | p ∈ F [x‬‬ ‫שכן‪ ,‬הצבת המטריצה בפולינום הינה צ“ל לא טריוויאלי שמתאפס‪.‬‬ ‫הגדרה ‪.68‬תהא ‪ T : V → V‬ה“ל כאשר ∞ < ‪.dim V‬הפולינום המינימלי של ‪) T‬נסמן )‪ (mT (x‬הוא פולינום מתוקן‬ ‫ממעלה מינימלית ש‪ T -‬מאפסת‪.‬‬ ‫משפט ‪.69‬הפולינום המינימלי קיים ומוגדר היטב‪.‬‬ ‫‪23‬‬ ‫הוכחה‪.‬אידיאלים!‬ ‫נתבונן באידיאל ]‪) I = {p (x) | p (T ) = 0} ⊆ F [x‬אכן סגור לחיבור‪ ,‬לכפל ומכיל את וקטור ה‪.(0-‬נשים לב ש‪ I-‬אינו‬ ‫טריוויאלי )מכיל רק את ‪ (0‬שכן ממשפט קיילי‪-‬המילטון ‪6 fT ∈ I‬‬ ‫= ‪.0‬‬ ‫]‪ F [x‬הוא תחום ראשי‪ ,‬ולכן ל‪ I-‬יש יוצר מתוקן‪ ,‬נסמנו ב‪.mT (x)-‬כמובן ש‪ mT ∈ I-‬ולכן ‪.mT (T ) = 0‬כמו כן לכל‬ ‫‬ ‫‪ f ∈ I‬מתקיים ‪ mT | f‬ולכן ‪ mT‬ממעלה מינימלית‪ ,‬כנדרש‪.‬‬ ‫הערה ‪.70‬אם ‪ f (T ) = 0‬בהכרח ‪ ,mT | f‬ובפרט ‪.mT | fT‬‬ ‫דוגמה ‪ ,T = Id.71‬אז המטריצה המייצגת הינה מטריצת היחידה‪.‬מכאן ש‪ ,fT (x) = (x − 1)n -‬וכן )‪mT (x) = (x − 1‬‬ ‫)וברור כי ‪.(mT | fT‬‬ ‫‪24‬‬ ‫‪ 18.06‬הרצאה ‪6‬‬ ‫הפולינום המינימלי‬ ‫טענה ‪) 72‬טענות של כלום(‪.‬אם ‪ A‬מטריצה מייצגת של ה“ל ‪ T‬ביחס לבסיס ‪ B‬אז ‪.mA = mT‬‬ ‫הוכחה‪.‬לכל ]‪ p (x) ∈ F [x‬מתקיים‬ ‫) ‪[p (T )]B = p ([T ]B‬‬ ‫ולכן אם נביט באידיאלים מתקיים‬ ‫}‪{p (x) | p (T ) = 0} = {p (x) | p (A) = 0‬‬ ‫‬ ‫ומכאן שגם היוצר המתוקן היחיד שלהם ‪ -‬הפולינום המינימלי ‪ -‬זהה‪.‬‬ ‫מסקנה ‪.73‬אם ‪ A, C‬זוג מטריצות דומות אז ‪.mA = mc‬‬ ‫‬ ‫הוכחה‪ A, C.‬

Use Quizgecko on...
Browser
Browser