lebesgue测度报告通用

1、wordLebesgue测度【摘 要】本文首先介绍了Lebesgue个人经历和在测度方面的研究，之后介绍了Lebesgue可测集的一些性质，最后介绍了本文对Lebesgue测度的理解并尝试给出了一种对不可测集合举例的正面证明方法。【关键词】测 度 caratheodory导入法 不可测集合 正面证明 1.Lebesgue其人以及Lebesgue引入Lebesgue测度的动机11Lebesgue的成长道路亨利·勒贝格Henri Léon Lebesgue)，1875年6月28日生于法国的博韦；1941年7月26日卒于巴黎。数学家。勒贝格的父亲是一名印刷厂职工，酷爱读书，很有教

2、养在父亲的影响下，勒贝格从小勤奋好学，成绩优秀，特别擅长计算不幸，父亲去世过早，家境衰落在学校老师的帮助下进入中学，后又转学巴黎1894年考入高等师范学校1897年大学毕业后，勒贝格在该校图书馆工作了两年在这期间，出版了E波莱尔(Borel)关于点集测度的新方法的 函数论讲义 (Lecons sur la théorie des functions 1898)，特别是研究生R贝尔(Baire)发表了关于不连续实变函数理论的第一篇论文这些成功的研究工作说明在这些崭新的领域中进行开拓将会获得何等重要的成就，从而激发了勒贝格的热情从1899年到1902年勒贝格在南锡的一所中学任教，虽然工作

3、繁忙，但仍孜孜不倦地研究实变函数理论，并于1902年发表了博士论文“积分、长度、面积(Intégrale，longueur，aire)在这篇文章中，勒贝格创立了后来以他的名字命名的积分理论此后，他开始在大学任教(19021906在雷恩；19061910在普瓦蒂埃)，在此期间，他进一步出版了一些重要著作： 积分法和原函数分析的讲义 (Leconssur lintégration et la recherche des fonctions primitives，1904)； 三角级数讲义 (Lecons sur les séries trigonométri

4、ques，1906)接着，勒贝格又于19101919年在巴黎(韶邦)大学担任讲师，1920年转聘为教授，这时他又陆续发表了许多关于函数的微分、积分理论的研究成果勒贝格于1921年获得法兰西学院教授称号，翌年作为C假设尔当(Jordan)的后继人被选为巴黎科学院院士。12引入Lebesgue测度的目的19世纪以来，微积分开始进入严密化的阶段。1854年B黎曼(Riemann)引入了以他的名字命名的积分，这一理论的应用范围主要是连续的函数。随着K魏尔斯特拉斯(Weier-strass)和G康托尔(Cantor)工作的问世，在数学中出现了许多“奇怪的函数与现象，致使黎曼积分理论暴露出较大的局限性。几

5、乎与这一理论开展的同时(18701880年)，人们就巳经开展了对积分理论的改造工作。当时，关于积分论的工作主要集中于无穷集合性质的探讨，而无处稠密的集合具有正的外“容度性质的发现，使集合的测度概念在积分论的研究中占有重要地位。积分的几何意义是曲线围成的面积，黎曼积分的定义是建立在对区间长度的分割的根底上的。因此，人们自然会考虑到如何把长度、面积等概念扩充到更广泛的集合类上，从而把积分概念置于集合测度理论的框架之中。这一思想的重要性在于使人们认识到：集合的测度与可测性的推广将意味着函数的积分与可积性的推广。至此，Lebesgue引入了Lebesgue测度。实变函数论的核心内容是建立一种较Riem

6、ann积分而言，适用范围更广、使用操作更为简便的新的积分理论Lebesgue积分，但是介绍Lebesgue积分却不能象介绍Riemann积分那样，一开始就定义什么是Lebesgue积分，而是需要先引入测度和可测函数概念，并且要用足够的篇幅对它们进行讨论后才能开始定义Lebesgue积分。Riemann积分具有明显的直观性，它的几何意义是a，b上的非负连续函数与 轴所成平面曲边梯形的面积，因此，Riemann积分的定义以及一个函数的可积性，是与相应的平面图形面积如何确定以及面积是否存在密切相关的。于是，如果要建立能够适用于更大函数类的新的积分理论，首先需要把原有的面积概念加以推广，以使得更多的点

