第三节 点集间的距离 实变函数课件知识介绍.pptVIP

* * 第三节 点集间的距离 第二章 n 维空间中的点集 Cantor集 对[0,1]区间三等分，去掉中间一个开区间， 然后对留下的两个闭区间三等分，各自去掉中间一个开区间， 此过程一直进行下去，最后留下的点即为Cantor集 1.Cantor集 第n次 去掉的开区间 留下的闭区间 1 2 n ⑴定义：令 称P=[0,1]- G=[0,1]∩Gc 为Cantor集 ⑵Cantor集的性质 a .分割点一定在Cantor集中 Cantor集P=[0,1]- G=[0,1]∩Gc为闭集 注：第n次共去掉2n-1个长为1/3n的开区间 b. P的“长度”为0，去掉的区间长度和 c. P没有内点 ( ) x-ε x x+ε 第 n+1次等分去掉的区间 第n次等分留下的区间 但由Cantor集的作法知，我们要对继续三等分去掉 中间一个开区间，从而 内至少有一点不属于P， 所以x不可能是P的内点。 证明：对任意x ∈ P, x必含在“去掉手续 进行到第n次”时留下的2n个长为1/3n的互 不相交的某个闭区间中 e. P的势为 （利用二进制，三进制证明） 证明思路：把[0,1]区间中的点都写成三进制小数， 则Cantor集的作法中去掉的点为小数位出现1的点 的全体，从而Cantor集为小数位只是0,2的点的全 体，作对应 注:Cantor集中除了分割点外,还有大量其他点. 说明：三等分的端点有必要特殊考虑，因为它有两种表示，如 0.1000000… = 0.0222222… （三进制小数） 0.2000000… = 0.1222222… Cantor函数（Cantor集为三等分去掉中间一个开区间，如此过程一直下去） ( ) ( ) ( ) ( ) ( ) ( ) ( ) 0 1/9 1/3 2/3 1 1/2 1/8 1/4 3/8 5/8 7/8 3/4 如此类似取值一直定义下去 Cantor函数 a.在G=[0,1]-P的各构成区间上， c.当 时,规定 称 为[0,1] 上的Cantor函数。 显然在[0,1]上单调不减 b.规定 如前图规定:在第n次去掉的2n-1个开区间上依次取值为 Cantor函数在[0,1]上连续 注：Cantor函数把长度为零的集合 连续拉长成长度为1的集合 否则，若 在x0∈ (0,1)处不连续， 则开区间 非空， 此区间中的每个数都不属于 的值域， 这与 矛盾. （端点情形类似说明） 2.填满正方形的曲线 注：相应映射 f : [0,1] →[0,1]×[0,1] 是满射，但不是单射 如0.12090909090909… 与0.029999999999…都对应到点 (0.1000000 …,0.2999999 …)=(0… , 0…) (各有限小数（除0外）都写成以9为循环的小数） 将填满正方形[0,1]×[0,1] 连续曲线 [0,1]×[0,1] [0,1] 问:[0,1] 与[0,1]×[0,1]间不存在连续的一一对应? [0,1] 与[0,1]×[0,1]间存在一一对应 （即单又满），势都为连续势; [0,1] 与[0,1]×[0,1]间存在连续满映射； 此例引起人们对维数的重新思考(什么叫曲线，曲面)（传统上认为维数即为确定整个图形中点的位置所需的坐标个数） 各方向扩大2倍 2=21 4=22 8=23 维数n = log2n / log2 Sierpinski垫的 维数是log3 / log2 Cantor集的维数 是log2 / log3 参见：《分形对象：形、机遇和维数》 B.Mandelbrot; 《实迭代》张景中； 《数学的源与流》张顺燕； 《集合与面积》李惠玲; 分形艺术:; 分形频道 Koch曲线的维数 是log4 / log3 面积有限但边 界线无限长 (4/3)n的极限 （20世纪上半世纪）有限维 到 无限维 (泛函分析) （20世纪下半世纪）有限维 到 分数维 (分形几何) Mandelbrot集合