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

מתוך Math-Wiki
קפיצה אל: ניווט, חיפוש
(מציאת מרחבים עצמיים של הערכים העצמיים)
(בדיקה האם המטריצה לכסינה, ואם כן מציאת המטריצה המלכסנת)
שורה 22: שורה 22:
  
 
===בדיקה האם המטריצה לכסינה, ואם כן מציאת המטריצה המלכסנת===
 
===בדיקה האם המטריצה לכסינה, ואם כן מציאת המטריצה המלכסנת===
אם סכום האיברים מהבסיסים של המרחבים העצמיים שווה למימד המרחב כולו, אזי המטריצה לכסינה והמטריצה המלכסנת P היא המטריצה שעמודותיה הם הוקטורים מהבסיסים הנ"ל.
+
אם סכום מימדי המרחבים העצמיים שווה למימד המרחב כולו (ניתן לגלות לפי מספר האיברים בבסיסים), אזי המטריצה לכסינה והמטריצה המלכסנת P היא המטריצה שעמודותיה הם הוקטורים מהבסיסים הנ"ל.
  
 
אחרת, המטריצה אינה לכסינה
 
אחרת, המטריצה אינה לכסינה

גרסה מ־15:55, 21 בנובמבר 2011

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

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

f_A(x):=|xI-A|

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

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

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

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

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


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


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

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

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

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

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