1.3 HILBERT的譜思想1906#

本章導言#

David Hilbert（1862–1943） 在 1904–1910 年間於 Göttingen 發表六篇《積分方程一般理論》（Grundzüge einer allgemeinen Theorie der linearen Integralgleichungen）。他做了一件改變數學史的事：拋棄 Fredholm 的行列式計算，改用二次型語言。1906 年的第五篇論文中，他研究無窮多變數的二次型

經正交座標變換可化為 \(\sum_k \mu_k y_k^2\) 的形式——係數 \(\mu_k\) 就是後來所謂的譜（Spektrum）。Hilbert 本人借用了光譜學的詞彙（當時原子光譜尚未被 Bohr 解釋，純粹是物理名詞的借用）。「譜」一詞由此進入數學，並在最終在量子力學中與物理光譜真正合一。本節追溯 Hilbert 如何從 Fredholm 的計算中提煉出譜的幾何概念。

從行列式到二次型#

Hilbert 對 Fredholm 理論的不滿在於其「外在性」：行列式是計算工具，不揭示結構。他的策略：

1. 把積分方程的核 \(K(x,t)\) 視為無窮矩陣 \(a_{ij}\) （取定一組完備正交系展開）；
2. 研究二次型 \(Q(x) = \sum a_{ij}x_ix_j\) 在約束 \(\sum x_i^2 = 1\) 下的極值問題；
3. 證明：若 \(Q\) 完全連續（即弱收斂序列的像必為強收斂——緊性的原型定義！），則 \(Q\) 可對角化。

Hilbert 的譜定理（1906，緊自伴情形）：設 \(\{a_{ij}\}\) 為對稱且完全連續的無窮矩陣，則存在正交變換 \(U\) 使

證明骨架是極大化迭代：令 \(\mu_1 = \max_{\|x\|=1} |Q(x)|\) （完全連續性保證極值達到），取極值點 \(u_1\) ；再在與 \(u_1\) 正交的子空間上重複。每次得到的特徵值不增，且用變分論證可證 \(\mu_k \to 0\) （若不收斂到 \(0\) ，可構造弱收斂而強不收斂的序列，違反完全連續性）。這就是 Rayleigh–Ritz 極小極大原理的無窮維前身。

譜概念的三層結構#

Hilbert 發現，對一般（非緊）的「有界二次型」，對角化並不完整——存在無法用特徵向量捕捉的「連續部分」。1906 年他區分了：

例（連續譜的第一個標本）：對角矩陣 \(A = \operatorname{diag}(1, 1/2, 1/3, \ldots)\) 作用於 \(l^2\) 。每個 \(1/n\) 是特徵值；但 \(0\) 不是特徵值（ \(Ax=0 \Rightarrow x=0\) ），而 \(A - 0\) 的值域是「座標衰減夠快」的向量的閉包——稠密但不閉，故 \(0\) 屬於連續譜。Hilbert 意識到：極限點不一定是特徵值，這是無窮維與有限維的質變。

例題#

例題 1.3.1：證明在 \(l^2\) 上，對角算子 \(A = \operatorname{diag}(1, \frac12, \frac13, \ldots)\) 的譜為 \(\{0\} \cup \{1/n : n \in \mathbb{N}\}\) ，其中 \(1/n\) 為點譜、 \(0\) 為連續譜，且 \(\|A\| = 1\) 由特徵值 \(1\) 達到。

解： \(\lambda = 1/n\) 時取 \(x = e_n\) ， \(Ax = \frac{1}{n}e_n\) ，故為特徵值。 \(\lambda \notin \{0\}\cup\{1/n\}\) 時， \(A - \lambda I\) 的逆是對角矩陣 \(\operatorname{diag}\big(\frac{1}{1/n - \lambda}\big)_n\) ，各對角元有界（因為 \(|1/n - \lambda| \ge c > 0\) ），故 \(\lambda\) 屬於預解集。 \(\lambda = 0\) ： \(A\) 單射；值域 \(= \{y : \sum n^2 |y_n|^2 < \infty\}\) 的真子集，但含所有有限支撐向量，故稠密不閉。∎

這個例子濃縮了 Hilbert 1906 年的全部發現：譜=特徵值∪其極限點（緊算子情形），且範數在自伴時由譜達到—— \(\|A\| = \max|\sigma(A)|\) ，這是 3.2 節自伴算子範數公式的直覺來源。

