跳轉到

1938 — Pettis 積分：向量值函數的兩種可積性#

案件檔案表#

欄位 內容
案件名稱 可測性之謎：取值在 Banach 空間的函數，該怎麼積分？
主嫌（主角） Billy James Pettis（美國）
案發年份 1938 年（Bochner 積分 1933 為前案）
案發地點 測度空間 \((\Omega, \mathcal{F}, \mu)\) 與 Banach 空間 \(X\)
被害人 弱可測函數的積分理論： \(\langle x^*, f\rangle\) 可測就夠了嗎？
兇器 Bochner 積分的強條件 vs. Pettis 積分的弱條件
關鍵證物 弱可測性、可分值、Pettis 可積： \(\int \langle x^*, f\rangle\, d\mu = \langle x^*, \int f\rangle\)
結案判決 Pettis 積分：弱可測＋泛函皆可積 ⇒ 存在唯一「弱積分」
遺留線索 自反空間的向量值測度論、向量值 \(L^p\) 、隨機過程取值理論

案發現場#

1933 年，Salomon Bochner 已經偵結了第一件案子：把 Lebesgue 積分搬進 Banach 空間。Bochner 的辦法很直接——先用簡單函數逼近： \(f\) 稱為強可測，若存在簡單函數 \(s_n \to f\) 幾乎處處（在範數意義下）；若 \(\int \|f\|\, d\mu < \infty\) ，定義 \(\int f\, d\mu = \lim \int s_n\, d\mu\) 。這套積分行為良好： \(\|\int f\| \le \int \|f\|\) ，控制收斂定理照用。

但偵查現場留下疑點：

  1. 強可測太苛刻：強可測蘊含 \(f\) 幾乎處處取值在某可分子空間。若 \(\Omega\) 大、 \(X\) 不可分（例如 \(X = L^\infty\) ），許多自然出現的函數（如 \(\omega \mapsto\) 某函數族）根本不強可測。
  2. 弱偵查線：對每個 \(x^* \in X^*\) ，純量函數 \(\omega \mapsto \langle x^*, f(\omega)\rangle\) 是最自然的測試對象。若這些都可測（弱可測），能否仍定義積分？
  3. 自反性之謎：弱可測、範數有界的函數，在什麼空間裡自動變得更好測？這與自反性有何關聯？

Pettis 在 1938 年接案：弱可測函數在每個泛函下都可積時，存在唯一的向量 \(\int f\, d\mu\) 滿足對偶恆等式。這是弱積分的正式誕生。

偵查過程#

第一步：定義兩種可測性，製作對照表#

概念 定義 強弱關係
強可測 有簡單函數列 \(s_n \to f\) a.e.（範數收斂） 最強，蘊含可分值
弱可測 \(\langle x^*, f\rangle\) 對每個 \(x^* \in X^*\) 可測 最弱
可分值 \(f(\Omega \setminus N)\) 落在某可分子空間 與弱可測聯手
弱*可測 \(\langle f, x^*\rangle\) 對每個 \(x^* \in X_0^*\) 可測 對偶空間情形

關鍵引理（Pettis 可測性定理）： \(f\) 強可測 \(\iff\) \(f\) 弱可測且幾乎可分值。

第二步：定義 Pettis 積分#

設 \(f: \Omega \to X\) ，滿足：

  1. \(f\) 弱可測；
  2. 對每個 \(x^* \in X^*\) ，純量函數 \(\langle x^*, f\rangle \in L^1(\mu)\) 。

宣稱存在唯一向量 \(x_f \in X\) 使

\[ \left\langle x^*,\ x_f \right\rangle = \int_\Omega \langle x^*, f(\omega)\rangle \, d\mu(\omega) \quad \forall x^* \in X^*. \]

若如此，記 \(x_f = \int f\, d\mu\) （Pettis 積分）。偵查的核心是：這個 \(x_f\) 何時存在？

第三步：存在性的推理#

令 \(T: X^* \to L^1(\mu)\) ， \(T(x^*) = \langle x^*, f\rangle\) 。條件 2 說 \(T\) 有定義；由閉圖像定理（1929）， \(T\) 有界。欲找 \(x_f\) ，即找 \(X^{**}\) 中的元素 \(J\) 定義

\[ J(x^*) = \int_\Omega T(x^*)(\omega)\, d\mu(\omega), \]

