实函2.01.ppt

2.聚点的等价描述 证明存在E中的互异的点所成的点列{pn}使 * * 第二章 点集 §1 度量空间.Rn欧氏空间 §2 聚点、内点、边界点 §3开集,闭集和完备集 §4 直线上的开集,闭集和完备集的构造 Rn 欧氏空间上的测度与积分是本课程的主要研究对象.本节讨论欧氏空间上的若干拓扑概念.通过本节的学习,可以熟悉欧氏空间上的开集,闭集和完备集,Cantor 集等常见的集,为后面的学习打下基础. §1 度量空间,Rn欧氏空间 第一章叙述了集合的概念及运算.那里的集合只提到其中的元素，以及元素的个数，未涉及到集合中各元素之间的关系。但是数学中需要处理的集合，其元素之间存在某种关系，即：集合内部有一种结构. 例如，对于全体实数组成的集合，我们不仅要考虑一个个实数，而且要度量彼此间的距离，以及研究实数间的运算等等.距离就是一种结构。有了两点之间的距离，就可以构成区间，定义邻域，因此就可以研究集合上函数的极限、连续、可导等等.因此能够度量元素间距离的集合，是数学研究的重要对象。这一章我们就要考虑这样的空间—度量空间（距离空间），因为我们研究的函数往往定义在一维的实轴上，以及n维的欧式空间之中，而其中的元素称为“点”，而且两点之间有距离，所以习惯上把集合中元素间有某种关系，集合内有某种结构的集合称为空间或点集。 一.度量空间 1.定义： 设X为一非空集合，对任意的两元素x,y都有唯一的实数d(x,y)与之对应，且满足： ⑴ d(x,y)≥ 0，d(x,y)=0当且仅当x = y（正定性） ⑵ d(x,y)=d(y,x) （对称性） 称d(x,y)是x,y两点之间的距离，(X,d)为度量空间（距离空间）. X中的元素称为点. ⑶ d(x,y)≤ d(x,z)+d(z,y)（三角不等式） 2.欧几里得空间 所谓n维欧几里得空间，是指由n个实数所做成的有序数组 的全体所组成的集合 易证，对任意的x,y,z,函数d(x,y)满足度量空间的三条性质： ⑴ d(x,y)≥ 0，d(x,y)=0当且仅当x = y（正定性） ⑵ d(x,y)=d(y,x) （对称性） ⑶ d(x,y)≤ d(x,z)+d(z,y)（三角不等式） 3. Rn中的有关概念 定义1 定义2 定义3 两个非空集合A,B的距离定义为： 定义4 一个非空点集E的直径定义为： 定义5 称点集 开区间、闭区间、半开半闭区间通称为区间,记作：I. 第2节 聚点、内点、界点 问题：给定Rn中一个集合E及点P0，P0与 E有几种可能的关系？ P0为 E的内点. 定义1 设 P0为 E的聚点. 定义2 内点 P0 P0 聚点 P0 P0 P0 例1 例2 证明： 显然， 下证 定理1：下列条件等价： (1) p0为E的聚点 (3)存在E中互异的点所成点列{pn}, 使得 P0 δ Pn (2)点p0的任意邻域内，至少含有一个属于E而异于p0的点 证明：由（2） (2)点p0的任意邻域内，至少含有一个属于E而异于p0的点 定义3 P0为 E的孤立点： P0为 E的边界点： 例3 例4 （1） E的全体内点所构成的集合称为 E的内部，记为： 定义4 设 （2） E的全体聚点所构成的集合称为 E的导集，记为： （3） E的全体界点所构成的集合称为 E的边界，记为： （4） 定理2 若 ，则 定理3 证明： 由于 ，由定理2立得 现设 ，则对任意 ， 由定理1， 从而 含 或 中点， 知存在一串互异的点 ，使 中必有无穷多个都属于 或都属于 不妨设 ，则由 * *