הבדלים בין גרסאות בדף "קוד:תכונות של המרחב העצמי המוכלל"
(יצירת דף עם התוכן "נחזור למרחב העצמי המוכלל. \textbf{למה:} יהי $V$ מרחב וקטורי מעל $\mathbb{F}$, יהי $T:V\rightarrow V$ אופרטור...") |
מ (4 גרסאות יובאו) |
||
| (3 גרסאות ביניים של משתמש אחר אחד אינן מוצגות) | |||
| שורה 1: | שורה 1: | ||
נחזור למרחב העצמי המוכלל. | נחזור למרחב העצמי המוכלל. | ||
| − | \ | + | \begin{lem} |
יהי $V$ מרחב וקטורי מעל $\mathbb{F}$, יהי $T:V\rightarrow V$ אופרטור לינארי, ויהי $\lambda\in\mathbb{F}$ ערך עצמי של $T$. | יהי $V$ מרחב וקטורי מעל $\mathbb{F}$, יהי $T:V\rightarrow V$ אופרטור לינארי, ויהי $\lambda\in\mathbb{F}$ ערך עצמי של $T$. | ||
| שורה 7: | שורה 7: | ||
\begin{enumerate} | \begin{enumerate} | ||
| − | \item K_\lambda=\left \{ v\in V\mid \exists k\in\mathbb{N}:\left(T-\lambda I \right )^kv=0 \right \}. | + | \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 $V_\lambda\subseteq K_\lambda$. | ||
| − | \item $K_\lambda$ תת-מרחב אינווריאנטי תחת $T$, ולכן תחת כל אופרטור בצורה $p\left(T\right)$, | + | \item $K_\lambda$ תת-מרחב אינווריאנטי תחת $T$, ולכן גם תחת כל אופרטור בצורה $p\left(T\right)$, כאשר $p\left(x\right)\in\mathbb{F}\left[x\right]$ פולינום כלשהו. |
\end{enumerate} | \end{enumerate} | ||
| − | \ | + | \end{lem} |
| + | |||
| + | \begin{proof} | ||
\begin{enumerate} | \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'$. | + | \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$. | טריוויאלי, אם ניקח $k=n$. | ||
| − | $\boxed{\supseteq}$ | + | \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 לפי הסעיף הקודם, | \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$$ | |
| − | $ | + | |
| − | + | ||
| − | 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 )$; לכן, גם כל חזקה של האחד מתחלפת עם חזקה של השני. | \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$. | יהי $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$$ | |
| − | $\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$. אזי | עובדה כללית: אם $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 ) | |
| − | $\left (p\left(T\right) \right )\left(v \right ) | + | |
=\underbrace{\alpha_0\underbrace{I\left ( v \right )}_{\in W}}_{\in W} | =\underbrace{\alpha_0\underbrace{I\left ( v \right )}_{\in W}}_{\in W} | ||
+\underbrace{\alpha_1\underbrace{T\left ( v \right )}_{\in W}}_{\in W} | +\underbrace{\alpha_1\underbrace{T\left ( v \right )}_{\in W}}_{\in W} | ||
+\cdots | +\cdots | ||
| − | +\underbrace{\alpha_s\underbrace{T^s\left ( v \right )}_{\in W}}_{\in W}$ | + | +\underbrace{\alpha_s\underbrace{T^s\left ( v \right )}_{\in W}}_{\in W}$$ |
| − | + | ||
כדרוש. | כדרוש. | ||
\end{enumerate} | \end{enumerate} | ||
| + | |||
| + | \end{proof} | ||
גרסה אחרונה מ־20:22, 4 באוקטובר 2014
נחזור למרחב העצמי המוכלל.
\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}
