理解与证明“线性无关的特征向量的个数=若当块个数”

---

1.1 问题

若当标准形中，有一条性质说：一个矩阵的线性无关的特征向量个数等于其若当标准形的若当块个数。结论是简洁的，证明是有复杂的。

---

1.2 理解与证明

首先说明，以下的 $n$ 阶方阵 $A$ 是满秩的。

对于 $n$ 阶方阵 $A$，总存在相似的若当标准形矩阵，即存在非奇异矩阵 $P$ 与若当标准形 $J$，使得：

$$P^{-1}AP=J\text{\hspace{1em}(1.1)}$$

进而可得：
$$A=PJ{P}^{-1}\text{\hspace{1em}(1.2)}$$

设矩阵 $A$ 的其中一个特征根为 $\lambda$，与 $\lambda$ 对应的特征向量为 $x$，则：
$$Ax=\lambda x\text{\hspace{1em}(1.3)}$$

即：

$$(\lambda I-A)x=0\text{\hspace{1em}(1.4)}$$

将 $I=P{P}^{-1}$ 与 $A=PJ{P}^{-1}$ 代入可得：

$$(\lambda P{P}^{-1}-PJ{P}^{-1})x=0\text{\hspace{1em}(1.5)}$$

整理得：
$$P(\lambda I-J)P^{-1}x=0\text{\hspace{1em}(1.6)}$$

两边同时左乘 $P^{-1}$ 且令 $y=P^{-1}x$ 可得：
$$(\lambda I-J)y=0\text{\hspace{1em}(1.7)}$$

其中，$y$ 是 $x$ 的线性变换，且有 $x=Py$。

设若当标准形 $J$ 共有 $r$ 个若当块。一个特征值出现在一个或多个若当块里，不妨设 $\lambda ={\lambda }_1$ 同时出现在 $J_1,...,J_k(1\le k\le r)$ 中，此时 $R({\lambda }_{1}I-J_{1,...,k})=m_{1,...,k}-k$。其中，$m_{1,...,k}$ 为前 $k$ 个若当块组成的矩阵的秩。此时，$({\lambda }_{1}I-J_{1,...,k})y_{1,...,k}=0$ 有 $k$ 个自由的变量，而$({\lambda }_{1}I-J_i)y_i=0(i=k+1,...,r)$ 的解都为零。合起来，$({\lambda }_{1}I-J)y=0$ 共有$k$ 个线性无关的解。可见，一个特征向量出现在 $k$ 个若当块中，$({\lambda }_{i}I-J)y=0$ 就有$k$ 个线性无关的解。由于 $x=Py$，$k$ 个 $y$ 对应 $k$ 个 $x$，矩阵 $A$ 也就有 $k$ 个线性无关的特征向量。若当块数量和线性无关的特征向量的数量一致。

---

最后这段话比较抽象，不妨看几个例子：

假设一个三阶的若当块，分几种情况讨论。

1. 一个特征值只出现在一个Jordan块里，设有三个不同的特征值 ${\lambda }_1,{\lambda }_2,{\lambda }_3$，则：
   $$J=\left[\begin{array}{ccc}{\lambda }_1& 0& 0\\ 0& {\lambda }_2& 0\\ 0& 0& {\lambda }_3\end{array}\right]$$容易发现，该系统共有 3 个Jordan块，${\lambda }_1$ 出现 $J_1$ 里，$R({\lambda }_{1}I-J_1)=0$，$({\lambda }_{1}I-J_1)y_1=0$ 有非零解。$R({\lambda }_{1}I-J_1)=2$，$({\lambda }_{2,3}I-J_{2,3})y_{2,3}=0$只有零解，因此 $({\lambda }_{1}I-J)y=0$ 有一组线性无关的解 $y=[a,0,0](a\ne 0)$。同理，$({\lambda }_{2}I-J)y=0$，$({\lambda }_{3}I-J)y=0$ 各有一组线性无关的非零解。因此式(1.7) 共有3个线性无关的解，又$x=Py$，故矩阵 $A$ 共有3个线性无关的特征向量，与Jordan块数量一致。

2. 一个特征值只出现在一个Jordan块里，且有想同的特征值 ${\lambda }_1,{\lambda }_1,{\lambda }_2$，则：
   $$J=\left[\begin{array}{ccc}{\lambda }_1& 1& 0\\ 0& {\lambda }_1& 0\\ 0& 0& {\lambda }_2\end{array}\right]$$$\lambda ={\lambda }_1$ 时，$({\lambda }_{1}I-J_1)y_1=0$ 的解为 $y_1=[a,0]$，$({\lambda }_{1}I-J_2)y_2=0$的解为 0。合起来，$({\lambda }_{1}I-J)y=0$ 的解为 $y=[a,0,0](a\ne 0)$。同理，$({\lambda }_{2}I-J)y=0$有一个解。共得到两个线性无关的解，相应地，$x=Py$，矩阵 $A$ 有两个线性无关的特征向量，和若当块数量一致。

3. 一个特征值只出现在多个Jordan块里，且有想同的特征值 ${\lambda }_1,{\lambda }_1,{\lambda }_2$，则： $$J=\left[\begin{array}{ccc}{\lambda }_1& 0& 0\\ 0& {\lambda }_1& 0\\ 0& 0& {\lambda }_2\end{array}\right]$$则$({\lambda }_{1}I-J_{1,2})y_{1,2}=0$ 共有两个自由解，$({\lambda }_{1}I-J_3)y_3=0$ 有零解，合起来，$({\lambda }_{1}I-J)y=0$ 有两个线性无关的解。而 $({\lambda }_{2}I-J)y=0$ 有一个线性无关的解。$({\lambda }_{i}I-J)y=0(i=1,2)$ 共有 3 个线性无关的解，相应地，$x=Py$，矩阵$A$ 有3 个线性无关的特征向量。

— 完 —