第五章积分论课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《第五章积分论课件.ppt》由用户(ziliao2023)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第五 积分 课件
- 资源描述:
-
1、一、简单函数的积分一、简单函数的积分01001)()(dxxDLE有QxQxxD1,011,00)(例:对例:对Dirichlet函数函数0 10()()()()sup()()|(),EExf xLf x dxLx dxxE为 上的简单函数为f(x)在E上的Lebesgue积分二、有界可测集有界可测集E上上非负可测函数的勒贝格积分定义1.2.1 设f(x)为有界可测集E上的非负可测函数,定义定义定义1.2.2 设设m(E),f(x)是是E上的有界可测函数上的有界可测函数,且且 f(x).分割分割:=y1y2.yn=则函数则函数f(x)在在E上的上的L积分积分定义定义取极限:取极限:niiiEm
2、1)()(niiiniiiyyEm1110)()(max)()(limniiiEEmdmxfL10)()(lim)()(i yi-1,yi,Ei=E(yi-1 f yi)=x|yi-1 f(x)yi作乘积和式:作乘积和式:0abxycd iyiyi-1Ei1Ei2Ei3Ei4也称也称f(x)在在E上上L可积可积dxxfLdxxfLEE)()(,)()((要求 不同时为 )为f(x)在E上的Lebesgue积分(有积分)dxxfLdxxfLdxxfLEEE)()()()()()(定义1.2 设f(x)为E上的可测函数,定义1()f xE定理 设是定义在有界可测集 上的函数,()()f xELf
3、xE则在 上()可积在 上可测1(),iif xEyyR 证明:在 上可测1iiiEE yfy可测imE即存在1iiiiy mEy mE从而与存在max0iy所以当时11()0iiiiiiiy mEy mEyymE()Ef x dx所以存在2,mEfgE 定理 设与 在 上可积,则,(0)ffg f gfgEg在 上可积fELfEL推论若 在 上()可积,则 在 上任一可测子集上()可积()()bbaafa bRfa bLRf x dxLf x dx定理3若 在,上()可积,则 在,上()可积,且()()()L 积分的计算4()0f xEmE 定理 设在 上可积,且满足1()0;2()0Ef
4、xf x dx、()0.f xaeE则于()0.f xaeE则于,()0 xE f x 证明:因为110nEE fE fn 所以00001,()EE fEEEEn令则0fEfEE由于 在 上可积,则 在 上可测,于是可测0EEE而 可测,所以可测000=()()()EEE Ef x dxf x dxf x dx所以001mEn00100mEn由于,所以1100()nmE fmE fn所以=000mE f 所以0.faeE即于思考:本定理的逆命题是否成立?0.fEffaeE若 在 上可测,且,=0于,则()0Ef x dx 0,0.ffaeE证明:因为且于00mE f 所以00()()()EE
5、fE ff x dxf x dxf x dx于是0()0f xmE 推论 对于非负有界可测函数,()00.Ef x dxfaeE于4,fEAE定理 设 在 上可积,则对任意的可测集0lim()0AmAf x dx有()L这个性质称为积分的绝对连续性()()()f xf xK K证明:因为有界,不妨设为常数()()AAf x dxf x dxKmA于是0()0AmAf x dx当时,必有()0Af x dx 从而0lim()=0AmAf x dx即关于这个定理作以下两点说明:(1)()()0Rf x 在积分中,如果有界函数,且()000Ef x dxfmE必有或()0Lf x 在()积分中,如果
6、有界函数,且()00.0Ef x dxfaeEmE必有于 或(2)()()Lf xE对于积分,无论是定义在 上的任何0mEfE形式的有界函数,只要,在 上总是可积,()0Ef x dx 且,fEa b证明:因为 在 上有界,所以存在实数()xEaf xb 使得,有()EamEf x dxbmE于是0()0EmEf x dx由于,所以0,11(),()D x dxD x例 求其中为狄利克雷函数()00,1f xx解:令,()()=0.f xD xaeE于是于0 10 10 1()()()()0f xD x dxf x dxD x dx,0 10 1()=()0D x dxf x dx,所以()A
7、EAEx例2 设 为一可测集,为 的可测子集,1()=0AxAAxxEA是 的特征函数,即()AEx dx求EAE解:因为 可测,是 的可测子集,EA所以可测(),()AEAE AEA且有()()()AAAEAE Ax dxx dxx dx所以10mAmA AE本例表明,可测集 的测度等于它的特征函数在L上的()积分3例 已知黎曼函数1(,)()100pxp qqqR xxx为互质正数为无理数0,1()R x dx求()0,0,1()().e.f xxf xR x aE解:令,于是于10,10,10()()()0R x dxf x dxf x dx所以tan(ln)4(),()2 2cosxx
8、Ef xxx 为有理数例 设,为无理数()Ef x dx求()cos,(,),2 2g xx x 解:令()().f xg x aeE于2222()()cossin2EEf x dxg x dxxdxx所以350,1()xxxKEKf xexK例 设,为康托集,()Ef x dx求301(),10,1xPf xPxPx、设其中 为康托集,0,1()f x dx求6fAB例 设 是可测集、上的有界可测函数,试证:()()()()ABABABf x dxf x dxf x dxf x dxfAB证明:因为 是可测集、上的有界可测函数fAB所以 在、上可积(1)()0ABm AB若,则()()=()
9、=()()ABABABABf x dxf x dxf x dxf x dxf x dx于是(2)AB若()()()()=AABABAAABAB由于-且-()()=()()AAABABf x dxf x dxf x dx所以()()()()BABBABf x dxf x dxf x dx同理()()()()AABAABf x dxf x dxf x dx()()()AABBABABAB又()()AABBABAB且,两两不相交()()()=()()()ABAABBABABf x dxf x dxf x dxf x dx所以()()()()ABABABf x dxf x dxf x dxf x dx
展开阅读全文