文章目录

  • ​​相似方阵​​
  • ​​相似矩阵和特征值​​
  • ​​小结​​
  • ​​方阵相似对角化​​
  • ​​结论​​
  • ​​推论​​
  • ​​对角化方法归纳​​
  • ​​例​​
  • ​​方阵高次幂​​

相似方阵

  • 对角阵是矩阵中最简单的一类矩阵
  • 对角阵相关的乘法运算是很高效的
  • 相似方阵是和对角阵相关的概念
  • 设A和B是n阶方阵,如果存在n阶可逆方阵P,使得LA@相似方阵和对角化_特征值,则称方阵A,B相似,记为LA@相似方阵和对角化_特征值_02
  • 该定义可以用来判断给定的两个方阵是否相似
  • 也可以根据给定的方阵A来生成与A相似的矩阵集
  • 相似矩阵特点
  • LA@相似方阵和对角化_特征值_03
  • LA@相似方阵和对角化_特征值_04
  • LA@相似方阵和对角化_特征值_05
  • LA@相似方阵和对角化_特征值_06
  • LA@相似方阵和对角化_特征值_07
  • LA@相似方阵和对角化_特征值_08
  • LA@相似方阵和对角化_特征值_09
  • LA@相似方阵和对角化_特征值_10
  • 因此LA@相似方阵和对角化_特征值_11
  • 单位矩阵只和自身相似
  • 设方阵A和单位阵E相似
  • LA@相似方阵和对角化_线性代数_12
  • LA@相似方阵和对角化_特征值_13
  • 因此和单位阵E相似的矩阵是E本身

相似矩阵和特征值

  • LA@相似方阵和对角化_线性代数_14,即存在可逆阵P,LA@相似方阵和对角化_线性代数_15
  • 相似矩阵有相同的特征矩阵(因此有相同的特征值)
  • 证明:
  • LA@相似方阵和对角化_线性代数_16
  • LA@相似方阵和对角化_特征值_17
  • LA@相似方阵和对角化_特征值_18
  • LA@相似方阵和对角化_特征值_19
  • LA@相似方阵和对角化_特征值_20
  • LA@相似方阵和对角化_线性代数_21
  • LA@相似方阵和对角化_特征值_22
  • 可见,A,B具有相同的特征方程,也具有共同的特征值
  • 但是,特征值相同的方阵未必相似
  • LA@相似方阵和对角化_特征值_23
  • LA@相似方阵和对角化_特征值_24
  • LA@相似方阵和对角化_特征值_25
  • A,B具有相同的特征值
  • LA@相似方阵和对角化_线性代数_26
  • LA@相似方阵和对角化_特征值_27
  • LA@相似方阵和对角化_特征值_28
  • LA@相似方阵和对角化_特征值_29
  • LA@相似方阵和对角化_线性代数_30
  • LA@相似方阵和对角化_线性代数_31都是可逆矩阵,它们都可以表示为一系列的初等矩阵的乘积
  • 因此,A相当于有B经过初等变换得到的等价矩阵,它们的秩相等(初等变换不改变秩)
  • LA@相似方阵和对角化_线性代数_32
  • LA@相似方阵和对角化_特征值_33
  • LA@相似方阵和对角化_线性代数_34
  • LA@相似方阵和对角化_特征值_35
  • LA@相似方阵和对角化_特征值_36
  • LA@相似方阵和对角化_线性代数_37
  • 可见LA@相似方阵和对角化_特征值_38
  • LA@相似方阵和对角化_特征值_39
  • LA@相似方阵和对角化_特征值_40
  • LA@相似方阵和对角化_线性代数_41
  • LA@相似方阵和对角化_线性代数_42
  • LA@相似方阵和对角化_线性代数_43
  • LA@相似方阵和对角化_特征值_44存在,则LA@相似方阵和对角化_特征值_45存在,LA@相似方阵和对角化_特征值_46
  • B可逆:
  • 方法1:
  • LA@相似方阵和对角化_线性代数_47
  • LA@相似方阵和对角化_线性代数_48存在,LA@相似方阵和对角化_特征值_49,则LA@相似方阵和对角化_特征值_50
  • 方法2:
  • 由于A可逆,则LA@相似方阵和对角化_线性代数_51表明,B是可逆矩阵的乘积,所以B也可逆
  • LA@相似方阵和对角化_线性代数_52,因此LA@相似方阵和对角化_线性代数_53
  • LA@相似方阵和对角化_线性代数_54
  • LA@相似方阵和对角化_特征值_55
  • LA@相似方阵和对角化_特征值_56
  • LA@相似方阵和对角化_线性代数_57
  • LA@相似方阵和对角化_特征值_58

小结

  • 上述结论说明,相似阵之间有很多共同点

