跳轉到

8.1 乘積測度的構造#

本章導言#

「面積 = 長 × 寬」在小矩形上顯然，在任意點集上呢？第 4 章在 \(\mathbb{R}^n\) 直接定義了測度，但那裡的 \(n\) 維測度與一維測度的關係尚未建立。真正一般的問題：給定兩個測度空間 \((X, \mathcal{M}, \mu)\) 與 \((Y, \mathcal{N}, \nu)\) ，如何在 \(X \times Y\) 上構造「乘積測度」 \(\mu \times \nu\) ，使矩形 \(A \times B\) 的測度恰好 \(\mu(A)\nu(B)\) ？這個問題由 Fubini（1907）與 Tonelli（1909）解決，是積分理論通向多維的橋樑。本節構造乘積測度，下一節證明積分次序交換的定理。

歷史：面積理論的最後一塊#

Lebesgue 1902 年的論文已包含二維理論（他直接在 \(\mathbb{R}^2\) 做覆蓋），並證明了平面測度可由截面積分計算（後稱 Cavalieri 原理的嚴格版）。但「抽象測度空間的乘積」要到 Radon（1913）、Fubini–Tonelli 定理的抽象化（Sierpiński、Hahn 1920s）才完成。驅動力有二：

  1. 機率論：聯合分佈 = 乘積測度（獨立時）；條件分佈 = 截面。沒有乘積理論就沒有多元機率。
  2. 積分方程與調和分析：算子核 \(K(x, y)\) 是二元函數，其「範數」需要對兩個變數各積一次——交換次序是否合法是核心技術問題。

Guido Fubini（1879–1943，都靈理工）1907 年論文處理積分次序交換；Leonida Tonelli（1885–1943，比薩）1909 年給出無須先證可積性的替代形式（先交換後驗證），更適合實戰。兩人後來都在 1938 年因墨索里尼的種族法失去職位（Fubini 移居美國，Tonelli 留在意大利于 1943 年在痛苦中去世）——數學史最沉痛的一頁之一。

乘積 σ-代數#

定義 8.1.1： \(X \times Y\) 上的矩形指 \(A \times B\) （ \(A \in \mathcal{M}\) 、 \(B \in \mathcal{N}\) ）。乘積 σ-代數

\[ \mathcal{M} \otimes \mathcal{N} = \sigma\left( \{ A \times B : A \in \mathcal{M},\ B \in \mathcal{N} \} \right) \]

是由矩形生成的最小 σ-代數。

兩個基本技術工具（證明 Fubini 時反覆使用）：

引理 8.1.2（截面）：對 \(E \in \mathcal{M} \otimes \mathcal{N}\) 與 \(x \in X\) ，定義截面 \(E_x = \{ y : (x, y) \in E \}\) 。則 \(E_x \in \mathcal{N}\) ，且映射 \(x \mapsto m(E_x)\) （當 \(E\) 可測且相關積分有限時）可測。

證明思想：令 \(\mathcal{C} = \{ E \in \mathcal{M} \otimes \mathcal{N} : \text{性質成立} \}\) ，驗證 \(\mathcal{C}\) 是含所有矩形的 σ-代數——「好集合族是 σ-代數」套路，是本領域最常用的證明模板。 \(\blacksquare\)

當 \(\mathbb{R}^2\) 時： \(\mathcal{B}(\mathbb{R}) \otimes \mathcal{B}(\mathbb{R}) = \mathcal{B}(\mathbb{R}^2)\) （開矩形生成兩邊），Borel 世界沒有意外；但 Lebesgue σ-代數的乘積比二維 Lebesgue σ-代數嚴格小——補集、零測集子集的處理不同。這是學生最容易踩的坑： \(L\) 完備性不在乘積構造中自動保持（除非做完備化）。

乘積測度的構造#

定理 8.1.3（乘積測度）： \(\mu, \nu\) 是 σ-有限測度。則存在唯一測度 \(\mu \times \nu\) 於 \(\mathcal{M} \otimes \mathcal{N}\) ，使

\[ (\mu \times \nu)(A \times B) = \mu(A)\,\nu(B) \quad (\text{矩形, 含 } \infty \cdot 0 = 0 \text{ 約定}). \]

構造（Carathéodory 外測度路線）：

  1. 先在代數 \(\mathcal{A}\) （矩形的有限不交並）上定義
