高等代数 线性映射(第9章)5 有理标准形

一.有理标准形(9.9)

1.零化多项式

(1)定义:

(2)判定:

命题1:设$C$是域$F$上有限维线性空间$W$上的线性变换.对$0\ne \alpha \in W,g(\lambda )$是$\alpha$的零化多项式当且仅当$\alpha$的最小多项式$m_{\alpha }(\lambda )|g(\lambda )$

2.循环子空间与友矩阵

命题2:设$C$是域$F$上有限维线性空间$W$上的线性变换.对$0\ne \alpha \in W$,设$\alpha$的最小多项式$m_{\alpha }(\lambda )$为$$m_{\alpha }(\lambda )={\lambda }^t+d_{t-1}{\lambda }^{t-1}+...+d_1\lambda +d_0(5)$$则$\alpha ,C\alpha ...C^{t-1}\alpha$线性无关,且$C^t\alpha$可由$\alpha ,C\alpha ...C^{t-1}\alpha$线性表出

受该命题启发,引进循环子空间的概念

(1)定义:

(2)性质:

(命题2的)推论1:设$C$是域$F$上有限维线性空间$W$上的线性变换.对$0\ne \alpha \in W$,设$\alpha$的最小多项式$m_{\alpha }(\lambda )$为$$m_{\alpha }(\lambda )={\lambda }^t+d_{t-1}{\lambda }^{t-1}+...+d_1\lambda +d_0(10)$$则$<\alpha ,C\alpha ...C^{t-1}\alpha >$是$t$维$C-$循环子空间,$C$在该子空间上的限制在基$\alpha ,C\alpha ...C^{t-1}\alpha$下的矩阵是$\alpha$的最小多项式$m_{\alpha }(\lambda )$的友矩阵,$C|<\alpha ,C\alpha ...C^{t-1}\alpha >$的特征多项式和最小多项式都等于$m_{\alpha }(\lambda )$

引理:设$C$是域$F$上有限维线性空间$W$上的线性变换.对$0\ne \alpha \in W$如果$\alpha$的最小多项式$m_{\alpha }(\lambda )=p^h(\lambda )$,其中$p(\lambda )$是域$F$上次数$r>1$的不可约多项式,那么$<\alpha ,C\alpha ...C^{t-1}\alpha >$不能分解成$C|<\alpha ,C\alpha ...C^{t-1}\alpha >$的非平凡不变子空间的直和,其中$$t=\mathrm{deg}{m}_{\alpha }(\lambda )=hr$$

(命题2的)推论2:设$C$是域$F$上有限维线性空间$W$上的线性变换.对$0\ne \alpha \in W$如果$\alpha$的最小多项式$m_{\alpha }(\lambda )=p^h(\lambda )$,其中$p(\lambda )$是域$F$上次数$r>1$的不可约多项式,那么$m_{\alpha }(\lambda )$的友矩阵不能表示成分块对角矩阵

3.有理标准形

命题3:设$C$是域$F$上有限维线性空间$W$上的线性变换.对$\forall 0\ne \alpha \in W$,如果$\alpha$的最小多项式$m_{\alpha }(\lambda )=p^h(\lambda )$,其中$p(\lambda )$是域$F$上次数$r>1$的不可约多项式,那么$m_{\alpha }(\lambda )$的友矩阵不能表示成分块对角矩阵

(1)单个不可约因式的情形:

定理1:设$C$是域$F$上$m$维线性空间$W$上的线性变换.如果$C$的最小多项式$m(\lambda )=p(\lambda )$,其中$p(\lambda )$是域$F$上次数$r>1$的不可约多项式,那么$W$能分解成$\frac{m}{r}$个$r$维$C-$循环子空间的直和

(定理1的)推论1:设$C$是域$F$上$m$维线性空间$W$上的线性变换.如果$C$的最小多项式$m(\lambda )=p(\lambda )$,其中$p(\lambda )$是域$F$上次数$r>1$的不可约多项式,那么$W$中存在1个基使得$C$在此基下的矩阵$C$是由$\frac{m}{r}$个$p(\lambda )$的友矩阵组成的分块对角矩阵,称其为$C$的有理标准形.$C$的有理标准形是唯一的,并且是$C$的最简单形式的矩阵表示

(2)多个相同的不可约因式的情形:

