跳轉到

4.1 DIRAC符號與希爾伯特空間#

本章導言#

矩陣力學與波動力學等價（3.3 節）之後，問題是：量子力學的「本來面目」是什麼？1930 年，Dirac 出版《量子力學原理》，發明一套符號使「座標無關」的思想成為日常工具：態是抽象向量 \(|\psi\rangle\) ，測量量是線性算子，機率是內積的模方。同一時期，Göttingen 與柏林的數學家（Hilbert、Schmidt、Riesz、Banach）正把積分方程與無窮維空間公理化。Dirac 的物理直覺與數學家的公理在「希爾伯特空間」這個名字下會師。本節講這套符號與它背後的空間結構。

從座標到向量：為什麼要抽象#

矩陣力學說態是無窮維複數向量 \((c_n)\) ；波動力學說態是函數 \(\psi(x)\) 。等價性證明顯示兩者可以互相翻譯。翻譯的通用語言是內積空間：

  • 矩陣語言： \(\langle c | c'\rangle = \sum_n c_n^* c_n'\) ；
  • 函數語言： \(\langle \psi|\varphi\rangle = \int \psi^*(x)\varphi(x)\,dx\) 。

兩者都是線性、共軛對稱、正定的雙線性形式——內積的三條公理。物理量的本質不在於是序列還是函數，而在於內積結構。Dirac 的洞察：把內積與線性結構提取出來，物理定律就能寫成座標無關的形式。

DIRAC 符號的語法#

Dirac 符號的規則極簡而有力：

記號 名稱 意義
\(\|\psi\rangle\) 態矢（ket） 希爾伯特空間中的向量
\(\langle\phi\|\) 左矢（bra） 對偶空間中的線性泛函， \(\langle\phi\|\psi\rangle =\) 內積
\(\hat A\|\psi\rangle\) 算子作用 線性變換
\(\langle\phi\|\hat A\|\psi\rangle\) 矩陣元 泛函—算子—向量
\(\|\psi\rangle\langle\phi\|\) 外積 一個算子（秩一投影的推廣）

外積 \(\|\psi\rangle\langle\phi\|\) 的妙處：它是「把 \(|\phi\rangle\) 方向的成分搬進 \(|\psi\rangle\) 方向」的算子，作用為 \((\|\psi\rangle\langle\phi\|)|\chi\rangle = \|\psi\rangle\langle\phi\|\chi\rangle\) 。完備性關係由此誕生：若 \(\{\|n\rangle\}\) 是完備正交基，則

\[ \sum_n \|n\rangle\langle n\| = \hat 1 \qquad\text{（單位算子的分解）}, \]

任一態立即展開： \(\|\psi\rangle = \sum_n \|n\rangle\langle n\|\psi\rangle\) ——係數就是投影 \(\langle n\|\psi\rangle\) （機率幅，2.3 節）。連續版本 \(\int\|x\rangle\langle x\|\,dx = \hat 1\) 處理位置基底。Dirac 符號使「換基底」、「求機率幅」、「寫算子」變成代數操作，其效率使它成為物理學的日常文字。

希爾伯特空間：數學的嚴格化#

Dirac 的 \(\delta\) 函數（ \(\langle x\|x'\rangle = \delta(x-x')\) ）不是真正的函數——數學上，位置本徵態 \(\|x\rangle\) 不在希爾伯特空間中（不可平方可積）。von Neumann 1932 年《量子力學的數學基礎》重建了整個框架：**希爾伯特空間 \(\mathcal H\) ** 定義為完備的內積空間：

  1. \(\mathcal H\) 是複向量空間，帶內積 \(\langle\cdot,\cdot\rangle\) ；
  2. 完備性：Cauchy 序列在此空間內有極限（分析必需）；
  3. 可分性（von Neumann 版本）：有可數稠密子集，排除病態。

例子： \(\ell^2\) （平方可和序列）對應矩陣力學； \(L^2(\mathbb R)\) （平方可積函數）對應波動力學。Riesz–Fischer 定理（1907）：** \(\ell^2\) 與 \(L^2\) 酉同構**——兩套力學的等價性在數學上早已被證明，只是物理學家不知道。von Neumann 的貢獻是：把量子力學的五條公理安放在希爾伯特空間上（4.2 節），處理無界算子（位置算子）的定義域問題，並證明譜理論的物理對應。

