| 假设  是一个定义域为  的连续实值函数,并且  在每个有限区间 ![{\displaystyle [a,b]\!\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ef1354dbfeea71ab05cf297ffc40786b7813474) 上绝对连续。 证明:如果
  和  都在  上可积,那么
 
 | 
由于  对所有
 对所有 ![{\displaystyle [a,b]\subset R^{1}\!\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4d1ecd2abe32a87cf37e258c408d3bfc7780587) 都是 绝对连续的,
 都是 绝对连续的,
 
因此
![{\displaystyle \int _{-\infty }^{\infty }f^{\prime }(x)dx=\lim _{a,b\rightarrow \infty }\int _{a}^{b}f^{\prime }(x)=\lim _{a,b\rightarrow \infty }[f(b)-f(a)]\!\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd1088a71901ca07c9f42c09a480536778799b37) 
由于  是可积的,即
 是可积的,即  ,
, 和
 和  存在。
 存在。
假设为了矛盾,
 
那么存在  使得对于所有
 使得对于所有 
 
因为  是连续的。(在某一点,
 是连续的。(在某一点, 将单调递增或递减到
 将单调递增或递减到  。)这意味着
。)这意味着
 
这与假设  是可积的,即
 是可积的,即  相矛盾。因此,
 相矛盾。因此,
 
使用与上述相同的推理,
 
因此,
 
假设  (不失一般性,
(不失一般性, )。那么对于小的正数
)。那么对于小的正数  ,存在某个实数
,存在某个实数  ,使得对于所有
,使得对于所有  ,我们有
,我们有  。根据微积分基本定理,这给出
。根据微积分基本定理,这给出
 对于所有
 对于所有  。
。
由于  是可积的,这意味着对于任何小的正数
 是可积的,这意味着对于任何小的正数  ,存在一个
,存在一个  ,使得对于所有
,使得对于所有  ,我们有
,我们有  。但是根据上面的估计,
。但是根据上面的估计,
 
这与 的可积性相矛盾。因此,我们必须有
的可积性相矛盾。因此,我们必须有 .
.
| 假设 是定义在区间 ![{\displaystyle [0,1]\!\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b26fc5fee30dada6f15cc080115cae582606d7f3) 上的一系列实值可测函数,并假设对于几乎所有的 ![{\displaystyle x\in [0,1]\!\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a5820a535671944261c3c9edd23e9a4419e10bd8) ,  。令  且  ,并假设对于所有的  ,  。 (a) 证明
  。
 (b) 证明当 时,  。 | 
根据范数的定义,
 
由于  ,
,
 
根据 Fatou 引理,
 
这表明,取  次方根,
 次方根,
 
根据 Hölder 不等式,对于所有可测量的 ![{\displaystyle A\subset [0,1]\!\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3eba4c09dc63090c0866c4aee1b18e7b4f24d4b) ,
,
 
其中 
因此,
那么,Vitali 收敛定理表明
 
| 假设 。证明  ,并且 
 
 | 
