הבדלים בין גרסאות בדף "אלגוריתם ללכסון מטריצה"
מתוך Math-Wiki
(←מציאות ערכים עצמיים של המטריצה) |
(←מציאות הערכים העצמיים של המטריצה) |
||
| שורה 4: | שורה 4: | ||
<math>p_A(x):=\left|xI-A\right|</math>. | <math>p_A(x):=\left|xI-A\right|</math>. | ||
| − | === | + | ===מציאת הערכים העצמיים של המטריצה וריבויים האלגברי=== |
<math>\lambda</math> ערך עצמי של <math>A</math> אם ורק אם <math>p_A(\lambda)=0</math>. | <math>\lambda</math> ערך עצמי של <math>A</math> אם ורק אם <math>p_A(\lambda)=0</math>. | ||
| + | |||
| + | לכל שורש <math>\lambda</math> של <math>p_A(x)</math>, נוציא מהפולינום גורם <math>(x-\lambda)</math>, | ||
| + | עד שנגיע למצב | ||
| + | <math>p_A(x)=(x-\lambda_1)^{r_1}\cdots(x-\lambda_k)^{r_k}</math>. | ||
| + | |||
| + | <math>\lambda_1,\dots,\lambda_k</math> הם הערכים העצמיים השונים של <math>A</math>, | ||
| + | ו | ||
| + | <math>r_1,\dots,r_k</math> | ||
| + | הם הריבויים האלגבריים שלהם, בהתאמה. | ||
===מציאת מרחבים עצמיים של הערכים העצמיים=== | ===מציאת מרחבים עצמיים של הערכים העצמיים=== | ||
גרסה מ־18:20, 29 בנובמבר 2011
תהי מטריצה A. נרצה לדעת האם היא לכסינה ומהי המטריצה המלכסנת שלה
תוכן עניינים
מציאת פולינום אופייני
.
מציאת הערכים העצמיים של המטריצה וריבויים האלגברי
ערך עצמי של 
אם ורק אם 
.
לכל שורש של 
, נוציא מהפולינום גורם 
,
עד שנגיע למצב
.
הם הערכים העצמיים השונים של ,
ו
הם הריבויים האלגבריים שלהם, בהתאמה.
מציאת מרחבים עצמיים של הערכים העצמיים
המרחב העצמי של ע"ע x מוגדר להיות:
קל להוכיח כי 
. במילים, המרחב העצמי של ע"ע הוא אוסף הפתרונות של המערכת ההומוגנית המתאימה למטריצה A-xI.
- מומלץ להיזכר במציאת בסיס למרחב האפס
מציאת בסיסים למרחבים העצמיים
ידוע מלינארית 1 כי בסיס למרחב האפס מורכב מהפתרונות הפונדומנטליים של המערכת ההומוגנית
בדיקה האם המטריצה לכסינה, ואם כן מציאת המטריצה המלכסנת
אם סכום מימדי המרחבים העצמיים שווה למימד המרחב כולו (ניתן לגלות לפי מספר האיברים בבסיסים), אזי המטריצה לכסינה והמטריצה המלכסנת P היא המטריצה שעמודותיה הם הוקטורים מהבסיסים הנ"ל.
אחרת, המטריצה אינה לכסינה
