线性代数学习笔记27

相似矩阵定义

针对两个$n\times n$的矩阵A,B,满足
$$B=M^{-}AM$$
即说明A,B是相似的

对比之前的 矩阵对角化公式有
$$A=S对角矩阵S^{-}$$
=>$$对角矩阵=S^{-1}AS$$
对角矩阵是A 的最简洁、最好的矩阵形式

• 相似矩阵的性质有：
  特征值相等且特征向量的个数相同.证明
  已知$B=M^{-}AM$ $Ax=\lambda x$
  =>$AM{M}^{-1}x=\lambda x$
  =>$M^{-1}AM{M}^{-1}x=M^{-1}\lambda x$
  =>$B{M}^{-1}x=\lambda M^{-1}x$
  =>$B{x}^{{}^{\prime }}=\lambda x^{{}^{\prime }}$
  即有A,B的特征向量一样，特征向量为
  $x_B=M^{-1}{x}_A$

不是相似矩阵的例子

给出两个具有相同重复特征值的矩阵
$$A=\left[\begin{array}{cc}4& 0\\ 0& 4\end{array}\right]、B=\left[\begin{array}{cc}4& 1\\ 0& 4\end{array}\right]$$
两者就是不是属于相似的矩阵，其中$$\left[\begin{array}{cc}4& 0\\ 0& 4\end{array}\right]$$一个人是一个家族，对于任意可逆M有
$M^{-1}AM=M^{-1}4IM=4M^{-1}M=4I=A$
其中B是另外一类，对于B类家族还有
$$\left[\begin{array}{cc}4& 10\\ 0& 4\end{array}\right]、\left[\begin{array}{cc}4& 100\\ 0& 4\end{array}\right]、\left[\begin{array}{cc}5& -1\\ 1& 3\end{array}\right]$$
满足$$\left[\begin{array}{cc}a& n\\ m& 8-a\end{array}\right]，满足迹=8，det=18$$
都是相似矩阵，同时B最好的形式，称之为若尔当形

若尔当形

• 若尔当快是指，特征值分布在对角线上，上面为1的矩阵，一个若尔当快只有一个特征向量

$$A_1=\left[\begin{array}{cccc}0& 1& 0& 0\\ 0& 0& 1& 0\\ 0& 0& 0& 0\\ 0& 0& 0& 0\end{array}\right]$$
该矩阵，特征值为0，只有两个特征向量,$det=0$
$$A_2=\left[\begin{array}{cccc}0& 1& 7& 0\\ 0& 0& 1& 0\\ 0& 0& 0& 0\\ 0& 0& 0& 0\end{array}\right]$$
该矩阵，特征值为0，只有两个特征向量,$det=0$,$A_2和A_1$是相似的
$$A_3=\left[\begin{array}{cccc}0& 1& 7& 0\\ 0& 0& 0& 0\\ 0& 0& 0& 1\\ 0& 0& 0& 0\end{array}\right]$$
该矩阵，特征值为0，只有两个特征向量,$det=0$,$A_3和A_1$不是相似的

分析是指$A_1,A_2是一致，都是可以分成3\times 3$的若尔当快$+3\times 3$的若尔当快，$A_3是分成2个2\times 2$的若尔当快，是不一样的

一个矩阵，当若尔当快数目 = n ，即为 对角矩阵