קוד:קריטריון לשילוש

הגדרנו שילוש מטריצות, והמטרה הייתה להחליש את הדרישות של לכסון; שיהיו בידינו יותר מטריצות שניתן לשלש מאשר ללכסן. המשפט הבא יראה לנו שהקריטריון לשילוש יחסית חלש, כלומר מטריצות רבות מקיימות אותו.

\begin{thm}

מטריצה $A$ ניתנת לשילוש אם ורק אם $p_A\left(x\right)$ מתפרק למכפלה של גורמים לינאריים.

\end{thm}

\begin{proof}

\begin{description}

\item[$\boxed{\Leftarrow}$]

נניח ש-$A$ ניתנת לשילוש, זאת אומרת $A\sim C$, כאשר $C$ משולשת. אזי, $$p_A\left(x \right )=p_C\left(x \right )=\det\left(xI-C \right )=\det\left(\begin{matrix} x-c_{11} & & \star\\

& \ddots & \\ 

0 & & x-c_{nn} \end{matrix} \right )=\prod_{j=1}^n\left(x-c_{jj} \right )$$ כדרוש.

\item[$\boxed{\Rightarrow}$]

נניח ש-$p_A\left(x\right)$ מתפרק למכפלה של גורמים לינאריים.

יהי $\left(x-\lambda\right)$ אחד מהגורמים, כאשר $\lambda$ ע"ע של $A$. יהי $v$ ו"ע של $A$ הקשור ל-$\lambda$.

נשלים את הקבוצה $\left\{v\right\}$ לבסיס $B$ של $\mathbb{F}^n$, נסמן $B=\left \{ v,v_2,\dots,v_n \right \}$. נסמן ב-$P$ את מטריצת המעבר בין הבסיסים (הסטנדרטי ו-$B$). אזי יחסית לבסיס $B$ נקבל: $$P^{-1}AP=\left(\begin{matrix} \lambda & \star & \cdots & \star\\ 0 & & & \\ \vdots & & \tilde{A} & \\ 0 & & & \end{matrix} \right )=A_1$$

לכן, $p_A\left(x \right )=p_{A_1}\left(x \right )=\left(x-\lambda \right )\cdot p_{\tilde{A}}\left(x \right )$.

אם כן, $p_{\tilde{A}}\left(x\right)$ מתפרק לגורמים לינאריים. נשלים את ההוכחה באינדוקציה.

עבור $n=1$ אין מה להוכיח.

נניח שהמשפט נכון ל-$n-1$, ונוכיח ל-$n$. בסימונים הנ"ל, $\tilde{A}$ ניתנת לשילוש, כלומר קיימת $Q$ כך ש-$Q^{-1}\tilde{A}Q$ משולשת.

נגדיר $$C=P\cdot \left(\begin{matrix} 1 &0 \\0

&Q 

\end{matrix} \right )$$ אזי $$C^{-1}AC=\left(\begin{matrix} 1 &0 \\0

&Q 

\end{matrix} \right )^{-1}P^{-1}AP\left(\begin{matrix} 1 &0 \\0

&Q 

\end{matrix} \right )=\left(\begin{matrix} 1 &0 \\0

&Q^{-1} 

\end{matrix} \right )\left(\begin{matrix} \lambda &\star \\ 0 &\tilde{A} \end{matrix} \right )\left(\begin{matrix} 1 &0 \\0

&Q 

\end{matrix} \right )=$$ $$=\left(\begin{matrix} \lambda &\star \\ 0 &Q^{-1}\tilde{A}Q \end{matrix} \right )=\left(\begin{matrix} \lambda & & & \star\\

& \star &  & \\ 
&  & \ddots & \\ 

0 & & & \star \end{matrix} \right )$$

כדרוש.

\end{proof}