שינויים

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

משפט ז'ורדן

נוספו 7,912 בתים, 14:55, 19 בנובמבר 2013
/* תכונות של מטריצת ז'ורדן */
תהי A מטריצה ריבועית, כך ש[[הפולינום האופייני]] שלה מתפרק לגורמים לינאריים. אזי A דומה למטריצה אלכסונית בלוקים, כאשר כל בלוקיה הם בצורת ג'ורדן.
בנוסף, צורה זו יחידה עד כדי סדר הבלוקים.
 
==תכונות של מטריצת ז'ורדן==
תהי מטריצה <math>A</math> הניתנת לז'ירדון. אזי:
*כמות בלוקי הז'ורדן בצורת הז'ורדן המתאימים לע"ע מסויים, היא הריבוי הגיאומטרי של אותו ע"ע.
*גודל בולק הז'ורדן המקסימלי של ע"ע מסויים הוא החזקה של הגורם הלינארי המתאים לו בפולינום המינימלי.
 
'''דוגמא'''
 
מהן צורת הז'ורדן האפשריות עבור מטריצה בעלת פולינום אופייני <math>f_A(x)=(x-1)^4(x-2)^3</math> ופולינום מינימלי
<math>m_A(x)=(x-1)^2(x-2)^3</math>
 
'''תשובה'''
 
*<math>J_2(1)\oplus J_2(1) \oplus J_3(2)</math>
*<math>J_2(1)\oplus J_1(1) \oplus J_1(1) \oplus J_3(2)</math>
 
 
'''דוגמא'''
 
הוכיחו כי כל מטריצה דומה למשוחלפת של עצמה.
 
'''דוגמא'''
 
הוכיחו כל כל שתי מטריצות מרוכבות ריבועיות מסדר 3 בעלות אותו הפולינום האופייני ואותו הפולינום המינימלי דומות
 
'''דוגמא'''
 
הוכיחו/הפריכו: מטריצות מרוכבות בעלות אותו פולינום אופייני, אותו פולינום מינימלי ואותו ריבוי גיאומטרי עבור כל ערך עצמי הן דומות
 
'''הפרכה'''
 
*<math>J_3(0)\oplus J_3(0) \oplus J_1(0)</math>
*<math>J_3(0)\oplus J_2(0) \oplus J_2(0)</math>
 
 
'''דוגמא'''
 
תהיינה שתי מטריצות משולשיות עליונות עם אותו מספר קבוע על האלכסון, כך שכל הקבועים באלכסון המשני גדולים ממש מאפס. הוכיחו כי הן דומות.
==הוכחה ומציאת מטריצה מז'רדנת==
[[מדיה:JordanAll.pdf|סיכום בנושא משפט ז'ורדן על ידי דר' בועז צבאן]]
 
[[מדיה:זרדון מטריצה.pdf|סיכום הכללים, האלגוריתם ודוגמאות על ידי גיא בלשר]] - [[משתמש:גיא|גיא]]
 
==אלגוריתם לז'ירדון מטריצה==
 
