|
計算以下極限。請說明你的答案。
|
我們將使用控制收斂定理。首先,注意到對於
和
,
因此,
並且該函式屬於
,其中
.
因此,根據LDCT(Lebesgue Dominated Convergence Theorem,勒貝格控制收斂定理),
如果
存在,則根據定義,
。因此,我們需要證明這個極限存在並且等於
。
然後根據絕對連續性的
,
。
由於
是連續的,那麼對於任意
,存在某個
,使得對於
,
。
因此,
.
同樣的論證給出了一個下界,總的來說
。因此,極限存在(即
可微),差商趨於
。
|
令 為 上非負的勒貝格可積函式。用 表示 上的勒貝格測度。
(i) 證明,對於每個 ,存在一個 ,使得
(ii) 證明,對於每個 ,存在一個 ,使得對於每個可測子集![{\displaystyle E\subseteq [0,1]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b078cdf9558058df2415f50711e0689bded6e223) 如果 ,則
|
(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。