文档介绍：该【Cantor集与Cantor函数 】是由【Alphago】上传分享，文档一共【9】页，该文档可以免费在线阅读，需要了解更多关于【Cantor集与Cantor函数 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。Cantor集与Cantor函数
【摘要】:主要介绍Cantor集与Cantor函数的定义、基本性质与其分形
【关键词】:Cantor集、Cantor函数、分形
1、Cantor集与Cantor函数的定义
、Cantor集的定义
将基本区间[0,1]用分点1/3,2/3三等分,并除去中间的开区间
,把余下的两个闭区间各三等分,并除去中间的开区间
,,然后再将余下的四个闭区间用同样的方法处理。这样,
当进行到n次时,一共去掉个开区间如此下去,就从中去掉了
可数个不相交的开区间
G=(,)∪(,)∪(,)∪(,)∪(,)∪(,)∪(,)∪......
而康托尔集C=[0,1]-。G
、Cantor函数的定义
将基本区间[0,1]用分点1/3,2/3三等分,并除去中间的开区间
,同时令
把余下的两个闭区间各三等分,并除去中间的开区间
,,同时令
然后再将余下的四个闭区间用同样的方法处理。这样,当进行到n次
时,一共去掉个开区间此时令
下面我们定义如下函数:
f=
这个函数f(x)就是Cantor函数。
2、Cantor集与Cantor函数的基本性质
、Cantor集的性质
、完备性
Cantor集是完备集:
引理:FG,则F是完备集的充分必要条件是是至多可数个两两
不相交且无公共端点的开区间的并,既
两两不相交且无公共端点。
证明:Cantor集明显满足上述条件
G=[0,1]\C
故:
R-C=G
而:
G=(,)∪(,)∪(,)∪(,)∪(,)∪(,)∪(,)∪......
为两两不相交且没有公共端点的开区间的并。
故C为完备集
、Cantor集是疏集,没有内点
证明:假设是C的内点,则存在使得这样
含于[0,1]中且这个开集的各个构成区间互不相交,这些
区间的长度之和大于1,矛盾。
由C是疏集。
、G=[0,1]\C是[0,1]中的稠密集
既证明
证明:易得,下证
反证法,任取x且x,则存在x的一个邻域,其中不含有
G的点。可得这个领域在C内。又,故xC,所以x是C中的内
点。与C是疏集矛盾。所以。故,G是[0,1]中的稠密
集,证毕。
、C具有连续统势
由上述性质,似乎Cantor完备集中没有多少点了!但事实上不然,下面证
明其有连续统势。
证明:由定理可得,(0,1)与无限n元数列全体等价。所以,(0,1)中每一
点x,有惟一的一个无限三元数列,使
(1)
现在对中的所有点x必定,对及中
的所有点x必定,中的所有点x必定,等等。即
对G中所有点x,(1)中所有对应的中必有等于1的项。因此(1)中仅
由0和2构成的无限三元数列所对应的x都在C中。而这样的全
体有连续统势。证毕.
、Cantor函数的性质
、Cantor函数是[0,1]上的单增函数
由其构造方法易得这个性质,在这里就不证明了
、Cantor函数是[0,1]上的连续函数
引理:f是[a,b]单增实值函数,f([a,b])是区间[f(a),f(b)]的稠子集,则f连续
证明:首先证明f在x=a连续。由假设知对于任意的,存在y,
使得
利用f的单调性知道:当axy时
这样f在x=a连续,同理可证明f在x=b连续。
现在取我们只要证明:
明显:,假如二者不相等,则有这样我
们可以取数和,使得
这个,但是对于任意的x
这和f([a,b])在[f(a),f(b)]中稠密矛盾。同理可证明
证明:由于:
对任意的x,
,则。
故:
在[0,1]中稠密,因此f([0,1])是[0,1]的稠密子集。得用上述引理,f是[0,1]
是的连续函数。
3、借助于Cantor集,给出一孤立点集,其导集是完备集
Cantor集C的余集的构成区间的中点集合是孤立点集且它的的导集是完备
集。
证明:设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]区间中的部分,
则表示的各个闭区间去掉中间1/3长度的开区间后剩下的部
分,不难发现:
假如,则对于任意的,以及满足的一个自然数n,由
于,x一定属于组成的某个闭区间,注意到包
含了G的无限多个构成区间,所以中有F的无限个点。于是
x,这样就证明了
4、从Cantor集到分形
、分形简介
分形Fractal,来自拉丁文的Fractus,意思是含有断裂和碎片。它的创始人
是美籍数学家曼德尔伯罗特。他在1967年发表了题为《英的国海岸线有多长》
的著名论文。海岸线作为曲线,其特征是极不规则、极不光滑的,呈现蜿蜒复杂
的变化。我们不能从形状和结构上区分这部分海岸与那部分海岸有什么本质的
不同,这种几乎同样程度的不规则性和复杂性,说明海岸线在形貌上是自相似的,
也就是局部形态和整体态的相似。
目前对分形还没有严格的数学定义,只能给出描述性的定义。粗略地说:
;
;
;
。
分形可以是自然存在的,也可以是人造的。树木、山川、云朵、闪电、
星系、大脑皮层……都是典型的分形
标准的自相似分形是数学上的抽象,迭代生成无限精细的结构,如Koch雪花
曲线、谢尔宾斯基(Sierpinski)地毯曲线等。
、分形的基本性质
总的说来分形一般有以下特质:
在任意小的尺度上都能有精细的结构;太不规则,以至难以用传统欧氏几
何的语言描述;(至少是大略的或任意的)自相似;有着简单的递归定义。
(1)分形集都具有任意小尺度下的比例细节,或者说它具有精细的结构。
(2)分形集不能用传统的几何语言来描述,它既不是满足某些条件的点的
轨迹,也不是某些简单方程的解集。
(3)分形集具有某种自相似形式,可能是近似的自相似或者统计的自相
似。
(4)一般,分形集的“分形维数”,严格大于它相应的拓扑维数。
(5)在大多数令人感兴趣的情形下,分形集由非常简单的方法定义,可能
以变换的迭代产生。
、一些常见分形
、Koch曲线
给定线段,科赫曲线可以由以下步骤生成:
。
,向外或向内画出一个等边三角形。
。
分别对每边重复步骤1-3.。
该曲线是第一个人为构造的具有局部与整体相似的结构,被称为自相似结
构。
、门格尔海绵
门格尔海绵由以下步骤生成:
从一个正方体开始。
把正方体的每一个面分成9个全等正方形。这样,原正方体将会被分成27
个小正方体。
把每一面的中间的正方体去掉,中间的正方体也去掉,这样留下20个小正
方体。
把每一个留下的小正方体都重复第1-3个步骤。
、塞宾斯基三角
塞宾斯基三角有以下步骤生成:
。(多数使用等边三角形)
,将它分成四个小三角形。
。
-3。
塞宾斯基地毯。
生成方法:将一个实心正方形划分为9个小正方形,去掉中间的小正方
形,再对余下的小正方形重复这一操作便能得到谢尔宾斯基地毯。
此外还有其他的分形,比如:三位谢氏塔、洛伦次曲线、四方内生树、曼德勃
罗集等。
分形感悟
分形作为一个新的概念被提出,对世界科学产生了巨大的影响。无论是在
几何学、生物学、物理学、地理学,还是在哲学、社会科学抑或其他领域,都
产生了不可估量的促进作用。在我看来,分形尽管与欧式几何没有太大的关
系,但是对欧式几何的发展也作出了贡献,并扩展。上文举出的几个分形例子
与三分康托集具有一定的相似性,构造方法也有相同的地方,像康托集的长为
0,而雪花的面积也为0,看似错误,但事实就是这样。分形的奥秘还有许许多
多,越是研究越是深奥……
【参考文献】
1)百度百科
2)维基百科
3)秋《分形几何概述》