\[ \pi\left( \bigsqcup_{k=1}^{n} A_k \times B_k \right) = \sum_{k=1}^{n} \mu(A_k)\,\nu(B_k), \]

需驗證良定性（不同矩形表示給同一值——用 σ-有限性與交的處理）。

  1. 定義外測度
\[ (\mu \times \nu)^*(E) = \inf\left\{ \sum_k \pi(P_k) : E \subseteq \bigcup_k P_k,\ P_k \in \mathcal{A} \right\}, \]

用 Carathéodory 條件（4.2 的切割條件）得可測集 σ-代數 \(\supseteq \mathcal{M} \otimes \mathcal{N}\) 。

  1. 唯一性：由 σ-有限性與「在 π-系上相等的測度相等」（單調類論證，Dynkin π-λ 定理）。 \(\blacksquare\)

σ-有限性不可省略：取 \(X = Y = [0,1]\) ， \(\mu =\) 計數測度、 \(\nu =\) Lebesgue 測度。對角線 \(\Delta = \{(x,x)\}\) 的「面積」：若按截面計算，每個 \(x\) 截面是單點（ \(\nu\) -測度 \(0\) ），積分給 \(0\) ；但 \(\Delta\) 包含在矩形覆蓋中的外測度行為與「對角線的條帶覆蓋」給出 \(\infty\) 或依定義而異——著名的反例顯示非 σ-有限時乘積測度可以不唯一（ \(\mu \times \nu\) 與「先 \(\nu\) 後 \(\mu\) 」的兩個次序給不同答案）。Fubini 定理的假設因此必須含 σ-有限性（或可積性）。

截面可測性的另一面：條帶與逼近#

構造中最微妙的一步是證明「 \(E\) 可測 ⟹ 截面積分給出測度」。補一個中間引理使邏輯完整：

引理 8.1.4（條帶逼近）：對 \(E \in \mathcal{M} \otimes \mathcal{N}\) （σ-有限）與 \(\varepsilon > 0\) ，存在可數個矩形的有限不交並 \(P \supseteq\) （近似） \(E\) ，使 \((\mu\times\nu)(P \triangle E) < \varepsilon\) ，其中 \(\triangle\) 是對稱差。

證明思想：對矩形正確；矩形的不交並（代數 \(\mathcal{A}\) ）正確；用外測度定義取覆蓋近似；對一般可測 \(E\) 用「 \(E\) 落在測度近似的條帶內再取差」的兩段式估計。 \(\blacksquare\)

這個引理把「積分兩次」與「乘積測度一次」的等價問題化歸為矩形上的顯然等式——Fubini 證明的省力樞紐。同樣的「用生成元的有限組合逼近一般元素」策略，也是 9.1 延拓定理與 9.2 Kolmogorov 構造的核心手法：抽象測度論的通用生產線是『在磚塊上定義、用逼近擴張、以唯一性收編』。

Fubini 失敗的另一個視角：不等距的「半可測」集合#

例題 8.1.3（Sierpiński 型反例）：在 \(\mathbb{R}^2\) 上（Lebesgue 測度）是否存在集合 \(E\) ，使每個平行於 x 軸的截面至多可數，而每個平行於 y 軸的截面是餘可數集？

解：在 ZFC 的標準公理下（可測性範圍內），這樣的集合不能是 Lebesgue 可測的：若 \(E\) 可測，截面幾乎處處可測（截面引理），則 x-截面可數 ⟹ \(\int m(E_x)\,dx = 0\) ，而 y-截面餘可數 ⟹ \(\int m(E^y)\,dy = \infty\) ，與 Fubini 矛盾。此類集合的存在性（Sierpiński 1918 型構造，需連續統假設與良序）是不可測集的另一族標本，與 Vitali 集互補：Vitali 集違反平移不變 + 可數可加，Sierpiński 型違反 Fubini 的截面行為。Fubini 定理因此也是可測性的一個強力判準——「截面積分不相容」是判定不可測的實用方法。

歷史細節：Fubini 定理的「失焦」與重新聚焦#

