הפולינום האופייני: הבדלים בין גרסאות בדף

מתוך Math-Wiki
שורה 11: שורה 11:




*x הינו ע"ע של המטריצה A
*x הינו [[וקטור עצמי|ע"ע]] של המטריצה A
לפי ההגדרה:
לפי ההגדרה:


שורה 36: שורה 36:
===משפט===  
===משפט===  


x הינו ע"ע של A אם"ם x הינו שורש של הפולינום האופייני של A
x הינו [[וקטור עצמי|ע"ע]] של A אם"ם x הינו שורש של הפולינום האופייני של A

גרסה מ־17:12, 22 באוקטובר 2012

הגדרה

תהי A מטריצה ריבועית, אזי הפולינום האופייני שלה מוגדר להיות:

[math]\displaystyle{ f_A(x):=\Big|xI-A\Big| }[/math]

קל לוודא שזה אכן פולינום במשתנה x.

קשר בין פולינום אופייני לע"ע

כל התנאים הבאים שקולים:


  • x הינו ע"ע של המטריצה A

לפי ההגדרה:

  • קיים [math]\displaystyle{ v\neq 0 }[/math] וגם [math]\displaystyle{ Av=xv }[/math]

מעבר אגפים:

  • קיים [math]\displaystyle{ v\neq 0 }[/math] וגם [math]\displaystyle{ Av-xv=0 }[/math]

(דיסטריביוטיביות של כפל מטריצות:)

  • קיים [math]\displaystyle{ v\neq 0 }[/math] וגם [math]\displaystyle{ (A-xI)v=0 }[/math]

לפי ההגדרה:

  • קיים פתרון לא טריוויאלי במרחב האפס [math]\displaystyle{ N(A-xI) }[/math]

משפט מלינארית 1:

  • המטריצה [math]\displaystyle{ A-xI }[/math] אינה הפיכה

משפט מלינארית 1:

  • [math]\displaystyle{ |A-xI|=0 }[/math]

לפי הגדרה:

  • [math]\displaystyle{ f_A(x)=0 }[/math]

משפט

x הינו ע"ע של A אם"ם x הינו שורש של הפולינום האופייני של A