跳轉到

1927-HellingerToeplitz#

案件檔案 內容
案件編號 CASE-1927-HELLINGERTOEPLITZ
案發時間 1927 年（Hellinger–Toeplitz，《數學百科全書》條目）
案發地點 德國（Ernst Hellinger、Otto Toeplitz，皆 Hilbert 的哥廷根舊部）
主嫌／主角 Ernst Hellinger、Otto Toeplitz
涉案罪名 證明「對稱算子處處定義必須有界」，把無界算子拒於全空間之外
關鍵證物 \(\|Tx\| \le C\|x\|\) 、對稱性 \(\langle Tx, y\rangle = \langle x, Ty\rangle\) 、閉圖像推理
判決結果 無界對稱算子只能「半開放」定義，量子力學算子危機的伏筆

案發現場#

1920 年代的量子力學正在起飛：Heisenberg 的矩陣力學（1925）與 Schrödinger 的波動力學（1926）都指向同一件事——物理量（位置、動量、能量）是 Hilbert 空間上的算子，而且很多是無界的：

  • 微分算子 \(D = -i\frac{d}{dt}\) 在 \(L^2[0, 2\pi]\) 上， \(\|D x\|\) 可以任意大。
  • 位置算子 \(Q\psi(t) = t\,\psi(t)\) 在 \(L^2(\mathbb{R})\) 上，同樣無界。

這些算子繼承了 Hilbert 積分方程傳統的「對稱性」： \(\langle Tx, y\rangle = \langle x, Ty\rangle\) 。數學家的直覺來自有限維線性代數——對稱（自伴）矩陣性質特別好：可對角化、特徵值是實數。

未解之謎：在無窮維 Hilbert 空間上，處處定義的對稱算子是否也這麼「乖」？如果性質好，量子力學就可以放心把物理量寫成處處定義的對稱算子。

Hellinger 與 Toeplitz 在為《數學百科全書》撰寫積分方程條目時，把這個問題追到了底。

偵查過程#

侦查線索一：對稱性與圖像的閉性#

定理（Hellinger–Toeplitz）：設 \(T\) 是 Hilbert 空間 \(H\) 上處處定義的線性算子，且對稱：

\[ \langle Tx, y\rangle = \langle x, Ty\rangle, \qquad \forall x, y \in H \]

則 \(T\) 必有界： \(\exists C > 0,\ \|Tx\| \le C\|x\|\) 。

偵查手法（閉圖像式推理）：設 \((x_n)\) 是 Cauchy 列， \(x_n \to x\) 且 \(Tx_n \to y\) 。要證 \(y = Tx\) 。對任意 \(z \in H\) ：

\[ \langle y, z\rangle = \lim_n \langle Tx_n, z\rangle = \lim_n \langle x_n, Tz\rangle = \langle x, Tz\rangle = \langle Tx, z\rangle \]

第一個等號用內積的連續性（ \(Tx_n \to y\) ），第三個等號用 \(x_n \to x\) 。由 \(z\) 任意，得 \(y = Tx\) 。

結論： \(T\) 的圖像 \(\Gamma(T) = \{(x, Tx) : x \in H\}\) 是 \(H \times H\) 中的閉子空間。對稱性讓「圖像閉」免費到手。

侦查線索二：閉圖像＋處處定義＝有界#

圖像閉之後，剩下一個代數偵查：閉子空間 \(\Gamma(T) \subseteq H \times H\) ，而投影 \(\pi_1 : \Gamma(T) \to H\) ， \((x, Tx) \mapsto x\) 是：

  • 線性、雙射（ \(T\) 處處定義故滿， \(T\) 是函數故單）
  • 連續： \(\|\pi_1(x, Tx)\| = \|x\| \le \|(x, Tx)\|\)

由 Banach 逆算子思想（開映射定理 1929 的前奏；在 Hilbert 空間情形也可用正交投影直接收網）： \(\pi_1^{-1}\) 連續，即 \(\exists C\) ：

\[ \|(x, Tx)\| \le C\|x\| \implies \|Tx\| \le C\|x\| \]

破案：處處定義＋對稱 ⇒ 有界。有限維的直覺在無窮維部分存活——只對處處定義的算子。

侦查線索三：無界對稱算子的「半開放」待遇#

反過來讀這份判決書：微分算子 \(D = -i\frac{d}{dt}\) 無界且對稱，所以它不可能處處定義。它的定義域必然是 \(H\) 的真子空間（例如 \(H^1[0,2\pi]\) ），也就是「半開放」：

算子 定義域 有界？ 對稱？
\(Q\psi = t\psi\) （ \(L^2(\mathbb{R})\) ） \(\{\psi : t\psi \in L^2\}\) 無界 是
\(D = -i\frac{d}{dt}\) （ \(L^2[0,2\pi]\) ） \(H^1\) （適當邊界條件） 無界 是
有限維對稱矩陣 全空間 \(\mathbb{R}^n\) 有界 是
處處定義對稱算子（任意） 全空間（被迫） 必須有界 —

張力浮現：量子力學需要的觀測量算子（動量、能量）是無界對稱算子，但定理說它們不能處處定義。數學必須為物理「特製」一套理論。

侦查線索四：對稱 vs 自伴的鴻溝#

定理還隱藏一個更深的分岔：定義在真稠密子空間上的對稱算子，可以是對稱但不自伴（自伴要求 \(T = T^*\) ，定義域也要相等）。這條鴻溝正是 von Neumann 1929 年譜定理必須面對的核心難題。

結案報告#

判決：Hellinger–Toeplitz 定理成立——對稱性太強，處處定義的對稱算子被自動戴上「有界」的緊箍咒。

  • 正面遺產：確認了 Hilbert 空間上「處處定義的連續算子」理論的穩固性，閉圖像式的推理手法成為標準武器。
  • 反面伏筆（量子力學算子危機）：量子力學的觀測量是無界對稱算子 ⇒ 定義域必然是稠密真子空間 ⇒ 對稱≠自伴 ⇒ 譜理論必須為「非有界、非處處定義」的算子重寫。這正是 von Neumann 1929–1932 年自伴算子譜理論、《量子力學的數學基礎》要接的案子。
  • 技術繼承：本案的閉圖像推理，在 1929 年被 Banach 正式定型為閉圖像定理——Hellinger–Toeplitz 定理正是它在 Hilbert 空間上的特例與先聲。

證據與工具#

證物 陳述 用途
對稱性 \(\langle Tx, y\rangle = \langle x, Ty\rangle\) 圖像閉性的來源
圖像閉 \(x_n \to x,\ Tx_n \to y \Rightarrow y = Tx\) 推理樞紐
逆算子連續性 \(\pi_1^{-1}\) 有界 ⇒ \(\|Tx\| \le C\|x\|\) 收網
Hellinger–Toeplitz 定理 處處定義＋對稱 ⇒ 有界 本案主判決
半開放定義域 無界對稱算子定義域 \(\subsetneq H\) （稠密） 量子力學的出路
對稱 vs 自伴 對稱不自伴的算子存在 von Neumann 譜論的難題

證明骨架：對稱性 → 內積連續性證圖像閉 → 投影 \(\pi_1\) 是連續雙射 → 逆算子連續（Hilbert 空間情形用正交投影收網） → \(\|Tx\| \le C\|x\|\) 。