跳轉到

5.1 厄米算子與實本徵值#

本章導言#

量子力學的公理（4.2 節）說：可觀測量 = 自伴算子。這條對應的深層理由是什麼？測量讀出的是實數（儀表讀數），而自伴算子的譜定理保證譜是實的、本徵矢構成正交基、期望值是實數。本節從線性代數出發，講清厄米性、自伴性與實本徵值的關係，並展示譜理論如何成為「量子化」的統一數學。

從矩陣到算子：厄米性的定義#

複數矩陣的厄米共軛： \(A^\dagger = (A^*)^T\) （共軛轉置）。厄米矩陣： \(A^\dagger = A\) 。三個基本定理（有限維）：

  1. 實本徵值： \(A\|a\rangle = a\|a\rangle\) ⇒ \(a = \frac{\langle a|A|a\rangle}{\langle a|a\rangle} \in \mathbb R\) （分子是實的： \(\langle a|A|a\rangle^* = \langle a|A^\dagger|a\rangle = \langle a|A|a\rangle\) ）。
  2. 不同本徵值的本徵矢正交： \(\langle a|A|b\rangle = a\langle a|b\rangle = b\langle a|b\rangle\) ⇒ \((a-b)\langle a|b\rangle = 0\) 。
  3. 譜定理：厄米矩陣可酉對角化， \(A = \sum_n a_n\|a_n\rangle\langle a_n\|\) ，本徵矢構成完備正交基。

無窮維的修正（4.2 節）：「厄米」（對稱： \(\langle\varphi|A\psi\rangle = \langle A\varphi|\psi\rangle\) 對所有 \(\psi,\varphi\in D(A)\) ）不足以保證這三條；需要自伴（ \(A = A^*\) 且定義域相同）。物理要求：可觀測量的測量值是實數（定理 1）、測量的完整統計由譜定理給出（定理 3）、時間演化守恆（Stone 定理，4.2 節）。自伴性是把「測量」這個物理操作翻譯成數學的最小充分條件。

期望值與不確定量的算子語言#

測量的統計完全由態與算子給出：

\[ \langle A\rangle = \langle\psi|\hat A|\psi\rangle, \qquad (\Delta A)^2 = \langle\psi|\hat A^2|\psi\rangle - \langle\psi|\hat A|\psi\rangle^2 = \langle(\hat A - \langle A\rangle)^2\rangle. \]

定義 \(\delta\hat A = \hat A - \langle A\rangle\hat 1\) ，則 \(\Delta A^2 = \|\delta\hat A\psi\|^2\) ——不確定量是「中心化算子」作用後的向量長度。這個幾何表述直接導出 Robertson 不等式（5.2 節）：兩個不確定量的乘積被內積與對易子夾住。譜定理提供期望值的另一形式：

\[ \langle A\rangle = \sum_n a_n|\langle a_n\|\psi\rangle|^2 \quad\text{（離散譜）}, \qquad = \int a\,d\mu_\psi(a) \quad\text{（一般）}. \]

機率測度 \(\mu_\psi(S) = \langle\psi|E_A(S)|\psi\rangle\) 就是 4.2 節的譜測度——算子譜理論與機率論在此合流：測量的統計是譜上的測度，這是 von Neumann 公理的核心內容。

物理觀測量的算子清單#

觀測量 算子 本徵值
位置 \(\hat x\) （乘法） \(\mathbb R\) （連續）
動量 \(\hat p = -i\hbar\nabla\) \(\mathbb R\) （連續）
能量 \(\hat H = \frac{\hat p^2}{2m} + V\) 束縛離散 + 散射連續
角動量 \(\hat L^2, \hat L_z\) \(\hbar^2l(l+1)\) 、 \(m\hbar\) （離散）
自旋 \(\hat S_z = \frac{\hbar}{2}\sigma_z\) \(\pm\frac{\hbar}{2}\)

每一行都是一個譜定理的應用。注意角動量與自旋的譜是離散的實數集——「量子化」的又一化身：算子的譜不必是連續的，而自旋的譜只有兩個點（7.2 節）。譜的形狀（離散/連續/有限點集）由算子的數學性質（位勢、定義域、對稱性）決定，物理實驗只是讀出它。

