(2 גרסאות ביניים של אותו משתמש אינן מוצגות) | |||
שורה 10: | שורה 10: | ||
ב) מצא P הפיכה כך ש <math>P^{-1}AP</math> היא צורת ז'ורדן של A. | ב) מצא P הפיכה כך ש <math>P^{-1}AP</math> היא צורת ז'ורדן של A. | ||
+ | |||
+ | מקור: [http://u.cs.biu.ac.il/~tsaban/LinearAlgebra/Exams/HU_LA2/80135_2009_2_1_1.pdf] | ||
'''פתרון:''' | '''פתרון:''' | ||
נתבונן בפולינום האופייני של A (שהוא קל לחישוב, מטר' משולשית): <math>P_A(x) = (x-5)(x-4)(x-3)^{2}</math> לפי משפט, אותם גורמים לינאריים בדיוק יופיעו בפולינום המינימלי של A. | נתבונן בפולינום האופייני של A (שהוא קל לחישוב, מטר' משולשית): <math>P_A(x) = (x-5)(x-4)(x-3)^{2}</math> לפי משפט, אותם גורמים לינאריים בדיוק יופיעו בפולינום המינימלי של A. | ||
ברור שהריבוי הגיאומטרי של הע"ע 4,5 הוא 1. כמו כן הגורמים <math>x-4,x-5</math> יופיעו בפולינום המינימלי של A [לפי משפט], והמעלה שלהם לא תיהיה גדולה מ 1 כי פולינום מינימלי מחלק כל פולינום שמאפס את A, ובפרט את הפולינום האופייני, לפי משפט קיילי המילטון. | ברור שהריבוי הגיאומטרי של הע"ע 4,5 הוא 1. כמו כן הגורמים <math>x-4,x-5</math> יופיעו בפולינום המינימלי של A [לפי משפט], והמעלה שלהם לא תיהיה גדולה מ 1 כי פולינום מינימלי מחלק כל פולינום שמאפס את A, ובפרט את הפולינום האופייני, לפי משפט קיילי המילטון. | ||
− | לכן לפי משפט, הבלוקים הגדולים ביותר ביותר המתאימים לע"ע 4,5 | + | לכן לפי משפט, הבלוקים הגדולים ביותר ביותר המתאימים לע"ע 4,5 הם בגודל של החזקה של <math>x-4,x-5</math> בפולינום המינימלי של A, בהתאמה. ולפי מה שאמרנו זה יהיה שווה בדיוק 1. |
לכן צורת ז'ורדן של A היא משהו בסגנון של <math>J_1(5) \oplus J_1(4) \oplus B</math> | לכן צורת ז'ורדן של A היא משהו בסגנון של <math>J_1(5) \oplus J_1(4) \oplus B</math> | ||
שורה 25: | שורה 27: | ||
\end{pmatrix}</math> | \end{pmatrix}</math> | ||
וזו מטר' מדורגת מדרגה 3 מסדר 4, ולכן מימד מרחב האיפוס שלה הוא בדיוק 1, ולכן סה"כ צורת ז'ורדן של A היא: <math>G = J_1(5) \oplus J_1(4) \oplus J_2(3)</math> | וזו מטר' מדורגת מדרגה 3 מסדר 4, ולכן מימד מרחב האיפוס שלה הוא בדיוק 1, ולכן סה"כ צורת ז'ורדן של A היא: <math>G = J_1(5) \oplus J_1(4) \oplus J_2(3)</math> | ||
+ | |||
+ | |||
ב) נסמן את העמודות של P ב (v1,v2,v3,v4) בהתאמה. אזי: <math>G = P^{-1}AP</math> ולכן <math>PG=AP</math> ולכן לכל i רלוונטי <math>P*Ci(G) = A*v_i</math>. | ב) נסמן את העמודות של P ב (v1,v2,v3,v4) בהתאמה. אזי: <math>G = P^{-1}AP</math> ולכן <math>PG=AP</math> ולכן לכל i רלוונטי <math>P*Ci(G) = A*v_i</math>. |
גרסה אחרונה מ־22:20, 14 בדצמבר 2011
התרגיל:
נתונה המטר':
א) מצא את צורת ז'ורדן של A
ב) מצא P הפיכה כך ש היא צורת ז'ורדן של A.
מקור: [1]
פתרון:
נתבונן בפולינום האופייני של A (שהוא קל לחישוב, מטר' משולשית): לפי משפט, אותם גורמים לינאריים בדיוק יופיעו בפולינום המינימלי של A.
ברור שהריבוי הגיאומטרי של הע"ע 4,5 הוא 1. כמו כן הגורמים
יופיעו בפולינום המינימלי של A [לפי משפט], והמעלה שלהם לא תיהיה גדולה מ 1 כי פולינום מינימלי מחלק כל פולינום שמאפס את A, ובפרט את הפולינום האופייני, לפי משפט קיילי המילטון.
לכן לפי משפט, הבלוקים הגדולים ביותר ביותר המתאימים לע"ע 4,5 הם בגודל של החזקה של
בפולינום המינימלי של A, בהתאמה. ולפי מה שאמרנו זה יהיה שווה בדיוק 1.
לכן צורת ז'ורדן של A היא משהו בסגנון של
כמו כן, אין עוד בלוקים המתאימים לע"ע 4,5 כי הריבוי הגיאומטרי שלהם הוא בדיוק 1 = כמות הבלוקים שלהם בצורת ז'ורדן.
סך הבלוקים המתאימים לע"ע 3 הוא (ריבוי גאומטרי) כמימד מרחב האיפוס של
וזו מטר' מדורגת מדרגה 3 מסדר 4, ולכן מימד מרחב האיפוס שלה הוא בדיוק 1, ולכן סה"כ צורת ז'ורדן של A היא:
ב) נסמן את העמודות של P ב (v1,v2,v3,v4) בהתאמה. אזי: ולכן
ולכן לכל i רלוונטי
.
אז עבור i = 1,2 זה ממש קל כי אנחנו רק צריכים למצוא וקטורים עצמיים שמתאימים לע"ע 4,5... ברור שאנחנו יודעים לעשות את זה, לכן אני אחסוך לכולם[חוץ מלעצמי] חישוב מפרך ונגיע ל
נקבל לפי הנ"ל גם את המשוואות הבאות:
נעביר קצת אגפים ונקבל:
כאשר N מציין את מרחב האיפוס ו C מציין את מרחב העמודות.
כבר כתבנו למעלה את A-3I אז אפשר להסתכל עליה.
כבר אמרנו גם שמימד המרחב העצמי של הע"ע 3 הוא 1, ולכן ל יש לנו רק אפשרות אחת (עד כדי כפל בסקלר שלא מעניין אותנו פה), ממש קל לראות שאותו וקטור הוא
ולכן קיבלנו משוואה:
זו משוואה פשוטה למדי בארבעה נעלמים שאפשר לפתור עם דירוג [אגב, אין לזה פתרון יחיד]:
אבל נבחר a = 0 שיהיה נוח לכולם...
סוף סוף קיבלנו את
זה מגניב כי אם נחליף את שורה 3,4 אנחנו רואים ש P היא הפיכה [דרגה 4], אז לא דיברנו שטויות לגמרי, יש ניצוץ של תקווה... טוב נו, אם בודקים זה אכן יוצא נכון [סתם עבודה טכנית, שלצערי עשיתי אותה]