連續譜與廣義本徵矢：DIRAC 符號的數學地位#

\(\|x\rangle\) 的嚴格身分由 Gelfand 三元組解決（1950s）： \(\Phi \subset \mathcal H \subset \Phi'\) ，其中 \(\Phi\) 是「好函數」核空間（如 Schwartz 空間）， \(\Phi'\) 是其對偶（分布空間）。位置本徵矢 \(\|x\rangle\) 生活在 \(\Phi'\) ：它是定義在 \(\Phi\) 上的泛函 \(\langle x\|\varphi\rangle = \varphi(x)\) 。Dirac 的符號不是不嚴格，而是超前了嚴格化——分布理論（Schwartz 1945，Fréchet 導數之外的最大分析發明之一）最終為它補上數學身分，並成為量子場論的基礎語言。物理直覺再次跑在數學前面，數學隨後跟上。

例題#

例題 4.1.1：用完備性關係推導 Born 規則的一般形式。

解：設可觀測量 \(\hat A\) 有完備正交本徵基 \(\{\|a_n\rangle\}\) （離散譜）。態 \(\|\psi\rangle\) 測得 \(a_n\) 的機率幅是 \(\|\psi\rangle\) 在 \(\|a_n\rangle\) 方向的投影：

\[ c_n = \langle a_n\|\psi\rangle, \qquad p_n = |c_n|^2. \]

機率守恆由完備性保證： \(\sum_n p_n = \sum_n\langle\psi\|a_n\rangle\langle a_n\|\psi\rangle = \langle\psi|\left(\sum_n\|a_n\rangle\langle a_n\|\right)|\psi\rangle = \langle\psi\|\psi\rangle = 1\) ✓。Born 規則與完備性是同一件事的兩面：前者是投影的模方，後者是投影之和為恆等。期望值 \(\langle A\rangle = \sum_n a_n|c_n|^2 = \langle\psi|\hat A|\psi\rangle\) （譜定理的直接推論）。

例題 4.1.2：驗證 \(\ell^2\) 與 \(L^2[0,1]\) 的酉同構（離散與連續的橋）。

解：取 \(L^2[0,1]\) 的完備正交基（如 Fourier 基 \(e^{2\pi inx}\) ）。對 \(f \in L^2[0,1]\) ，定義 \(c_n = \int_0^1 e^{-2\pi inx}f(x)dx\) 。Parseval 恆等式： \(\sum_n|c_n|^2 = \int_0^1|f|^2dx < \infty\) ，故 \((c_n) \in \ell^2\) ；反向亦然（Riesz–Fischer）。映射 \(f \mapsto (c_n)\) 保持內積——酉同構。矩陣力學的向量與波動力學的函數，經此定理確認是同一空間的兩種座標——3.3 節的物理等價性在此獲得數學定理的姓名。

歷史啟示#

  • 符號是理論的一部分：Dirac 符號不只是記法便利——它把「座標無關」內建在書寫習慣中，防止物理學家把特定表示誤當實在。符號設計即理論設計。
  • 數學存貨的再次救援： \(\ell^2\) – \(L^2\) 同構在 1907 年已備；積分方程理論（Hilbert 1904–10）是為別的問題發展的。物理危機到來時，數學倉庫正好有貨——但需要有人（von Neumann）知道去哪個倉庫。
  • 超前嚴格化的代價與收益：Dirac 用 \(\delta\) 函數換來計算效率與物理清晰，von Neumann 用嚴格性換來數學安全。兩條路線至今並存：物理教科書用 Dirac，數學教科書用 von Neumann。有用的不嚴格最終會被嚴格化（分布理論）——這是數學史的規律。

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

  • 3.3 節：等價性是希爾伯特空間抽象化的動機。
  • 4.2 節：von Neumann 的五公理與譜理論。
  • 4.3 節：疊加原理 = 線性組合；糾纏 = 張量積空間中的非因子態。
  • 5.1 節：自伴算子 = 可觀測量，譜 = 測量值。
  • 泛函分析：希爾伯特空間是泛函分析的四大空間之一（與 Banach、Frechet、分布空間並列）；譜理論、緊算子、譜分解定理都是量子力學直接催生的數學。
  • 機率統計：態的「座標無關性」與密度矩陣（混合態）是量子機率論的幾何基礎。

練習#

  1. 證明內積的 Cauchy–Schwarz 不等式 \(|\langle\phi,\psi\rangle|^2 \le \langle\phi,\phi\rangle\langle\psi,\psi\rangle\) ，並用它導出三角不等式。
  2. 用完備性 \(\sum\|n\rangle\langle n\| = \hat 1\) 推導 \(\langle\psi|\hat A|\psi\rangle = \sum_{mn} c_m^* A_{mn} c_n\) ，確認矩陣元的座標意義。
  3. 驗證 Parseval 恆等式對 Fourier 基成立（可對方波函數直接計算）。
  4. 思考題：位置本徵矢 \(\|x\rangle\) 不在希爾伯特空間中——這是否使位置測量「不真實」？用 Gelfand 三元組的語言說明為何 \(\Phi'\) 中的廣義本徵矢足以承擔測量的角色。

進階研讀#

希爾伯特空間的推廣與邊界：混合態需要密度矩陣 \(\rho\) （跡類算子，跡 1、半正定）——von Neumann 引入；開放系統需要 Kraus 算子與 CPTP 映射；相對論場論需要 Fock 空間（粒子數不定的希爾伯特空間的直接和）。代數量子力學（3.1 節進階）甚至以 \(C^*\) -代數為基本對象，希爾伯特空間只是表示之一。「量子態住在希爾伯特空間」是有限自由度非相對論理論的結論，不是公理——這個細節在量子場論與量子重力（Aharonov–Bohm、不對等表示）中變成實質問題。

名詞速查表#

  • ket / bra： \(\|\psi\rangle\) 態矢； \(\langle\phi\|\) 對偶向量。
  • 希爾伯特空間：完備內積空間 \(\mathcal H\) 。
  • 完備性關係： \(\sum_n\|n\rangle\langle n\| = \hat 1\) 。
  • 外積： \(\|\psi\rangle\langle\phi\|\) ，秩一算子。
  • Gelfand 三元組： \(\Phi \subset \mathcal H \subset \Phi'\) ，容納連續譜本徵矢。
  • Riesz–Fischer 定理： \(\ell^2 \cong L^2\) ，矩陣與波動力學的數學等價。

年表速查#

  • 1904–10：Hilbert 積分方程理論。
  • 1907：Riesz–Fischer 定理。
  • 1925–26：矩陣力學與波動力學。
  • 1927：von Neumann 開始 Hilbert 空間公理化。
  • 1930：Dirac《量子力學原理》。
  • 1932：von Neumann《量子力學的數學基礎》。
  • 1945：Schwartz 分布理論，Dirac 符號獲得嚴格基礎。

深化問答三則#

問：Dirac 與 von Neumann 的框架，哪個「對」？ 答：兩者都是正確的抽象，服務不同需求。Dirac：計算效率、物理直覺、允許連續譜的實用主義；von Neumann：數學嚴格、譜理論完備、混合態與測量理論的基礎。現代教材（如 Sakurai）混合兩者：用 Dirac 符號計算，用 von Neumann 的觀念（自伴 vs. 厄米、定義域）避免陷阱。實用與嚴格是互補而非對立。

問：為什麼希爾伯特空間是複的？ 答：物理上，干涉需要複相位（2.3 節）；數學上， \([\hat x,\hat p] = i\hbar\) （3.2 節）要求 \(i\) 。實希爾伯特空間的量子力學存在（實量子力學），但不支持某些現象（如利用虛部做量子密鑰分發的協議已被證明必要——2021–22 年理論與實驗證明複數結構是局域量子理論的可實驗區分特徵）。複數從工具升格為可檢驗的物理假設。

問：希爾伯特空間與歐氏空間的差別在哪裡最要緊？ 答：無窮維帶來的譜現象：緊算子有純點譜但非緊自伴算子可有連續譜（位置算子）、混合譜；單位球不再緊，收斂性變得微妙（強收斂 ≠ 範數收斂）。這些分析細節不是裝飾——測量理論（投影值的正當性）、散射理論（漸進完備性）、量子場論的構造，全部依賴它們。無窮維的分析學是量子力學的真正數學深度。

（本節完）