命题4:设$C$是域$F$上$m$维线性空间$W$上的线性变换.如果$C$的最小多项式$m(\lambda )=p^l(\lambda )$,其中$l>1,p(\lambda )$是域$F$上次数$r>1$的不可约多项式,那么对$\forall 0\ne \alpha \in W,\alpha$的最小多项式$m_{\alpha }(\lambda )=p^h(\lambda )(l\ge h\in Z^{+})$;并且$p(C)\alpha$的最小多项式$m_{p(C)\alpha }(\lambda )=p^{h-1}(\lambda )$.把$\alpha$生成的$hr$维$C-$循环子空间记作$W_{hr}(\alpha )$,则$p(C)\alpha$生成的$(h-1)r$维$C-$循环子空间等于$p(C)W_{hr}(\alpha )$

定理2:设$C$是域$F$上$m$维线性空间$W$上的线性变换.如果$C$的最小多项式$m(\lambda )=p^l(\lambda )$,其中$l>1,p(\lambda )$是域$F$上次数$r>1$的不可约多项式,那么$W$能分解成$\frac{{\dim }_{W_0}}{r}$个$C-$循环子空间的直和,其中$W_0$是$p(C)$的属于特征值0的特征子空间,从而$W$中存在1个基,使得$C$在此基下的矩阵 C = d i a g { C 1 , C 2 . . . C v }   ( v = dim ⁡ W 0 r ) C=diag\{C_1,C_2...C_v\}\,(v=\frac{\dim{W_0}}{r}) C=diag{C1​,C2​...Cv​}(v=rdimW0​​),其中$C_i$是$p^{h_i}(\lambda )(1\le h_i\le l,i=1,2...v)$的友矩阵,称为1个有理块;$C$中有理块的总数$v=\frac{m-rank[p(C)]}{r}$;对于$1\le h\le l,C$中$hr$级有理块的个数为$$N(hr)=\frac{rand[p^{h-1}(C)]+rand[p^{h+1}(C)]-2rand[p^h(C)]}{r}$$$C$称为$C$的1个有理标准形.除有理块的排列次序外,$C$的有理标准形$C$是唯一的,并且$C$是$C$的最简单形式的矩阵表示


(定理2的)推论1:设$C$是域$F$上$m$维线性空间$W$上的线性变换.如果$C$的最小多项式$m(\lambda )=p^l(\lambda )$,其中$l>1,p(\lambda )$是域$F$上次数$r>1$的不可约多项式,那么$C$的有理标准形$C$中一定有$lr$级有理块

(3)多个不同的不可约因式的情形:

定理3:设$Ꭿ$是域$F$上$n$维线性空间$V$上的线性变换,如果$Ꭿ$的最小多项式$m(\lambda )$在$F[\lambda ]$中的标准分解式为$$m(\lambda )=p_1^{l_1}(\lambda )p_2^{l_2}(\lambda )...p_s^{l_s}(\lambda )$$其中$\mathrm{deg}{p}_j(\lambda )=r_j(j=1,2...s)$,那么$V$中存在1个基,使得$Ꭿ$在此基下的矩阵$C$是由有理块组成的分块对角矩阵;$C$中对应于$p_j^{l_j}(\lambda )$的有理块的总数为$$N_j=\frac{n-rank[p_j(Ꭿ)]}{r_j}$$其中$h{r}_j$级有理块的个数为$$N_j(h{r}_j)=\frac{rank[p_j^{h-1}(Ꭿ)]+rank[p_j^{h+1}(Ꭿ)]-2rank[p_j^h(Ꭿ)]}{r_j}$$其中$1\le h\le l_j(j=1,2...s)$.$C$称为$Ꭿ$的有理标准形.除有理块的排列次序外,$Ꭿ$的有理标准形$C$是唯一的

(定理3的)推论1:设$A$是域$F$上的$n$级矩阵,如果$A$的最小多项式$m(\lambda )$在$F[\lambda ]$中的标准分解式为$$m(\lambda )=p_1^{l_1}(\lambda )p_2^{l_2}(\lambda )...p_s^{l_s}(\lambda )$$其中$\mathrm{deg}{p}_j(\lambda )=r_j(j=1,2...s)$,那么$A$相似于1个由有理块组成的分块对角矩阵$C,C$中对应于$p_j^{l_j}(\lambda )$的有理块的总数为$$N_j=\frac{n-rank[p_j(A)]}{r_j}$$其中$h{r}_j$级有理块的个数为$N_j(h{r}_j)$为$$N_j(h{r}_j)=\frac{rank[p_j^{h-1}(A)]+rank[p_j^{h+1}(A)]-2rank[p_j^h(A)]}{r_j}$$其中$1\le h\le l_j(j=1,2...s)$.$C$称为$A$的有理标准形.除有理块的排列次序外,$A$的有理标准形$C$是唯一的

4.广义有理标准形
(1)任意域上的情形:

定理4:设$Ꭿ$是域$F$上$n$维线性空间$V$上的线性变换,如果$Ꭿ$的最小多项式$m(\lambda )$在$F[\lambda ]$中的标准分解式为$$m(\lambda )=(\lambda -{\lambda }_1{)}^{l_1}...(\lambda -{\lambda }_s{)}^{l_s}{p}_1^{k_1}(\lambda )p_2^{k_2}(\lambda )...p_v^{k_v}(\lambda )$$其中$\mathrm{deg}{p}_j(\lambda )=r_j>1(j=1,2...v)$,那么$V$中存在1个基,使得$Ꭿ$在此基下的矩阵$C$是由约当块和有理块组成的分块对角矩阵.$C$中主对角元为${\lambda }_i$的约当块总数$${\tilde{N}}_i=n-rank(Ꭿ-{\lambda }_i\mathcal{I})$$其中$t$级约当块的个数为$${\tilde{N}}_i(t)=rank(Ꭿ-{\lambda }_i\mathcal{I}{)}^{t-1}+rank(Ꭿ-{\lambda }_i\mathcal{I}{)}^{t+1}-2rank(Ꭿ-{\lambda }_i\mathcal{I}{)}^t$$其中$1\le t\le l_i(i=1,2...s);C$中对应于$p_j^{k_j}(\lambda )$的有理块的总数为$$N_j=\frac{n-rank[p_j(Ꭿ)]}{r_j}$$其中$h{r}_j$级有理块的个数为$$N_j(h{r}_j)=\frac{rank[p_j^{h-1}(Ꭿ)]+rank[p_j^{h+1}(Ꭿ)]-2rank[p_j^h(Ꭿ)]}{r_j}$$其中$1\le h\le k_j(j=1,2...v).C$称为$Ꭿ$的广义有理标准形.除去约当块和有理块的排列次序外,$Ꭿ$的广义有理标准形是唯一的

(定理4的)推论1:设$A$是域$F$上的$n$级矩阵,如果$A$的最小多项式$m(\lambda )$在$F[\lambda ]$中的标准分解式为$$m(\lambda )=(\lambda -{\lambda }_1{)}^{l_1}...(\lambda -{\lambda }_s{)}^{l_s}{p}_1^{k_1}(\lambda )p_2^{k_2}(\lambda )...p_v^{k_v}(\lambda )$$其中$\mathrm{deg}{p}_j(\lambda )=r_j>1(j=1,2...v)$,那么$A$相似于1个由约当块和有理块组成的分块对角矩阵$C$.$C$中主对角元为${\lambda }_i$的约当块总数$${\tilde{N}}_i=n-rank(A-{\lambda }_{i}I)$$其中$t$级约当块的个数为$${\tilde{N}}_i(t)=rank(A-{\lambda }_{i}I{)}^{t-1}+rank(A-{\lambda }_{i}I{)}^{t+1}-2rank(A-{\lambda }_{i}I{)}^t$$其中$1\le t\le l_i(i=1,2...s);C$中对应于$p_j^{k_j}(\lambda )$的有理块的总数为$$N_j=\frac{n-rank[p_j(A)]}{r_j}$$其中$h{r}_j$级有理块的个数为$$N_j(h{r}_j)=\frac{rank[p_j^{h-1}(A)]+rank[p_j^{h+1}(A)]-2rank[p_j^h(A)]}{r_j}$$其中$1\le h\le k_j(j=1,2...v).C$称为$A$的广义有理标准形.除去约当块和有理块的排列次序外,$A$的广义有理标准形是唯一的

(2)实数域上的情形:

(定理4的)推论2:设$Ꭿ$是实数域$R$上$n$维线性空间$V$上的线性变换,如果$Ꭿ$的最小多项式$m(\lambda )$在$R[\lambda ]$中的标准分解式为$$m(\lambda )=(\lambda -{\lambda }_1{)}^{k_1}...(\lambda -{\lambda }_m{)}^{k_m}({\lambda }^2+p_1\lambda +q_1{)}^{l_1}...({\lambda }^2+p_s\lambda +q_s{)}^{l_s}$$那么$V$中存在1个基,使得$Ꭿ$在此基下的矩阵$C$是由约当块和有理块组成的分块对角矩阵.$C$中主对角元为${\lambda }_i$的约当块总数$${\tilde{N}}_i=n-rank(Ꭿ-{\lambda }_i\mathcal{I})$$其中$t$级约当块的个数为$${\tilde{N}}_i(t)=rank(Ꭿ-{\lambda }_i\mathcal{I}{)}^{t-1}+rank(Ꭿ-{\lambda }_i\mathcal{I}{)}^{t+1}-2rank(Ꭿ-{\lambda }_i\mathcal{I}{)}^t$$其中$1\le t\le k_i(i=1,2...m);C$中对应于${\lambda }^2+p_j\lambda +q_j$的有理块的总数为$$N_j=\frac{n-rank[{Ꭿ}^2+p_jᎯ+q_j\mathcal{I}]}{2}$$其中$2h$级有理块的个数为$$N_j(2h)=\frac{rank[({Ꭿ}^2+p_jᎯ+q_j\mathcal{I}{)}^{h-1}]+rank[({Ꭿ}^2+p_jᎯ+q_j\mathcal{I}{)}^{h+1}]-2rank[({Ꭿ}^2+p_jᎯ+q_j\mathcal{I}{)}^h]}{2}$$其中$1\le h\le l_j(j=1,2...s).C$称为$Ꭿ$的广义有理标准形.除去约当块和有理块的排列次序外,$Ꭿ$的广义有理标准形是唯一的

