跳轉到

5.3 共同本徵態與完備性#

本章導言#

量子力學的計算骨架是這個事實：一組對易的觀測量可以同時被對角化，它們的共同本徵矢構成完備正交基——每個態都能用它們展開，量子數就是在這組基上的「地址」。氫原子的 \(|n\,l\,m\rangle\) 、振子的 \(|n\rangle\) 、自旋的 \(|\uparrow\downarrow\rangle\) 都是這個結構的實例。反過來，不對易的量（ \(x\) 與 \(p\) ）沒有共同本徵態——不確定性原理（5.2 節）的結構原因。本節講清這組對偶：完備性給出展開與計算的工具，共同本徵態給出「同時確定」的界限。

對易與同時對角化#

定理（同時對角化）：自伴算子 \(\hat A, \hat B\) 有完備的共同本徵基 ⟺ \([\hat A, \hat B] = 0\) 。

證明綱要（有限維）：⇐ 設 \(A\|a_i\rangle = a_i\|a_i\rangle\) 且 \(B\) 可對角化。 \([\hat A,\hat B] = 0\) 使 \(\hat B\|a_i\rangle\) 仍是 \(\hat A\) 的本徵矢（本徵值 \(a_i\) ）： \(A(B\|a_i\rangle) = B(A\|a_i\rangle) = a_i(B\|a_i\rangle)\) 。故 \(\hat B\) 保持在 \(\hat A\) 的簡併空間內，可在每個簡併空間中對角化——得到共同本徵基。⇒ 共同本徵基上兩算子皆對角，對角矩陣交換。

完備可觀測量集（CSCO）：一組兩兩對易、共同本徵矢無簡併的觀測量。給定 CSCO，每個本徵值組合唯一標記一個基態——量子數的數學定義。氫原子中 \(\{\hat H, \hat L^2, \hat L_z\}\) 是 CSCO（忽略自旋），量子數 \(n, l, m\) 各自對應一個對易算子的本徵值。加上自旋，CSCO 擴充為 \(\{\hat H, \hat L^2, \hat L_z, \hat S_z\}\) ——泡利不相容原理（8.3 節）正是用 CSCO 的地址系統陳述的：「兩個電子不能佔據同一組量子數」。

完備性：展開技術的核心#

完備性關係（4.1 節） \(\sum_n\|n\rangle\langle n\| = \hat 1\) 是一切展開計算的引擎：

\[ \|\psi\rangle = \sum_n c_n\|n\rangle, \quad c_n = \langle n\|\psi\rangle; \qquad \langle\phi\|\psi\rangle = \sum_n \phi_n^*\psi_n. \]

三個標準應用：

  1. 期望值： \(\langle A\rangle = \sum_n a_n|c_n|^2\) （譜定理的機率形式）。
  2. 時間演化： \(c_n(t) = c_n(0)e^{-iE_nt/\hbar}\) ——在能量基上，演化是純相位轉動（4.2 節 Stone 定理的表象形式）；任何波包的重構（振盪、復現）都是相對相位的演化。
  3. 單位算子插入：矩陣元 \(\langle\phi\|\hat A\|\psi\rangle = \sum_{mn}\langle\phi\|m\rangle\langle m\|\hat A\|n\rangle\langle n\|\psi\rangle\) ——在任意兩個基之間架橋，這是微擾理論（8.2 節）與散射理論的技術基礎。

完備性的證明（對 Sturm–Liouville 系統）是十九世紀分析的成就（Hilbert 1904–10、Schmidt），也是 4.2 節譜定理在具體微分算子上的表現。物理上的完備性 = 「這組本徵矢能展開任意態」= 「這些量構成完備描述」——分析的定理承載著物理的完備性主張。

簡併與對稱性：簡併空間的結構#

本徵值 \(E_n\) 若對應多個本徵矢（ \(\hat H\|n,\alpha\rangle = E_n\|n,\alpha\rangle\) ， \(\alpha = 1,\dots,g\) ），稱為 \(g\) 重簡併。簡併的深層含義：存在與 \(\hat H\) 對易、但不在 CSCO 中的算子。氫原子 \(n = 2\) 的四重簡併來自兩個對稱性：

  • 旋轉對稱性（SO(3)）→ \(\hat L^2, \hat L_z\) 的量子數 \(l, m\) ；
  • 隱藏對稱性（SO(4)，Runge–Lenz 向量）→ 純 Coulomb 場特有的 \(l\) 混合簡併。

