条件1与2的等价性在
定理 7.4.3中已经得到了证明。下面证明它们与其它条件的等价性。
设\(\lambda_1,\dots,\lambda_t\)是\(A\)在\(\mathbb{F}\)上的所有不同特征值，\(\lambda_i\)的代数重数记为\(n_i\)，几何重数记为\(s_i\)，\(i=1,\dots,t\)。则\(\sum_{i=1}^t n_i\le n\)，且当且仅当\(\chi_A(\lambda)\)的根全在\(\mathbb{F}\)上时，\(\sum_{i=1}^t n_i= n\)。
\(2\Rightarrow 3\)：矩阵的特征向量均来自于各自所在的特征子空间，每一个特征子空间\(V_{\lambda_i}\)可以最多提供几何重数\(s_i\)个线性无关的特征向量，于是线性无关的特征向量个数不会超过几何重数的和\(\sum_{i=1}^t s_i\)，即
\begin{equation*}
n\le \sum_{i=1}^t s_i.
\end{equation*}
另一方面，根据
引理 7.4.4，对每一个
\(i\)均有
\(s_i\le n_i\)，于是
\begin{equation*}
n\le \sum_{i=1}^t s_i\le \sum_{i=1}^t n_i= n,
\end{equation*}
故对每一个\(i\)，\(s_i= n_i\)，且\(\sum_{i=1}^t n_i= n\)，即条件3成立。
\(3\Rightarrow 4\)：\(\chi_A(\lambda)\)的根全在\(\mathbb{F}\)上，且每个特征值的代数重数等于几何重数，所以
\begin{equation*}
\sum_{i=1}^t s_i = \sum_{i=1}^t n_i= n.
\end{equation*}
\(4\Rightarrow 1\)：因为
\begin{equation*}
\F^n =V_{\lambda_1}\oplus\cdots\oplus V_{\lambda_t},
\end{equation*}
根据直和的性质，在每一个\(V_{\lambda_i}\)中取基\((\eta_{i1},\dots,\eta_{is_i})\)，则这些基向量放在一起可以构成\(\F^n\)的基。记
\begin{equation*}
P=(\eta_{11},\dots,\eta_{1s_1},\dots,\eta_{t1},\dots,\eta_{ts_t}),
\end{equation*}
则\(P\)是可逆矩阵。注意到\(P\)的每一列向量都是特征向量，记
\begin{equation*}
AP =P B,
\end{equation*}
则\(B\)是对角阵，即条件1成立。