為什麼本徵態是「確定值」的態#

若 \(\|\psi\rangle = \|a_n\rangle\) （ \(\hat A\) 的本徵態），則 \(\Delta A = 0\) ：重複測量必得 \(a_n\) 。反之（ \(\Delta A = 0\) ⇒ 本徵態）也成立。這給出測量的物理圖像：測量使態塌縮到被測算子的本徵態（投影公設，4.2 節公理 3 的補充），之後的立即重複測量確定地給同一值——這是實驗室每天驗證的量子非破壞測量基礎。兩個不對易的觀測量（ \(\hat x\) 與 \(\hat p\) ）沒有共同本徵態（5.3 節），於是「同時確定」在原理上不可能——不確定性原理的算子根源。

例題#

例題 5.1.1：證明厄米算子的任何矩陣元滿足 \(A_{nm} = A_{mn}^*\) ，並推論對角元是實數。

解： \(A_{nm} = \langle n|\hat A|m\rangle\) 。取共軛： \(A_{nm}^* = \langle n|\hat A|m\rangle^* = \langle m|\hat A^\dagger|n\rangle = \langle m|\hat A|n\rangle = A_{mn}\) 。對角元： \(A_{nn} = A_{nn}^*\) ，實數 ✓。這是「能量表是實數表」的代數保證：譜線頻率（能階差）必為實——量子力學不會預言虛數頻率的光，因為矩陣代數不容許。

例題 5.1.2：對態 \(\|\psi\rangle = \frac{1}{\sqrt2}(\|+\rangle + \|-\rangle)\) （ \(\sigma_z\) 的本徵態疊加），計算 \(\langle\sigma_x\rangle\) 、 \(\langle\sigma_z\rangle\) 與 \(\Delta\sigma_x\,\Delta\sigma_z\) 。

解： \(\sigma_z\) ：本徵值 \(\pm1\) ，機率各 \(\frac12\) ，故 \(\langle\sigma_z\rangle = 0\) ， \(\Delta\sigma_z = 1\) 。 \(\sigma_x\) ： \(\sigma_x\|\pm\rangle = \|\mp\rangle\) ，故 \(\sigma_x\|\psi\rangle = \|\psi\rangle\) ， \(\langle\sigma_x\rangle = 1\) ， \(\Delta\sigma_x = 0\) 。乘積為 0——與 Robertson 下界 \(\frac12|\langle[\sigma_x,\sigma_z]\rangle| = \frac12|2i\langle\sigma_y\rangle| = 0\) 一致 ✓。這個例子展示：不確定性原理是態依賴的下界，不是「永遠都測不準」——在 \(\sigma_x\) 的本徵態上， \(\sigma_x\) 完全確定。

歷史啟示#

  • 實數性的深意：儀表讀數是實數這個平凡的觀察，經自伴算子譜定理放大為整套譜理論。物理學最樸素的要求（測量值是實數）塑造了最抽象的數學（無界算子譜論）。
  • 譜理論的三重角色：量子化（離散譜）、測量統計（譜測度）、演化（生成元）——一個數學結構承擔三種物理職能，這種「一魚三吃」是好數學的標誌。
  • 有限維直覺的危險：厄米 ≠ 自伴的細節、定義域問題、連續譜的正交性（ \(\delta\) 函數而非 Kronecker）——無窮維的世界需要重新學習。物理教育的教訓：線性代數直覺要在大一之後重裝。

與其他章節及領域的關聯#

  • 4.2 節：自伴性是公理 2 的內容；譜定理是公理 2、3 的橋。
  • 5.2 節：Robertson 不等式由 \((\Delta A)^2 = \|\delta\hat A\psi\|^2\) 的幾何直接導出。
  • 5.3 節：正交本徵基的完備性、簡併與對稱性。
  • 6.1、6.2 節：無限井與振子的譜計算是本節的具體練習場。
  • 7.1 節：角動量的譜 \(\hbar^2l(l+1)\) 由算子代數直接導出。
  • 線性代數：厄米矩陣、酉對角化、Rayleigh 商（變分法，8.2 節微擾論的極限版本）。
  • 泛函分析：譜定理、Sturm–Liouville 理論、緊算子理論。

