测度论0之集合重新认识
重新认识集合
先导概念
点
聚点(极限点):设X是数集,实数a满足,∀δ>0,满足去心邻域U∘(a,δ)∩X=∅,则称a为X的聚点(极限点)。
等价描述为:如果点a的任何邻域 U∘(a,δ)={x∣0<∣x−a∣<δ} 都含有X中无穷多个点,则称a为X的聚点(极限点)。
所有的内点都是聚点,聚点不需要在集合中,边界点也不需要在集合中。内点和孤立点都必须在集合中。
孤立点:在数集X中,点x称为拓扑空间子集S的孤立点,如果 x∈S,且存在x的一个邻域 ,其中不含S中除了x的其他点。
在数集中所有的孤立点都是边界点,一般拓扑空间不一定时是。

Figure 1: 内点聚点孤立点边界点
各种点之间关系
导集内核闭包
内核:设E是Rn中的点集,由E的所有内点组成的集合称为E的内核,记为E∘。
导集:设E是Rn中的点集,由E的所有聚点组成的集合称为E的导集,记为E′。
闭包:设E是Rn中的点集,称E∪E′为E的闭包,记为E。
闭包点的定义非常接近聚点的定义。这两个定义之间的差别非常微小但很重要——在聚点的定义中,点x的邻域必须包含“不是x自身的”这个集合的点。因此,所有聚点都是闭包点,但不是所有的闭包点都是聚点。不是聚点的闭包点就是孤点。也就是说,点x是孤点,若它是S的元素,且存在x的邻域,该邻域中除了x没有其他的点属于S。
对给定的集合S和点x,x是S的闭包点,当且仅当x属于S,或x是S的聚点,即E=E∪E′。
关于导集、内核、闭包有以下定理: >如果A⊂B,则A∘⊂B∘,A′⊂B′,A⊂B。即导集、内核、闭包的运算具有单调性。
闭集
设E是Rn中的点集,如果导集E′⊂E,则E为闭集。所有的极限点都在E中可取。
数集中只有∅与Rn既是开集也是闭集;有理数集、半开半闭区间既不是开集也不是闭集。
定理1.设E是Rn中点集,则E的导集E′与闭包E都是闭集。
定理2.闭集的补集是开集。开集的补集是闭集。
闭集的运算
任意多个闭集的交集是闭集。 ClosedSetn为闭集,n=1⋂∞ClosedSetn为闭集 有限多个闭集的并集是闭集。 ClosedSetn为闭集,n=1⋃NClosedSetn为闭集
反例:无限多个闭集的并集是开集。
例:考虑一列闭区间Fn=[−n+1n,n+1n],n=1,2,…。每个Fn是闭集,但是⋃n=1∞Fn=(−1,1)为开集。
例: 我们认为每一个有理数点是闭集,那么所有有理数点组成的有理数集既不是开集也不是闭集,而是Fσ集。
开集
如果E中的每一个点都是内点,则E是开集,即E⇔E∘。
数集中只有∅与Rn既是开集也是闭集;有理数集、半开半闭区间既不是开集也不是闭集。
开集的运算
任意多个开集的并集是开集。 OpenSetn为开集,n=1⋃∞OpenSetn为开集 有限多个开集的交集是开集。 OpenSetn为开集,n=1⋂NOpenSetn为开集
反例:无限多个开集的交集是闭集。
例:考虑一列开区间Gn=(−n1,n1),n=1,2,…。每个Gn是开集,但是⋂n=1∞Gn={0}为闭集。
完备集
设E是Rn中的点集,如果导集E⊂E′,则E为自密集(和闭集定义正好相反)。如果E=E′,则E为完备集(自密闭集是完备集)。
解释:孤立点和聚点的定义是对立的,也就是说自密集不含有孤立点。自密闭集是完备集,因此完备集就是不含孤立点的闭集。但是在一个闭集中,去点所有的孤立点,也不一定时完备集。因为有时候去点所有孤立点会诞生新的孤立点,如下例。
例:设E={0,1,1/2,1/3,…},显然这是个闭集。其聚点只有一个是{0},其他都是孤立点。但是去掉所有孤立点后,这个集合只剩下点{0},并不是完备集。
Heine-Borel有限覆盖定理
推广的有限覆盖定理:Heine-Borel有限覆盖定理
设F是有界闭集⇔{Gλ}λ∈I是F的任一开覆盖,则{Gλ}λ∈I中必存在有限多个开集G1,G2,…,Gm同样覆盖了F。
从开区间闭区间变成了开集闭集。
进一步推广(不需要有界闭集条件):F是Rn任一点集,{Gλ}λ∈I是F的任一开覆盖,则{Gλ}λ∈I中必存在至多可列个开集G1,G2,…,Gm同样覆盖了F。
去掉有界闭集限制,结论从有限个开集变成可列个开集。
直线上开集、闭集与完备集的构造
非空有界开集(开集的构造是基础)
设G是直线上R1上的开集,如果区间(α,β)⊂G,而且端点α,β不属于G,那么称(α,β)为G的一个构成区间。
例如:开集(0,1)∪(2,3)的构成区间是(0,1)和(2,3) 。
开区间构造定理:R1上任何非空有界开集都可表示成有限个或可列个互不相交的构成区间的并。
非空有界闭集
定理:设F是非空有界闭集,则F中必有一最大点和一最小点。
证明思路:有界→有上确界→上确界b邻域→b在导集中→导集⊂闭集。
闭区间构造定理:设F是R1上的任一非空有界闭集,则F是由一闭区间中去掉有限或者可列个开区间而成。这些开区间的端点还是属于F。
完备集构造
直线R1上的F是任一非空有界完备集,则F是由一闭区间中去点有限或可列个彼此没有公共端点且与原来闭区间也没有公共端点的开区间而组成,这些开区间的端点还是属于F。
从测度论的角度定义连续函数
设f(x)是定义在E⊂Rn上的实值函数,x0∈E。如果对任意的ε>0,存在δ>0,使得当x∈E∩B(x0,δ)时有: ∣f(x)−f(x0)∣<ε, 则称f(x)在x0点处连续。x0是f的一个连续点。(在x∈/E′的情形,即x0是E的孤立点的时候,f(x)自然在x=x0处连续)。若E中任一点皆为f的连续点,则称f(x)在E上连续。我们记E上的连续函数之全体为C(E)。
函数在孤立点处连续
我们先来看孤立点的定义:
集合S的一个点x,如果存在x的一个邻域U(x,δ),除了点x以外,U(x,δ)不包含S中的其他点,则称点x为孤点或孤立点。
从图像上来看,函数在孤立点处连续这个结论很难理解。
但是从连续函数的定义和孤立点的定义上进行分析,这个结论却很明显:
x0∈E是E上的孤立点时,则存在一个δ>0,E∩B(x0,δ)={x0}。故任意ε>0,都有x∈E∩B(x0,δ),使得∣f(x)−f(x0)∣=∣f(x0)−f(x0)∣=0<ε.这说明函数在孤立点x0处连续。
Borel集
闭集与开集是Rn中最基本的集合。但是在Rn中有很多点集既不是开集也不是闭集。
Fσ与Gδ集
Fσ与Gδ集:若E⊂Rn是可数个闭集的并则称E为Fσ(型)集。若E⊂Rn是可数个开集的交则称E为Gδ(型)集。
由定义可知Fσ集的补集是Gδ集,Gδ集的补集是Fσ集。
例如:每一个有理数点{rk}是闭集,Rn中的全体有理数为 k=1⋃∞{rk} 为可数个闭集的并,即Fσ集。
Borel集定义
由Rn中一切开集构成的开集族所生成的σ代数称为Borel−σ−代数,记为B。B中的元称为Borel集。
显然,Rn中的闭集,开集,Fσ与Gδ集皆为Borel集;任一Borel集的补集也是Borel集;Borel集的并、交、上下极限集皆为Borel集。可数个Fσ集的交集(Fσδ)是Borel集。
博雷尔集是指在一个指定的拓扑空间中,可由其开集(或者等价地,可由其闭集)的可数次并运算、交运算和(或)差运算得到的一个集合。
我们研究的集合基本都是Borel集。
Cantor集
三分康托集
康托尔集是由不断去掉线段的中间三分之一而得出。首先从区间[0,1]中去掉中间的三分之一(31,32),留下两条线段:[0,31]∪[32,1]。然后,把这两条线段的中间三分之一都去掉,留下四条线段[0,91]∪[92,31]∪[32,97]∪[98,1]。把这个过程一直进行下去,其中第n个集合为:
3Cn−1∪(32+3Cn−1). 康托尔集就是由所有过程中没有被去掉的区间[0,1]中的点组成。
下面的图显示了这个过程的最初六个步骤。
康托集具有以下直观的性质:
- 第n次,从集合[0,1]中会去掉2n−1个长度为3n1的开区间,余下的每个闭区间长度是3n1,共有2n个。
- 无论去掉开区间的过程进行多少次,康托尔集的点必属于每次去掉开区间后留下来的某个闭区间。
- 从[0,1]中每次去掉开区间后,开区间的端点都属于康托尔集。
此外,康托尔集还有以下结论:
- Cantor集的Lebesgue测度是0
- Cantor集是非空有界闭集
- Cantor集是完备集
- Cantor集是无处稠密集(疏朗集)
- Cantor集是不可数集,基数是ℵ1
集列的极限
设A1,A2,…,An,…是一列集合,由属于上述集列中无限多个集的那种元素的全体组成的集称为这一集列的上限集。记作n→∞limAn n→∞limAn={x∣存在无穷多个An,使x∈An}.
对于集列A1,A2,…,An,…,那种除了有限个集合外,属于集列中其余每个集的元素全体组成的集称为下限集。可以理解为不含有此元素的集合有有限个。记作n→∞limAn n→∞limAn={x∣存在N(x),当n>N(x),x∈An}.
显然: n=1⋂∞An⊂n→∞limAn⊂n→∞limAn⊂n=1⋃∞An
上极限,包含它的有无限个(不包含它的也可以有无限个)即可能同时存在无限个集合包含它并且无限个集合不包含它∞=∞+∞;下极限,不包含它的有有限个,必然是包含它的集合有无限个∞=∞−N。
定理:上极限n→∞limAn=n=1⋂∞m=n⋃∞Am
下极限:n→∞limAn=n=1⋃∞m=n⋂∞Am
如果集列{An}的上下极限相等,则称集列{An}收敛,并称A=n→∞limAn=n→∞limAn是集列{An}的极限,记为A=n→∞limAn。

Figure 3: 集列的上下极限
知乎上的一种理解
原图来源
定理:单调集列必收敛。如果是单调增加序列则: n→∞limAn=n=1⋃∞An 如果是单调减少序列则: n→∞limAn=n=1⋂∞An