לינארית 2/הרצאה 12

ההרצאה הקודמת | חזרה למערכי ההרצאה | ההרצאה הבאה

משפט ז’ורדן הנילפוטנטי

לפני שנוכיח את משפט ז’ורדן המלא, נוכיח גרסאות חלשות יותר, ומהן נגיע לגרסה המלאה.

משפט משפט ז’ורדן הנילפוטנטי

זהו משפט ז’ורדן בהנחה ש-[math]\displaystyle{ T:V\rightarrow V }[/math] נילפוטנטי.

נניח ש-[math]\displaystyle{ T:V\rightarrow V }[/math] הוא אופרטור נילפוטנטי. אזי כל הערכים העצמיים שלו הם [math]\displaystyle{ 0 }[/math]. זאת אומרת, צריך להוכיח של-[math]\displaystyle{ T }[/math] יש מטריצה מייצגת בצורת אלכסונית בלוקים, וכל בלוק הוא בצורה [math]\displaystyle{ J_m\left(0\right) }[/math]. אם כן, נרצה לבנות בסיס [math]\displaystyle{ B }[/math] כאיחוד זר [math]\displaystyle{ B=B_1\cup\dots\cup B_k }[/math], כך שלכל [math]\displaystyle{ i=1,\dots,k }[/math], המטריצה המייצגת של [math]\displaystyle{ T }[/math] יחסית ל-[math]\displaystyle{ B_i }[/math] היא מהצורה [math]\displaystyle{ J_m\left(0\right) }[/math]. הלמה הבאה תוכיח מתי זה קורה, כלומר מהי הצורה של החלקים [math]\displaystyle{ B_1,\dots,B_k }[/math].

למה

יהי [math]\displaystyle{ E }[/math] בסיס של [math]\displaystyle{ V }[/math]. אזי [math]\displaystyle{ \left[T\right]_E=J_n\left(0 \right ) }[/math] אם ורק אם \begin{displaymjx}E=\left \{ T^{m-1}\left(v \right ),\dots,T\left(v \right ),v \right \}\end{displaymjx} כאשר [math]\displaystyle{ T^n\left(v\right)=0 }[/math].

הוכחה.

[math]\displaystyle{ \boxed{\Leftarrow} }[/math]

נניח [math]\displaystyle{ E=\left \{ v_1,\dots,v_n \right \} }[/math] בסיס שעבורו [math]\displaystyle{ \left[T\right]_B=J_n\left(0\right) }[/math]. אזי \begin{displaymjx}\left[T \right ]_E=\left(\left[T\left(v_1 \right ) \right ]_E,\dots,\left[T\left(v_n \right ) \right ]_E \right )=\left(0,e_1,\dots,e_{n-1} \right )\end{displaymjx} לפי שוויון כל עמודה בנפרד, נקבל: \begin{displaymjx}\left[T\left(v_1 \right ) \right ]_E=0\Rightarrow T\left(v_1 \right )=0\end{displaymjx} \begin{displaymjx}\left[T\left(v_2 \right ) \right ]_E=e_1\end{displaymjx} \begin{displaymjx}\vdots\end{displaymjx} \begin{displaymjx}\left[T\left(v_n \right ) \right ]=e_{n-1}\end{displaymjx} נגדיר [math]\displaystyle{ v=v_n }[/math]. אזי נקבל: \begin{displaymjx}\left[T\left(v \right ) \right ]_E=e_{n-1}=\left[v_{n-1} \right ]_E\Rightarrow T\left(v \right )=v_{n-1}\end{displaymjx} \begin{displaymjx}\left[T^2\left(v \right ) \right ]_E=e_{n-2}=\left[v_{n-2} \right ]_E\Rightarrow T^2\left(v \right )=v_{n-2}\end{displaymjx} \begin{displaymjx}\vdots\end{displaymjx} \begin{displaymjx}\left[T^{n-1}\left(v \right ) \right ]_E=e_1=\left[v_1 \right ]_E\Rightarrow T^{n-1}\left(v \right )=v_1\end{displaymjx} \begin{displaymjx}\left[T^n\left(v \right ) \right ]_E=0\Rightarrow T^n\left(v \right )=0\end{displaymjx} ולכן [math]\displaystyle{ E=\left \{ T^{m-1}\left(v \right ),\dots,T\left(v \right ),v \right \} }[/math], כדרוש.

