第2章点集.doc

第2章 点 集 在第一章里，我们介绍了一般的集合的基本知识，给出了一些重要概念和基本性质. 而实变函数课程研究的函数是定义在维欧几里得空间的子集上的实值函数，因此，有必要对中的点集作进一步的讨论. 本章在第一章的基础上，着重讨论中的点集所特有的一些性质. 需要指出的是，因为中点集也是集合，因而，在第一章关于一般的集合的所有结果对中的点集都适用，但中的点集所具有的许多特殊性质，对于一般的集合就不一定成立了. §2.1 维欧几里得空间 在解析几何和数学分析中，我们已经对一维欧几里得空间（即，实直线），二维欧几里得空间（即实平面）和三维欧几里得空间（即现实的三维立体空间）有了比较深入的了解. 现在，我们讨论维欧几里得空间. 定义2.1.1 设是正整数，由个实数构成的有序数组的全体组成的集合，称为维点集，记作，即. 为了深入研究维点集中邻域、有界集、点列收敛等概念，需要对中的点之间定义距离. 为了使问题讨论适用于更广泛的情形，我们对一般的集合给出距离的概念. 定义2.1.2 设是一个非空集合，如果对于中任何两个元素，，都有一个确定的实数，记为，与之对应，且满足下面三个条件： （i）非负性：，而且当且仅当； （ii）对称性：； （iii）三角不等式：，这里也是中任意一个元素. 则称是上的一个距离，称是，之间的距离，而称是以为距离的距离空间（或度量空间）. 记为. 对于中任意两点，，定义实函数，则满足距离的三个条件（i），（ii），（iii）. 称为上的欧几里得距离，称为维欧几里得空间. 定义2.1.3 设是一固定点，为一实数，则集合称为以为中心的邻域，记作. 称为邻域的中心，称为邻域的半径，某邻域当不需要指出半径时，可以简单地说是的某邻域，记作，显然，在中的邻域，就分别是以为中心以为半径的开区间，开圆和开球. 容易证明邻域具有如下基本性质： （1）对于，存在； （2）对于，存在和，使. 定义2.1.4 设是中一个点列，，如果当时，有，则称点列收敛于，记为或. 用邻域的语言来说，就是： 对的任意邻域，存在，使当时， 用“”语言来说，就是： 对任意的，存在，使当时，. 定义2.1.5 设，是两个非空点集，与的距离定义为. 定义2.1.6 设是非空点集，的直径定义为. 定义2.1.7 设为中一点集，如果，则称为有界点集（空集也作为有界点集）. 显然，是有界集存在常数，使对任意的，都有. 是有界集存在常数，使对任意的，有，其中为的原点. 定义2.1.8 点集称为中的开区间；如果把其中的不等式都改为，则称为中的闭区间；如果把不等式都改为或，则称为中的左开右闭区间或左闭右开区间. 当没有必要区分上述各种区间时，统称为区间，记作，称为的第个“边长”，区间的体积，记为，. §2.2 内点和内部 聚点和导集 界点和边界 对于中的点集和中的点，研究相对于的位置关系，有以下三种情况： 第一，附近根本没有的点； 第二，附近全是的点； 第三，附近既有属于的点也有不属于的点. 针对这三种情况，用邻域概念给出如下定义： 定义2.2.1 设， （1）若存在某一，使（或），则称为的外点. （2）若存在某一，使，则称为的内点. （3）若对任何，总有且，则称为的界点. 从定义可以知道，的内点属于，的外点不属于，皀界点可以属于，也?以不属于；的外点也是的内点９的界点也是的界点 如果考虑在点的附近是否总是“凝聚着”点集的点，又可以定义两种类型的点. 定义2.2.2 设， （1）若对任何，的邻域中郹含有中的无穷夊个点，也就是说是的无究子集，则称为的一个聚点. （）苅，但 EMBED EquatiOn.DSMT4 不是的聚点，也就是说，存在某一，使，则称为的一个孤立点. 应当注意，的孤立点必属于，但的聚点可以属于，也可以不属于. 从定义可以看出，璄内点必为的聚点，的孤立点必为的界点. 反?朥却未寅成立. 定理.2.1 设，，则下面三个命题是等价的： （1）是的聚点； （2）对任何，在内至少含有一个属于而异于的点； （3）存在一个各点互异的点列，使. 证明 （1）（2），设是的聚点，则对任何，内都含有中的无穷多个点，因此，在内至少含有一个属于而异于的点. （2）（3），设（2）成立，则在内有一个点而异于，令，那么在内有一个点而异于，由的定义，知异于，令，同样，在内有一个点而异于，且与和都不同. 这样继续下去，得到一个互异点到，满足. （3）（1），设存在一个各点互异的点列，使，则对任何，存在，当时，，因为是互异点列，所以在中有无穷多个点. 这样是的聚点. 上述的三个命题既然是等价的，邡么（1），（2）和（3）郹可以作为聚ス的定义. 其中缈3）告诉我们，点集的聚点必为中一个互异点列的