康托尔三分集的性质及其证明
06级数学系本科班 祁晓庚 [1**********]0
摘 要：简述康托尔三分集的定义，介绍它的六个性质并分别对每个性质进行证
明。
关键词：康托尔三分集 闭集 不可列 完全集 1、什么是康托尔三分集
将基本区间[0,1]用分点，与三等分，并除去中间的开区间（
3
31
2
13
）。
389
2
把余下的两个闭区间各三等分，并除去中间的开区间（，
9
129
），（
79
，）。
然后再将余下的四个闭区间同法处理，如此等等。这样便得到康托尔三分集P0与开集G0。 G0=（，
31
2373
3
）∪（，
83
3
13
2
，
233
2
）∪（，
203
3
73
2
，
83
2
）∪（
3
13
3
，
23
3
）
∪（）∪（
19
3
）∪（
253
，
263
3
）∪…
P0是G0的补集 2、康托尔三分集的性质及证明
（1）P0是一个闭集，不含有任何区间。
这是显然的，G0是任意个开集的并，所以G0仍是开集，P0是G0的补集，所以P0是闭集。
这表明不含有任何区间的闭集是存在的。
（2）P0是完全集
证明：要证P0是完全集即证它不含有孤立点。
假设P0有一孤立点x0，则存在（α，β）使（α，β）中不含P0中除
x0以外的任一点。
所以（α，x0）G0，（x0，β）G0。
于是x0将成为G0的某两个区间的公共端点，但由于G0的做法是不可能
的。
所以不存在这样的点x0，与假设矛盾，所以得证P0是完全集。
（3）P0是不可列的
证明：假设P0是可列的，将P0中点编号成点列x1，x2，…，xk…，也就是说，P0中任一点必在上述点列中出现。显然，0,与,1中应
33有一个不含有x1，用I1表示这个闭区间。将I1三等分后所得的左与右两个闭区间中，应有一个不含x2，用I2表示它。然后用I3表示三等分I2时不含x3的左或右的那个闭区间，如此等等。这样，根据归纳法，得到一个闭区间列{Ik}kN。由所述取法知， I1I2…Ik…，xkÏIk，kN，
同时，易见Ik的长为3
k
12
。于是根据数学分析中区间套0（k）
定理，存在点xÎIk，kÎN。可是x是Ik等的端点集的聚点，从而是闭集P0的聚点，故xÎP0。由于上面已指出xkÏIk，kN，故x¹xk，kÎN。这是一个矛盾。故P0不可列。
（4）P0的势等于À与[0,1]同势
证明：引进[0,1]中小数的三进表示来考察区间（，
31
23
）中每个点x可
表示成x=0.1x2x3…，其中x2，x3，…是0，1，2三个数字中之一。这区间的两个端点均有两种表示，规定采用（不出现数字1）：
2=0.2000…， =0.0222…，313
2
区间（，
23
2
），（
73
2
，
83
2
）中的点x可表示成x=0.01x3x4…或
x=0.21x3x4…，其中x3，x4，…是0，1，2中任一数字。而区间端点则采用（不出现数字1）：
33
2
=0.0022…，7=0.0200…，8
33
2
=0.2022…， =0.2200…。
22
如此等等。根据归纳法分析可知，依上述规定，G0中的点的三进表示中必有一位数字是1，且只有这样的点才属于G0。因而P0与集
A={0. x1x2x3…：每个xk{0，2}}
成一一对应。且A显然与[0,1]对等，故A的势为À，从而P0的势为À。 （5）mP0=0
证明：因为G0是开集由测度的定义有
mG0=
13
+
23
2
+…++=1
mP0=1- mG0=1-1=0
我们得到P0是一个测度为零的不可列集。 （6）P0是稀疏集
因为P0=P0，不能包含R中的任何一个邻域，所以P0不在R中的任何一个邻域中稠密，故P0是稀疏集。
康托尔三分集因为具有以上特殊的性质，是一个很典型的特例能来说明实变函数中的很多问题，在实变函数中占有很重要的地位。 参考文献：
【1】 郑维行 王声望编，实变函数与泛函分析概要（第三版）第一册，
北京：高等教育出版社，2008.
【2】 胡长松主编，实变函数，北京：科学出版社，2002.