Cantor集的拓展及其应用黄玉霞指导老师：郭金生（河西学院数学与应用数学专业2012届1班09号, 甘肃张掖734000）摘要本文对Cantor三分集进行了拓展,也就是以五分法构成了Cantor集,然后讨论在此分下Cantor集的相关性质及应用.关键词Cantor集; 测度; 稠密集; 完备集中图分类号O174The Expandability and Applications of Cantor SetHuang Yuxia Instructor Guo Jinsheng（No.09,Class1 of 2012.Specislty of Mathematics and Applied Mathematics,Hexi University,Zhangye,Gansu,734000）Abstract: This paper expands Cantor set ,as well as makes Cantor set by dividing it into five parts, then discusses it’s related properties and applications in this situation.Keywords: Cantor set; measure; dense set; exhaustive set1 引言Cantor三分集是由德国数学家康托尔在研究三角级数问题时构造出来的一个特殊点集,具有许多显著和深刻的性质.它是人类理性思维的产物,并非某个现实原型的摹写,尤其是用传统的几何术语很难对他进行描述.它既不是满足某些简单条件的点的轨迹,也不是一个简单方程的解集,可以说,它是一种新的集合对象.厦门大学数学科学学院的伍火熊通过分析康托三分集的构造过程,剖析了其构造思想的本质特征在于对所给闭区间进行奇数次对等划分,去掉中央开区间后对存留的每一个闭子区间作同样的处理的无限构作过程.董大校指出康托尔集的构造过程是一个无穷操作或迭代过程.本文主要说明康托尔五分集与三分集具有完全相同的奇特性质,康托尔三分集的构造方法的奇特性并非偶然,它适用于由任何正奇数分得的集合,康托尔集巧妙构思和它奇特性质在解决实变函数中一些典型例题中起了重要作用.2 预备知识=(E'表示E的导集),则称E为完备集或完全集.定义2.1[1]设nE R⊂,如果E E'定义2.2[2] 凡和全体正整数所成集合Z +对等的集合都称为可数集,不是可数集的无限集合,称为不可数集.定义2.3[3] 若两个集合A ,B 之间存在着一一的到上的映射,则A 与B 是对等的,记为A B .此时也称A 与B 等势或者有相同的基数,记为A ==B =.定义2.4[4] 设E 为n R 中的一个点集,0x 是n R 中的一个定点,若0x 附近全是E 的点,即0,δ∃>使0(,)U x E δ⊂,则称0x 为E 的内点.定义2.5[5] 设A ,B 是直线上的两个点集,如果B 中每一点的任一环境中必有A 的点,那么称A 在B 中稠密.如果直线上的点集S 在每一个不空的开集中都不稠密,就称S 是疏朗集或无处稠密集.定理1.1(闭集的构造定理) 直线上的闭集F 或是全直线,或者是从直线上挖掉有限个或可数个互不相交的开区间（即F 的余区间）所得到的集.3 主要内容3.1 Cantor 集的构成(1)将闭区间[0,1]R ⊂三等分,去掉中间一个()02个个长度为13的开区间12,33⎛⎫⎪⎝⎭,记作1F ;剩下两个()12个长度均为13的闭区间10,3⎡⎤⎢⎥⎣⎦和2,13⎡⎤⎢⎥⎣⎦,分别记为11G 和21G ;(2)将剩下的两个闭区间10,3⎡⎤⎢⎥⎣⎦和2,13⎡⎤⎢⎥⎣⎦分别继续三等分,去掉其中间两个()12个长度为213的开区间12,99⎛⎫ ⎪⎝⎭和78,99⎛⎫⎪⎝⎭,分别记为12F 和22F ,剩下的四个()22个小闭区间,分别是10,9⎡⎤⎢⎥⎣⎦,23,99⎡⎤⎢⎥⎣⎦,67,99⎡⎤⎢⎥⎣⎦和8,19⎡⎤⎢⎥⎣⎦,分别记为123222,,G G G 和42G ;(3)如此继续下去,第次n 去掉12n -个长度为13n 的开区间1221,,,-n n n n F F F ,剩下2n 个长度为13n 的闭区间,记为12,,n n G G nn G 2, ;上述构造过程中开、闭区间个数及区间长度与分割次数间的关系见表1:第1次分割第2次分割第3次分割第n 次分割开区间个数 02 12 22 12n -闭区间个数 12 22 32 2n小区间长度1321331313n表1(4)将上述过程无限进行. 最终得到一集合列12211n n n G G GG=()=1,2n ，.作点集P =1n n G ∞=,则称P 为Cantor 集.3.2 对Cantor 集构造方法的拓展基于Cantor 三分集巧妙的构造方法,尝试将闭区间[0,1]五等分、甚至任意正奇数等分.3.2.1 将闭区间[0,1]五等分,进行构造(1)将闭区间[0,1]R ⊂五等分,去掉中间两个()12个长度为15的开区间12,55⎛⎫ ⎪⎝⎭和34,55⎛⎫ ⎪⎝⎭,记作11F 和21F ;剩下三个长度均为15的闭区间10,5⎡⎤⎢⎥⎣⎦,23,55⎡⎤⎢⎥⎣⎦和4,15⎡⎤⎢⎥⎣⎦,分别记为11G ,21G 和31G ;(2)将剩下的三个闭区间1[0,]5,23[,]55和4[,1]5分别继续五等分,然后去掉其中间六个长度为215的开区间2212,55⎛⎫ ⎪⎝⎭,2234,55⎛⎫ ⎪⎝⎭,221112,55⎛⎫ ⎪⎝⎭,221314,55⎛⎫ ⎪⎝⎭,222122,55⎛⎫ ⎪⎝⎭222324,55⎛⎫ ⎪⎝⎭. 分别记为12F ,22F ,345222,,F F F 和62F .剩九个小闭区间,分别为210,5⎡⎤⎢⎥⎣⎦2223,,55⎡⎤⎢⎥⎣⎦,241,55⎡⎤⎢⎥⎣⎦,2211,55⎡⎤⎢⎥⎣⎦,221213,55⎡⎤⎢⎥⎣⎦,2143,55⎡⎤⎢⎥⎣⎦,2421,55⎡⎤⎢⎥⎣⎦,222223,55⎡⎤⎢⎥⎣⎦,224,15⎡⎤⎢⎥⎣⎦. 分别记为123222,,G G G ,42G ,52G ,62,G 72,G 82G 和92G ;(3)如此继续下去,第n 次去掉()1221n -+个长度为15n 的开区间()122112,,,n n n nF F F-+,剩下3n 个长度为15n的闭区间,记为12,,n n G G nn G 3, ; 上述构造过程中开、闭区间个数及区间长度与分割次数间的关系见表2:第1次分割 第2次分割 第3次分割第n 次分割开区间个数 023⨯ 123⨯223⨯ 123n -⨯闭区间个数 1323 333n小区间长度15 21531515n表2(4)将上述过程无限进行.最终得到一集合列12311n n n G G GG=()=1,2n ，.作点集2P =1n n G ∞=.在下面3.3中可证得2P 具有与Cantor 三分集完全相同的性质.3.2.2 对于任意给定的正奇数21k +()k N +∈.(1) 将闭区间[0,1]进行21k +等分,并去掉中间的第2,4,k 2 个开区间1112(,)2121F k k =++,2134(,)2121F k k =++,,1212(,)2121k k kF k k -=++记留存部分为1G ,即111111k G G G G +=1232[0,][,][,1]21212121kk k k k =++++. (2) 将剩下的1k +个闭区间分别继续五等分,并去掉每一等分闭区间中的第2,4,,2k 个中间开区间;记1G 中留下来的部分为2G , (3) 如此继续下去,第n 次去掉()11n k k -+个长度为()121nk +的开区间,剩下()1nk +个长度为()121nk +的闭区间,记为()112,,,nk n n nG G G +; 上述构造过程中开、闭区间个数及区间长度与分割次数间的关系件表3:第1次分割 第2次分割 第3次分割第n 次分割开区间个数 ()01k k + ()11k k +()21k k +()11n k k -+闭区间个数 1k +()21k + ()31k +()1nk +小区间长度121k + ()2121k +()3121k +()121nk +表3(4) 将上述过程无限进行. 最终得到一集合列()11211nk n nG GGG +=()=1,2n ，.作点集k P =1n n G ∞=.3.3 五分法下Cantor 集2P 的性质性质3.3.1 2P 是闭集.证明 由2P 的构造过程可知,第一次去掉的开区间为11F 和21F ,第二次去掉的开区间为1234522222,,,,F F F F F 和62F ,那么由表2知,第n 次去掉的是11223,,,n n n n F F F -⨯,依次下去,可以推想,共去掉的开区间可表示为12311n m n n m F -∞⨯==,则123211[0,1]\n m n n m P F -∞⨯===,由闭集构造定理知2P 为闭集.性质3.3.2 2P 是完备集.证明 由于2P 的邻接区间的作法,它们中的任何两个之间根本不存在公共的端点故2P 没有孤立点,因而2P 自密,又2P 是闭集,因此2P 是完备集.性质3.3.3 2P 没有内点.证明 在2P 的作法中,“去掉”过程进行到第n 次为止时,剩下3n 个长度是15n的互相隔离的闭区间,因此任何一点02x P ∈必含在3n 个闭区间的某一个里面.从而在0x 的任意邻域01(,)5n U x 内至少有一点不属于2P ,但105n →()n →∞,故0x 不是2P 的内点.性质3.3.4 2[0,1]\P 是可数个互不相交的开区间,其长度之和为1.证明 在2P 的构造过程中,第n 次去掉的123n -⨯个长度为15n 的开区间,因2[0,1]\P中互不相交的开区间之和为11235n nn -∞=⨯∑1222323555n n-⨯⨯=+++ 11233(1)555n n --=⋅+++1=. 性质3.3.5 2P 是零测度集.证明 用2c P 表示[0,1]上2P 的余集,则22[0,1]\c P P =.由性质3.3.4知()21cm P =.故()()()22[0,1]c m P m m P =-110=-=.性质3.3.6 2P 是不可数集.证明 假设2P 是可数的,将2P 中点编号成点列1x ,2x ,,k x ,,也就是说,2P 中任一点必在上述点列中出现.显然,1[0,]5,23[,]55与4[,1]5中应至少有一个不含有1x ,用1G 表示这个闭区间.将1G 五等分后所得的三个闭区间中,应至少有一个不含2x ,用2G 表示它.然后用3G 表示五等分2G 时不含3x 的那个闭区间,如此下去.由归纳法,得到一个闭区间列{}k kN G ∈.由上述取法知,1G ⊃2G ⊃⊃k G ⊃,,k x ∉k G ,k ∈N ,同时,易见k G 的长为()105k k →→∞.于是根据数学分析中区间套定理,存在点∈ξk G ,k ∈N .可ξ是k G 的端 点集的聚点,从而是闭集2P 的聚点,故∈ξ2P .由于上面已指出k x ∉k G ,k ∈N ,故≠ξk x ,k ∈N .这是一个矛盾.故2P 不可数.性质3.3.7 2P 非空.证明 从2P 的构造过程来看,每个区间的端点,例如0,125,23,,12525这样的端点都是被保留下来的,故2P ≠∅.性质3.3.8[6] 2P 不含任何区间.证明 由2P 的构造过程可知,第n 次分割后的第i ()1,2,,3n i =个小区间的长度为10()5n n L n =→→∞ 故2P 中不含任何区间. 性质3.3.9 2P 是疏朗集.证明 由2P 的构造,02x P ∀∈和0ε>,0(,)U x ε内包含有无穷多个被去掉的小区间,因此02(,)U x P ε⊄,即2P 在0(,)U x ε中不稠密,根据定义2.5即得2P 是疏朗集. 性质3.3.10 2P 没有孤立点.证明 由性质3.3.1知2P 是闭集,又由闭集构造定理知,闭集的孤立点一定是它的两个余区间的公共端点,由2P 的构造过程知,这样的公共端点是不存在的,即2P 没有孤立点.性质3.3.11 2P 与R 对等.证明 由性质3.3.6知,2P c ==,又R c ==,从而2P R .由此说明2P 中的点与R 中的一样多.又因为2P ⊂[0,1]⊂R ,由此说明,“部分小于全体”的结论在无穷集合中是不成立的.4 Cantor 集的应用Cantor 集的巧妙构思和它奇特的性质为构造一些反例提供了启示,也为一些题目的证明与求解带来的方便,下面将分别举例来说明.4.1 Cantor 集在反例中的应用.例1 孤立点集必是疏朗集,而疏朗集未必是孤立点集. 例如 Cantor 集中的任一元都是疏朗集,但不是孤立点集. 例2 存在R 中零测度集E ,使得对每个x E ∈及任意0δ>,有E(0,x δ-)0x δ+为不可数集.此题中可取{},E P Q x y x P y Q =+=+∈∈.其中P 为Cantor 集,Q 为有理数集.例3 在[]0,1上做出的完备疏朗集的测度必为1. 反例 2P 是[]0,1上的完备疏朗集,但其测度为零.例 4 可数集的测度为零,但测度为零的集合未必都是可数集. 反例 2P 的测度为零,但它是不可数集. 4.2 Cantor 集及其性质在证明题中的应用.例1[8] 无理数在R 中是稠密的,但由无理数组成的疏朗的完全集是存在的.证明 任取两个无理数α和β()αβ<,设闭区间[],αβ中有理数为{}12,,,,n r r r ,仿照Cantor 集的构造法,第一步,从[],αβ中挖掉开区间1F ,1F 满足以[],αβ的中点为中点,长度小于βα-且包含1r ;从余下的两个闭区间中挖掉与1F 性质类似的两个开区间12F 和22F ,且使122r F ∈,232r F ∈,如此这样做下去,[],αβ中余下的即是一个由无理数组成的疏朗的完备集.例2 设P 是Cantor 集,E 在[]0,1中为不可数集,在[]0,1上定义函数[]22,,()4,0,1.x x P E f x x x PE +∈⎧⎪=⎨+∈-⎪⎩判断()f x 在[]0,1上是否可测.解 由性质3.3.5知,0mP =.又P E P ⊂,由测度的非负性及单调性,有()0m PE ≥,()m PE mP ≤故()0m PE =即2()4f x x →+.a e 于[0,1],从而()f x 在[0,1]上可测.例3 设()f x 在集合2P 上为1,而在2P 的补集G 中的长度为15n的构成区间上()f x 为n ,求积分10()f x dx ⎰.解 记n G 为G 中长度为15n 的各个开区间之并,则nG 有123n -⨯个长度为15n的开区间且115n n G ∞==∑,1235n n nmG -⨯=. 由题意知21,,()(1,2,),.x P f x n n x G ∈⎧==⎨∈⎩1()f x dx ⎰=2()()P G f x dx f x dx +⎰⎰=21()nP G n f x dx ndx ∞=+∑⎰⎰1nG n ndx ∞==∑⎰=1n n n mG ∞=⋅∑=111235n n n n ∞-=⋅⨯⋅∑=12335nn n ∞=⎛⎫ ⎪⎝⎭∑ 令12335nN N n S n =⎛⎫= ⎪⎝⎭∑,则11323535n N N n S n +=⎛⎫=⋅ ⎪⎝⎭∑. 21323333535555N N N N S S N +⎡⎤⎛⎫⎛⎫⎛⎫-=+++-⋅⎢⎥ ⎪ ⎪ ⎪⎝⎭⎝⎭⎝⎭⎢⎥⎣⎦即23211555NN S N ⎛⎫⎛⎫=-⋅+ ⎪ ⎪⎝⎭⎝⎭535252NN S N ⎛⎫⎛⎫=-⋅+ ⎪ ⎪⎝⎭⎝⎭5355lim lim 2522N N N N S N →∞→∞⎡⎤⎛⎫⎛⎫=-⋅+=⎢⎥ ⎪ ⎪⎝⎭⎝⎭⎢⎥⎣⎦故105()2f x dx =⎰.5 小结综合上述内容,根据Cantor 三分集的构造特征,对其构造进行了拓展,即以五分法构成了2P ,并对集合2P 所具有的性质做了探究证明,进而发现在五分法下构成的集合2P 具有与Cantor 三分集完全相同的奇特性质.从而揭示了Cantor 三分集这种奇特的构造方法并非偶然.之后通过实例将Cantor 三分集、五分集及其性质得以运用,特别是在范例中的运用破除了一些似是而非的错觉,体现了Cantor 集在数学问题的解决中的重要性. 致谢 诚挚的感谢郭金生老师的悉心指导！参 考 文 献[1]于兴太,杨明顺.Cantor 三分集构造方法探究[J].江西科学学报,2010,28(2):147-149. [2]程其襄等.实变函数与泛函分析基础[M].三版.高等教育出版社,2010,6. [3]刘培德.实变函数教程[M].科学出版社,2006.[4]徐森林,薛春华.实变函数论[M].清华大学出版社,2009,8.[5]夏道行,吴卓人等.实变函数论与泛函分析[M].二版.高等教育出版社,2010,1. [6]熊国敏.谈谈Cantor 集[J].安顺师专学报,2002,4(4):53-55.[7]王有一.Cantor 集合的应用[J].宝鸡文理学院学报(自然科学版),1994,1(1):122-125. [8]董大校.Cantor 集性质的应用[J].玉溪师范学报2009,25(8):18-22.。