自伴:實對稱的主角
當 T* = T 時,算子是自伴的(在 C 上為埃爾米特,在 R 上為對稱)。定義性的對稱 <Tv, w> = <v, Tw> 強制兩條優美的推論:每個特徵值都是實的,且不同特徵值對應的特徵向量正交。這些算子正是量子力學中的抽象可觀測量,以及物理中的曲率/慣量矩陣。
當對一切 v 有 <Tv, v> >= 0 時,自伴算子 T 是正(半)定的——等價地,其全部特徵值非負。這些算子擁有平方根,行為如同「長度的平方」,恰是第一卷正定矩陣的推廣。
酉:剛性運動
等距保持長度:對一切 v 有 ||Tv|| = ||v||,因而保持每個內積與夾角。當這樣的映射又是滿射時(在有限維中自動成立),它是酉算子,其特徵是 T* T = T T* = I——等價於 T* = T^-1。在 R 上同樣的條件命名了正交矩陣:旋轉與反射。
酉算子是內積空間的對稱——它們重排向量而不扭曲幾何。它們的特徵值全都落在單位圓上(|lambda| = 1),其列構成標準正交基。它們正是保持一切標準正交性的換基映射。
正規:統一的類
自伴算子與酉算子看似不同,卻都滿足同一個共享方程:T 與其自身的伴隨可交換,T* T = T T*。滿足此式的算子稱為正規算子。正規性正是恰好囊括自伴(T* = T)、酉(T* = T^-1)與正定算子的那把總傘。
The classification at a glance (all assume an inner product space): self-adjoint T* = T real eigenvalues positive <Tv,v> >= 0 eigenvalues >= 0 (subset of self-adjoint) unitary T* = T^-1 |eigenvalue| = 1 isometry ||Tv|| = ||v|| (= unitary in finite dim) normal T*T = T T* the umbrella over ALL of the above Test of normality for T with matrix [0, -1; 1, 0] (a 90-deg rotation): T* = T^T = [0, 1; -1, 0] T*T = [1, 0; 0, 1] = I T T*= [1, 0; 0, 1] = I equal -> T is normal (in fact unitary).
為何正規性配得上一個專名?因為它正是「可被標準正交基對角化」的精確分界線。複譜定理斷言:T 可酉對角化當且僅當 T 正規。於是本篇中的每個算子都能被旋轉成純特徵值構成的對角形——以最乾淨的形式把幾何交還給你。這條定理及其實對稱版本,正是整卷一路朝之構建的回報。