论1 n维欧氏空间中的点集.pptVIP

* * * * * * 南京航空航天大学 理学院 数学系 南京航空航天大学 理学院 数学系 2007年8月 南京航空航天大学 理学院 数学系 * N维欧氏空间点集的初步知识 度量空间与n维欧氏空间 度量空间中的各类点集 2007年8月 南京航空航天大学 理学院 数学系 * 本章将研究一种特殊的集合——空间中的点集。 所谓空间，是一类具有某种结构的集合，往往成为数学研究的载体和对象。 分析学科所关心的空间的结构包括度量、范数、开集、闭集等。 本章的主要内容为度量空间，特别是n维欧氏空间中的各类点集，这将为我们研究新的积分奠定基础。 2007年8月 南京航空航天大学 理学院 数学系 * 1. 度量空间与n维欧氏空间 度量，也称距离，是空间理论的基本概念，下面给出它的定义： 定义：设X是一个集合，若对于X中任意两个元素x,y，都有唯一确定的实数d(x,y)与之对应，而且这一对应关系满足： （1）正定性： （2）三点不等式： 称d(x,y)是x,y之间的距离，称(X,d)为度量空间或距离空间。 由性质(2)立刻可以得到度量的对称性，即d(x,y)=d(y,x). 若(X,d)为度量空间，Y是X的一个非空子集，则(Y,d)也是一个度量空间，称为(X,d)的子空间。 例1 欧氏空间 例2 连续函数空间 2007年8月 南京航空航天大学 理学院 数学系 * 度量空间中点集的一些基本概念——邻域 定义(邻域)： 距离空间(X,d)中所有和定点 的距离小于定数 全体，即集合 称为点 的 邻域， 记作 显然，在 分别是以 为中心以为 半径的开区间、 开圆和开球。 邻域具有如下的基本性质： 的点的 (1) (2) 对于P的两个邻域 存在邻域 (3) 对于 存在Q的邻域 (4) 对于 存在P和Q的邻域 使得 2007年8月 南京航空航天大学 理学院 数学系 * 点列的极限 (I) 式定义： 为度量空间(X,d)中一点列，若对于任意的 存在自然数N，使得nN时有 则称该点列收敛于 记作 (II) 邻域式定义： 若对于 的任意邻域 存在N，使nN时有 则称该点列收敛于 性质： 1. 点列的极限是唯一的； 2. N维欧氏空间点列的收敛是按坐标收敛； 3. 点列的收敛满足线性； 4. N维欧氏空间中的收敛点列等价于Cauchy点列 2007年8月 南京航空航天大学 理学院 数学系 * 点集的直径： 一个非空点集E的直径定义为 有界点集： 一个非空点集E称为有界集合，若 直径及有界点集 点集的距离 两个非空点集A, B的距离定义为 注：若A={P*}，即A为单点集，则可记 注. 收敛点列必为有界点集，n维欧氏空间的有界点列必有收敛子列 2007年8月 南京航空航天大学 理学院 数学系 * 度量空间中点集的一些基本概念——区间 定义： 中的点集 称为一个开区间； 若将其中的不等式全部换成 则上述点集分别称为闭区间、 左开右闭区间、左闭右开区间，统称为区间，记作I。 称为I的第I个边长； 称为I的体积，记作|I|. 2007年8月 南京航空航天大学 理学院 数学系 * 2. 度量空间中的各类点集 首先，我们考虑度量空间(X,d)中的点与给定点集之间的关系。设E为X中的一个点集，P为X中的点，则P和E的关系具有如下几种： (1) P附近全是E的点，即存在P的某邻域 此时称P为E的内点； (2) P附近全不是E的点，即存在P的某邻域 此时称P为E的外点； (3) P附近既有E的点，又有不属于E的点，即对P的任意邻域U(P), 此时称P为E的边界点，简称界点； (4) P附近有E的无穷多个点，即对P的任意邻域U(P), 为无限集合， 此时称P为E的聚点； (5) P附近除P外没有E的点，即存在P的邻域U(P), 此时称P为E的孤立点。 2007年8月 南京航空航天大学 理学院 数学系 * 点集间的关系 显然，空间中任意的点P是且只能是上述(1)(2)(3)中的一个，或者是且只能是上述(2)(4)(5)中的一个，即 (1) 内点一定是聚点，外点一定不是聚点； (2) 聚点可以是内点，也可以是界点，但不能是外点； (3) 孤立点一定不是聚点、内点或外点，一定是界点； (4) E中的点要么是聚点，要么是孤立点； (5) 界点要么是聚点，要么是孤立点。 2007年8月 南京航空航天大学 理学院 数学系 * 聚点 关于聚点，下面三条是等价的： P是E的聚点； P的任意邻域内，至少含有一个属于E而异于P点； 存在E中互异的点所成的点列 2007年8月 南京航空航天大学 理学院 数学系 * 开核、边界、导集、闭包 定义：(1) E的全体内点所成的集合，称为E的开核，记作 (2) E的全体边界点所成的集合，称为