实变函数与泛函分析5.2-5.4.docVIP

wangwhzk@163.com §5.2非负简单函数的勒贝格积分 定义 设为可测集，为E上一个非负简单函数，即E表示为有限个互不相交的可测集之并，而在每个上，取非负常值，也就是说 , 这里是上的特征函数. 在E上的勒贝格积分（简称L积分）定义为 定理1 设为可测集，为E上一个非负简单函数.我们有 对于任意的非负实数c, ; 设A和B是E的两个不相交的可测子集，则 设是E的一列可测子集，满足 ①, ② 则 定理2 设为可测集，和都是E上的非负简单函数.则 （i）; (ii)对于任意的非负实数，有 . §5.3非负可测函数的勒贝格积分 定义 设为可测集，是E上一个非负可测函数， 在E上的勒贝格积分定义为 . 显然，如果，则称f(x)在E上勒贝格可积. 定理1 设为可测集，为E上一个非负可测函数.我们有 若mE=0，则 若，则f(x)=0 a.e.于E； 若，则 a.e.于E； 设A和B是E的两个不相交的可测子集，则 . 定理2 设为可测集，和都是E上的非负可测函数.我们有 若a.e.于E，则，这时，若在E上L可积，则也在E上L可积； 若 a.e.于E，则；特别地，若 a.e.于E，则. 定理3（列维Levi）设为可测集，是E上的一列的非负可测函数.当时对于任一自然数n，有，令，，则 . 定理4 设为可测集，和都是E上的非负可测函数，都是非负实数，则 . 特别地， 定理5（逐项积分定理）为可测集，是E上的一列的非负可测函数，则 . 定理6【法图（Fatou）引理】为可测集，是E上的一列的非负可测函数，则 . §5.4一般可测函数的勒贝格积分 定义 为可测集，为E上的可测函数.令 则和都是E上的非负可测函数，当时 若和中至少一个有限，则称f在E上积分确定，称为f在E上的勒贝格积分，简称L可积. 定理1 设为可测集，我们有 若但，则E上的任何实函数f都在E上L可积且； 若，则，即a.e.于E； 设f在E上积分确定，则f在E的任一可测子集A上也积分确定，又若,这里A和B都是E的可测子集且，则 ； 设f在E上积分确定且 a.e.于E，则g也在E上积分确定且 ； 设f和g都在E上积分确定且 a.e.于E，则 特别地若且 a.e.于E，则； 设f在E上L可积，则也在E上L可积，且； 设f是E上的可测函数，g是E上的非负可积函数且 a.e.于E，则f也在E上L可积且. 定理2 设为可测集，设f和g都是E上的L可积函数，则 对于任意的，在E上L可积且 在E上L可积且 对于任意的在E上L可积，且 定理3（积分的绝对连续性）设为可测集，,则对于任意的.存在.使得对于任意的可测集，只要，就有 定理4（积分的可数可加性）设为可测集，,这里每个都是可测集且时，设f在E上积分确定，则 定理5（勒贝格控制收敛定理）设为可测集，是E上的一列可测函数.F是E上的非负L可积函数，如果对于任意的自然数n，a.e.与E且a.e.于E，则 （i）； （ii）. 定理6 设为可测集，都是E上的可测函数，F是E上的非负可积函数，如果a.e.与E且时，则 (i) ; (ii) ； 定理7 设为可测集，是E上的一列L可积函数.如果正项级数收敛，则函数项级数在E上a.e.收敛，其和函数在E上L可积，且 定理8 设为可测集，是上的是函数.如果对于任意的作为x的函数在E上L可积，对于a.e.的，作为t的函数在上可导且，这里F是E上某个非负L可积函数，则作为t的函数在上可导，且 .