高等代数 线性映射(第9章)3 不变子空间与最小多项式

一.不变子空间与$Hamilton-Cayley$定理(9.5)

1.不变子空间
(1)概念:

(2)性质与判定:

命题1:$V$上线性变换$Ꭿ$的核与象,$Ꭿ$的特征子空间都是$Ꭿ-$子空间

命题2:设$Ꭿ,\mathcal{B}$都是$V$上的线性变换,如果$Ꭿ,\mathcal{B}$可交换,那么$Ker\mathcal{B},Im\mathcal{B},\mathcal{B}$的特征子空间都是$Ꭿ-$子空间

推论1:设$Ꭿ$是域$F$上线性空间$V$上的线性变换,$f(x)\in F[x]$,则$Kerf(Ꭿ),Imf(Ꭿ),f(Ꭿ)$的特征子空间都是$Ꭿ-$子空间

命题3:$V$上线性变换$Ꭿ$的不变子空间的和与交仍是$Ꭿ$的不变子空间

命题4:设$Ꭿ$是域$F$上线性空间$V$上的1个线性变换,$W=<{\alpha }_1,{\alpha }_2...{\alpha }_s>$是$V$的1个子空间,则$W$是$Ꭿ-$子空间当且仅当$Ꭿ{\alpha }_i\in W(i=1,2...s)$

命题5:设$Ꭿ$是域$F$上线性空间$V$上的1个线性变换,$\xi \in V$且$\xi \ne 0$,则$<\xi >$是$Ꭿ-$子空间当且仅当$\xi$是$Ꭿ$的1个特征向量

(3)将线性变换限制到不变子空间或其商空间上:


2.用不变子空间研究线性变换的矩阵表示

(1)将线性变换表示成分块上三角矩阵:

定理1:设$\mathcal{A}$是域$F$上$n$维线性空间$V$上的1个线性变换,$W$是$\mathcal{A}$的1个非平凡的不变子空间$W$中取1个基${\alpha }_1...{\alpha }_r$,把它扩充成$V$的1个基${\alpha }_1...{\alpha }_r,{\alpha }_{r+1}...{\alpha }_n$,则$\mathcal{A}$在此基下的矩阵$A$为1个分块上三角矩阵$$A=\left[\begin{array}{cc}{A}_1& A_3\\ 0& A_2\end{array}\right]$$其中$A_1$是$\mathcal{A}|W$在$W$的1个基${\alpha }_1...{\alpha }_r$下的矩阵,$A_2$是$\mathcal{A}$诱导的商空间$V/W$上的线性变换$\tilde{\mathcal{A}}$在$V/W$的1个基${\alpha }_{r+1}+W...{\alpha }_n+W$下的矩阵;设$\mathcal{A},\mathcal{A}|W,\tilde{\mathcal{A}}$的特征多项式分别为$f(\lambda ),f_1(\lambda ),f_2(\lambda )$,则$f(\lambda )=f_1(\lambda )f_2(\lambda )$

定理2:设$\mathcal{A}$是域$F$上$n$维线性空间$V$上的1个线性变换,如果$\mathcal{A}$在$V$的1个基${\alpha }_1...{\alpha }_r,{\alpha }_{r+1}...{\alpha }_n$下的矩阵$A$为分块上三角矩阵$$A=\left[\begin{array}{cc}{A}_1& A_3\\ 0& A_2\end{array}\right]$$令$W=<{\alpha }_1...{\alpha }_r>$,那么$W$是$\mathcal{A}$的1个非平凡不变子空间,且$\mathcal{A}|W$在$W$的1个基${\alpha }_1...{\alpha }_r$下的矩阵是$A_1$

(2)将线性变换表示成分块对角矩阵:

定理3:设$\mathcal{A}$是域$F$上$n$维线性空间$V$上的1个线性变换,则$\mathcal{A}$在$V$的1个基下的矩阵为分块对角矩阵(3)当且仅当$V$能分解成$\mathcal{A}$的非平凡不变子空间的直和:$V=W_1\oplus W_2\oplus ...\oplus W_s$,并且$A_i$是$\mathcal{A}|W_i$在$W_i$的1个基下的矩阵

(3)寻找线性变换的非平凡不变子空间:

引理:设$V$是域$F$上的线性空间(可以是有限维的,也可以是无限维的),$\mathcal{A}$是$V$上的1个线性变换,在$F[x]$中,$f(x)=f_1(x)f_2(x)$,且$(f_1(x),f_2(x))=1$,则$$Kerf(\mathcal{A})=Ker{f}_1(\mathcal{A})\oplus Ker{f}_2(\mathcal{A})(5)$$

