1.2 從函數到點：Hilbert 空間的雛形#

本章導言#

1907 年前後，兩位年輕數學家——德國的 Erhard Schmidt 與匈牙利的 Frigyes Riesz——完成了一件當時看來近乎哲學的事：把函數看成空間中的點。一旦函數成為「點」，直線、夾角、距離、收斂這些幾何直觀便整體移植到函數世界，無窮維分析學從此有了自己的幾何。本節講述 \(L^2\) 空間的誕生，以及「函數即點」這一觀念革命。

函數的座標化：Hilbert 的關鍵一步#

Hilbert 在 1904–1906 年的積分方程講義中，對連續函數 \(\varphi\) 賦予「座標」：取 \([a,b]\) 上的完備正交系 \(\{x_k\}\) （如三角函數系），定義

於是函數 \(\varphi\) 對應數列 \((c_1, c_2, c_3, \ldots)\) 。Hilbert 指出： \(\varphi\) 平方可積時，數列 \((c_k)\) 滿足 \(\sum_k c_k^2 < \infty\) ；反之，給定任何 \(\ell^2\) 數列，都（在某種意義下）存在對應的函數。函數世界與平方可和數列世界是同一個世界——這就是座標化的力量：無窮維函數空間的問題，可以翻譯成數列空間 \(\ell^2\) 的問題，而 \(\ell^2\) 的「幾何」與 \(\mathbb{R}^n\) 幾乎一樣。

Schmidt 的幾何化：正交、投影、勾股定理#

Erhard Schmidt（埃哈德·施密特，1876–1959） 1905 年在哥廷根以 Hilbert 積分方程為博士論文主題，1907/1908 年發表《無窮多變數的線性方程組》（Über die Auflösung linearer Gleichungen mit unendlich vielen Unbekannten）。他把 Hilbert 的隱式結構公開地幾何化：

• 定義 \(\ell^2\) 中的內積 \(\langle a, b\rangle = \sum_k a_k b_k\) ，範數 \(\|a\| = \left(\sum a_k^2\right)^{1/2}\) 。
• 證明 Cauchy–Schwarz 不等式 \(|\langle a,b\rangle| \le \|a\|\,\|b\|\) （此不等式 1859 年已由 Bunyakovsky 在俄文文獻提出，1885 年 Cauchy 對有限和證明過；Schmidt 把它推廣到無窮維）。
• 引入正交化程序：給定線性無關序列 \(\{u_n\}\) ，遞推

生成正交序列 \(\{v_n\}\) ——這就是今日教科書中的 Gram–Schmidt 正交化（Gram 1883 年在有限維已有此法）。 - 證明勾股定理與投影定理：若 \(\langle x, y\rangle = 0\) ，則 \(\|x+y\|^2 = \|x\|^2 + \|y\|^2\) ；任一點到閉子空間有唯一的「垂足」（最佳逼近元）。

Schmidt 的論文語氣是革命性的：他明確說， \(\ell^2\) 中的元素應當被視為無窮維空間的點或向量，幾何術語（線性、正交、夾角、子空間）不只是比喻，而是可證明定理的語言。此後「函數空間的幾何」成為正規的數學對象。

Riesz 與 Fischer：完備性定理#

Frigyes Riesz（弗里傑什·里茨，1880–1956） 出生於匈牙利傑爾，與其弟 Marcel Riesz（同為著名數學家）並稱。他 1907 年在哥廷根訪學後，於同年發表論文，證明了平方可積函數空間的完備性：

Riesz–Fischer 定理：若 \(\{\varphi_n\}\) 在 \(L^2\) 中滿足 Cauchy 條件（ \(\|\varphi_m - \varphi_n\|_{L^2} \to 0\) 當 \(m,n \to \infty\) ），則存在 \(\varphi \in L^2\) 使 \(\|\varphi_n - \varphi\|_{L^2} \to 0\) 。

同年稍早，奧地利數學家 Ernst Fischer（恩斯特·菲舍爾，1875–1954） 證明了等價命題的「平均收斂」版本。關鍵在於：這個定理必須使用 Lebesgue 積分——在 Riemann 積分的框架下，平方可積函數列的 Cauchy 極限可能不再是 Riemann 可積的。Fischer 明確指出：Lebesgue 積分使「逐點逼近 + 控制收斂」成為可能， \(L^2\) 因此完備。

