lebesgue测度.docx

3212010015 刘正Lebesgue测度【摘 要】本文首先介绍了Lebesgue个人经历和在测度方面的研究，之后介绍了Lebesgue可测集的一些性质，最后介绍了本文对Lebesgue测度的理解并尝试给出了一种对不可测集合举例的正面证明方法。【关键词】测 度 caratheodory导入法 不可测集合 正面证明 1.Lebesgue其人以及Lebesgue引入Lebesgue测度的动机11Lebesgue的成长道路亨利勒贝格（Henri Lon Lebesgue)，1875年6月28日生于法国的博韦；1941年7月26日卒于巴黎。数学家。勒贝格的父亲是一名印刷厂职工，酷爱读书，很有教养在父亲的影响下，勒贝格从小勤奋好学，成绩优秀，特别擅长计算不幸，父亲去世过早，家境衰落在学校老师的帮助下进入中学，后又转学巴黎1894年考入高等师范学校1897年大学毕业后，勒贝格在该校图书馆工作了两年在这期间，出版了E波莱尔(Borel)关于点集测度的新方法的函数论讲义(Lecons sur la thorie des functions 1898)，特别是研究生R贝尔(Baire)发表了关于不连续实变函数理论的第一篇论文这些成功的研究工作说明在这些崭新的领域中进行开拓将会获得何等重要的成就，从而激发了勒贝格的热情从1899年到1902年勒贝格在南锡的一所中学任教，虽然工作繁忙，但仍孜孜不倦地研究实变函数理论，并于1902年发表了博士论文“积分、长度、面积”(Intgrale，longueur，aire)在这篇文章中，勒贝格创立了后来以他的名字命名的积分理论此后，他开始在大学任教(19021906在雷恩；19061910在普瓦蒂埃)，在此期间，他进一步出版了一些重要著作：积分法和原函数分析的讲义(Leconssur lintgration et la recherche des fonctions primitives，1904)；三角级数讲义(Lecons sur les sries trigonomtriques，1906)接着，勒贝格又于19101919年在巴黎(韶邦)大学担任讲师，1920年转聘为教授，这时他又陆续发表了许多关于函数的微分、积分理论的研究成果勒贝格于1921年获得法兰西学院教授称号，翌年作为C若尔当(Jordan)的后继人被选为巴黎科学院院士。12引入Lebesgue测度的目的19世纪以来，微积分开始进入严密化的阶段。1854年B黎曼(Riemann)引入了以他的名字命名的积分，这一理论的应用范围主要是连续的函数。随着K魏尔斯特拉斯(Weier-strass)和G康托尔(Cantor)工作的问世，在数学中出现了许多“奇怪”的函数与现象，致使黎曼积分理论暴露出较大的局限性。几乎与这一理论发展的同时(18701880年)，人们就巳经开展了对积分理论的改造工作。当时，关于积分论的工作主要集中于无穷集合性质的探讨，而无处稠密的集合具有正的外“容度”性质的发现，使集合的测度概念在积分论的研究中占有重要地位。积分的几何意义是曲线围成的面积，黎曼积分的定义是建立在对区间长度的分割的基础上的。因此，人们自然会考虑到如何把长度、面积等概念扩充到更广泛的集合类上，从而把积分概念置于集合测度理论的框架之中。这一思想的重要性在于使人们认识到：集合的测度与可测性的推广将意味着函数的积分与可积性的推广。至此，Lebesgue引入了Lebesgue测度。实变函数论的核心内容是建立一种较Riemann积分而言，适用范围更广、使用操作更为简便的新的积分理论Lebesgue积分，但是介绍Lebesgue积分却不能象介绍Riemann积分那样，一开始就定义什么是Lebesgue积分，而是需要先引入测度和可测函数概念，并且要用足够的篇幅对它们进行讨论后才能开始定义Lebesgue积分。Riemann积分具有明显的直观性，它的几何意义是a，b上的非负连续函数与 轴所成平面曲边梯形的面积，因此，Riemann积分的定义以及一个函数的可积性，是与相应的平面图形面积如何确定以及面积是否存在密切相关的。于是，如果要建立能够适用于更大函数类的新的积分理论，首先需要把原有的面积概念加以推广，以使得更多的点集能具有类似于面积性质的度量。如果我们把一般空间中的点集E的度量结果，称为E的测度，记作m(E)，那么实际上就定义了一种特殊的函数：自变量为点集E，函数值为测度m(E)。这样的函数称为集函数，不同的测度理论实际上就是针对点集定义的不同性质的集函数，换而言之，对点集采用不同的度量工具导致了不同的测度理论。历史上先后出现过多种测度理论。最早是19世纪80年代，GPeano提出点集的内、外测度的概念，接着1892年CJordan建立起Jordan可测集理论(其测度也称为容度)，EBorel在1898年的著作中引进了Borel集的概念，1910年Legesgue研究了其中的测度，决定性地推进了测度理论的发展，也就是通常所说的Lebesgue测度。之后，在勒贝格测度理论的基础上还建立了勒贝格积分，它是黎曼积分的扩充。勒贝格对数学的主要贡献属于积分论领域，这是实变函数理论的中心课题。2.Lebesgue可测集的性质21可测集的定义若对于任意的T属于Rn，有（Caratheodory条件），则称为Lebesgue可测集，此时的外测度称为的测度，记作。注：Lebesgue开始也是利用外测度与内测度相等定义可测集，但此方法对处理问题很不方便，故我们采用上述方法。22 Lebesgue可测集的性质2.2.1 设A是直线上的集合。如果对于任意的正数 0，存在闭集F和开集G满足：F A G 和 m(G F) 0，都存在闭集F A满足：m(F) m(A) 事实上，由可测集的定义，存在闭集F和开集O满足：m(OF) 0，存在闭集F和开集G满足：F A G，且m(G F) 。于是Fc Ac Gc，集合Gc是闭集，Fc是开集，并且m(Fc Gc) =m(G F) 0，分别存在开集O1,O2和闭集F1, F2满足：Fi Ai Oi(i = 1, 2)，并且：m(Oi Fi) /2。令F = F1 F2,O = O1 O2，那么：F是闭集，O是开集，满足：F A O。由于O F (O1 F1) (O2 F2)由外测度的次可加性，我们得到：m(O F) 0，存在开集O使得：A O,m(O) 。取闭集F = ，就得到A是可测集；5)：课本上给出了详细的证明，本文不再加以论证。2.2.5 开集是可测集，闭集也是可测集。证明： 假设O是一个开集， 并且包含在一个有限的开区间(c, d)中。如果O =i(ai, bi)是O的构成区间分解，那么我们有：i(bi ai) d c 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) (c0, 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是闭集，并且：m(O F) m(n(On Fn)n2|n|+2 。2.2.6 如果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 = x0 F1, limkynk = y0 F2，但是：|xnk ynk| bnk ank 0，存在一个有界开集G F1 F2，满足：m(F1 F2) m(G) 。将G分解成它的构成区间G =iI(ai, bi)，如果bi ai 2，我们将它分解成有限个开区间的并，(ai, bi) =j(aji , bji )，使得：bji aji 0，存在闭集F1 G F，使得m(F1) m(G F) 而F1和F是两个互不相交的有界闭集，由引理2。2。6得到：m(F1 F) = m(F1) + m(F)( m(G)所以，m(F) + m(G F) 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 m(G) 而对于有界开集G，由引理2.2.8得到：m(G F) = m(G) m(F)，所以m(G F) 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=1m(Fi) + = m(F) + m(ni=1Ai)+ 令 0，得到：m(ni=1Ai)=ni=1m(Ai) 。2.2.11 引理 设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) m(Nn=1An) 2 =Nn=1m(An) 2，所以m(F) n=1m(An) m( n=1An) 于是，A =n=1.An是可测集。对于任意的m Nn=1m(An) 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 =1的。又知道测度的平移不变性，于是想到将这个区间分割成若干个外侧度全部相同的点集。区间中有理数的个数是可数的，需要将不可数的部分也进行分割。课本给出了一个很好的方法，如一个无理数Pi，那么