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 正規。於是本篇中的每個算子都能被旋轉成純特徵值構成的對角形——以最乾淨的形式把幾何交還給你。這條定理及其實對稱版本,正是整卷一路朝之構建的回報。