練習#

  1. 證明兩個厄米算子的乘積 \(\hat A\hat B\) 厄米當且僅當 \([\hat A, \hat B] = 0\) 。
  2. 對 \(\hat A = \sigma_x\sigma_y + \sigma_y\sigma_x\) ，計算其本徵值並驗證為實數。
  3. 態 \(\|\psi\rangle = \frac{1}{\sqrt3}\|a_1\rangle + \sqrt{\frac23}i\|a_2\rangle\) ，算 \(\langle A\rangle\) 與 \(\Delta A\) （設本徵值 \(a_1 = 1, a_2 = -2\) ）。
  4. 思考題：POVM（正算子值測度）放寬了「測量 = 投影」的公理——為什麼現實探測器需要這種放寬（提示：探測器效率 < 1、測量後態未知）？

進階研讀#

自伴性的物理檢驗與現代深化：自伴性不只是數學嚴謹，它有實驗內容：半直線上的動量算子 \(-i\hbar d/dx\) 有一族自伴擴張，參數對應邊界相位——這在量子線、介觀環、拓撲材料的邊界條件中是可測量的物理量（Asbóth、Balázs 等人的工作）。此外，缺指數理論（Weyl 1910 開創）把「自伴擴張的存在與否」變成微分方程的計算，直接應用於量子點、波導與周期位勢（Bloch 理論，固態物理的數學基礎）。算子理論的抽象細節（定義域、擴張、缺指數）在納米科技的譜工程中是日常工具。

名詞速查表#

  • 厄米共軛： \(A^\dagger = (A^*)^T\) 。
  • 自伴算子： \(\hat A = \hat A^*\) （含定義域）；可觀測量的數學類別。
  • 譜定理：自伴算子有正交本徵分解（或譜測度積分）。
  • 期望值與標準差： \(\langle A\rangle\) 、 \(\Delta A = \|\delta\hat A\psi\|\) 。
  • 本徵態： \(\Delta A = 0\) 的態；測量確定值。

年表速查#

  • 1904–10：Hilbert 積分方程與譜論萌芽。
  • 1910：Weyl 缺指數理論。
  • 1930：Stone 定理；von Neumann 無界算子譜定理。
  • 1932：《量子力學的數學基礎》。
  • 1959：Aharonov–Bohm（邊界相位的物理效應）。

深化問答三則#

問：為什麼不說「可觀測量 = 厄米算子」就好？ 答：因為無窮維中厄米算子可以沒有實譜或演化不酉。具體例子： \(-i\hbar d/dx\) 在 \([0,\infty)\) 上以 \(\psi(0)=0\) 為定義域是厄米的但不是自伴的——它沒有自伴的時間演化，粒子會在原點「鬼魅般」反射或損失。物理系統的良定義（守恆、可測）強制自伴。這是 von Neumann 對量子力學最深刻的技术貢獻之一。

問：簡併（重複本徵值）怎麼辦？ 答：簡併本徵值對應多維本徵空間，譜定理保證它們仍可正交化（Gram–Schmidt）——測量值確定，但測後態不完全確定（落在簡併空間內）。簡併幾乎總是對稱性的簽名（氫原子的 \(l\) 簡併來自 SO(4)，8.1 節；自旋簡併來自旋轉不變性），對稱破缺（磁場、微擾，8.2 節）使簡併分裂——光譜的精細結構就是簡併的「裂痕」。

問：連續譜的「本徵矢」正交性如何理解？ 答： \(\langle x\|x'\rangle = \delta(x-x')\) ：不是 Kronecker（ \(\delta_{nn'}\) ），是 Dirac。它們不在希爾伯特空間內（4.1 節 Gelfand 三元組），但作為廣義本徵矢構成完備性 \(\int\|x\rangle\langle x\|dx = \hat 1\) 。散射理論（Gamow 態、Lippmann–Schwinger）是連續譜最深的物理應用：衰變態的複數本徵值（共振）直接對應粒子壽命——譜理論從測量統計延伸到粒子物理。

（本節完）