实谱定理的微妙处

在复数上谱定理很慷慨：每个正规算子都可标准正交地对角化。在实数上故事更微妙，忘记这一差别是经典陷阱。在 R 上原封不动幸存的干净陈述只适用于对称算子（T = T^T）：它们总有实的标准正交特征基。但一般的实正规算子在 R 上根本未必可对角化。

原因在于实多项式可以有复根。90 度旋转 R = [0, -1; 1, 0] 正规且正交，却没有实特征值——它的特征值是 i 和 -i，不存在它仅仅缩放的实向量。你无法用实数把它对角化，因为根本找不到实特征向量。复特征值成共轭对出现，反映出该算子旋转一个平面、而非固定一条直线。

幸存下来的是一种实分块形式。每个实正规算子都有一组标准正交基，在其下它是分块对角的：实特征值对应 1×1 块，每个共轭对 a +/- bi 对应一个形如 [a, -b; b, a] 的 2×2 旋转-缩放块。于是正交矩阵成为平面旋转与反射的乘积，反对称矩阵成为纯旋转块，只有对称矩阵把所有块都坍缩为 1 阶。寓意：在 C 上问 T 是否正规；在 R 上你必须问 T 是否对称，这是严格更强的条件。