黎曼积分与勒贝格积分的区别与联系

1黎曼积分与勒贝格积分的区别与联系数学系1302班第五组07樊萌12韩鸿林19兰星21李鸿燕45王堃51武相伶54许小亭57杨莉69赵志阳2黎曼积分与勒贝格积分的区别与联系黎曼积分和勒贝格积分定义的比较1、黎曼积分定义：设xf在ba,上有界,对ba,做分割,bxxxaTn10,其中令iixxxfM,sup,iixxxfm,inf,iiixxx1,11iiniixxms11iiniixxMS,若有dxsdxSbaba则称xf在ba,上黎曼可积.2、勒贝格积分定义：,0,作Myyymn10,,其中1iiyy,M,m分别为xf在E上的上界和下界,令iiiyxfyxE1,,ni,2,1若iniimEy110lim存在,则xf勒贝格可积.3、一般的可测函数的积分定义为:设在可测集E上可测,若记0,maxxfxf，0,minxfxf,则有xfxfxf,若dxxfE,dxxfE_不同时为,则xf在E上的积分确定且dxxfdxxfdxxfEEE.4、简单函数的勒贝格积分定义:设xf是可测集E上的非负简单函数,于是有对E的划分iE,ni2,1,xf在iE上的取值为ic,则iEniicxf1,定义xf的勒贝格积分为iniiEmEcdmxf1,若dmxfE,则称xf在E上勒贝格可积.5、非负可测函数的勒贝格积分定义:取E上的非负简单函数列xfn,对任意的3Ex,xfn都收敛于xf,则xf在E上勒贝格可积其积分为dmxfdmxfEEnnlim.对一般的函数由于xfxfxf,则dmxfdmxfdmxfEEE.若左端的两个积分值都有限时,称xf在E上勒贝格可积.勒贝格积分是对黎曼积分的推广,所以黎曼可积的函数一定勒贝格可积,但勒贝格可积的函数不一定黎曼可积.黎曼积分与勒贝格积分存在条件的比较黎曼可积的条件㈠黎曼可积的条件必要条件定义在ba,上的xf黎曼可积的必要条件是xf在ba,上有界.注任何黎曼可积的函数必有界,但有界函数不一定黎曼可积.㈡黎曼可积的充分必要条件1、设xf是定义在ba,上的有界函数,则xf黎曼可积的充分必要条件为xf在ba,上的黎曼上积分等于黎曼下积分.即设xf在ba,上有界,bxxxaTn10为对ba,的任一分割,其中令iixxxfM,sup,iixxxfm,inf,iiixxx1,11iiniixxms,11iiniixxMS,ni,2,1有dxsdxSbaba.2、设xf是定义在ba,上的有界函数,则xf黎曼可积的充分必要条件为0,总存在某一分割T,使得4iiiiniimMwxw1.3、设xf是定义在ba,上的有界函数,则xf黎曼可积的充分必要条件为0,总存在某一分割T,使得TsTS成立.4、定义在ba,上的函数xf黎曼可积的充分必要条件为xf在ba,上的一切间断点构成一个零测度集.注这说明黎曼可积的函数时几乎处处连续的.勒贝格可积条件1、设xf是定义在可测集E上的有界函数,则xf在E上勒贝格可积的充要条件为0,总存在E的某一分割D,使得iiimEw.2、设xf是定义在可测集E上的有界函数,则xf在E上勒贝格可积的充要条件为xf在E上勒贝格可测.3、设xf在ba,上的黎曼反常积分存在,则xf在ba,上勒贝格可积的充要条件为xf在ba,上的黎曼反常积分存在,且有babadxxfdmxf,.4、设xfn为E上的可测函数列,xfn在E上的极限函数几乎处处存在,且MdxxfEn,则xf在E上勒贝格可积.5、设xf是是定义在可测集E上的连续函数,则xf在E上勒贝格可积的充要条件为xf在E上勒贝格可测.黎曼积分与勒贝格积分的性质比较黎曼积分的性质51、（线性性）若xf,xg是定义在ba,上黎曼可积函数,则xgxf,xgxf,xgxf也在ba,上黎曼可积.注dxxgdxxfdxxgxfbababa,但dxxgdxxfdxxfxgbababa.2、（区域可加性）设有界函数xf在ca,,bc,上都黎曼可积,则xf在ba,上也黎曼可积,且有dxxfdxxfdxxfbccaba.3、（单调性）若xf,xg是定义在ba,上黎曼可积,且xgxf,则dxxgdxxfbaba.4、（可积必绝对可积）若xf在ba,上黎曼可积,则xf在ba,上也黎曼可积,且有dxxfdxxfbaba.注其逆命题不成立.5、若xf在ba,上黎曼可积,则在ba,的任意内闭子区间ba,,上也黎曼可积.且其积分值不会超过在ba,上的积分值.6、若xf是ba,上非负且连续的函数,若有010dxxf,则xf在ba,上恒等于零.7、若xf,xg是ba,上的黎曼可积函数,则xgxfM,max,xgxfm,min在ba,上也黎曼可积.8、若xf在ba,上黎曼可积,xf1在ba,上有定义且有界,则xf1也在ba,上黎曼可积.勒贝格积分的性质61、（有限可加性）设xf是有界可测集E上的可积函数,KnkEE1,KE等均可测且两两互不相交,则有dxxfdxxfdxxfdxfnEEEE21x.2、对于给定的可测函数xf,xf与xf的可积性相同且dxxfdxfEEx.3、(单调性)若xf,xg在E上勒贝格可积,且xgxf几乎处处成立,则dxxgdxfEEx.4、xf是E上的非负可积函数,则xf在E上是几乎处处有限的.5、xf是E上的非负可测函数,若xf在E上几乎处处等于0,则0xdxfE.6、(零测集上的积分)若0mE,则0dxxfE.7、xf是E上的勒贝格可积函数,0xf在E上几乎处处成立,则0xdxfE.8、设xf在E上可测,若存在非负函数xg在可测集E上勒贝格可积,xgxf几乎处处成立,则xf在可测集E上勒贝格可积.9、xf在可测集E上勒贝格可积,A是E的可测子集,则xf在A上也勒贝格可积.且其积分值不会超过在E上的积分值.10、设xf在E上可测,则0xdxfE的充要条件是0xf在E上几乎处处成立.11、设xf,xg均在E上勒贝格可积,则xgxfM,max,xgxfm,min也在E上勒贝格可积.12、若xf与xg在E上几乎处处相等,则xg也可积,且dxxgdxxfEE.13、设xf在可测集E上勒贝格可积函数,则其不定积分是绝对连续函数14、设xf为可测集E上勒贝格可积函数,则存在绝对连续的函数xg,使得xg导7函数在E上几乎处处等于xf.黎曼积分与勒贝格积分相关定理的比较与黎曼积分相关的定理⒈若函数列xfn在区间I上一致收敛,且每一项都连续,则其极限函数xf也在I上连续.⒉（可积性）若函数列xfn在区间I上一致收敛,且每一项都连续,dxxfdxxfbannnbanlimlim.⒊（可微性）设xfn为定义在ba,上的函数列,若bax,0为xfn的收敛点,且xfn的每一项在ba,上都有连续的导数,xfn在ba,上一致收敛,则xfdxdxfdxdnnnnlimlim.⒋有界收敛定理设xfn是定义在ba,上的黎曼可积函数.⑴baxnMxfn,,2,1.⑵xf是定义在ba,上的黎曼可积函数.且xfxfnnlim.则有dxxfdxxfbabannlim.与勒贝格积分相关的定理⒈（勒维定理）设可测集E上的可测函数列xfn满足如下条件:xfxf210,xfxfnnlim,则xfn的积分序列收敛于xf的积分dxxfdxfEnnElimx.⒉（勒贝格控制收敛定理）设可测集E上的可测函数列xfn满足如下条件:⑴xfn的极限存在,xfxfnnlim.⑵存在可积函数xg使得NnExxgxfn,,那么xf可积,有8dxxfdxfEnnElimx.⒊设mE,E上的可测函数列xfn满足如下条件:⑴NnExxgxfn,,,xg可积.⑵xfn依测度收敛于xf,那么xf可积,有dxxfdxfEnnElimx.⒋设xfn是ba,上的增函数列,且有xfnn1在ba,上收敛,则xfdxdxfdxdnnnn11.