高等代数8-6 若尔当标准型理论推导

若尔当块的初等因子

  本节研究复矩阵的若尔当标准形.我们先考察若尔当块的行列式因子,不变因子和初等因子.
  对于若尔当块矩阵$\mathbf{J}({\lambda }_0,t),$其特征多项式$|\lambda {\mathbf{E}}_t-\mathbf{J}({\lambda }_0,t)|$.容易得出,其特征多项式$f(\lambda )=(\lambda -{\lambda }_0{)}^t,t$阶行列式因子为$D_t(\lambda )=(\lambda -{\lambda }_0{)}^t,D_{t-1}(\lambda )=1.$从而得出不变因子.由此可见特征矩阵$\lambda {\mathbf{E}}_t-\mathbf{J}({\lambda }_0,t)$与下列对角矩阵等价:$${\mathbf{\Delta }}_0(\lambda )=\left(\begin{array}{cc}{\mathbf{E}}_{t-1}& \\ & (\lambda -{\lambda }_0{)}^t\end{array}\right).$$  对于若尔当矩阵$$\mathbf{J}=\left(\begin{array}{cccc}\mathbf{J}({\lambda }_1,t_1)& & & \\ & \mathbf{J}({\lambda }_2,t_2)& & \\ & & \ddots & \\ & & & \mathbf{J}({\lambda }_s,t_s)\end{array}\right)$$其中${\lambda }_1,\cdots ,{\lambda }_s$中可能有相同的.我们记$${\mathbf{\Delta }}_i(\lambda )=\left(\begin{array}{cc}{\mathbf{E}}_{t_i-1}& \\ & (\lambda -{\lambda }_0{)}^{t_i}\end{array}\right).$$那么$\lambda \mathbf{E}-\mathbf{J}$与下列对角矩阵等价:$$\mathbf{\Delta }(\lambda )=\left(\begin{array}{cccc}{\mathbf{\Delta }}_1(\lambda )& & & \\ & {\mathbf{\Delta }}_2(\lambda )& & \\ & & \ddots & \\ & & & {\mathbf{\Delta }}_s(\lambda )\end{array}\right)$$由定理$8$,$\mathbf{J}$的初等因子就是$$(\lambda -{\lambda }_1{)}^{t_1},(\lambda -{\lambda }_2{)}^{t_2},\cdots ,(\lambda -{\lambda }_s{)}^{t_s}.$$  反过来,如果已知若尔当矩阵$\mathbf{J}$的初等因子是$(\lambda -{\lambda }_1{)}^{t_1},(\lambda -{\lambda }_2{)}^{t_2},\cdots ,(\lambda -{\lambda }_s{)}^{t_s},$那么$\mathbf{J}$必然是由$s$个若尔当块$\mathbf{J}({\lambda }_i,t_i)(1\le i\le s)$组成.所以初等因子基本上决定了若尔当矩阵.
  又因为,一个$\lambda -$矩阵唯一确定了它的初等因子,所以我们有
定理10 每个$n$阶复矩阵$\mathbf{A}$必然与一个若尔当矩阵相似,并且这个若尔当矩阵中的若尔当块除了排列次序之外是由矩阵$\mathbf{A}$唯一决定的.我们称该若尔当矩阵为$\mathbf{A}$的若尔当标准形.
证明  因为$\mathbf{A}$是复数域上的矩阵,所以它的每个初等因子都是一次因式的方幂,不妨设它的初等因子是$(\lambda -{\lambda }_1{)}^{t_1},(\lambda -{\lambda }_2{)}^{t_2},\cdots ,(\lambda -{\lambda }_s{)}^{t_s},$那么由若尔当标准形的理论就能够推出它的特征矩阵相抵于上述若尔当标准形.

若尔当标准形应用

定理11 对于$n$维复线性空间$V$上的任意线性变换$\mathcal{A},$总是可以找到$V$的一组基,使得$\mathcal{A}$在这组基下的矩阵是一个若尔当矩阵.这个若尔当矩阵除了若尔当块的次序之外是由线性变换$\mathcal{A}$唯一决定的.
定理12 复矩阵与对角矩阵相似的充分必要条件是该矩阵的初等因子均是一次的.
定理13 复矩阵与对角矩阵相似的充分必要条件是该矩阵的不变因子没有重根.再由不变因子之间的整除性质,该定理可以等价地叙述为:复矩阵与对角矩阵相似的充分必要条件是该矩阵的最后一个不变因子没有重根.