MathLabs
定理已证明

谱定理(实对称矩阵)

命题陈述

任意实对称矩阵 AA(即 AT=AA^{\mathsf T}=A)都可正交对角化:存在正交矩阵 QQ 和实元素对角矩阵 DD,使得 A=QDQTA = QDQ^{\mathsf T};等价地,AA 拥有由实特征向量组成的一组标准正交基。

为什么成立?

对称矩阵不会像一般矩阵那样扭曲空间——它只沿一组互相垂直的轴进行伸缩。谱定理说明这样的轴总是存在,并且足以描述 AA 的全部作用:先旋转使坐标轴与它们对齐(正交矩阵 QQ),再沿每个轴按各自的实数因子伸缩(对角矩阵 DD),最后旋转回去。

证明思路

对维数 nn 归纳:由于 AA 是实对称的,其特征多项式有实根 λ1\lambda_1(借助埃尔米特内积的简短论证可排除非实特征值),从而得到单位特征向量 v1v_1。v1v_1 的正交补在 AA 作用下不变(因为 AA 对称),于是把 AA 限制在这个 (n−1)(n-1) 维子空间上,并应用归纳假设构造出其余的标准正交特征向量。

证明者

用到此定理的主题

相关定理

分步证明

该定理暂无分步证明。

参考文献

  1. Roger A. Horn, Charles R. Johnson (2012). Matrix Analysis · DOI:10.1017/CBO9781139020411