第17讲Lebesgue积分的性质课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《第17讲Lebesgue积分的性质课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 17 Lebesgue 积分 性质 课件
- 资源描述:
-
1、目的:掌握一般可测函数积分的定义,熟悉它与广义Riemann积分的异同,掌握并能证明一般可测函数积分的性质。重点与难点:一般可测函数的积分与广义Riemann积分的异同,可测函数积分的性质。基本内容:一有界可测函数积分的性质(续)问题问题1 1:如果如果f(x)f(x)是区间是区间a,ba,b上的非负上的非负RiemannRiemann可积函数,且可积函数,且a ab bf(x)dxf(x)dx=0,=0,则则f(x)=0f(x)=0。如果将区间换成有限测度集,非。如果将区间换成有限测度集,非负负RiemannRiemann可积函数换成非负可测函数,可积函数换成非负可测函数,结果如何?结果如何
2、?问题问题2:如何用集合表示:如何用集合表示f(x)0的那些点?的那些点?问题问题3:问题问题1中,有没有可能中,有没有可能f(x)0?定理3 设 f 是E上的有界可测函数,若 且 则证明:任取正数,则由积分的可加性,得,mE,.0)(Eeaxf Edxxf,0)(。.0)(Eeaxf ExfxExfxEdxxfdxxfdxxf)(|)(|)()()(由于 故 ,又由积分的单调性得于是 ,然而由假设 ,所以 ,,.0Eeaf )(0)(xxfEdxxf )(|)(|)(|)(xfxExfxExfxmEdxdxxf ExfxmEdxxf)(|)(Edxxf0)(0)(|xfxmE特别地,对任意
3、进而证毕。,01)(|,nxfxmENn0 1)(|0)(|1 nnxfxEmxfxmE二一般可测函数的积分问题问题4 4:如果:如果E E是有限测度集,是有限测度集,f(x)f(x)是是E E上的上的非负可测函数(可能无界),如何将有非负可测函数(可能无界),如何将有界可测函数的积分推广到这种情形?界可测函数的积分推广到这种情形?(1)有限测度集上非负可测函数积分的定义问题问题5 5:如果:如果E E是有限测度集,是有限测度集,f(x)f(x)是是E E上的上的可测函数(可能无界,也未必非负),可测函数(可能无界,也未必非负),如何将有界可测函数的积分推广到这种如何将有界可测函数的积分推广到
4、这种情形?情形?与广义Riemann积分类似,Lebesgue积分也分无界可测函数以及定义域为无限测 度 集 等 情 形。但 其 定 义 与 广 义Riemann积分有所不同。定义2 设 是E上的非负可测函数,对每一正数m,令)(,xfmE ),(min)(mxfxfm 则 是E上的非负有界可测函数,由定理1知每个 在E上可积,由于 是单调数列,故 总是存在的(允许等于+),记 ,称 为 在E上的积分,若 ,则 mfmf Emdxxf)(Emmdxxf)(lim EmmEdxxfdxxf)(lim)(Emdxxf)()(xf Edxxf)(称 为E上的Lebesgue可积函数。(2)有限测度集
5、上一般可测函数积分的定义问题问题6 6:如果如果mEmE=,=,如何定义如何定义E E上非负可上非负可测函数的积分测函数的积分?)(xf定义3 设 是E上的可测函数,若 在E上的积分至少有一个不为 +,则称 在E上有积分,并记若 为有限数,则称 在E上Lebesgue可积。)(,xfmE ff,)(xf EEEdxxfdxxfdxxf)()()(Edxxf)()(xf 容易看到,若 是E上有界可测函数,则 与前面定义的积分是一致的,特别应该注意的是,称 在E上Lebesgue可积当且仅当其正部 及负部 都可积,因此,显然有 在E上Lebesgue可积当且仅当 在E上Lebesgue可积。这与)
6、(xf Edxxf)()(xf f f)(xf|)(|xfRiemann积分大不相同,例如,若则不难证明,是0,1上的广义Riemann可积函数,然而 不是广义Riemann可积的。0 x 010,1sin1)(xxxxf)(xf|)(|xf(3)无限测度集上非负可测函数的积分定义问题问题7 7:如果如果mEmE=,=,如何定义如何定义E E上一般可上一般可测函数的积分测函数的积分定义4 设 是E上的非负可测函数,对任意正整数m,令 ,其中 ,显然 在每个Em上有积分(积分值可能为+),记 ,显然Jm是单调递增的,故极限总是存在的。定义 在E上的积分为 )(xfmmSEE|mxRxSnm mE
7、dxxfJm)()(xf)(xf若 为有限数,则称 在E上Lebesgue可积。(4)无限测度集上一般可测函数积分的定义定义5 设 是E上的可测函数,对任意正整数m,同定义4,记 mEmmmEdxxfJdxxf)(limlim)(Edxxf)()(xf)(xfmE若 与 至少有一个不为+,则称 在E上有积分并记若 均为有限数,则称 在E上Lebesgue可积。mmEEmmdxxfJdxxfJ)(,)(EEdxxfdxxf)(,)(mmJlim mmJlim EEEdxxfdxxfdxxf)()()()(xf)(xf三可积函数积分的性质问题问题8 8:对对RiemannRiemann积分而言,积
8、分而言,f f与与|f|f|的的可积性是否相同?对可积性是否相同?对LebesgueLebesgue积分而言,积分而言,情形又如何?情形又如何?f与|f|的可积性可以证明:对E上任一非负可测函数f,有所以定义5中 的积分也可以定义为 mkkEmmEmEkmmmkdxxfdxxfdxxf)(lim )(lim)(limlim EEmmdxxfdxxfm)(lim)()(xf 从定义5不难看到,可积性与 的可积相同,即有定理4 设 是可测集E上的可测函数,则 在E上Lebesgue可积当且仅当 在E上Lebesgue可积。)(xf|)(|xf)(xf)(xf|)(|xf问题问题9 9:有限测度集上
9、有界可测函数的积分有限测度集上有界可测函数的积分性质能否推广到一般可测函数的积分情性质能否推广到一般可测函数的积分情形(包括有限测度集上的可测函数与无形(包括有限测度集上的可测函数与无限测度集上的可测函数)?限测度集上的可测函数)?定理2中的(i)(iv)对于一般可积函数也同样是正确的。其证明需实施一下极限手续。*定理5 如果E是可测集,则(i)当 在E上可测,在E上非负可积,时,也在E上可积,且)(xf)(xg)(|)(|xgxf)(xf证明 因为 ,故当时,有 EEdxxgdxxf)(|)(|)(|)(|xgxf Edxxg)(kkEEmmdxxgdxxf)(|)(|kEEdxxgdxxg
展开阅读全文