资源描述：
《cantor集与cantor函数》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。
1、实用文案Cantor集与Cantor函数【摘要】：本文详细分析并证明cantor集与cantor函数的定义与性质，具体内容有：cantor集的完备性，具有连续统势；cantor函数的性质，解决了课堂上的小问题（关于cantor函数的连续性与稠密性）；并借助于cantor集，给出一个孤立点集，它的导集是一个完备集；最后给出了一些常见的分形。【关键词】：Cantor集、Cantor函数、分形、点集、完备集1Cantor集与Cantor函数的定义1.1Cantor集的定义将基本区间A=[0，1]三等分，除去中间的开区间,记其剩余部分为；再将中的两
2、个闭区间各三等分，然后分别去掉中间的开区间,然后记其剩余部分为。如此继续下去，在第n步时，去掉的开区间为。其余部分为个长为的闭区间，令又令，，则称所得的C为Cantor集。1.2Cantor函数的定义将基本区间A=[0，1]三等分，并除去中间的开区间,同时令把余下的两个闭区间各三等分，并除去中间的开区间同时令标准文档实用文案然后再将余下的四个闭区间用同样的方法处理。这样，当进行到n次时，一共去掉了个开区间此时令下面我们定义如下函数： f=这个函数f(x)就是Cantor函数。2Cantor集与Cantor函数的基本性质2.1Cantor集的
3、性质2.1.1完备性Cantor集是完备集：引理：FG，则F是完备集的充分必要条件是是至多可数个两两不相交且无公共端点的开区间的并，即两两不相交且无公共端点。证明：Cantor集C明显满足上述条件G=[0,1]C故：R-C=G而：G=(,)∪(,)∪(,)∪(,)∪(,)∪(,)∪(,)∪......为两两不相交且没有公共端点的开区间的并。故C为完备集2.1.2Cantor集是疏集，没有内点标准文档实用文案证明：假设是C的内点，则存在，使得这样含于[0,1]中且这个开集的各个构成区间互不相交，这些区间的长度之和大于1，矛盾。由C是疏集。2
4、.1.3G=[0,1]C是[0,1]中的稠密集即证明证明：易得,下面证明反证法，任取x且x，则存在x的一个邻域，其中不含有G的点。可得这个领域在C内。又，故xC，所以x是C中的内点。与C是疏集矛盾。所以。故，G是[0,1]中的稠密集，证毕。2.1.4C具有连续统势由上述性质，似乎Cantor完备集中没有多少点了！但事实上不然，下面证明其有连续统势。证明：由定理可得，(0,1)与无限n元数列全体等价。所以，(0,1)中每一点x，有惟一的一个无限三元数列，使(1)现在对中所有的点x必定，对及中所有的点x必定，中所有的点x必定，等等。即对G中所
5、有的点x，(1)中所有对应的中必有等于1的项。因此(1)中仅由0和2构成的无限三元数列所对应的x都在C中。而这样的全体有连续统势。证毕.2.2Cantor函数的性质（关于课堂小问题：Cantor函数的连续性和稠密性）2.2.1Cantor函数是[0,1]上的单增函数由其构造方法易得这个性质，在这里就不证明了2.2.2Cantor函数是[0,1]上的连续函数引理：f是[a，b]单增实值函数，f([a，b])是区间[f(a),f(b)]的稠子集，则f连续标准文档实用文案证明引理：首先证明f在x=a连续。由假设知对于任意的，存在y，使得利用f的单
6、调性知道：当axy时这样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的余集的构成区间的中点集合是孤
7、立点集并且它的的导集是完备集。证明：设G=[0,1]C，则：G=(,)∪(,)∪(,)∪(,)∪(,)∪(,)∪(,)∪......设F是G的构成区间的中点组成的集合，对任意的xF，x是G中某个开区间E的中点，故必然存在中，而G是两两不相交的开区间的并，故区间中不会含有除x外的F中的点，由x的任意性，F是孤立点集。下面证明对任意的x，x的任邻域中有F的无限个点,所以；反过来，我们记：记为构造Cantor集的过程中第二次去掉开区间后剩下的[0,1]区间中的部分，也就是说：一般地，记为构造Cantor集的过程中第n次去掉开区间后剩下的[0,1
8、]区间中的部分，则表示的各个闭区间去掉中间1/3长度的开区间后剩下的部分，不难发现：假如，则对于任意的，以及满足的一个自然数n，由于，x一定属于组成的某个闭区间，注意到包含了G的
