跳轉到

4.1 長度是什麼：Peano 與 Jordan 的嘗試#

本章導言#

「區間 \([a,b]\) 的長度是 \(b-a\) 」——小學生都會。但「有理數集 \(\mathbb{Q} \cap [0,1]\) 的長度」呢？「Cantor 集的長度」呢？十九世紀後半，Fourier 級數理論與積分理論逼問數學家：長度這個概念能推廣到多古怪的集合上？ Peano（皮亞諾，Giuseppe Peano，1858–1932）在 1887 年、Jordan（若爾當，Camille Jordan，1838–1922）在 1892–1893 年給出第一批系統答案——內容量（content）理論。它們成功了七十%，卻在關鍵處失敗；正是這失敗為 Lebesgue 測度（4.2 節）鋪路。本節講述這段「黎明的嘗試」。

歷史起點：Fourier 級數逼出「集合的長度」#

1807 年 Fourier 斷言「任意函數可展開為三角級數」；Dirichlet（1829）給出收斂條件；但唯一性問題——若三角級數處處（或除一「小集」外）收斂於 0，是否必為零級數？——迫使 Cantor（1872）研究例外集的「大小」。Cantor 發現：例外集可以是可數無窮集而不破壞唯一性（Heine 1870 證明有限例外集情形）。於是「小集合」的層級出現了：

  • 有限集：小。
  • 可數集：小？（ \(\mathbb{Q}\) 是可數的，但處處稠密——它「小」嗎？）
  • Cantor 型完備疏朗集：不可數，卻似乎「瘦」。

要回答「小不小」，必須定義集合的長度。這就是 1880–1900 年間測度論前史的驅動問題。

Peano 的面積定義（1887）#

Peano 在《無窮小分析的幾何應用》（Applicazioni geometriche）中，以方格逼近定義平面點集的面積：

  • 內面積：完全含於 \(E\) 的多邊形面積之上確界；
  • 外面積：包含 \(E\) 的多邊形面積之下確界；
  • 若兩者相等，稱 \(E\) 可求面積（quadrable），公共值為面積。

Peano 並定義了「可積函數」與「函數下方圖形的面積」的等價性——Lebesgue 積分「以下方圖形面積定義積分」的思想在此已現雛形。Peano 的工作以幾何形式寫成，術語晦澀，當時影響有限，但史家（如 Hawkins《Lebesgue's Theory of Integration》）公認他是測度論的第一位系統構造者。

Jordan 的內容量（1892–1893）#

Jordan 在 Cours d'analyse 第二版（1893）中把 Peano 的思想以集合語言重鑄，這就是教科書裡的 Jordan 內容／容度（contenu）：

定義：設 \(E \subseteq \mathbb{R}^n\) 有界。 - 外容量： \(c^*(E) = \inf \left\{ \sum_{k=1}^m |Q_k| : E \subseteq \bigcup_{k=1}^m Q_k \right\}\) ， \(Q_k\) 為有限多個區間（方框）， \(|Q|\) 為其體積。注意：僅允許有限多個區間。 - 內容量： \(c_*(E) = \sup \left\{ \sum_{k=1}^m |Q_k| : \bigsqcup Q_k \subseteq E \right\}\) （有限多個互斥區間含於 \(E\) ）。 - 若 \(c_*(E) = c^*(E)\) ，稱 \(E\) Jordan 可測，公共值 \(c(E)\) 為其（Jordan）測度。

定理（Jordan 可測判準）：有界集 \(E\) 是 Jordan 可測 \(\iff\) 其邊界 \(\partial E\) 的外容量為 0 \(\iff\) \(\mathbf{1}_E\) 是 Riemann 可積的。

這條定理把 Jordan 理論與 Riemann 積分精確綁定：Jordan 可測集合 = 階梯函數可以逼近的集合 = Riemann 理論的疆域。Jordan 用它重寫了二重積分理論（ \([a,b]^2\) 上 \(\iint f\) 的定義域分割），是 19 世紀末最嚴格的積分教材基礎。

Jordan 內容的三個失敗#

