第十章多元函数.doc

第二章 多元函数微分学 第一节 多元连续函数 2-1-1点集拓扑初步 2-1-1-1 度量空间 2-1-1-2 邻域、开集与闭集 2-1-1-3 集合的紧致性、完备性与连通性 第一讲 点集拓扑初步 课后作业： 复习阅读：第一章 pp. 01---21, 己在代数中学过，请抽时间复习。 阅读：第二章 1.1, 1.2, 1.3, 1.4 : pp. 22----28 预习：第二章 2.1, 2.2 : pp. 29---38 作业: 第二章 习题1: pp.28---29 : 1,(2), (3); 2, (2), (4); 3; 5. 2-1-1点集拓扑初步 拓扑与线性空间、代数等概念一样，是一种数学结构。它与线性空间是研究代数运算下形成的结构不同，是研究“连续体”在“连续变化”下不变的性质，这样，极限概念就是不可缺少的。然而，一维空间中的极限概念是基于实数集合的，如何将极限概念拓广到多维空间、甚至一般集合上，这是拓扑的最基础内容。从一元极限概念的描述可见，其中“距离”的概念起了决定性作用，而比距离更基本的是一个点的“邻域”的概念。本节将对一般的集合介绍点集拓扑的一些最基础概念。 2-1-1-1 度量空间 度量空间的定义：设是一个集合，其中元素称为点。定义了一个函数， 具有下列三条性质， 正定性，即, 且; 对称性：即； 满足三角不等式，即。 就称是一个度量空间，函数称为距离函数或度量，也叫距离空间。有时为了区别距离的不同定义，将度量空间记成。 度量空间举例： 例一，n维欧氏空间：,距离函数的定义常用的有四个: ; , 为正定矩阵 例二，在闭区间上的连续函数空间：,距离函数的定义: 例三，在闭区间上的可积函数空间：,距离函数的定义: 以上各例中不同的距离定义确定了不同的度量空间，在其性质检验中，主要是对三角不等式的证明，请读者自证；在例三中对两函数相等的理解要作扩充才行。 2-1-1-2 邻域、开集与闭集 设是一度量空间，其度量为。 邻域 在, 对任何,集合 称中点的一个邻域, 记成. 今后如果说到“在及其附近”，就是指这样的某个；如果说到“在的附近”，则指在这样的某个集合中除掉本身之后剩下的点构成的集合，这是一个空心的集合. 在中, 都是以为中心,长度等于的开区间. 在中, 是以点为中心,以为半径的开圆盘； 在中, 是以点为中心,以为对角线长的菱形盘； 在中, 是以点为中心,以为边长的正方形盘. 在中, 是以点为中心,以为半径的开球. (二) 内点与开集 内点与开集的定义 设是中的一个子集, 是中一点, 如果存在某个,使得,则称是的一个内点( inner point ); 如果一个集合的所有的点都是它的内点,就称这个集合是开集( open set ). 内部的定义 设是中的一个子集, 中所有内点构成的集合, 称为的内部, 记作。 例 在中,任意开区间(有界或者无界)是开集. 证明 当是有界区间时,对于中的任意一点,必有.令,这是一个正数,并且有.这说明是的一个内点,由的任意性知中所有的点都是它的内点,因而是开集. 当是无界区间时,请读者自己证明是开集. 例 在中,集合是开集. 一般情形,平面上由几条连续曲线围成的图形内部所有的点组成的集合是开集. 在中,由几张连续曲面围成的图形内部所有的点组成的集合是开集. 在,,和中,空集是开集,空间本身也是开集. (三) 聚点与闭集 聚点的定义 设是中的一个子集, 是中一点, 如果对任何,在中至少有一个异于的中的点.则称是的一个聚点(accumulation point). 如果一个集合包含它的所有的聚点,就称这个集合是闭集(closed set). 闭包的定义 设是中的一个子集, 中所有聚点构成的集合, 称为的闭包, 记作。 例 在中,任意开区间(有界或者无界)是闭集. 在中, 开区间的所有聚点构成的集合是闭区间;若用表示中所有有理点构成的集合,则每个实数都是的聚点. 在中,任意闭区间都是闭集.在中,任意闭圆盘都是闭集. 在中,任意闭球都是闭集. (四) 开集与闭集的性质 在度量空间中, 本身作为空间的一个子集,既是开集,又是闭集. 空集作为空间的一个子集,既是开集,又是闭集. 在度量空间中,任意开集的余集是闭集; 任意闭集的余集是开集. 任意多个开集的并是开集；有限多个闭集的并是