跳轉到

4.2 VONNEUMANN的公理化1932#

本章導言#

1932 年，29 歲的 John von Neumann 出版《量子力學的數學基礎》（Mathematische Grundlagen der Quantenmechanik），把量子力學公理化為希爾伯特空間上的算子理論。這本書完成了三件事：定義 Hilbert 空間的公理、證明無界自伴算子的譜定理、建立測量與混合態的嚴格理論。它是純數學（泛函分析）與理論物理的第一次系統合流，也標誌著「數學物理」作為學科的誕生。本節講五條公理、譜定理與它們如何接住 Dirac 留下的鬆散線頭。

無界算子的問題#

Dirac 符號的日常語法中藏著一個數學地雷：位置算子 \(\hat x\psi = x\psi\) 與動量算子 \(\hat p = -i\hbar\,d/dx\) 是無界的——存在範數為 1 的波包使其作用結果範數任意大。無界算子的後果：

  1. 定義域問題： \(\hat x\psi\) 只對「足夠衰減」的 \(\psi\) 有意義；兩個無界算子的交換子在定義域上可能不等於任何良定義的算子（3.1 節例題 3.1.2 的無窮維現象的深化）。
  2. 有界算子的漂亮理論（Hilbert 空間上的連續線性算子）不能直接套用。

von Neumann 的處理：無界算子 \(\hat A\) 必須與定義域 \(D(\hat A)\) 一起給出；可觀測量的正確數學類別是自伴算子（self-adjoint）——比「厄米」（對稱）更強： \(\hat A = \hat A^*\) 且 \(D(\hat A) = D(\hat A^*)\) 。自伴性保證：實譜、譜定理成立、指數 \(e^{-i\hat At/\hbar}\) 是定義在全域的酉群（Stone 定理）。厄米但不自伴的算子物理上不可用（可能沒有實譜或演化不守恆）——這個細節許多教科書含糊，但它是測量理論能否成立的分水嶺。

五條公理#

von Neumann 把量子力學整理為（現代表述）：

  1. 態：系統的態是希爾伯特空間 \(\mathcal H\) 的單位向量 \(\|\psi\rangle\) （純態）；推廣為密度算子 \(\rho\) （混合態，跡 1、半正定）。
  2. 可觀測量：物理量對應自伴算子 \(\hat A\) ；測量值的集合是 \(\hat A\) 的譜。
  3. 機率：測得譜子集 \(S\) 的機率 \(p = \langle\psi\|\hat P_S\|\psi\rangle\) （ \(\hat P_S\) 為譜投影），即 Born 規則；混合態 \(p = \mathrm{tr}(\rho\hat P_S)\) 。
  4. 演化：封閉系統的態隨時間按酉演化 \(\|\psi(t)\rangle = U(t)\|\psi(0)\rangle\) ， \(U(t) = e^{-i\hat Ht/\hbar}\) （Stone 定理：任何連續單參數酉群有自伴生成元 \(\hat H\) ）。
  5. 複合系統：複合系統的空間是張量積 \(\mathcal H_1\otimes\mathcal H_2\) （糾纏的舞台，9.2 節）。

這五條公理是「最終語言」：等價性（3.3 節）之後所有表示——矩陣、波函數、路徑積分——都是它的模型。公理 3 的深遠推論由 Gleason 定理（1957）加冕：在 \(\dim\mathcal H \ge 3\) 時，任何滿足機率公理的函數必然是 Born 規則形式。機率公式不是選項，是 Hilbert 空間幾何的唯一產物。

譜定理：量子化的終極形態#

譜定理是公理化的巔峰。對自伴算子 \(\hat A\) ，存在譜測度 \(E_A(\lambda)\) 使得

\[ \hat A = \int \lambda\, dE_A(\lambda), \]
  • 純點譜（緊情況）： \(\hat A = \sum_n a_n\|a_n\rangle\langle a_n\|\) ，離散能階；
  • 連續譜：積分形式，位置算子的情形；
  • 混合譜：兩者並存（氫原子：束縛態離散 + 電離態連續）。

量子化的本質至此水落石出：Planck 的 \(E_n = nh\nu\) （1.1 節）、Bohr 的 \(L = n\hbar\) （1.3 節）、Schrödinger 的本徵值問題（2.2 節），全部是譜定理在具體算子上的表現。離散能階不是外加的假設，而是自伴算子的譜可以自然地離散。數學上，這把量子力學與 Sturm–Liouville 理論、積分方程、譜論（Hilbert 學派 1904–13）全部接通——二十世紀數學最重要的分支之一（泛函分析）由物理問題定形。