微擾（磁場：Zeeman 效應；電場：Stark 效應；相對論修正）破壞部分對稱性，簡併分裂——光譜的精細結構 = 對稱性破缺的實驗記錄。這條「對稱 ↔ 簡併 ↔ 譜結構」的因果鏈是群論進入量子力學的通道（Wigner 1931《群論及其在原子光譜量子力學上的應用》開創）：群論不再只是分類工具，而是譜結構的預言機。

例題#

例題 5.3.1：驗證 \(\hat L^2\) 與 \(\hat L_z\) 對易但 \(\hat L_x\) 與 \(\hat L_z\) 不對易；解釋物理含義。

解：用角動量對易關係（7.1 節導出） \([L_i, L_j] = i\hbar\varepsilon_{ijk}L_k\) ： \([L_x, L_z] = i\hbar\varepsilon_{xzk}L_k = -i\hbar L_y \ne 0\) ；而 \([L^2, L_z] = \sum_i[L_iL_i, L_z] = \sum_i(L_i[L_i,L_z] + [L_i,L_z]L_i) = \sum_i i\hbar\varepsilon_{izk}(L_iL_k + L_kL_i) = 0\) （對稱張量乘反對稱張量求和為零）✓。物理含義： \(L^2\) 與 \(L_z\) （即 \(\{|l,m\rangle\}\) ）可同時確定，構成 CSCO 的成員； \(L_x\) 與 \(L_z\) 不能——確定 \(L_z\) 的態是 \(L_x\) 的最大疊加（ \(L_x\) 在 \(|l,m\rangle_z\) 上的散布 \(\Delta L_x = \hbar\sqrt{l(l+1) - m^2}/\sqrt{2}\) 的量級）。角動量的空間方向不可三個分量同時確定——這是向量概念在量子世界的修正，直接影響原子磁矩的測量（7.3 節 Stern–Gerlach）。

例題 5.3.2：以完備性計算位置算子在無限井能量基中的矩陣元，展示「非對角元 = 躍遷振幅」。

解： \(x_{nm} = \int_0^L \varphi_n x\varphi_m\,dx\) ， \(\varphi_n = \sqrt{2/L}\sin(n\pi x/L)\) 。利用 \(\sin n\pi x/L \cdot \sin m\pi x/L\) 的積和公式：

\[ x_{nm} = \frac{2}{L}\int_0^L x\sin\frac{n\pi x}{L}\sin\frac{m\pi x}{L}dx = \frac{L}{\pi^2}\left[\frac{1 - (-1)^{n-m}}{(n-m)^2} - \frac{1 - (-1)^{n+m}}{(n+m)^2}\right] \ (n \ne m). \]

奇偶性分析： \(x_{nm} \ne 0\) 僅當 \(n \pm m\) 為奇數。躍遷選擇定則湧現：偶宇稱態到偶宇稱態的躍遷振幅為零（ \(x\) 是奇算子）——光譜的選擇定則由矩陣元的對稱性直接決定。這就是 Heisenberg 1925 年的躍遷振幅 \(X(n,m)\) （3.1 節）在波動力學中的計算方法，也是光譜學與矩陣力學的會合點。

歷史啟示#

  • 「完備」是物理主張：說一組本徵矢完備，等於說「這組觀測量完全描述了系統」——EPR 論文（9.2 節）攻擊的正是這個「完備性」：若糾纏夥伴的測量能預言遠方的值，完備性與局域性二選一。數學的完備性概念被捲入哲學決鬥。
  • 簡併是對稱性的收據：譜的多重性不是數學意外，而是對稱群的不可約表示維度。群論的「意外獲利」：從分類工具升格為譜的預言者。
  • 選擇定則由對稱性決定：矩陣元為零當且僅當積分的對稱性禁止——Wigner–Eckart 定理（7.1 節進階）把這變成系統理論。實驗光譜學的經驗規則獲得群論的根。

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

  • 4.1、4.2 節：完備性關係與譜定理。
  • 5.1 節：本徵值與正交性。
  • 5.2 節：無共同本徵態 ⇒ 不確定性原理。
  • 7.1 節：角動量的對易代數與 SO(3)/SU(2)。
  • 8.1 節：氫原子的 CSCO 與量子數。
  • 8.2 節：微擾論 = 在未微擾 CSCO 基上做矩陣計算。
  • 線性代數：同時對角化定理、Gram–Schmidt、譜分解——CSCO 是「對角化一族矩陣」的物理名字。
  • 群論：簡併 = 不可約表示；Wigner–Eckart 定理；特徵標分析光譜。