失敗一：可數集全部外容量爆表。 \(\mathbb{Q} \cap [0,1]\) 是可數集： \(\{r_1, r_2, \ldots\}\) 。用有限多個區間覆蓋時，必須留出「沒被覆蓋的點」——但 \(\mathbb{Q} \cap [0,1]\) 稠密，任何有限覆蓋的補集區間都含有有理數，故覆蓋必須「大」：實際上 \(c^*(\mathbb{Q} \cap [0,1]) = 1\) （外容量不為零）。同時內容量為 0（無區間可含於其中）。 \(c_* \ne c^*\) ：不可測。但直觀上，可數集「應該」是零長度——Jordan 理論無法表達這個正確直觀。

失敗二：可數加法性缺失。Jordan 容量只有有限加法性： \(c(E \sqcup F) = c(E) + c(F)\) （互斥、可測）。可數互斥併不保持：把 \([0,1]\) 拆成單點集 \(\{x\}\) （每個容量 0），可數（其實不可數，取可數子集也足夠）多個零容量集之「和」可以為 1。零測集的併可以不是零測集——這使「可以忽略的集合」無法穩定累積。

失敗三：極限操作封閉性差。Jordan 可測集對可數併、可數交不封閉（例：單點可測，可數併 \(\mathbb{Q} \cap [0,1]\) 不可測）。收斂函數列的下方圖形極限、函數列的可積極限——這些分析學最需要的操作在 Jordan 理論中處處碰壁。

Borel 的轉折（1895–1898）#

Borel 在 1895 年的論文與 1898 年《函數論講義》中做出關鍵讓步：允許可數無窮多次操作。他定義：開集的測度 = 構成區間長度之和（開集是可數個互斥開區間之併）；閉集 = 全區間減開集；再對可數互斥併取和、補集取差，得到一類集合——後世稱 Borel 集。Borel 的測度自動滿足：

  1. \(\mathbb{Q} \cap [0,1]\) 測度 \(= \sum 0 = 0\) （可數加法性的直接紅利）；
  2. 可數互斥併的測度可加；
  3. Cantor 集測度為 0（4.2 節詳算）。

Borel 的哲學分歧：他認為測度只對他構造過程產生的集合定義（建構主義色彩），且拒絕「先定義任意集合的外測度再篩選」的路線——他說任何試圖對不可數併保持可加性的測度都會遇矛盾。Lebesgue 1902 年的工作正是突破 Borel 的自我設限（同時尊重其可數加法性）。

一個具體例題#

例題 4.1.1：證明 \(\mathbb{Q} \cap [0, 1]\) 的 Jordan 外容量為 1、內容量為 0，因此 Jordan 不可測；再證明其在 Borel–Lebesgue 意義下測度為 0。

解： 1. 內容量：任何含於 \(\mathbb{Q} \cap [0,1]\) 的區間 \(I\) （長度 \(> 0\) ）必含無理數，不屬於 \(\mathbb{Q} \cap [0,1]\) ，矛盾。故內逼近只能用長度 0 的區間， \(c_* = 0\) 。 2. 外容量：設 \(\bigcup_{k=1}^m Q_k \supseteq \mathbb{Q} \cap [0,1]\) ， \(Q_k\) 為閉區間。補集 \((0,1) \setminus \bigcup Q_k\) 是有限多個開區間之併；若總長 \(\sum |Q_k| < 1\) ，則補集在 \((0,1)\) 內總長 \(> 0\) ，必含某開區間 \(J \subseteq (0,1)\) ； \(J\) 含有理數 \(r \in \mathbb{Q} \cap [0,1]\) ，但 \(r\) 已被 \(\bigcup Q_k\) 覆蓋——矛盾。故對任何有限覆蓋 \(\sum |Q_k| \ge 1\) ，即 \(c^* \ge 1\) ；又 \([0,1]\) 本身是覆蓋， \(c^* \le 1\) 。故 \(c^* = 1\) 。 3. Jordan 不可測： \(c_* = 0 \ne 1 = c^*\) 。 4. Lebesgue 測度為 0：允許可數覆蓋：對每個有理數 \(r_k\) ，取 \(I_k = (r_k - \frac{\varepsilon}{2^{k+2}}, r_k + \frac{\varepsilon}{2^{k+2}})\) ，總長 \(\sum \frac{\varepsilon}{2^{k+1}} = \frac{\varepsilon}{2} < \varepsilon\) 。故外測度 \(\le \varepsilon\) 對任意 \(\varepsilon\) ，即 \(m^*(\mathbb{Q} \cap [0,1]) = 0\) 。 \(\blacksquare\)

