外测度
第三章测度理论
第三章 测度理论本章先介绍集合的外测度定义与性质，然后引入可测集的定义、讨论可测集的性质，最后研究了可测集的构造。
其目的在于为改造积分定义时对分割、求和所涉及的不太规则集合求相应的“长度”、“面积”、“体积”。
§３.１ 外测度本节仍设X 是一固定的非空集,)(X P 是X 的全体子集所成的集类. 外测度 设C 是一个非空集类, .X A ⊂ 若}{n A 是C 中的有限或无穷序列, 使得U k n n A A 1=⊂(或U ∞=⊂1n n A A ), 则称}{n A 是A 的一个C 覆盖. 由于有限并总可以写成可数并(只要令),(k n A A k n >= 则U U ∞===11n n k n n A A ). 因此我们不妨只考虑由可数个集构成的覆盖.设µ是环R 上的测度. 对每个,X A ⊂ 令}.}{:)(inf{)(1覆盖的是R A A A A n n n ∑∞=∗=µµ 若A 无R 覆盖, 则令.)(+∞=∗A µ 这样定义的∗µ是定义在)(X P 上的非负值集函数. 称∗µ为由µ导出的外测度.定理1设µ是环R 上的测度. ∗µ为由µ导出的外测度. 则∗µ满足: ).i (.0)(=∅∗µ).ii (单调性: 若≤∗⊂)(,A B A µ则).(B ∗µ).iii (次可数可加性: 对X 中的任意一列集}{n A 成立).()(11n n n n A A ∑∞=∗∞=∗≤µµU (1) 证明 由于}{∅是空集∅的一个R 覆盖, 故.0)()(=∅≤∅∗µµ 因此.0)(=∅∗µ 设,B A ⊂ 则B 的每个R 覆盖也是A 的R 覆盖. 这蕴涵).()(B A ∗∗≤µµ 下面证明∗µ具有次可数可加性. 设}{n A 是X 的一列子集. 不妨设1,)(≥+∞<∗n A n µ(否则(1)显然成立). 现在任意给定0>ε. 由∗µ的定义, 对每个,1≥n 存在n A 的一个R 覆盖,}{1,≥k k n C 使得.)()(1,n n k k n A C 2+≤∑∞=∗εµµ (2)由于}1,,{,≥k n C k n 是U ∞=1n n A 的一个R 覆盖, 由(2)得到.)()(()()(111,11εµεµµµ+=2+≤≤∑∑∑∑∞=∗∞=∗∞=∞=∞=∗n n n n n n k n k n n A A C A U 由于0>ε是任意的, 因此得到.)()(11∑∞=∗∞=∗≤n n n n A A µµU 即∗µ具有次可数可加性. ■可测集 由µ导出的外测度∗µ定义在X 的全体子集所成的集类上. 但∗µ的定义域太大, 一般不满足可数可加性. 因而一般不是测度. 下面将证明, 可以通过适当的限制条件挑选出一部分集即所谓“可测集”， 这些集构成一个代数−σ. 将∗µ限制在这个代数−σ上, ∗µ满足可数可加性, 因而成为一个测度. 而且这个代数−σ一般要比µ的定义域R 要大, 于是就扩大了原来测度的定义域.定义2 设µ是环R 上的测度, ∗µ是由µ导出的外测度. 又设.X E ⊂ 若对任意X A ⊂, 均有).()()(c E A E A A ∩+∩=∗∗∗µµµ (3)则称E 是∗µ-可测集. ∗µ-可测集的全体所成的集类记为.∗R等式(3)称为Caratheodory 条件(简称为卡氏条件). 由于外测度∗µ具有次可数可加性, 因此对任意X A ⊂成立).()())()(()(c c E A E A E A E A A ∩+∩≤∩∪∩=∗∗∗∗µµµµ 所以(3)式等价于).()()(c E A E A A ∩+∩≥∗∗∗µµµ (4)因此集E 是∗µ-可测的当且仅当对任意,X A ⊂ (4)式成立. 又由于当+∞=∗)(A µ时(4)总是成立的, 因此若对任意,X A ⊂ 当+∞<∗)(A µ时(4)式成立, 则E 是∗µ-可测的.显然, 空集∅和全空间X 是∗µ-可测集. 又由∗µ 的单调性和(4)可以看出若,0)(=∗E µ 则E 是∗µ-可测集.引理3 设n E E ,,1L 是互不相交的∗µ-可测集. 则对任意X A ⊂, 成立).())((11i n i n i i E A E A ∩=∩∑=∗=∗µµU (5) 证明 用数学归纳法. 当1=n 时(5)显然成立. 假定(5)对k n =时成立. 因为n E E ,,1L 是互不相交的. 所以).()(,)(11111111U U U k i i c k k i i k k k i i E A E E A E A E E A =++=+++=∩=∩∩∩=∩∩于是由1+k E 的∗µ-可测性和归纳法假设, 我们有∩ ∩++ ∩ ∩= ∩++=∗++=∗+=∗c k k i i k k i i k i i E E A E E A E A 11111111U U U µµµ .)(.)(1111∑+=∗=∗+∗∩= ∩+∩=k i i k i i k E A E A E A µµµU 因此当1+=k n 时(5)式成立. 因此(5)对任意n 成立. ■定理4 设µ是环R 上的测度, ∗µ是由µ导出的外测度. ∗R 是∗µ-可测集的全体所成的集类. 则有).i (∗R 是σ-代数.).ii (∗µ限制在是∗R 上是一个测度.证明 ).i (先证明∗R 是一个代数. 由于空集∅和全空间X 是∗µ-可测集. 故∗R 非空. 由∗µ-可测集的定义立即可以看出若E 是可测−∗µ的, 则c E 也是∗µ-可测的, 因此∗R 对余运算封闭. 往证∗R 对有限并的封闭性. 设∈21,E E ∗R . 令21E E E ∪=.注意到)(211E E E E c ∩∪=, 利用21E E 和的可测性, 对任意,X A ⊂ 我们有)])(())(([)()()]()([)()(2121121211c c c c c c c E E A E E A E A E E A E E A E A E A E A ∩∩++∩∩+∩=∩∩++∩∩+∩≤∩+∩∗∗∗∗∗∗∗∗µµµµµµµµ ).()()(11A E A E A c ∗∗∗=∩+∩=µµµ即E 满足卡氏条件(4)式. 这表明∈∪=21E E E ∗R . 因此∗R 是一个代数. 为证∗R 是一个σ-代数, 只需再证明∗R 对不相交可数并运算封闭即可(参见第一章习题第20题). 设⊂}{n E ∗R , 并且).(j i E E j i ≠∅=∩ 令.1U ∞==n n E E 由于∗R 是代数, 故∈=U ni i E 1∗R , .1≥n 利用引理2.2.3, 对任意,X A ⊂ 我们有).()()()()(1111c ni i c n i i c n i i n i i E A E A E A E A E A E A A ∩+∩=∩+ ∩≥∩+ ∩=∗=∗∗=∗=∗=∗∗∑µµµµµµµU U U (6) (6)式对任意n 都成立. 在(6)中令,∞→n 并利用外测度的次可数可加性, 得到).()()()()(1c c i i E A E A E A E A A ∩+∩≥∩+∩≥∗∗∗∞=∗∗∑µµµµµ上式表明E 满足卡氏条件(4)式, 因此∈=∞=U 1n n E E ∗R . 这就证明了∗R 是一个σ-代数.).ii (为证∗µ是∗R 上的测度, 只需证明∗µ在∗R 上是可数可加的. 设⊂}{n E ∗R , 并且).(j i E E j i ≠∅=∩ 由外测度的次可数可加性, 我们有.)()(11∑∞=∗∞=∗≤i i i i E E µµU 另一方面, 在(5)中令A=X 得到 ).()()(111U U ∞=∗=∗=∗≤=∑i i n i i n i i E E E µµµ上式中令,∞→n 得到).()(11U ∞=∗∞=∗≤∑i i i i E E µµ因此∑∞=∗∞=∗=11)()(i i i i E E µµU , 即∗µ在∗R 上是可数可加的. 所以∗µ是∗R 上的测度. ■注1 从定理.4的证明可以看出, 定理4的结论)i (和)ii (并不依赖于环R 上的测度µ, 只用到了定理1中∗µ所满足的性质. 因此, 我们可以定义任何满足定理1中的)i (,)ii (和)iii (的集函数∗µ为外测度. 然后和定义2一样定义∗µ可测集. 则定理4的结论对这样定义的一般的外测度∗µ仍成立.我们在微积分中碰到的函数，都是定义在区间上的，那里的积分，需涉及区间及其子区间的长度，如()()k n k kb a f dx x f ∆=∑∫=→10lim ξλ其中Δk ＝[x 1−k ,x k ]，λ＝max|Δk |需涉及[a,b]与[x 1−k ,x k ]的长度。
外测度——精选推荐
3.2 外测度一. 外测度概念定义1 设}{,n n I R E ⊂为n R 中的一列开区间, 则称{}E I I u u n n n n ⊃=∞=∞=∑ 11,:inf为E 的Lebesgue 外测度, 简称为外测度, 记为E m *.注 (1) 点集的外测度也就是集合的所有可数开区间覆盖中诸开区间体积之和的下确界, 若记{}E I I u u U n n n n E ⊃==∞=∞=∑ 11,:, 则.inf *E U E m =(2) n R 中的任意集合都有外测度，外测度非负，但可能为无穷.(3) 若外测度为无穷, 则意味着对集合的任意可数开区间覆盖来说它的各个区间的体积之和为无穷.若外测度有限, 则意味着集合存在一个可数开区间覆盖, 它的各个区间的体积之和有限.∞<=a E m *等价于: 对E 的任意可数开区间覆盖}{n I 都有a I n n ≥∑∞=1, 且对任意的0>ε, 存在一可数开区间覆盖}{n I 使得ε+<∑∞=a I n n 1.不管怎样, 对E 的任意可数开区间覆盖}{n I , 均有E m I n n *1≥∑∞=.例1 对空集∅, 有0*=∅m . 例2 任何单点集的外测度均为0.证明 不妨以1R 为例, 设单点集10}{R x ⊂, 则: (1) 对}{0x 的任一可数开覆盖}{n I , 均有01≥∑∞=n n I ;(2) 0>∀ε, 取}{0x 的如下可数开覆盖}{n I :},,),4,4{(00 ∅∅+-εεx x . 则εε<=∑∞=21n n I .例3 对任何有界点集E , 均有+∞<E m *. 二. 外测度的性质定理1 (1) 单调性: F m E m F E **≤⇒⊂.(2) 次可数可加性: ∑∞=∞=≤1*1*)(n n n n E m E m .(2)换成有限个的情形也是成立的, 此时称为次可加性证明 证(1): ⇒⊂F E F 的任何可数开覆盖均为E 的可数开覆盖 F m E m U U U U F E F E **i n f i n f ≤⇒≤⇒⊃⇒. 证(2): 不妨设+∞<∑∞=1*n n E m , 故.,2,1,*=+∞<n E m n 对0>∀ε, 下面证明ε+<∑∞=∞=1*1*)(n n n n E m E m .∃∀,n E 开区间列},2,1,{=m I m n , 使 n m n E I m ⊃∞= 1,nn m n E m I m 2*1ε+<∑∞=.从而∞=∞=∞=⊃111n n n m n E I m.21*1*11εε+=⎪⎭⎫ ⎝⎛+<∑∑∑∑∞=∞=∞=∞=n n n n n n m n E m E m Im由单调性和次可数可加性，容易得到 推论1 任何可数点集的外测度为零.推论2 若一个集合的外测度为零，则它的任意子集的外测度也为零. 推论3 设n R E E ⊂21,, ∞<2*E m , 则()2*1*21*\E m E m E E m -≥. 证明 因为()212211\E E E E E E =⊂, 由单调性得到()()21*2*21*1*\E E m E m E E m E m +≤≤ .又∞<2*E m , 移项就得到所要结果. 以下的定理均以一维情形为例定理 2 若()0,>F E ρ, 则()F m E m F E m ***+= . 即当集合间的距离大于零时, 外测度有可加性.为证明此定理, 我们先给出一个引理.引理1 设开区间1),(R I ⊂=βα和0>d , 则对0>∀ε, 存在有限个开区间n I I I ,,,21 使得 ni i I I 1=⊂, n i d I m i ,,2,1,* =<,ε+<∑=I I n i i 1.证明 不妨设d I ≥. 首先将区间I 分成有限个小开区间m L L L ,,,21 , 使得m i d L i ,,2,1, ==<, 设其分点为121,,,-m a a a . 再在每一分点1,,2,1,-=m i a i 处作小开区间i J 使得i i J a ∈, d J i <,ε<∑-=11m i i J (1,,2,1-=m i ). 则开区间12121,,,,,,,-m m J J J L L L 即为所求.定理2的证明 设()0,>=d F E ρ.由外测度的次可加性, 我们只需证明()F m E m F E m ***+≥ . 不妨设()∞<F E m *. 对0>∀ε, 下面证明()ε+<+F E m F m E m ***.对该ε, 存在开区间列}{n I , 使F E I n n ⊃∞=1,2)(*1ε+<∑∞=F E m I n n .由引理1, n ∀, 存在有限个开区间)()(2)(1,,,n m n n n I I I 使得n mk n k n I I 1)(=⊂, n n k m k d I ,,2,1,)( =<;11)(2+=+<∑n n mk n kI I n ε.则F E I I n n n m k n k n⊃⊃∞=∞==111)(()εεε+<+=⎪⎭⎫ ⎝⎛+<∑∑∑∑∞=∞=+∞==F E m I I I n n n n n n m k n k n*11111)(22.将{})(n k I 的全体记为{}n K , 由()0,>=d F E ρ和d K n <知道每一n K 不能与F E ,同时相交, 故可将{}n K 分成与E 相交的一组{})1(i K 及和F 相交的一组{})(j iK , 则这两组无公共元且 i iK E )1(⊂, j jK F )2(⊂, 从而有()ε+<≤+≤+∑∑∑∑∞==F E m I K K F m E m n mk n kjjiin*11)()2()1(**, 即是说()F m E m F E m ***+≥ . 定理得证.定理3 对任何区间I , 均有I I m =*.这说明外测度是一般“长度、面积、体积”等概念的推广.证明 (1) 设I 为闭区间, 比如],[b a I =.对0>∀ε, 存在开区间K , 使得K I ⊂, ε+<I K . 此时, 开区间列{} ,,,∅∅K 覆盖I , 且ε+<≤I K I m *. 故有I I m ≤*.另一方面, 对I 的任意开区间覆盖{}n I , 由Borel 有限覆盖定理, 存在有限的子覆盖{}n I I I ,,,21 , 则易知∑∑∞==≤≤11i in i i I I I , 即是说I I m ≥*. 总之I I m =*.(2) 设I 为闭区间, 比如),(b a I =.令],[b a I =, 则{}{}b a I I =. 由外测度的单调性, 单点集的测度为零得到{}{}I m b m a m I m I m I m ******=++≤≤再由第一步的结果得到I I I m I m ===**. 也就是说当区间是开区间时结论成立 其他的情形类似.定理4 外测度具有平移不变性, 即{}()0**x E m E m +=, 而{}{}E x x x x E ∈+=+:00. 证明 首先注意到开区间平移后仍是开区间, 且保持体积不变. 对E 的任意可数开区间覆盖{}n I , 则{}{}0x I n +必是{}{}0x E +的开区间覆盖. 故有{}{}()0*101x E m x I I n n n n +≥+=∑∑∞=∞=.因而由E 的开区间覆盖的任意性得到{}()0**x E m E m +≥. 类似的也得到{}()0**x E m E m +≤. 即有{}()0**x E m E m +=.。
可数集的勒贝格外测度为0_概述说明以及解释
可数集的勒贝格外测度为0 概述说明以及解释1. 引言1.1 概述在现代数学中，测度论是一门重要的分支，用于研究集合的度量特性。
其中，测度被定义为一个函数，它将集合映射到实数上，并满足一系列公理。
在勒贝格测度中，我们关注的是集合的外部度量。
本文主要探讨了可数集的勒贝格外测度为0这一概念，并详细阐述了其定义、性质以及证明过程。
这个概念在数学理论和实际应用中都具有重要意义。
1.2 文章结构本文按照以下结构进行组织。
首先，在引言部分介绍了文章的背景和目的。
接下来，在第二部分详细解释了可数集和非可数集的概念，并引入了勒贝格外测度的基本知识。
然后，在第三部分给出了可数集的勒贝格外测度为0的证明步骤和示例应用场景分析。
第四部分回顾了相关研究文献并讨论了可数集勒贝格外测度在实际问题中的应用案例。
最后，在第五部分总结本文所得出的主要结果，并对未来发展进行了讨论。
1.3 目的本文的目的是深入探讨可数集的勒贝格外测度为0这一概念，并介绍其在数学理论和实际应用中的重要性。
通过详细阐述其定义、性质和证明过程，我们旨在向读者解释该概念及其应用，并为相关研究提供参考和启示。
通过本文的研究，我们希望能够进一步推动可数集勒贝格外测度为0的理论发展，并促进其在实际问题中的应用。
同时，我们也会反思文章存在的不足之处，并提出改进方向，以期对该领域未来的研究产生积极影响。
2. 可数集的勒贝格外测度为0的概念解释：2.1 可数集和非可数集的概念介绍：在数学中，可数集是指具有与自然数集（正整数集）一一对应关系的集合。
也就是说，一个集合是可数的，当且仅当可以按照某种方式将其元素排成一个无限序列，并且每个元素都能唯一地与自然数对应。
比如自然数集、整数集和有理数集都是可数的。
非可数集则表示一些无法与自然数进行一一对应的无限集合。
典型的非可数集包括实数集和幂集。
2.2 勒贝格外测度的介绍：勒贝格外测度是由法国数学家Henri Lebesgue提出的，用于衡量一个给定子集在一个更大空间中所占据的大小或者容量。
Lebesgue测度的性质及应用
课程设计论文Lebesgue测度的性质及应用2015年1月摘要本文首先Lebesgue测度的引入写起，然后从Lebesgue外测度写起，主要写了外测度的定义与外测度的一些基本性质以及外测度的一些性质的应用，之后联系到Lebesgue内测度的角度写Lebesgue测度，并与可测集相结合写一些Lebesgue 测度的性质，并介绍这些性质的应用。
关键字：Lebesgue外测度；Lebesgue内测度，勒贝格测度，可测集。
Lebesgue测度的性质及应用要了解lebesgue测度我们首先来了解一下lebesgue测度是如何引入的。
一、lebesgue的引入19世纪以来，微积分开始进入严密化的阶段。
1854年B．黎曼(Riemann)引入了以他的名字命名的积分，这一理论的应用范围主要是连续的函数。
随着K．魏尔斯特拉斯(Weier-strass)和G．康托尔(Cantor)工作的问世，在数学中出现了许多“奇怪”的函数与现象，致使黎曼积分理论暴露出较大的局限性。
几乎与这一理论发展的同时(1870—1880年)，人们就巳经开展了对积分理论的改造工作。
当时，关于积分论的工作主要集中于无穷集合性质的探讨，而无处稠密的集合具有正的外“容度”性质的发现，使集合的测度概念在积分论的研究中占有重要地位。
积分的几何意义是曲线围成的面积，黎曼积分的定义是建立在对区间长度的分割的基础上的。
因此，人们自然会考虑到如何把长度、面积等概念扩充到更广泛的集合类上，从而把积分概念置于集合测度理论的框架之中。
这一思想的重要性在于使人们认识到：集合的测度与可测性的推广将意味着函数的积分与可积性的推广。
至此，Lebesgue引入了Lebesgue测度。
实变函数论的核心内容是建立一种较Riemann积分而言，适用范围更广、使用操作更为简便的新的积分理论——Lebesgue积分，但是介绍Lebesgue积分却不能象介绍Riemann积分那样，一开始就定义什么是Lebesgue积分，而是需要先引入测度和可测函数概念，并且要用足够的篇幅对它们进行讨论后才能开始定义Lebesgue积分。
实变函数论课件8、9 外测度和可测集(选讲)
m*J I | I | 1, m*J E 1, m*J (I \ E) 1; m*I | I | 1, m*E 0, m*(I \ E) 1
16
命题1 若 G 是有界开集,则 G 可测, 并且对任何包含G 的开区间I 恒有 m*G m* (I \ G) | I | .
任给 0, 对每个 In ,显然可以作闭区间Jn In , 使
| Jn || In | 2n . 闭区间 J1, J2 , J3,...两两无交, 每个闭区间Jn 与闭集 I \ G 无交而两个无交的非空有界闭集间的距离大
于 0,由第二节命题1以及外测度的隔距可列可加性
等性质
n1
|
In
|
m*E
2
.
对每个 In ,显然可以作开区间Jn In ,使
| Jn || In | 2n1 .
13
令 G J n ,则 G 是开集, G E, 由外测度的
n1
半可列可加性及命题1 知
m*G m* J n | J n |
i 1
i 1
i 1
令n ,得
m* Ai m* Ai .m* Ai .
i 1
i 1
注：当两个点集E1, E2 无交时,未必有 m* (E1 E2 ) m*E1 m*E2 .(从第五节可看出)
12
2.3 外测度的开集逼近
(1)
由 (iii) 知 m* ( A B) m* A m*B.
再证相反的不等式. 任给 0,由外测度的定义知存在
Lebesgue外侧度
定理3.2.6设 是一列互不相交的可测集，则 也是可测集，且
（3.2.7）
证明先证 可测.因为对任何 ， 可测，所以对任意的 总有
（推论1）
令 ，有
（3.2.8）
另一方面，由于 ，所以
，
因此 。
于是 可测.
在（3.2.8）式中，令 ，由 ，便有
，
而由外测度的性质
，
因此
.
推论3设 是一列可测集，则 也是可测集.
为证明该定理，先给出一个引理.
引理1 中的非空开集 都可以表示成可数多个互不相交的左开右闭的区间的并，即 .
因此，有
，
于是 可测.
其次证明（3.2.4）成立.当 时，因为 可测， ， ，由定理3.2.1，有
推论1设 都可则，则 也可测，并且当 时，对任何集合 总有
.
定理3.2.4设 ， 都可测，则 也可测.
证明因为 ，由定理3.2.2及定理3.2.3， 可测.
推论2设 都可测，则 也可测.
定理3.2.5设 ， 都可测，则 也可测.
那么，满足勒贝格测度公理的在集合族 上定义的集函数 是否存在？ 由哪些集合所构成？是否每个集合都有测度呢？这些问题都是本章要解决的.
§3.1 外测度
众所周知，在 中，求圆 的面积可以用包含它的外切多边形面积的下确界来定义.更一般地，我们可以用一些长方形（在 也称为区间）去分割圆 ，然而长方形的面积之和近似代替圆 的面积的这种想法也可以求 中一般的立体的体积的近似值.这一想法正是我们定义外测度的出发点，启发我们给出如下外测度的定义：
例2设 是区间，则 .
证明（1）设 为闭区间，对任意的 ，存在开区间 ，使得 ，且 ，由外测度定义， ，由 是任意的，有 .
实变函数论3.1 外测度
上面叙述的错误出在取
2 i 1
，因为i的取定依赖于δ
思考：4.对Jordan外测度，我们用有限个开区间覆盖[0,1]中的 有理数全体，则这有限个开区间也覆盖[0,1] （除有限个点外） 注：对有限个开区间一定有从左到右的一个排列
n
b
a
f ( x)dx lim mi xi
||T || 0 i 1
xi-1 xi
•Jordan测度
Jordan外测度（外包）
n n
(m E ) J inf{ | I i | : E I i且I i为开区间 }
i 1 i 1
Jordan内测度（内填）
(m E ) J sup{ | I i | : I i E且I i为两两不交的开区间 }
2.平面上的x轴的外测度为0
Ii (ri 1, ri 1) (
2i2
, 2i2 ), ri Z，i 1,2,3,
思考：3.我们知道有理数与无理数在[0,1]上都稠密，问证明中 的开区间列是否覆盖了区间[0,1]
E [0,1] Q {r1, r2 , r3 ,}
（C）次可数可加性 m ( An )
* n 1
n 1
m* An
证明：对任意的ε>0,由外测度的定义知，对每个An都有 一列开区间（即用一开区间{I nm}列近似替换An）
I n1 , I n 2 , I nm ,, 使得An I nm且m An | I nm | m An n m 1 2 m 1
I i (ri 2 , r , 2 , 3 , i 1 i 1 ), i 1 i 2
外测度教案
实变函数 Ver.1.0 © 渭南师范学院 余保民
–5–
教学过程
在每一个等价类中选取一个代表元，这些代表元的全体构成的集
合记为 R，即 R ⊂ [−1, 1] 且对任意的 a ∈ [−1, 1]，R ∩ a˜ 恰有一个元素. 令 R ∩ a˜ = {e}，则 r : = a − e ∈ Q，从而 a = r + e ∈ r + R，容易看到
m∗(A1 ∪ A2 ∪ · · · ∪ Am) ⩽ m∗A1 + m∗A2 + · · · + m∗Ak.
证明. 令 Ak = ∅, k > n，则有 m∗(A1 ∪ A2 ∪ · · · ∪ Am)
=m∗(A1 ∪ A2 ∪ · · · ∪ Am ∪ ∅ ∪ ∅ ∪ · · · ) ⩽m∗A1 + m∗A2 + · · · + m∗Am + m∗∅ + m∗∅ + · · · =m∗A1 + m∗A2 + · · · + m∗Am.
则在 I1, · · · , Im+1 中，存在某个开区间包含 b. 不妨设 b ∈ Im+1 且 Im+1 = (c, d). 如果 c < a，则由(??)可知(??)成立. 如果 a ⩽ c < b < d，则
[a, c] ⊂ I1 ∪ I2 ∪ · · · ∪ Im.
实变函数 Ver.1.0 © 渭南师范学院 余保民
, I3 =
, 23 23
,··· ,
则
I
⊂
∪∞
Ik，从而
m∗I
⩽
∞
∑
|Ik| = b − a + 2ε.
外测度的性质与计算小结
外测度的性质与计算The properties and calculation of the outermeasure姓名：学号：学院：数学与信息科学学院专业：数学与应用数学指导老师：完成时间：外测度的性质与计算【摘要】Lebesgue外测度是Lebesgue积分的基础,本论文主要论述了它的一些性质及相关的计算.首先,给出了Lebesgue外测度的定义；接着,指出和证明了外测度具有的非负性、单调性、次可数可加性、距离可加性、平移不变性这五大主要性质；同时给出了外测度的介值定理和一些其他的性质,并讨论了在一般情况下,外测度不具备可数可加性；然后讨论了可数集的外测度的性质,着重写出可数江西师范大学11届学士学位毕业论文集的外测度具有可数可加性；最后是与外测度计算相关的一些例题.【关键词】Lebesgue外测度，次可数可加性，距离可加性。
The properties and calculation of the outside measure【abstract 】Lebesgue outer measure is the base of lebesgue integral, this thesis mainly discusses some properties and its related calculation. At first, give the definition of Lebesgue outer measure; then pointed out and proved the outer measure has nonnegative, monotonicity and second countable additive property , distance additive property,translation invariant property ,the five main properties; It also gives the outer measure mean value theorem and some other properties, and discusses the properties under the meaning of general point sets, the outer measure does not have countable additive property. Then discussed the property of outer measure of countable set, and emphatically write that outer measure of countable set has count additive property. And the last is some examples about outer measure computation. 【keywords 】Lebesgue outer measure, Second countable additive property , Distance additive property目录1 引言 (1)2 Lebesgue外测度的定义 (1)3 一般集的外测度的性质 (2)3.1 非负性 (2)3.2 单调性 (2)3.3 次可数可加性 (2)3.4 距离可加性 (2)3.5 平移不变性 (4)3.6 对外测度有限可加性及可数可加性的研究 (4)3.7外测度的介值定理 (6)3.8 外测度的其他性质 (7)4 可测集的外测度 (8)5 外测度的计算 (10)6 小结 (11)参考文献 (12)外测度的性质与计算1 引言在19世纪时,数学家们已经认识到,仅有连续函数与Riemann 积分的古典理论已不足以解决数学分析中的许多问题,为了克服Riemann 积分在理论上的局限性,必须改造原有的积分定义,建立一种新型积分.19世纪下半叶,不少分析学家进行一系列扩充长度和面积概念的探索,逐渐形成测度概念,1898年,Borel 建立了一维Borel 点集的测度,法国数学家Lebesgue 在1902年他的博士论文《长度、面积和积分》中系统的建立了测度论,并成功的建立起新的积分理论--Lebesgue 积分（1915年,法国数学家弗雷歇提出在一般σ代数上建立测度,开始创立抽象测度理论,1918年,意大利数学家Caratheodory 关于外测度的研究,对于现代形式测度理论的形成起了关键作用.）.Riemann 积分忽视了函数的变化而只从定义域方面划分小区域来构造积分和,这样做的结果是将大量的函数排除在Riemann 可积函数类之外；Lebesgue 积分不是从分割自变量的区域而是从分割函数值域着手构造积分和.例设()x f 在[]b a ,上有界,满足()M x f m <<,作分割M y y y y m n 210=<<<<=令 (){}n i b x a y x f i ,2,1,,y x E 1-i i =≤≤<≤= ， 则对应于上面分割的积分和为i ni i m E y∙∑=-11,其中i m E 为点集i E 的长度,这种积分的优点在于可以取1--i i y y 很小,使得积分和的近似程度很高,它将积分对象从Riemann 可积函数类扩充到更大一类函数——可测函数类.积分和计算的关键是点集i E 的度量，对于通常的区间i E 的度量就是区间的长度或体积，而对于一般的点集的度量就不是一件简单的事情，它涉及到在n R 中如何建立一般点集的一种度量方案，这就是Lebesgue 外测度与测度理论。
21Lebesgue测度
可测集合的基本构成：
欧氏空间中，任意开体应当属于可测集合类。
n T ⊆ R 若集 E 属于可测集类，由可加性，对于任意 ，有
m* (T ) = m* ( T ∩ E ) + m* (T ∩ E c )
直观的，可测集E具有良好分割 性能，它将任意一个集合T分成两 部分，两部分外测度之和恰好等于 T的外测度。
证明：由于E为可数集，
故不妨令E = [0,1] ∩ Q = {r1 , r2 , r3 , }
ε ∀ε > 0, 作开区间I i = (ri − 2ε , r + ), i = 1,2,3, i +1 i 2i +1
则 E ⊂ ∪ I i且 Σ | I i |= Σ
i =1 i =1
∞
∞
∞
ε
i
i =1 2
( (T ∩ E ) ∪ (T ∩ E ) )
c
因此， E 可测等价于对于任意 T
⊆ Rn ，
m* ( T ∩ E ) + m* ( T ∩ E c ) ≤ m* ( T ) .
注4、Lebesgue最初借助内测度给出可测定义，但处 理问题不方便。
20
比较约当外测度和Lebesgue外测度，可以发现区 别在于： 前者采用了有限多个开区间做覆盖，而后者 采用了可数多个开区间做覆盖。 量变到质变的过程，性质产生大的变化！
∞
∞
m ( E + x ) = m ( E ) ∀x ∈ R
*
n
E + x = { y + x : y ∈ E}
5
证明： 1）由定义得出。
若 E1 ⊆ E2 ， E2 的任意开覆盖也是 E1的开覆盖。由 2） 外测度定义，结论成立。
第8讲：外测度
第8讲 外测度
下证 (0,1) S n ，任取 x (0,1)，则 x Rx ， n 1 由 S 的构造，S Rx 是单点集，设为{ }，于 是 x 是有理数，且 x (1,1)，因此存 在某个 n ，使 rn x ，这样 x rn Sn 。
这样，(0,1)可以分解成一些互不相交的 R 之
并，对每个 R x，从中任取一点构成一个集合 S ，当
x
然 S (0,1) 。 记 I i i 1 为 (1,1)中有理数全体， S n {x rn | x S}
第8讲 外测度
即 S n 是将 S 平移 rn 后得到的，显然 S n (1,2)， 而且当 n m 时， S n S m 。若不然，存在
n
第 外测度
集，它不可能充满任何长方体。因此，我 们不能象Riemann积分那样企图采用长方 体内外来挤的办法来定义一般集合的“长 度”。尽管如此，Riemann积分的思想还 是给了我们极大的启示，它依然是我们的 出发点，只不过具体做法稍不同。
第8讲 外测度
定义1 设 E 是 是 R 中的 一列开长方体， I n E ，则 I n 确定一
第8讲 外测度
正如引言中所说，要研究一般函数的 积分，首先要建立一般集合的“长度”概 念，这一工作可以追溯到19世纪人们关于 容量的研究，其中具有代表性的人物是 Peano（皮严诺）、 Jordon（约当）以及 Lebesgue 的老师 Borel （波雷尔）。然而， Lebesgue的工作替代了十九世纪的创造， 特别是他改进了Borel的测度论。
i 1
I 0 I I k 1 I
所以对任意有限个盖住 I 的开矩形 I1,, I n， 有 | I i | | I | 。
Lebesgue测度
第二章测度论引言实变函数论的核心问题是对读者在数学分析中已学过的黎曼（Riemann）积分进行推广，而建立一种应用范围更广，使用起来更灵活、便利的新的积分理论即Lebesgue积分理论.数学分析中Riemann积分基本上是处理几乎连续的函数，但随着理论的发展，Riemann积分理论的缺陷变得愈来愈明显，主要表面在以下两个方面：一方面是对被积函数的连续性要求太强，以致于著名的Dirichlet函数这样一种非常简单的函数都不可积；另一方面是应用起来有很大的局限性，这种局限性突出表现在可积函数项级数的逐项积分，以及可积函数列的积分与极限的可交换性方面，一般要求函数列或函数项级数要具有一致收敛性，而这一要求在实际问题中常常得不到满足，或虽然满足要想验证又非常的繁复，因此，无论在理论方面还是在实际应用方面改进Riemann积分的定义使之适用更广泛的函数类是很有必要的.通常对Riemann积分的改进可从两方面着手，一方面是对积分范围划分的改进。
在Riemann积分中，对积分范围的划分一般是采用通常意义下的“有面积”或“有体积”划分，即把积分范围划分成在通常意义下“有面积或体积”的小块. 这种划分的方法无法控制在每个小块上函数值的变化幅度以致于Dirichlet函数不可积. 所以有必要对“有面积或体积”划分的含义进行扩充，即对通常意义下的“有面积或体积”的集合进行扩充，使之适合于更广的一类集合，由此便产生了本章要介绍的集合的测度；另一方面是对被积函数进行改进. Riemann积分中的被积函数对连续的要求很苛刻，以致于函数的连续性稍微不好，就会导致函数不可积. 所以有必要对被积函数在已有的测度的基础上进行扩充，使之适合于更广的一类函数，由此产生了第三章要介绍的可测函数.本章主要介绍集合的Lebesgue测度，它是通常意义下“面积或体积”概念的一种推广（即能保持通常意义下“体（面）积”的特性：①非负性；②当集合E}为一列互不相交的为区间时，其测度即为区间的体积；③完全可加性即当{i有测度的集合时， ∞=1i i E 的测度恰好为每个集的测度之和）.§1 外测度一、外测度的定义记 n R 中的开区间{}n i b x a x x x x I i i i n ,,2,1,),,,(21 =<<==其中i i b a ≤为有限数.若上述记号中等号可能出现，则称I 为区间，显然1R R n =时，I 即为1R 上的区间.另外还规定∏=-=ni i i a b I 1)(为区间I 的体积.定义1 设E ⊂nR ，{}i I 是nR 中覆盖E 的任一列开区间，即 ∞=⊂1i i I E ，记∑∞==1i i I μ（μ可以取+∞），显然所有这样的μ构成一个有下界的数集，则它的下确界称为E 的Lebesgue 外测度，记为.,inf **11∞=∞=⊂=∑i i i i I E I E m E m 即注 定义中覆盖E 的开区间列，可以只有有限个开区间，也可以有可数个开区间，显然，对任意n R E ⊂，E m *均存在，且可以取+∞.二、外测度的基本性质定理 外测度具有如下性质：（1）对任意n R E ⊂都有0*0*=≥φm E m 且 （非负性）,（2）设n R A B ⊂⊂，则A m B m **≤（单调性）,（3）设ni R A ⊂，则∑∞=∞=≤11*)(*i i i i A m A m （次可加性）,（4）设n R B A ⊂,，若0),(>B A ρ，则B m A m B A m **)(*+= （隔离性）.证明 （1）显然成立。
10、开集体积、点集外测度
我们希望平面上的每个点集 E 都有类似区间面积 E ,同样 希望对一般空间点集 E 都有类似的量 E , 这个量应是一维 空间区间长度、二维空间矩形面积、三维空间长方体的体 积等概念的推广，保持面积如下的性质:
(1) 非负性：
E ≥0
(2)单调性： 若E1 ⊂ E2， 有 E1 ≤ E2 (3)可加性：若E1 ∩ E2 = Φ，有 E1 ∪ E2 = E1 + E2 (4)次可加性： E1 ∪ E2 ≤ E1 + E2 (5)平移不变性和旋转不变性：
n 均有外测度，即对任意的 E ⊂ R ，m∗ E
总存在，并且
0 ≤ m ∗ E ≤ +∞
∗ m 注2：由下确界的定义，对于 E
有（1）
（2）
∀覆盖E的开集G，有 m∗ E ≤ G
∀ε > 0, ∃覆盖E的开集G, 使得 G < m∗ E + ε
2、外测度的性质 定理 外测度具有如下的性质：
∗ n （1）非负性：对每一个 E ⊂ R 有m E ≥ 0，特别有m∗Φ = 0
（2）单调性： 若A ⊂ B ⊂ R n , 有m∗ A ≤ m∗ B
m( （3）次（准）可数可加性：
∗
∗ E ) ≤ m ∪ j ∑ Ej j =1 j =1
∞
∞
（4）分离条件下的可数可加性：设 E j ⊂ R n , j = 1, 2,
n 若存在一列互不相交的开集 {G j }∞ 使得 E j ⊂ G j , j = 1, 2, ⊂ R j =1
Q = {a1 , a2 ,..., an ,...}, ∀ε > 0, ∪ (an −
n =1
∞
ε
2
, an + n +1
实分析中的测度和积分
实分析是数学分析的一个分支，涉及到测度和积分的概念。
测度理论在实分析中扮演着重要的角色，它是衡量集合大小的一种方式。
而积分是通过对函数进行“求和”的方式，来度量函数在一个区间上的总量。
测度是实分析中的一个核心概念，它用于测量集合的大小。
在实数轴上，我们可以使用长度来描述一个集合的大小。
例如，一个区间[a，b]的长度等于b-a。
然而，对于一些更一般的集合，没有明确的长度概念。
为了解决这个问题，我们引入了测度的概念。
测度可以被看作是度量集合大小的函数。
它可以将某些集合映射到实数上，且满足一定的性质。
常用的测度有勒贝格测度和外测度。
勒贝格测度是最常用的测度之一。
它通过对区间的长度进行无限次的求和，来计算集合的大小。
具体来说，勒贝格测度使用开区间来逼近集合，然后计算这些开区间的长度之和。
如果这个长度之和是有限的，我们就说这个集合是可测的，同时该长度即为集合的勒贝格测度。
外测度是另一个常用的测度。
它通过使用覆盖集合的方式，来估计集合的大小。
具体来说，我们使用一系列的开区间来覆盖集合。
如果这些开区间的长度之和是有限的，我们就说这个集合是可测的，同时该长度即为集合的外测度。
积分是实分析中的另一个重要概念。
它用于度量函数在一个区间上的总量。
通过将函数划分成无穷小的小块，并对每个小块进行求和，我们可以得到函数在整个区间上的积分值。
积分可以看作是求和的一种推广。
在求和的过程中，我们将每个小块的贡献相加，得到总和。
类似地，在积分的过程中，我们将每个小块的贡献相加，得到积分值。
积分有多种类型，包括黎曼积分、勒贝格积分和勒贝格-斯蒂尔杰斯积分等。
不同类型的积分适用于不同的函数类别。
黎曼积分是最常用的一种积分，它适用于大多数函数。
勒贝格积分对某些特殊类型的函数，如非连续函数，有更好的性质。
总结起来，实分析中的测度和积分是两个核心概念。
测度用于测量集合的大小，而积分用于度量函数在一个区间上的总量。
测度理论和积分理论为我们提供了一种分析集合和函数的工具，使得我们能够更好地理解和处理现实世界中的实际问题。
测度论 外测度
m * ( ∪ An ) ≤ （C）次可数可加性
n =1
∞
∑
∞
n =1
m * An
证明：对任意的 由外测度的定义知， 证明：对任意的ε>0,由外测度的定义知，对每个 n都有 由外测度的定义知 对每个A 一列开区间（即用一开区间{I 列近似替换A 一列开区间（即用一开区间 nm}列近似替换 n） 列近似替换
||T || →0
∑ M ∆x
i =1 i
i
xi-1 xi
( R) ∫ f ( x)dx = lim
a
b
||T ||→0
∑ f (ξ )∆x
i =1 i
n
i
• Riemann积分
下积分（内填）
达布下和的极限
∫
b
a
f ( x)dx = lim
||T ||→0
∑ m ∆x
i =1 i
n
i
xi-1 xi
2 Lebesgue外测度(外包) Lebesgue外测度(
ε
上面叙述的错误 上面叙述的错误出在取 错误出在取 因为i的取定依赖于δ ，因为i的取定依赖于δ 事实上， 事实上，能否覆盖取决于 ε 的选取
思考： 思考： 4.Lebesgue外测度的定义中， 4.Lebesgue外测度的定义中，若我们用有限个开区间覆 外测度的定义中 [0,1]中的有理数全体 是否这有限个开区间也覆盖[0,1] 中的有理数全体， 盖[0,1]中的有理数全体，是否这有限个开区间也覆盖[0,1] （除可数个点外） 除可数个点外）
定义： 设E ⊂ R ，称非负广义实数 ( R ∪ {±∞} = R )
n
*
m E = inf{
∗
实变函数外测度的次可加性证明的细节
实变函数外测度的次可加性证明的细节(Stein)实变函数中，定义 \mathbb{R}^d 中的点集 E 的外测度为m_某(E)=\inf\Big\{\sum_{j=1}^{\infty}，Q_j，:E\subset\bigcup_{j=1}^{\infty}Q_j\Big\} （其中 Q_j 为 d 维闭立方体）并给出了外测度具有可数的次可加性：E=\bigcup_{j=1}^{\infty}E_j\implies m_某(E)\le\sum_{j=1}^{\infty}m_某(E)Stein的证明中，有如下部分：\forall\varepsilon>0,\forall j\in\mathbb{N},\e某ists\bigcup_{k=1}^{\infty}Q_{k,j}\supset E_j \te某t{ s.t. }\sum_{k=1}^{\infty}，Q_{k,j}，<m_某(E_j)+\varepsilon/2^j E\subset\bigcup_{j,k=1}^{\infty}Q_{k,j}\implies m_某(E)\le\sum_{j,k}，Q_{k,j}，\{\color{red}{\Large{ = }}}\sum_{j\in\mathbb{N}}\sum_{k\in\mathbb {N}}，Q_{k,j}，<\sum_{j=1}^{\infty}m_某(E_j)+\varepsilon 其中红色等号用到了二重级数的换序求和，现给出完整证明如下.Proof.若 \sum_{j=1}^{\infty}m_某(E_j)=\infty ，则由 m_某(\cdot)\in[0,\infty] 得 m_某(E)\le\infty=\sum_{j=1}^{\infty}m_某(E_j) .若 \sum_{j=1}^{\infty}m_某(E_j)<\infty ，则\forall\varepsilon>0,\forall j\in\mathbb{N},\e某ists\bigcup_{k=1}^{\infty}Q_{k,j}\supset E_j s.t.\sum_{k=1}^{\infty}，Q_{k,j}，<m_某(E_j)+\varepsilon/2^j.\bigcup_{j=1}^{\infty}\big(\bigcup_{k=1}^{\infty}Q_{k,j}\big) 是可列个可列并的并，其仍是可列并，故存在双射f:\mathbb{N}\to\mathbb{N}^2,f(n)=(k,j) 使得\bigcup_{j=1}^{\infty}\big(\bigcup_{k=1}^{\infty}Q_{k,j}\big)=\b igcup_{n=1}^{\infty}Q_{f(n)}\implies m_某(E)\le\sum_{n=1}^{\infty}，Q_{f(n)}， .下证此时 \sum_{n=1}^{\infty}，Q_{f(n)}，=\sum_{j=1}^{\infty}\sum_{k=1}^{\infty}，Q_{k,j}， . 记s(m,n)=\sum_{j=1}^{m}\sum_{k=1}^{n}，Q_{k,j}， .(1) 注意到 \forall n_1\in\mathbb{N},\e某istsn,n_2\in\mathbb{N} s.t.\{1,\dotsc,n_1\}^2\subset\{f(1),\dotsc,f(n)\}\subset\{1,\dotsc,n _2\}^2 ，于是\lim_{N\to\infty}\sum_{n=1}^{N}，Q_{f(n)}，=\lim_{N\to\infty}s(N,N)\le s(\infty,\infty)\overset{\te某t{def}}{=}s<\sum_{j=1}^{\infty}m_某(E_j)+\varepsilon .(2) 因为 \sum_{j=1}^{\infty}m_某(E_j)<\infty ，所以 \e某ists N_{\varepsilon}\in\mathbb{N} s.t.\sum_{j=N_{\varepsilon}}^{\infty}\sum_{k=1}^{\infty}，Q_{k,j}，<\varepsilon .对于 N_{\varepsilon} ，存在 N=\ma某_{1\le n\leN_{\varepsilon}}{N_n} s.t. \forall j\le N,\sum_{k=1}^{N}，Q_{k,j}，>\sum_{k=1}^{\infty}，Q_{k,j}，-\varepsilon/2^j .于是对任意n>N，有如下不等式成立：s(n,n)\ge s(N,N)>s(N,\infty)-\sum_{j=1}^{N}\varepsilon/2^j>s(N,\infty)-\varepsilon>s(\infty,\infty)-2\varepsilon .由 \varepsilon 的任意性，有 \lim_{N\to\infty}s(N,N)\ges(\infty,\infty)=s .由(i) \lim_{N\to\infty}\sum_{n=1}^{N}，Q_{f(n)}，=\lim_{N\to\infty}s(N,N)\le s(\infty,\infty)=s及(ii) \lim_{N\to\infty}s(N,N)\ge s(\infty,\infty)=s我们由夹逼定理得到m_某(E)\le\lim_{N\to\infty}\sum_{n=1}^{N}，Q_{f(n)}，=s(\infty,\infty)<\sum_{j=1}^{\infty}m_某(E_j)+\varepsilon .由 \varepsilon 的任意性， m_某(E)\le\sum_{j=1}^{\infty}m_某(E_j) .证毕.。
外测度的性质与计算
江西师范大学数学与信息科学学院学士学位论文外测度的性质与计算The properties and calculation of the outermeasure姓名：学号：学院：数学与信息科学学院专业：数学与应用数学指导老师：完成时间：江西师范大学11届学士学位毕业论文外测度的性质与计算【摘要】Lebesgue外测度是Lebesgue积分的基础,本论文主要论述了它的一些性质及相关的计算.首先,给出了Lebesgue外测度的定义；接着,指出和证明了外测度具有的非负性、单调性、次可数可加性、距离可加性、平移不变性这五大主要性质；同时给出了外测度的介值定理和一些其他的性质,并讨论了在一般情况下,外测度不具备可数可加性；然后讨论了可数集的外测度的性质,着重写出可数集的外测度具有可数可加性；最后是与外测度计算相关的一些例题.【关键词】Lebesgue外测度，次可数可加性，距离可加性。
The properties and calculation of the outside measure【abstract 】Lebesgue outer measure is the base of lebesgue integral, this thesis mainly discusses some properties and its related calculation. At first, give the definition of Lebesgue outer measure; then pointed out and proved the outer measure has nonnegative, monotonicity and second countable additive property , distance additive property,translation invariant property ,the five main properties; It also gives the outer measure mean value theorem and some other properties, and discusses the properties under the meaning of general point sets, the outer measure does not have countable additive property. Then discussed the property of outer measure of countable set, and emphatically write that outer measure of countable set has count additive property. And the last is some examples about outer measure computation. 【keywords 】Lebesgue outer measure, Second countable additive property , Distance additive property目录1 引言 (1)2 Lebesgue外测度的定义 (1)3 一般集的外测度的性质 (2)3.1 非负性 (2)3.2 单调性 (2)3.3 次可数可加性 (2)3.4 距离可加性 (2)3.5 平移不变性 (4)3.6 对外测度有限可加性及可数可加性的研究 (4)3.7外测度的介值定理 (6)3.8 外测度的其他性质 (7)4 可测集的外测度 (8)5 外测度的计算 (10)6 小结 (11)参考文献 (12)外测度的性质与计算1 引言在19世纪时,数学家们已经认识到,仅有连续函数与Riemann 积分的古典理论已不足以解决数学分析中的许多问题,为了克服Riemann 积分在理论上的局限性,必须改造原有的积分定义,建立一种新型积分.19世纪下半叶,不少分析学家进行一系列扩充长度和面积概念的探索,逐渐形成测度概念,1898年,Borel 建立了一维Borel 点集的测度,法国数学家Lebesgue 在1902年他的博士论文《长度、面积和积分》中系统的建立了测度论,并成功的建立起新的积分理论--Lebesgue 积分（1915年,法国数学家弗雷歇提出在一般σ代数上建立测度,开始创立抽象测度理论,1918年,意大利数学家Caratheodory 关于外测度的研究,对于现代形式测度理论的形成起了关键作用.）.Riemann 积分忽视了函数的变化而只从定义域方面划分小区域来构造积分和,这样做的结果是将大量的函数排除在Riemann 可积函数类之外；Lebesgue 积分不是从分割自变量的区域而是从分割函数值域着手构造积分和.例设()x f 在[]b a ,上有界,满足()M x f m <<,作分割M y y y y m n 210=<<<<=令 (){}n i b x a y x f i ,2,1,,y x E 1-i i =≤≤<≤= ， 则对应于上面分割的积分和为i ni i mE y•∑=-11,其中i mE 为点集i E 的长度,这种积分的优点在于可以取1--i i y y 很小,使得积分和的近似程度很高,它将积分对象从Riemann 可积函数类扩充到更大一类函数——可测函数类.积分和计算的关键是点集i E 的度量，对于通常的区间i E 的度量就是区间的长度或体积，而对于一般的点集的度量就不是一件简单的事情，它涉及到在n R 中如何建立一般点集的一种度量方案，这就是Lebesgue 外测度与测度理论。
第三章 ,第一至二节 外测度
i 1
M ixi
b
n
(R)
a
f (x)dx lim ||T ||0 i1
f (i )xi
xi-1 xi • Riemann积分
下积分（内填） 达布下和的极限
b
n
a
f
(x)dx
lim
||T ||0
i 1
mi xi
xi-1 xi
外测度(外包)
定义： 设E Rn ， 记 mE inf{G : E G且G是开集} 并称之为E的外测度。
用 mEi 表示 Ei 的“长度”
n
(L)
[ a ,b ]
f
( x)dx
lim
0
i 1
i mEi
问题：如何把长度,面积,体积概念推广?
|E|应具有长度、面积和体积的度量性质，所以它应满足如下性质： 1、非负性 |E|>=0;
2、单调性 若E1⊂E2，则|E1|<=|E2|; 3、可加性 E1∩E2=Φ，则|E1 ∪E2|=|E1|+|E2|； 4、次可加性 |E1 ∪E2|<=|E1|+|E2|； 5、平移、旋转不变性：若E经平移、旋转变为E*，则
2、如果G1 ⊂G2 ， 则|G1| <=|G2|；
3、 UGj Gj
；
j 1
j 1
4、如果
{G
j
} j 1
互不相交，则 UGj Gj
。
j 1
j 1
第二节 点集的外测度
•圆的面积
外切正n边形的面积（外包）
n 1 2Rtg 2
2
外测度总结
外测度总结外测度是用来评估研究中所使用的测量工具（例如问卷）的有效性和准确性的一种方法。
它关注的是测量工具与其他相关测量工具或标准的相关性和一致性。
1. 介绍外测度是研究中非常重要的一环，它能够帮助研究者评估他们所使用的测量工具的质量和合理性。
通过外测度，研究者可以确定他们所使用的测量工具能否准确地度量研究对象的特征或变量。
2. 外测度的目的外测度的主要目的是评价测量工具的可靠性和效度。
可靠性指的是测量工具的稳定性和一致性：一个测量工具如果能够在不同的时间和不同的情境下产生相同的结果，则可以说它具有高可靠性。
而效度则是指测量工具能够准确地度量所要衡量的概念的能力。
3. 外测度的方法外测度的常用方法包括：a. 相关性分析相关性分析用于评估测量工具与其他相关测量工具或标准之间的相关性。
通常使用皮尔逊相关系数来衡量两个变量之间的线性相关性。
如果测量工具与其他工具或标准的相关系数高，则说明测量工具具有较好的外测度。
b. 因素分析因素分析可以帮助研究者确定测量工具是否能够捕捉到所要衡量的概念的多个维度。
通过因素分析，研究者可以确定测量工具的结构和内在因素之间的关系。
c. 内部一致性分析内部一致性分析用于评估测量工具内部各项指标之间的一致性。
常用的内部一致性分析方法包括Cronbach’s alpha系数和Kuder-Richardson公式20（KR-20）。
如果测量工具各项指标之间的一致性较高，则说明测量工具具有较好的内部一致性。
4. 外测度的优点和局限性外测度的优点包括：•可以提供对测量工具的整体质量进行评估的方法。
•可以帮助研究者确定测量工具的可靠性和效度。
•可以帮助研究者调整和改进测量工具，以更好地适应实际研究需求。
外测度的局限性包括：•外测度只能提供相对的评估结果，并不能确切地说明测量工具的质量。
•外测度的结果受到样本和环境等因素的影响，可能不具有普遍性和泛化性。
5. 结论外测度是评估测量工具有效性和准确性的重要方法。
2.1外测度与测度
的面积．因此，积分的定义以及一个函数的可积性，是与相 应的下方图形面积如何确定以及面积是否存在密切相关．从 这一角度看问题，过去我们所说的不可积函数 f ，就反映在 平面点集 G ( f ) 的“面积”不存在的问题上．于是，如果我们 想要建立能够应用于更大函数类的新的积分理论，自然希望 把原有面积概念加以推广，以使更多的点集能够具有类似于 面积性质的新的度量． 总之，我们希望对于一般的 n 中的点集 E 给予一种度 量，它是长度、面积以及体积的概念的推广．如果记点集 E 的这种度量为 m( E ) ， 那么自然应要求它具有某些常见的性质 或满足一定的条件． 此时， 称度量 m( E ) 为 E 的测度， 以 1 为 例，我们提出条件： （1） m( E ) 0 ；
证毕． 例 1 设 E 为[0，1]中的全体有理数，则 m* E 0 ． 证明 因为 E 为可数集，故记 E {r1 , r2 ,..., rn ,...} ，现对任意
0， 取 I n rn n1 , rn n1 ，n 1, 2, ． 显然 E I n ， 2 2 n 1 n 1 n 1
n
i 1 i 1
（4）设 A, B n ，若 ( A, B ) 0 ，则
m * ( A B) m * A m * B （隔离性） ．
证明
（1）显然成立．下面只证（2） （3） （4） ．
（2） 因为对任意覆盖 A 的开长方体列 I i ，即 A I i ，
K ，含有 B 中点的 K
n
m
作为一类记为 K n ，则 A K n ，
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
在某个 n，使 rnx，这样 xrn Sn。
即
(0,1)Sn
。
综上n得1(0,1) Sn(1,2)。如果外测
度具有可加性，则 n1
第8讲 外测度
1 m * ( 0 , 1 ) m * ( S n ) m * S n m * ( 1 ,2 3 )
SnSm，则存在 x,yS ，使 x r n y r m， 于是 xyrm rn 为有理数，但由 S的构造， 若 xy，则 x,y 属于不同的 Rx,Ry ，即 xy不 能为有理数，因此只能有 xy ，然而这将导
致rn rm，再次得到矛盾，所以Sn与Sm一定不交。
第8讲 外测度
下证 (0,1)Sn ，任取 x(0,1)，则 xRx ， 由 S的构造，n1SRx是单点集，设为{ }，于
集合都具有可加性。事实上，如果对任意
第8讲 外测度
两个不交的集合A,B都有 m *(A B )m *A m *B ，
则不难推知对任意有限个互不相交的点集
E1, ,En，也有 m *( nEi) nm *Ei
进而对任意一列互不相交i1 的点集Ei1 ,1 ,En,，
有 m * ( E i) m * ( n E i) n m * E i
所以对任意有限个盖住 I 的开矩形 I1,,In， n
有 | Ii | | I | 。
i1
第8讲 外测度
下设Iii1是任一列开矩形将I 盖住，则由有
限覆盖定理知存在n 有限个Ii1,,Iim，它们也
将 I 盖住，于是 | Iik | | I | ，进而
|
i1
Iቤተ መጻሕፍቲ ባይዱ | | I |
k1
。由 Ii
i1
第8讲 外测度
应该注意到，由于没有假定 E是有界集，所 以 m*E 有可能是 ，就象 (a,) 的长度 是 一样。
由于在 Rn 中任意平移一个长方体并不 改变其体积，所以外测度也具有平移不变 性，此外外测度还有如下几个基本性质：
第8讲 外测度
性质1 m *E0,m * 0。
性质2 若 AB， 则 m*Am*B。
Rx{(0,1),x是有}理数
显然 xRx ，故 Rx非空，而且对任意 x,y(0,1)，
如果 RxRy，则 Rx Ry 。事实上，若
RxRy ，则对任意 Rx 及 ~Ry ，
x,x均为有理数，x,x也为为理数，
于是 y y 及 ~ x ~ x
第8讲 外测度
都为有理数，这说明 Ry，~Rx，由 ,~ 的任
第8讲 外测度
目的：懂得如何从长方体的体积概念导出 外测度概念，了解外测度与体积概 念的异同。
重点与难点：外测度的定义，不可测集的 存在性。
第8讲 外测度
正如引言中所说，要研究一般函数的 积分，首先要建立一般集合的“长度”概 念，这一工作可以追溯到19世纪人们关于 容量的研究，其中具有代表性的人物是 Peano（皮严诺）、Jordon（约当）以及 Lebesgue的老师Borel（波雷尔）。然而， Lebesgue的工作替代了十九世纪的创造， 特别是他改进了Borel的测度论。
如(a 果,b开) 区 间I{nIn }E n，1因}盖此住一了种自(a 然,b 的)方式E 是，定则义
n1
E的内测度为：
第8讲 外测度
m * E b a m * (a ,( b ) E )
当 m*Em*E时，称 E是可测集。 直观地解释内测度就是将 (a,b) 挖去一些
开区间后剩下部分的长度之上确界。回忆一下直 线上有界闭集的构造不难发现，内测度其实就是
3与可加性又是必须具备的条件。由此可见，问 题不在于外测度的定义方法有毛病，而是碰到了一 种无法克服的困难。换句话说，总有一些集合，其 测度是不具有可加性的，既然无法克服这个困难， 最好的办法是把这些集合排除在外，只考虑那些具
第8讲 外测度
有可加性的集合。我们把前者称为不可测集，后者 称为可测集。
记 I0IIk1，i1则 I 0 仍是从矩形中挖去有限 个开矩形后剩下的部分，且 I1,,Ik 将
I0IIk1盖住（事实上，不难证明：
IIk 1IIk 1）。由归纳假设知
第8讲 外测度
k
| Ii | | I0 | ，
i1
于是
k1
k
|Ii| |I||Ik1||Io||Ik1|
i1
i1
I0IIk1I
一列开长方体，In E ，则 I n 确定一
u 个非负的数 （或n1）。记 n1
m *Einu f|u |In|, In E ,In是开长
n 1 n 1
称 m*E为 E的Lebesgue外测度。
第8讲 外测度
二. 外测度的性质 问题4：回忆Riemann积分具有什么性 质，由此猜测外测度应具有什么 性质？
众所周知，在 R2 中，开矩形
I ( x ,y ) a x b , c y d
的面积为 (b a ) (d ，c )在 R3 中，开长方体
I ( x , y , z ) a x b , c y d , l z h
的体积为 ( b a ) ( d c ) ( h l) 。很自然地，
n 1
n 1
注意 Sn 是经过 S平移 rn 后得到的，故
m*Snm*S，于是由
m*Sn
n1
的收敛性知
m*S0
，
然而这样导致 103。这个矛盾说明外测度的
确不具有可加性。
第8讲 外测度
问题出在哪里呢？是不是外测度的定义有缺 陷？从上面的例子可以看到，整个的证明并未用到 外测度的具体构造，这就是说，只要一种关于集合 的函数（常称为集函数）具备性质1、2、3及可加 性，就不可避免地会碰到上述矛盾。而性质1、2、
这说明外测度确是“体积”（或“面 积”、
“长度”）概念的自然拓广。至此，集合的
第8讲 外测度
“体积”问题似乎已得到解决，但事情远非 如
此简单。
既然A 外B测 度是体积概念m *(的A 自B )然m * 推A 广m *B ，
那么当
时，应有
。
因为区间的长度或立体的体积都是具有可
加性的。遣憾的是，外测度并非对所有的
我们也称 Rn 中的开集
I ( x 1 , x 2 , , x n ) a i x i b ii 1 , n ,
第8讲 外测度
为开长方体，并定义其体积为
n
I (bi ai)
i1
如果 ERn是一个一般的集合怎么办呢？熟 悉Riemann积分的人可能比较自然地会想 到，用一些长方体去分割它，然后以长方体 的体积之和近似代替 E的体积。但值得注意 的是，由于 E是一般的集合，它可能不含任 何开长方体，例如若 E是有理数
上述方式定义的外测度是不是长方体体 积概念的一种推广呢？
这就要看看当 I 是长方体时，其体积与外测 度是否相等。为方便计算，以 n2为例来说 明这件事，一般情形可类似证明。假设 I 是
矩形或是从某个矩形挖去有限个开矩形后剩
第8讲 外测度
下的部分，I 是 I 的闭包（显然 I 与 I有通
常的体积）。下面用归纳法证明，如果
n1
n1
看起来似乎外测度概念推广了通常的体 积概念，我们所期待的问题已经解决，但 是，当我们完成了在某个原始概念基础上推 广或建立一个新的概念后，首先必须回过头
第8讲 外测度
来审查一下这一概念是否具有合理性，所谓 合理性就应包括下面两个方面的问题：
1、它是否的确为原始概念的自然推广？ 2、它是否继承了原始概念的基本特征？按
，且
n1
n1k1
于是 n 1 k 1 |I n|k n 1 ( m * A n 2 n ) n 1 m * A n
m * ( A n ) |In|k m * A n,
n 1
n 1k 1
n 1
第8讲 外测度
由 的任意性知
m*( An) m*An 。
i 1
i 1 i 1
第8讲 外测度
令 n 便知
m *( E i) m *E i 相反的不等式由外i测1度的性i 质13立得，所以
m *( E i) m *E i 这就是说，只要外i 测1度具有i 可1加性，则它一
定具有可数可加性。然而下面的例子说明，
外测度并不具有这种性质。
第8讲 外测度
例1 对任意 x(0,1)，令 x(0,1)
第8讲 外测度
三. 可测集的定义 问题6：回忆Riemann积分的存在性定理，
它启发我们应如何定义一般的可测 集？
第8讲 外测度
如何判断一个集合是可测或不可测的呢？有两种方 法来作出判断，其一是采用内外测度的办法，回忆 微积分中求曲边梯形的面积时，通过将函数的定义 区间分割成若干小区间，然后以这些小区间为边作 若干小矩形包住曲边梯形，同时又让曲边梯形包住 以这些小区间为边的另一些小矩形，如果当划分越 来越细时，内外小矩形面积之和趋于同一个值，则 曲边梯形的面积就存在。否则就不存在，内外测度
方法与此很相似，集合E 的外测度是包住E 的一些
小长方体和体积之和的下确界，如何作内测度呢？
第8讲 外测度
为叙述方便，以直线上有界点集 E为例，不妨 设E(a,b)，若 E 可测，(a,b)E也应可测，
于是应有 m * ( a , b ( ) E ) m * ( a , b ) m * E b a m * E 。
m*II I 。
的任意性知
由外测度的定义，不难看到 m*(II)0。于
是
第8讲 外测度
m * I m * ( I ) m * ( I I ) m * I m * I
即 m*Im*I。 故 m*I I 。特别地，当 I是
长方体时，m*I I 。至于相反的不等式则是 显然的。综上得 m*I I 。