![数学分析9.3可积条件_第1页](http://file4.renrendoc.com/view/49edd65072665e0888ed69b685d16c77/49edd65072665e0888ed69b685d16c771.gif)
![数学分析9.3可积条件_第2页](http://file4.renrendoc.com/view/49edd65072665e0888ed69b685d16c77/49edd65072665e0888ed69b685d16c772.gif)
![数学分析9.3可积条件_第3页](http://file4.renrendoc.com/view/49edd65072665e0888ed69b685d16c77/49edd65072665e0888ed69b685d16c773.gif)
![数学分析9.3可积条件_第4页](http://file4.renrendoc.com/view/49edd65072665e0888ed69b685d16c77/49edd65072665e0888ed69b685d16c774.gif)
![数学分析9.3可积条件_第5页](http://file4.renrendoc.com/view/49edd65072665e0888ed69b685d16c77/49edd65072665e0888ed69b685d16c775.gif)
版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
数学分析9.3可积条件数学分析9.3可积条件数学分析9.3可积条件资料仅供参考文件编号:2022年4月数学分析9.3可积条件版本号:A修改号:1页次:1.0审核:批准:发布日期:第九章定积分3可积条件一、可积的必要条件定理:若函数f在[a,b]上可积,则f在[a,b]上必定有界.证:若f在[a,b]上无界,则对于[a,b]的任一分割T,必存在属于T的某个小区间△k,f在△k上无界.在i≠k的各个小区间△i上任取ξi,并记G=||.对任意大的正数M,存在ξk∈△k,使得|f(ξk)|>,于是有||≥|f(ξk)△xk|-||>·△xk-G=M.因此,对于无论多小的║T║,按上述方法选取的点集{ξi},总能使积分和的绝对值大于任何预先给出的正数,与f在[a,b]上可积矛盾.∴原命题得证.注:任何可积函数有界,但有界函数不一定可积。例1:证明狄利克雷函数D(x)=在[0,1]上有界但不可积.证:∵|D(x)|≤1,x∈[0,1],∴D(x)在[0,1]上有界.又对于[0,1]的任一分割T,由有理数和无理数在实数中的稠密可知,在属于T的任一小区间△i上,当取ξi全为有理数时,=1;当取ξi全为无理数时,=0.即不论║T║多么小,只要点集{ξi}取法不同(全取有理数或全取无理数),积分和有不同极限,∴D(x)在[0,1]上不可积.二、可积的充要条件设f在[a,b]上有界,T是[a,b]上的任一分割,则在每个△i存在上、下确界:Mi=f(x),mi=f(x),i=1,2,…,n.记S(T)=,s(T)=,分别称为f关于分割T的上和与下和(或称为达布上和与达布下和,统称为达布和),则任给ξi∈△i,i=1,2,…,n,有s(T)≤≤S(T).注:达布和与点集{ξi}无关,只与分割T有关.定理:(可积准则)函数f在[a,b]上可积的充要条件是:任给ε>0,总存在相应的一个分割T,使得S(T)-s(T)<ε.注:设ωi=Mi-mi,称为f在△i上的振幅,可记为ωif,则有S(T)-s(T)=,可记作.定理’:函数f在[a,b]上可积的充要条件是:任给ε>0,总存在相应的某一分割T,使<ε.可积的充要条件的几何意义:若f在[a,b]上可积,则如图,只要分割充分地细,包围曲线y=f(x)的一系列小矩形面积之和可以达到任意小;反之亦然.三、可积函数类定理:若f为[a,b]上的连续函数,则f在[a,b]上可积.证:f在[a,b]上连续,从而一致连续.∴任给ε>0,存在δ>0,对[a,b]中任意两点x’,x”,只要|x’-x”|<δ,就有|f(x’)-f(x”)|<.对[a,b]作分割T使║T║<δ,则在T所属的任一区间△i上,就能使f的振幅满足ωi=|f(x’)-f(x”)|≤,从而有≤=ε,原命题得证.定理:若f为[a,b]上只有有限个间断点的有界函数,则f在[a,b]上可积.证:设端点b是f在[a,b]上的间断点,任给ε>0,取δ’>0,满足δ’<<b-a,其中M与m分别为f在[a,b]上的上确界与下确界.当m=M时,f为常量函数,可积.当m<M时,记f在小区间△’=[b-δ’,b]上的振幅为ω’,则ω’δ’<(M-m)·=.又f在[a,b-δ’]上连续,所以可积.∴对[a,b-δ’]存在某个分割T’={△1,△2,…,△n-1},使得<.令△n=△’,则T={△1,△2,…,△n-1,△n}是对[a,b]的一个分割,对于T,有=+ω’δ’<+=ε.∴f在[a,b]上可积.同理可证f在[a,b]上存在其它间断点时,原命题仍成立.定理:若f是[a,b]上的单调函数,则f在[a,b]上可积.证:设f为增函数,且f(a)<f(b).对[a,b]的任一分割T,由f的增性,f在T所属的每个小区间△i上的振幅为ωi=f(xi)-f(xi-1),于是有≤=[f(b)-f(a)]║T║.可见,任给ε>0,只要║T║<,就有<ε.∴f在[a,b]上可积.注:单调函数有无限多个间断点仍可积.例2:试用两种方法证明函数f(x)=在区间[0,1]上可积.证法一:在[0,1]上任取两点x1<x2.若<x1<x2≤,n=1,2…,则f(x1)=f(x2);若<x1≤<x2≤或<x1≤<x2≤,n=1,2…,则=f(x1)<f(x2)=或=f(x1)<f(x2)=.同理可证,当x1<x2时,f(x1)≤f(x2),∴f在[0,1]上的单调增.∴f在[0,1]上可积.证法二:任给ε>0,∵=0,∴当n充分大时,有<.即f在[,1]上只有有限个间断点.∴f在[,1]上可积,且存在对[,1]的某一分割T’,使得<.∴对[0,1]的一个分割T,由f在[0,]的振幅ω0<0,可得=ω0+<+=ε.∴f在[0,1]上可积.例3:证明黎曼函数f(x)=在区间[0,1]上可积,且dx=0.证:任给ε>0,在[0,1]内使得>的有理点只有有限个,设它们为r1,r2…,rk.现对[0,1]作分割T={△1,△2,…,△n},使║T║<,将T中所有小区间分为{△i’|i=1,2,…,m}和{△i”|i=1,2,…,n-m}两类,其中{△i’}为含有点{ri|i=1,2,…,k}的所有小区间,其个数m≤2k.而{△i”}为T中所有其父不含{ri}的小区间.∵f在△i’上的振幅ωi’≤,∴≤≤·2k║T║<,又f在△i”上的振幅ωi”≤,∴≤<.∴=+<+=ε,∴f在区间[0,1]上可积.当取ξi全为无理数时,使f(ξi)=0,∴dx==0.习题1、证明:若T’是T增加若干个分点后所得的分割,则≤.证:依题意s(T’)≤s(T),S(T’)≥S(T).∴s(T’)-S(T’)≤s(T)-S(T),得证.2、证明:若f在[a,b]上可积,[α,β]⊂[a,b],则f在[α,β]上也可积.证:∵f在[a,b]上可积,∴任给ε>0,总存在相应的一个分割T,使得S(T)-s(T)<ε.又[α,β]⊂[a,b],∴在[α,β]上存在相应的一个分割T’,T’是T减少若干个分点所点后所得的分割,即有s(T’)≥s(T),S(T’)≤S(T).∴S(T’)-s(T’)≤S(T)-s(T)<ε,得证.3、设f,g均为定义在[a,b]上的有界函数.证明:若仅在[a,b]中有限个点处f(x)≠g(x),则当f在[a,b]上可积时,g在[a,b]上也可积,且dx=dx.证:记F=g-f,则F在[a,b]上只有有限个点不为零,∴F是[a,b]上可积.对[a,b]上任何分割T,取每个△i上的介点ξi,使F(ξi)=0,就有=0,∴==0.又对任意T,和每个△i上的任意一点ξi’,有=+=+.由F,f在[a,b]上可积,令║T║→0,等式右边两式极限都存在,∴等式左边的极限也存在,即g在[a,b]上可积,且=+=.4、设f在[a,b]上有界,{an}⊂[a,b],an=c.证明:若f在[a,b]上只有an(n=1,2,…)为其间断点,则f在[a,b]上可积.证:设c∈(a,b),f在[a,b]上的振幅为ω,任给ε>0(<min{c-a,b-c}),由an=c知存在N,使得n>N时,an∈U(c,),从而在[a,c-]∪[c+,b]上至多只有有限个间断点,即存在[a,c-],[c+,b]上的分割T’,T”使得<,<.记T为T’,
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 【正版授权】 ISO/IEC TS 7339:2024 EN Information technology - Cloud computing - Overview of platform capabilities type and platform as a service
- 【正版授权】 ISO 37111:2024 EN Sustainable cities and communities - Urban settlements - Guidance for a flexible approach to phased implementation of ISO 37101
- 2025年度大清包劳务合同(市政道路施工管理协议)
- 2025年度废铁进出口代理与运输服务合同
- 2025年度科技展会场地布置及维护服务合同
- 2025年起动脚蹬杆项目建议书
- 2025年超低频振动标准合作协议书
- 多元化教学方法实施方案计划
- 仓库工作总结计划指引
- 社会媒体策略的实践与回顾计划
- 《中国—东盟自由贸易区概论》新版
- 青岛版五四制五下数学课程纲要
- 稻盛和夫的哲学与阿米巴
- 冷库验证方案
- 行政事业单位会计实操
- 中国燃气建设工程竣工验收暂行规定
- 春尺蠖测报办法
- 降低钻孔灌注桩混凝土充盈系数QC
- 岩海动测仪器及软件使用说明1
- 家谱宗谱WORD模板
- 趣味历史(课堂PPT)
评论
0/150
提交评论