שינויים

קפיצה אל: ניווט, חיפוש

משפט ז'ורדן

נוספו 721 בתים, 15:10, 4 בדצמבר 2012
/* אלגוריתם לז'ירדון מטריצה */
*מצא נמצא את הפולינום המינימלי של המטריצה A. נסמן את הערכים העצמיים של המטריצה ב <math>\lambda_1,...,\lambda_n</math>
*עבור כל ע"ע <math>\lambda</math> מצא נמצא בסיס מז'רדן עבור המרחב העצמי המוכלל <math>K_\lambda</math> באופן הבא:
:*נביט במטריצה נמצא בסיס ל <math>(A-V_\lambda I)^{k-1}</math> ונבחר את עמודות מספר <math>i_1,...,i_p</math> המהוות בסיס למרחב העמודות <math>\cap C([A-\lambda I]^{k-1})</math>
::*נביט במטריצה <math>(A-\lambda I)^{k-1}</math> ונבחר עמודות <math>C_{i_1}([A-\lambda I]^{k-1}),...,C_{i_p}([A-\lambda I]^{k-1})</math> המהוות בסיס למרחב העמודות <math>C([A-\lambda I]^{k-1})</math>  ::*נפתור את מערכת המשוואות <math>x_1AC_x_1(A-\lambda I)C_{i_1}([A-\lambda I]^{k-1}) + ... + x_pC_x_p(A-\lambda I)C_{i_p}([A-\lambda I]^{k-1})=0</math>  ::*לכל וקטור <math>x=(x_1,...,x_n)</math> בבסיס למרחב הפתרונות למערכת נסמן <math>u_x=x_1e_{i_1}+...+x_pe_{i_p}</math>. '''הערה''': שימו לב כי תמיד מתקיים <math>C_i(A)=Ae_i</math> כאשר <math>e_i</math> הוקטור ה-i בבסיס הסטנדרטי.  ::*עבור כל וקטור x בבסיס למרחב הפתרונות נוסיף את כל הוקטורים במסלול <math>(A-\lambda I)^{k-1}u_x, (A-\lambda I)^{k-2}u_x,...,(A-\lambda I)u_x,u_x</math> לבסיס המז'רדן בסדר משמאל לימין.