實譜定理的微妙處

在複數上譜定理很慷慨：每個正規算子都可標準正交地對角化。在實數上故事更微妙，忘記這一差別是經典陷阱。在 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 是否對稱，這是嚴格更強的條件。