[math]\displaystyle{ \boxed{\Rightarrow} }[/math]

נניח ש-[math]\displaystyle{ E=\left \{ T^{m-1}\left(v \right ),\dots,T\left(v \right ),v \right \} }[/math]. נחשב את המטריצה המייצגת [math]\displaystyle{ \left[T\right]_E }[/math]:

[math]\displaystyle{ T\left(T^{n-1}\left(v \right ) \right )=T^n\left(v \right )=0 }[/math], ולכן העמודה הראשונה במטריצה המייצגת היא [math]\displaystyle{ 0 }[/math].

[math]\displaystyle{ T\left(T^{n-2}\left(v \right ) \right )=T^{n-1}\left(v \right ) }[/math], ולכן העמודה השנייה היא [math]\displaystyle{ e_1 }[/math].

באופן דומה ניתן להמשיך ולקבל [math]\displaystyle{ \left[T\right]_E=J_n\left(0 \right ) }[/math].

∎

הראינו כי אנחנו חייבים לחלק את הבסיס שלנו למסלולים, כדי שהמטריצה המייצגת תהיה בצורת ז’ורדן. נותר לבדוק האם תתי-המרחבים הנפרשים על ידם הם אינווריאנטיים. ניעזר בהערה הבאה:

הערה

\begin{displaymjx}T\left[\operatorname{Span}\left \{ v_1,\dots,v_k \right \} \right ]=\operatorname{Span}\left \{ T\left(v_1 \right ),\dots,T\left(v_k \right ) \right \}=\operatorname{Span}\left(T\left[\left \{ v_1,\dots,v_k \right \} \right ] \right )\end{displaymjx}

למה

אם [math]\displaystyle{ E=\left \{ T^{m-1}\left(v \right ),\dots,T\left(v \right ),v \right \} }[/math] הוא מסלול מאורך [math]\displaystyle{ m }[/math], אזי [math]\displaystyle{ \operatorname{Span} E }[/math] הוא אינווריאנטי.

הוכחה.

נתבונן ב-[math]\displaystyle{ i=0,\dots,i-2 }[/math]. אזי \begin{displaymjx}T\left(T^i\left(v \right ) \right )=T^{i+1}\left(v \right )\in E\subseteq \operatorname{Span} E\end{displaymjx} עבור [math]\displaystyle{ i=m-1 }[/math], \begin{displaymjx}T\left(T^{m-1}\left(v \right ) \right )=T^m\left(v \right )=0\in \operatorname{Span} E\end{displaymjx} לפי ההערה הקודמת, קיבלנו את מה שרצינו להוכיח.

∎

רגע לפני שנוכיח את משפט ז’ורדן הנילפוטנטי, נגדיר הגדרה שתעזור במינוח.

הגדרה

בסיס [math]\displaystyle{ E }[/math] כך שהמטריצה המייצגת של [math]\displaystyle{ T }[/math] יחסית ל-[math]\displaystyle{ E }[/math] היא בצורת ז’ורדן, נקרא בסיס מז’רדן.

הוכחת משפט ז’ורדן הנילפוטנטי

הוכחה.

לא לבעלי לב חלש!

נניח כי [math]\displaystyle{ T:V\rightarrow V }[/math] אופרטור נילפוטנטי מסדר [math]\displaystyle{ k }[/math]. נשים לב ש-[math]\displaystyle{ \operatorname{im}\left(T^{k-1}\right)\subseteq\ker T }[/math], ולכן \begin{displaymjx}\operatorname{im}\left(T^{k-1} \right )\subseteq \operatorname{im}\left(T^{k-2} \right )\cap\ker T\subseteq \operatorname{im}\left(T^{k-3} \right )\cap\ker T\subseteq\cdots\subseteq\ker T\end{displaymjx} ניקח בסיס [math]\displaystyle{ T^{k-1}\left(v_1 \right ),\dots,T^{k-1}\left(v_{r_1} \right ) }[/math] של [math]\displaystyle{ \operatorname{im}\left(T^{k-1}\right) }[/math].

