JOVANA
Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

按伴随对算子分类

把一个算子与它自身的伴随相比较,一张清晰的分类表便浮现出来:自伴、酉、正定,以及作为总纲的正规算子。这正是把它们悉数对角化的谱定理的发射台。

自伴:实对称的主角

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