ארז שיינר: 2 גרסאות יובאו

2014-10-04T20:22:10Z

2 גרסאות יובאו

דף חדש

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

\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}

קוד:קריטריון לשילוש - היסטוריית גרסאות

ארז שיינר: 2 גרסאות יובאו