הבדלים בין גרסאות בדף "העברית, תשס"ה, מועד ב', שאלה 11"
(3 גרסאות ביניים של אותו משתמש אינן מוצגות) | |||
שורה 8: | שורה 8: | ||
<math>J_{A}</math> - צורת הג'ורדן של המטריצה <math>A</math> (אם קיימת). | <math>J_{A}</math> - צורת הג'ורדן של המטריצה <math>A</math> (אם קיימת). | ||
+ | |||
'''טענת עזר:''' יהי <math>J_{m}(\lambda )</math> בלוק ג'ורדן. אזי <math>J_{m}(\lambda )\sim J_{m}(\lambda )^{t}</math> | '''טענת עזר:''' יהי <math>J_{m}(\lambda )</math> בלוק ג'ורדן. אזי <math>J_{m}(\lambda )\sim J_{m}(\lambda )^{t}</math> | ||
שורה 52: | שורה 53: | ||
1&0 &. &. &. &0 | 1&0 &. &. &. &0 | ||
\end{bmatrix}\cdot | \end{bmatrix}\cdot | ||
− | \begin{ | + | \begin{bmatrix} |
\lambda & 1& 0& .& .&0 \\ | \lambda & 1& 0& .& .&0 \\ | ||
0& \lambda & .& .& .&. \\ | 0& \lambda & .& .& .&. \\ | ||
שורה 59: | שורה 60: | ||
.& .& .& .& .&1 \\ | .& .& .& .& .&1 \\ | ||
0& .& .& .& 0& \lambda | 0& .& .& .& 0& \lambda | ||
− | \end{ | + | \end{bmatrix} |
\cdot \begin{bmatrix} | \cdot \begin{bmatrix} | ||
0& .& .& .& 0&1 \\ | 0& .& .& .& 0&1 \\ | ||
שורה 73: | שורה 74: | ||
ולפי כפל עמודה עמודה, נוכל לראות שתהליך דומה קורה לטורים (האחרון לראשן וכן הלאה): | ולפי כפל עמודה עמודה, נוכל לראות שתהליך דומה קורה לטורים (האחרון לראשן וכן הלאה): | ||
− | <math>\begin{ | + | <math>\begin{bmatrix} |
0& .& .& .& 0& \lambda \\ | 0& .& .& .& 0& \lambda \\ | ||
.& .& .& .&\lambda &1 \\ | .& .& .& .&\lambda &1 \\ | ||
שורה 80: | שורה 81: | ||
0& .& .& &. &. \\ | 0& .& .& &. &. \\ | ||
\lambda &1 &0 &. &. &0 | \lambda &1 &0 &. &. &0 | ||
− | \end{ | + | \end{bmatrix}\cdot |
\begin{bmatrix} | \begin{bmatrix} | ||
0& .& .& .& 0&1 \\ | 0& .& .& .& 0&1 \\ | ||
שורה 88: | שורה 89: | ||
0& 1& .& .& .&. \\ | 0& 1& .& .& .&. \\ | ||
1&0 &. &. &. &0 | 1&0 &. &. &. &0 | ||
− | \end{bmatrix}=\begin{ | + | \end{bmatrix}=\begin{bmatrix} |
\lambda &0 & .& .& .&0 \\ | \lambda &0 & .& .& .&0 \\ | ||
1& \lambda & .& .& .&. \\ | 1& \lambda & .& .& .&. \\ | ||
שורה 95: | שורה 96: | ||
.& .& .& .& .&0 \\ | .& .& .& .& .&0 \\ | ||
0& .& .& 0& 1& \lambda | 0& .& .& 0& 1& \lambda | ||
− | \end{ | + | \end{bmatrix}=J_{m}(\lambda)^{t}</math> |
והוכחנו את טענת העזר. | והוכחנו את טענת העזר. |
גרסה אחרונה מ־09:34, 18 בדצמבר 2011
שאלה: תהי . הוכיחו כי .
סימונים:
- הפולינום האופייני של
- בלוק ג'ורדן מגודל m המתאים לע"ע
- צורת הג'ורדן של המטריצה (אם קיימת).
טענת עזר: יהי בלוק ג'ורדן. אזי
נראה באמצעות חישוב ישיר כי עבור (מטריצה בה האחדות נמצאות על האלכסון המשני) מתקיים:
ראשית נראה כי באמצעות כפל עמודה-עמודה ולכן
כעת נראה באמצעות חישוב כי :
לפי כפל שורה-שורה, נוכל לראות שהשורה האחרונה הופכת לראשונה, הלפני אחרונה לשנייה וכו':
ולפי כפל עמודה עמודה, נוכל לראות שתהליך דומה קורה לטורים (האחרון לראשן וכן הלאה):
והוכחנו את טענת העזר.
הוכחת הטענה:
ולכן מתפרק לגורמים ליניאריים (מרוכבים סגורים אלגברית) ומכאן שיש לה צורת ג'ורדן.
ומכאן שקיימת הפיכה כך שמתקיים:
ובסה"כ המטריצה המשוחלפת דומה לצורת ג'ורדן המשוחלפת של , ולכן מספיק להוכיח:
וזאת קל להראות לפי טענת העזר:
הוכחנו בליניארית 1 כי מתקיים: וניתן להכליל את הטענה באינדוקציה לכל גודל של סכום ישר.
צורת ג'ורדן הינה סכום ישר של בלוקי ג'ורדן שכל אחד מהם דומה לצורה משוחלפת שלו, נסמן את מטריצת הדימיון בQ. ניצור מטריצה P הבנוייה כסכום ישר של כל המטריצות Q לפי סדר הבלוקים של צורת הג'ורדן וניצור מטריצה K כסכום ישר של כל המטריצות ההופכות לQ. נראה כי KP=I.
וכעת נראה את הדימיון עצמו:
כאשר הוא הבלוק הi של צורת הג'ורדן של A.
הראנו כי ולכן .
מ.ש.ל