נשלים אותו לבסיס עבור [math]\displaystyle{ \operatorname{im}\left(T^{k-2} \right )\cap\ker T }[/math] על ידי הוספת הווקטורים \begin{displaymjx}T^{k-2}\left(v_{r_1+1} \right ),\dots,T^{k-2}\left(v_{r_2} \right )\end{displaymjx} נשלים את הבסיס שקיבלנו לבסיס עבור [math]\displaystyle{ \operatorname{im}\left(T^{k-3} \right )\cap\ker T }[/math] על ידי הוספת הווקטורים \begin{displaymjx}T^{k-3}\left(v_{r_2+1} \right ),\dots,T^{k-3}\left(v_{r_3} \right )\end{displaymjx} נמשיך באותו האופן עד שנקבל בסיס של [math]\displaystyle{ \ker T }[/math], שיהיה מהצורה (המפחידה) \begin{displaymjx}T^{k-1}\left(v_1 \right ),\dots,T^{k-1}\left(v_{r_1} \right ),T^{k-2}\left(v_{r_1+1} \right ),\dots,T^{k-2}\left(v_{r_2} \right ),\dots,\end{displaymjx} \begin{displaymjx}T\left(v_{r_{k+2}+1} \right ),\dots,T\left(v_{r_{k-1}} \right ),v_{r_{k-1}+1},\dots,v_{r_k}\end{displaymjx} (שימו לב שזה בסיס ל-[math]\displaystyle{ \ker T }[/math] ולא לכל [math]\displaystyle{ V }[/math], ולכן הוא לא הבסיס המז’רדן)

אמרנו שכדי שהמטריצה המייצגת תהיה בלוק ז’ורדן, חייבים שהבסיס יהיה מסלול. אם אנחנו רוצים מטריצה אלכסונית בלוקים כך שכל בלוק הוא בלוק ז’ורדן, צריכים איחוד של מסלולים. אם כן, נוכיח שאיחוד המסלולים הבא מהווה בסיס של [math]\displaystyle{ V }[/math] (זהירות - מפלצת):

\begin{displaymjx}\{T^{k-1}\left(v_1 \right ),\dots,T\left(v_1 \right ),v_1,\dots,T^{k-1}\left(v_{r_1} \right ),\dots,T\left(v_{r_1} \right ),v_{r_1},\end{displaymjx} \begin{displaymjx}T^{k-2}\left(v_{r_1+1} \right ),\dots,T\left(v_{r_1+1} \right ),v_{r_1+1},\dots,T^{k-2}\left(v_{r_2} \right ),\dots,T\left(v_{r_2} \right ),v_{r_2},\end{displaymjx} \begin{displaymjx}\cdots\end{displaymjx} \begin{displaymjx}T\left(v_{r_{k-2}+1} \right ),v_{r_{k-2}+1},\dots,T\left(v_{r_{k-1}} \right ),\dots,v_{r_{k-1}},\end{displaymjx} \begin{displaymjx}v_{r_{k-1}+1},\dots,v_{r_k}\}\end{displaymjx}

בת"ל

ניקח צירוף לינארי מתאפס \begin{displaymjx}\left(\star \right )\quad\sum_{i=1}^k\sum_{d=1}^i\sum_{j=r_{d-1}+1}^{r_d}\alpha_{ij}T^{i-d}\left(v_j \right )=0\end{displaymjx} נפעיל [math]\displaystyle{ T^{k-1} }[/math] על שני האגפים. כמעט כל הווקטורים יתאפסו לפי בנייתם, ונקבל כי \begin{displaymjx}\alpha_{11}T^{k-1}\left(v_1 \right )+\cdots+\alpha_{1r_1}T^{k-1}\left(v_{r_1} \right )=0\end{displaymjx} אבל זהו צירוף של איברי בסיס של [math]\displaystyle{ \operatorname{im} T^{k-1} }[/math], ולכן כל מקדמי השורה הראשונה מתאפסים; \begin{displaymjx}\alpha_{11}=\cdots=\alpha_{1r_1}=0\end{displaymjx} נחזור ל-[math]\displaystyle{ \left(\star\right) }[/math]. קיבלנו \begin{displaymjx}\left(\star\star \right )\quad\sum_{i=2}^k\sum_{d=1}^i\sum_{j=r_{d-1}+1}^{r_d}\alpha_{ij}T^{i-d}\left(v_j \right )=\end{displaymjx} \begin{displaymjx}=\sum_{i=1}^k\sum_{d=1}^i\sum_{j=r_{d-1}+1}^{r_d}\alpha_{ij}T^{i-d}\left(v_j \right )=0\end{displaymjx} באופן דומה נוכל להפעיל [math]\displaystyle{ T^{k-2} }[/math], ולקבל כי כל מקדמי השורה השנייה מתאפסים; [math]\displaystyle{ \alpha_{21}=\cdots=\alpha_{2r_2}=0 }[/math].

