10、开集体积、点集外测度
第三章测度理论
第三章 测度理论本章先介绍集合的外测度定义与性质,然后引入可测集的定义、讨论可测集的性质,最后研究了可测集的构造。
其目的在于为改造积分定义时对分割、求和所涉及的不太规则集合求相应的“长度”、“面积”、“体积”。
§3.1 外测度本节仍设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 +=.。
测度与外测度的区别
测度与外测度的区别在数学中,测度和外测度是两个重要的概念,它们在测度论、实分析等领域有着广泛的应用。
虽然它们都涉及到度量空间中集合的大小或长度,但它们之间存在着一些明显的区别。
本文将从定义、性质和应用等方面对测度和外测度进行详细的比较,以便更好地理解它们之间的异同。
### 1. 测度的定义与性质**测度**是一种函数,它将集合系统映射到实数集合,用来度量集合的大小。
设X是一个非空集合,Σ是X的幂集(即X的所有子集构成的集合),如果定义在Σ上的函数μ满足以下三个性质,则称μ为X上的一个测度:1. 非负性:对于任意E∈Σ,有μ(E)≥0;2. 空集的测度为0:μ(∅)=0;3. 可数可加性:对于任意可数个两两不相交的集合{Ei},有μ(∪Ei)=Σμ(Ei)。
测度的定义主要用于度量集合的大小,常见的测度有勒贝格测度、勒贝格-史蒂尔捷斯测度等。
### 2. 外测度的定义与性质**外测度**是一种更一般的测度概念,它可以应用于任意集合,不仅限于幂集。
给定一个集合X,对X的任意子集E,定义一个函数m*,称为E的外测度,如果m*满足以下性质:1. 非负性:对于任意E⊆X,有m*(E)≥0;2. 空集的外测度为0:m*(∅)=0;3. 单调性:若A⊆B,则m*(A)≤m*(B);4. 可数次可加性:对于任意可数个集合{Ei},有m*(∪Ei)≤Σm*(Ei)。
外测度的定义更加一般化,适用范围更广,但也更加复杂。
### 3. 测度与外测度的区别1. **定义范围不同**:测度是定义在集合的幂集上的函数,而外测度是定义在任意集合的子集上的函数,因此外测度的适用范围更广。
2. **性质要求不同**:测度要求可数可加性,而外测度只要求可数次可加性,这导致了外测度的性质相对于测度来说更弱一些。
3. **应用领域不同**:测度常用于度量空间中的集合大小,如勒贝格测度用于测量实数集合中的长度,而外测度则更广泛地应用于测度论、拓扑学等领域。
第三章_测度论
n
推广:设 S i 1 ,2 ,. . . ,n )可测,则 i(
i1
S i 也可测,并且当 S S , i j
i j,
n n 对于任意集合T总有 m T S mT S i ( i) 1 1 i i
(4)设 S 1 , S 2 可测,则 S1 S 2 也可测。
i1
| Ii ( |
可以等于 ,不同的区间列
i1
E
i 1
I i i 1
| I
i
|
例题 1:有限点集的外测度是0.
例题 2:可数点集的外测度为0.
设E为[0,1]中的全体有理数,则 m E 0
可得到:有理数所成之集是零测集。
2、勒贝格外测度性质 (1) m 0 (2)非负性:m E 0
n
推广:设 S i 1 ,2 ,. . . ,n ) 可测,则 i(
S i 也可测。
i1
(5)设 S 1 , S 2 可测,则 S1 S 2 也可测。 (6)设{ S i } 是一列互不相交的可测集,则 S i 也是可测集,且
i1
m Si mSi i1 i1
i 1
S lim m S Si limSn ,则当 mS1 时, m n
n
n
3、勒贝格测度性质 (1) m() 0 (2)非负性:m E 0
Am B (3)单调性:设A , B 可测,且 A B ,则 m
(4)可列可加性:设 { E i } 是一列互不相交的可测集 m Ei m E i i1 i1
当格子越来越密时,小正方形的面积趋于0,过剩和不足近似值能够
第三章测度
第三章可测集合一、内容结构在R积分的情形,被积函数的定义域是区间或简单区域, 定义域的度量有明确的意义——长度、面积或体积。
在实变函数论中,被积函数的定义域是可测点集,推广积分的概念,首先要定义一般点集的度量,就是本章讨论的集合测度。
测度理论的建立有多种方法,不同的实变函数教材引入的方法有所不同,本章为了更直观、更好地理解掌握L积分,通过测度理论的建立推广R积分的数学思想与方法,直接从L测度的引入建立测度理论。
对于可测集合性质,主要讨论可测集合的充要条件、零测度集及其性质、可测集合的运算性质、可测集合与Gδ型集、Fδ型集的关系、最常用的可测集类型。
主要内容:勒贝格外测度的定义及其基本性质;勒贝格可测集及其基本性质;勒贝格可测集类;开集、闭集、Gδ型集、Fδ型集、Borel集之间的联系。
基本要求:理解勒贝格可测集的定义及其几何意义、勒贝格测度及其基本性质,特别是可数可加性;掌握怎样用开集、闭集、Gδ型集、Fδ型集刻画勒贝格可测集;可测集合的类型与充要条件。
二、主要的数学思想与方法1、从长度、面积、体积到一般点集测度概念由内、外测度建立的思想与方法。
2、Lebesgue当初首先引入外测度m* 与内测度 m*,然后通过条件m* A = m*A 定义可测集, Caratheodory 给出的可测集的导入法:m*T = m * (T∩E ) + m *(T∩CT) (∀T)称E可测,把m*E称为E的测度,记为mE。
两种定义引入的背景、相互间的关系、在学习讨论可测集相关性质等问题时的意义与作用。
3、合列极限定义的思想与方法。
4、零测集的引入及其在实变函数学习中的意义与作用。
5、一般可测集由Gδ集、Fδ集、零测集构成的思想与方法。
三、疑难点学习方法(一)直线上有界点集的测度点集的测度更着重于直线上有界点集的测度。
用构造的方法来讲解点集的测度,从中我们可以学到一种成套理论的模型。
先从最简单的开集测度出发,再学习闭集的测度、一般点集的内测度与外测度及可测集合。
外测度教案
实变函数 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ε.
可测集
浅谈可测集的结构摘要 实变函数论是普通微积分的继续,其目的是想克服牛顿和莱布尼茨所建立微积分学所存在的缺点,使得微积分的运算更对称更完美.可测集是实变函数中基本而重要的概念之一.内外测度相等的有界点集E 称为勒贝格可测集(简称可测集).本论文就是通过介绍可测集的定义,性质以及可测集与开集,闭集,博雷尔集的关系,用他们刻画出开集可以从外部逼近可测集,闭集可以从内部逼近可测集,博雷尔集挖掉一个零集或者并上一个零集等于可测集.关键词 可测集 开集 闭集 博雷尔集1 引言可测集是实变函数中基本而重要的概念之一,本论文就是通过介绍可测集的定义,性质以及可测集与开集,闭集,博雷尔集的关系,用他们刻画出任何可测集可以由开集从外部逼近,闭集从内部逼近,博雷尔集挖掉一个零集或者并上一个零集.2 可测集的有关定义、性质以及实例 2.1 可测集的有关定义定义 1 (点集E 的L 外测度) 设E 为n R 中任一点集,对于每一列覆盖E 的开区间1ii IE ∞=⊃U ,作出它的体积总和1i i I μ∞==∑ ,(μ可以是+∞.今后把+∞、-∞看成广义实数).所有一切的μ组个下方有界的数集,它的下确界称为E 的L 外测度,并记为 *m E ,有*11inf :E i i i i i m E I I I ∞∞==⎧⎫=⊂⎨⎬⎩⎭∑U 为开集,定义2 (可测集)若,n T R ∀⊂有*()()c m T m T E m T E **=+I I (Caratheodory 条件),则称E 为Lebesgue 可测集,此时E 的外测度称为E 的测度,记作mE . Lebesgue 开始也是利用外测度与内测度相等定义可测集,但此方法对处理问题很不方便,故我们采用上述方法.定义3(G δ型集)设集合G 可以表示为一列开集{}i G 的交集:i G G =I , 则称G 是G δ型集. 定义4(F σ型集) 集合F 可以表示为一列闭集{}i F 的并集: i F F =U ,则称F 是F σ型集. 定义5 (Borol 集) 从开集出发,经过至多可数次交、并或补运算得到的集合称为Borol 集.2.2 可测集的性质定理 1 若,,i A B A 可测,则下述集合也可测即11,,,,,ci i i i A A B A B A B A A ∞∞==-U I I U 可测集类关于差,余,有限交和可数交,有限并和可数并,以及极限运算封闭; 若A B =∅I 则n T R ∀⊂,有*(())()()m T A B m T A m T B **=+I U I I注 上式由前面可测集的等价刻画立刻可得. 证明 1)由于A 可测,则nR T I ∀⊂有*()(A)(A )c m T m T m T **=+I I*=(A )(A )cc cm T m T *+I I ()A c 所以可测2)只要证nT R ∀⊂有[]()()+()c m T m T A B m T A B ***⎡⎤≥⎣⎦I U I U由于A 可测,B 可测,则nT R ∀⊂*****()(A)(A )(A)(A )(A )(A)(A )()c c c c c cm T m T m T m T m T B m T B m T m T B m T A B ****=+=++⎡⎤=++⎣⎦I I I I I I I I I I I U而[][]*()(())(())(A)(A )(A)(A )ccc m T A B m T A B A m T A B A m T T B m T m T B *****=-⎡⎤=⎣⎦⎡⎤=⎣⎦≤+I U I U I U I I U I I I I I所以[]()()c m T m T A B m T A B ***⎡⎤≥+⎣⎦I U I U即A B U 可测.3)A B I =(A )cc cB U 则A B I 可测. 4)A B - =A c B I 则A B -可测.定理2 i A 可测, 1,2,i n =L ,且1212=i i A A i i ∅∀≠I ()1nn i i A ==U ,SnI T R ∀⊂则有**1(=()nn i i m T m T A =∑I I S )证明 用数学归纳法1)当1n =时显然成立;2)假设n k =时命题成立则当1n k =+时令S 1(1,2,1)kk i i A k n ===-LU 则11k k k A ++=U S S于是***111()()()c k k k k k m T m T m T +++=+I I I I I S S S S S=**1()()k k m T m T A ++I I S=**11()()kik i m T A m T A +=+∑I I=1*1()k i i m T A +=∑I所以结论成立.定理3 i A 可测, 1,2,i n =L ,且1212=i i A A i i ∅∀≠I ()则11()()n ni i i i m A m A ===∑U证明 在上性质的证明中令nT IR =即得.定理4 若,A B 可测,,,A B mA ⊂<+∞则有可减性()m B A mB mA -=-证明 ()()B A B A A B A =--=∅U I 且,B ()+A m A mm B -())则=(有又mA <+∞所以()B B A A m m m -=-()()定理5 设i A 可测,则1i i A ∞=U 可测,1i i A ∞=I可测.证明 只要证nT R ∀⊂***11()()()c i i i i m T m T A m T A ∞∞==⎡⎤⎡⎤=+⎢⎥⎢⎥⎣⎦⎢⎥⎣⎦I I U U,n z +∀∈有,令***11()()()c n n i i i i m T m T A m T A ==⎡⎤⎡⎤=+⎢⎥⎢⎥⎣⎦⎢⎥⎣⎦I I U U**11()()c n i i i i m T A m T A ∞==⎡⎤⎡⎤≥+⎢⎥⎢⎥⎣⎦⎢⎥⎣⎦I I U U令n →+∞***11()()()c i i i i m T m T A m T A ∞∞==⎡⎤⎡⎤≥+⎢⎥⎢⎥⎣⎦⎢⎥⎣⎦I I U U所以1i i A ∞=U 可测又1i i A ∞=I=1()c c i i A ∞=U可测.定理6 设i A 可测(1,2,i n =L )且1212=i i A A i i ∅∀≠I () 则,nT R ∀⊂,有*1()i i m T A ∞=⎡⎤⎢⎥⎣⎦I U =*1()i i m T A ∞=∑I证明 n z +∀∈令11n n i i i i A A ∞===⊂U U S于是nT IR ∀⊂,*1()i i m T A ∞=⎡⎤⎢⎥⎣⎦I U *()n m T S ≥I=*1()nii m T A =∑I令n →+∞有**11()()i i i i m T A m T A ∞∞==⎡⎤≥⎢⎥⎣⎦∑I I U反之**11()()i i i i m T A m T A ∞∞==⎡⎤⎡⎤=⎢⎥⎢⎥⎣⎦⎣⎦I I U U *1()i i m T A ∞=≤∑I则结论得证.定理7 设i A 可测(1,2,i =L )且1212=i i A A i i ∅∀≠I ()则11()i i i i m A mA ∞∞===∑U证明 nT R ∀⊂,有*11(()(())n n ci i i i m T m T A m T A **===+I I U U *11(()(())n c i i i i m T A m T A ∞*==≥+I I U U*11()(())n c i i i i m T A m T A ∞*===+∑I I U从而*11()(())c i i i i m T A m T A ∞∞*==+∑II U*11(())(())c i i i i m T A m T A ∞∞*==≥+∞I I U U (*)另外显然有*11(())(())c i i i i m T m T A m T A ∞∞**==≤+I I U U从而1ii A ∞=U 可测,并用1ii T A ∞==U 代入(*)式,即得结论.例1设[0,1]中可测集12,,,n A A A L 满足条件11nii mAn =>-∑,则1i i A ∞=I 必有正测度.证明111()((()))([0,1]())n n nc cc i i i i i i m A m A m A =====-I I I11([0,1])([0,1])()n ncc i i i i m A m m A ===-=-U U11([0,1])ni i m A =≥--∑111(1)(1)0n ni i i i mA mA n ===--=-->∑∑2.3 可测集的实例例2 零集一定是可测集.证明 设*0n E IR m E ⊂=,且,则任意,,ncT IR T E E T E T ⊂⊂⊂I I ,于是*()()c m T E m T E *+I I **()()c m T E m T =≤I例3 开集和闭集都是可测集.证明 因为任何非空开集可表示为可数多个互不相交的左开右闭区间的并.而区间是可测的,开集既是可测的,则闭集作为开集的余集自然可测.例4 G δ型集与F σ型集是可测集. 例5 Borol 集是可测集. 例6 Cantor 集是可测集.3 可测集的结构引理 nR 中任何可测集都可表为至多可列个互不相交的有界可测集的并.引理的意义在于当我们讨论无界可测集的性质时,可将其分解而转化为有界可测集的情形来讨论.证明 设E 为nR 中任一可测集.令(){}|,1,0,1,2,n n S x x R n d x n n =∈-≤<=L其中0表示nR 中的坐标原点,则(1,2,)n S n =L 可测.令n n E E S =I ,则n E 是有界可测集且彼此互不相交,而且1nn E E∞==U .3.1开集逼近定理8 点集E 可测的充要条件是对任意0ε>,恒有开集G E ⊃,使()*\m G E ε<.证明 必要性设E 可测,有引理可设,1nii E E==U ,1212=i i E E i i ∅∀≠I (),nE(1,2,i =L )可测且n mE <+∞,对任意的0ε>及每个n E ,由测度定义,有一开区间列(){}n i I ,使得()1nn i i E I ∞=⊂U ,且()1,(1,2,)2n i n ni I mE n ε∞=<+=∑L令()1n n i i G I ∞==U ,则nG为开集,n n G E ⊃,且()12n n n i n ni mE mG I mE ε∞=≤≤<+∑因此()\2n n nm G E ε<(注意,这里用到了n mE <+∞)令 1nn G G∞==U ,则 G 为开集且G E ⊃,又因为1111\\cn n n n n n n n G E G E G E ∞∞∞∞====⎛⎫⎛⎫⎛⎫⎛⎫== ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎝⎭I U U U U=()()1111\c cn n n n n n n n n n G E G E G E ∞∞∞∞====⎛⎫⎛⎫⊂= ⎪ ⎪⎝⎭⎝⎭I I U I U U于是,注意到 \G E 为可测集,我们有()()()*1\\\n n n m G E m G E m G E ∞=⎡⎤=≤⎢⎥⎣⎦U()1\nn n m GE ∞=≤∑12nn εε∞=<=∑充分性 由条件知,对任意自然数 n ,有开集 n G E ⊃,使得()*1\(1,2,)n m G E n n<=L令G 1n n G ∞==I,则 G E ⊃, G 可测集,且()()**10\\,(1,2,)n m G E m G E n n≤≤<=L由10n>的任意性得 ()*\0m G E =,从而 \G E 可测. 又因 G E ⊃,所以\(\)E G G E =因此E 为可测集.推论1 对任一可测集 E ,恒有 G δ型集 G E ⊃,使得(\)0m G E =. 证明 对1(1,2,)n n n ε==L ,由定理1知,存在开集n G E ⊃,使得()1\n m G E n<. 令G 1n n G ∞==I,则G 为G δ型集,G E ⊃,并且()()1\\,(1,2,)n m G E m G E n n≤<=L由10n>的任意性得 ()\0m G E =3.2 闭集逼近定理9 点集E 可测的充要条件是对任意 0ε>,恒有闭集F E ⊂,使()*\m E F ε<. 证明 利用定理1的结果即可得到此定理的结论.事实上,因为 E 可测的充要条件是cE 可测,再由定理1知,cE 可测的充要条件是对任意 0ε>,存在开集cG E ⊃,使()*c m G E ε⊃<但 \\ccG E E G =,只要令cF G =,则显然F 为闭集且F E ⊂,()*\m E F ε<,这就证明了此定理.以上两个定理揭示了可测集与开集、闭集间的内在联系. 定理1说明开集可以从外部逼近可测集,定理2说明闭集可以从内部逼近可测集.推论2 对任一可测集E ,恒有F σ型集F E ⊂,便得(\)0m E F =.证明 因E 可测,故cE 可测. 由定理3可知,存在G δ型集c G E ⊃,使(\)0cm G E =.令cF G =,则F 为F σ型集且F E ⊂,并且(\)(\)0c m E F m G E ==定理3和定理4的结论蕴含着mG mE =与mF mE =. 事实上,在定理3中,由(\)G E G E =⋃,得(\)mG mE m G E =+,而(\)0m G E =,因此mG mE =. 在定理4中,由(\)E F E F =⋃,得(\)mE mF m E F =+,而(\)0m E F =,因此mE mF =.3.3 可测集同Borol 集的关系任何可测集必是一个波雷尔集与一个测度为零的可测集并集;同时也必是一个波雷尔集与一个测度为零的可测集的差集.证明 设E 是可测集,由定理3和定理4知,分别有G δ型集G ,F σ型集F ,使得G E F ⊃⊃且(\)(\)0m G E m E F ==.令12\,\N G E N E F ==,则120mN mN ==且12\,E G N E F N ==U这里的,G F 显然是波雷尔集.定理得证.上述定理指出了可测集同Borol 集的关系,可测集等于Borol 集并上一个零集也等于Borol 集与零集的差 .例7 设E 为[]0,1 中的有理数全体, 试各写出一个与E 只相差一零测度集的G δ型集或F σ型集.G δ型集111111,22i i i i n i n n O r r ∞∞++==⎛⎫⎛⎫ ⎪ ⎪=-+ ⎪ ⎪ ⎪ ⎪ ⎪⎪⎝⎭⎝⎭I U F σ型集 空集注 上面的交与并不可交换次序.例8 设*E 为[0,1]中的无理数全体,试各写出一个与*E 只相差一零测度集的G δ型集或F σ型集.G δ型集 (0,1) F σ型集111111[0,1],22i i i i n i n n H r r ∞∞++==⎛⎫⎛⎫ ⎪ ⎪=--+ ⎪ ⎪ ⎪⎪ ⎪⎝⎭⎝⎭I U类似可证 若n E R ⊂,则存在G δ型集O 使得E O ⊂且mO m E *=(称O 为E 的等测包)证明 由外测度定义知1,n ∀∃{}ni I ,使得1ni i E I ∞=⊂U 且**11||ni i m E I m E n∞=≤≤+∑ 令1n nii G I∞==U 则n G 为开集,n E G ⊂且**111||n ni ni i i m E mG mI I m E n∞∞==≤≤≤<+∑∑ 令1n n O G ∞==I,则O 为G δ型集,且*,O E mO m E ⊂=最后,我们指出,nR 中的点集并不都是可测集. 而且,每一具有正测度的点集均含有不可测子集. 当然,我们要构造这样的不可测集是不容易的,因为通常构造集合往往从区间出发经过一系列并、交、差等运算而得出的,而这样得到的集都是波雷尔集,当然是可测的. 因此要构造不可测集必须从别的途径入手,关于不可测集例子,这里就不介绍了.结 束 语本论文主要讨论两个问题. 第一个问题是哪样一些常见的集合是可测的,我们得到任何区间、开集、闭集、G δ型集、 F σ型集以及所有的波雷尔集合都是可测的.第二个问题是可测集的结构,主要讨论了可测集同开集、闭集之间的关系以及可测集同 G δ型集、 F σ型集之间的关系以及可测集同Borol 集的关系. 可测集可以由开集从外部逼近由闭集从内部逼近,可测集可以由Borol 集并上一个零集或者挖掉一个零集得到.参考书目[1] 程其襄等,实变函数与泛函分析基础(第二版)[M],北京;高等教育出版社,2003. [2] 江泽坚、吴志泉,实变函数(第二版)[M],北京;高等教育出版社,1994.[3] 吴炯圻、周戈,实变与泛函——基本原理与思想方法[M],厦门;厦门大学出版社,2004.[4] 夏道行、吴卓人、严绍宗、舒五昌,实变函数与泛函分析(上册)[M],北京;人民教育出版社,1987.[5] 周民强,实变函数论[M],北京;北京大学出版社,1992.[6] W.Rudin,Real and Complex Analysis[M], New York:McGraw-Hill,1966.Discusses the Measurable Set Shallowly the StructureAuthor : GONG Aili Supervisor : HU YongmoAbstract The theory of functs are ordinary calculus continuation, its goal is wants to overcome Newton and lai the Nepali tribulus establishes the shortcoming which the calculus study exist, causes the calculus the operation to be more symmetrical is more perfect. The measurable set is in the real variable function basic and one of important concepts. The inside and outside measures equal have volume of E to be called force the Begg measurable set (i.e. measurable set). The present paper is through the introduction measurable set definition, the nature as well as the measurable set and the open set, the closed set, theBorell collection relations, portrays the open set with them to be possible to approach the measurable set from exterior, the closed set may approach the measurable set from the interior, the Borell collection exhausts a null set or and on a null set is equal to the measurable set.Key words Measurable set Open set Closed set Borell collection。
深圳大学 实变函数课程教学大纲
教学要求
了解:了解微分与不定积分概念。 理解:理解 Lebesgue 积分概念可积函数及其性质,新旧积分之间的关系。Fubini 定 理的含义。 掌握:掌握简单 Lebesgue 积分的计算。
第六章 函数空间 Lp (不讲) 第七章 Fourier 级数与 Fourier 变换(不讲)
注:根据各课程的具体情况编写,但必须写明各章教学目的、要求、内容提要。
-3-
三、课时分配及其它
(一)课时分配
课程总教学时数为 54 学时,安排在第五学期,每周 3 学时,上课 18 周。具体分配如下 第一章 第二章 第三章 第四章 第五章 集合及其基数 n 维空间中的点集 测度理论 可测函数 积分理论 8 学时 10 学时 12 学时 12 学时 12 学时
(二)考核要求
(二)开设目的
实变函数是数学专业的一门主要基础课,它的主要目的是改造数学分析的内容以更 加适合研究客观世界。从以区间、连续函数为主要研究对象拓广到以点集、可测函数为 主要研究对象。极限的概念也获得了很大的改进和弱化,使函数分析性质的讨论从一致 收敛、一致连续等很强的束缚中解脱出来。当然最主要的是勒贝格积分取代黎曼积分, 从而极大地提高了运算的灵活性。总之,实变函数为现代数学各分支的发展提供了一个 更合理更方便的分析基础,使得数学的现代化成了可能。 教学目的是为了使学生了解和掌握逐步深入地分析问题和解决问题的方法,提高分 析和解决问题的能力,培养抽象的思维能力。
教学要求
(1)掌握可测函数定义及简单性质 (2)熟悉 Egoroff 定理,Lusin 定理及依测度收敛及其性质。 (3)了解可测函数的结构。
第五章 积分理论
教学目的
介绍 Lebesque 积分的概念、Fubini 定理、微分与不定积分概念,通过 Fubini 定理认 识新积分的优越性。
测度空间与测度论基础
测度空间与测度论基础在数学领域中,测度空间和测度论是一些重要的概念和理论,它们在实分析、概率论、统计学以及其他领域中有着广泛的应用。
本文将介绍测度空间和测度论的基础知识和理论。
一、测度空间的定义首先,我们来定义测度空间。
给定一个非空集合Ω,称Ω的某些子集合为可测集合,并给出一个函数μ,该函数满足以下性质:1. 对于Ω中的空集,μ(∅)=0;2. 如果A是Ω的可测集合,那么μ(A)≥0;3. 如果A₁,A₂,...是Ω的可测集合,并且这些集合两两互斥(即任意不同的i和j,有A_i∩A_j=∅),那么μ(∪A_i)=∑μ(A_i)。
具有这些性质的函数μ被称为Ω上的测度函数,并且称(Ω, μ)为一个测度空间。
二、测度空间的性质测度空间具有以下性质:1. 单调性:对于任意的可测集合A和B,如果A包含于B(即A⊆B),那么μ(A)≤μ(B);2. 子可加性:对于任意的可测集合A₁,A₂,...,有μ(∪A_i)≤∑μ(A_i);3. 完全可加性:对于任意的可测集合A₁,A₂,...,如果这些集合两两互斥,那么有μ(∪A_i)=∑μ(A_i)。
三、测度的扩展性在实际应用中,我们可能会碰到一些更一般化的集合,如无限集合、复杂集合等。
为了能够测量这些集合,我们需要进行测度的扩展。
1. 外测度外测度是指将集合的测度扩展到任意集合上的一种方法。
给定一个非空集合Ω,将Ω的子集族P(Ω)称为Ω的幂集。
定义一个函数μ*,该函数满足以下性质:(1)对于Ω的空集和单点集合,有μ*(∅)=0和μ*({x})=1;(2)对于任意的集合A⊆B,有μ*(A)≤μ*(B);(3)对于任意的可测集合A₁,A₂,...,有μ*(∪A_i)≤∑μ*(A_i)。
具有这些性质的函数μ*被称为Ω上的外测度函数。
2. 测度的可测性为了能够更方便地进行测量,需要对测度进行可测性的要求。
具体而言,给定一个测度空间(Ω, μ),如果对于任意的集合A⊆Ω,有以下等式成立:μ(A)=μ*(A)+μ*(Ω\A),那么称这个测度空间满足可测性。
第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 | 。
第10讲开集的可测
相交,并满足u I (k) i,k i
G
。如果 G,则存
在 0,使O(,) G
注意到|
B k
|
1/
2 kn
0
故当k充分大时,含x的形如Bk的长方体
一定完全包含在 O(,) 中,从而也包含
在G
,所以
一定在某个I
( i
k
)
中,即
i ,k
I
( i
k
)
第10讲 开集的可测性
于是,
G
I
( i
k
)
。
(2) Gδ型集、i,k Fб型集、Borel集
开右闭长方体之并。假设K=1时上述长
方体中完全包含在G内的那些为 I i(1) 1,2, i
第10讲 开集的可测性
(有限或可数个)。对于k>1,用I (k)表示 i 上述那些完全被G包含但与任何I (k) (l k 1) i 不相交的长方体。这样就得到可数多个
左开右闭的长方体I (k)1 i 且它们互不 i
所得的集合仍然是可测集。于是,由Rn
中所有开集经过上述运算而得的域就是
一个可测集类。我们将这个集类记作B ( 中 以元将Rn称刚)才为或的RBn结,中论称的叙为Bo述Rrne为中l集:的。RB因no中r此e任l我集一们类B又o。r可eBl
集合是Lebesgue可测集。
第十讲 开集的可测性
二.Borel集类与Lebesgue集类的比较
习题二 1、证明有理数全体是R1中可测集,且测
度为0。 2、证明若E是Rn中有界集,则 m*E 。 3、至少含有一个内点的集合之外测度能否
为零?
4、在[a,b]上能否作一个测度为b-a但又 异开[a,b]的闭集?
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
第10讲 开集的可测性.
(n)
(n)
i
i 1
i
第十讲
(n) i 1 i
开集的可测性
(n) i 1 i
1 且 | I | mE | I |, n 1 m ( I E ) n
i i i
(1)
i
第10讲 开集的可测性
(有限或可数个)。对于k>1,用 I 表示 上述那些完全被G包含但与任何I (l k 1) 不相交的长方体。这样就得到可数多个 左开右闭的长方体I 1 i 且它们互不 相交,并满足u I G 。如果 G,则存 | B | 1/ 2 0 O(, ) G 注意到 在 0,使 故当k充分大时,含x的形如Bk的长方体 一定完全包含在 O(, ) 中,从而也包含 在G ,所以 一定在某个I 中,即 I
第10讲 开集的可测性
目的:熟悉一些常见的可测集,了解Borel 集类与Lebesgue集类的差别。 重点与难点:
第10讲 开集的可测性
基本内容: 一.Borel集 问题1:按Lebesgue可测集的定义,我们所 熟悉的哪些集合是可测的?
第10讲 开集的可测性
问题 2 :由 Lebesgue 测度的性质以及上面 所熟悉的可测集,还能构造出哪些可测 集?所有这些可测集构成什么样的集类?
第十讲
开集的可测性
Lebesgue可测集的结构 Borel集类已包含了我们经常见到的Rn 中的大多数集合,然而,的确仍有不少 集合不是Borel集,如本章第一节中构造 的不可测集显然不可能是Borel集。那么, 是否存在Lebesgue可测但却不是Borel 集的集合呢?有的,而且很多,我们已 经看到,如果一个集合的外测度为0,则 它一定可测,但是外测度为0的集合却未
集合的测度与积分
集合的测度与积分在数学分析中,集合的测度与积分是一个重要的概念。
集合的测度是用来度量集合大小的工具,而积分则是用来描述集合上的函数的数值。
本文将分别介绍集合的测度和积分的基本概念,并探讨它们之间的关系。
一、集合的测度在数学中,集合的测度是一种对集合大小的度量。
常见的集合测度包括长度、面积、体积等。
而关于集合测度的最基本的概念就是测度的可加性。
如果一个集合可以被无限个互不重叠的小集合覆盖,并且总体积为这些小集合体积之和,那么这个集合的测度就是可加的。
另外,对于测度来说,还有一个重要的概念就是测度的完备性。
当一个集合上的所有子集的测度都为零时,这个集合就是完备的。
完备性是测度理论中的一个非常重要的性质,它保证了我们可以对集合进行准确的测量。
二、积分积分是微积分学中的一个重要概念,用于描述函数在一个区间上的平均值或总体积。
在实际应用中,积分可以用来计算曲线下的面积、曲线的弧长等。
而对于定义在集合上的函数来说,积分的概念也可以进行推广。
在集合上的积分,我们首先需要定义集合上的测度,然后再定义函数在集合上的积分。
对于可测函数来说,我们可以通过将函数值乘以测度来计算函数在集合上的积分。
这样,积分就成为了一个将集合上的函数映射到实数域的运算。
三、集合的测度与积分的关系集合的测度与积分之间存在着密切的关系。
在实际应用中,我们经常需要通过测度来计算函数在集合上的积分。
而在测度空间中,积分可以看作是对函数的测度。
因此,测度与积分之间是相互关联的。
特别地,在Lebesgue积分中,我们可以通过测度来计算定义在集合上的函数的积分。
Lebesgue积分是一种广义积分,它在实际应用中具有很强的适用性。
而Lebesgue积分的定义和性质与集合的测度紧密相关,这也进一步体现了集合的测度与积分之间的关系。
总结集合的测度与积分是数学分析中的重要概念,它们在描述集合大小和函数数值方面具有重要的作用。
集合的测度用来度量集合的大小,而积分则用来描述函数在集合上的数值。
《实变函数》第三章_测度论
《实变函数》第三章_测度论第三章测度论(总授课时数 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.定义:设 nE 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 = 思考:1. 设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 的开区间列要少,相应的下确界反⽽⼤。
外测度的性质与计算
江西师范大学数学与信息科学学院学士学位论文外测度的性质与计算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、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
(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
{I j }∞ 引理2 设 G 是 R n中非空开集, {J k }∞ 是两组互不相交左开右闭的区间,且 j =1, k= 1
G = ∪ I j = ∪ Jk
j =1 k =1 ∞ ∞
,那么
∑I
j =1
∞
j
= ∑ Jk
k =1
∞
开集体积的定义 设 G 是 R n 中开集 (1)若 G = Φ,则记 G = 0 (2)若 G ≠ Φ ,且 G 可以表示成可数个互不相交的左闭右开之并 ∞ 则记
Q = {a1 , a2 ,..., an ,...}, Βιβλιοθήκη ε > 0, ∪ (an −
n =1
∞
ε
2
, an + n +1
ε
2
n +1
)⊃Q
由外测度定义有 0 ≤ m Q ≤ ∑
∗ n =1
∞
ε
2
n
. *Q = 0 = ε 故由于 ε 的任意性,即可得m
[0,1] 中的Cantor集 E 的外测度为0。 (5)
实变函数论
第10讲
第三章 测度论
§1开集的体积 §2 点集的外测度
19世纪下半叶,不少分析学家进行一系列扩充长度和面 积概念的探索,逐渐形成测量概念。1898年,博雷尔(Borel )建立了一维点集的测度,法国数学家勒贝格(Lebesgue)在 20世纪初叶系统的建立了测度论,并成功地建立起新的积分 理论,它发表于1902年的论文《积分、长度与面积》被公认 为现代测度和积分理论的奠基之作。1915年,法国数学家弗 雷歇(M.Frechet)提出在一般代数上建立测度,开始创立抽 象测度理论。1918年左右希腊数学家卡拉泰奥多里( Caratheodory)关于外测度的研究,对于现代形式测量理论 的形成起了关键作用。本章将介绍基于卡拉泰奥多里外测度 理论上的测度理论。 上点集的测度是关于点集的一种度量,它是长度、面积 和体积的一种直接而自然的推广;它是积分理论的基石。积 分是黎曼积分的推广,它将积分对象从黎曼可积函数类扩充 到更大一类函数——可测函数。
∞ j j =1 j =1 j =1
∞
∞
G 也是开集,并且 G = G (5)如果G 经过平移变换和旋转变换后变为 G,
§2点集的外测度
1、定义 设 E ⊂ R
n
∗ ,记 m E = inf{ G ; G ⊃ E , G是开集} ,称之为 E
的勒贝格外测度,简称外测度
n 注1:任意点集 E ⊂ R
我们希望平面上的每个点集 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
勒贝格积分
ε >0
b = y0 < y1 <
f 在I 上有界
b ≤ f ( P ) < B, P ∈ I
< yk = B
yi − yi−1 < ,i =1,2, , k, I
Ei 互不相交
ε
Ei = { p ∈ I ; yi −1 ≤ f ( p) < yi },
bi = inf{ f ( p ); p ∈ Ei }, Bi = sup{ f ( p ); p ∈ Ei }, i = 1, 2,
n
黎曼积分
f ( x, y )
I = {( x, y ); a ≤ x ≤ b, c ≤ y ≤ d }
< xn = b; c = y0 < y1 <
n ,m i, j
Δ : a = x0 < x1 <
< ym = d
n ,m i, j
S Δ ( f ) − sΔ ( f ) < ε
SΔ ( f ) = ∑ Bi , j I i , j , sΔ ( f ) = ∑ bi , j I i , j
I i , j = {( x, y ); xi −1 ≤ x ≤ xi ; y j −1 ≤ y ≤ y j }
λ = max{Bi , j − bi , j ;1 ≤ i ≤ n,1 ≤ j ≤ m},
SΔ ( f ) − sΔ ( f ) ≤ λ ∑ I i , j = λ I
i, j
n,m
非负性 二维面积所具 单调性 有的特点? 次可加性 可加性 平移不变、旋转不变性
证明 因为 E = ∩ Fn
n =1 ∞
−n 其中Fn 为 2 n 个长度为 3 的闭区间的并集,所以
m* E ≤ m* Fn ≤ 2n 3− n , 令n → ∞ ,m* E = 0
作业 57页3
∞
∞
3、求点集的外测度:
(1) R n 中单点集的外测度为零。 (2)凡区间 I 的外测度等于其体积 | I | (3) 证明若E有界,则
m * E < +∞
证明 不妨令 E ⊂ I ⊂ R n ,其中I为有界开区间。 由外测度定义即得
m * E ≤| I |< +∞
(4)有理数集的外测度为0
证明 设
有E = E 若 E 经过平移变换和旋转变换后变为 E ,
§1开集的体积
1、区间及体积
(1)区间体积的定义:闭区间 I = {( x1 , x2 ,..., xn ) | ai ≤ xi ≤ bi , ai , bi ∈ R, i = 1, 2,..., n}, 开区间,半开半闭区间等,均为 R n 中有界集,且体积为 | I |= (2)区间体积的性质
S( f ) =
k
∪E
i =1
k
i
= I
,k
i
∑B
i =1
k
i
Ei , s ( f ) =
∑b
i =1
k
Ei ,
k
Ei 是Ei的"面"
ε
I
k
如果 ∑ Ei = I ,
i =1
S ( f ) − s( f ) ≤
∑ (y
i =1
i
− y i −1 ) E i ≤
∑
i =1
Ei =
ε
I
k
I =ε
Ei 现在一般来说不再是区间,他们有没有面积,什么是他们的面积,另外 ∑ Ei = I i =1 是不是一定成立呢?
G = ∑ Ij
j =1
∪I
j =1
∞
j
开集体积的性质 定理2 设 G和Gk , k ≥ 1 是R n中开集
(1)如果G ≠ Φ,有 G > 0
(2)如果G1 ⊂ G2 , 有 G1 ≤ G2
(3) ∪ G j ≤ ∑ G j
j =1 j =1
∞
∞
(4)如果{G } 是互不相交的,有 ∪ G j = ∑ G j
∏ (b − a )
i =1 i i
n
定理1 设 {I }
n1 j j =1
{J }
n2 k k =1
n1 { I } 是两组区间。如果 j j =1 两两不相交,且
∪
n1
Ij ⊂
j =1
∪
n2
Jk
k =1
,则
∑I
j =1
n1
j
≤ ∑ Jk
k =1
n2
2、开集及体积 引理1 在R n 中,任意非空开集总可以表示成可数个互不相交半开半闭(即 左开右闭或者左闭右开)区间之并,表法不唯一。
∗ m ( E ) = m 则有 ∪ j ∑ Ej ∗
j =1 j =1
∞
∞
(5)外测度在平移和旋转变换下是不变的(58页8)
n 注1 外测度不满足可数可加性,即设 E j ⊂ R , j = 1, 2,
,互不相交
m (∪ E j ) = ∑ m∗ E j ,不一定成立 ,例如:55页例题
∗ j =1 j =1