定理已证明
谱定理(实对称矩阵)
命题陈述
任意实对称矩阵 (即 )都可正交对角化:存在正交矩阵 和实元素对角矩阵 ,使得 ;等价地, 拥有由实特征向量组成的一组标准正交基。
为什么成立?
对称矩阵不会像一般矩阵那样扭曲空间——它只沿一组互相垂直的轴进行伸缩。谱定理说明这样的轴总是存在,并且足以描述 的全部作用:先旋转使坐标轴与它们对齐(正交矩阵 ),再沿每个轴按各自的实数因子伸缩(对角矩阵 ),最后旋转回去。
证明思路
对维数 归纳:由于 是实对称的,其特征多项式有实根 (借助埃尔米特内积的简短论证可排除非实特征值),从而得到单位特征向量 。 的正交补在 作用下不变(因为 对称),于是把 限制在这个 维子空间上,并应用归纳假设构造出其余的标准正交特征向量。
用到此定理的主题
相关定理
分步证明
该定理暂无分步证明。
参考文献
- Roger A. Horn, Charles R. Johnson (2012). Matrix Analysis · DOI:10.1017/CBO9781139020411