(定理4的)推论3:设$A$是实数域$R$上的$n$级矩阵,如果$A$的最小多项式$m(\lambda )$在$R[\lambda ]$中的标准分解式为$$m(\lambda )=(\lambda -{\lambda }_1{)}^{k_1}...(\lambda -{\lambda }_m{)}^{k_m}({\lambda }^2+p_1\lambda +q_1{)}^{l_1}...({\lambda }^2+p_s\lambda +q_s{)}^{l_s}$$那么$A$相似于1个由约当块和有理块组成的分块对角矩阵$C$.$C$中主对角元为${\lambda }_i$的约当块总数$${\tilde{N}}_i=n-rank(A-{\lambda }_{i}I)$$其中$t$级约当块的个数为$${\tilde{N}}_i(t)=rank(A-{\lambda }_{i}I{)}^{t-1}+rank(A-{\lambda }_{i}I{)}^{t+1}-2rank(A-{\lambda }_{i}I{)}^t$$其中$1\le t\le K_i(i=1,2...m);C$中对应于${\lambda }^2+p_j\lambda +q_j$的有理块的总数为$$N_j=\frac{n-rank(A^2+p_{j}A+q_{j}I)}{2}$$其中$h{r}_j$级有理块的个数为$$N_j(h{r}_j)=\frac{rank[(A^2+p_{j}A+q_{j}I{)}^{h-1}]+rank[(A^2+p_{j}A+q_{j}I{)}^{h+1}]-2rank[(A^2+p_{j}A+q_{j}I{)}^h]}{2}$$其中$1\le h\le l_j(j=1,2...s).C$称为$A$的广义有理标准形.除去约当块和有理块的排列次序外,$A$的广义有理标准形是唯一的

5.通过$\lambda -$矩阵求有理标准形
(1)$\lambda -$矩阵的初等因子与不变因子:

定理5:设$A(\lambda )$是$F[\lambda ]$上的$n$级满秩矩阵,通过初等变换把$A(\lambda )$化成对角形,然后把主对角线上每个次数大于0的多项式分解成两两不等的不可约多项式的方幂的乘积,则所有这些不可约多项式的方幂(相同的按出现的次数计算)就是$A(\lambda )$的初等因子

(2)矩阵与特征矩阵相抵的判定:

定理6:$F[\lambda ]$上2个满秩的$n$级矩阵相抵当且仅当它们有相同的初等因子

定理7:域$F$上2个$n$级矩阵的特征矩阵相抵的充要条件是它们有相同的不变因子或相同的初等因子

(3)矩阵的初等因子与不变因子:

(4)矩阵相似的判定:

定理8:域$F$上2个$n$级矩阵$A,B$相似的充要条件是它们的特征矩阵$\lambda I-A,\lambda I-B$相抵

定理9:域$F$上2个$n$级矩阵$A,B$相似的充要条件是它们有相同的不变因子或相同的初等因子

(5)矩阵的有理标准形:

定理10:域$F$上任一$n$级矩阵$A$都相似于1个由有理块组成的分块对角矩阵$C$,除去其中有理块的排列次序外,$C$由$A$唯一决定,称$C$是$A$的有理标准形

(定理10的)推论1:域$F$上$n$级矩阵$A$的最小多项式$m(\lambda )$等于$A$的最后1个不变因子$d_n(\lambda )$

(定理10的)推论2:设域$E\supseteq F$,则域$F$上2个$n$级矩阵$A,B$相似当且仅当把他们看成$E$上的矩阵后相似

该推论说明域$F$上$n$级矩阵间的相似性不随域的扩大而改变

附录2.定理11的证明