值得記錄的一個歷史細節：Fubini 1907 年的原論文實際證明的是「二重積分存在則兩個累次積分存在且相等」的一個較強但陳述有缺陷的版本，義大利學界隨後發現其條件過寬；Tonelli 1909 年的版本（非負則交換）與 Sierpiński（1916–20）對反例的精確分析，才把定理定格為今日教科書的形式。教科書中的「Fubini 定理」其實是 Fubini–Tonelli–Sierpiński 三人二十年的接力——這也提醒我們：定理的通行形式常常不是首發版本，而是被反例打磨後的產物。

例題#

例題 8.1.1：計算 \(\{ (x, y) \in [0,1]^2 : x < y \}\) 的面積，並用截面驗證。

解：三角形區域。對固定 \(x\) ，截面 \(E_x = (x, 1]\) ，長 \(1 - x\) 。故

\[ (\lambda \times \lambda)(E) = \int_0^1 (1 - x)\, dx = \frac12. \]

對固定 \(y\) ，截面 \(E^y = [0, y)\) ，長 \(y\) ， \(\int_0^1 y\, dy = \frac12\) 。兩個方向的截面積分一致——這不是巧合，是 8.2 節 Fubini 定理的內容。用老式語言「三角形面積 = 底 × 高 ÷ 2」，我們做的是它的測度論版本：高維測度 = 低維截面的積分。

例題 8.1.2：證明 \((\lambda \times \lambda)\) 在 \(\mathbb{R}^2\) 上平移不變，因此 Lebesgue 平面測度（第 4 章直接定義的版本）與一維測度的乘積一致。

解：對矩形 \(A \times B\) ： \((\lambda\times\lambda)((A+t)\times(B+t)) = \lambda(A+t)\lambda(B+t) = \lambda(A)\lambda(B)\) 。由平移不變的集合構成 π-系生成 \(\mathcal{B}(\mathbb{R}^2)\) ，用唯一性（π-λ 定理）知平移不變性推廣到全體 Borel 集。再由完備化論證，二者與第 4 章的 \(m_2\) 相同。「面積」的兩種定義殊途同歸，這正是 Cavalieri 原理的現代形式。

為何先構造後交換#

本節的構造刻意「以矩形為磚」：矩形面積先定義好，一般集合用覆蓋逼近。這個次序保證了 8.2 的重點定理（積分次序交換）有堅實基礎。反面教材是 Lebesgue 之前的一些嘗試：直接假設「任意二重積分可交換」，結果在條件積分不存在的情形出現假定理（Fubini 之前的文獻中存在錯誤的交換命題）。正確的邏輯鏈是：

\[ \text{矩形測度} \to \text{乘積測度} \to \text{截面可測性} \to \text{Tonelli（非負交換）} \to \text{Fubini（可積交換）}. \]

與其他章節的關聯#

  • 承 4.2：Carathéodory 擴張與切割條件直接復用；σ-有限性在此首次成為關鍵假設。
  • 承 5.2：Tonelli 定理的證明就是 MCT 的一次應用；Fubini 的證明用 DCT 或直接由 Tonelli 推出。
  • 啟 8.2：Fubini–Tonelli 定理是本節構造的果實。
  • 啟 8.3：Radon–Nikodym 定理的證明在 σ-有限情形可用乘積空間技術（von Neumann 的漂亮證明：把 \(\nu\) 放到 \(\mu \times \nu'\) 的對角線附近）。
  • 機率論：獨立隨機變數的聯合分佈 = 邊際分佈的乘積測度；獨立性的嚴格定義完全依賴本節構造。
  • 調和分析：卷積 \((f * g)(x) = \int f(x-y)g(y)\,dy\) 的定義本身需要交換積分次序，Young 不等式的 \(L^p\) 版本（ \(1 + 1/p = 1/q + 1/r\) ）靠 Fubini。

本節要點#

  1. 乘積 σ-代數由矩形生成；截面引理（好集合族是 σ-代數）是基本工具。
  2. σ-有限測度的乘積測度存在唯一，矩形上滿足 \(\mu(A)\nu(B)\) 。
  3. 非 σ-有限時乘積測度可能不唯一——計數測度 × Lebesgue 的對角線是標準反例。
  4. Lebesgue 平面測度 = 一維測度的乘積（完備化後），Cavalieri 原理獲得嚴格基礎。
  5. 構造次序（先矩形後覆蓋）是 Fubini 定理正確性的邏輯保障。