נמשיך באותו האופן, להראות שלכל [math]\displaystyle{ i=1,\dots,k }[/math], מקדמי השורה ה-[math]\displaystyle{ i }[/math] מתאפסים. לכן, כל המקדמים הם [math]\displaystyle{ 0 }[/math]. הוכחנו בת"ל!

פורשת

לכל [math]\displaystyle{ m=1,\dots,k-1 }[/math], הבסיס שבחרנו עבור [math]\displaystyle{ \operatorname{im} T^m\cap\ker T }[/math] מוכל ב-[math]\displaystyle{ T^m\left[B\right] }[/math], ובפרט ב-[math]\displaystyle{ T^m\left[\operatorname{Span}\left(B\right)\right] }[/math], שהוא תת-מרחב. לכן, \begin{displaymjx}\operatorname{im} T^m\cap\ker T\subseteq T^m\left[\operatorname{Span}\left(B\right)\right]\end{displaymjx} יהי [math]\displaystyle{ v\in V }[/math]. אזי [math]\displaystyle{ T^{k-1}\left(v\right)\in \operatorname{im} T^{k-1}\subseteq \operatorname{im} T^{k-1}\left[\operatorname{Span}\left(B\right)\right] }[/math].

טענת עזר:

לכל [math]\displaystyle{ m=1,\dots,k-1 }[/math], אם [math]\displaystyle{ T^m\left(v\right)\in T^m\left[\operatorname{Span}\left(B\right)\right] }[/math] , אזי \begin{displaymjx}T^{m-1}\left(v\right)\in T^{m-1}\left[\operatorname{Span}\left(B\right)\right]\end{displaymjx}

הוכחה:

יהי [math]\displaystyle{ u\in \operatorname{Span}\left(B\right) }[/math] שעבורו [math]\displaystyle{ T^m\left(u \right )=T^m\left(v \right ) }[/math]. לכן, \begin{displaymjx}T\left(T^{m-1}\left(v \right )-T^{m-1}\left(u \right ) \right )=0\end{displaymjx} אם כן, \begin{displaymjx}T^{m-1}\left(v \right )-T^{m-1}\left(u \right )\in \operatorname{im} T^{m-1}\cap\ker T\subseteq T^{m-1}\left[\operatorname{Span}\left(B \right ) \right ]\end{displaymjx}

אבל [math]\displaystyle{ T^{m-1}\left(u \right )\in T^{m-1}\left[\operatorname{Span}\left(B \right ) \right ] }[/math], ולכן [math]\displaystyle{ T^{m-1}\left(v \right )\in T^{m-1}\left[\operatorname{Span}\left(B \right ) \right ] }[/math], כדרוש.

ידוע \begin{displaymjx}T^{k-1}\left(v\right)\in \operatorname{im} T^{k-1}\left[\operatorname{Span}\left(B\right)\right]\end{displaymjx} לכן, לפי טענת העזר, \begin{displaymjx}T^{k-2}\left(v\right)\in \operatorname{im} T^{k-2}\left[\operatorname{Span}\left(B\right)\right]\end{displaymjx} מכאן \begin{displaymjx}T^{k-3}\left(v\right)\in \operatorname{im} T^{k-3}\left[\operatorname{Span}\left(B\right)\right]\end{displaymjx} וכן הלאה, עד שמגיעים לכך שמתקיים \begin{displaymjx}v=T^{0}\left(v\right)\in \operatorname{im} T^{0}\left[\operatorname{Span}\left(B\right)\right]=\operatorname{Span}\left(B\right)\end{displaymjx} כדרוש.

∎

ההרצאה הקודמת | חזרה למערכי ההרצאה | ההרצאה הבאה