跳轉到內容

馬里蘭大學分析資格考試/2012年8月真題

來自Wikibooks,開放世界中的開放書籍

計算以下極限。請說明你的答案。

我們將使用控制收斂定理。首先,注意到對於

因此,

並且該函式屬於,其中

.

因此,根據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。

華夏公益教科書