7、集能具有类似于面积性质的度量。如果我们把一般空间中的点集E的度量结果，称为E的测度，记作m(E)，那么实际上就定义了一种特殊的函数：自变量为点集E，函数值为测度m(E)。这样的函数称为集函数，不同的测度理论实际上就是针对点集定义的不同性质的集函数，换而言之，对点集采用不同的度量工具导致了不同的测度理论。历史上先后出现过多种测度理论。最早是19世纪80年代，GPeano提出点集的内、外测度的概念，接着1892年CJordan建立起Jordan可测集理论(其测度也称为容度)，EBorel在1898年的著作中引进了Borel集的概念，1910年Legesgue研究了其中的测度，决定性地推进了测度理论

8、的开展，也就是通常所说的Lebesgue测度。之后，在勒贝格测度理论的根底上还建立了勒贝格积分，它是黎曼积分的扩充。勒贝格对数学的主要奉献属于积分论领域，这是实变函数理论的中心课题。2.Lebesgue可测集的性质21可测集的定义假设对于任意的T属于Rn，有Caratheodory条件，那么称为Lebesgue可测集，此时的外测度称为的测度，记作。注：Lebesgue开始也是利用外测度与内测度相等定义可测集，但此方法对处理问题很不方便，故我们采用上述方法。22 Lebesgue可测集的性质2.2.1 设A是直线上的集合。如果对于任意的正数 > 0，存在闭集F和开集G满足：F A G 和

9、m(G F) < ，就称集合A是Lebesgue可测集，简称可测集。2.2.2 如果集合A是可测集，那么对于任意的 > 0，都存在闭集F A满足：m(F) > m(A) 事实上，由可测集的定义，存在闭集F和开集O满足：m(OF) < 。那么，m(F)+m(O F) m(O) m(A)，由此就得到所要的不等式。 设A是直线上的集合。如果m(A) = 0，那么称A是零测集。从可测集的定义，我们容易得到可测集的性质 引理1 如果A是可测集，那么A的余集Ac = R A也是可测集2 有限个可测集的并集是可测集；有限个可测集的交集是可测集3 两个可测集的差集是可测集4 零测集是可

10、测集；零测集的子集是可测集5 任何区间都是可测集证明： 1)：因为A是可测集，对于任意的 > 0，存在闭集F和开集G满足：F A G，且m(G F) < 。于是Fc Ac Gc，集合Gc是闭集，Fc是开集，并且m(Fc Gc) =m(G F) < ，所以Ac是可测集；2)：我们只要证明两个集合的情况。假设A1,A2是直线上的两个可测集，记A =A1 A2。由定义，对于任意的 > 0，分别存在开集O1,O2和闭集F1, F2满足：Fi Ai Oi(i = 1, 2)，并且：m(Oi Fi) < /2。令F = F1 F2,O = O1 O2，那么：F是闭集，O是开集

11、，满足：F A O。由于O F (O1 F1) (O2 F2)由外测度的次可加性，我们得到：m(O F) < 。利用de morgan公式，我们就得到：可测集的交集是可测集；3)：由A B = A Bc得到；4)：如果集合A是零测集，对于任意的 > 0，存在开集O使得：A O,m(O) < 。取闭集F = ，就得到A是可测集；5)：课本上给出了详细的证明，本文不再加以论证。 开集是可测集，闭集也是可测集。证明： 假设O是一个开集， 并且包含在一个有限的开区间(c, d)中。如果O =i(ai, bi)是O的构成区间分解，那么我们有：i(bi ai) d c < 因此对于

12、任意的 > 0，存在自然数N使得：i=N+1(bi ai) < 。对于每个(ai, bi)(i =1, 2, ,N)，我们取闭区间Fi = ai + /2i , bi /2i ，令F =Ni=1Fi，F是闭集且：m(O F) m(i=N+1Oi) + m(Ni=1Oi F)i=N+1(bi ai) +Ni=1m(Oi Fi) < 3对于一般的开集O =i(ai, bi)，我们可以在直线R上找到一列点cn (n Z)，使得：cn+1 cn 1，并且将开集O分解成一列互不相交的On (cn, cn+1)。例如，我们取c0 = a1，考虑集合I1 = i : (ai, bi) (c

13、0, c0 + 1) = ，显然1 I1，令d0 =sup bi, i I1，那么iI1(ai, bi) (c0, d0)。如果不存在ai d0，那么我们就取c1 =max d0, c0 + 1。否那么，令I = i, ai d0 , c1 = inf ai, i I，那么c1 c0 + 1。利用上面同样的方法考虑区间(c1, c1 + 1)，这样继续下去我们就得到所要的cn。如果O的构成区间中含有无界的区间(a,)或者(, b)，我们就把它们单独取出来，余下的每个On都是包含在一个有界的开区间中，因此存在闭集Fn On满足：m(On Fn) < 2|n|+2。这时F =nFn是闭集，并