定理4:设$V$是域$F$上的线性空间(可以是有限维的,也可以是无限维的),$\mathcal{A}$是$V$上的1个线性变换,在$F[x]$中:$$f(x)=f_1(x)f_2(x)...f_s(x)(9)$$其中$f_1(x),f_2(x)...f_s(x)$两两互素,则$$Kerf(\mathcal{A})=Ker{f}_1(\mathcal{A})\oplus Ker{f}_2(\mathcal{A})\oplus ...\oplus Ker{f}_s(\mathcal{A})(10)$$

3.零化多项式:

4.哈密顿-凯莱定理(Hamilton-Cayley Theorem)

(1)整环上的矩阵:

(2)$Hamilton-Cayley$定理:

定理5:设$A$是域$F$上的$n$级矩阵,则$A$的特征多项式$f(\lambda )$是$A$的1个零化多项式,从而域$F$上$n$维线性空间$V$上的线性变换$\mathcal{A}$的特征多项式$f(\lambda )$是$\mathcal{A}$的1个零化多项式

(3)利用$Hamilton-Cayley$定理分解线性变换:

二.最小多项式(9.6)

1.定义与性质
(1)线性变换的最小多项式:

域$F$上线性空间$V$上的线性变换$\mathcal{A}$的最小多项式通常记为$m(\lambda )$

(2)线性变换的最小多项式的性质:

命题6:线性空间$V$上的线性变换$\mathcal{A}$的最小多项式是唯一的

命题7:设$\mathcal{A}$是域$F$上线性空间$V$上的线性变换,$F[\lambda ]$中的多项式$g(\lambda )$是$\mathcal{A}$的零化多项式当且仅当$g(\lambda )$是$\mathcal{A}$的最小多项式$m(\lambda )$的倍式

命题8:设$\mathcal{A}$是域$F$上线性空间$V$上的线性变换,则$\mathcal{A}$的最小多项式$m(\lambda )$与$\mathcal{A}$的特征多项式$f(\lambda )$在$F$中有相同的根(但重数可以不同)

推论1:设$\mathcal{A}$是域$F$上$n$维线性空间$V$上的线性变换,域$E\supseteq F$,则$\mathcal{A}$的最小多项式$m(\lambda )$与$\mathcal{A}$的特征多项式$f(\lambda )$在$E$中有相同的根(但重数可以不同)

(3)矩阵的最小多项式:

命题8’:域$F$上$n$级矩阵$A$的最小多项式$m(\lambda )$与$A$的特征多项式$f(\lambda )$在$F$中有相同的根(但重数可以不同)

推论1:相似的矩阵有相同的最小多项式

推论2:设$A$是域$F$上的$n$级矩阵,域$E\supseteq F$,则$A$的最小多项式$m(\lambda )$与$A$的特征多项式$f(\lambda )$在$E$中有相同的根(但重数可以不同)

(4)矩阵的最小多项式不随域的扩大而改变:

命题9:设$A$是域$F$上的矩阵,域$E\supseteq F$,则如果$m(\lambda )$是$A$的最小多项式,那么把$A$看成域$E$上的矩阵,其最小多项式仍是$m(\lambda )$

2.几类特殊线性变换或矩阵的最小多项式
(1)几类特殊的最小多项式:


(2)约当块(Jordan Block):

命题10:设$\mathcal{A}$是域$F$上$l$维线性空间$W$上的线性变换,如果$\mathcal{A}=k\mathcal{I}+\mathcal{B}$,其中$\mathcal{B}$是幂零指数为$l$的幂零变换,那么$W$中存在1个基使得$\mathcal{A}$在此基下的矩阵$A$为$$A=\left[\begin{array}{ccccccc}k& 1& 0& ...& 0& 0& 0\\ 0& k& 1& ...& 0& 0& 0\\ 0& 0& k& ...& 0& 0& 0\\ ...& ...& ...& ...& ...& ...& ...\\ 0& 0& 0& ...& k& 1& 0\\ 0& 0& 0& ...& 0& k& 1\\ 0& 0& 0& ...& 0& 0& k\end{array}\right](5)$$把(5)式中的矩阵称为1个$l$级约当块,记作$J_l(k)$,其中$k$是主对角线上的元素;于是$J_l(k)$的最小多项式是$(\lambda -k{)}^l$


推论1:域$F$上的$l$级矩阵$A$相似于$J_l(k)$当且仅当$A$的最小多项式为$(\lambda -k{)}^l$

(3)线性变换在线性空间与不变子空间上的最小多项式间的关系:

