הצגת המקור של הדף "קוד:תכונות של המרחב העצמי המוכלל"

נחזור למרחב העצמי המוכלל.

\begin{lem}

יהי $V$ מרחב וקטורי מעל $\mathbb{F}$, יהי $T:V\rightarrow V$ אופרטור לינארי, ויהי $\lambda\in\mathbb{F}$ ערך עצמי של $T$.

\begin{enumerate}

\item $K_\lambda=\left \{ v\in V\mid \exists k\in\mathbb{N}:\left(T-\lambda I \right )^kv=0 \right \}$.

\item $V_\lambda\subseteq K_\lambda$.

\item $K_\lambda$ תת-מרחב אינווריאנטי תחת $T$, ולכן גם תחת כל אופרטור בצורה $p\left(T\right)$, כאשר $p\left(x\right)\in\mathbb{F}\left[x\right]$ פולינום כלשהו.

\end{enumerate}

\end{lem}

\begin{proof}

\begin{enumerate}

\item נסמן $K_\lambda'=\left \{ v\in V\mid \exists k\in\mathbb{N}:\left(T-\lambda I \right )^kv=0 \right \}$, ונוכיח $K_\lambda=K_\lambda'$.

\begin{description}

\item[$\boxed{\subseteq}$]
טריוויאלי, אם ניקח $k=n$.

\item[$\boxed{\supseteq}$]
יהי $v\in K_\lambda'$. אם $v=0$, הוא נמצא בכל תת-מרחב, ולכן נניח $v\neq 0$. נבחר את ה-$k$ הקטן ביותר שעבורו $\left(T-\lambda I\right)^k\left(v\right)=0$, ונתבונן במסלול $$E=\left \{ \left(T-\lambda I \right )^{k-1}\left(v \right ),\dots,\left(T-\lambda I \right )\left(v \right ),v \right \}$$
(הוא מסלול, לפי הבחירה של $k$). $E$ בת"ל, $\dim V=n$, ולכן $k\leq n$. אם כן,
$$\left(T-\lambda I\right)^n\left(v \right )=\left(T-\lambda I \right )^{n-k}\left(T-\lambda I\right)^k\left(v \right )=\left(T-\lambda I \right )^{n-k} \left(0 \right )=0$$

\end{description}

\item לפי הסעיף הקודם,
$$V_\lambda=\left\{v\in V\mid T\left(v \right ) =\lambda v\right \}=\left \{v\in V\mid \left(T-\lambda I \right )\left(v \right )=0 \right \}\subseteq K_\lambda$$

\item קודם נוכיח ש-$K_\lambda$ אינווריאנטי תחת $T$. נשתמש בעובדה הבאה: האופרטורים $T$ ו-$T-\lambda I$ מתחלפים, כלומר $\left(T-\lambda I \right )T=T^2-\lambda T=T\left(T-\lambda I \right )$; לכן, גם כל חזקה של האחד מתחלפת עם חזקה של השני.

יהי $v\in K_\lambda$, ונוכיח $T\left(v\right)\in K_\lambda$.
$$\left(T-\lambda I \right )^nT\left(v \right )=T\left(T-\lambda I \right )^n\left(v \right )=T\left(0\right )=0$$
עובדה כללית: אם $W\subseteq V$ תת-מרחב אינווריאנטי תחת $T$, ואם $p\left(x\right)\in\mathbb{F}\left[x\right]$ פולינום כלשהו, אזי $W$ אינווריאנטי גם תחת $p\left(T\right)$. נוכיח - יהי $v\in W$, ונסמן $p\left(T\right)=\alpha_0I+\alpha_1T+\cdots+\alpha_sT^s$. אזי
$$\left (p\left(T\right)  \right )\left(v \right )
=\underbrace{\alpha_0\underbrace{I\left ( v \right )}_{\in W}}_{\in W}
+\underbrace{\alpha_1\underbrace{T\left ( v \right )}_{\in W}}_{\in W}
+\cdots
+\underbrace{\alpha_s\underbrace{T^s\left ( v \right )}_{\in W}}_{\in W}$$
כדרוש.

\end{enumerate}

\end{proof}