自伴:实对称的主角
当 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 正规。于是本篇中的每个算子都能被旋转成纯特征值构成的对角形——以最干净的形式把几何交还给你。这条定理及其实对称版本,正是整卷一路朝之构建的回报。