实对称矩阵谱定理
实对称矩阵谱定理说:若实矩阵 满足 ,就存在正交矩阵 与实对角矩阵 ,使 的列是两两正交的单位特征向量, 对角线上是相应实特征值。条件是实且对称;任意方阵不能保证有一组这样的正交特征向量。
一张二阶矩阵
取 。沿 方向,;沿 方向,。两个方向彼此正交,规范化得 直接乘回可得 。几何上, 在这两条垂直方向上分别伸长 3 倍和 1 倍。
正交性来自对称条件
若 、 且 ,则对称性给出 ,所以 ,只可能 。这解释不同特征值的特征向量为何正交;对相同特征值,可在同一特征子空间内另选一组正交规范基。
存在性的证明
单位球面 是紧集,连续函数 因而在上面取到最大值。设最大点为 。对任意与 正交的 ,把 单位化后代入 ; 是极值点,导数为 。于是 与所有 的正交向量都垂直,只能平行于 ,即 ,其中 。
再看 :若 ,则 。因此 把 映回自身,在这个低一维的空间上仍是实对称变换。重复上述步骤,归纳得到一组正交单位特征向量。将它们作为 的列,便有 ;又因 ,乘上 即得定理。这里用到的紧性解释了第一个特征向量为何一定存在,而非仅证明已有特征向量的正交性。