实变函数4.4.ppt

第四节 可测函数的收敛性（续） 各种收敛定义 叶果洛夫定理的证明 对引理、叶果洛夫定理及Lebesgue定理的证明的说明 对引理、叶果洛夫定理及Lebesgue定理的证明的说明 注：a.叶果洛夫定理的逆定理成立，无论mE+∞或mE=+∞， 注: b.叶果洛夫定理中条件mE+∞不可少 注：c.叶果洛夫定理中的结论meδ不能加强到me=0 注：c.叶果洛夫定理中结论meδ不能加强到me=0 设fn(x)= x n , x∈(0,1）,则fn(x) 处处收敛于f(x)=0，但fn(x)不一致收敛于f(x) ，即使去掉任意一零测度集，在留下的集合上fn(x)仍不一致收敛于f(x) 。 依测度收敛但处处不收敛 依测度收敛与点点收敛 Riesz定理的证明 依测度收敛的等价描述 ⒋依测度收敛的性质（唯一性和四则运算） 设 {fn} 与 {gn} 是E上几乎处处有限的可测函数列, 于E， 于E, 则 于E 条件mE+∞对(3)来说不可少 * * 第四章 可测函数 依测度收敛: 去掉某个小（任意小）测度集，在留下的集合上一致收敛 几乎一致收敛: 去掉某个零测度集，在留下的集合上处处收敛 几乎处处收敛: 几乎处处收敛与几乎一致收敛（叶果洛夫定理） 引理：设mE+∞，fn ，f在E上几乎处处有限且可测， 设mE+∞，fn ，f在E上几乎处处有限且可测， （Lebesgue定理） 设mE+∞，fn ，f在E上几乎处处有限且可测， 引理：mE+∞ 对引理、叶果洛夫定理及Lebesgue定理的证明的说明 Lebesgue定理的证明 叶果洛夫定理的证明 Lebesgue定理的证明 叶果洛夫定理的证明 引理：mE+∞ 下证明 由(3)推出(2) Lebesgue定理的证明 叶果洛夫定理的证明 引理：mE+∞ 下证明 由(4)推出(3) 注：叶果洛夫定理的逆定理成立 几乎一致收敛: 去掉某个小（任意小）测度集，在留下的集合上一致收敛 几乎处处收敛: 去掉某个零测度集，在留下的集合上处处收敛 另外显然 fn(x) 在 上点点收敛于f(x) 所以 fn(x) 在E上a.e.收敛于f(x) 证明：由条件知 ,存在可测集 使 且 fn(x) 在 En上一致收敛于f(x) ，当然fn(x) 在En 上点点收敛于f(x) 叶果洛夫定理的逆定理 不几乎一致收敛:去掉任意小（适当小）测度集，在留下的集合上任不一致收敛 几乎一致收敛:去掉某个小（任意小）测度集，在留下的集合上一致收敛 n 例 在R+上处处收敛于 f(x)=1 ,但fn不几乎一致收敛于f于R+  1-δ 去掉一小测度集合 (1-δ,1),在留下的集合 上一致收敛， 但去掉任意零测度集， 在留下的集合上仍不 一致收敛。 例：函数列fn(x)=xn n=1,2,…,在(0,1)上 处处收敛到f(x)=0, 但不一致收敛； 说明：去掉任意一个零测度集e，留下的集合 (0,1)-e仍然以1为聚点从而可找到E-e中一点列 {xn}, 使得 收敛到1，故： 从而E-e 上fn(x)不一致收敛于f(x) 叶果洛夫定理 mE+∞ Lebesgue定理 mE+∞ 叶果洛夫 逆定理 收敛间的关系 0 1 f1 f6 0 1/4 ? 3/4 1 0 1/4 ? 3/4 1 0 1/4 ? 3/4 1 0 1/4 ? 3/4 1 f7 f5 f4 0 ? 1 f3 0 ? 1 f2 0 1/8 1/4 ? 1 0 1 0 ? 1 0 1/4 ? 3/4 1 0 1/8 1/4 ? 1 叶果洛夫定理 mE+∞ Lebesgue定理 mE+∞ 叶果洛夫 逆定理 子列 Riesz定理