תהי A מטריצה כך שהפולינום האופייני שלה מתפרק לגורמים לינאריים.
 
 
*נמצא את הפולינום המינימלי של המטריצה A. נסמן את הערכים העצמיים של המטריצה ב <math>\lambda_1,...,\lambda_n</math>
 
 
*עבור כל ע"ע <math>\lambda</math> נמצא בסיס מז'רדן עבור המרחב העצמי המוכלל <math>K_\lambda</math> באופן הבא:
 
 
:*נסמן ב k את החזקה של הגורם האי פריק <math>(x-\lambda)</math> בפולינום המינימלי
 
 
:*נמצא בסיס ל <math>V_\lambda\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_1(A-\lambda I)C_{i_1}([A-\lambda I]^{k-1}) + ... + 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> לבסיס בסדר משמאל לימין.
 
 
:*באופן דומה נמצא בסיס עבור <math>V_\lambda\cap C([A-\lambda I]^{k-2})</math> ונוסיף ממנו איברים לבסיס שמצאנו עד כה ובלבד שלא תיווצר תלות לינארית.
 
 
:*נמשיך בתהליך עבור <math>V_\lambda\cap C([A-\lambda I]^{k-3}),...,V_\lambda</math> עד שיהיו לנו וקטורים בבסיס כמספר הריבוי האלגברי של <math>\lambda</math>.
 
 
*נאחד את הבסיסים המז'רדנים למרחבים המוכללים לכדי בסיס B למרחב כולו, זהו הבסיס המז'רדן של המטריצה
 
 
*נשים את איברי הבסיס B בעמודות מטריצה P. מתקיים כי <math>J=P^{-1}AP</math> הינה צורת הז'ורדן של המטריצה A.
==דוגמאות==
===ז'ירדון של מטריצה ניליפוטנטית===
מצא מצאו בסיס מז'רדן למטריצה הבאה:
:<math>A=\begin{pmatrix}
בדוגמא שלנו, נבחר העמודה הראשונה, השנייה והחמישית מהוות בסיס למרחב העמודות של A:
:<math>u_1= (0,0,0,1,0)</math>
כעת נפתור את המערכת <math>a_1Au_1+a_2Au_2+a_3Au_3=0</math>, זהו בדיוק מרחב האפס של המטריצה שעמודותיה הן <math>Au_1,Au_2,Au_3</math>:  :<math>N \begin{pmatrix}1 & 0 & 1 \\0 & 0 & 0 \\-1 & 0 & -1 \\0 & 0 & 0 \\0 & 0 & 0 \\ \end{pmatrix} = span\{(0,1,0),(-1,0,1)\}</math>  כיוון שאלו המקדמים <math>a_1,a_2,a_3</math> אנו מקבלים את בסיס ל <math>N(A)\cap C(A)</math>: :<math>\{u_2,u_3-u_1\}=\{Ae_2,A(e_5-e_1)\}</math>  '''הערה''': שימו לב ש<math>u3=Ae_5</math> כיוון שזו העמודה '''החמישית'''   כיוון ש <math>Ae_2=A^2e_1</math> אנו משמטים איבר זה ונשארים עם <math>A(e_5-e_1)</math>  *המסלול <math>A(e_5-e_1),e_5-e_1</math> משלים לנו את הבסיס המז'רדן.   ====סיכום====הבסיס המז'רדן הינו :<math>A^2e_1,Ae_1,e_1,A(e_5-e_1),e_5-e_1</math> נסמן בP את המטריצה שעמודותיה הן איברי הבסיס :<math>P=\begin{pmatrix}1 & 0 & 1 & -1 & -1 \\0 & 0 & 0 & 1 & 0 \\-1 & 0 & 0 & 1 & 0 \\0 & 1 & 0 & -1 & 0 \\0 & 0 & 0 & 0 & 1 \\ \end{pmatrix}</math>  אזי (לא במפתיע) מתקיימת המשוואה הבאה:  :<math>P^{-1}AP=\begin{pmatrix}0 & 1 & 0 & 0 & 0 \\0 & 0 & 1 & 0 & 0 \\0 & 0 & 0 & 0 & 0 \\0 & 0 & 0 & 0 & 1 \\0 & 0 & 0 & 0 & 0 \\ \end{pmatrix}</math> כלומר זו צורת הז'ורדן של המטריצה A. ===ז'ירדון של מטריצה עם ע"ע יחיד=== מצאו בסיס מז'רדן למטריצה הבאה: :<math>A=\begin{pmatrix}2 & -1 & 0 & 0 & 0 & 0 \\0 & 2 & 0 & 0 & 0 & 0 \\0 & 0 & 2 & 0 & 1 & 0 \\0 & -1 & 0 & 2 & -1 & 0 \\0 & 0 & 0 & 0 & 2 & 0 \\\frac{1}{2} & 1 & -\frac{1}{2} & -\frac{1}{2} & 2.5 & 2 \\ \end{pmatrix}</math> *ראשית נמצא את הפולינום האופייני <math>p_A(x)=(x-2)^6</math>, כלומר 2 הינו הערך העצמי היחיד *לפי משפט קיילי המילטון <math>(A-2I)^6=0</math> ולכן <math>A-2I</math> ניליפוטנטית.  *נמצא לה צורת ז'ורדן <math>J=P^{-1}(A-2I)P = P^{-1}AP - P^{-1}2IP = P^{-1}AP-2I</math> *לכן צורת הז'ורדן של המטריצה A הינה <math>J+2I</math>, כאשר הבסיס המז'רדן הוא אותו בסיס המז'רדן את <math>A-2I</math>.  :<math>A-2I=\begin{pmatrix}0 & -1 & 0 & 0 & 0 & 0 \\0 & 0 & 0 & 0 & 0 & 0 \\0 & 0 & 0 & 0 & 1 & 0 \\0 & -1 & 0 & 0 & -1 & 0 \\0 & 0 & 0 & 0 & 0 & 0 \\\frac{1}{2} & 1 & -\frac{1}{2} & -\frac{1}{2} & 2.5 & 0 \\ \end{pmatrix}</math>  *כעת <math>(A-2I)^2=0</math>, לכן נמצא בסיס ל<math>C(A-2I)</math> *העמודה הראשונה, השנייה והחמישית פורסות את מרחב העמודות של המטריצה ולכן הבסיס הינו <math>(A-2I)e_1,(A-2I)e_2,(A-2I)e_5</math> *בסיס זה מייצר שלושה מסלולים מאורך שתים, ולכן מצאנו מיד בסיס מז'רדן: :<math>(A-2I)e_1,e_1,(A-2I)e_2,e_2,(A-2I)e_5,e_5</math>  :<math>P=\begin{pmatrix}0 & 1 & -1 & 0 & 0 & 0 \\0 & 0 & 0 & 1 & 0 & 0 \\0 & 0 & 0 & 0 & 1 & 0 \\0 & 0 & -1 & 0 & -1 & 0 \\0 & 0 & 0 & 0 & 0 & 1 \\\frac{1}{2} & 0 & 1 & 0 & 2.5 & 0 \\ \end{pmatrix}</math>  ושוב, הפלא ופלא, מתקיים:  :<math>P^{-1}AP=\begin{pmatrix}2 & 1 & 0 & 0 & 0 & 0 \\0 & 2 & 0 & 0 & 0 & 0 \\0 & 0 & 2 & 1 & 0 & 0 \\0 & 0 & 0 & 2 & 0 & 0 \\0 & 0 & 0 & 0 & 2 & 1 \\0 & 0 & 0 & 0 & 0 & 2 \\ \end{pmatrix}</math>