הצגת המקור של הדף "העברית, תשס"ה, מועד ב', שאלה 11"

'''שאלה:''' תהי <math>A\in \mathbb{C}^{n \times n}</math>. הוכיחו כי <math>A\sim A^{t}</math>.

'''סימונים:'''

<math>f_{A}(x)</math> - הפולינום האופייני של <math>A</math>

<math>J_{m}(\lambda)</math> - בלוק ג'ורדן מגודל m המתאים לע"ע <math>\lambda</math>

<math>J_{A}</math> - צורת הג'ורדן של המטריצה <math>A</math> (אם קיימת).


'''טענת עזר:''' יהי <math>J_{m}(\lambda )</math> בלוק ג'ורדן. אזי <math>J_{m}(\lambda )\sim J_{m}(\lambda )^{t}</math>


נראה באמצעות חישוב ישיר כי עבור <math>Q=\begin{bmatrix}
 0&  .&  .&  .&  0&1 \\ 
 .&  .&  .&  .&  1&0 \\ 
 .&  .&  .& . &  .&. \\ 
 .&  .& . &  .&  .&. \\ 
 0&  1&  .&  .&  .&. \\ 
 1&0  &.  &.  &.  &0 
\end{bmatrix}</math> (מטריצה בה האחדות נמצאות על האלכסון המשני) מתקיים: <math> Q^{-1}J_{m}(\lambda )Q=J_{m}(\lambda )^{t}</math>

ראשית נראה כי <math>Q^{2}=I</math> באמצעות כפל עמודה-עמודה ולכן <math>Q=Q^{-1}</math>


<math>Q^{2}=Q\cdot Q=\begin{bmatrix}
 0&  .&  .&  .&  0&1 \\ 
 .&  .&  .&  .&  1&0 \\ 
 .&  .&  .&  .&  .&. \\ 
 .&  .& .&  .&  .&. \\ 
 0&  1&  .&  .&  .&. \\ 
 1&0  &.  &.  &.  &0 
\end{bmatrix}\cdot \begin{bmatrix}
 0&  .&  .&  .&  0&1 \\ 
 .&  .&  .&  .&  1&0 \\ 
 .&  .&  .&  .&  .&. \\ 
 .&  .& .&  .&  .&. \\ 
 0&  1&  .&  .&  .&. \\ 
 1&0  &.  &.  &.  &0 
\end{bmatrix}=I</math>


כעת נראה באמצעות חישוב כי <math> Q^{-1}J_{m}(\lambda )Q=J_{m}(\lambda )^{t}</math>:


<math>Q\cdot J_{m}(\lambda ) \cdot Q=\begin{bmatrix}
 0&  .&  .&  .&  0&1 \\ 
 .&  .&  .&  .&  1&0 \\ 
 .&  .&  .&  .&  .&. \\ 
 .&  .& .&  .&  .&. \\ 
 0&  1&  .&  .&  .&. \\ 
 1&0  &.  &.  &.  &0 
\end{bmatrix}\cdot 
\begin{bmatrix}
\lambda  &  1&  0&  .&  .&0 \\ 
 0&  \lambda &  .&  .&  .&. \\ 
 .&  .&  .&  .&  .&. \\ 
 .&  .&  .&  .&  .& 0\\ 
 .&  .&  .&  .&  .&1 \\ 
 0&  .&  .&  .&  0& \lambda 
\end{bmatrix}
\cdot \begin{bmatrix}
 0&  .&  .&  .&  0&1 \\ 
 .&  .&  .&  .&  1&0 \\ 
 .&  .&  .&  .&  .&. \\ 
 .&  .& .&  .&  .&. \\ 
 0&  1&  .&  .&  .&. \\ 
 1&0  &.  &.  &.  &0 
\end{bmatrix}=</math>

לפי כפל שורה-שורה, נוכל לראות שהשורה האחרונה הופכת לראשונה, הלפני אחרונה לשנייה וכו':

ולפי כפל עמודה עמודה, נוכל לראות שתהליך דומה קורה לטורים (האחרון לראשן וכן הלאה):