Stone 定理與時間演化#

公理 4 的數學心臟是 Stone 定理（1930）：強連續單參數酉群 \(U(t)\) 必有自伴生成元 \(\hat H\) ：

\[ U(t) = e^{-i\hat Ht/\hbar} \quad\Longleftrightarrow\quad i\hbar\frac{d}{dt}\psi = \hat H\psi. \]

Schrödinger 方程（2.2 節）從此有了嚴格身分：它是酉群的生成方程。Stone 定理的深刻之處：不需要預先知道 Hamiltonian 的微分形式——只要演化是連續且機率守恆（酉），就自動存在能量算子 \(\hat H\) 。能量守恆的必然性（對時間平移對稱的系統）在數學上由群論直接給出——Noether 定理的量子版本。這也是量子計算的理論基礎：量子閘（10.2 節）就是有限時間的酉算子，其可實現性由 Stone 定理背書。

例題#

例題 4.2.1：驗證位置算子 \(\hat x\) 的自伴性，並找出其譜測度。

解： \(D(\hat x) = \{\psi \in L^2(\mathbb R) : x\psi(x) \in L^2\}\) 。對 \(\psi, \varphi \in D(\hat x)\) ： \(\langle\varphi|\hat x\psi\rangle = \int \varphi^* x\psi\,dx = \int (x\varphi)^*\psi\,dx = \langle \hat x\varphi|\psi\rangle\) ，且 \(D(\hat x^*) = D(\hat x)\) ——自伴 ✓。譜測度： \(E_x(S)\psi = \chi_S(x)\psi\) （乘以示性函數），即「投影到波函數在區間 \(S\) 上的部分」。測得 \(x \in S\) 的機率 \(= \int_S|\psi|^2dx\) ——**von Neumann 的譜測度在位置算子上退化為 Born 的 \(|\psi|^2\) **（2.3 節），兩種表述完全相容，但譜測度更一般（能處理簡併、連續譜、聯合測量）。

例題 4.2.2：證明有限維中密度矩陣的性質： \(\mathrm{tr}\,\rho = 1\) 、半正定，且純態 \(\rho = \|\psi\rangle\langle\psi\|\) 滿足 \(\rho^2 = \rho\) 。

解：混合態 \(\rho = \sum_k w_k\|\psi_k\rangle\langle\psi_k\|\) （ \(w_k \ge 0\) ， \(\sum w_k = 1\) ）。跡： \(\mathrm{tr}\,\rho = \sum_k w_k\mathrm{tr}(\|\psi_k\rangle\langle\psi_k\|) = \sum_k w_k = 1\) ✓（秩一投影的跡為 1）。半正定： \(\langle\varphi|\rho|\varphi\rangle = \sum_k w_k|\langle\psi_k\|\varphi\rangle|^2 \ge 0\) ✓。純態： \(\rho^2 = \|\psi\rangle\langle\psi\|\psi\rangle\langle\psi\| = \|\psi\rangle\langle\psi\| = \rho\) ✓（冪等）。混合態與純態的判據 \(\rho^2 = \rho\) vs. \(\rho^2 \ne \rho\) 是量子資訊的基本工具（10.2 節）：糾纏系統的子系統是混合態——糾纏的數學身分是「張量積中不可分離的 \(\rho\) 」。

歷史啟示#

  • 公理化不是事後裝飾：von Neumann 的公理解决了實際問題（無界算子、連續譜、混合態），這些是 Heisenberg 與 Schrödinger 都沒有工具處理的。理論的深化常需要外部學科的介入——此處是泛函分析。
  • 數學物理的誕生：1932 年之後，「量子力學的數學」成為獨立研究領域（C^*-代數、算子代數、譜理論），物理問題持續餵養數學（Poincaré 與龐加萊猜想的關係同理）。
  • 公理的持續壓力：五公理中公理 5（張量積）在 1935 年 EPR 之後才顯出深意（糾纏）；公理 3（塌縮）至今爭論（9.1 節）。公理化暴露了理論的軟肋——這是它的價值而非缺陷。

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

  • 4.1 節：Dirac 符號是公理結構的實用記法。
  • 4.3 節：疊加原理與張量積空間的幾何。
  • 5.1–5.3 節：自伴算子的譜性質是不確定性原理與完備性的地基。
  • 9.1 節：von Neumann 測量理論（投影公設）是測量問題的原始表述。
  • 10.2 節：密度矩陣、量子熵（von Neumann 熵 \(S = -\mathrm{tr}\rho\ln\rho\) ）是量子資訊的起點。
  • 泛函分析：譜定理、Stone 定理、Gleason 定理、C^*-代數——全部由量子力學直接催生或加速。

