第三章测度论
实变函数 第三章 测度论习题解答
第三章 测度论习题解答1.证明：若E 有界，则+∞<E m *。
证明 E 有界，必有有限开区间E 使得I E ⊂,因此+∞<≤I m E m **.2.证明可数点集的外测度为零证明 设E ，对任意0>ε，存在开区间i I ，使得i i I x ∈，且i i I 2ε=（在p R 空间中取边长为pi2ε的包含i x 的开区间i I ），所以E Ii i⊃∞= 1，且ε=∑∞=1i i I ，由ε的任意性得0*=E m 。
3.设E 是直线上一有界集合0*>E m ，则对任意小于E m *的正数c ，恒有E 的子集1E ，使c E m =1*。
证明 设x b x a Ex Ex ∈∈==sup ,inf ，则[]b a E ,⊂，令[]E x a E x ,⊂，b x a ≤≤，)(x f =x E m *是[]b a ,上的连续函数；当0>∆x 时，xx x x m E E m E m E m x f x x f x x x x x x ∆=∆+≤-≤-=-∆+∆+∆+),()()()(****于是当0→∆x用类似方法可证明，当0>∆x ，0→∆x 时，)()(x f x x f →∆-，即)(x f 是[]b a ,上的连续函数。
由闭区间上连续函数的介值定理)(a f={}0)(**==a E m E m a ，)(b f =[]E m b a E m **),(= ，因此对任意正数c ，E m c *<，存在[]b a x ,0∈，使c x f =)(0， 即[]c E x a m E m x ==),(0**0 ，令[]E E x a E ⊂= 01,，则c E m =1*。
4.设n S S S ,,,21 是一些互不相交的可测集合，n i S E i i ,,2,1, =⊂，求证 n n E m E m E m E E E m *2*1*21*)(+++=证明 因为n S S S ,,,21 是一些互不相交的可测集合，由§2定理3推论1，对任意T有∑===ni i ni i S T m S T m 1*1*)()( ，特别取 ni i S T 1==，则i i nj j i E S E S T === )(1，ni in i i ES T 11)(===，所以∑∑=======ni i ni i ni i ni i E m S T m S T m E m 1*1*1*1*)())(()( 。
测度论简要介绍
测度论简要介绍测度论是数学中的一个重要分支，主要研究测度空间及其上的可测集合和测度函数。
测度论在实分析、概率论、数学物理等领域有着广泛的应用，是现代数学中不可或缺的基础理论之一。
本文将简要介绍测度论的基本概念、性质和应用。
一、测度的基本概念1.1 测度空间在测度论中，我们首先要定义测度空间。
测度空间是一个三元组$(X, \Sigma, \mu)$，其中$X$是一个集合，$\Sigma$是$X$上的一个$\sigma$代数，$\mu$是定义在$\Sigma$上的测度。
测度通常用来度量集合的大小，类似于长度、面积和体积等概念。
1.2 可测集合在测度空间中，$\Sigma$中的元素称为可测集合。
对于一个给定的测度空间，我们可以定义一个测度函数$\mu$，用来度量可测集合的大小。
常见的测度包括勒贝格测度、勒贝格-史蒂尔捷斯测度等。
1.3 测度的性质测度函数$\mu$通常具有以下性质：（1）非负性：对于任意可测集合$E$，$\mu(E) \geq 0$；（2）空集的测度为零：$\mu(\emptyset) = 0$；（3）可数可加性：对于任意可数个两两不相交的可测集合$\{E_n\}$，有$\mu(\bigcup_{n=1}^{\infty} E_n) = \sum_{n=1}^{\infty}\mu(E_n)$。
二、测度论的应用2.1 实分析中的应用在实分析中，测度论被广泛应用于研究函数的性质、积分的定义和性质等问题。
勒贝格积分就是建立在测度论的基础上，通过对可测函数的积分来定义积分运算，为实分析提供了坚实的理论基础。
2.2 概率论中的应用在概率论中，测度论也扮演着重要角色。
概率空间可以看作是一个测度空间，样本空间是全集，事件是可测集合，概率测度则是定义在事件上的测度函数。
通过测度论的方法，我们可以建立概率论的基本理论，研究随机变量、随机过程等概率模型。
2.3 数学物理中的应用在数学物理领域，测度论也有着重要的应用。
实变3-4
m( limE n） limm( E n )。 ≥
n →∞ n →∞
证明： En = ∩ ∪ En，由于{ ∪ En：k ∈ N }为递减集列，则 lim
n →∞ k ≥1 n ≥ k n ≥k k ≥1 n ≥ k
∩ ∪ En = lim ∪ En；而当k充分大时（k ≥ k 0），m( ∪ En） m( ∪ En） +∞, ≤ <
k →∞ n ≥ k n≥k n ≥ k0 n →∞ k →∞ n ≥ k k →∞ n ≥ k k ≥k 0
⇒ 由可测集列的上连续性知：m( limEn） m( lim ∪ En ) = m( lim ∪ En ) = = lim m( ∪ En ) = limm( ∪ En ) ≥ limm( Ek ) = limm( En ).
n →∞ n →∞ n →∞ n →∞
9.
设E ⊆ R，则m( E ) > 0, 则存在x0 , x1 ∈ E使得：x1 − x0.为无理数。 证明：显然E不是至多可数集， G = {x − x0. | x ∈ E}, ⇒ 显然， = E > ℵ0 , 故G中至少含一个无理数y，即∃x1 ∈ E , x1 − x0. = y. G
而由习题 2 知： m ( G 1 ∪ G 2 ) + m ( G 1 ∩ G 2 ) = m ( G 1 ) + m ( G 2 )；
∗ 而 m（ A ∪ B ） m ∗ ( A ∩ B ) +
≤ m (G1 ∪ G 2 ) + m (G1 ∩ G 2 ) = m (G1 ) + m (G 2 )
2.R n空间中lebesgue测度的常见性质： 空间中lebesgue测度的常见性质： （定义中10条除外） （定义中10条除外）
第三章 测度论
第三章 测度论教学目的：1.掌握外测度定义及其性质.2.掌握可测集及其性质. 重点难点：要引导学生注意外测度与测度之间的重要差别，测度概念抽象，要与具体点集诸如面积体积等概念进行比较.引 入Lebesgue 测度是长度、体积、重量的推广，对于区间],[b a ，a b -是区间长度，对于矩形 ，ab S =是面积.问题:对任意一个集合R E ⊂,能否定义一个“长度”的概念?不妨记其为E ,这就是本章的内容.上一章我们由个数推广到基数,由开区间推广到开集,此处如何推广?对两个区间 ,其“长度”为每个区间长度之和,三个区间类似,那么可数个区间呢?如开集),(1n n n b a G ∞== ,则长度∑∞=-=1)(n n n a b G (长度允许无穷大)可见开集可以定义长度.到此为止并不满意,因开集、闭集都行,但一般集合怎么办?如何定义 “长度”? 即:要考虑对任意集E ,?=E 希望nn E E ∞==1 ,n E E ∑=,而且定义的长度需满足一定的条件,如空集φ的长度为0等等.为此先介绍广义实数. 称λ为一个广义实数,如果R ∈λ或+∞=λ或-∞=λ.即广义实数全体就是在R 中加入了两个新“数”∞+和∞-.(i)广义实数的加法和减法: 若R a ∈,规定±∞=+±∞=±∞+a a )()(; ∞=±∞- )(a ;±∞=-±∞a )(; ±∞=±∞+±∞)()(;±∞=±∞+±∞)()(没有意义. (ii) 广义实数的乘法和除法: 若R a ∈,规定[]][2a 1b 1a 2b⎪⎩⎪⎨⎧∞∞±=⋅±∞=±∞⋅0)()( a a 000=<>a a a(注意此处不要与数分中不定式∞⋅0混同,0lim =n x , ±∞=n y lim ,那么?lim =n n y x 不确定,但此处的∞±指广义实数而不是变量) ;±∞=±∞⋅±∞)()(;-∞=∞⋅±∞)()( ;01=∞±;)(1±∞⋅=∞±a a )0(≠a (iii)广义实数的大小关系:规定+∞<∞-,此外对任何实数R a ∈,+∞<<∞-a .§3.1 引言若I 是一个有界区间,则I 的长度定义为它的两个端点的距离,记为)(I l ;若I 是一个无界区间,则定义I 的长度为∞,也记成)(I l .这样()()1)1,0(]1,0[==l l ,()∞=-∞]0,[l ,()∞=+∞],1[l .我们的目的是希望把上述仅对区间有定义的长度概念推广到更一般的实数集上去.不妨设上述的长度概念推广到R 上的一个集族Ω上.对任何Ω∈E (即E 是R 的一个子集),我们把它的长度记为)(E m .对Ω,我们希望满足下面三个条件:)(1Ω所有区间都是Ω中的元；)(2Ω若Ω∈E ,则Ω∈-=E R E c ；)(3ΩΩ中任意至多可数个元的并是Ω中的元.而对m ,我们希望它满足下面三个条件:)(1m 对每一个Ω∈E ,)(E m 是一个非负广义实数,即)(E m 或者是一个非负实数,或者是∞；)(2m 对每一个区间I ,)()(I l I m =；)(3m 若{}1≥n n E 是Ω中任何一列两两不相交的元,则)()(n n E m E m ∑= .注:),(m Ω是一起出来的,是一个关系.显然Ω可以构造,如Ω是R 的子集全体,但无m 满足的三条)(1m ～)(3m .现在R 上随便拿一个集合E ,有开集包含它(如取R G =),则)()(G m E m ≤,而对于开集G ,我们知道∑∞=-=1)(n n n a b G ,所以≤)(E m ∑∞=-1)(n n na b,于是)(E m 可以定义为∑∞=-1)(n n na b的下确界,即包含E 的所有开集G 的长度的下确界.这是一种办法.还有另一种办法:对任意集合R E ⊂,可否拿来闭集F ,使F E ⊃?可以(如取E 中一点作为F ),则)()(E m F m ≤.这样,所有包含在E 里的闭集F 的长度取上确界得)(E m .但G E F ⊂⊂所定义的长度是否满足三条)(1m ～)(3m ?若)(F m 的上确界与)(G m 的下确界相等,则由两边夹就可能定义)(E m .§3.2 Lebesgue 外测度外测度即)(G m 的下确界. 对R E ⊂)(*E m {}nn n n n n I E I I l ⊂∑=≥是一列开区间并且1}{:)(inf称为E 的Lebesgue 外测度,其中)(n I l 是开区间n I 的长度 (由于开集G是至多可数个两两不相交的开区间的并,所以以上直接用开区间.(我们希望)(*E m 就是前面的m ,满足三条,但不行) .例:设{}1≥n n r 是有理数全体(即{}1≥=n n r Q ),求)(*Q m .解:任取0>ε,)2,2(11+++-=n n n n n r r I εε,则nn I Q ∞=⊂1 ,εε=∑=∑∞=∞=nn n n I l 2)(11所以)(*Q m ε=∑≤∞=)(1n n I l由ε的任意性, 0)(*=Q m .可见,从测度(长度)的观点来说,虽然Q 密密麻麻,但其外测度却是0.由上例可知，R 中任何至多可数子集的外测度为0。
可测集类
(1).若E可测，则存在Gδ 型集 O, 使 E ⊂ O且m(O − E ) = 0 若 可测 可测， (2).若E可测，则存在 Fσ 型集 使 H ⊂ E且m( E − H ) = 0 若 可测 可测， 型集H,
证明： 已证明， 证明：若(1)已证明，由Ec可测可知 已证明
∃Gδ 型 O，使得 E c ⊂ O且 m (O − E c ) = 0
∀ 1 , ∃ 开区间列 { I ni }, 使得 E ⊂ ∪ I ni 且 m * E ≤ n
i =1 ∞
∑
i =1
∞
| I ni | ≤ m * E +
1 n
令 G n = ∪ I n i , 则 G n 为 开 集 ， E ⊂ G n， 且
i =1
∞
m*E ≤ mGn ≤
∞
∑
∞
i =1
m I ni ≤
( 2 ) 若 E 可测，则 ∀ ε > 0 , ∃ 闭集 F ， 使得 F ⊂ E 且 m ( E − F ) < ε
(1) 若 E 可测，则 ∀ ε > 0 , ∃ 开集 G ， ) 若 E 可测，则 ∀ ε > 0 , ∃ 闭集 F ， (2 使得 E ⊂ G 且 m ( G − E ) < ε
∃开集Gn，使得E ⊂ Gn且m (Gn − E ) <
∞ n =1
∗
1 n
令 O = ∩ G n， 则 O 为 G δ 型 集 ， E ⊂ O 且
m∗ (O − E ) ≤ m∗ (Gn − E ) ≤ 1 , n = 1,2,3,L n
故m (O − E ) = 0
从而E = O − (O − E )为可测集
H 取H=O c，则H为Fσ 型集 ， ⊂ E 且 为
《实变函数》第三章_测度论
第三章 测 度 论（总授课时数 14学时）教学目的 引进外测度定义，研究其性质，由此过渡到可测集本章要点 要引导学生注意外测度与测度之间的重要差别 ，测度概念抽象，要与具体点集诸如面积体积等概念进行比较.§1、外测度教学目的1、掌握外测度的定义及其基本性质.2、理解区间及有理点集的外测度及其证明方法.本节要点 外测度的定义及其基本性质. 本节难点 外测度的定义. 授课时数 4学时——————————————————————————————一、引言(1) Riemann 积分回顾（分割定义域）||||01()()lim()nbiiaT i R f x dx f x ξ→==∆∑⎰，1ii i xx x -∆=-，1i i i x x ξ-≤≤积分与分割、介点集的取法无关。
几何意义（非负函数）：函数图象下方图形的面积。
（2）新的积分（Lebesgue 积分,从分割值域入手）记1{:()}i i i E x y f x y -=≤<，1i i i y y ξ-≤<，则[,]1()()lim ni i a b i L f x dx mE δξ→==∑⎰问题：如何把长度,面积,体积概念推广? 达布上和与下和上积分（外包）（达布上和的极限）||||01()limnbiiaT i f x dx M x →==∆∑⎰下积分（内填）达布下和的极限||||01()limnbiiaT i f x dx m x →==∆∑⎰二、Lebesgue 外测度(外包)1．定义：设 n E R ⊂，称非负广义实数*({})R R ⋃±∞=11inf{||:,i i i i i m E I E I I ∞∞*===⊂⋃∑为开区间}为E 的Lebesgue 外测度。
下确界：（1）ξ是数集S 的下界，即x S ∀∈，x ξ≤（2）ξ是数集S 的最大下界，即0,,x S ε∀>∃∈使得x ξε≤+11inf{||:,i i i i i m E I E I I ∞∞*===⊂⋃∑为开区间}0,ε∀>∃开区间列{},i I 使得1i i E I ∞=⊂⋃且**1||i i m E I m E ε∞=≤≤+∑即：用一开区间列{}i I “近似”替换集合E例1 设E 是[0,1]中的全体有理数，试证明E 的外测度为0. 证明：由于E 为可数集，故不妨令123[0,1]{,,,}E Q r r r =⋂=0,ε∀>作开区间11(,),1,2,3,22i i i i i I r r i εε++=-+=则1i i E I ∞=⊂⋃且111||2i i i i I εε∞∞+====∑∑，从而*m E ε≤ ，再由ε的任意性知*0m E =思考：１. 设E 是平面上的有理点全体，则E 的外测度为0提示：找一列包含有理点集的开区间112212((,),1,2,3,i i i i i i i I r r r r r r Q Q i =⨯-∈⨯=2.平面上的x 轴的外测度为0提示：找一列包含x 轴的开区间11(1,1)(,),1,2,3,22i i i i i i I r r r Z i εε++=-+⨯-∈=，3. 对Lebesgue 外测度，我们用可数个开区间覆盖[0,1]中的有理数全体，是否这可数个开区间也覆盖[0,1]（除可数个点外）.注：对可数个开区间不一定有从左到右的一个排列（如Cantor 集的余集的构成区间） 2．Lebesgue 外测度的性质（1）非负性：0m E *≥，当E 为空集时，0m E *= （2）单调性：若A B ⊂，则m A m B **≤证明:能覆盖B 的开区间列也一定能覆盖A ，从而能覆盖B 的开区间列比能覆盖A 的开区间列要少，相应的下确界反而大。
测度论简要介绍
测度论简要介绍测度论（Measure theory）是数学中的一个分支领域，主要研究集合的大小、度量和测度的概念。
它是现代数学分析的基础之一，广泛应用于概率论、统计学、函数分析等领域。
本文将对测度论的基本概念和主要结果进行简要介绍。
一、集合的测度在测度论中，我们首先需要定义集合的测度。
测度是一种将集合映射到实数的函数，用来度量集合的大小。
常见的测度有长度、面积、体积等。
在测度论中，我们希望能够给出一个满足一定性质的测度函数。
1. 外测度外测度是测度论中最基本的概念之一。
给定一个集合，我们可以通过一系列简单的操作来定义它的外测度。
首先，我们将集合划分为若干个小区间，然后计算每个小区间的长度之和。
最后，我们取所有可能的划分方式中的最小值作为集合的外测度。
2. 测度空间测度空间是指一个集合和一个在该集合上定义的测度构成的数学结构。
在测度空间中，我们可以对集合进行测度运算，比较集合的大小。
测度空间的定义需要满足一定的公理，如非负性、空集的测度为0、可数可加性等。
二、测度的性质测度论中的测度具有一些重要的性质，这些性质对于研究集合的大小和度量具有重要的意义。
1. 可测集在测度论中，我们将满足一定条件的集合称为可测集。
可测集是测度论中的基本对象，它们具有良好的性质和结构。
可测集的定义需要满足一定的条件，如可数可加性、闭性等。
2. 测度的可数可加性测度的可数可加性是测度论中的一个重要性质。
它表示对于可数个互不相交的集合，它们的测度等于各个集合测度的和。
这个性质在测度论中有着广泛的应用，特别是在概率论和统计学中。
3. 测度的完备性测度的完备性是指测度空间中的任意一个零测集的任意子集也是零测集。
这个性质保证了测度的一致性和完整性，使得我们可以对集合进行更精确的度量。
三、测度论的应用测度论在数学和其他学科中有着广泛的应用。
以下是测度论在一些领域的应用举例：1. 概率论测度论为概率论提供了坚实的基础。
概率论中的概率可以看作是一种特殊的测度，它度量了事件发生的可能性。
教学大纲_测度论
《测度论》教学大纲课程编号：120502B课程类型：□通识教育必修课□通识教育选修课□专业必修课□√专业选修课□学科基础课总学时：32 讲课学时：32 实验（上机）学时：0 学分：2适用对象：经济统计学、统计学先修课程：数学分析、概率论毕业要求：1.应用专业知识，解决数据分析问题；2.可以建立统计模型，获得有效结论；3.掌握统计软件及常用数据库工具的使用；4.关注国际统计应用的新进展；5.基于数据结论，提出决策咨询建议；6.具有不断学习的意识；7.扎实的数学基础和完整的统计知识体系；8.计算机编程技能与经济学基本常识。
一、教学目标测度论是现代数学的一个重要分支，同时也是现代概率理论的数学基础。
其在抽象空间上建立的包括积分和微分的一整套分析系统，已成为数学各分支的有力工具，在遍历论、随机过程、微分方程、微分几何、统计与金融数学等领域有着广泛而深刻的应用。
本课程旨在介绍测度论的基本概念和基本理论。
通过本课程的学习，使学生能初步掌握抽象空间上的测度与积分理论以及概率论的公理化体系，同时领会抽象概念和定理的直观涵义，为进一步的学习和研究提供必要的数学基础。
二、教学内容及其与毕业要求的对应关系（一）教学内容可测空间与单调类定理，测度空间与扩张定理，可测函数的积分与积分收敛定理，符号测度、不定积分、Radon-Nikodym导数与Lebesgue分解定理，乘积空间与Fubini定理。
（二）教学方法和手段教师课上讲授理论知识内容及相关基本例题，学生课下练习及教师答疑、辅导相结合。
（三）考核方式开卷，平时成绩占30%，期末成绩占70%。
（四）学习要求课上听讲，并独立完成课后作业。
三、各教学环节学时分配教学课时分配四、教学内容第一节集类1.集合代数2.集合代数的结构第二节可测空间1.西格玛代数2.可测空间的结构第三节单调类定理1.单调类2.单调类定理教学重点、难点：集类、可测空间的结构、单调类定理。
课程的考核要求：了解集类的概念，理解可测空间的结构、掌握单调类定理的证明与应用。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
第三章 测 度 论（总授课时数 14学时）教学目的 引进外测度定义，研究其性质，由此过渡到可测集本章要点 要引导学生注意外测度与测度之间的重要差别 ，测度概念抽象，要与具体点集诸如面积体积等概念进行比较.§1、外测度教学目的1、掌握外测度的定义及其基本性质.2、理解区间及有理点集的外测度及其证明方法.本节要点 外测度的定义及其基本性质. 本节难点 外测度的定义. 授课时数 4学时——————————————————————————————一、引言(1) Riemann 积分回顾（分割定义域）||||01()()lim()nbi i aT i R f x dx f x ξ→==∆∑⎰，1i i i x x x -∆=-，1i i i x x ξ-≤≤积分与分割、介点集的取法无关。
几何意义（非负函数）：函数图象下方图形的面积。
（2）新的积分（Lebesgue 积分,从分割值域入手）记1{:()}i i i E x y f x y -=≤<，1i i i y y ξ-≤<，则[,]1()()limniia b i L f x dx m Eδξ→==∑⎰问题：如何把长度,面积,体积概念推广? 达布上和与下和上积分（外包）（达布上和的极限）||||01()limnb ii aT i f x dx Mx →==∆∑⎰下积分（内填）达布下和的极限||||01()limnb iiaT i f x dx m x→==∆∑⎰二、Lebesgue 外测度(外包)1．定义：设 n E R ⊂，称非负广义实数*({})R R ⋃±∞=11inf{||:,i i i i i m E I E I I ∞∞*===⊂⋃∑为开区间}为E 的Lebesgue 外测度。
下确界：（1）ξ是数集S 的下界，即x S ∀∈，x ξ≤（2）ξ是数集S 的最大下界，即0,,x S ε∀>∃∈使得x ξε≤+11inf{||:,i i i i i m E I E I I ∞∞*===⊂⋃∑为开区间}0,ε∀>∃开区间列{},i I 使得1i i E I ∞=⊂⋃且**1||ii m E Im E ε∞=≤≤+∑即：用一开区间列{}i I “近似”替换集合E例1 设E 是[0,1]中的全体有理数，试证明E 的外测度为0. 证明：由于E 为可数集，故不妨令123[0,1]{,,,}E Q r r r =⋂=0,ε∀>作开区间11(,),1,2,3,22i i i i i I r r i εε++=-+=则1i i E I ∞=⊂⋃且111||2i i i i I εε∞∞+====∑∑，从而*m E ε≤ ，再由ε的任意性知*0m E = 思考：１. 设E 是平面上的有理点全体，则E 的外测度为0提示：找一列包含有理点集的开区间112212(((,),1,2,3,i i i i i i i I r r r r r r Q Q i =-+⨯-+∈⨯=2.平面上的x 轴的外测度为0提示：找一列包含x 轴的开区间11(1,1)(,),1,2,3,22i i i i i i I r r r Z i εε++=-+⨯-∈= ，3. 对Lebesgue 外测度，我们用可数个开区间覆盖[0,1]中的有理数全体，是否这可数个开区间也覆盖[0,1]（除可数个点外）.注：对可数个开区间不一定有从左到右的一个排列（如Cantor 集的余集的构成区间） 2．Lebesgue 外测度的性质（1）非负性：0m E *≥，当E 为空集时，0m E *= （2）单调性：若A B ⊂，则m A m B **≤证明:能覆盖B 的开区间列也一定能覆盖A ，从而能覆盖B 的开区间列比能覆盖A 的开区间列要少，相应的下确界反而大。
（3）次可数可加性**11()n n n n m A m A ∞∞==⋃≤∑证明：对任意的0ε>,由外测度的定义知，对每个n A 都有一列开区间（即用一开区间{}nm I 列近似替换n A ）12,,,,n n nm I I I 使得1n nm m A I ∞=⊂⋃且**1||2n nm n nm m A I m A ε∞=≤≤+∑从而111n nm n n m A I ∞∞∞===⋃⊂⋃⋃，且**,11111||||()2nm nmn n nn m n m n n I ImA mA εε∞∞∞∞∞======≤+≤+∑∑∑∑∑可见**1111()||n nmn n n m n m A ImA ε∞∞∞∞====⋃≤≤+∑∑∑由ε的任意性，即得**11()n n n n m A m A ∞∞==⋃≤∑注：（1）一般证明都是从大的一边开始，因为外测度的定义用的是下确界（2）外测度的次可数可加性的等号即使,A B 不交也可能不成立（反例要用不可测集），但有:若(,)0d A B >则*()()()m A B m A m B **⋃=+当区间i I 的直径很小时候，区间i I 不可能同时含有A ，B 中的点从而把区间列i I 分成两部分，一部分含有A 中的点，一部分含有B 中的点.例2 对任意区间I ，有||m E I *=.思考：书本中的证明用有限开覆盖定理的目的何在？ 此例说明Lebesgue 外测度某种程度是区间长度概念的推广例3 Cantor 集的外测度为0.证明：令第n 次等分后留下的闭区间为()1,2,2n ni I i =从而222**()()11112()()||033nnnnn n iin i i i m P m I I===⎛⎫≤⋃≤≤=→ ⎪⎝⎭∑∑0m P *=故注：称外测度为0的集合为零集；零集的子集，有限并，可数并仍为零集.——————————————————————————————作业：P75 1, 2练习题1 如果将外测度的定义改为“有界集E 的外测度是包含E 的闭集的测度的下确界.”是否合理？2 设A B ⋂=∅，问在什么条件下有**()m A B m B +=3 对于有界集1E R ⊂，是否必有*m E <+∞？4设E 是直线上的一有界集，0m E *>，则对任意小于m E *的正数c ，恒有子集1E ，使1m E c *=§2 可测集合教学目的1、深刻理解可测集的定义，学会用Caratheodory 条件验证集合的可测性.2、掌握并能运用可测集的性质.本节要点 学会用Caratheodory 条件验证集合的可测性.本节难点 用Caratheodory 条件验证集合的可测性. 授课时数 4学时——————————————————————————————Lebesgue 外测度(外包)11inf{||:i i i i i m E I E I ∞∞*===⊂⋃∑且I 为开区间}0,ε∀>∃开区间列{},i I 使得1i i E I ∞=⊂⋃且**1||ii m E Im E ε∞=≤≤+∑即：用一开区间列“近似”替换集合E 次可数可加性(即使n A 两两不交) **11()n n n n m A m A ∞∞==⋃≤∑一、可测集的定义若,n T R ∀⊂有*()()c m T m T E m T E **=⋂+⋂（Caratheodory 条件），则称E 为Lebesgue 可测集，此时E 的外测度称为E 的测度，记作m E .注：Lebesgue 开始也是利用外测度与内测度相等定义可测集，但此方法对处理问题很不方便，故我们采用上述方法.例1：零集E 必为可测集证明：n T R ∀⊂，有***()()()()()c m T m T E m T E m E m T m T ***≤⋂+⋂≤+≤ 从而*()()c m T m T E m T E **=⋂+⋂即E 为可测集。
二、Lebesgue 可测集的性质（1）集合E 可测（即*,()()n c T R m T m T E m T E **∀⊂=⋂+⋂有,,cA EB E ⇔∀⊂⊂有*()()()m A B m A m B **⋃=+证明：(充分性）nT R ∀⊂，,cA T EB T E =⋂=⋂令即可(必要性)令T A B =⋃（2）若,,i A B A 可测，则下述集合也可测11,,,,,ci i i i A A B A B A B A A ∞∞==⋃⋂-⋂⋃即可测集类关于差，余，有限交和可数交，有限并和可数并，以及极限运算封闭； 若A B ⋂=∅，则n T R ∀⊂，有*(())()()m T A B m T A m T B **⋂⋃=⋂+⋂注:上式由前面可测集的等价刻画立刻可得 若i A 两两不交，则（测度的可数可加性）11()i ii i m A m A∞∞==⋃=∑若,A B 可测，,,A B mA ⊂<+∞则有可减性()m B A mB mA -=-证明：由可测集的定义：n T R ∀⊂有*()()c m T m T E m T E **=⋂+⋂ 易知c A 可测若A B ⋃可测已证明，则易知()c c c A B A B ⋂=⋃，c A B A B -=⋂也可测。
若当i A 为两两不交时，1i i A ∞=⋃可测已证明，则通过令11n n n i i B A A -==-⋃可把一般情形转化为两两不交的情形，通过取余即可证明1ni i A =⋂下面证明若,A B 可测，则A B ⋃可测 证明：n T R ∀⊂，有*(())(())cm T m T A B m T A B **≤⋂⋃+⋂⋃**((1)(2))((3)(4))m m m m **≤+++*((1)(2))((3)(4))m m *=⋃+⋃（B 可测） *((1)(2)(3)(4))m =⋃⋃⋃（A 可测）*()m T =从而*(())(())cm T m T A B m T A B **=⋂⋃+⋂⋃下面证明若i A 两两不交，则11()i ii i m A m A∞∞==⋃=∑证明：nT R ∀⊂，有*11(()(())nnc i i i i m T m T A m T A **===⋂⋃+⋂⋃*11(()(())nci i i i m T A m T A ∞*==≥⋂⋃+⋂⋃*11()(())nci i i i mT A m T A ∞*===⋂+⋂⋃∑从而*11()(())ci i i i m T m T A m T A ∞∞**==≥⋂+⋂⋃∑*11(())(())ci i i i m T A m T A ∞∞*==≥⋂⋃+⋂⋃ （*）另外显然有 *11(())(())ci i i i m T m T A m T A ∞∞**==≤⋂⋃+⋂⋃从而1i i A ∞=⋃可测，并用1i i T A ∞==⋃代入（*）式，即得结论例2：设[0,1]中可测集12,,,n A A A 满足条件11ni i m A n =>-∑，则1n i i A =⋂必有正测度。