14、且：m(O F) m(n(On Fn)n2|n|+2 < 。 如果F1和F2是直线上的两个互不相交的有界闭集，那么m(F1 F2) = m(F1) + m(F2)证明： 由于F1和F2两个互不相交的有界闭集，那么存在一个正数，对于任何长度小于或者等于的开区间至多只能与一个Fi相交。假假设不然，那么对于任何自然数n都存在一个开区间(an, bn), bn an < 1n，并且：(an, bn) Fi = ，于是存在xn F1, yn F2，同时xn, yn (an, bn)。由于xn和yn分别是有界闭集F1和F2中的点列，它们存在收敛子列xnk和ynk,假设： limkxnk = x

15、0 F1, limkynk = y0 F2，但是：|xnk ynk| bnk ank < 1nk 0，所以得到：x0 = y0 F1 F2，矛盾。因为：m(F1 F2) m(F1) + m(F2)，我们只要证明另外一个不等号就可以了。对于任意的 > 0，存在一个有界开集G F1 F2，满足：m(F1 F2) > m(G) 。将G分解成它的构成区间G =iI(ai, bi)，如果bi ai > 2，我们将它分解成有限个开区间的并，(ai, bi) =j(aji , bji )，使得：bji aji < /2。由于区间Iji 至多只能与一个Fi相交，将与F1相交的区间

16、的并记为G1，与F2相交的区间的并记为G2，那么有：F1 G1, F2 G2，并且：G1 G2 G,G1 G2 = 。所以，m(F1) + m(F2) m(G1) + m(G2) = m(G1 G2) m(G) m(F1 F2) + 2令 0，就得到：m(F1) + m(F2) m(F1 F2) 。 如果F1, F2, , Fn是直线上互不相交的有界闭集，那么：m(ni=1Fi) =ni=1m(Fi) 设F是闭集。如果它包含在有界开集G中，那么：m(G F) = m(G) m(F)证明： 对于开集G F，对于任意的 > 0，存在闭集F1 G F，使得m(F1) > m(G F) 而

17、F1和F是两个互不相交的有界闭集，由引理2。2。6得到：m(F1 F) = m(F1) + m(F)( m(G)所以，m(F) + m(G F) < m(F) + m(F1) + = m(F F1) + m(G) + 令 0，得到：m(F) + m(G F) m(G) 设A是直线上的有界集。如果对于任意的 > 0，存在一个闭集F A，使得m(F) > m(A) ，那么A是可测集。证明： 由于A是有界集，所以存在有界开集G,G A，并且：m(A) > m(G) / 2。由假定，存在闭集F A满足：m(F) > m(A) /2，所以：m(F) > m(A) /2

18、> m(G) 而对于有界开集G，由引理2.2.8得到：m(G F) = m(G) m(F)，所以m(G F) < 于是A是可测集。 。 设A1,A2,An是n个包含在某个有界区间中互不相交的可测集，那么m(ni=1Ai)=ni=1m(Ai)证明： 对于任意的 > 0，由可测集定义的注2。2。2，对于每个Ai，都存在闭集Fi Ai(i = 1, 2, , n)满足：m(Fi) > m(Ai) 2i ，那么Fi(i = 1, 2, , n)是互不相交的闭集。令F =ni=1Fi，那么F是闭集，且F ni=1Ai，由不等式m(ni=1Ai)ni=1m(Ai) <ni=1

19、m(Fi) + = m(F) + m(ni=1Ai)+ 令 0，得到：m(ni=1Ai)=ni=1m(Ai) 。 引理 设A1,A2, ,An, 是一列包含在某个有界区间中互不相交的可测集，那么n=1An是可测集，并且m( n=1An)=n=1m(An)证明： 假设An a, b。由引理2.2.10，对于任意的自然数n，都有：ni=1m(Ai) = m(ni=1Ai) b a < 所以n=1m(An) b a < 。于是，对于任意的正数 > 0，存在自然数N，使得：n=N+1m(An) < 2，存在闭集F满足：F Nn=1An n=1An，以及：m(F) >m(N

20、n=1An) 2 =Nn=1m(An) 2，所以m(F) n=1m(An) m( n=1An) 于是，A =n=1.An是可测集。对于任意的m Nn=1m(An) <mn=1m(An) + m(A) + 令 0，得到：n=1m(An) = m(A) 。 定理设A1,A2, ,An, 是直线上互不相交的一列可测集，那么n=1An是可测集，并且m( n=1An)=n=1m(An)证明： 将直线分解成可列个互不相交的有界区间In，例如In = (n, n+1(n Z)，令Ai,j =Ai Ij，那么Ai,j是可测集，并且互不相交。对于固定的j, Ij是有界区间，且Ai,j Ij。由引理2.2.

21、11，得到：Bj =i Ai,j是可测集，Bj互不相交，A =jZ Bj。对于任意的 > 0，存在开集Gj和闭集Fj满足：Gj Bj Fj，并且m(Gj Fj) <2|j|+2令G =j Gj , F =j Fj，那么G是开集，F是闭集，并且G A F, G F j(Gj Fj)所以，m(G F) <j m(Gj Fj) <j2|j|+2 < 于是A是可测集，并且2。2 可测集49nj=nm(Bj) nj=n(m(Fj) + m(Gj Fj)nj=nm(Fj) + m(nj=nFj)+ m(A) + 由此得到：j m(Bj) m(A)，即j m(Bj) = m(A

22、)。n=1 m(An) =n=1 m(j An,j)n=1 j= m(An,j) =j= n=1 m(An,j)= j= m(Bj) = m(A) 。以后，对于可测集A，我们将它的外测度m(A)记为m(A)，称为可测集A的Lebesgue测度。2.13 综上所述，我们得到下面的定理1. 开集和闭集都是可测集2. 零测度集是可测集3. 两个可测集的交是可测集4. 可测集的余集是可测集5. 可列个互不相交的可测集的并是可测集6. 两个可测集的差是可测集7. 可列个可测集的并是可测集3.本文对Lebesgue测度相关概念的理解3.1 Lebesgue测度出现的必然性数学是一门严谨的学科，本文觉得测度

23、的出现是数学开展的必然结果。从学数学开始，分析数学一直被局限于假设干个区间和点上面，但是X轴是什么样的？这里对X轴下一个定义。X轴是实数集上的点的排列，而我们往常的分析都是基于有一定规律的点集之上。这里不妨对小数和点集做一个一一对应，孤立点集代表有限小数，区间代表无限循环小数，那么什么代表无限不循环小数呢？本文从马后炮的角度来看，确实是存在一种对应关系的。X轴上点集的选取和实数子集有一一对应关系。实数子集构成集族的元中，由区间构成的仅仅占了一局部，剩下的是什么？有什么特殊性质或者是否存在和区间一样的普遍性质？3.2 “推广的正确性和重要性胡教授在函数的讲述中说：一旦我们发现一个函数不连续，我们

24、就认为这个函数性质不好，从而不再关心它。这种态度是不对的，就如同一个人的腿部有病变，不能简单的把腿锯掉，要看看他腿部病变的程度是否通过外科手术消除！同样，本文认为，在实数子集集族中发现不符合我们原来研究规律的点集，同样不能舍弃，我们要善于发现未知规律。在这里，“推广一词是至关重要的，创造大陆和发现大陆的难度差异不言而喻，同样，发现规律的难度远远小于创造大陆。如何发现？根据去推广。JAVA程序设计中类有父类和子类，父类可以有多个子类，子类继承父类的方法，也拥有专属子类的特舒方法。本文想说，科学是相通的。实数子集构成集族就可以理解为一个“父类，而“区间可包含孤立点仅仅是其子类。这里我们暂时讲剩余全

25、体归为另一个子类。对于“子类区间，我们的第一反响是长度是多少？这个问题在这里不再讨论。我们要思考的是能否在“父类中找到一个“长度的概念？然后再推广到所有“子类中？在之前已经对相关性质进行了证明，此处本文只引用不再证明。区间的长度是存在并且可以测量的，如何从这一去推广到不具有区间性质的另一个子类？覆盖定理给了我们很好的提示，Lebesgue前辈这样定义了外测度，借用胡教授的直白表述就是：最小覆盖E的开区间的长度的和。33 本文对测度定义的一些见解在定义点集可测时，曾对课本的方法有一些不理解，在知道外测度的次可加性之后，为什么令其相等就说明可测。当时我很不理解，虽然感觉是对的，但是我怎么也不能理解Lebesgue为什么会直接通过相等作为测度的定义。后来，胡教授上课时给我们点了一下内测度的相关概念，我感觉对可测集的定义应该是：当m*E=m*E，即内外测度相等时，集合E可测。通过上网收集了一些资料，再加上自己对课本的理解，知道了可测的定义有两种：caratheodory导入法和内外测度相等。课本上介绍的就是caratheodory导入法，即先定义外测度，然后通过Caratheodory条件缩小定义域而限制成为测度。课本之所以用这个来定义是因为此方法比拟简洁，而最初Lebesgue在定义可测的定义时候确实是通过内外测度相等的