העברית, תשס"ה, מועד ב', שאלה 11
שאלה: תהי . הוכיחו כי .
סימונים:
- הפולינום האופייני של
- בלוק ג'ורדן מגודל m המתאים לע"ע
- צורת הג'ורדן של המטריצה (אם קיימת).
טענת עזר: יהי בלוק ג'ורדן. אזי
נראה באמצעות חישוב ישיר כי עבור (מטריצה בה האחדות נמצאות על האלכסון המשני) מתקיים:
ראשית נראה כי באמצעות כפל עמודה-עמודה ולכן
כעת נראה באמצעות חישוב כי :
לפי כפל שורה-שורה, נוכל לראות שהשורה האחרונה הופכת לראשונה, הלפני אחרונה לשנייה וכו':
ולפי כפל עמודה עמודה, נוכל לראות שתהליך דומה קורה לטורים (האחרון לראשן וכן הלאה):
והוכחנו את טענת העזר.
הוכחת הטענה:
ולכן מתפרק לגורמים ליניאריים (מרוכבים סגורים אלגברית) ומכאן שיש לה צורת ג'ורדן.
ומכאן שקיימת הפיכה כך שמתקיים:
ובסה"כ המטריצה המשוחלפת דומה לצורת ג'ורדן המשוחלפת של , ולכן מספיק להוכיח:
וזאת קל להראות לפי טענת העזר:
הוכחנו בליניארית 1 כי מתקיים: וניתן להכליל את הטענה באינדוקציה לכל גודל של סכום ישר.
צורת ג'ורדן הינה סכום ישר של בלוקי ג'ורדן שכל אחד מהם דומה לצורה משוחלפת שלו, נסמן את מטריצת הדימיון בQ. ניצור מטריצה P הבנוייה כסכום ישר של כל המטריצות Q לפי סדר הבלוקים של צורת הג'ורדן וניצור מטריצה K כסכום ישר של כל המטריצות ההופכות לQ. נראה כי KP=I.
וכעת נראה את הדימיון עצמו:
כאשר הוא הבלוק הi של צורת הג'ורדן של A.
הראנו כי ולכן .
מ.ש.ל