完全連續性：緊性的原型#

Hilbert 對「完全連續二次型」的定義——將弱收斂列映為強收斂列——在 1918 年被 F. Riesz 改寫為現代形式：映有界集為相對緊集。這個概念（第 5 章的緊算子）成為整個譜理論中「最接近有限維」的類別：

graph LR
    A["Fredholm 行列式<br>1903 計算理論"] --> B["Hilbert 二次型<br>1906 譜概念"]
    B --> C["Riesz 完全連續性<br>1918 緊算子"]
    C --> D["Banach 空間譜理論<br>1930s 公理化"]
    D --> E["C*-代數與 von Neumann 代數<br>1940s 結構理論"]

HILBERT 空間的隱含誕生#

值得注意的是，Hilbert 從未定義過「Hilbert 空間」。他始終在 \(l^2\) 與「 \(L^2\) 的平方可積函數」（經 Schmidt 的工作）中具體操作。1907 年 Schmidt 與 Fréchet 引入幾何語言（正交、夾角）；1907 年 Riesz 與 Fischer 證明 \(L^2 \cong l^2\) （Riesz–Fischer 定理，Lebesgue 積分的勝利）；直到 1929 年 von Neumann 才給出公理化定義並命名「抽象 Hilbert 空間」。Hilbert 的譜思想是先有計算、後有公理的又一實例。

歷史啟示#

• 計算與概念的分離：Fredholm 給出了可計算的答案，Hilbert 給出了概念。科學史反覆上演「計算先行、概念後至」——微積分之於極限、Fourier 級數之於函數空間。
• 譜是幾何的：對角化=選正交座標=找最自然的觀測軸。這種「座標自由」思想最終在 von Neumann 的算子代數中完成。
• 詞彙的預言性：Hilbert 借用「光譜」時純屬修辭；12 年後 Heisenberg（1925）的矩陣力學與 Schrödinger（1926）的波動力學被 von Neumann 統一於 Hilbert 空間算子理論，數學的譜與原子的譜合一。

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

• 第 2 章：Hilbert 的「有界二次型」即有界自伴算子；第 2 章把有界性公理化。
• 第 3 章：二次型 \(\langle Ax, x\rangle\) 的研究依賴內積結構；Riesz 表示定理使二次型與算子一一對應。
• 第 4 章：譜的三層分類（點/連續/剩餘）是 Hilbert 1906 分類的精緻化。
• 第 5、6 章：「完全連續」= 緊；Hilbert 的極大化迭代證明在 6.2 節以現代形式重現（Hilbert–Schmidt 定理）。
• 第 7 章：連續譜迫使數學家面對無界算子（微分算子的特徵值問題不能全用有界算子處理）。
• 物理：原子光譜的離散線（束縛態）與連續背景（電離態）恰好對應點譜與連續譜——數學分類的物理驗證。

練習#

1. 在 \(l^2\) 上，設 \(A = \operatorname{diag}(1, \frac12, \frac13, \ldots)\) 。求 \(A\) 的預解式 \((A - \lambda I)^{-1}\) 的顯式表示，並確定預解集。
2. 證明：對稱無窮矩陣 \(A\) （即 \(a_{ij} = a_{ji}\) ）滿足 \(|\langle Ax, x\rangle| \le \|Ax\|\,\|x\|\) ，故 \(\|A\| = \sup_{\|x\|=1} |\langle Ax,x\rangle|\) 若 \(A\) 自伴。
3. 令 \(Q(x) = \sum_{i,j} \frac{x_i x_j}{i+j}\) 。證明 \(Q\) 對應的算子是緊的（提示：用 \(1/(i+j)\) 核的退化核逼近，或直接驗證 Hilbert 不等式給出 Hilbert–Schmidt 條件 \(\sum a_{ij}^2 < \infty\) ）。
4. 極大化迭代：對緊自伴 \(A \neq 0\) ，證明 \(\sup_{\|x\|=1}|\langle Ax,x\rangle|\) 可達到。
5. 思考題：為什麼 Hilbert 的「漸近特徵值」（連續譜）無法用特徵向量捕捉？用 \(A=\operatorname{diag}(1/n)\) 說明：不存在 \(x \neq 0\) 使 \(Ax = 0\) ，但存在單位向量列使 \(\|Ax_n\| \to 0\) 。

進階研讀：三個深化場景#