這是 \(X^*\) 上的連續線性泛函，故 \(J \in X^{**}\) 。問題化為：** \(J\) 是否真的來自 \(X\) ？** 即 \(J = J_X(x_f)\) 對某 \(x_f \in X\) ？

  • 一般空間：不保證——這正是弱積分可能「落空」之處， \(J\) 可以是 \(X^{**} \setminus X\) 的幽靈（弱*C 積分）。
  • 自反空間： \(X^{**} = X\) ，幽靈現形， \(x_f\) 必存在。這就是自反性與可測性之謎的謎底：自反性補足了弱可測函數積分時的最後一塊拼圖。
  • 若 \(f\) 兼為 Bochner 可積，兩積分一致：Pettis 積分是 Bochner 積分的推廣。

第四步：積分性質表#

性質 Bochner 積分 Pettis 積分
定義方式 範數極限（簡單函數逼近） 對偶恆等式 \(\langle x^*, \int f\rangle = \int \langle x^*, f\rangle\)
可測條件 強可測 弱可測＋泛函皆 \(L^1\)
範數估計 \(\|\int f\| \le \int \|f\|\) 一般無此控制，僅 \(\|\int f\| \le \int \|f\|\) （若 \(\|f\|\) 可積）
控制收斂 成立 弱版本成立
適用範圍 可分值函數 更廣，自反空間尤佳

第五步：自反性與可測性之謎的完整解答#

Pettis 同時指出：若 \(X\) 自反，則每個弱可測且 \(\|f\| \in L^1\) 的函數都是 Pettis 可積的（因為 \(\langle x^*, f\rangle\) 有界可測即屬 \(L^1\) 之檢查變得輕鬆）。更深的後續（James 1957、1957 後之判據）顯示：自反性本身可以用「弱可測函數達到範數」來刻畫——弱拓樸與可測性在自反點上會師。這條線在年表中被標記為「James 前史」，是 1950 年代 Goldstine–James 案卷的伏筆（見 1950-Goldstine定理 一篇）。

結案報告#

判決：Pettis 積分誕生——弱可測且泛函皆可積的函數，存在唯一的弱積分滿足對偶恆等式；自反空間中弱可測函數的積分理論完整無缺。

遺產：

  1. 向量值測度論：向量值測度 \(\nu(A) = \int_A f\, d\mu\) 的變差、Radon–Nikodym 性質（RNP）之問由此展開——哪些空間能對向量值測度做 RN 微分，成為巴拿赫空間幾何學的大案。
  2. 隨機過程：取值於 Banach 空間的隨機變數、向量值鞅論，都以弱可測與 Pettis 可積為起點。
  3. 自反性判據：可測性與弱緊性會師，通往 James 定理（自反 \(\iff\) 每個 \(x^*\) 在單位球上達到範數）。
  4. 教學地位：Bochner 積分是「工作馬」，Pettis 積分是「理論鏡」——現代 PDE 與機率課程兩者並教。

證據與工具#

工具 用途
Bochner 積分（1933） 強可測函數的範數收斂積分，Pettis 之推廣母體
Pettis 可測性定理 強可測 \(\iff\) 弱可測＋可分值
閉圖像定理（1929） 證明 \(T: x^* \mapsto \langle x^*, f\rangle\) 有界
自反嵌入 \(J: X \to X^{**}\) 判定弱積分是否落在 \(X\) 內
弱*拓樸 幽靈積分（ \(X^{**}\) 值）的居所

範例：設 \(\Omega = [0,1]\) 帶 Lebesgue 測度， \(X = L^2[0,1]\) ，定義 \(f(\omega) = \mathbf{1}_{[0,\omega]}\) （指示函數）。對每個 \(g \in L^2\) ，

\[ \langle g, f(\omega)\rangle = \int_0^\omega g(t)\, dt \]

是 \(\omega\) 的連續函數，故 \(f\) 弱可測；且 \(\int_0^1 \langle g, f(\omega)\rangle\, d\omega = \int_0^1 (1-t) g(t)\, dt = \langle g,\ h\rangle\) ，其中 \(h(t) = 1-t\) 。所以 Pettis 積分 \(\int f\, d\omega = h\) ，正好是「累積平均」。此例中 \(L^2\) 自反，一切順利；若換成 \(L^\infty\) （非自反），同型構造就可能踩進幽靈區。

一句話結案：Bochner 用範數積分，Pettis 用泛函積分；自反性讓弱積分不再迷路。