教學重點：步驟 2 與步驟 4 的唯一區別是「有限 vs 可數」。一字之差，理論的天壤之別：Jordan 的有限性使稠密集「不可壓縮」，Borel–Lebesgue 的可數性使可數集歸零。允許可數操作，是測度論從 Riemann 框架（Jordan 理論與之共生）跨入新世界的唯一一步，也是所有代價（4.2 節不可測集的存在）的來源。

歷史啟示#

  • 失敗的理論也是好理論：Jordan 內容量精確刻畫了 Riemann 積分的適用範圍（可測判準定理），其「失敗」恰恰診斷出 Riemann 理論的邊界——負結果是科學進步的地圖。
  • 可數性的哲學爭議：Borel 拒絕「任意集合的外測度」，Cantor 的實無窮與 Borel 的半建構主義同台競技；Lebesgue 以「外測度 + Carathéodory 判準」的路線勝出，但 Borel 的直覺在 1905 年 Vitali 不可測集（4.2 節）後獲得部分平反——不存在對所有子集可數可加、平移不變、且區間賦正常長度的測度。
  • 從幾何到集合：Peano 以方格、Jordan 以區間、Borel 以構造序列、Lebesgue 以外測度——「長度」概念四十年間從幾何直觀蛻變為集合函數。這是「概念抽象化」的教科書過程：每一代人都把上一代的「定義」降格為「特例」。

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

  • 1.3、2.1 節：Cantor 的例外集研究（B–W 定理、完備集）是本節問題的來源。
  • 3.3 節：病態函數（Volterra：可微、導數不可積）暴露 Riemann 積分與 Jordan 可測的同步缺陷。
  • 4.2 節：Lebesgue 外測度 = Jordan 外容量的可數版；Carathéodory 判準；Cantor 集測度計算。
  • 5.1 節：Lebesgue 積分 = 下方圖形的「測度化」；Jordan 可測判準定理中 \(\mathbf{1}_E\) 可積的觀察是其直接前身。
  • 7.2 節：有界變差函數與 Riemann–Stieltjes 積分繼承 Jordan 的「有限分割」哲學，其限制（奇異函數問題）由 Radon–Nikodym 定理（8.3 節）解決。
  • 機率論：Jordan 不可測的 \(\mathbb{Q}\) 在 Borel 理論中歸零——「可以忽略的集合」的穩定累積是 Borel–Cantelli 引理（1.3 節場景二）與強大數法則（9.2 節）的基礎。

練習#

  1. 證明有限集的 Jordan 容量為 0；並證明可數集的 Lebesgue 外測度為 0（用 \(\varepsilon/2^k\) 覆蓋）。
  2. 證明 Jordan 可測判準： \(E\) Jordan 可測 \(\iff\) \(\partial E\) 外容量為 0 \(\iff\) \(\mathbf{1}_E\) Riemann 可積。
  3. 計算 \(E = \{1/n : n \in \mathbb{N}\} \cup \{0\}\) 的 Jordan 容量與 Lebesgue 測度，說明兩者不同。
  4. 證明開集 \(\bigcup_n (a_n, b_n)\) （互斥構成區間）的 Borel 測度為 \(\sum (b_n - a_n)\) 。
  5. 思考題：Cantor 三分集 \(C\) （4.2 節構造）：證明其 Jordan 內容量為 0；求其外容量（提示：第 \(n\) 步剩餘區間總長 \((2/3)^n \to 0\) ——所以 \(C\) 的 Lebesgue 測度為 0，Jordan 內外容量皆 0， \(C\) 是 Jordan 可測的！解釋為何 Cantor 集不屬於「失敗案例」）。

進階研讀：容度與測度的五個深化場景#

場景一：Hausdorff 測度與分形維數。把「長度」的定義換成「直徑的 \(s\) 次冪之和的 infimum」： \(\mathcal{H}^s(E) = \lim_{\delta \to 0} \inf \sum |U_i|^s\) 。存在臨界 \(s_0\) 使 \(\mathcal{H}^s\) 從 \(\infty\) 跳到 0—— \(s_0\) 就是 Hausdorff 維數。Cantor 集維數 \(\log 2/\log 3\) 、Weierstrass 函數圖像維數（3.3 節）皆由此量化。容度理論的「失敗」開出了分形幾何之花。