練習#

  1. 證明 \(\hat p = -i\hbar\,d/dx\) 在 \(D(\hat p) = H^1(\mathbb R)\) （一階 Sobolev 空間）上自伴。
  2. 用譜分解 \(\hat A = \sum_n a_n\|a_n\rangle\langle a_n\|\) 推導 \(\mathrm{tr}(\rho\hat A) = \sum_n a_n\langle a_n|\rho|a_n\rangle\) ，解釋其機率意義。
  3. 證明 \(U(t) = e^{-i\hat Ht/\hbar}\) 的酉性 ⇒ \(\langle\psi(t)|\psi(t)\rangle\) 守恆；並說明 Stone 定理的「連續性」假設若去掉，會出現什麼（非連續演化 = 塌縮，9.1 節）。
  4. 思考題：為什麼公理 5（張量積）不能從公理 1–4 導出？從「兩個粒子的態空間維度」的計數論證出發（乘積 vs. 直和），說明張量積的唯一性。

進階研讀#

公理化的後續壓力：von Neumann 的框架在 1930 年代面對兩個挑戰——相對論（需要場論，無窮自由度破壞 Stone–von Neumann 唯一性，3.3 節進階）與測量（投影公設與 Schrödinger 演化不相容，9.1 節）。回應催生了：代數量子力學（Segal、Haag，C^*-代數公理化）、量子邏輯（Birkhoff–von Neumann 1936，命題的格結構非分配性）、以及現代量子資訊的公理系（Chiribella、Hardy、Masanes–Müller 等「為什麼是量子理論」的重構計畫——從操作公理推導 Hilbert 空間結構）。公理化是活的程序，不是終點。

名詞速查表#

  • 自伴算子： \(\hat A = \hat A^*\) 且定義域相同；可觀測量的數學類別。
  • 譜定理： \(\hat A = \int\lambda\,dE_A(\lambda)\) ，測量值的幾何分解。
  • Stone 定理：連續酉群 ⟺ 自伴生成元。
  • 密度矩陣： \(\rho\) ，混合態的算子描述； \(\mathrm{tr}\rho = 1\) 、半正定。
  • Gleason 定理：Hilbert 空間幾何唯一決定 Born 規則。
  • von Neumann 熵： \(S = -\mathrm{tr}\rho\ln\rho\) 。

年表速查#

  • 1930：Stone 定理。
  • 1932：von Neumann《量子力學的數學基礎》。
  • 1935：EPR 悖論（公理 5 的深意浮現）。
  • 1936：Birkhoff–von Neumann 量子邏輯。
  • 1955：Haag 定理（場論中公理化的張力）。
  • 1957：Gleason 定理。

深化問答三則#

問：von Neumann 的公理化有沒有「過度」之處？ 答：有。他的可分性公理（可數稠密）在代數量子力學中被放寬；他的投影測量被 POVM（正算子值測度）推廣以涵蓋現實測量（探測器效率、量子層析）；他的「過程 1」（測量時態塌縮）被認為不是公理而是近似（退相干，9.1 節）。公理化的價值不在不可修改，而在給出修改的座標——每個放寬都是一個研究計畫。

問：為什麼自伴而不只是厄米？ 答：厄米（對稱）算子可無譜或譜不全，其指數不是酉群——時間演化可能洩漏機率或不可逆。物理上：一個厄米但不自伴的「動量」算子（半直線上 Dirichlet 邊界條件）會導致粒子「撞牆消失」——機率不守恆。自伴性是物理良定義性的數學編碼：可觀測量必須能被測量且測量值是實數且演化守恆，這三條合起來恰是自伴。

問：Gleason 定理為什麼重要？ 答：它把 Born 規則從「額外公設」降級為「幾何必然」。任何與 Hilbert 空間正交投影相容的機率賦值必然是 \(\mathrm{tr}(\rho\hat P)\) 。這是量子力學少數「數學封死物理選項」的案例：除非放棄 Hilbert 空間或機率公理，否則 Born 規則別無選擇。它也是量子資訊公理重構計畫的引擎（10.2 節）。

（本節完）