资源描述:
《第2章 度量空间与连续映射》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、第2章 度量空间与连续映射 从数学分析中读者已经熟知单变量和多变量的连续函数,它们的定义域和值域都是欧氏空间(直线,平面或空间等等)或是其中的一部分.在这一章中我们首先将连续函数的定义域和值域主要特征抽象出来用以定义度量空间,将连续函数的主要特征抽象出来用以定义度量空间之间的连续映射(参见§2.1).然后将两者再度抽象,给出拓扑空间和拓扑空间之间的连续映射(参见§2.2).随后再逐步提出拓扑空间中的一些基本问题如邻域,闭包,内部,边界,基和子基,序列等等.§2.1 度量空间与连续映射 本节重点
2、:掌握拓扑学中度量的概念及度量空间中的连续映射的概念. 注意区别:数学分析中度量、连续映射的概念与本节中度量、连续映射的概念. 注意,在本节的证明中,应细细体会证明的方法. 首先让我们回忆一下在数学分析中学习过的连续函数的定义.函数f:R→R称为在点∈R处是连续的,如果对于任意实数ε>0,存在实数δ>0,使得对于任何x∈R,当
3、x-
4、<δ时,有
5、f(x)-f()
6、<ε.在这个定义中只涉及两个实数之间的距离(即两个实数之差的绝对值)这个概念;为了验证一个函数在某点处的连续性往往只要用到关于上述
7、距离的最基本的性质,而与实数的其它性质无关,关于多元函数的连续性情形也完全类似.以下,我们从这一考察出发,抽象出度量和度量空间的概念. 定义2.1.1 设X是一个集合,ρ:X×X→R.如果对于任何x,y,z∈X,有 (1)(正定性),ρ(x,y)≥0并且ρ(x,y)=0当且仅当x=y; (2)(对称性)ρ(x,y)=ρ(y,x); (3)(三角不等式)ρ(x,z)≤ρ(x,y)+ρ(y,z) 则称ρ是集合X的一个度量. 如果ρ是集合X的一个度量,称(X,ρ)是一个度量空间,或称X是一个
8、对于ρ而言的度量空间.有时,或者度量ρ早有约定,或者在行文中已作交代,不提它不至于引起混淆,这时我们称X是一个度量空间.此外,对于任意两点x,y∈X,实数ρ(x,y)称为从点x到点y的距离. 着重理解:度量的本质是什么? 例2.1.1 实数空间R. 对于实数集合R,定义ρ:R×R→R如下:对于任意x,y∈R,令ρ(x,y)=
9、x-y
10、.容易验证ρ是R的一个度量,因此偶对(R,ρ)是一个度量空间.这个度量空间特别地称为实数空间或直线.这里定义的度量ρ,称为R的通常度量,并且常常略而不提,迳称R
11、为实数空间.(今后我们说实数空间,均指具有通常度量的实数空间.) 例2.1.2 n维欧氏空间. 对于实数集合R的n重笛卡儿积 =R×R×…×R 定义ρ:×→R如下:对于任意x=(),y=, 令 ρ(x,y)=容易验证(详见课本本节最后部分的附录)ρ是的一个度量,因此偶对(,ρ)是一个度量空间.这个度量空间特别地称为n维欧氏空间.这里定义的度量ρ,称为的通常度量,并且常常略而不提,迳称为n维欧氏空间.2维欧氏空间通常称为欧氏平面或平面.(今后说通常度量,均指满足这种公式的度量) 例2.
12、1.3 Hilbert空间H. 记H为平方收敛的所有实数序列构成的集合,即 H={x=()
13、<∞} 定义ρ如下:对于任意 x=(),y=()∈H 令ρ(x,y)=说明这个定义是合理的(即验证<∞)以及验证ρ是H的一个度量,均请参见课本本节最后部分的附录.偶对(H,ρ)是一个度量空间.这个度量空间特别地称为Hilbert空间.这里定义的度量ρ称为H的通常度量,并且常常略而不提,迳称H为Hilbert空间. 例2.1.4 离散的度量空间. 设(X,ρ)是一个度量空间.称(X,ρ)是离散的
14、,或者称ρ是X的一个离散度量,如果对于每一个x∈X,存在一个实数>0使得ρ(x,y)>对于任何y∈X,x≠y,成立. 例如我们假定X是一个集合,定义ρ:X×X→R使得对于任何x,y∈X,有 ρ(x,y)=容易验证ρ是X的一个离散的度量,因此度量空间(X,ρ)是离散的. 通过这几个例子,可知,度量也是一种映射,但它的象空间是实数. 离散的度量空间或许是我们以前未曾接触过的一类空间,但今后会发现它的性质是简单的. 定义2.1.2 设(X,ρ)是一个度量空间,x∈X.对于任意给定的实数ε>0,
15、集合 {y∈X
16、ρ(x,y)<ε}记作B(x,ε),或,称为一个以x为中心以ε为半径的球形邻域,简称为x的一个球形邻域,有时也称为x的一个ε邻域. 此处的球形邻域是球状的吗? 定理2.1.1 度量空间(X,ρ)的球形邻域具有以下基本性质: (1)每一点x∈X,至少有一个球形邻域,并且点x属于它的每一个球形邻域; (2)对于点x∈X的任意两个球形邻域,存在x的一个球形邻域同时包含于两者; (3)如果y∈X属于x∈X的某一个球形邻域,则y有一个球形邻域包含于x的那个球形邻域