練習#

  1. 證明若 \([\hat A,\hat B] = 0\) 且 \(\|a\rangle\) 是 \(\hat A\) 的非簡併本徵矢，則 \(\|a\rangle\) 也是 \(\hat B\) 的本徵矢。
  2. 對氫原子驗證 \([\hat H, \hat L_z] = 0\) （ \(V\) 球對稱），並說明這為何使 \(m\) 成為好量子數。
  3. 計算例題 5.3.2 中 \(x_{12}\) 的顯式值（答案： \(\frac{16L}{9\pi^2}\cdot\frac{1}{?}\) ——請完整算出 \(-\frac{16L}{9\pi^2}\) ）。
  4. 思考題：若發現新算子 \(\hat K\) 與 \(\hat H, \hat L^2, \hat L_z\) 都對易且與它們函數無關——對氫原子能譜意味著什麼？（提示：這正是 Pauli 1926 用 Runge–Lenz 向量做的事，8.1 節。）

進階研讀#

完備性的極限與推廣：連續譜 + 離散譜的混合完備性（氫原子）需要散射態納入： \(\sum_n\|n\rangle\langle n\| + \int d^3p\,\|p\rangle\langle p\| = \hat 1\) ——散射理論的漸進完備性（Cook、Kato–Kuroda 定理）是數學物理的深水區。另一個推廣：廣義 CSCO 在非 Abel 對稱性下的結構（Cartan 子代數的權空間）成為粒子物理的標準語言（SU(3) 八重道，Gell-Mann 1961）——量子數系統從原子物理擴展到基本粒子分類，五節前的初等概念在最深層理論中重現。

名詞速查表#

  • 同時對角化：對易的自伴算子族有共同正交本徵基。
  • CSCO：完備可觀測量集，共同本徵矢無簡併。
  • 完備性關係： \(\sum\|n\rangle\langle n\| + \int = \hat 1\) 。
  • 簡併：同一本徵值對應多維本徵空間。
  • 選擇定則：矩陣元的對稱性禁戒規則。

年表速查#

  • 1904–10：Hilbert 學派證明 Sturm–Liouville 完備性。
  • 1925：Heisenberg 躍遷振幅（矩陣元）。
  • 1926：Pauli 以 Runge–Lenz 對稱解氫原子。
  • 1931：Wigner 群論與光譜。
  • 1961：SU(3) 八重道——CSCO 思想的粒子物理化身。

深化問答三則#

問：為什麼需要 CSCO 而不是單一算子？ 答：單一 \(\hat H\) 常有簡併（能階多重性），本徵值不足以唯一標記態。加入對易算子逐層消去簡併，直到唯一。這個過程本質上是對角化群作用：CSCO 是對稱群的可換生成元（Cartan 子代數）+ 系統不變量。量子數的個數 = 自由度數 + 對稱性秩，這個計數在分子光譜、晶格模型、粒子物理中反覆出現。

問：完備性在實驗上如何「驗證」？ 答：間接而強力。若 CSCO 完備，則任何態測量的統計可由量子數分布預測；原子光譜的精細結構、躍遷強度、Zeeman 圖樣的定量吻合是完備性的實驗證據。邏輯上，完備性是理論的一部分而非可單獨證偽的命題——它與整個 Hilbert 空間框架共存亡。這提醒我們：數學公理的物理檢驗總是整體性的。

問：共同本徵態與「實在」的關係是什麼？ 答：CSCO 的共同本徵態是「完全確定」的態：所有 CSCO 中的量同時有確定值。Einstein 期望物理實在總是這樣的態（隱變數版本）；量子力學說疊加態同樣實在（4.3 節）。Bell 實驗（9.3 節）裁決：實在若局域，就不可能是 CSCO 本徵態的總集。完備性的哲學份量在 1964 年之後才完全顯現。

（本節完）