第17讲Lebesgue积分的性质.pptVIP

第17讲 Lebesgue积分的性质 目的：掌握一般可测函数积分的定义，熟悉它与广义Riemann积分的异同，掌握并能证明一般可测函数积分的性质。 重点与难点：一般可测函数的积分与广义Riemann积分的异同，可测函数积分的性质。 第17讲 Lebesgue积分的性质 基本内容： 一．有界可测函数积分的性质（续） 问题1：如果f(x)是区间[a,b]上的非负Riemann可积函数，且∫abf(x)dx=0, 则f(x)=0。如果将区间换成有限测度集，非负Riemann可积函数换成非负可测函数，结果如何？ 第17讲 Lebesgue积分的性质 问题2：如何用集合表示f(x)≠0的那些点？ 问题`3：问题1中，有没有可能f(x)≠0？ 第17讲 Lebesgue积分的定义与性质 定理3 设 f 是E上的有界可测函数, 若 且 则 证明：任取正数?，则由积分的可加性，得 第17讲 Lebesgue积分的定义与性质 由于 故 ，又由积 分的单调性得 于是 ，然而由假 设 ，所以 ， 第17讲 Lebesgue积分的定义与性质 特别地，对任意 进而 证毕。 第17讲 Lebesgue积分的性质 二．一般可测函数的积分 问题4：如果E是有限测度集，f(x)是E上的非负可测函数（可能无界），如何将有界可测函数的积分推广到这种情形？ 第17讲 Lebesgue积分的性质 （1）有限测度集上非负可测函数积分的定义 问题5：如果E是有限测度集，f(x)是E上的可测函数（可能无界，也未必非负），如何将有界可测函数的积分推广到这种情形？ 第17讲 Lebesgue积分的性质 与广义Riemann积分类似，Lebesgue积分也分无界可测函数以及定义域为无限测度集等情形。但其定义与广义Riemann积分有所不同。 定义2 设 是E上的非负可测函数，对每一正数m，令 第17讲 Lebesgue积分的性质 则 是E上的非负有界可测函数，由定理 1知每个 在E上可积，由于 是单调数列，故 总是存在的 （允许等于+?），记 ，称 为 在E上的积分，若 ，则 第17讲 Lebesgue积分的性质 称 为E上的Lebesgue可积函数。 ( 2 )有限测度集上一般可测函数积分的定义 问题6：如果mE=∞,如何定义E上非负可测函数的积分？ 第17讲 Lebesgue积分的性质 定义3 设 是E上的可测函数， 若 在E上的积分至少有一个不为 +?，则称 在E上有积分，并记 若 为有限数，则称 在E上 Lebesgue可积。 第17讲 Lebesgue积分的性质 容易看到，若 是E上有界可测函数， 则 与前面定义的积分是一致的，特 别应该注意的是，称 在E上Lebesgue 可积当且仅当其正部 及负部 都可积， 因此，显然有 在E上Lebesgue可积当 且仅当 在E上Lebesgue可积。这与 第17讲 Lebesgue积分的性质 Riemann积分大不相同，例如，若 则不难证明， 是[0，1]上的广义 Riemann可积函数，然而 不是广义 Riemann可积的。 第17讲 Lebesgue积分的性质 （3）无限测度集上非负可测函数的积分定义 问题7：如果mE=∞,如何定义E上一般可测函数的积分 第17讲 Lebesgue积分的性质 定义4 设 是E上的非负可测函数，对任 意正整数m，令 ，其中 ，显然 在每个Em 上有积分（积分值可能为+?），记 ,显然Jm是单调递增的，故极 限总是存在的。定义 在