美文网首页高等代数
高等代数理论基础57:矩阵相似的条件

高等代数理论基础57:矩阵相似的条件

作者: 溺于恐 | 来源:发表于2019-04-07 08:39 被阅读4次

矩阵相似的条件

引理:若有n\times n数字矩阵P_0,Q_0使\lambda E-A=P_0(\lambda E-B)Q_0,则A与B相似

证明:

\because P_0(\lambda E-B)Q_0=\lambda P_0Q_0-P_0BQ_0

又与\lambda E-A相等

\therefore P_0Q_0=E,P_0BQ_0=A

\therefore Q_0=P_0^{-1}

而A=P_0BP_0^{-1}

\therefore A与B相似\qquad\mathcal{Q.E.D}

引理:对任何不为零的n\times n​数字矩阵A和\lambda​-矩阵U(\lambda)​V(\lambda)​,一定存在\lambda​-矩阵Q(\lambda)​R(\lambda)​以及数字矩阵U_0​V_0​,使U(\lambda)=(\lambda E-A)Q(\lambda)+U_0​,V(\lambda)=R(\lambda)(\lambda E-A)+V_0​

证明:

将U(\lambda)改写成U(\lambda)=D_0\lambda^m+D_1\lambda^{m-1}+\cdots+D_{m-1}\lambda+D_m

其中D_0,D_1,\cdots,D_m都是n\times n数字矩阵,且D_0\neq O

若m=0,则令Q(\lambda)=O,U_0=D_0

设m\gt 0,令Q(\lambda)=Q_0\lambda^{m-1}+Q_1\lambda^{m-2}+\cdots+Q_{m-2}\lambda+Q_{m-1}

其中Q_j都为待定的数字矩阵

\therefore (\lambda E-A)Q(\lambda)=Q_0\lambda^m+(Q_1-AQ_0)\lambda^{m-1}+\cdots

+(Q_k-AQ_{k-1})\lambda^{m-k}+\cdots+(Q_{m-1}-AQ_{m-2})\lambda-AQ_{m-1}

取Q_0=D_0

Q_1=D_1+AQ_0

Q_2=D_2+AQ_1

\cdots

Q_k=D_k+AQ_{k-1}

\cdots

Q_{m-1}=D_{m-1}+AQ_{m-2}

U_0=D_m+AQ_{m-1}

则U(\lambda)=(\lambda E-A)Q(\lambda)+U_0

同理可证V(\lambda)=R(\lambda)(\lambda E-A)+V_0\qquad\mathcal{Q.E.D}

定理:设A,B是数域P上两个n\times n矩阵,A与B相似的充要条件为它们的特征矩阵\lambda E-A\lambda E-B等价

证明:

\lambda E-A与\lambda E-B等价即有可逆的\lambda-矩阵U(\lambda)和V(\lambda)

使\lambda E-A=U(\lambda)(\lambda E-B)V(\lambda)​

必要性

设A与B相似

则有可逆矩阵T,使A=T^{-1}BT

\therefore \lambda E-A与\lambda E-B等价

充分性

设\lambda E-A与\lambda E-B等价

即有可逆的\lambda-矩阵U(\lambda),V(\lambda)使\lambda E-A=U(\lambda)(\lambda E-B)V(\lambda)

\therefore \exists\lambda-矩阵Q(\lambda)和R(\lambda)及数字矩阵U_0,V_0

使U(\lambda)=(\lambda E-A)Q(\lambda)+U_0

V(\lambda)=R(\lambda)(\lambda E-A)+V_0

又U(\lambda)^{-1}(\lambda E-A)=(\lambda E-B)V(\lambda)

\therefore [U(\lambda)^{-1}-(\lambda E-B)R(\lambda)](\lambda E-A)=(\lambda E-B)V_0

(\lambda E-B)V_0的次数等于1或V_0=O

\therefore U(\lambda)^{-1}-(\lambda E-B)R(\lambda)为一个数字矩阵或零矩阵,记作T

即T=U(\lambda)^{-1}-(\lambda E-B)R(\lambda)​

T(\lambda E-A)=(\lambda E-B)V_0​

下证T可逆

由T=U(\lambda)^{-1}-(\lambda E-B)R(\lambda)

E=U(\lambda)T+U(\lambda)(\lambda E-B)R(\lambda)

=U(\lambda)T+(\lambda E-A)V(\lambda)^{-1}R(\lambda)

=[(\lambda E-A)Q(\lambda)+U_0]T+(\lambda E-A)V(\lambda)^{-1}R(\lambda)

=U_0T+(\lambda E-A)[Q(\lambda)T+V(\lambda)^{-1}R(\lambda)]

等式右端第二项为零,否则它的次数至少为1

由E和U_0T都是数字矩阵,等式不成立

\therefore E=U_0T

即T可逆

\lambda E-A=T^{-1}(\lambda E-B)V_0

\therefore A与B相似\qquad\mathcal{Q.E.D}

矩阵A的特征矩阵\lambda E-A的不变因子简称为A的不变因子

两个\lambda-矩阵等价的充要条件为它们有相同的不变因子

推论:矩阵A与B相似的充要条件是它们有相同的不变因子

n\times n矩阵的特征矩阵的秩一定为n,故n\times n矩阵的不变因子总有n个,且它们的乘积即这个矩阵的特征多项式

注:不变因子是矩阵的相似不变量,故我们可将一个线性变换的任一矩阵的不变因子(与矩阵的选取无关)定义为此线性变换的不变因子

相关文章

网友评论

    本文标题:高等代数理论基础57:矩阵相似的条件

    本文链接:https://www.haomeiwen.com/subject/ebozvqtx.html