康托尔集合

康托尔三分集的性质及其证明06级数学系本科班祁晓庚074001061050摘要：简述康托尔三分集的定义，介绍它的六个性质并分别对每个性质进行证明。关键词：康托尔三分集闭集不可列完全集1、什么是康托尔三分集将基本区间[]0,1用分点13，23与三等分，并除去中间的开区间（13，23）。把余下的两个闭区间各三等分，并除去中间的开区间（19，29），（79，89）。然后再将余下的四个闭区间同法处理，如此等等。这样便得到康托尔三分集0P与开集0G。0G=（13，23）∪（213，223）∪（273，283）∪（313，323）∪（373，383）∪（3193，3203）∪（3253，3263）∪…0P是0G的补集2、康托尔三分集的性质及证明（1）0P是一个闭集，不含有任何区间。这是显然的，0G是任意个开集的并，所以0G仍是开集，0P是0G的补集，所以0P是闭集。这表明不含有任何区间的闭集是存在的。（2）0P是完全集证明：要证0P是完全集即证它不含有孤立点。假设0P有一孤立点0x，则存在（α，β）使（α，β）中不含0P中除0x以外的任一点。所以（α，0x）0G，（0x，β）0G。于是0x将成为0G的某两个区间的公共端点，但由于0G的做法是不可能的。所以不存在这样的点0x，与假设矛盾，所以得证0P是完全集。（3）0P是不可列的证明：假设0P是可列的，将0P中点编号成点列1x，2x，…，kx…，也就是说，0P中任一点必在上述点列中出现。显然，10,3与2,13中应有一个不含有1x，用1I表示这个闭区间。将1I三等分后所得的左与右两个闭区间中，应有一个不含2x，用2I表示它。然后用3I表示三等分2I时不含3x的左或右的那个闭区间，如此等等。这样，根据归纳法，得到一个闭区间列NkkI}{。由所述取法知，1I2I…kI…，kxÏkI，kN，同时，易见kI的长为13k0（k）。于是根据数学分析中区间套定理，存在点xÎkI，kÎN。可是x是kI等的端点集的聚点，从而是闭集0P的聚点，故xÎ0P。由于上面已指出kxÏkI，kN，故x¹kx，kÎN。这是一个矛盾。故0P不可列。（4）0P的势等于À与[]0,1同势证明：引进[]0,1中小数的三进表示来考察区间（13，23）中每个点x可表示成x=0.12x3x…，其中2x，3x，…是0，1，2三个数字中之一。这区间的两个端点均有两种表示，规定采用（不出现数字1）：13=0.0222…，23=0.2000…，区间（213，223），（273，283）中的点x可表示成x=0.013x4x…或x=0.213x4x…，其中3x，4x，…是0，1，2中任一数字。而区间端点则采用（不出现数字1）：213=0.0022…，273=0.2022…，223=0.0200…，283=0.2200…。如此等等。根据归纳法分析可知，依上述规定，0G中的点的三进表示中必有一位数字是1，且只有这样的点才属于0G。因而0P与集A={0.1x2x3x…：每个kx{0，2}}成一一对应。且A显然与[]0,1对等，故A的势为À，从而0P的势为À。（5）m0P=0证明：因为0G是开集由测度的定义有m0G=13+223+…++=1m0P=1-m0G=1-1=0我们得到0P是一个测度为零的不可列集。（6）0P是稀疏集因为0P=0P，不能包含R中的任何一个邻域，所以0P不在R中的任何一个邻域中稠密，故0P是稀疏集。康托尔三分集因为具有以上特殊的性质，是一个很典型的特例能来说明实变函数中的很多问题，在实变函数中占有很重要的地位。参考文献：【1】郑维行王声望编，实变函数与泛函分析概要（第三版）第一册，北京：高等教育出版社，2008.【2】胡长松主编，实变函数，北京：科学出版社，2002.