שינויים
/* הוכחה על מטריצות מלוות */
תהי <math>A</math> ריבועית. איך מוכיחים שאם הפולינום האופייני שלה שווה לפולינום המינימלי, אז המטריצה המלווה של הפולינום האופייני שלה דומה ל-<math>A</math> ?
: '''הגדרה'''. מרחב וקטורי הוא "ציקלי" ביחס ל-A, אם יש בו וקטור v כך שהוקטורים <math>\ \ v,Av,A^2v,\dots,A^{n-1}v</math> פורשים את כל המרחב.
: '''טענה'''. אם הפולינום המינימלי של מטריצה מסדר n הוא ממעלה n, אז המרחב ציקלי ביחס אליה.
: (ההוכחה מבוססת על משפט לא קל, הקובע שאפשר לפרק כל מרחב לסכום ישר של תת-מרחבים ציקליים).
: '''פתרון השאלה''': לפי הטענה, יש וקטור v כך ש- <math>\ \ v,Av,A^2v,\dots,A^{n-1}v</math> מהווים בסיס של המרחב. אם נחשב בזהירות את המטריצה המייצגת של העתקת הכפל ב-A לפי הבסיס הזה, נגלה שהיא שווה בדיוק למטריצה המלווה של הפולינום המינימלי של A. לכן A והמטריצה המלווה מייצגים את אותה העתקה בבסיסים שונים, ומכאן שהמטריצות דומות זו לזו. [[משתמש:עוזי ו.|עוזי ו.]] 00:08, 21 ביוני 2012 (IDT)
== תרגיל 9 ==
