第三章 可测函数.doc

第三章 可测函数 为了引进新的积分，我们还需要引进一类重要的函数即可测集上的可测函数，这类函数一方面与数学分析中的连续函数有着密切的联系，另一方面比连续函数更为广泛、应用价值更大. 这里我们需要强调，今后所提到的函数都是指定义在中某点集上的单值实函数，且允许它的值可以取±∞（±∞也称为非正常实数，通常的实数称为有限实数或实数）.另外，我们规定： (+∞)+（+∞）=+∞，（-∞）+（-∞）=-∞， 对于任意实数a，a+(+∞)=(+∞)+a=+∞，a+()=-∞， 对于b0，c0b·(±∞)=±∞，c(±∞)= ∞，()·（±∞）=+∞， （+∞）·（-∞）=（-∞）·（+∞）=-∞，0·（±∞）=（±∞）·0=0， 对，，对，， 但（+∞）-（+∞），（±∞）+（∞），（-∞）-（-∞）均无意义. §1 可测函数的定义及简单性质 可测函数的定义方法很多，本节，我们将采用从简单到复杂的方法定义可测函数，即先给出简单的可测函数，然后分析这些函数的测度特性从而归纳出一般可测函数的定义. 一、可测函数的定义及等价定义 1．简单函数 定义1 设为一个可测集，为定义在上的实函数，如果 （1）=，其中为两两不交的可测集， （2）在每个上=，= ，亦即， 其中表示的特征函数，则称为上的简单函数. 显然= 及 = 均为其定义域上的简单函数. 注 只有当可测集的分解为有限不交可测分解，且在每个小可测集上的取值为常数时，才是上的简单函数. 可以证明，可测集上的两个简单函数的和、差及乘积仍为上的简单函数，且当时，也是上的简单函数。另外，若是G上的函数，是可测集上的简单函数，且 ，仍为上的简单函数. 定义 设为上的非负实函数, 集合{}称为在上的下方图形, 记为 . 例 设为可测集上的非负简单函数,即,其中, 为两两不交的可测集, 则 为可测集, 且. 证明 不难证明 ,其中也互不相交. 而 为中的可测集, 且 , 所以 . 2．非负可测函数 定义2 设为可测集，为上非负函数，如果存在一列单调递增的非负简单函数列{}即0，则称为上的非负可测函数或称在上非负可测. 显然可测集上的非负简单函数自身是非负可测的. 下面用一个定理来刻划非负可测函数的测度特性. 定理1 设为可测集上的非负函数，则在上非负可测的充要条件是实数，都是中的可测集. 证明 必要性 若在上非负可测，则存在上一列单调递增的非负简单函数列{}，使 = 因为实数，上的简单函数，易证是可测集（证明留给读者）， 所以 为可测集. 充分性 若实数，均为可测集，而 (其中)，也为可测集，任取自然数， 记 ，， 显然=且可测，且两两不交，定义 则为上非负简单函数，且不难证明 ， 即单调递增， 下证= ，. 事实上，，，，，则存在自然数,使,从而当时,，证毕. 3．一般可测函数 定理1表明可测集上的非负可测函数可用对任意实数，的可测性来刻划. 一般地， 定义3 设是定义在可测集上的实函数，如果实数， 是可测的，则称为上的可测函数，或称在上可测. 下面给出一般可测函数的几种等价定义. 定理2 设是可测集上的实函数，则下列各条件是等价的 （1）实数，是可测集， （2）实数，是可测集， （3）实数，是可测集， （4）实数，是可测集. 证明 等价性只要注意到下面的集合关系立即可得 ， ， ， . 推论 如果在上可测，则（1）] ]均可测. （2）实数，均可测. 证明 （1）因 ， . （2）因. . 区间上的连续函数及单调函数都是可测函数（证明留给读者）. 定义4 设是定义在上的函数，当 ，则称在处相对于连续。如果在上的每一点都相对于连续，则称在上是连续的. 例2 如果为可测集，为上的连续函数，则在上可测. 证明 ，由的连续性知，存在的某邻域，使 ，令 所以 所以 ，而为开集，从而可测. 二、可测函数的简单性质 定义5 设是一个与集合中的点有关的命题，如果存在， 使得且在上恒成立，则称在上几乎处处成立， 记为成立于. 例3 [0，1]上的Dirichlet函数D(x)= ，由于有理点集为可数集从而为零测集，所以，于[0，1]. 例4 设{}，{}均为可测集上的实函数， 若 ， 则称在上几乎处处收敛于，记为 ， . 例5 设为定义在可测集上的实函数，若，则称在 上几乎处处有限. 易证，若在上几乎处处有限，则在可测的充要条件是对任意实数，为可测集. 定理3 若，上几乎处处相等，则当其中一个在上可测时，另一个也在上可测. 证明 因为实数， ]只相差一个零测集. 此定理表明任意改变在一个零测集上的函数值不改变函数的可测性