跳轉到

10.2 Lebesgue 積分與分析學的未來#

導言#

Riemann 積分（3.2 節）解決了十九世紀的問題，卻在二十世紀初暴露根本缺陷：可積函數列的極限可能不可積（不完備）。Henri Lebesgue（1875–1941） 1902 年博士論文《積分、面積與長度》以「測度」重建積分——先測「值域上的集合」，再按測度求和。這個看似顛倒的思路造就了現代分析學的全部基礎設施：機率論、傅立葉分析、泛函分析、分布理論。本節講述這場「積分的第二次革命」。

Riemann 積分的三個缺陷#

缺陷一：不完備。一致收斂可以保住可積性（5.3 節），但逐點收斂不行。構造可積函數列逼近 Dirichlet 函數（每個 \(f_n\) 只有 \(n\) 個「刺」），逐點極限是 \(D(x)\) ——不可積。極限操作與積分不交換的危險，使「先極限後積分」處處如履薄冰。

缺陷二：逐項積分條件繁瑣。Fourier 級數逐項積分需要一致收斂，而物理中最有用的級數（如 \(\sum \frac{\sin nx}{n}\) ）恰恰不一致收斂。

缺陷三：Volterra 反例（1881）：存在可導函數 \(F\) ， \(F'\) 有界卻不 Riemann 可積——FTC2（4.2 節）在 Riemann 框架內有內傷（原函數差值公式對這種 \(F\) 失效）。

共同的病根：Riemann 積分按「定義域分割」求和，對「值域」無能為力；而極限操作的本質問題出在函數值的層次。

測度：長度的推廣#

Lebesgue 的問題：什麼樣的集合有「長度/面積/體積」？他的回答（1902）：

測度的構造：

  1. 外測度：集合 \(E\) 的外測度是「覆蓋它的區間（開盒）總長度的下確界」： $$ m^*(E) = \inf\left{\sum_k |I_k| : E \subset \bigcup_k I_k\right}. $$
  2. 可測集（Carathéodory 條件，1918）： \(E\) 可測 \(\iff\) 對一切 \(A\) ， \(m^*(A) = m^*(A \cap E) + m^*(A \setminus E)\) ——切一刀，兩半測度可加。
  3. 可測集的全體（ \(\sigma\) -代數）對可數並、補、交封閉，測度在其上滿足可數可加性。

性質速覽：

對象 Lebesgue 測度
區間、矩形 長度/面積（與直觀一致）
可數集（ \(\mathbb{Q}\) ） \(0\) （可數個零相加是零）
Cantor 集 \(0\) （總長 \(\left(\frac23\right)^n \to 0\) ，卻有連續統多個點！）
Dirichlet 函數的不連續集（全區間） \(1\) （不可積，與 Riemann 判準一致）
不可測集 存在！（Vitali 1905，用選擇公理構造——測度不能「萬物皆測」）

Cantor 集的教訓：測度為零的集合可以有不可數多個點、可以「稠密地缺席」。「大小」不再只有一個標尺——基數（點的多少）與測度（長度）分家，這是二十世紀數學最深刻的概念分裂之一。

Lebesgue 積分：值域分割#

思想：不再切 \(x\) 軸，而是切 \(y\) 軸。對 \(f \ge 0\) ：

\[ \int f\,d\mu := \sup\left\{\int s\,d\mu : 0 \le s \le f,\ s\ \text{簡單函數}\right\}, \]

其中簡單函數 \(s = \sum_i a_i \mathbf{1}_{E_i}\) （水平階梯），其積分按定義為 \(\sum_i a_i\, m(E_i)\) ——「每個高度值的量 × 該值所占的測度」。

比喻（Lebesgue 自己的寓言）：數一堆硬幣——Riemann 法按「桌面的位置」切塊再數；Lebesgue 法先把硬幣按面額分堆（5 角一堆、1 元一堆），各堆數量乘面額再總和。按值分類，而非按位置掃描。

相對 Riemann 的優勢：

  1. 更大函數類：有界函數上 Lebesgue 可積 ⊋ Riemann 可積（Lebesgue 判準：不連續點集測度零 ⇔ Riemann 可積——這個判準本身就是以 Lebesgue 測度為語言的！）；無界函數（如 \(\frac{1}{\sqrt x}\) 於 0 附近、 \(\frac{\sin x}{x}\) 於無窮遠）可「絕對可積」地處理。
  2. 完備性： \(L^1\) 空間（可積函數模「幾乎處處相等」）是完備的賦範空間（Banach 空間）——極限永遠留在屋內。
  3. 收斂定理：二十世紀分析的兩台引擎——
  4. 單調收斂定理（MCT，1902）： \(0 \le f_n \uparrow f\) \(\Rightarrow\) \(\int f_n \uparrow \int f\) （允許 \(\infty\) ）；
  5. 控制收斂定理（DCT，1910）： \(|f_n| \le g\) （可積控制函數）且 \(f_n \to f\) 幾乎處處 \(\Rightarrow\) \(\int f_n \to \int f\) 。

DCT 是「逐項積分」的終極答案：不需要一致收斂，只需要一個可積的上界。Fourier 理論、機率論的期望極限、PDE 的弱解，全部直接受益。

FTC 的最終形式：

\[ F(x) - F(a) = \int_a^x F'(t)\,dt \quad\Longleftrightarrow\quad F \text{ 絕對連續}（AC）. \]

（4.2 節的條件譜系表在此完成：Cantor 函數連續、導數 a.e. 為零、但非 AC，故不被積分還原；「a.e. 可微 + AC」是積分與微分的完整和解。）

\(L^p\) 空間與泛函分析的誕生#

定義： \(L^p(E) = \{f : \int |f|^p < \infty\}\) ，範數 \(\|f\|_p = \left(\int |f|^p\right)^{1/p}\) 。

  • Hölder 不等式（1889/1906） \(\|fg\|_1 \le \|f\|_p\|g\|_q\) （ \(\frac1p + \frac1q = 1\) ）：Schwarz 不等式（3.3 節）的推廣；
  • \(L^p\) 完備（Riesz–Fischer 1907）；** \(L^2\) 是希爾伯特空間（內積 \(\langle f, g\rangle = \int fg\) ）——幾何進入無窮維**；
  • Riesz 表示定理（1909）： \((L^p)^* = L^q\) ——積分本身就是「最一般的線性測量」；
  • Fubini–Tonelli（1907/1909）：重積分換序的測度論條件（7.1 節）；
  • Radon–Nikodym 定理（1913）：條件測度/條件期望的數學基礎；「密度」概念的嚴格化 \(d\nu = f\,d\mu\) 。

歷史群像：Hilbert（1906 前後的 \(l^2\) 與積分方程）、Fréchet、Riesz、Banach（1920s 巴拿赫空間公理化）、von Neumann（1929–32，希爾伯特空間公理化並用於量子力學）——Lebesgue 積分是泛函分析的「矩陣乘法」：沒有它，無窮維空間的演算寸步難行。

機率論：測度論的最大主顧#

Kolmogorov 1933 年《機率論基礎》：把機率定義為總測度為 1 的測度：

\[ P(\Omega) = 1, \qquad P\left(\bigcup_n A_n\right) = \sum_n P(A_n)\ (\text{互斥}), \qquad E[X] = \int_\Omega X\,dP. \]

革命性的收穫（在測度論框架內這些定理自然成立，此前則不可證或需重複論證）：

  • 強大數律（Kolmogorov 1933）：樣本均值 \(\to\) 期望，幾乎處處——「幾乎處處」正是測度語言；
  • 大偏差與中心極限：特徵函數 \(E[e^{itX}]\) （Lebesgue–Stieltjes 積分）的連續性定理；
  • 條件期望 \(E[X|\mathcal{G}]\) ：Radon–Nikodym 導數——現代統計學（貝葉斯、濾波、隨機過程）的地基；
  • 隨機過程：布朗運動（Wiener 1923，路徑連續 a.e. 不可微——又見 Weierstrass 怪物的機率化身）、馬爾可夫鏈、鞅論（Doob 1953）。

金融數學：Black–Scholes（1973）的期權定價 = Itō 積分（1944，對布朗運動的積分——Lebesgue 積分的隨機版）+ 測度變換（Girsanov 定理，Radon–Nikodym 導數的隨機版）。

傅立葉分析與分布理論#

傅立葉理論在 Lebesgue 框架內的完成：

  • Parseval 定理： \(\frac1{2\pi}\int |f|^2 = \sum |c_n|^2\) （ \(L^2\) 等距——畢氏定理的無窮維版）；
  • Carleson 定理（1966）： \(L^2\) 函數的 Fourier 級數幾乎處處收斂——二十世紀硬分析巔峰（此前 Kolmogorov 1926 曾構造 \(L^1\) 函數其 Fourier 級數處處發散，可見條件之微妙）；
  • 小波分析（1980s，Mallat、Daubechies）：多尺度版本的傅立葉理論，同樣棲身 \(L^2\) 。

Laurent Schwartz 的分布理論（1945）：把「函數」推廣為「對試探函數的連續線性泛函」（ \(C^\infty_c\) 上的泛函，5.3 節 \(C^\infty\) 的柔軟性正是舞台）：

\[ \langle T, \varphi\rangle, \qquad \langle \delta, \varphi\rangle = \varphi(0). \]

成果： \(\nabla\cdot\frac{\mathbf{r}}{r^3} = 4\pi\delta\) （9.2 節悖論的正式解答）；Heaviside 函數的導數是 \(\delta\) ；每個分布無窮可微；PDE 的弱解（Sobolev 空間 \(W^{k,p}\) ，1936 Sobolev）成為現代 PDE 的標準語言——Schwartz 1950 Fields 獎。物理學家 Dirac（1930）與 Heaviside（1890s）憑直覺使用的「非函數」，五十年後獲得嚴格身份——物理先行、數學殿後的又一次重演（類比： \(\delta\) 之於分布，如無窮小之於極限）。

測度論的抽象頂點與未竟疆域#

  • 抽象測度：任何 \(\sigma\) -代數 + 可數可加函數都是測度（Radon 測度、Hausdorff 測度——分形的維數 \(d = \log 2/\log 3\) （Cantor 集）由 Hausdorff 測度讀出）；
  • 描述集合論與大基數：不可測集（Vitali）暴露選擇公理的代價；「所有集合可測」的宇宙（Solovay 1970，需不可達基數）——集合論前沿由 1902 年的積分問題觸發；
  • 非交換測度：von Neumann 代數、量子機率——「測度」在非對易世界的推廣（算子代數，1930s 起）。

歷史前因後果#

  • 前因：Riemann 可積性的病態研究（Hankel 1870、du Bois-Reymond）、Jordan 1892 的「容度」、Borel 1898 的可數可加集類。
  • 提出：Lebesgue 1902 博士論文；1904《積分與原函數研究》完成 FTC 的 AC 條件版本（「如果我要整合積分理論，我的目的恰恰是保留微積分基本定理」——他自述的動機）。
  • 解決了什麼：極限與積分的交換（MCT/DCT）、完備性、更大的可積類、機率論的公理化、PDE 弱解語言。
  • 引發新問題： \(L^2\) 幾何化 → 泛函分析；「幾乎處處」的精確性 → 描述集合論；隨機世界 → 隨機分析；分形維數 → 分形幾何（Mandelbrot 1975）——Lebesgue 的積分不是終點，而是二十世紀分析的作業系統。

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

  • 3.2 節：Riemann 可積的 Lebesgue 判準——兩種積分的精確邊界。
  • 4.2 節：FTC 的絕對連續性終章。
  • 5.3 節：一致收斂的不必要（DCT 更廣）； \(C^\infty\) 試探函數是分布論的舞台。
  • 9.2 節： \(\delta\) 分布與點源散度。
  • 7.1 節：Fubini–Tonelli 定理的重積分換序。
  • 10.3 節：Lebesgue 積分驅動的現代科學（機率、信號、金融、AI）。
  • 測度論/機率：本節的直接繼承者——統計學、機器學習（期望、測度變換、Radon–Nikodym 都在 gradient 的期望中出現）。
  • 調和分析： \(L^p\) 理論、Calderón–Zygmund 理論、Carleson–Hunt 定理。
  • PDE：Sobolev 空間、弱解、有限元素法的數學基礎（Galerkin 法在 \(H^1\) 中）。

練習#

  1. 用覆蓋論證證明可數集測度為零（對 \(\varepsilon/2^n\) 分配給第 \(n\) 個點）。
  2. 證明 Dirichlet 函數的 Lebesgue 積分為 0（它是簡單函數的極限： \(\mathbf{1}_{\mathbb{Q}\cap[0,1]}\) 的測度為零）；對照其 Riemann 不可積性。
  3. 用 DCT 求 \(\displaystyle\lim_{n\to\infty}\int_0^1 \left(1 + \frac{x}{n}\right)^{-n} dx\) （提示：逐點極限 \(e^{-x}\) ，控制函數 \(1\) ）。
  4. 說明 Cantor 集的測度為零但基數為 \(2^{\aleph_0}\) （三進位表達式 0.a₁a₂…， \(a_i \in \{0,2\}\) 與二進位一一對應）。
  5. 證明 \(f\) Riemann 可積（有界） \(\Rightarrow\) Lebesgue 可積且積分值相等（用 Lebesgue 判準 + 達布上下和）。
  6. 思考題：Itō 積分中 \(dW_t^2 = dt\) （二次變差非零）破壞了「高階無窮小可捨去」的經典微分法則（2.3 節）。查閱 Itō 公式 \(df(W_t) = f'\,dW_t + \frac12 f''\,dt\) ，解釋為什麼金融數學（股價波動）與量子測量模型需要這個修正項，以及它與 Lebesgue 測度論「路徑 a.e. 不可微」的關係。

（本節完）