הצגת המקור של הדף "קוד:משפט ז'ורדן הנילפוטנטי - יחידות"

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

\begin{lem}

יהי $E=\left\{T^{m-1}\left(v \right ),\dots,T\left(v \right ),v \right \}$ מסלול מאורך $m$, יהי $V_0=\operatorname{span}\left(E\right)$, ויהי $T=T|_{V_0}$. אזי

$\dim\left(\ker T_0\cap\operatorname{im}T_0^j \right )=\left\{\begin{matrix}
1,\quad j<m\\ 
0,\quad j\ge m
\end{matrix} \right .$
\end{lem}

\textit{הוכחה:}

נניח $j\ge m$. 

$T^m\left(v\right)=0\Rightarrow T^j\left(v \right )=0\Rightarrow\\\Rightarrow T^j\left[E \right ]=\left\{0 \right\}\Rightarrow \operatorname{im}T_0^j=\left\{0 \right \}\Rightarrow\dim\left(\ker T_0\cap\operatorname{im}T_0^j \right )=0$

נניח $j<m$.

נתבונן בווקטורים $T\left(v \right ),\dots,T^{m-1}\left(v \right )$. לכן, $\dim\left(\operatorname{im}T_0 \right )\ge m-1$.

לכן, $\dim\left(\ker T_0 \right )+\left(m-1 \right )\leq\dim\left (\ker T_0  \right )+\dim\left(\operatorname{im}T_0 \right )=\dim V_0=m$, כלומר $\dim\left(\ker T_0 \right )\leq 1$, ומכאן $\dim\left(\ker T_0\cap\operatorname{im}T_0^j \right )\leq 1$.

נתבונן בווקטור $T^{m-1}\left(v\right)\neq 0$ (לפי הגדרת המסלול). מצד שני, $T^{m-1}\left(v \right )=T^j\left(T^{m-j-1}\left(v \right ) \right )\operatorname{im}T_0^j$, ובנוסף $T\left(T^{m-1}\left(v \right )\right)=T^m\left(v \right )=0$, כלומר $T^{m-1}\left(v \right )\in\ker T$, כדרוש.

הגיע הזמן לעבור להוכחת היחידות של צורת ז'ורדן.

\textbf{משפט:} משפט ז'ורדן הנילפוטנטי - יחידות

יהי $T:V\rightarrow V$ אופרטור נילפוטנטי מסדר $k$, ויהי $B$ בסיס מז'רדן ל-$T$. אזי מספר המסלולים מכל אורך ב-$B$ מוגדר באופן יחיד על ידי $T$ (ולכן, מספר הבלוקים מכל גודל ב-$\left [ T \right ]_B$ מוגדר ביחידות).

\textit{הוכחה:}

נוכיח כי:

\begin{enumerate}

\item המסלול הארוך ביותר ב-$B$ הוא מסדר $k$.

אם כל המסלולים ב-$B$ הם מאורך קטן מ-$k$, אזי $T^{k-1}=0$, ולכן סדר הנילפוטנטיות של $T$ הוא $k-1$, בסתירה להנחה.

אם קיים מסלול מאורך גדול מ-$k$, אז יחד עם $T^k=0$ נקבל כי $0$ שייך למסלול, בסתירה להגדרת המסלול.

\item לכל $j=1,\dots,k$, מספר המסלולים מאורך הגדול מ-$j$ שווה ל-$\dim\left(\ker T\cap\operatorname{im}T_0^j \right )$.

נסמן $E_1,\dots,E_r$ המסלולים ב-$B$. נסמן לכל $i=1,\dots,r$, $V_i=\operatorname{span}\left(E_i\right)$. נתבונן בסכום הישר של תתי-מרחבים אינווריאנטיים $V=V_1\oplus\cdots\oplus V_r$. נסמן לכל $i=1,\dots,r$, $T_i=T|_{V_i}$.

לכן, לפי למה קודמת, $\ker T=\ker T_1\oplus\cdots\oplus\ker T_r$, וכן $\operatorname{im}T=\operatorname{im}T_1\oplus\cdots\oplus\operatorname{im}T_r$.

לכן, לפי הלמה על חיתוך סכום ישר, נקבל כי

$\ker T\cap\operatorname{im}T^j=\left(\ker T_1\cap\operatorname{im}T_1^j \right )\oplus\cdots\oplus\left(\ker T_r\cap\operatorname{im}T_r^j \right )$

לפי הלמה הקודמת, לכל $s=1,\dots,r$, $\dim\left(\ker T_s\cap\operatorname{im}T_s^j \right )=\left\{\begin{matrix}
1,\quad j<\ell\\ 
0,\quad j\ge\ell
\end{matrix}\right.$, כאשר $\ell$ הוא אורך המסלול.

אם כן, מספר המסלולים מאורך הגדול מ-$j$ הוא $\dim\left(\ker T\cap\operatorname{im}T^j \right )$, שזה הסכום על אורך כל המסלולים שסדרם גדול מ-$j$, כדרוש.

\item לכן, מספר המסלולים מאורך $j$ בדיוק שווה ל:

$\dim\left(\ker T\cap\operatorname{im}T^{j-1} \right )-\dim\left(\ker T\cap\operatorname{im}T^j \right )$

\end{enumerate}