<math>\begin{bmatrix}
 0&  .&  .&  .&  0& \lambda  \\ 
 .&  .&  .&  .&\lambda   &1 \\ 
 .&  .&  .&  .&  .&0 \\ 
 .&  .&  .&  .&.  &. \\ 
 0&  .&  .&  &.  &. \\ 
 \lambda &1  &0  &.  &.  &0 
\end{bmatrix}\cdot 
\begin{bmatrix}
 0&  .&  .&  .&  0&1 \\ 
 .&  .&  .&  .&  1&0 \\ 
 .&  .&  .&  .&  .&. \\ 
 .&  .& .&  .&  .&. \\ 
 0&  1&  .&  .&  .&. \\ 
 1&0  &.  &.  &.  &0 
\end{bmatrix}=\begin{bmatrix}
 \lambda &0  &  .&  .&  .&0 \\ 
 1&  \lambda &  .&  .&  .&. \\ 
 0&  .&  .&  .&  .&. \\ 
 .&  .& . &  .&  .&. \\ 
 .&  .&  .&  .&  .&0 \\ 
 0&  .&  .&  0&  1& \lambda 
\end{bmatrix}=J_{m}(\lambda)^{t}</math>

והוכחנו את טענת העזר.


'''הוכחת הטענה:'''

<math>A\in \mathbb{C}^{n \times n}</math> ולכן <math>f_{A}(x)</math> מתפרק לגורמים ליניאריים (מרוכבים סגורים אלגברית) ומכאן שיש לה צורת ג'ורדן.

ומכאן שקיימת <math>P\in \mathbb{C}^{n \times n}</math> הפיכה כך שמתקיים: <math>P^{-1}AP=J_{A}</math>

<math>(J_{A})^{t}=(P^{-1}AP)^{t}=P^{t}(P^{-1}A)^{t}=P^{t}A^{t}(P^{-1})^{t}=P^{t}A^{t}(P^{t})^{-1}</math>

ובסה"כ המטריצה המשוחלפת דומה לצורת ג'ורדן המשוחלפת של <math>A</math>, ולכן מספיק להוכיח: <math>(J_{A})^{t}\sim J_{A}</math>

וזאת קל להראות לפי טענת העזר:

הוכחנו בליניארית 1 כי מתקיים: <math>(A\oplus B)(C\oplus D)=AB\oplus CD</math> וניתן להכליל את הטענה באינדוקציה לכל גודל של סכום ישר.

צורת ג'ורדן הינה סכום ישר של בלוקי ג'ורדן שכל אחד מהם דומה לצורה משוחלפת שלו, נסמן את מטריצת הדימיון בQ. ניצור מטריצה P הבנוייה כסכום ישר של כל המטריצות Q לפי סדר הבלוקים של צורת הג'ורדן וניצור מטריצה K כסכום ישר של כל המטריצות ההופכות לQ. נראה כי KP=I.

<math>P\cdot K=(\bigoplus ^{k}_{i=1}Q_{i})\cdot (\bigoplus ^{k}_{i=1}(Q_{i})^{-1})=(\bigoplus ^{k}_{i=1}Q_{i}\cdot (Q_{i})^{-1}))=(\bigoplus ^{k}_{i=1}I)=I</math>


וכעת נראה את הדימיון עצמו:

<math>P\cdot J_{A}\cdot P^{-1}=(\bigoplus ^{k}_{i=1}Q_{i})\cdot(\bigoplus ^{k}_{i=1}J_{i})\cdot  (\bigoplus ^{k}_{i=1}(Q_{i})^{-1})=(\bigoplus ^{k}_{i=1}Q_{i}\cdot J_{i} \cdot (Q_{i})^{-1}))=(\bigoplus ^{k}_{i=1}J_{i}^{t})=J_{A}^{t}</math>

כאשר <math>J_{i}</math> הוא הבלוק הi של צורת הג'ורדן של A.

הראנו כי <math>(J_{A})^{t}\sim J_{A}</math> ולכן <math>A\sim A^{t}</math>.

מ.ש.ל