場景一：Courant 的極小極大原理。Hilbert 的學生 Richard Courant（1908 論文） 將極大化迭代精緻化為極小極大公式： \(\mu_k = \min_{\dim S = k-1} \max_{x \perp S, \|x\|=1} |\langle Ax, x\rangle|\) 。這使特徵值可用變分法估計，並在 Poincaré 不等式、鼓膜特徵值（Weyl 定律）中發揮作用——譜理論與變分法自此聯姻。

場景二：Hellinger–Toeplitz 定理（1912）。Hilbert 的「有界二次型」定義隱藏了一個陷阱：若雙線性型 \(\sum a_{ij}x_i y_j\) 對每個 \(x, y \in l^2\) 都有定義，則對應的矩陣必然有界（Hellinger–Toeplitz 定理）。這個定理預告了：無界算子不能處處定義——第 7 章稠定算子理論的必要性在 1912 年已露端倪。

場景三：譜詞彙的傳播路線。Hilbert（1906「Spektrum」）→ Toeplitz（1910 對 Toeplitz 矩陣）→ Weyl（1910 微分算子連續譜；1949「Spektraltheorie」總結）→ von Neumann（1932《量子力學的數學基礎》將譜理論物理化）→ Gelfand（1941 Banach 代數的譜）。今日「譜」在純數學（圖譜、表示論）與應用（譜聚類、譜圖神經網路）中的泛濫，都源自 Hilbert 的一次修辭借用。

名詞速查表#

• 譜（Spektrum）：使 \(T-\lambda I\) 不可逆的 \(\lambda\) 全體，Hilbert 1906 命名。
• 完全連續：弱收斂列的像強收斂（Hilbert 原始定義）；現代稱緊。
• 極大化迭代：逐層取二次型極值求特徵對的方法。
• Riesz–Fischer 定理： \(L^2\) 完備且與 \(l^2\) 同構（1907）。
• Hellinger–Toeplitz 定理：處處定義的對稱算子必有界。
• Rayleigh 商： \(\langle Ax,x\rangle/\|x\|^2\) ，極值給出特徵值。

年表速查#

• 1903：Fredholm 行列式理論。
• 1904：Hilbert 第一篇積分方程論文， \(l^2\) 幾何初現。
• 1905：Schmidt 正交化與 \(L^2\) 幾何化。
• 1906：Hilbert 第五篇論文：譜概念、完全連續、連續譜。
• 1907：Riesz–Fischer 定理；Fréchet「函數空間」術語。
• 1908：Courant 極小極大原理。
• 1912：Hellinger–Toeplitz 定理；Hilbert 積分方程講義出版。
• 1925–1926：Heisenberg 矩陣力學、Schrödinger 波動力學。
• 1929–1932：von Neumann 公理化 Hilbert 空間並完成算子譜理論的物理統一。

深化問答三則#

問：Hilbert 的譜理論與 Fredholm 的理論是什麼關係？ 答：範圍不同、精神不同。Fredholm 理論只處理「第二類方程 \(\varphi = \lambda T\varphi + f\) 」且 \(\lambda \neq 0\) ，本質是「可逆性」的理論；Hilbert 把鏡頭轉向特徵值問題本身與二次型的幾何，於是理論從「解方程」變成「分類算子」。事實上 Fredholm 的擇一定理可以在 Hilbert 框架中用「 \(\lambda\) 非譜值時 \((I - \lambda T)^{-1}\) 存在」一句話解釋。

問：連續譜的發現為什麼重要？ 答：因為它宣告「線性代數=對角化」的終結。有限維下譜全是特徵值；無窮維下存在「看不見的譜」，必須發明新的語言（值域、預解式、譜測度）才能描述。這一擴張直接對應物理：氫原子的光譜有離散線也有電離連續帶，任何只談特徵值的理論都無法承載量子力學。

問：Hilbert 為什麼沒有完成 Hilbert 空間的公理化？ 答：他的風格是具體計算（具體的 \(l^2\) 、具體的核），並認為公理化在具體理論成熟後才有意義。他自己說過「沒有人能把我們從 Cantor 創造的天堂驅逐出去」，但對 Hilbert 空間他寧可停留在計算層面。公理化是年輕一代（Fréchet、Riesz、Banach、von Neumann）的工作——大師開闢礦脈，下一代冶煉成金屬。

（本節完）