欢迎来到人人文库网! | 帮助中心 人人文库renrendoc.com美如初恋!
人人文库网
首页 人人文库网 > 资源分类 > PDF文档下载

第五章 Lebesgue积分理论.pdf

  • 资源大小:250.80KB        全文页数:24页
  • 资源格式: PDF        下载权限:游客/注册会员/VIP会员    下载费用:6
游客快捷下载 游客一键下载
会员登录下载
下载资源需要6

邮箱/手机号:
您支付成功后,系统会自动为您创建此邮箱/手机号的账号,密码跟您输入的邮箱/手机号一致,以方便您下次登录下载和查看订单。注:支付完成后需要自己下载文件,并不会自动发送文件哦!

支付方式: 微信支付    支付宝   
验证码:   换一换

友情提示
2、本站资源不支持迅雷下载,请使用浏览器直接下载(不支持QQ浏览器)
3、本站资源下载后的文档和图纸-无水印,预览文档经过压缩,下载后原文更清晰   

第五章 Lebesgue积分理论.pdf

第五章LEBESGUE积分理论80第五章LEBESGUE积分理论本章定义了可测函数的LEBESGUE积分,并讨论了新积分的性质、计算方法及其与旧RIEMMAN积分的关系,在条件相当弱相对RIEMMAN相应定理条件中的一致收敛而言的条件下证明了积分的极限定理,并利用积分的极限定理获得了RIEMMAN可积的本质特征;最后研究了重积分与累次积分的关系。51LEBESGUE积分的定义及其基本性质有了第四章的准备之后,就可以根据对可测集上定义的可测函数F先定义大、小和SD,F=NI1YIMEY1IFYI,SD,FNI1Y1IMEY1IFYI然后分别规定DSUPSD,F、DINFSD,F为上、下积分值,且进一步证明二者相等,从而定义新积分并讨论新积分的性质。这既是LEBESGUE创立新积分的原始思路,也是传统教材介绍LEBESGUE积分定义的普遍方法。然而在第四章研究可测函数的结构时,我们发现函数可测的实质是函数正、负部下方图形可测,再加之由数学分析我们已经知道对连续函数而言R积分值是函数曲线与X轴,X=A,X=B所围的X轴上、下方图形面积的代数和,现遵循此基本思路直接定义新积分概念。定义511若FX为可测集E上的非负可测函数,则称MG,EF为F在E上的LEBESGUE积分值,记为LEFDX,也简称MG,EF为F在E上的积分值,并简记EFDX。若FX为可测集E上的一般可测函数,且EFDX=MG,EF,EFDX=MG,EF至少有一个有限,则称FX在E上存在积分值,并规定积分值为EFDX=EFDX-EFDX=MG,EF-MG,EF;如果-∞<EFDX<+∞,则称F在E上可积。ZEONPDFDRIVERTRIALWWWZEONCOMTWDOCUCOMPDFTRIALWWWPDFWIZARDCOM第五章LEBESGUE积分理论81注511此处作“EFDX,EFDX至少有一个有限”的限制在于保证不出现∞-∞的无意义表达式。注512L积分定义有三大优点定义简洁、直观明了,不需大、小和概念,不必考虑函数是否有界,定义域测度是否有限。如何具体计算积分值呢1若F为可测集E上的非负简单函数,则FX=CIX∈EII1,2,3,,N,EI∩EJ≠ΦI≠J,从而F在E上的积分值为MG,EF=NI1CIMEI例511DINICHNI函数DX=}01|{E0}1,0|{E121中的无理数为中的有理数为XXXXXX可积,且EDDX=1ME1+0ME2=0。2若FX为可测集E上的非负可测函数,则存在E上的非负简单函数列{ΦNX}满足0≤ΦNX≤Φ1NX,ΦNX→FXN→∞,则显然GNG1N,且G,EF=NLIMG,EN,从而由测度的外极限定理知F在E上的积分值为MG,EF=NLIMMG,EN=NLIMEΦNDX当我们按定理421方法构造简单函数列{ΦNX}时,MG,EN便是F在分划TNE=121NNKEK下的小和SF,TN,即EFDX=NLIMMG,EN=NLIMSF,TN。这与定义R积分的分割、求和、取极限三大步骤基本相似。区别在于R积分直接将定义域分成区间,L积分可能是通过将值域分成区间后反过来将定义域分成有限个不一定是区间的集合。3若FX为可测集E上的一般可测函数,则按2)分别求出EFDX,EFDX从而获得EFDX,显然测度有限的可测集E上定义的ZEONPDFDRIVERTRIALWWWZEONCOMTWDOCUCOMPDFTRIALWWWPDFWIZARDCOM第五章LEBESGUE积分理论82有界可测函数均为可积函数。以上三大步骤,不仅说明了LEBESGUE积分的可操作性,也是在证明一系列积分性质时所通常采取的循序渐进的方法。定理511设FX在E上有积分值,则对任意实数Α,ΑFX在E上也有积分值,且EΑFDXΑEFDX1证明10当Α≥0时,分三种情形证明之。A若FX为E上的非负简单函数,1式显然成立。B若FX为E上的非负可测函数,则存在E上的非负简单函数列{ΦNX}满足ΦNX≤Φ1NX,ΦNX→FXN→+∞,EΑFDX=NLIMEΑΦNDX=NLIMΑEΦNDX=ΑNLIMEΦNDX=ΑEFDX,即1式成立。C若FX为一般可测函数,利用B及ΑF=ΑF,ΑF=ΑF即得EΑFDX=EΑFDX-EΑFDX=ΑEFDX-ΑEFDX=ΑEFDX20当Α<0时,利用B及ΑF=-ΑF,ΑF=ΑF即得EΑFDX=EΑFDX-EΑFDX=ΑEFDX-ΑEFDX=ΑEFDX证毕定理512设FX,GX在E上可积,则FXGX也在E上可积,且EFGDX=EFDX+EGDX2证明A若FX,GX为E上非负简单函数,则2式显然成立。B若FX,GX为E上的非负可测函数,则存在简单函数列ZEONPDFDRIVERTRIALWWWZEONCOMTWDOCUCOMPDFTRIALWWWPDFWIZARDCOM第五章LEBESGUE积分理论83{ΦNX}、{ΨNX}满足0≤ΦNX≤Φ1NX,ΦNX→FXN→+∞,0≤ΨNX≤Ψ1NX,ΨNX→GXN→+∞,从而ΦNX+ΨNX≤Φ1NX+Ψ1NX,且ΦNX+ΨNX→FX+GXN→+∞,EFGDX=NLIMEΦN+ΨNXDX=NLIMEΦNDX+EΨNDX=NLIMEΦNDX+NLIMEΨNDX=EFDX+EGDX,即2式成立。值得注意的是对非负函数而言,只须可测就足以保证2式成立。C若FX,GX为E上的一般可积函数,则FG≤F+F+G+G从而G,EGFG,EGGFF,故MG,EGF≤MG,EGGFF<+∞,即F+G在E上可积,同理F+G在E上可积。F+G=F+G-F+G=F-F+G-G,移项得F+G+F+G=F+G+F+G由B得EF+GDX+EFDX+EGDX=EFDX+EGDX+EFGDX故EF+GDX-EF+GDXZEONPDFDRIVERTRIALWWWZEONCOMTWDOCUCOMPDFTRIALWWWPDFWIZARDCOM第五章LEBESGUE积分理论84=EFDX-EFDX+EGDX-EGDX即EF+GDX=EFDX+EGDX证毕。推论511设FX,GX在E上可积,则对任意Α、Β∈R,ΑFXΒGX也在E上可积,且EΑFΒGDX=ΑEFDXΒEGDX3定理5131设FX在E上可积,则F在E的任意一个可测子集E1上可积。2(有限可加性)若FX在E1,E1上均可积,其中E1、E2为E的互不相交的可测子集,且E=E1∪E2,则FX在E上可积,且EFDX=1EFDX+2EFDX4证明1因为G,EF={X,Y|X∈E,0≤Y<FX={X,Y|X∈E1,0≤Y<FX∪{X,Y|X∈EE1,0≤Y<FX=G,1EF∪G,1EEF于是1EFDX=MG,1EF≤MG,EF=EFDX<∞同理1EFDX=MG,1EF≤MG,EF=EFDX<∞故FX在E1上可积。2若FX在E1,E2上均可积,则令F1X=21E0EXXXFF2X=21EE0XXFX显然,F1,F2均在在E上可积,由定理2知ZEONPDFDRIVERTRIALWWWZEONCOMTWDOCUCOMPDFTRIALWWWPDFWIZARDCOM第五章LEBESGUE积分理论85EF1X+F2XDX=EF1XDX+EF2XDX即EFDX=1EFDX+2EFDX。证毕定理514①若ME=0,则在E上定义的函数皆可积,且EFDX=0②设FX=GXAE于E,则FX与GX有相同的可积性,且EFDX=EGDX4③(单调性)若FX,GX在E上可积,且FX≤GXAE于E,则EFDX≤EGDX5特别地,若M≤F≤M,ME∞,则MME≤EFDX≤MME④(绝对可积性)设FX在E上可积,则|FX|在E上可积,且|EFDX|≤E|F|DX6证明①设FX在E上非负,则由推论412知FX在E上可测,当0≤ΦNX≤Φ1NX,ΦNX→FXN→∞时,对任意N有EΦNXDX0,故F在E上可积且EFXDX0。②不妨设FX在E上可积,则FX在E1=EF=G,E2=EF≠G上均可积。则G在EF=G上可积,又MEF≠G=0,故GX在E2=EF≠G上可积,从而G在E=E1∪E2上可积。且EFDX=1EFDX+2EFDX=1EGDX+2EGDX。正是由于此结论,有关积分的命题,遇到几乎处处成立的条件时,都不妨当成处处成立来证明③因为GX=FX+GX-FX,由定理512知EGDX=EFDX+EG-FDX≥EFDX。④因为|FX|=F+F,所以|FX|可积。又因为ZEONPDFDRIVERTRIALWWWZEONCOMTWDOCUCOMPDFTRIALWWWPDFWIZARDCOM第五章LEBESGUE积分理论86|FX|≤FX≤|FX|,故-E|F|DX≤EFDX≤E|F|DX,即|EFDX|≤E|F|DX。证毕。注意绝对可积性对RIEMAN广义积分是不成立的。正因为如此,才有条件可积与绝对可积之分。定理515(积分唯一性)若在E上非负可测,且EFDX=0,则F=0AE于E证明因为0=EFDX≥N1EFFDX≥N1MEF≥N1≥0,故MEF≥N1=0,而EF>0=1NEF≥N1,故MEF>0=0,于是F=0AE于E证毕定理516若FX在E上可积,则F在E上几乎处处有限证明因为E|F|DX≥NEFFDX≥NME|F|≥N,所以0≤M|F|N0FDENNX,而EF=∞=1NE|F|≥N,由内极限定理知ME|F|=∞=NLIMME|F|≥N0证毕定理517积分绝对连续性若FX在E上可积,则对Ε>0,ョΔ>0,当可测集AE,且MA<Δ时,有|AFDX|<Ε。证明1若FX为简单函数,则令M=MAX{|CI||I1,2,,N},对Ε>0,ョΔ=M,当AE,且MA<Δ时,|AFDX|≤A|F|DX|<MM<Ε2若FX为E上的一般可积函数,则|FX|为E上的非负可积函数,ZEONPDFDRIVERTRIALWWWZEONCOMTWDOCUCOMPDFTRIALWWWPDFWIZARDCOM

注意事项

本文(第五章 Lebesgue积分理论.pdf)为本站会员(abingge)主动上传,人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知人人文库网(发送邮件至[email protected]或直接QQ联系客服),我们立即给予删除!

温馨提示:如果因为网速或其他原因下载失败请重新下载,重复下载不扣分。

关于我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服客服 - 联系我们

网站客服QQ:2846424093    人人文库上传用户QQ群:460291265   

[email protected] 2016-2018  renrendoc.com 网站版权所有   南天在线技术支持

经营许可证编号:苏ICP备12009002号-5