定理6:设$\mathcal{A}$是域$F$上线性空间$V$上的线性变换,如果$V$能分解成$\mathcal{A}$的一些非平凡不变子空间的直和:$$V=W_1\oplus W_2\oplus ...\oplus W_s(6)$$那么$\mathcal{A}$的最小多项式$m(\lambda )$为$$m(\lambda )=[m_1(\lambda ),m_2(\lambda )...m_s(\lambda )](7)$$其中$m_i(\lambda )(i=1,2...s)$是$W_j(j=1,2...s)$上的线性变换$\mathcal{A}|W_j$的最小多项式;$[m_1(\lambda ),m_2(\lambda )...m_s(\lambda )]$是$m_1(\lambda ),m_2(\lambda )...m_s(\lambda )$的最小公倍式

推论1:设$A$是域$F$上的1个$n$级分块对角矩阵,即 A = d i a g { A 1 , A 2 . . . A s } A=diag\{A_1,A_2...A_s\} A=diag{A1​,A2​...As​},设$A_j$的最小多项式是$m_j(\lambda )(j=1,2...s)$,则$A$的最小多项式$m(\lambda )$为$$m(\lambda )=[m_1(\lambda ),m_2(\lambda )...m_s(\lambda )]$$

(4)约当形矩阵(Jordan Matrix):

3.用最小多项式研究线性变换的矩阵表示
(1)线性变换可对角化的条件:

定理7:设$\mathcal{A}$是域$F$上$n$维线性空间$V$上的线性变换,则$\mathcal{A}$可对角化当且仅当$\mathcal{A}$的最小多项式$m(\lambda )$在$F[\lambda ]$中能分解成不同的1次因式的乘积

推论1:域$F$上的$n$级矩阵$A$可对角化当且仅当$A$的最小多项式$m(\lambda )$在$F[\lambda ]$中能分解成不同的1次因式的乘积

定理7及其推论使许多特殊类型的线性变换和矩阵是否可对角化的判定变得非常简洁

(2)最小多项式与可对角化的线性变换:

命题11:设$V$是域$F$上的线性空间,则
①$V$上的幂等变换$\mathcal{A}$一定可对角化
②$V$上的幂零指数$l>1$的幂零变换$\mathcal{A}$一定不可对角化
③当域$F$的特征不等于2时,$V$上的对合变换$\mathcal{A}$一定可对角化;当域$F$的特征等于2时,不等于$\mathcal{I}$的对合变换$\mathcal{A}$一定不可对角化
④当$F$是复数域时,$V$上的周期变换一定可对角化

命题12:域$F$是级数$r>1$的约当块$J_r(a)$一定不可对角化;包含级数大于1的约当块的约当形矩阵一定不可对角化

推论1:设$\mathcal{A}$是域$F$上$n$维线性空间$V$上的线性变换,如果$\mathcal{A}$可对角化,那么对于$\mathcal{A}$的任意1个非平凡不变子空间$W$都有$\mathcal{A}|W$可对角化

(3)最小多项式与不可对角化的线性变换:



\quad\\\quad
附录.利用命题12的推论1确定可对角化的线性变换的不变子空间的结构

命题13:设$\mathcal{A}$是域$F$上$n$维线性空间$V$上的线性变换,如果$\mathcal{A}$可对角化,且${\lambda }_1,{\lambda }_2...{\lambda }_s$是$\mathcal{A}$的所有不同的特征值,那么$\mathcal{A}$的任一非平凡不变子空间$W$为$$W=(V_{{\lambda }_{j_1}}\cap W)\oplus (V_{{\lambda }_{j_2}}\cap W)\oplus ...\oplus (V_{{\lambda }_{j_r}}\cap W)$$其中${\lambda }_{j_1},{\lambda }_{j_2}...{\lambda }_{j_r}$是$\mathcal{A}$的$r$个不同的特征值,并且对于$V_{{\lambda }_{j_i}}(i=1,2...s)$,存在$\mathcal{A}$的不变子空间$U_{j_r}$,使得$V_{{\lambda }_{j_i}}=(V_{{\lambda }_{j_i}}\cap W)\oplus U_{{\lambda }_{j_i}}$

命题14:设$\mathcal{A}$是域$F$上$n$维线性空间$V$上的线性变换,则$\mathcal{A}$可对角化当且仅当$\mathcal{A}$的特征多项式在包含$F$的代数封闭域中的全部$n$个根(重根按重数计算)都在$F$中,且对于$\mathcal{A}$的任一不变子空间$W$,都存在$\mathcal{A}$的不变子空间作为$W$在$V$中的补空间