ההרצאה הקודמת | חזרה למערכי ההרצאה | ההרצאה הבאה
פולינומים של מטריצות
הגדרה
יהי [math]\displaystyle{ f\in\mathbb{F}\left[x\right] }[/math], [math]\displaystyle{ f=a_0+a_1x+\cdots+a_nx^n }[/math] ([math]\displaystyle{ \forall i=0,\dots,n:a_i\in\mathbb{F} }[/math]). תהי [math]\displaystyle{ A\in M_k\left(\mathbb{F}\right) }[/math] מטריצה ריבועית. נגדיר את הערך של [math]\displaystyle{ f }[/math] במטריצה [math]\displaystyle{ A }[/math] באופן הבא: \begin{displaymjx}f\left(A\right)=a_0I_k+a_1A+\cdots+a_nA^n\end{displaymjx}
חשוב לשים לב שהצבת מטריצה בפולינום מחזירה מטריצה ולא סקלר.
הגדרה
תהי [math]\displaystyle{ A\in M_k\left(\mathbb{F}\right) }[/math]. אומרים ש-[math]\displaystyle{ f\in\mathbb{F}\left[x\right] }[/math] הוא פולינום מאפס ל-[math]\displaystyle{ A }[/math], אם [math]\displaystyle{ f\neq 0 }[/math] וגם [math]\displaystyle{ f\left(A\right)=0 }[/math]. במילים, פולינום מאפס הוא פולינום (שונה מאפס) שהצבת המטריצה [math]\displaystyle{ A }[/math] בו מחזירה את מטריצת האפס.
משפט
לכל מטריצה [math]\displaystyle{ A\in M_k\left(\mathbb{F}\right) }[/math] קיים פולינום מאפס.
הוכחה.
נתבונן במרחב הווקטורי [math]\displaystyle{ V=M_k\left(\mathbb{F} \right ) }[/math], [math]\displaystyle{ \dim V=k^2=\ell }[/math]. נתבונן בקבוצה של איברי [math]\displaystyle{ V }[/math] הבאה: [math]\displaystyle{ \left\{ I,A,A^2,\dots,A^\ell \right \} }[/math].
בקבוצה הזו יש [math]\displaystyle{ \ell+1 }[/math] איברים, אך המימד של [math]\displaystyle{ V }[/math] הוא [math]\displaystyle{ \ell }[/math], ומכאן שהיא תלויה לינארית. לכן, קיימים סקלרים [math]\displaystyle{ a_0,a_1,\dots,a_\ell\in\mathbb{F} }[/math] (לא כולם שווים אפס), כך שמתקיים \begin{displaymjx}a_0I+a_1A+\cdots+a_\ell A^\ell=0\end{displaymjx}
נגדיר פולינום [math]\displaystyle{ f\in\mathbb{F}\left[x\right] }[/math], [math]\displaystyle{ f=a_0+a_1x+\cdots+a_nx^n }[/math]. עבורו [math]\displaystyle{ f\neq 0 }[/math] (כי לא כל הסקלרים הם אפס), וכן [math]\displaystyle{ f\left(A\right)=0 }[/math] (לפי הבנייה), כדרוש.
∎
דוגמה
נראה שתי דוגמאות לפולינומים מאפסים.
- עבור [math]\displaystyle{ A=I_k }[/math], נסתכל על [math]\displaystyle{ f=x-1 }[/math]. באופן ברור [math]\displaystyle{ f\neq 0 }[/math], וכן [math]\displaystyle{ f\left(A \right )=A-1\cdot I_k=I_k-I_k=0 }[/math]. כלומר, [math]\displaystyle{ f }[/math] פולינום מאפס ל-[math]\displaystyle{ A }[/math].
- עבור \begin{displaymjx}A=\left ( \begin{matrix}
\lambda_1 &0 \\
0 &\lambda_2
\end{matrix} \right )\end{displaymjx} נסתכל על הפולינום האופייני [math]\displaystyle{ f=p_A\left(x \right )=\det\left(xI-A\right)=\left(x-\lambda_1\right)\left(x-\lambda_2 \right ) }[/math]. נציב את [math]\displaystyle{ A }[/math]: \begin{displaymjx}f\left(A\right)=A^2-\left(\lambda_1+\lambda_2 \right )A+\lambda_1\lambda_2I=\end{displaymjx} \begin{displaymjx}=\left ( \begin{matrix}
\lambda_1^2 &0 \\
0 &\lambda_2^2
\end{matrix} \right )-
\left(\begin{matrix}
\lambda_1^2+\lambda_1\lambda_2 &0 \\
0 &\lambda_2^2+\lambda_1\lambda_2
\end{matrix} \right )-
\left(\begin{matrix}
\lambda_1\lambda_2 &0 \\
0 &\lambda_1\lambda_2
\end{matrix} \right )=\left(\begin{matrix}
0 &0 \\
0 &0
\end{matrix} \right )=0\end{displaymjx}
הדוגמה האחרונה מעניינת. נשאלת השאלה האם זהו צירוף מקרים, שהפולינום האופייני הוא מאפס של המטריצה, או שזה נכון רק למטריצות אלכסוניות (ואולי אפילו ללכסינות?). התשובה נתונה במשפט הבא, המוכיח שזה נכון תמיד.
משפט משפט קאלי-המילטון, [math]\displaystyle{ \text{Cayley-Hamilton} }[/math]
[math]\displaystyle{ p_A\left(A\right)=0 }[/math].
תזכורת:
בהוכחת המשפט ניעזר במושג מהקורס לינארית 1: המטריצה הנלווית הקלאסית הינה [math]\displaystyle{ \left [\operatorname{adj} A \right ]_{ij}=\left(-1 \right )^{i+j}\det M_{ji} }[/math], כאשר [math]\displaystyle{ M_{ji} }[/math] הוא המינור ה-[math]\displaystyle{ ji }[/math] - מורידים מהמטריצה [math]\displaystyle{ A }[/math] את השורה ה-[math]\displaystyle{ j }[/math] ואת העמודה ה-[math]\displaystyle{ i }[/math].
אחד המשפטים החשובים לגבי המטריצה הנלווית הינו [math]\displaystyle{ A\cdot \operatorname{adj}A=\det\left(A \right )\cdot I }[/math].
הוכחה.
תהי [math]\displaystyle{ A\in M_n\left(\mathbb{F}\right) }[/math]. נתבונן במטריצה [math]\displaystyle{ xI_n-A }[/math]. לפי התזכורת הנ"ל, מתקיים \begin{displaymjx}\left (xI_n-A \right )\cdot \operatorname{adj}\left (xI_n-A \right )=\det\left(xI_n-A \right )\cdot I\end{displaymjx} נציג את הביטוי באגף שמאל בצורה הבאה: \begin{displaymjx}\operatorname{adj}\left (xI-A \right )=B_0+B_1x+\cdots+B_nx^n\end{displaymjx} נשים לב שלפי הגדרת המטריצה הנלווית, כל הדטרמיננטות הן של מטריצות מגודל [math]\displaystyle{ \left(n-1\right)\times\left(n-1\right) }[/math]. אם כן, [math]\displaystyle{ B_n=0 }[/math]; החזקה הגבוהה ביותר ש-[math]\displaystyle{ x }[/math] יופיע בה היא [math]\displaystyle{ n-1 }[/math]. נחזור למשוואה. נקבל \begin{displaymjx}\left ( xI-A \right )\left (B_0+B_1x+\cdots+B_nx^n \right )=\det\left(xI-A \right )\cdot I\end{displaymjx} נסמן [math]\displaystyle{ p_A\left(x \right )=a_0+a_1x+\cdots+a_nx^n }[/math]. נתבונן במקדמים בכל אגף:
| [math]\displaystyle{ x^0 }[/math]
|
[math]\displaystyle{ x^1 }[/math]
|
[math]\displaystyle{ x^2 }[/math]
|
[math]\displaystyle{ \cdots }[/math]
|
[math]\displaystyle{ x^{n-1} }[/math]
|
[math]\displaystyle{ x^n }[/math]
|
|
| [math]\displaystyle{ -AB_0 }[/math]
|
[math]\displaystyle{ B_0-AB_1 }[/math]
|
[math]\displaystyle{ B_1-AB_2 }[/math]
|
[math]\displaystyle{ \cdots }[/math]
|
[math]\displaystyle{ B_{n-2}-AB_{n-1} }[/math]
|
[math]\displaystyle{ B_{n-1} }[/math]
|
שמאל
|
| [math]\displaystyle{ a_0I }[/math]
|
[math]\displaystyle{ a_1I }[/math]
|
[math]\displaystyle{ a_2I }[/math]
|
[math]\displaystyle{ \cdots }[/math]
|
[math]\displaystyle{ a_{n-1}I }[/math]
|
[math]\displaystyle{ I }[/math]
|
ימין
|
יש שוויון בכל עמודה בין השורות, כי אלו מקדמים של אותן חזקות. אם נציב [math]\displaystyle{ A }[/math] בשני האגפים, עדיין נקבל שוויון. אם כן, נסתכל לפי החזקות:
| [math]\displaystyle{ -AB_0 }[/math]
|
[math]\displaystyle{ AB_0-A^2B_1 }[/math]
|
[math]\displaystyle{ A^2B_1-A^3B_2 }[/math]
|
[math]\displaystyle{ \cdots }[/math]
|
[math]\displaystyle{ A^{n-1}B_{n-2}-A^nB_{n-1} }[/math]
|
[math]\displaystyle{ A^nB_{n-1} }[/math]
|
שמאל
|
| [math]\displaystyle{ a_0I }[/math]
|
[math]\displaystyle{ a_1A }[/math]
|
[math]\displaystyle{ a_2A^2 }[/math]
|
[math]\displaystyle{ \cdots }[/math]
|
[math]\displaystyle{ a_{n-1}A^{n-1} }[/math]
|
[math]\displaystyle{ A^n }[/math]
|
ימין
|
נשים לב כי אם נסכום את השורות, יהיה שוויון. הסכום של השורה העליונה (אגף שמאל) מתאפס, ואילו הסכום של השורה התחתונה (אגף ימין) הינו [math]\displaystyle{ p_A\left(A\right) }[/math].
בסך הכל, [math]\displaystyle{ p_A\left(A\right)=0 }[/math].
∎
הערה
לכאורה, ניתן להוכיח את המשפט באופן הבא: נסתכל על [math]\displaystyle{ p_A\left(x \right )=\det\left(xI-A\right) }[/math], ונציב [math]\displaystyle{ A }[/math]. נקבל \begin{displaymjx}p_A\left(A \right )=\det\left(AI-A\right)=\det\left(0 \right )=0\end{displaymjx} נציג שני נימוקים שבגללם הוכחה זו נכשלת.
הנימוק האחד הוא שהמטריצה [math]\displaystyle{ xI }[/math] אינה סתם הכפלה של [math]\displaystyle{ I }[/math] בסקלר; היא מסמלת מטריצה שעל האלכסון הראשי שלה מופיע [math]\displaystyle{ x }[/math], ובשאר המקומות אפס. אם כן, הצבת [math]\displaystyle{ A }[/math] במקום [math]\displaystyle{ x }[/math] תאמר שהמטריצה [math]\displaystyle{ AI }[/math] מסמלת מטריצה שבה [math]\displaystyle{ A }[/math] על האלכסון בבלוקים ובשאר אפסים? החיסור לא יוגדר!
הנימוק השני הוא טכני - כפי שהוגדר, כשמציבים מטריצה בפולינום, מתקבלת מטריצה. עם זאת, בשיטה זו קיבלנו מספר...
הפולינום המינימלי
הגדרה
תהי [math]\displaystyle{ A\in M_n\left(\mathbb{F}\right) }[/math]. הפולינום המינימלי של [math]\displaystyle{ A }[/math] הוא פולינום [math]\displaystyle{ m_A\left(x\right) }[/math], כך שמתקיימים התנאים הבאים:
- [math]\displaystyle{ m_A }[/math] הוא פולינום מאפס ל-[math]\displaystyle{ A }[/math].
- [math]\displaystyle{ m_A }[/math] הוא פולינום מתוקן.
- לכל פולינום [math]\displaystyle{ f }[/math] מאפס ל-[math]\displaystyle{ A }[/math], מתקיים [math]\displaystyle{ \deg \left (m_A \right )\leq\deg \left (f \right ) }[/math].
לכאורה, נראה שאין הכרח שיהיה פולינום מינימלי כזה. עם זאת, המשפט הבא יוכיח לא רק שקיים פולינום מינימלי לכל מטריצה, אלא שהוא גם יחיד.
משפט
הפולינום המינימלי [math]\displaystyle{ m_A }[/math] קיים והוא יחיד.
הוכחה.
- קיום
- יש פולינומים מאפסים (למשל, האופייני, לפי קאלי-המילטון). אם הפולינום המאפס איננו מתוקן, אזי נתקן אותו בעזרת חילוק במקדם הראשי. נבחר את המעלה הנמוכה ביותר, ונקבל פולינום מינימלי.
- יחידות
- נניח [math]\displaystyle{ m,\tilde{m} }[/math] שניהם פולינומים מינימליים. לכן, [math]\displaystyle{ \deg \left (m \right )=\deg\left (\tilde{m} \right ) }[/math]. שניהם מתוקנים, לכן אם [math]\displaystyle{ m\neq\tilde{m} }[/math], אזי [math]\displaystyle{ f=m-\tilde{m} }[/math] פולינום מאפס ממעלה נמוכה יותר, בסתירה. לכן [math]\displaystyle{ m=\tilde{m} }[/math], והוכחנו יחידות.
∎
הערה
[math]\displaystyle{ \deg \left (m \right )\leq n }[/math].
הוכחה.
לפי משפט קאלי-המילטון, [math]\displaystyle{ p_A }[/math] הוא פולינום מאפס, ולכן [math]\displaystyle{ \deg \left (m \right )\leq\deg\left(p_A \right )=n }[/math].
∎
עד כה הגדרנו את הפולינום המינימלי של מטריצה, והוכחנו שהוא קיים ויחיד. נשאלת שאלה טבעית - האם יש קשר בין הפולינום האופייני לבין הפולינום המינימלי?
משפט
הפולינום המינימלי [math]\displaystyle{ m_A }[/math] מחלק את הפולינום האופייני [math]\displaystyle{ p_A }[/math].
הוכחה.
נשתמש בחילוק עם שארית: \begin{displaymjx}p_A\left(x \right )=q\left(x \right )\cdot m_A\left(x \right )+r\left(x \right )\end{displaymjx} אם נציב את המטריצה [math]\displaystyle{ A }[/math], השוויון יישמר.
[math]\displaystyle{ p_A\left(A \right )=q\left(A \right )\cdot m_A\left(A \right )+r\left(A \right ) }[/math], מכאן [math]\displaystyle{ 0=0+r\left(A \right ) }[/math], כלומר [math]\displaystyle{ r\left(A \right )=0 }[/math].
אם [math]\displaystyle{ r\neq 0 }[/math], אזי [math]\displaystyle{ \deg\left(r \right )< \deg\left(m_A \right ) }[/math], בסתירה להגדרת הפולינום המינימלי. לכן [math]\displaystyle{ r=0 }[/math], זאת אומרת [math]\displaystyle{ p_A=q\cdot m_A }[/math], כדרוש.
∎
מסקנה
השורשים של [math]\displaystyle{ m_A }[/math] הם ערכים עצמיים של [math]\displaystyle{ A }[/math].
בהמשך נראה שהכיוון ההפוך נכון גם הוא, ולסיכום - השורשים של הפולינום המינימלי הם בדיוק הערכים העצמיים.
ההרצאה הקודמת | חזרה למערכי ההרצאה | ההרצאה הבאה
