Lebesgue积分的论述

泛函分析题目：Lebesgue积分的叙述学院：理学院专业：基础数学姓名：李晓玉日期：2015年12月23日目录摘要..........................................................................................................I引言.........................................................................................................1一、Lebesgue积分的定义.....................................................................2二、Lebesgue控制收敛定理..................................................................4三、黎曼积分与Lebesgue积分的关系.................................................5四、全连续函数.....................................................................................6参考文献.................................................................................................7ILebesgue积分的论述摘要：Lebesgue积分是Lebesgue在发现黎曼积分的缺陷后在黎曼积分定义的基础上扩张的一种新的积分方法，本文以Lebesgue积分的三种等价定义为主，Lebesgue控制收敛定理为辅来认识的Lebesgue积分，希望能对Lebesgue积分有个基础的认识，同时本文还简单介绍了一下全连续.关键词：Lebesgue积分、黎曼积分、全连续1引言：黎曼积分的概念与理论是数学史上非常重要的一部分，它作用于许多学科，比如常微分方程、复变函数论和概率论等课程中.但是黎曼积分有一个很大的缺点，就是黎曼可积函数列的极限并不一定是可积的，或者说黎曼可积函数类对极限运算是不封闭的.换句话说，黎曼可积函数对极限运算是不完备的.所以我们希望扩张黎曼可积函数类，即重新定义一种积分，它的可积函数类对极限是封闭的.也就是说，我们要给出的一种新的积分定义，这就是20世纪初Lebesgue引进的Lebesgue积分.2Lebesgue积分的论述一、Lebesgue积分的定义一般定义勒贝格积分的方法有三种，并且是互相等价的，下面会分别叙述并给予简单说明.定义1设)(xf是)(mEREn上的非负可测函数.我们定义)(xf是E上的勒贝格积分EnExxfxhRxhdxxhdxxf})(:)({sup)(),()(上的非负可测简单函数是，这里的积分可以是；若Edxxf)(，则称)(xf在E上是勒贝格可积的.xf为nRE上的可测函数，若积分EEdxxfdxxf)()(中至少有一个是有限值，则称EEEdxxfdxxfdxxf)()()(为)(xf是E上的勒贝格积分；当上式右端两个积分皆为有限时，则称)(xf是E勒贝格可积的（勒贝格可积又称L积分）.定义2设)(xf是)(mEREn上的有界可测函数.即存在1,RBA,使],[)(BAEf,若ByyyyADn210：是],[BA的任意分割，设)(max},,)(|{111iiniiiiyyExyxfyxE任取niyyiii,,2,1],,[1，作和iiimE1，如果存在一个常数J,使得对],[BA的任意分割和介点iL的任意选取，都有iiimE10lim存在，且JmEiii10lim,则称)(xf是E上可积的，且称该极限值为)(xf在E3上的L积分，记为Edxxf)(.定义3设)(xf是)(mEREn上的有界可测函数.作E的任意分割niiEED1:，其中iE为互不相交的非空可测子集.设)(inf),(supxfAxfBiiExiExi则D的大和及小和为iniiDiniiDmEAsmEBS11,若EEdxxfdxxf)()(，则称)(xf在E上是可积的，且称该共同值为)(xf在E上的L积分，记为Edxxf)(.关于勒贝格积分定义的说明(1)第一种定义说明)(xf在E上勒贝格可积|)(|xf在上E上勒贝格可积.而这对于黎曼积分确实不对的，例如：中的无理数为，中的有理数为]1,0[1-]1,0[,1)(xxxf这个函数在闭区间]1,0[不是黎曼可积的，但1|)(|xf在闭区间是黎曼可积的.(2)第二种定义是勒贝格本人最初的定义，也是弥补黎曼积分缺点的所在，黎曼积分要求函数在任意区间上的振幅不能太大，即函数不能太不连续.（3）第三种定义与一般的数学分析教材上的黎曼积分定义的形式非常相象，只是将区间],[BA分割成在小区间改成区间],[BA分割成可测子集；就是这一点改动，就形成了数学科学发展的一座里程碑.这种4定义便于将勒贝格积分同黎曼积分进行比较.综上所述，上面三种勒贝格积分定义各有其特色.二、Lebesgue控制收敛定理设qRE为可测集，1nnf为E上的一列可测函数.F是E上的非负L可积函数，如果对于任意的自然数n，xFxfn..ea于E且xfxfnnlim..ea于E，则(ⅰ)Enndxxfxf0lim；(ⅱ)EEnndxxfdxxflim.证明这个定理之前，先介绍法图引理.法图引理：设qRE为可测集，1nnf为E上的一列非负可测函数，则EEnnnndxxfdxxflimlim.证明令Exnkxfxgkn,:inf.则1nng是E上的一列非负可测函数且Ex时xfxgxgnnn110，于是EnnEnnnEnEnndxxfdxxgdxxgdxxflimlimlimlim.现在证明Lebesgue控制收敛定理证明(ⅰ)：显然f在E上可测且xFxf..ea于E，所以f在E上L可积，每个nf也在E上L可积.令xfxfxgnn，Ex，则ng在E上非负L可积，xFxgn20..ea于E且0limxgnn，..ea于E.因而02xgxFn..ea于E且xFxgxFnn22lim..ea于E.由法图引理：5dxxgxFdxxgxFdxxFEnnEnnE2lim2lim2dxxgdxxFdxxgdxxFEnnEEEnnlim22lim.所以Enndxxg0lim.由于0Enxg，故0limdxxgEnn.即Enndxxfxf0lim.(ⅱ)由(ⅰ)即得.Lebesgue控制收敛定理为积分与极限次序的交换所提供的充分条件有着广泛的作用.它是Lebesgue积分理论中最重要的结果之一.三、黎曼积分与Lebesgue积分的关系就一元函数讨论黎曼积分和Lebesgue积分的关系.在这里把一元函数xf在ba,上的黎曼积分记作dxxfRba，Lebesgue积分记作dxxfLba,.先给出有界函数xf在ba,上R可积的一个充要条件，然后讨论这两种积分之间的关系.设xf在ba,上的一个有界函数，bax,时Mxf.对于任意的自然数n，作ba,的分法bxxxaTnPnnnn10:，使得n时，0nT，这里nnininPixxT,,3,2,1:max1表示分法nT的最大区间长.令nininixxxxfM1:sup，nininixxxxfm1:inf,由数学分析中黎曼积分的相关知识可知，当n时,,1111dxxfxxmdxxfxxMbaPinininibaPininininn6这里dxxfba和dxxfba分别是xf在ba,上的达布上积分与下积分.四、全连续函数设xF为ba,上的有限函数，如果对任意0，存在0，使对ba,中互不相交的任意有限个开区间iiba,，ni,...,2,1，只要niiiab1，就有niiiaFbF1，则称xF为ba,上的全连续函数.设,,RXE为测度空间，E为互不相交的任意有限个开区间,...2,1，f为E上的可测函数，对任意的0，存在0，当Ee且e时，就有efd.不难证明全连续函数是一致连续函数，并且也是有界变差函数，满足利普希茨条件的函数是全连续函数.7参考文献[1]数学分析(上)[M].北京:高等教育出版社,2010.7.[2]数学分析(下)[M].北京:高等教育出版社,2010.7.[3]实变函数与泛函分析基础[M].程其襄.北京:高等教育出版社,2010.6.[4]实变函数论与泛函分析(下)[M].夏道行,吴卓人.北京:高等教育出版社,2010.1.