完備性為什麼是大事？因為它使逐次逼近法（1.1 節 Volterra–Picard 迭代）合法：只要證出迭代序列是 Cauchy 列，極限就自動落在空間內。沒有完備性，無窮維分析永遠活在「極限可能飛出空間」的恐懼中（1.3 節 Banach 將把完備性公理化為 Banach 空間的定義性質）。

\(L^2\) 與 \(\ell^2\) 同構：第一次抽象#

Riesz 在 1907 年的論文中證明：給定完備正交系 \(\{x_k\}\) ，映射 \(\varphi \mapsto (c_k)\) 是 \(L^2 \to \ell^2\) 的保距雙射：

且內積保持： \(\int_a^b \varphi \psi\,dt = \sum_k c_k d_k\) 。兩個看起來天差地別的對象——「區間上的函數」與「數列」——在幾何上完全相同。這是數學史上第一次明確的「抽象空間同構」，預示了泛函分析的核心方法：只研究空間的內在幾何，不問元素的具體形態。到 1930 年代，von Neumann 與 Banach 學派把這種抽象化推向極致。

von Neumann 為 Hilbert 空間命名與公理化#

John von Neumann（約翰·馮·諾伊曼，1903–1957） 在 1925–1930 年間，為了給量子力學（Heisenberg 矩陣力學與 Schrödinger 波動力學）提供統一數學基礎，公理化出「抽象 Hilbert 空間」：一個完備內積空間，允許有限或可數或不可數維。1927 年他首次使用「Hilbert space」一詞（以向 Hilbert 致敬，儘管 Hilbert 當年研究的主要是可分 \(L^2\) ）。von Neumann 的論文《數學基礎的 Hilbert 空間理論》（1932 年成書《Mathematische Grundlagen der Quantenmechanik》）把無窮維幾何變成了物理學的操作語言（10.2 節）。

歷史對照表：函數空間觀念的三級跳#

第三級跳最深刻之處：我們放棄了「逐點研究函數」的執念。在 \(L^2\) 中，兩個函數若只在零測集上不同，視為同一點（等價類）。Dirichlet 函數（處處不連續）在 Riemann 世界是怪物，在 Lebesgue– \(L^2\) 世界則是正規居民（與 \(0\) 同點）。空間的選擇決定了哪些問題是「病態」——這是現代分析的元則則。

一個具體例題#

例題 1.2.1：在 \(L^2[0, 2\pi]\) 中考慮函數 \(f(t) = t\) 。求 \(f\) 對正交系 \(\{1, \cos t, \sin t, \cos 2t, \sin 2t, \ldots\}\) 的座標，並驗證座標序列屬於 \(\ell^2\) 。

解：座標公式（正交系未正規化）：

故座標序列為 \(c = \left(\pi, 0, -2, 0, -1, 0, -\frac{2}{3}, \ldots\right)\) ，其中非常數項為 \(-\frac{2}{n}\) （ \(n \ge 1\) ，按 \(\sin nt\) 排列）。檢查 \(\ell^2\) 成員資格：

（使用 Euler 1734 年的著名結果 \(\sum \frac{1}{n^2} = \frac{\pi^2}{6}\) 。）於是 \(c \in \ell^2\) ，Riesz–Fischer 理論保證部分和 \(\pi + \sum_{n=1}^N (-\frac{2}{n})\sin nt\) 在 \(L^2\) 範數下收斂到 \(f(t) = t\) 。注意：這個 Fourier 級數在端點 \(t = 0, 2\pi\) 處收斂到 \(\pi\) （跳躍的中點），逐點看不完美，整體看（ \(L^2\) ）完美——函數即點的視角正視了這一差別。

歷史啟示#

• 翻譯即威力：把函數翻譯成座標數列，使「數列極限」「級數收斂」的既有技術全部湧入函數理論。抽象空間理論的第一步從來都是「找到好的座標」。
• 基礎的選擇是戰略決定：Riemann 積分造不出完備的 \(L^2\) ；Lebesgue 積分可以。二十世紀分析學選擇 Lebesgue，不是審美偏好，而是完備性的硬需求。
• 等價類革命： \(L^2\) 中「差一個零測集視為相同」的約定，教會數學家「按問題需要定義相等」——這一思維後來遍布同調代數、代數幾何與物理。
• 命名是權力的承認：von Neumann 把理論冠名 Hilbert，使哥廷根傳統成為正統；而 Schmidt、Riesz、Fischer 的具體貢獻則被縮略為人名定理。數學史由定理與記憶共同書寫。

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

