|
|
| שורה 1: |
שורה 1: |
| − | התרגיל:
| |
| − | נתונה המטר': <math>A=\begin{pmatrix}
| |
| − | 5 & 0 & 0 & 0 \\
| |
| − | 1 & 4 & 0 & 0\\
| |
| − | 2 & 3 & 3 & 0\\
| |
| − | 4 & 5 & 6 & 3
| |
| − | \end{pmatrix}</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.
| |
| − | ברור שהריבוי הגיאומטרי של הע"ע 4,5 הוא 1. כמו כן הגורמים <math>x-4,x-5</math> יופיעו בפולינום המינימלי של A [לפי משפט], והמעלה שלהם לא תיהיה גדולה מ 1 כי פולינום מינימלי מחלק כל פולינום שמאפס את A, ובפרט את הפולינום האופייני, לפי משפט קיילי המילטון.
| |
| − | לכן לפי משפט, הבלוקים הגדולים ביותר ביותר המתאימים לע"ע 4,5 הם בגודל של החזקה של <math>x-4,x-5</math> בפולינום המינימלי של A, בהתאמה. ולפי מה שאמרנו זה יהיה שווה בדיוק 1.
| |
| − | לכן צורת ז'ורדן של A היא משהו בסגנון של <math>J_1(5) \oplus J_1(4) \oplus B</math>
| |
| − |
| |
| − | כמו כן, אין עוד בלוקים המתאימים לע"ע 4,5 כי הריבוי הגיאומטרי שלהם הוא בדיוק 1 = כמות הבלוקים שלהם בצורת ז'ורדן.
| |
| − | סך הבלוקים המתאימים לע"ע 3 הוא (ריבוי גאומטרי) כמימד מרחב האיפוס של <math>A-3I = \begin{pmatrix}
| |
| − | 2 & 0 & 0 & 0 \\
| |
| − | 1 & 1 & 0 & 0\\
| |
| − | 2 & 3 & 0 & 0\\
| |
| − | 4 & 5 & 6 & 0
| |
| − | \end{pmatrix}</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>.
| |
| − |
| |
| − | אז עבור i = 1,2 זה ממש קל כי אנחנו רק צריכים למצוא וקטורים עצמיים שמתאימים לע"ע 4,5... ברור שאנחנו יודעים לעשות את זה, לכן אני אחסוך לכולם[חוץ מלעצמי] חישוב מפרך ונגיע ל <math>v_1 = (2, 2, 5, 24), v_2 = (0, 1, 3, 23)</math>
| |
| − | נקבל לפי הנ"ל גם את המשוואות הבאות: <math>3v_3=Av_3, v_3 + 3v_4=Av_4</math> נעביר קצת אגפים ונקבל: <math>v_3 \in N(A-3I), v_3 = (A-3I)v_4 \in C(A-3I)</math> כאשר N מציין את מרחב האיפוס ו C מציין את מרחב העמודות.
| |
| − |
| |
| − | כבר כתבנו למעלה את A-3I אז אפשר להסתכל עליה.
| |
| − |
| |
| − | כבר אמרנו גם שמימד המרחב העצמי של הע"ע 3 הוא 1, ולכן ל <math>v_3</math> יש לנו רק אפשרות אחת (עד כדי כפל בסקלר שלא מעניין אותנו פה), ממש קל לראות שאותו וקטור הוא <math>v_3=(0, 0, 0, 1)</math>
| |
| − | ולכן קיבלנו משוואה: <math>(A-3I)v_4=v_3 = e_4 = (0, 0, 0, 1)</math> זו משוואה פשוטה למדי בארבעה נעלמים שאפשר לפתור עם דירוג [אגב, אין לזה פתרון יחיד]: <math>v_4 = (0, 0, \frac{1}{6}, a)</math> אבל נבחר a = 0 שיהיה נוח לכולם... <math>v_4 = (0, 0, \frac{1}{6}, 0)</math>
| |
| − |
| |
| − | סוף סוף קיבלנו את <math>P = \begin{pmatrix}
| |
| − | 2 & 0 & 0 & 0 \\
| |
| − | 2 & 1 & 0 & 0\\
| |
| − | 5 & 3 & 0 & \frac{1}{6}\\
| |
| − | 24 & 23 & 1 & 0
| |
| − | \end{pmatrix}</math>
| |
| − | זה מגניב כי אם נחליף את שורה 3,4 אנחנו רואים ש P היא הפיכה [דרגה 4], אז לא דיברנו שטויות לגמרי, יש ניצוץ של תקווה... טוב נו, אם בודקים זה אכן יוצא נכון [סתם עבודה טכנית, שלצערי עשיתי אותה]
| |
