Cantor集与Cantor函数

Cantor 集与Cantor 函数

【摘要】：本文详细分析并证明cantor 集与cantor 函数的定义与性质，具体容有：cantor 集的完备性，具有连续统势；cantor 函数的性质，解决了课堂上的小问题（关于cantor 函数的连续性与稠密性）；并借助于cantor 集，给出一个孤立点集，它的导集是一个完备集；最后给出了一些常见的分形。 【关键词】：Cantor 集、Cantor 函数、分形、点集、完备集

1 Cantor 集与Cantor 函数的定义

1.1 Cantor 集的定义

将基本区间A=[0

，1]三等分，除去中间的开区间)3

2

31(1

1，，=I ,记其剩余部分为⎥⎦

⎤

⎢⎣⎡⎥⎦⎤⎢⎣⎡=1,323101 ，E ；再将1E 中的两个闭区间各三等分，然后分别去掉

中间的开区间)3

837()3231(

222,2221,2，，，==I I ,然后记其剩余部分为⎥⎦

⎤

⎢⎣⎡⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡=1383732313231022222，，，， E 。如此继续下去，在第n 步时，去掉

的开区间为)3

1

3323()3837()3231(12,2,1,n n n n n n n n n n n n I I I --===-，，，

，，， 。其余部分为n

2个长为n 31

的闭区间，令 n m k k m n m I G 11

21

,=-==又令 k n k n n n I G G ,,1==∞

=，

G C \]10[，=，则称所得的C 为Cantor 集。

1.2 Cantor 函数的定义

将基本区间A=[0，1]三等分，并除去中间的开区间

,同时令

把余下的两个闭区间各三等分，并除去中间的开区间

)3

8

37()3231(

222,2221,2，，，==I I 同时令

然后再将余下的四个闭区间用同样的方法处理。这样，当进行到n次时，一共去掉了个开区间此时令

下面我们定义如下函数：

f=

这个函数f(x)就是Cantor函数。

2 Cantor集与Cantor函数的基本性质

2.1 Cantor集的性质

2.1.1 完备性

Cantor集是完备集：

引理：F G，则F是完备集的充分必要条件是是至多可数个两两不相交且无公共端点的开区间的并，即

两两不相交且无公共端点。

证明：Cantor集C明显满足上述条件

G=[0,1]\C

故：

R-C=G

而：

G=(,)∪(,)∪(,)∪(,)∪(,)∪(,)∪(,)∪......

为两两不相交且没有公共端点的开区间的并。

故C为完备集

2.1.2 Cantor集是疏集，没有点

证明：

假设是C的点，

则存在，使得

这样含于[0,1]中且这个开集的各个构成区间互不相交，这

些区间的长度之和大于1，矛盾。

由C是疏集。

2.1.3 G=[0,1]\C是[0,1]中的稠密集

即证明

证明：易得,下面证明

反证法，任取x且x，则存在x的一个邻域，其中不含有G的点。可得这个领域在C。又，故x C，所以x是C中的点。与C是疏集矛盾。所以。故，G是[0,1]中的稠密集，证毕。

2.1.4 C具有连续统势

由上述性质，似乎Cantor完备集中没有多少点了！但事实上不然，下面证明其有连续统势。

证明：由定理可得，(0,1)与无限n元数列全体等价。所以，(0,1)中每一点x，有惟一的一个无限三元数列，使

(1)

现在对中所有的点x必定，对及

中所有的点x必定，中所有的点x必定

，等等。即对G中所有的点x，(1)中所有对应的中必有等于1的项。因此(1)中仅由0和2构成的无限三元数列所对应的x都在C 中。而这样的全体有连续统势。证毕.

2.2 Cantor函数的性质（关于课堂小问题：Cantor函数的连续性和稠密性）

2.2.1 Cantor函数是[0,1]上的单增函数

由其构造方法易得这个性质，在这里就不证明了

2.2.2 Cantor函数是[0,1]上的连续函数

引理：f是[a，b]单增实值函数，f([a，b])是区间[f(a),f(b)]的稠子集，则f

连续

证明引理：首先证明f在x=a连续。由假设知对于任意的，存在

y，使得

利用f的单调性知道：当a x y时

这样f在x=a连续，同理可证明f在x=b连续。

现在取我们只要证明：

明显：,假如二者不相等，则有

这样我们可以取数和，使得

这个,但是对于任意的x

这和f([a,b])在[f(a),f(b)]中稠密矛盾。

同理可证明。

证明Cantor函数是[0,1]上的连续函数：

因为：

对任意的x,的一个自然数n.

不妨设,

则。

故：

在[0,1]中稠密，因此f([0,1])是[0,1]的稠密子集。得用上述引理，f是[0,1]是的连续函数。

3借助于Cantor集，给出一孤立点集，其导集是完备集

Cantor集C的余集的构成区间的中点集合是孤立点集并且它的的导集是完备集。