假设 是一个定义域为 的连续实值函数,并且 在每个有限区间 上绝对连续。 证明:如果 和 都在 上可积,那么

|
由于
对所有
都是 绝对连续的,

因此
![{\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)
由于
是可积的,即
,
和
存在。
假设为了矛盾,

那么存在
使得对于所有 

因为
是连续的。(在某一点,
将单调递增或递减到
。)这意味着
这与假设
是可积的,即
相矛盾。因此,

使用与上述相同的推理,

因此,

假设
(不失一般性,
)。那么对于小的正数
,存在某个实数
,使得对于所有
,我们有
。根据微积分基本定理,这给出
对于所有
。
由于
是可积的,这意味着对于任何小的正数
,存在一个
,使得对于所有
,我们有
。但是根据上面的估计,
这与
的可积性相矛盾。因此,我们必须有
.
假设 是定义在区间 上的一系列实值可测函数,并假设对于几乎所有的 , 。令 且 ,并假设对于所有的 , 。 (a) 证明 。
(b) 证明当 时, 。
|
根据范数的定义,

由于
,

根据 Fatou 引理,
这表明,取
次方根,

根据 Hölder 不等式,对于所有可测量的
,
其中 
因此,
那么,Vitali 收敛定理表明

假设 。证明 ,并且

|