点集间的距离-实变函数论.PPT

习题问题:无论[0,1]作为直线上的子集,还是平面中的子集都始终恒有下式成立 1.直线上的开集构造 一、构成区间定义:E的区间子集,但端点不属于E 1.直线上的开集构造 定理1.7.1：直线上的任一非空开集都可唯一地 表示成有限个或可数个互不相交的 开区间的并。 2．直线上闭集的构造 3．直线上完备集的构造 4.Cantor集的构造方法 ①.Cantor 和 集 ②Cantor集的性质 5.数的进位制简介 十进制小数 相应于 对[0,1]十等分 二进制小数 相应于 对[0,1]二等分 三进制小数 相应于 对[0,1]三等分 利用进位制证明 P0集的势为 　　　　 6．　　中开集的构造 6．Rn中开集的体积规定 6．开集的体积规定合理性所需依据: * * 四川省省级精品课程《实变函数论 》 主讲人：魏勇 §1.7 开集的结构及其体积 第一章 集合论基础与点集初步 ( ) ( x ) ( ) 2)构成区间个数:至多可数(因为构成区间互 不相交,每个区间取一个 有理数作为代表, 代表至多可数) 二、构成区间之间的性质: 3)E为互不相交的区间之并,每个区间就是 构成区间 1）要么不相交,要么完全重合, 不存在交和内含 ( ) ( x ) ( ) 找法:既然是内点,就有小区间包含它,从小区间出发,将左端点向左移得不能再移为止,将右端点向右移得不能再移为止 α, β 推论2: 直线上的闭集的孤立点必是其余区间的某两 　　　　 　　　个相邻开区间的公共端点; ( ) ( )( ) ( ) 无孤立点的集叫自密集，自密的闭集叫完备集． 推论1:直线上的闭集F或是全直线，或是从直线　　　　　 　　上挖去( )有限个或可数个互不相交 　的开区间所得之集.(称挖去的区间叫F的余区间) ( ) ( ) (　　　　　） 推论1:直线上的完备集F或是全直线，或是从直线　　　　　 　　　上挖去( )有限个或可数个互不相交 　　　的且无公共点的开区间所得之集 注意:直线上的完备集F不一定能表成 有限个或可数个互不 相交的闭区 间之并 对[0,1]区间三等分，去掉中间一个开区间，然后对留下的两个闭区间三等分，各自去掉中间一个开区间，此过程一直进行下去，最后留下的点集即为Cantor P0集 n 2 1 留下的闭区间 去掉的开区间 第n次 ⑴定义：称 为Cantor 集 称P0=[0,1]- G=[0,1]∩Gc 为Cantor 集 1) 分割点一定在Cantor集P0中 P0=[0,1]- G0=[0,1]∩G0c为闭集 2) P0完备(P0没有孤立点,从而全为聚点) 3) P0没有内点（①因为有内点，长度就为正！ ②第n次挖后剩下区间长度为1/3n→0） 4). P0的势为C(补讲进位制后证明) 说明：对应[0,1]十等分的端点有两种表示，如 0.2000000… 0.1999999… （十进制小数） 第一次十等分确定第一位小数 第二次十等分确定第二位小数 证明思路：把[0,1]区间中的点都写成三进制小数， 则Cantor G0点为小数位出现1的点的全体，从而 Cantor P0集为小数位只是0,2的点的全体，作1-1 对应 注:Cantor P0集中除了分割点外,还有大量其他点. 说明：三等分的端点有必要特殊考虑，因为它有 两种表示，如 0.1000000… = 0.0222222… （三进制小数） 0.2000000… = 0.1222222… 所以P0的势为C ２）Rn中的开集一般不能表成至多