可测函数定义及简单性质1.docxVIP

补充:特征函数 定义1 设X是非空全集 ， , 称 为集合A的特征函数. 显然的充分必要条件是A=B . 例如：取，，则特征函数如图 图1-13-1 特征函数 定理1 （1）； （2） ； （3）.特别 时 ； （4） ； （5） ； （6） ； （7） 设 是任一集列，则 ； （8） 存在， 且当极限存在时， . 证明 仅证（3），（7）. ； （3） 任意，.当时， ； 当 时， ； 同理； 当 时，有 . （7） 设 是任一集列，则 ； （7） 先证 任意，存在使，故 ，从而.又由特征函数定义知，所以； 当 ，存在自然数N，，故 , ，而，所以也有，故 . 再证 任意时，存在自然数N，，故 ,从而，而，所以； 当时，.由下限集的定义知,存在无穷多个,使于是,从而,所以,因此 . 第三章 可测函数 为了建立新的积分即Lebesgue积分，我们需要介绍一类比连续函数更为广泛的重要函数——可测函数，这类函数与连续函数有着密切的联系. 首先我们拓广函数的概念，以下我们提到的函数都是指定义在中某点集上的实值函数，且允许它取值±∞.另外，我们规定： (+∞)+（+∞）=+∞，（-∞）+（-∞）=-∞， 对于任意实数a，总有a+(+∞)=(+∞)+a=+∞，a+(-∞)=-∞， 对于b0，c0，b·(±∞)=±∞，c·(±∞)= ∞，(±∞)·（±∞）=+∞， （+∞）·（-∞）=