文章目录

  • 方阵相似
  • 引言
  • 相似矩阵定义
  • 相似变换
  • 相似变换矩阵
  • 相似矩阵的矩阵多项式和特征值相同
  • 推论:与对角阵相似的矩阵性质定理
  • 相似矩阵性质
  • 导出性质
  • 相似矩阵的乘方性质
  • 相似矩阵和矩阵多项式
  • 相似对角阵
  • 对角阵多项式的展开
  • 小结
  • 强矩阵相似
  • 对角化相似
  • 正交相似
  • 正交相似对角化
  • 实对称方阵A正交对角化方法


方阵相似

引言

  • 对角阵是矩阵中最简单的一类矩阵
  • 对角阵相关的乘法运算是很高效的
  • 相似方阵是和对角阵相关的概念

相似矩阵定义

  • LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_02阶方阵,如果存在LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_02可逆方阵LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_04,使得LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_05,则称方阵LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_06相似,记为LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_07

相似变换

  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_08进行运算LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_09称为对LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_08进行相似变换

相似变换矩阵

  • 矩阵LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_04称为相似变换LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_09相似变换矩阵

相似矩阵的矩阵多项式和特征值相同

  • LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_13阶矩阵LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_14相似,则LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_14特征多项式相同,从而LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_14特征值相同
  • 证明:
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_17,有LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_18满足LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_19
  • 所以LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_20=LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_21=LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_22
  • 由于LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_23=LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_24=LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_25=LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_26,因此,可以将LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_27变形为LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_28LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_29
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_30=LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_31=LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_32=LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_33=LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_34
  • 显然LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_35
  • 但是,特征值相同的方阵未必相似

推论:与对角阵相似的矩阵性质定理

  • 与对角阵相似的矩阵的特征值就是对角阵对角元素
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_13阶矩阵LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_37,则LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_38LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_39LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_13特征值
  • 证明:对角阵的特征值是对角元素,由本节定理可知,LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_41的特征值与LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_42相同,所以推论成立

相似矩阵性质

  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_43
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_44
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_45
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_46
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_47
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_48
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_49
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_50
  • 因此LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_51
  • 单位矩阵只和自身相似
  • 设方阵LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_52和单位阵LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_53相似
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_54
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_55
  • 因此和单位阵LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_53相似的矩阵是LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_53本身
导出性质
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_58相似LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_59,则有以下性质
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_60
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_61
  • 或者,因为相似方阵有相同的特征值,且特征值之积等于方阵的行列式,所以相似方阵的行列式相同
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_62
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_63具有相同的特征值
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_64
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_65
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_66
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_67
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_68
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_69都是可逆矩阵,它们都可以表示为一系列的初等矩阵的乘积
  • 因此,LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_70相当于有LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_71经过初等变换得到的等价矩阵,它们的秩相等(初等变换不改变秩)
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_72
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_73
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_74
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_75
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_76
  • 可见LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_77
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_78
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_79=LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_80
  • =LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_81
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_82
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_83
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_84<1>,若LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_85存在,则LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_86存在,且LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_87,LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_88
  1. LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_89可逆:
  • 方法1:
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_90
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_91存在,LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_92,则LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_93
  • 方法2:
  • 由于LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_70可逆,则LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_95表明,LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_71是可逆矩阵经过一系列初等变换得到的,所以LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_71也可逆
  1. <1>两边取逆:LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_98<1.1>,因此LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_99
  2. 因为LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_100,LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_101
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_102
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_103
  • <2>,<3>代入<1.1>,得LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_104
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_105,即LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_106

相似矩阵的乘方性质

LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_107相似,即LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_108<0>,则:LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_109=LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_110<1>

  • 证:对<0>两边同时取LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_111次幂运算:LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_112=LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_113
  • =LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_114
  • =LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_115

相似矩阵和矩阵多项式

  • 设矩阵多项式LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_116<2>,将<1>代入<2>有:LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_117=LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_118=LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_119=LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_120,根据矩阵乘法的分配律,LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_117=LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_122=LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_123
相似对角阵
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_41相似于某个对角阵LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_125,则:
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_126=LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_127
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_128=LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_129
  • 由此可见,若矩阵LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_41能够表示成LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_131(相似对角化问题),矩阵LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_41的多项式问题就能够被转换为对角阵的多项式

对角阵多项式的展开

  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_133=LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_134,
  • 推导:
  • 对角阵乘方运算性质:若LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_135为对角阵,则LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_136=LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_137
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_138
  • 这个展开式告诉我们,对角阵(矩阵)的多项式可以归结为数(标量)的多项式的计算

小结

  • 上述结论说明,相似阵之间有很多共同点
  • 特别是,当LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_08有一个与之相似的对角阵时,许多关于LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_08的计算就可以被简化,例如矩阵多项式的计算,这个问题归结为方阵相似对角化

强矩阵相似

对角化相似

  • 若方阵LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_141,LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_142是对角阵,则称LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_08对角化相似于LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_144
  • 这是一种重要的相似关系,"对角化"指的是原矩阵LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_08被相似对角化为一个对角阵,这使得许多计算变得简单,特别是矩阵多项式的相关计算种

正交相似

  • 若方阵LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_146,LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_147,则称LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_08正交相似于LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_144
  • 这里的正交相似的正交体现在相似变换阵是一个正交阵上,而不是说将原矩阵LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_08转换为一个正交阵

正交相似对角化

  • 正交相似对角化:若方阵LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_141,LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_147,则LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_08正交相似于对角阵LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_142,称LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_08正交相似对角化
  • 在对称阵的对角化相关定理中,利用本概念,可以描述定理:对称阵一定可以正交相似对角化

实对称方阵A正交对角化方法

  • 求出实对称阵A的全部特征值LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_156(对称阵一定可以正交对角化)
  • 如果特征值LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_157是单根,则从LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_158对应的求出一个特征向量LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_159
  • 如果特征值LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_157LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_161重根,LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_162
  • 则从LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_163求出LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_164个线性无关特征向量LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_165,LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_166
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_167执行Schmidt正交化得到LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_168,LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_166
  • LA@方阵相似@相似矩阵的性质@正交相似对角化_多项式_168在执行Normalization单位化得到LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_171,LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_166
  • 将得到的所有标准正交特征向量组LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_173中的向量依此排列起来得到正交矩阵LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_174=LA@方阵相似@相似矩阵的性质@正交相似对角化_特征值_175,LA@方阵相似@相似矩阵的性质@正交相似对角化_线性代数_176