假设 是一个定义域为 的连续实值函数,并且 在每个有限区间 上绝对连续。 证明:如果 和 都在 上可积,那么
|
由于 对所有 都是 绝对连续的,
因此
由于 是可积的,即 , 和 存在。
假设为了矛盾,
那么存在 使得对于所有
因为 是连续的。(在某一点, 将单调递增或递减到 。)这意味着
这与假设 是可积的,即 相矛盾。因此,
使用与上述相同的推理,
因此,
假设 (不失一般性,)。那么对于小的正数 ,存在某个实数 ,使得对于所有 ,我们有 。根据微积分基本定理,这给出
对于所有 。
由于 是可积的,这意味着对于任何小的正数 ,存在一个 ,使得对于所有 ,我们有 。但是根据上面的估计,
这与的可积性相矛盾。因此,我们必须有.
假设 是定义在区间 上的一系列实值可测函数,并假设对于几乎所有的,。令 且,并假设对于所有的,。 (a) 证明。
(b) 证明当 时,。
|
根据范数的定义,
由于 ,
根据 Fatou 引理,
这表明,取 次方根,
根据 Hölder 不等式,对于所有可测量的 ,
其中
因此,
那么,Vitali 收敛定理表明
假设。证明,并且
|