• 1.1 節：Hilbert 對積分方程的幾何化在此被 Schmidt/Riesz 完成；Fredholm 理論成為 \(L^2\) 幾何的第一個應用。
• 1.3 節：完備性將被推廣為 Banach 空間公理； \(L^2\) 的完備性（Riesz–Fischer）是其範例。
• 第 3 章：內積與正交的理論（投影定理、Parseval 等式、Riesz 表示定理）將在本節的基礎上系統展開。
• 3.2 節：例題中的 Fourier 展開將被 Parseval 等式嚴格化。
• 6.1 節： \(L^2\) 的對偶空間是它自己——這一優美事實由 Riesz 表示定理保證。
• 10.2 節：量子力學的態向量正是（不可分或可分）Hilbert 空間中的點；von Neumann 的公理化是本節故事的高潮續篇。
• 調和分析：Fourier 級數的 \(L^2\) 收斂理論是調和分析的基石，Carleson 1966 年的定理（幾乎處處收斂）是其巔峰。

練習#

1. 對例題 1.2.1 的 \(f(t) = t\) ，計算 \(\|f\|_{L^2[0,2\pi]}^2\) ，並與 \(\sum |c_k|^2\) 比對，驗證 Parseval 等式（由兩邊數值相等推出 \(\sum 1/n^2 = \pi^2/6\) 的「反證 Euler 級數」技巧）。
2. 用 Schmidt 正交化，把 \(u_1 = 1\) 、 \(u_2 = t\) 、 \(u_3 = t^2\) 在 \(L^2[-1,1]\) 中正交化（可得 Legendre 多項式的前三個）。
3. 證明 \(\ell^2\) 中 Cauchy–Schwarz 不等式：對有限和先證，再令項數 \(\to \infty\) ，說明每一步極限的合法性。
4. 舉一個「Riemann 平方可積函數列的極限不是 Riemann 可積」的例子（提示：取 \([0,1]\) 中有理數集的特徵函數，用有限個小區間逼近其補集）。
5. 思考題：在 \(L^2\) 中，Dirichlet 函數 \(\mathbf{1}_{\mathbb{Q}}\) 與零函數是「同一點」。這種相等概念使哪些古典問題（如逐點收斂、最大值）失去意義？我們換來了什麼？

進階研讀：函數即點的五個深化場景#

場景一：無窮維與有限維的本質差異初現。在 \(\mathbb{R}^n\) 中，有界閉集必緊（Bolzano–Weierstrass）；在 \(\ell^2\) 中，考慮單位向量列 \(e_1, e_2, \ldots\) （第 \(n\) 個分量為 1 其餘為 0）：它有界（ \(\|e_n\| = 1\) ）、兩兩距離 \(\sqrt{2}\) ，故沒有收斂子列——有界閉集可以不緊。這個「單位向量列逃逸」現象是無窮維的第一課，2.3 節將證明它刻畫了無窮維（緊性 ⟺ 有限維）。

場景二： \(\ell^p\) 家族的分化。Riesz 1910 年把理論推廣到 \(\ell^p\) （ \(p > 1\) ）與 \(L^p\) ：範數 \(\|a\|_p = (\sum |a_k|^p)^{1/p}\) ，Hölder 與 Minkowski 不等式（Hölder 1889，Minkowski 1896）統治其間。 \(p = 2\) 因內積而特別優雅； \(p \ne 2\) 時正交性消失，幾何變得「歪斜」。 \(p = 1\) 與 \(p = \infty\) 的對偶（見 6.1 節）暴露了更深的奇異性。家譜：Hilbert \(\ell^2\) （1906）→ Riesz \(L^p\) （1910）→ Banach 任意完備賦範空間（1922）。

場景三：可分性與「座標是否存在」。可分空間（含可數稠密集）必有可數正交基（Hilbert 空間情形），因此每個點可座標化。 \(L^2[0,1]\) 可分（三角多項式稠密）；但 \(\ell^\infty\) （有界數列以 sup 範數）不可分——用對角法：對任何可數集，取逐位不同的 \(0/1\) 數列，與該集中每個元素距離 \(\ge 1\) 。不可分空間中「座標化」的夢想破滅，逼出 20 世紀對非可分 Hilbert 空間（量子場論）與廣義對角化的研究。

