勒贝格微分定理

设${\displaystyle f\in \mathrm {L_{loc}^{1}} (\mathbb {R} ^{k})}$ 为实值或复值的局部可积函数，m为${\displaystyle \mathbb {R} ^{k}}$ 的勒贝格测度。那么${\displaystyle \mathbb {R} ^{k}}$ 中几乎处处的x都符合

${\displaystyle \lim _{r\to 0}{\frac {1}{m(B(x,r))}}\int _{B(x,r)}\left|f(y)-f(x)\right|dm(y)=0}$ 

使上式成立的点称为${\displaystyle f}$ 的勒贝格点。

因为这定理是关于函数的局部性质，不失一般性，可假设函数f定义在有界集合中，故f为可积函数。

定义

${\displaystyle (T_{r}f)(x)={\frac {1}{m(B(x,r))}}\int _{B(x,r)}\left|f(y)-f(x)\right|dm(y)}$ 

${\displaystyle (Tf)(x)=\limsup _{r\to 0}(T_{r}f)(x)}$ 

那么这定理就是对几乎处处的x有Tf = 0。只需证对任何y > 0，集合{Tf > y}的测度为零。

对连续函数，这定理显然成立。连续函数在${\displaystyle \mathrm {L} ^{1}(\mathbb {R} ^{k})}$ 中稠密，故此对任意正整数n，有连续函数g使得${\displaystyle \|f-g\|_{\mathrm {L} ^{1}}<1/n}$ 。

令${\displaystyle h=f-g}$ 。由于g连续，有Tg = 0。

用三角不等式有

${\displaystyle (T_{r}h)(x)\leq {\frac {1}{m(B(x,r))}}\int _{B(x,r)}\left|h\right|dm+|h(x)|}$ 

设${\displaystyle Mh=\sup _{r>0}{\frac {1}{m(B(x,r))}}\int _{B(x,r)}\left|h\right|dm}$ 。（Mh为h的哈代－李特尔伍德极大函数。）从上式得

${\displaystyle Th\leq Mh+|h|}$ 

因为${\displaystyle T_{r}f\leq T_{r}g+T_{r}h=T_{r}h}$ ，所以有

${\displaystyle Tf\leq Th\leq Mh+|h|}$ 

若Tf > y，则有Mh > y/2或者|h| > y/2。因此${\displaystyle \{Tf>y\}\subset \{Mh>y/2\}\cup \{|h|>y/2\}}$ 

由哈代－李特尔伍德极大不等式得

${\displaystyle m\{Mh>y/2\}\leq 3^{k}(2/y)\|h\|_{\mathrm {L} ^{1}}<3^{k}\cdot 2/(ny)}$ 

由积分的基本性质有

${\displaystyle m\{|h|>y/2\}y/2\leq \|h\|_{\mathrm {L} ^{1}}}$ 

故得

${\displaystyle m\{|h|>y/2\}\leq 2/(ny)}$ 

因此

${\displaystyle {\begin{aligned}&m\{Tf>y\}\\&\leq m\{Mh>y/2\}+m\{|h|>y/2\}\\&<2(3^{k}+1)/(ny)\end{aligned}}}$ 

因为上式对所有正整数n成立，从而知m{Tf > y}=0。定理得证。

• Rudin, Walter (1987), Real and complex analysis, International Series in Pure and Applied Mathematics (3rd ed.), McGraw-Hill.