7.1 絕對連續性#

本章導言#

第 5 章末尾留下懸案：Cantor 函數連續、遞增、 \(F' = 0\) a.e.，Newton–Leibniz 公式卻失敗。可積性問題被 Lebesgue 解決了，但積分理論與微分理論的重新接線還沒完成。1900 年前後，Lebesgue、Vitali 與 Vitali 的學生一代逐一收緊條件，最後找到那個精確的概念：絕對連續性（Vitali 1905 年引入，Lebesgue 1907 年給出最終刻畫）。本節證明實變分析的皇冠定理：** \(F\) 是某 \(L^1\) 函數的不定積分 \(\iff\) \(F\) 絕對連續**，Newton–Leibniz 公式在此範圍內精確成立。

歷史：誰先找到精確條件#

Giuseppe Vitali（1875–1932，本書 4.2 的 Vitali 集也出自他）在 1905 年的三篇短論文裡同時完成：不可測集、絕對連續性的刻畫、覆蓋定理（Vitali 覆蓋引理）。一位中學教師（他一生未獲大學正式教職直到晚年），卻在實變的三個核心處各留下一個以他命名的定理。

定義與動機#

定義 7.1.1（絕對連續）： \(F: [a,b] \to \mathbb{R}\) 絕對連續，若對任意 \(\varepsilon > 0\) 存在 \(\delta > 0\) ，使對任意有限個不交開區間 \(\{(x_k, y_k)\}\) ，只要 \(\sum_k (y_k - x_k) < \delta\) ，就有

與連續性對比：連續只控制單一小區間；絕對連續控制任意多個小區間的總效果。與一致連續對比：一致連續同樣只管單區間（但 \(\delta\) 統一）；關鍵差異在「有限多個同時」。

為何不定積分必須絕對連續：若 \(F(x) = \int_a^x f\,dm\) 、 \(f \in L^1\) ，則

而 \(\int_E |f| \to 0\) 當 \(m(E) \to 0\) （ \(L^1\) 的絕對連續性，DCT/控制 + 截斷法可得）。所以每個不定積分自動絕對連續——定義 7.1.1 正是把這個必要性抽取出來。

Cantor 函數為何不合格：取小區間族覆盖 Cantor 集 \(C\) 的基本區間。第 \(n\) 步構造中， \(2^n\) 個「縫隙」的總長是 \((1 - (2/3)^n)\) 的一部分……更直接地： \(C\) 的 \(2^n\) 個殘留區間總長 \((2/3)^n \to 0\) ，但 \(F\) 在每個殘留區間端點處的總變化是 \(1\) （因為 \(F\) 把 \(C\) 映滿 \([0,1]\) 的全部變化）。對任意 \(\delta\) ，取 \(n\) 大到 \((2/3)^n < \delta\) ，則這些小區間總長 \(< \delta\) 而 \(\sum |F(y_k) - F(x_k)| \approx 1\) 。違反絕對連續。連續 ≠ 絕對連續，Cantor 函數是精確的分界標本。

皇冠定理#

定理 7.1.2（Vitali–Lebesgue, 1905–1907）： \(F: [a,b] \to \mathbb{R}\) 。下列等價：

1. \(F\) 絕對連續；
2. \(F(x) - F(a) = \int_a^x f\,dm\) 對某 \(f \in L^1\) 成立；
3. \(F\) a.e. 可微、 \(F' \in L^1\) ，且 \(F(x) - F(a) = \int_a^x F'\,dm\) （Newton–Leibniz 公式）。

證明思想（第 3 部分是最難也最美的）： \((2) \Rightarrow (1)\) 已如上。 \((1) \Rightarrow (2)\) 的思路： - 先設 \(F\) 遞增（一般情形用 Jordan 分解，見 7.2，把 \(F\) 拆成兩個遞增函數之差）。 - 遞增 \(F\) 誘導一個測度 \(\mu_F((u,v)) = F(v) - F(u)\) ；絕對連續性翻譯成： \(m(E) = 0 \Rightarrow \mu_F(E) = 0\) 。 - 用 Radon–Nikodym 定理的實變特例（或直接構造）：存在可測 \(f \ge 0\) 使 \(\mu_F(E) = \int_E f\,dm\) 。Vitali 的原始證明用覆蓋引理構造 \(f\) 為「 \(F\) 的局部變化率的上確界」；現代證明直接引用第 8 章的 Radon–Nikodym 定理。 - \((2) \Rightarrow (3)\) ：對不定積分驗證 a.e. 可微且 \(F' = f\) a.e.（Lebesgue 微分定理，見下）。

定理 7.1.3（Lebesgue 微分定理, 1904/1910）： \(f \in L^1_{\text{loc}}\) ，則對 a.e. 的 \(x\) ：

證明思想：這是「極限在積分號下」的反方向定理。核心工具是 Hardy–Littlewood 極大函數 \(Hf(x) = \sup_{h>0} \frac{1}{2h}\int_{x-h}^{x+h} |f|\) 與 Vitali 覆蓋引理： \(H\) 滿足弱 \((1,1)\) 型估計 \(m(\{Hf > \lambda\}) \le \frac{C}{\lambda} \|f\|_1\) （覆蓋引理把超水平集用不交區間近似）。對稠密類（連續函數）直接驗證，再用最大不等式控制壞部分——這個「稠密逼近 + 極大算子」範式是調和分析（第 10 章）的發動機，Lebesgue 微分定理正是它的第一個偉大勝利。 \(\blacksquare\)

例題#

例題 7.1.1：判斷下列函數是否絕對連續：(a) \(F(x) = x^2\) ； (b) \(F(x) = |x|\) ； (c) Cantor 函數； (d) \(F(x) = x \sin(1/x)\) 於 \([0,1]\) （ \(F(0)=0\) ）。

解： - (a) 是： \(C^1\) 函數都是絕對連續（ \(|F(y)-F(x)| \le M|y-x|\) ，取 \(\delta = \varepsilon/M\) ）。 - (b) 是：Lipschitz 函數（常數 \(1\) ）滿足定義，與 (a) 同理。 - (c) 否：如上驗證。 - (d) 否：在 \(x_k = \frac{2}{(2k+1)\pi}\) 處振盪劇烈， \(|F(x_k)| = \frac{1}{(2k+1)\pi/2}\) ，可取無窮個小區間使總長任意小而函數值總變化不小（嚴格地：在 \([0, \delta]\) 內函數總振盪 \(\ge 2\delta/\pi\) 型的量，破壞絕對連續）。注意 \(F\) 連續且 \(F'\) 存在（ \(x \ne 0\) ）但 \(F' \notin L^1\) 。

例題 7.1.2：用定理 7.1.2 重算 Cantor 函數之謎： \(\int_0^1 F'\,dm = ?\) 與 \(F(1) - F(0) = ?\)

解： \(F' = 0\) a.e.（在補集的每個開區間上 \(F\) 為常數），故 \(\int_0^1 F'\,dm = 0\) 。但 \(F(1) - F(0) = 1\) 。若 Newton–Leibniz 成立會有 \(0 = 1\) ，矛盾 ⟹ ** \(F\) 必不絕對連續**（定理 7.1.2 的逆否命題）。所有謎團一次解開：不是積分不好，是函數不夠格。

兩個進一步的例題：絕對連續的檢驗技術#

例題 7.1.3：證明 Lipschitz 函數（常數 \(L\) ）絕對連續，且 \(\operatorname{Var}(F) \le L(b-a)\) ，因此 Lipschitz \(\subset\) AC \(\subset\) BV。

解：絕對連續性： \(\sum_k |F(y_k) - F(x_k)| \le L \sum_k (y_k - x_k) < L\delta\) ，取 \(\delta = \varepsilon / L\) 。全變差：對任何分割， \(V(F, P) \le L\sum_k (x_k - x_{k-1}) = L(b - a)\) ，取上確界。 \(\blacksquare\)

例題 7.1.4：證明： \(F\) 絕對連續且 \(F' = 0\) a.e. \(\implies\) \(F\) 為常數。

解：由 Vitali–Lebesgue 定理（7.1.2）， \(F(x) - F(a) = \int_a^x F'\,dm = 0\) 。這個「一行證明」對照十九世紀的慘狀：在 Cantor 函數出現後，數學家一度以為「導數 a.e. 為零」的連續函數可以非平凡——Cantor 函數正是反例，但它不絕對連續。本例題顯示絕對連續性精確地排除了這種「奇異部分」，而定理 7.1.2 使排除後的圖像完全透明。「奇異 = 質量集中在零測集」的直覺（8.3 的 Lebesgue 分解將正式化）在此已可觸摸。

Vitali 覆蓋引理：本節的隱形主角#

Lebesgue 微分定理與下章多處需要的覆蓋工具值得正式記錄：

引理 7.1.4（Vitali 覆蓋引理）： \(\mathcal{I}\) 是 \(\mathbb{R}\) 中有界閉區間的族，則存在有限或可數不交子族 \(\{I_k\} \subseteq \mathcal{I}\) 使

證明思想：貪心法——選直徑超過 \(\frac12\) 倍超直徑的區間 \(I_1\) ；從與 \(I_1\) 不交的剩餘中選直徑超過剩餘超直徑之半的 \(I_2\) ；依此類推。用區間的三倍膨脹 \(3I_k\) 覆蓋被剔除者：任何被剔除的 \(I\) 原可選而未選，必與某個更長的 \(I_k\) 相交，且 \(m(I) \le 2 m(I_k)\) 的構造保證 \(I \subseteq 5 I_k\) 型的膨脹覆蓋（精確常數依版本而定， \(\mathbb{R}\) 上取 \(3\) 或 \(5\) ）。 \(\blacksquare\)

為何重要：覆蓋引理把「逐點的極限行為」（微分定理中的局部平均）轉譯為「測度的覆蓋控制」（弱型不等式）。Vitali 1905 年為此發明的技巧，經 Hardy–Littlewood（1930）發展成極大函數理論，成為整個調和分析（10.2）的方法論核心——覆蓋、膨脹、極大算子三件套，全部源自本節的微分定理。

分佈導數的預告#

絕對連續性在現代分析中的延續生命是弱導數： \(F\) 絕對連續 \(\iff\) \(F\) 的分佈導數是 \(L^1\) 函數。Sobolev 空間（第 10 章）正是把「導數是可積函數」這個想法推廣到多變元與更一般的可測結構：

一維的 Sobolev 空間理論在本節已經完成；第 10 章做的是多維推廣。

與其他章節的關聯#

• 承 5.3：Cantor 函數反例在本節獲得最終解釋；完備化觀點延伸為「微分理論的完備化」。
• 承 6.1： \(L^1\) 的絕對連續性（積分的小測度控制）是定義 7.1.1 的來源。
• 承 7.2（下節）：一般情形的證明需要 Jordan 分解把 \(F\) 拆成遞增部分。
• 啟 8.3：Radon–Nikodym 定理是本節證明的核心引擎（抽象版本）。
• 啟 10.1：Sobolev 空間 \(W^{1,p}\) 是絕對連續性的多維後裔。
• 機率論：分佈函數絕對連續 \(\iff\) 隨機變數有密度（Radon–Nikodym 導數）；Cantor 分佈則是「奇異連續分佈」的標本。

本節要點#

1. 絕對連續：任意多個小區間的總函數變化受總長控制；強於一致連續，弱於 Lipschitz。
2. Vitali–Lebesgue 定理：絕對連續 \(\iff\) 不定積分 \(\iff\) Newton–Leibniz 成立。
3. Lebesgue 微分定理：「積分平均值 \(\to f\) 」a.e.，證明範式（稠密逼近 + 極大算子）開創調和分析。
4. Cantor 函數：連續、遞增、導數 a.e. 為零、卻非絕對連續——分界標本。
5. 一維 \(W^{1,1}\) = 絕對連續函數類；通往 Sobolev 空間。