实变函数论教案第四章.docVIP

第四章 可 测 函 数 为了建立新的积分，我们已经对中的一般集合定义了测度概念. 在本章中我们将定义可测函数的概念，讨论可测函数的性质. 我们会看到，可测函数类是包含连续函数类的一种范围相当广泛的函数类. 这个函数类对于四则运算是封闭的，而且对于极限运算也是封闭的. 我们还要讨论可测函数与连续函数的关系，从而进一步研究可测函数的结构. 最后研究可测函数的几种不同类型的收敛概念及其相互关系，使我们对可测函数有较深刻的理解. §1 可测函数及其性质 教学目的：使学生了解可测函数的原始定义及等价命题，掌握其运算性质。 本节重点：可测函数的定义及性质，几乎处处的概念。 在本书引言中指出，定义新的积分需要研究什么样的函数，使得对任何实数，点集都有“长度”，即都是可测集. 可测函数的概念就是由此产生的. 因为本章讨论的函数可以取值，所以在给出可测函数概念之前，我们要介绍有限函数的概念和包含在内的实数运算的规定. 设，称是上的有限函数，是说对任意的，函数值都是有限实数. 包含在内的实数运算作如下规定： （i），； （ii）对任意的有限实数，，； （iii）对任意的，， ，， ，； （iv）， . 而，，，，，，，，认为是没有意义的. 在一般情况下，也是不允许的. 定义4.1.1 设是定义在可测集上的函数，如果对任何有限实数，都是可测集，则称为定义在上的可测函数，或者说，在上可测. 例1 区间上的连续函数及单调函数都是可测函数. 证明 若是上的连续函数，对任意的实数，往证是开集，任取，则，由连续函数的保号性知，存在，使得当时，有，所以. 所以是的内点. 因此是开集. 从而是可测集，于是在上可测. 若是上的单调函数，不妨设是上的单调增加函数，对任意的实数. 当时，是空集，因而是可测集； 当时，，也是可测集. 若时，令，则 当时，； 当时，. 因此，当时，也是可测集. 综合以上，是上的可测函数. 定理4.1.1 设是可测集上的函数，则（i），（ii），（iii），（iv）是等价的. （i）是上的可测函数； （ii）对任何实数，是可测集； （iii）对任何实数，是可测集； （iv）对任何实数，是可测集. 证明 （i）（ii），因为对任意的实数，. 所以若在上可测，则是可测集，因而是可测集. （ii）（iii），因为对任意的实数，. 所以若是可测集，则是可测集. （iii）（iv），因为对任意的实数，，所以若对任意的实数，是可测集，则是可测集. （iv）（i）若对任意的实数，是可测集，则是可测集，所以由可测函数定义知是上的可测函数. 在本节开头，我们曾提出什么样的函数，使得对任意的实数，点集都是可测集. 有了可测函数的定义，我们有下面的结果： 若是上的可测函数，则对任何实数，点集是可测集. 反之，如果是可测集上的有限函数，若对任何实数，点集是可测集，则是上的可测函数. 证明 因为，所以若是上的可测函数，则和都是可测集，因而是可测集. 反之，如果是可测集上的有限函数，若对任何实数，是可测集，则因为 . 所以是可测集. 由定理4.1.1知是上的可测函数. 推论 设在上可测，则对任何实数，是可测集，及也是可测集. 证明 因为，由于在上可测，由定理4.1.1知是可测集. 而 ；. 所以由定理4.1.1知和是可测集. 为了讨论中一般可测集上连续函数的可测性，我们给出中一般点集上连续函数的定义. 定义4.1.2 定义在上的实函数称为在连续，是说，如果有限，而且对于的任一邻域，总存在的某邻域，使. 即只要且时，就有. 如果在中每一点都连续，则称在上连续. 定理4.1.2 可测集上的连续函数是可测函数. 证明 对任意的实数，往证是可测集. 设，由连续函数局部保号性，存在的某邻域，使. 令，则 . 另一方面，显然有，因此，所以. 因此是可测集，因而是可测函数. 定理4.1.3 （i）设是上的可测函数，则在的任一可测子集上也可测； （ii）设是至多可数个可测集的并集，是上的函数，则在上可测的充分必要条件是在每个上可测. 证明 （i）设是可测集，因为对任意的实数，，所以是可测集，因而是上的可测函数. （ii）必要性. 若在上可测，由（i）知在每个上可测. 充分性. 设在每个上可测，因为对任意的实数，，所以是可测集，因而在上可测. 下面的定理说明可测函数类对四则运算是封闭的. 引理1 设与为上的可测函数，则与都是可测集. 证明 因为，所以只须证明是可测集. 设，则，存在有理数，使，即. 反之，若存在有理数，使，则. 设有理数全体为，则 . 由和是可测函数，等式右端是可测集，所以是可测集. 定理4.1.4 设和都是上的可测函数