高等代数(八)-线性变换06：若尔当标准形的理论推导

§ 6 若尔当标准形的理论推导
我们用初等因子的理论来解决若尔当标准形的计算问题.首先计算若尔当标准形的初等因子.
不难算出若尔当块
$${\mathbf{J}}_0={\left(\begin{array}{ccccc}{\lambda }_0& 0& \cdots & 0& 0\\ 1& {\lambda }_0& \cdots & 0& 0\\ 0& 1& \cdots & 0& 0\\ ⋮& ⋮& & ⋮& ⋮\\ 0& 0& \cdots & 1& {\lambda }_0\end{array}\right)}_{n\times n}$$
的初等因子是 ${\left(\lambda -{\lambda }_0\right)}^n$.
事实上, 考虑它的特征矩阵
$$\lambda \mathbf{E}-{\mathbf{J}}_0=\left(\begin{array}{ccccc}\lambda -{\lambda }_0& 0& \cdots & 0& 0\\ -1& \lambda -{\lambda }_0& \cdots & 0& 0\\ 0& -1& \cdots & 0& 0\\ ⋮& ⋮& & ⋮& ⋮\\ 0& 0& \cdots & -1& \lambda -{\lambda }_0\end{array}\right).$$
显然
$\left|\lambda \mathbf{E}-{\mathbf{J}}_0\right|={\left(\lambda -{\lambda }_0\right)}^n$,
这就是 $\lambda \mathbf{E}-{\mathbf{J}}_0$ 的 $n$ 阶行列式因子.
由于 $\lambda E-J_0$ 有一个 $n-1$ 阶子式是
$$\left|\begin{array}{ccccc}-1& \lambda -{\lambda }_0& \cdots & 0& 0\\ 0& -1& \cdots & 0& 0\\ ⋮& ⋮& & ⋮& ⋮\\ 0& 0& \cdots & -1& \lambda -{\lambda }_0\\ 0& 0& \cdots & 0& -1\end{array}\right|=(-1{)}^{n-1},$$
所以它的 $n-1$ 阶行列式因子是 1 , 从而它以下各阶的行列式因子全是 1.
因此, 它的不变因子
d 1 ( λ ) = ⋯ = d n − 1 ( λ ) = 1 , d n ( λ ) = ( λ − λ 0 )