依题意知,对任意\(1\leq i\leq n\),子空间\(0,U_i=\langle \xi_i,\xi_{i+1},\dots ,\xi_n\rangle\)是\(\phi\)-不变子空间。下证\(V\)的\(\phi\)-不变子空间有且只有以上这些。设\(U\)是\(V\)的非零\(\phi\)-不变子空间,记
\begin{equation*}
i_0=\min\{i\ |\ a_i\neq 0\mbox{且}a_i \xi_i+a_{i+1} \xi_{i+1}+\dots +a_n \xi_n\in U\},
\end{equation*}
则
\(U\subseteq\langle \xi_{i_0},\xi_{i_0+1},\dots ,\xi_n\rangle\)。我们断言
\(U=\langle \xi_{i_0},\xi_{i_0+1},\dots ,\xi_n\rangle\)。事实上,由
\(i_0\)的定义知:存在
\(a_{i_0},a_{i_0+1},\dots ,a_n\in\mathbb{F}\)使得
\(a_{i_0}\xi_{i_0}+a_{i_0+1}\xi_{i_0+1}+\dots +a_n \xi_n\in U\),其中
\(a_{i_0}\neq 0\)。由
项 7.2.2.7.b 知
\(\xi_n\in U\),所以
\begin{equation*}
(a_{i_0}\xi_{i_0}+a_{i_0+1}\xi_{i_0+1}+\cdots +a_n \xi_n)-a_n \xi_n\in U.
\end{equation*}
记\(\beta_1\triangleq a_{i_0}\xi_{i_0}+a_{i_0+1}\xi_{i_0+1}+\cdots +a_{n-1} \xi_{n-1}\),则\(\beta_1\in U\),于是 \(\phi(\beta_1)-a \beta_1-a_{n-1}\xi_n\in U\), 即
\begin{equation*}
\gamma_1\triangleq a_{i_0}\xi_{i_0+1}+a_{i_0+1}\xi_{i_0+2}+\cdots +a_{n-2} \xi_{n-1}\in U,
\end{equation*}
再根据\(\phi(\gamma_1)-a \gamma_1-a_{n-2}\xi_n\in U\)得
\begin{equation*}
\gamma_2\triangleq a_{i_0}\xi_{i_0+2}+a_{i_0+1}\xi_{i_0+3}+\cdots +a_{n-3} \xi_{n-1}\in U,
\end{equation*}
依此类推,有\(a_{i_0}\xi_{n-1}\in U\)。由\(a_{i_0}\neq 0\)可知\(\xi_{n-1}\in U\)。于是,
\begin{equation*}
\beta_2\triangleq\beta_1-a_{n-1}\xi_{n-1}= a_{i_0} \xi_{i_0}+a_{i_0+1}\xi_{i_0+1}+\cdots +a_{n-2}\xi_{n-2}\in U.
\end{equation*}
同理,我们有
\begin{equation*}
\phi(\beta_2)-a\beta_2-a_{n-2}\xi_{n-1}\in U,
\end{equation*}
即
\begin{equation*}
\eta_1\triangleq a_{i_0}\xi_{i_0+1}+a_{i_0+1}\xi_{i_0+2}+\cdots +a_{n-3}\xi_{n-2}\in U.
\end{equation*}
再由\(\phi(\eta_1)-a\eta_1-a_{n-3}\xi_{n-1}\in U\),得
\begin{equation*}
\eta_2\triangleq a_{i_0}\xi_{i_0+2}+a_{i_0+1}\xi_{i_0+3}+\cdots +a_{n-4}\xi_{n-3}\in U.
\end{equation*}
依此类推,\(a_{i_0}\xi_{n-2}\in U\)。由\(a_{i_0}\neq 0\)可知\(\xi_{n-2}\in U\)。于是,
\begin{equation*}
\beta_3\triangleq\beta_2-a_{n-2}\xi_{n-2}= a_{i_0} \xi_{i_0}+a_{i_0+1}\xi_{i_0+1}+\cdots +a_{n-3}\xi_{n-3}\in U.
\end{equation*}
重复上述步骤,最后有\(a_{i_0}\xi_{i_0}\in U\)。由\(a_{i_0}\neq 0\)得\(\xi_{i_0}\in U\)。因此
\begin{equation*}
U=\langle \xi_{i_0},\xi_{i_0+1},\cdots ,\xi_n\rangle .
\end{equation*}