绝对连续函数

形式陈述 ​

函数 $F:[a,b]\to \mathbb{R}$ 称为绝对连续，若对每个 $\epsilon >0$，存在 $\delta >0$，使任意有限族两两不交区间

$$(x_k,y_k)\subseteq [a,b]$$

只要

$$\sum _k(y_k-x_k)<\delta ,$$

就有

$$\sum _k|F(y_k)-F(x_k)|<\epsilon .$$

绝对连续函数满足：

1. $F$ 几乎处处可导；
2. $F^{\prime }\in L^1([a,b])$；
3. 对每个 $x\in [a,b]$，$$F(x)=F(a)+{\int }_a^x{F}^{\prime }(t)dt.$$

反过来，若 $f\in L^1([a,b])$，则

$$F(x)=c+{\int }_a^{x}f(t)dt$$

绝对连续，且 $F^{\prime }=f$ 几乎处处。因而

$$F\in AC([a,b])⟺F(x)=F(a)+{\int }_a^{x}f(t)dt\text{对某个 }f\in L^1.$$

直觉 ​

一致连续公理库一致连续Uniform continuity同一 δ 对定义域中所有点同时控制给定 ε。只控制单个短区间上的振幅，绝对连续还控制任意有限组短区间的总振幅。它禁止函数把总长度任意小的集合累积成固定大小的变化，因此函数的全部变化都能由可积导数恢复。

这正是把“积分定义的辅助函数”安全地求导所需的函数类。许多积分不等式证明先构造 $V(t)=c+{\int }_0^{t}f(s)ds$，随后使用 $V^{\prime }=f$ 几乎处处；隐含的桥梁就是绝对连续性。

例子与边界 ​

每个 Lipschitz 函数都绝对连续。函数 $F(x)=\sqrt{x}$ 在 $[0,1]$ 上绝对连续，虽然导数在 $0$ 附近无界，因为 $F^{\prime }(x)=1/(2\sqrt{x})$ 仍可积。

Cantor 函数连续、单调，且几乎处处导数为零，却从 $0$ 增长到 $1$；它不是绝对连续。这说明“连续 + 几乎处处可导 + 导数可积”仍不足以推出由导数积分恢复原函数。

绝对连续蕴含一致连续，但逆命题失败。定义依赖有限区间；在无界区间上通常采用局部绝对连续 $A{C}_{\mathrm{loc}}$，并另行控制全局积分。

推论与应用 ​

Lebesgue 积分公理库Lebesgue 积分Lebesgue integral从简单函数积分出发，按单调逼近定义非负、扩展值与可积函数的积分。把 $L^1$ 函数送到绝对连续的原函数。积分形式的 Grönwall 不等式、常微分方程解、Sobolev 空间的一维代表以及分部积分都依赖这一结构。

绝对连续性还是“函数的变化没有奇异部分”的表述。单调函数一般可分解为绝对连续部分、跳跃部分和奇异连续部分；Cantor 函数提供最后一类的典型边界。

参考资料

• Walter Rudin, Real and Complex Analysis, 3rd ed., McGraw-Hill, 1987, Chapter 7.
• H. L. Royden and P. M. Fitzpatrick, Real Analysis, 4th ed., Pearson, 2010, Chapter 7.
• Lawrence C. Evans and Ronald F. Gariepy, Measure Theory and Fine Properties of Functions, CRC Press, 1992, Chapter 3.