הבדלים בין גרסאות בדף "אלגוריתם ללכסון מטריצה"

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(מציאת פולינום אופייני)
(מציאות ערכים עצמיים של המטריצה)
שורה 4: שורה 4:
 
<math>p_A(x):=\left|xI-A\right|</math>.
 
<math>p_A(x):=\left|xI-A\right|</math>.
  
===מציאות ערכים עצמיים של המטריצה===
+
===מציאות הערכים העצמיים של המטריצה===
x הינו ע"ע של A אם ורק אם x הינו שורש של הפולינום האופייני של A
+
<math>\lambda</math> ערך עצמי של <math>A</math> אם ורק אם <math>p_A(\lambda)=0</math>.
  
 
===מציאת מרחבים עצמיים של הערכים העצמיים===
 
===מציאת מרחבים עצמיים של הערכים העצמיים===

גרסה מ־18:16, 29 בנובמבר 2011

תהי מטריצה A. נרצה לדעת האם היא לכסינה ומהי המטריצה המלכסנת שלה

מציאת פולינום אופייני

p_A(x):=\left|xI-A\right|.

מציאות הערכים העצמיים של המטריצה

\lambda ערך עצמי של A אם ורק אם p_A(\lambda)=0.

מציאת מרחבים עצמיים של הערכים העצמיים

המרחב העצמי של ע"ע x מוגדר להיות:

V_x:=\{v|Av=xv\}


קל להוכיח כי V_x=N(A-xI). במילים, המרחב העצמי של ע"ע הוא אוסף הפתרונות של המערכת ההומוגנית המתאימה למטריצה A-xI.


מציאת בסיסים למרחבים העצמיים

ידוע מלינארית 1 כי בסיס למרחב האפס מורכב מהפתרונות הפונדומנטליים של המערכת ההומוגנית

בדיקה האם המטריצה לכסינה, ואם כן מציאת המטריצה המלכסנת

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

אחרת, המטריצה אינה לכסינה