第二章点集论解说.ppt

第二章 点集论 §1 度量空间，n维欧式空间 * * §2 聚点，内点，界点 §3 开集，闭集，完备集 §4 直线上的开集、闭集及完备集的构造 §1 度量空间，n维欧式空间 1、度量空间 设 是一个集合，若对于 中任意两个元素 ,都有唯一确定的实数 与之对应，而且这一对应关系满足下列条件： 的充要条件为 对任意的 都成立， 则称 是 之间的距离，称 为度量空间或距离空间。 中的元素称为点。 如果 是度量空间， 是 的一个非空子集，则 也是一个度量空间，称为 的子空间。 2、欧几里得空间，欧几里得距离： 对 中的任意两点， 规定距离 则 称为n维欧几里得空间,其中 称为欧几里得距离。 中所有和定点 之距离小于定数 的点的全体，即集合 称为点 的 邻域， 称为邻域的中心， 称为邻域的半径。 3、邻域 （3）对于 ，存在 邻域性质： （1） （2）对于 和 ，存在 （4）对于 ，存在 和 ，使 4、点列收敛 设 为 中一点列， ，如果当 时有 ，则称点列 收敛于 ，即为 即：对于 的任一邻域 ，存在某个自然数 ，使得当 时， 点列收敛等价于按坐标收敛。 5、点集间的距离 （1）两个非空点集A、B的距离定义为 （2）一个非空点集E的直径定义为 （3）如果 ，则称E为有界点集。空集也是有界点集。 E为有界点集的充要条件就是存在常数 ，对所有 有 这里0=(0,…,0),称为n为空间的原点。 （4）开区间I： （5）区间I的体积 |I|： §2 聚点，内点，界点 1、内点、外点和界点 (1)如果存在 的某一邻域 ,使得 ,则称 为E的内点。 (2)如果 是 的内点，则称 为E的外点。 (3)如果 既非E的内点又非E的外点，也就是说： 的任意邻域内既有属于E的点，也有不属于E的点，则称 为E的界点或边界点。 注：从定义可知，E的内点一定属于E，E的外点一定不属于E；E的界点可以属于E，也可以不属于E；E的内点与E的余集的外点是一致的；E的界点与E的余集的界点是一致的。 2、聚点、孤立点 (1)设E是 中一点集， 为 中一定点，如果 的任一邻域内部都含有无穷多个属于E的点，则称 为E的一个聚点。 (2)设E是 中一点集， 为 中一定点，如果 属于E但不是E的聚点，则称 为E的一个孤立点。 注：1°聚点和孤立点是相对立的，但是应该注意，E的孤立点一定属于E，而E的聚点未必属于E。 2°E的内点必为E的聚点，而E的聚点未必是E的内点，还可能是E的界点。 3°有限集无聚点。 4°E的孤立点必为E的边界点，而E的边界点不是E的聚点，就是E的孤立点。 定理 1：下面三个陈述是等价的： （1） 是E的聚点； （2） 的任一邻域内，至少含有一个属于E而异于 的点。 （3）存在E中互异的点所成点列 ，使 3、开核、边界、导集、闭包 （1）E的全体内点所成的集合，称为E的开核，记为 （2）E的全体界点所成的集合，称为E的边界，记为 （3）E的全体聚点所成的集合，称为E的导集，记为 （4） 称为E的闭包，记为 4、开核、导集、闭包之间的关系 定理 4 （Bolzano-Weierstrass定理）任意有界无穷点集至少有一个聚点。 空集没有聚点也没有孤立点。 例题 1 设 为非空集合，求证： （1）若A是孤立点集，则 （孤立点集必为有限集或可数集） （2） （3）若 ，则 E为一集合，则 为开集 §3 开集，闭集，完备集 1、开集 定义：设 ，如果E 的每一点都是E的内点，则称E为开集。 E为开集的充要条件是 ，即 例如：（a,b) [a,b) 有理数点集 开集性质： 任意多个开集之和仍是开集，有限多个开集之交仍是开集。 注意：任意多个开集的交不一定是开集。例如， 是开集，但 不是开集， 是开集。 2、闭集 定义：设