(吴家伟,2022级)设\(f_{i}(\lambda)=\frac{\chi_{\phi}(\lambda)}{(\lambda-\lambda_{i})^{n_i}},i=1,\dots k\),其中\(n_{i}\)是\(\lambda_{i}\)在特征多项式\(\chi_{\phi}(\lambda)\)中的重数,则\(f_{i}(\lambda)\in\F [\lambda]\)。因为\(\alpha_{1}+ \dots +\alpha_{k}\in W\)且\(W\)是\(\phi\)-不变子空间,所以\(f_{i}(\phi)(\alpha_{1}+\dots+\alpha_{k})\in W\),即
\begin{equation}
f_{i}(\phi)(\alpha_{1})+\dots +f_{i}(\phi)(\alpha_{k})\in W.\tag{7.3.1}
\end{equation}
当\(j\neq i\)时,由\(\lambda-\lambda_{j}\mid f_{i}(\lambda)\)知存在\(q_{ij}(\lambda)\in\F[\lambda]\)使得
\begin{equation*}
f_{i}(\lambda)=q_{ij}(\lambda)(\lambda-\lambda_{j}),
\end{equation*}
则
\begin{equation*}
f_{i}(\phi)(\alpha_{j})=q_{ij}(\phi)(\phi-\lambda_{j} id_{V})(\alpha_{j}).
\end{equation*}
注意到\(\alpha_{j}\)是\(\phi\)属于\(\lambda_{j}\)的特征向量,所以\((\phi-\lambda_{j} id_{V})(\alpha_{j})=0\),则
\begin{equation*}
f_{i}(\phi)(\alpha_{j})=0,\quad\forall 1\leq i\neq j\leq k.
\end{equation*}
\begin{equation*}
f_{i}(\phi)(\alpha_{i})=f_{i}(\phi)(\alpha_{1})+\dots +f_{i}(\phi)(\alpha_{k})\in W.
\end{equation*}
由于\((f_{i}(\lambda),\lambda-\lambda_{i})=1\),所以存在\(u(\lambda),v(\lambda)\in\F[\lambda]\),使得
\begin{equation*}
u(\lambda)f_{i}(\lambda)+v(\lambda)(\lambda-\lambda_{i})=1,
\end{equation*}
则
\begin{equation*}
u(\phi)f_{i}(\phi)+v(\phi)(\phi-\lambda_{i} id_{V})=id_{V}.
\end{equation*}
于是,
\begin{equation*}
\begin{array}{ll}
\alpha_{i} & =u(\phi)f_{i}(\phi)(\alpha_{i})+v(\phi)(\phi-\lambda_{i} id_{V})(\alpha_{i})\\
& =u(\phi)f_{i}(\phi)(\alpha_{i}).
\end{array}
\end{equation*}
由\(f_{i}(\phi)(\alpha_{i})\in W\)且\(W\)是\(\phi\)-子空间可知\(u(\phi)f_{i}(\phi)(\alpha_{i})\in W\),即\(\alpha_{i}\in W\)。因此\(W\)中存在\(k\)个线性无关的向量\(\alpha_{1},\dots ,\alpha_{k}\),从而
\begin{equation*}
\dim W\geq k.
\end{equation*}