場景二：Minkowski 容度。以 \(\varepsilon\) -鄰域的體積 \(|E_\varepsilon|\) 定義 Minkowski 容度 \(\lim_{\varepsilon \to 0} |E_\varepsilon|/\varepsilon^{n-d}\) ；它不需要可數結構、計算直接，是工程與數值分形分析（盒計數維數）的標準工具——Jordan 式「有限覆蓋」哲學在應用數學中的復活。

場景三：Riemann 積分的精確疆域（Lebesgue 判準）。Lebesgue 1902 年證明：有界函數 \(f\) Riemann 可積 \(\iff\) 其間斷點集測度為 0。這條定理（5.3 節詳述）把 Jordan 可測判準升級為「測度論診斷 Riemann 理論」的典範——舊理論的範圍由新理論界定，新理論的必要性由舊理論的失敗證明。

場景四：不可測集的幽靈。Jordan 容量對所有有界集定義（內外容量永遠存在，只是可能不等），Lebesgue 測度只對可測集定義。Vitali 1905 年構造的不可測集（4.2 節）顯示 Lebesgue 的篩選不可避免；而 Jordan 理論「寧可不測也不篩」的策略在 Banach 極限、Amenable 群（不變平均的存在）中以「有限可加測度」的形式重生——兩條路線在 20 世紀數學中並行。

場景五：從測度論回看 Jordan 理論。Jordan 可測集 = 邊界零測的有界集 = 「有限測度且邊界乾淨」的集合。它們在現代理論中的角色：Riemann 可積函數的積分域、 Stokes 定理的初等區域、數值積分的網格域。舊概念沒有死，而是被新概念定位——這是數學概念史反覆上演的劇目。

名詞速查表#

  • Jordan 外／內容量：有限多區間覆蓋的下確界／有限多互斥內含區間的上確界。
  • Jordan 可測：內外容量相等；等價於邊界外容量為零、 \(\mathbf{1}_E\) Riemann 可積。
  • Borel 集：由開集經可數併、交、補生成的集合類（ \(\sigma\) -代數，4.2 節）。
  • 可數加法性：互斥可數族測度之和等於併的測度；現代測度的核心公理。
  • Lebesgue 外測度：可數多區間覆蓋的長度和之下確界——Jordan 容量的可數化。
  • Hausdorff 測度：以直徑 \(s\) 次冪取代長度的廣義測度；分形維數的來源。
  • Vitali 不可測集：平移不變可數可加測度不可能涵蓋的集合（1905）。

年表速查#

  • 1829–1870：Dirichlet、Heine、Cantor 的 Fourier 唯一性問題鏈。
  • 1872：Cantor 導集與例外集研究。
  • 1881：Volterra 病態函數（有界導數不可 Riemann 積分）。
  • 1887：Peano《幾何應用》——內外面積的首次系統定義。
  • 1892–1893：Jordan 內容量理論進入《分析教程》第二版。
  • 1895–1898：Borel 可數操作測度論（Borel 集之名源於此）。
  • 1902：Lebesgue 外測度、可測集與新積分。
  • 1905：Vitali 不可測集；Lebesgue 判準（Riemann 可積 ⟺ 間斷集零測）。
  • 1918：Hausdorff 測度與維數。

深化問答三則#

問：Jordan 理論為什麼堅持「有限多個區間」？ 答：因為它與 Riemann 積分共生——Riemann 積分的定義域分割正是有限分割，Jordan 容量是分割行為的集合論翻譯。允許可數覆蓋會使某些 Riemann 不可積的集合獲得測度（如 \(\mathbb{Q}\) ），超出 Riemann 框架的表述能力。Jordan 的限制是忠於其理論母體的表現，不是疏忽。

問：可數加法性為何是現代測度的「不可談判」公理？ 答：因為分析學的極限操作（可數交併、函數列極限、級數求和）全部是可數過程；沒有可數加法性，「幾乎處處」「測度零的例外可忽略」這些概念無法穩定傳遞（4.2 節）。代價是必須放棄「對所有子集定義」——Vitali 集不可測。可數性與全域性不可兼得，這是測度論最深刻的取捨。

問：Peano 的貢獻為何常被遺忘？ 答：三個原因：他用幾何術語而非集合語言寫作（難讀）；他沒有指出自己理論的失敗之處（診斷價值低）；Jordan 1893 年教材的傳播力碾壓。加上 Peano 的注意力在 1890 年後轉向數理邏輯與形式語言（Peano 公理），測度論只是他眾多貢獻之一——天才的注意力分配決定學科的記憶。

（本節完）