場景四：平均收斂與逐點收斂的張力。 \(L^2\) 收斂（平均）不蘊含逐點收斂（可構造「活動小凸塊」函數列， \(L^2\) 範數趨零但每個點都被無窮多次跨越）；反之 Du Bois-Reymond 1876 年就構造了 Fourier 級數逐點發散的連續函數。直到 Kolmogorov（1923， \(L^1\) 中幾乎處處發散例）與 Carleson（1966， \(L^2\) 中幾乎處處收斂）這張力的地圖才畫完。「何種收斂」必須時時刻刻言明——這是 20 世紀分析學的紀律。

場景五：Hilbert 空間的公理之美與物理的訂單。von Neumann 的公理：複向量空間 + 內積（正定、線性、共軛對稱）+ 完備 +（可分性選項）。物理學家 Dirac 1930 年用「左矢右矢」記號 \(\langle \phi | \psi \rangle\) 操作同一座構造；連續譜（位置算子的「特徵向量」 \(\delta(x - x_0)\) ）並非真元素——這個尷尬直到 Schwartz 1945 年分布理論（10.1 節）才圓滿：物理直觀再次跑在數學嚴格化之前。

名詞速查表（本節出現的核心術語）#

• 座標化：以完備正交系把函數映射為係數數列。
• ** \(\ell^2\) **：滿足 \(\sum |a_k|^2 < \infty\) 的數列空間，附內積 \(\sum a_k \overline{b_k}\) 。
• ** \(L^2\) **：滿足 \(\int |f|^2 < \infty\) 的（等價類）函數空間。
• Riesz–Fischer 定理： \(L^2\) （與 \(\ell^2\) ）的完備性定理。
• Gram–Schmidt 正交化：由線性無關組構造正交組的遞推程序。
• 平均收斂： \(\|f_n - f\|_{L^2} \to 0\) 的收斂，又稱 \(L^2\) 收斂。
• 等價類： \(L^p\) 中「幾乎處處相等」的函數被視為同一元素。
• 同構（保距雙射）：保持內積/範數的線性雙射，如 \(L^2 \cong \ell^2\) 。
• 可分空間：含有可數稠密子集的空間。
• 抽象 Hilbert 空間：完備內積空間的公理化定義（von Neumann 1927）。

年表速查（本節涉及的關鍵年份）#

• 1876：du Bois-Reymond 構造 Fourier 級數發散的連續函數。
• 1883：Gram 發表有限維正交化方法。
• 1902：Lebesgue 建立測度與積分理論。
• 1906：Hilbert 系統研究 \(\ell^2\) 及其幾何。
• 1907：Schmidt 幾何化 \(\ell^2\) ；Riesz 與 Fischer 證完備性；Riesz 證 \(L^2 \cong \ell^2\) 。
• 1910：Riesz 推廣至 \(L^p\) 空間。
• 1923：Kolmogorov 構造 Fourier 級數幾乎處處發散的 \(L^1\) 函數。
• 1927：von Neumann 公理化 Hilbert 空間並引入名稱。
• 1930：Dirac 記號問世（《量子力學原理》1930）。
• 1966：Carleson 證 \(L^2\) Fourier 級數幾乎處處收斂。

深化問答三則#

問：為什麼偏偏是「平方」可積？ 答：三重原因。物理：能量 \(\propto\) 振幅平方， \(L^2\) 是自然的能量空間。幾何：平方給出內積 \(\int f \bar g\) ，從而正交、投影、勾股全部可用。數學： \(\ell^2\) 的完備性證明（三角不等式的 Hilbert 版，即 Minkowski 不等式 \(p=2\) 情形）最先被打通。 \(L^p\) （ \(p \ne 2\) ）完備性雖然也成立（Riesz 1910），但沒有內積，幾何遜色。

問：Riesz 與 Fischer 誰先誰後？是否爭議？ 答：Fischer 的論文（1907 年 5 月提交）在「平均收斂與 Lebesgue 積分」方向先行；Riesz 的論文（同年稍晚）獨立完成且更全面（含 \(L^2 \cong \ell^2\) ）。兩人成果重疊，學界以雙名並列紀念，未成恩怨——與微積分史上 Newton–Leibniz 之爭的慘烈形成對照：出版時間與學術共同體的裁判機制在 20 世紀已相當成熟。

問：「函數即點」對工程與計算有何實際影響？ 答：一切數值方法的收斂性分析（有限元、譜方法、最小二乘）都在 \(L^2\) 幾何中進行：「殘量範數趨零」「最佳逼近投影」「正交化提高數值穩定（QR 分解）」全是 Schmidt 1907 年定理的工程化身。觀念革命的最終受益者是每一台求解偏微分方程的電腦。

（本節完）