方阵相似对角化

  • 如果方阵LA@相似方阵和对角化_线性代数_14,且B是一个对角阵(方阵),则称A可以相似对角化
  • 简单的记为LA@相似方阵和对角化_线性代数_60;LA@相似方阵和对角化_特征值_61
  • 不是所有方阵都可以对角化
  • n阶方阵A有n个线性无关向量是A和一个对角阵相似的充要条件
  • 证明
  • 设A和一个对角阵相似,则存在可逆阵LA@相似方阵和对角化_特征值_62,使得$P^{-1}AP=\Lambda $
  • LA@相似方阵和对角化_线性代数_63
  • LA@相似方阵和对角化_线性代数_64
  • 设可逆矩阵LA@相似方阵和对角化_线性代数_65
  • LA@相似方阵和对角化_线性代数_66
  • LA@相似方阵和对角化_线性代数_67
  • LA@相似方阵和对角化_特征值_68
  • LA@相似方阵和对角化_线性代数_69是矩阵A的n个特征值
  • LA@相似方阵和对角化_特征值_70是可逆矩阵,P的列向量组LA@相似方阵和对角化_线性代数_71线性无关(事实上有LA@相似方阵和对角化_特征值_72)
  • 因此,P的n个列向量就是方阵A的n个线性无关特征向量
  • 设存在LA@相似方阵和对角化_线性代数_73是A的关于LA@相似方阵和对角化_线性代数_74的线性无关特征向量
  • LA@相似方阵和对角化_线性代数_75,LA@相似方阵和对角化_特征值_76
  • LA@相似方阵和对角化_线性代数_77
  • 两行式子相等LA@相似方阵和对角化_线性代数_78
  • 令方阵LA@相似方阵和对角化_线性代数_79,因为LA@相似方阵和对角化_特征值_80线性无关,所以LA@相似方阵和对角化_线性代数_81,方阵P可逆
  • LA@相似方阵和对角化_线性代数_78同时左乘LA@相似方阵和对角化_线性代数_83
  • LA@相似方阵和对角化_特征值_84
  • 因此LA@相似方阵和对角化_线性代数_85

结论

  • 通过上述推到,可以发现,如果方阵A可以对角化,那么
  • A的n个线性无关向量组LA@相似方阵和对角化_特征值_86构成的矩阵LA@相似方阵和对角化_特征值_87
  • A的对应于LA@相似方阵和对角化_特征值_88的n个特征值LA@相似方阵和对角化_线性代数_89构成的对角阵LA@相似方阵和对角化_特征值_90
  • LA@相似方阵和对角化_特征值_91恰好能够满足LA@相似方阵和对角化_特征值_61

推论

  • 如果n阶方阵A存在n个互不相同的特征值,则A可以对角化
  • 根据特征值的相关性质定理,可以判断这种情况下存在n个线性无关的特征向量,因之可以对角化
  • 考虑到方阵可能有重特征根的情况,需要多一些步骤:
  • 如果A对于一个LA@相似方阵和对角化_特征值_93重特征根LA@相似方阵和对角化_线性代数_94恰好有LA@相似方阵和对角化_特征值_93个线性无关特征向量,是A可以对角化的充要条件
  • 这意味着,方阵A要有n个线性无关的特征向量才可以对角化

对角化方法归纳

  • 求出方阵A所有特征值
  • 求解不同特征值LA@相似方阵和对角化_特征值_96对应的齐次线性方程LA@相似方阵和对角化_特征值_97的基础解系
  • 判断基础解系中包含的向量个数是否和特征值LA@相似方阵和对角化_线性代数_94的重数一致
  • 如果不一致,则A不可对角
  • 如果所有特征值得重数LA@相似方阵和对角化_特征值_93和对应LA@相似方阵和对角化_特征值_100的基础解系向量个数一致,则可以对角化
  • 如果可对角化,则需要求解出一个可逆矩阵P,使得LA@相似方阵和对角化_特征值_101
  • 设A的n个线性无关特征向量为LA@相似方阵和对角化_线性代数_102,则P=LA@相似方阵和对角化_线性代数_103
  • 利用P计算LA@相似方阵和对角化_线性代数_104,LA@相似方阵和对角化_特征值_90

  • LA@相似方阵和对角化_特征值_106
  • LA@相似方阵和对角化_线性代数_107都是单个,显然可以对角化
  • LA@相似方阵和对角化_线性代数_108
  • LA@相似方阵和对角化_特征值_109
  • LA@相似方阵和对角化_特征值_110
  • LA@相似方阵和对角化_线性代数_111
  • LA@相似方阵和对角化_特征值_112
  • LA@相似方阵和对角化_线性代数_113
  • LA@相似方阵和对角化_线性代数_114
  • LA@相似方阵和对角化_特征值_115

方阵高次幂

  • 方阵高次幂的计算通常计算量比较大,但是如果方阵能够对角化,则可以简单计算
  • LA@相似方阵和对角化_线性代数_116可以被对角化:存在可逆阵P,使得LA@相似方阵和对角化_特征值_61
  • LA@相似方阵和对角化_线性代数_118
  • LA@相似方阵和对角化_线性代数_119
  • LA@相似方阵和对角化_线性代数_120
  • LA@相似方阵和对角化_线性代数_121
  • 而对角阵LA@相似方阵和对角化_线性代数_122的乘法(高次幂)运算比较简单