第14讲 依测度收敛课程.ppt

第14讲 依测度收敛 目的：理解依测度收敛概念，掌握Lebesgue定理与 Riesz定理。 重点与难点：Lebesgue定理与 Riesz定理及其证明。 第14讲 依测度收敛 基本内容： 一．依测度收敛定义 鲁津定理实际是说，任意可测函数都可以用连续函数在某种意义下逼近。我们可以将定理2改述成：若 是E上的可测函数，则对任意 ，存在 上的连续函数，使得 第14讲 依测度收敛 注意到 所以对任意n，有 进一步，对任意 ，有 取 ，则存在 上的连续函数 ，使 第14讲 依测度收敛 得 这种收敛性与前面的几乎处处收敛概念 不同的。我们称它为依测度收敛，具体说 来即下面的。 定义2 设E是可测集， 都是E上几乎处处有限的可测函数，如 第14讲 依测度收敛 果对于任意 ，都有 则称 在E上依测度收敛到 ，记作 下面的定理说明：几乎处处收敛蕴含依测度收敛。 第14讲 依测度收敛 二．Lebesgue定理 （1）??? Lebesgue定理的叙述 定理4（lebesgue定理） 设E是测度有限的可测集， 是E上几乎处处有限的可测函数，若 则必有 第14讲 依测度收敛 证明：由叶果洛夫定理，对任意 ，存在E的可测子集 ，使得 且 在 上一致收敛到 ，于是对任意 ，存在 ，当 时，有 于是 ，任 第14讲 依测度收敛 意 ，从而 由 的任意性立得 。证毕。 问题1：Lebesgue定理中E为有限测度集的条件可否去掉？为什么？ 第14讲 依测度收敛 问题2：Lebesgue定理的逆是否成立？举例说明。 （3）反例 定理4的逆一般是不对的，即依测度收敛不一定意味着几乎处处收敛，下面的例子说明了这一点。 第14讲 依测度收敛 例 设 ，对任意正整数k，将 区间k等分，并定义 令 第14讲 依测度收敛 于是 是E上的处处有限的可测函数。对任意 ，若 则 显然有 若 ，则当 是第k次等分 区间后所对应的函 第14讲 依测度收敛 数组中第i个函数时有 所以 注意到当 时， ，做 这说明 。然而，对任意 第14讲 依测度收敛 总有无穷多个函数在该点等于1，也有无穷多个函数在该点等于0，所以 在 上处处不收敛于0。 虽然几乎处处收敛强于依测度收敛，但我们可以从依测度收敛的函数序列中找一个几乎处处收敛的子序列。这就是著名的黎斯（Riesz）定理。 第14讲 依测度收敛 三．Riesz定理 （1）??? Riesz定理的叙述 *定理5（Riesz定理）设 是E上的可测函数，如果 ，则存在子序列 ，使得 （2）??? Riesz定理的证明 第14讲 依测度收敛 证明：首先设 。注意到对任何可测 函数序列 ，它不收敛到某个函数 的点 集是 因此我们只要找到 的一个子序列 使得 第14讲 依测度收敛 即可。这等价于说对任意的k，有 对每个k，由 ，知 故对任意i及k存在 ，当 时，有 第14讲 依测度收敛 特别地 由于此处 都是任意的，所以在上述不等式中可以取 ，即 如果必要，还可以使 满足 第14讲 依测度收敛 于是对任意的k，只要 ，就有 ，从而 这说明 第14讲 依测度收敛 因此 进而 第14讲 依测度收敛 所以 下设 ，令 则 是测度有限的可测集，且对 任意 。由前面的证明，对 ，存在 的子序列 ，使 第14讲 依