依测度收敛.pdfVIP

§４.4 依测度收敛 改造积分定义的目的一是为了扩展可积范围，二是为了使得操作更方便。对 n (R)积分而言，积分与极限交换顺序需要验证一个较为苛刻的条件：“f (x)在E 上一致收敛于f(x)”，将“一致收敛”削弱为“处处收敛”甚至“几乎处处收 敛”是一种思路，在此介绍另一种削弱“一致收敛”条件的方法。 ∀ 0 从集合论的角度讲：“f (x)在E上一致收敛于f(x)”是指 σ＞0，ョN n 0 ＞0，当n＞N 时，E[|f (x)－f(x)|≥σ]＝φ，之所以我们认为“一致收敛” n 条件苛刻，就在于它要求E[|fn (x)－f(x)|≥σ]从某项以后永远为空集。能否 改成允许不空，甚至允许为正测度集，但必须满足 mE[|fn (x)－f(x)|≥σ]→0(n→＋∞) 呢？ 这就导致了一个新的收敛概念的产生。 定义４.３.１ 设f(x)，f (x)(n＝1,2,...)为在E上几乎处处有限的可测 n ∀ ∀ 0 0 函数，并对 σ＞0， ε＞0，ョN ＞0，当n＞N 时，mE[|f (x)－f(x)|≥σ] n ＜ε， 即对∀ σ＞0，有 lim mE[|f (x)－f(x)|≥σ]＝0，则称函数列{f (x)} n n n→∞ n→∞ 在E 上依测度收敛于f(x)，记为f (x)⇒f(x)于E。 n n→∞ 一致 ⇒ 显然，若f (x)→ f(x)于E，则f (x) f(x)于E。 n n 定理４.4.１ (Lebesgue定理)设mE＜＋∞，f(x)，f (x)(n＝1,2,... )为 n n →∞ 在E上几乎处处有限的可测函数，且f (x)→ f(x) a.e于E，则 n n→∞ f (x)⇒f(x)于E。 n ∞ ∞ ∞ 1 证明 因为E[f (x)−af(x)]＝U I U E[|f (x)－f(x)|≥ ] n