实变函数（五） Cantor Set

对于Cantor Set，我们只需要讲一下其基本性质和定义方式即可。Cantor Set，事实上就是对一个0,1闭集进行某种迭代的不断三分而形成的。下面我们使用文字描述的形式，来还原一下有限阶的Cantor Set是如何生产出来的。

未划分前：$[0,1]$
划分一次：$[0,\frac{1}{3}],[\frac{2}{3},1]$
划分二次：$[0,\frac{1}{9}],[\frac{2}{9},\frac{1}{3}],[\frac{2}{3},\frac{7}{9}],[\frac{8}{9},1]$
划分三次：$[0,\frac{1}{27}],[\frac{2}{27},\frac{1}{9}],[\frac{2}{9},\frac{7}{27}],[\frac{8}{27},\frac{1}{3}],[\frac{2}{3},\frac{19}{27}],[\frac{8}{9},\frac{25}{27}],[\frac{26}{27},1]$

可以看出，就是将上一步中的闭集每次去掉中间的那个区间，这样就可以做出一个递归，当这个递归无限进行下去，就能得到最终的Cantor Set。未划分前整个闭区间的长度为$1-0=1$，当划分一次后，总共只有$2$个区间，每个区间的长度是先前的$1/3$，因此总长度为$2\times 1/3$；以此类推，当划分了$n$次后的Cantor集的长度为
$$L(n)=2^n\times (1/3{)}^n={\left(\frac{2}{3}\right)}^n\to 0{|}_{n\to +\infty }$$因此可以得出Cantor集的长度实际上为零。到此为止似乎还没有什么可诧异的，无非就是说Cantor集没有长度，可能这就是由很多的点组成的。事实上也是如此，我们将给出几条Cantor集比较“诡异”的几条性质，并且稍微点出证明方式。

定理1 Cantor集中不存在内点。

很简单的证明方式，如果我取一个点$x\in C_n$，假设的确存在一个邻域$U(x,{\delta }_0)\subseteq C_n$，那么接下来再进行$N$次数的迭代后，总能够让有点的区间长度$(2/3{)}^{n+N}$小于$2{\delta }_0$，只要$N>{\log }_{2/3}2{\delta }_0$即可。

定理2 Cantor集中全为聚点，没有孤立点。

事实上，如果我们取了一个点$x\in C_n$，那么只要取邻域$U_0=U(x,\max [d(x,C_{ni}^a),d(x,C_{ni}^b)])$，那么必然有 U 0 ∩ ( C n − { x } ) ≠ ∅ U_0\cap (C_n-\{x\})\neq \varnothing U0​∩(Cn​−{x})=∅，因为$x$不可能同时等于$C_{ni}^a$和$C_{ni}^b$，因而必然不为空集。解释：$C_{ni}^a$代表$x$所处于的$C_n$的区间（假定是第$i$个）的左端点值，$C_{ni}^b$也是同理。

定理3 Cantor集的基数为$c$。

这个证明方法仍然用到了进制学。Cantor集合事实上非常巧妙地将所有小数形式中带“1”的数都去除掉了。经过一个进制转换网站进行验证，可以发现，第一次去掉的开集$(1/3,2/3)$在三进制中就是$(0.1,0.2)$；第二次去掉的开集$(1/9,2/9),(7/9,8/9)$在三进制中就是$(0.01,0.02),(0.21,0.22)$。可以看到第一次去掉就能够将所有第一个小数位为1的小数去掉，第二次就能将所有第二个小数位为1的小数去掉，以此类推事实上可以说Cantor集中的所有数是不存在“1”这个数字的。那么事实上只要将$x\in C$作$f(x)=x/2$这个变换即可。此时$x/2$显然是闭区间$[0,1]$的二进制数，也就是说$C\iff [0,1]$，$\overline{\overline{C}}=c$。

关于Cantor集的概念和性质还有很多，在此不再推广。