计算以下极限。请说明你的答案。
|
我们将使用控制收敛定理。首先,注意到对于 和 ,
因此,
并且该函数属于,其中
.
因此,根据LDCT(Lebesgue Dominated Convergence Theorem,勒贝格控制收敛定理),
如果 存在,则根据定义,。因此,我们需要证明这个极限存在并且等于。
然后根据绝对连续性的,。
由于是连续的,那么对于任意,存在某个,使得对于,。
因此,
.
同样的论证给出了一个下界,总的来说
。因此,极限存在(即可微),差商趋于。
令为上非负的勒贝格可积函数。用表示上的勒贝格测度。
(i) 证明,对于每个,存在一个,使得
(ii) 证明,对于每个,存在一个,使得对于每个可测子集 如果,则
|
(i) 固定大于零的 epsilon。然后,考虑集合 Sn={x ∈ [0,1]:n-1 ≤ f(x) < n}。f 在 Sn 上的积分的偏和构成一个单调递增的实数序列,其上界为 f 在 [0,1] 上的有限积分。
因此,该序列收敛,并且序列的尾部,即 f 在集合 {x ∈ [0,1]:f(x) ≥ n} 上的积分,对于某个 n 必须最终小于 epsilon。
(ii) 固定大于零的 epsilon。根据 (i) 部分,存在某个常数 c,使得给定集合 A={x ∈ [0,1]:f(x) ≥ c},f 在 A 上的积分小于 epsilon/2。在 A 的补集(在 [0,1] 中),f 上界为 c,因此任何测度小于 epsilon/2c 的集合产生的积分值都小于 epsilon/2。
如果 m(A) 不为零,则将 delta 取为 m(A) 和 epsilon/2c 的最小值。给定 [0,1] 中任何可测集 E,其中 m(E) 小于 delta,则在 A 中的部分和在 Ac 中的部分的积分值都最多为 epsilon/2,因此 f 在 E 上的积分值最多为 epsilon。
如果 m(A)=0,则 f 在 [0,1] 上几乎处处有界,我们只需将 delta 取为 epsilon/c。