实变函数论6-微分与不定积分2-单调函数的可微性3：勒贝格定理

魏尔斯特拉斯曾经给出过处处连续而无处可导的函数的例子，但是单调函数却有下面十分深刻的性质.

定理（勒贝格）

设 $f(x)$ 为 $[a,b]$ 上的单调函数，则

1. $f(x)$ 在 $[a,b]$ 上几乎处处存在导数$f^{\prime }(x);$
2. $f^{\prime }(x)$ 在 $[a,b]$ 上可积；
3. 如果 $f(x)$ 为增函数，有${\int }_a^b{f}^{\prime }(x)\mathrm{d}x⩽f(b)-f(a).$

证明
不妨设 $f(x)$ 为增函数.

设 $g(x)=f(x)+x,$ 显然 $g(x)$ 在 $[a,b]$上为严格增函数，且 $g(x)$ 与 $f(x)$ 有相同的可导性.设

E = { x ∣ g ′ ( x ) 不存在 } , E = \left\{ x \mid g ^ { \prime } ( x ) 不 存 在 \right\} , E={ x∣g′(x)不存在},

于是对任何点 $x_0\in E,$ 总有两个列导数$D_{1}g\left(x_0\right)$ 与$D_{2}g\left(x_0\right)$ 使$D_{1}g\left(x_0\right)\ne D_{2}g\left(x_0\right),$不妨设$D_{1}g\left(x_0\right)<D_{2}g\left(x_0\right),$这 时必有两个非负有理数 $p,q$ 使

$$D_{1}g\left(x_0\right)<p<q<D_{2}g\left(x_0\right),$$

令集合 E p q = { x 0 ∣ D 1 g ( x 0 ) < p < q < D 2 g ( x 0 ) } , E _ { p q } = \left\{ x _ { 0 } \mid D _ { 1 } g \left( x _ { 0 } \right) < p < q < D _ { 2 } g \left( x _ { 0 } \right) \right\} , Epq​={ x0​∣D1​g(x0​)<p<q<D2​g(x0​)},易知

$$E=\bigcup _{p,q}{E}_{pq}.$$

由引理知

$$q{m}^{\ast }{E}_{pq}⩽m^{\ast }g\left(E_{pq}\right)⩽p{m}^{\ast }{E}_{pq}.$$

因为 $q>p,$ 所以 $m^{\ast }{E}_{pq}=0,$ 故 $mE=0,$ 所以$f(x)$ 在 $[a,b]$ 上 $a.e.$ 有导数（包括无限导数在内).设

$$g_n(x)=n\left[f\left(x+\frac{1}{n}\right)-f(x)\right],$$

此外当 $x⩾b$ 时令 $f(x)=f(b),$ 由上面知，$g_n(x)\to f^{\prime }(x)a.e.$ 于$[a,b],$ 由于 $f(x)$ 可测，所以 $g_n(x),f^{\prime }(x)$ 及$\left|f^{\prime }(x)\right|$ 都可测.由法图引理和 $f(x)$的单调性，便得

∫ a b ∣ f ′ ( x ) ∣ d x ⩽ lim ⁡ ‾ n → ∞ ∫ a b ∣ g n ( x ) ∣ d x = lim ⁡ n → ∞ ∫ a b g n ( x ) d x = lim ⁡ ‾ n → ∞ [ n ∫ a + 1 n b + 1 n f ( x ) d x − n ∫ a b f ( x ) d x ] = lim ⁡ ‾ n → ∞ [ n ∫ b b + 1 n f ( x ) d x − n ∫ a a + 1 n f ( x ) d x ] ⩽ lim ⁡ ‾ n → ∞ [ f