度量空间与连续映射

1、作业 第2章度量空间与连续映射从数学分析中读者已经熟知单变量和多变量的连续函数，它们的定义域和值域都是欧氏空间（直线，平面或空间等等）或是其中的一部分在这一章中我们首先将连续函数的定义域和值域主要特征抽象出来用以定义度量空间，将连续函数的主要特征抽象出来用以定义度量空间之间的连续映射（参见§2.1）然后将两者再度抽象，给出拓扑空间和拓扑空间之间的连续映射（参见§2.2）随后再逐步提出拓扑空间中的一些基本问题如邻域，闭包，内部，边界，基和子基，序列等等§2.1度量空间与连续映射本节重点：掌握拓扑学中度量的概念及度量空间中的连续映射的概念注意区别：数学分析中

2、度量、连续映射的概念与本节中度量、连续映射的概念注意，在本节的证明中,应细细体会证明的方法首先让我们回忆一下在数学分析中学习过的连续函数的定义函数f：RR称为在点R处是连续的，如果对于任意实数0，存在实数0，使得对于任何xR，当|x-|<时,有|f(x)-f()|<.在这个定义中只涉及两个实数之间的距离（即两个实数之差的绝对值）这个概念；为了验证一个函数在某点处的连续性往往只要用到关于上述距离的最基本的性质，而与实数的其它性质无关，关于多元函数的连续性情形也完全类似以下，我们从这一考察出发，抽象出度量和度量空间的概念.定义设X是一个集合，：X×XR如果对于任何x，y，zX

3、，有（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是一个对于而言的度量空间有时，或者度量早有约定，或者在行文中已作交代，不提它不至于引起混淆，这时我们称X是一个度量空间此外，对于任意两点x，yX，实数(x，y)称为从点x到点y的距离着重理解：度量的本质是什么？例实数空间R对于实数集合R，定义：R×RR如下：对于任意x，yR，令（x，y）=|x-y|容易验证是R的一个度量，因此偶对（R，）是一个度量空间

4、这个度量空间特别地称为实数空间或直线这里定义的度量，称为R的通常度量，并且常常略而不提，迳称R为实数空间（今后我们说实数空间，均指具有通常度量的实数空间）例n维欧氏空间对于实数集合R的n重笛卡儿积R×R××R定义：×R如下：对于任意x=（）,y=，令 （x，y）容易验证（详见课本本节最后部分的附录）是的一个度量，因此偶对(，)是一个度量空间这个度量空间特别地称为n维欧氏空间这里定义的度量，称为的通常度量，并且常常略而不提，迳称为n维欧氏空间2维欧氏空间通常称为欧氏平面或平面（今后说通常度量，均指满足这种公式的度量）例Hilbert空间H记H为平方收敛的所

5、有实数序列构成的集合，即 Hx=()|< 定义如下：对于任意 x（），y（）H令(x,y)=说明这个定义是合理的（即验证<）以及验证是H的一个度量，均请参见课本本节最后部分的附录偶对（H，）是一个度量空间这个度量空间特别地称为Hilbert空间这里定义的度量称为H的通常度量，并且常常略而不提，迳称H为Hilbert空间例离散的度量空间设（X，）是一个度量空间称（X，）是离散的，或者称是X的一个离散度量，如果对于每一个xX，存在一个实数0使得（x，y）对于任何yX，xy，成立例如我们假定X是一个集合，定义：X×XR使得对于任何x，yX，有 (x,y)= 容易验证是X的一个离

6、散的度量，因此度量空间（X，）是离散的通过这几个例子，可知，度量也是一种映射，但它的象空间是实数离散的度量空间或许是我们以前未曾接触过的一类空间，但今后会发现它的性质是简单的定义设（X，）是一个度量空间，xX对于任意给定的实数0，集合 yX|（x，y）<记作B（x，），或，称为一个以x为中心以为半径的球形邻域,简称为x的一个球形邻域，有时也称为x的一个邻域此处的球形邻域是球状的吗？定理度量空间（X，）的球形邻域具有以下基本性质：（1）每一点xX,至少有一个球形邻域，并且点x属于它的每一个球形邻域；（2）对于点xX的任意两个球形邻域，存在x的一个球形邻域同时包含于两者；(3)如果yX属于x

7、X的某一个球形邻域，则y有一个球形邻域包含于x的那个球形邻域证明:（1）设xX对于每一个实数0，B（x，）是x的一个球形邻域，所以x至少有一个球形邻域；由于（x，x）=0，所以x属于它的每一个球形邻域(2)如果B（x，）和B（x，）是xX的两个球形邻域，任意选取实数0，使得min ，则易见有 B（x，）B（x，）B（x，）即B（x，）满足要求（3）设yB（x，）令-（x，y）显然0如果zB（y，），则（z，x）（z，y）+（y，x）+（y，x）=所以zB（x，）这证明B（y，）B（x，）定义设A是度量空间X的一个子集如果A中的每一个点都有一个球形邻域包含于A（即对于每一个aA，存在实数0使得B

8、（a，）A，则称A是度量空间X中的一个开集注意：此处的开集仅是度量空间的开集例实数空间R中的开区间都是开集设a，bR，ab我们说开区间 （a，b）=xR|axb是R中的一个开集这是因为如果x（a，b），若令minx-a，b-x，则有B（x，）（a，b）也同样容易证明无限的开区间（a，）xR|xa，（-，b）=xR|xb （-,）R都是R中的开集然而闭区间 a，b=xR|axb却不是R中的开集因为对于aa，b而言，任何0，B（x，）a,b都不成立类似地，半开半闭的区间（a，b=xR|axb，a，b)xR|axb无限的闭区问a，)=xR|xa,（，b=xR|xb都不是R中的开集定理度量空间X中的开

9、集具有以下性质：（1）集合X本身和空集都是开集；（2）任意两个开集的交是一个开集；（3）任意一个开集族（即由开集构成的族）的并是一个开集证明根据定理（1）X中的每一个元素x都有一个球形邻域，这个球形邻域当然包含在X中，所以X满足开集的条件；空集中不包含任何一个点，也自然地可以认为它满足开集的条件（2）设U和V是X中的两个开集如果xUV，则存在x的一个球形邻域B（x，）包含于U，也存在x的一个球形邻域B（x，）包含于V根据定理（2），x有一个球形邻域B（x，）同时包含于B（x，）和B（x，），因此B（x，）B（x，）B（x，）UV由于UV中的每一点都有一个球形邻域包含于UV，因此UV是一个开集（

10、3）设*是一个由X中的开集构成的子集族如果，则存在*A使得x由于是一个开集，所以x有一个球形邻域包含于，显然这个球形邻域也包含于这证明是X中的一个开集此外，根据定理（3）可见，每一个球形邻域都是开集球形邻域与开集有何联系？为了讨论问题的方便，我们将球形邻域的概念稍稍作一点推广定义设x是度量空间X中的一个点，U是X的一个子集如果存在一个开集V满足条件：xVU，则称U是点x的一个邻域下面这个定理为邻域的定义提供了一个等价的说法，并且表明从球形邻域推广为邻域是自然的事情定理设x是度量空间X中的一个点则X的子集U是x的一个邻域的充分必要条件是x有某一个球形邻域包含于U证明 如果U是点x的一个邻域，根据

11、邻域的定义存在开集V使得xVU，又根据开集的定义，x有一个球形邻域包含于V，从而这个球形邻域也就包含于U这证明U满足定理的条件反之，如果U满足定理中的条件，由于球形邻域都是开集，因此U是x的邻域现在我们把数学分析中的连续函数的概念推广为度量空间之间的连续映射定义设X和Y是两个度量空间，f:XY，以及X如果对于f()的任何一个球形邻域B（f(),），存在的某一个球形邻域B（，），使得f(B（，）)B（f（），），则称映射在点处是连续的如果映射f在X的每一个点xX处连续，则称f是一个连续映射以上的这个定义是数学分析中函数连续性定义的纯粹形式推广因为如果设和分别是度量空间X和Y中的度量，则f在点处连

12、续，可以说成：对于任意给定的实数0，存在实数0使得对于任何xX只要（x，）（即xB（,）便有(f(x),f().（即f(x)B（f()，）下面的这个定理是把度量空间和度量空间之间的连续映射的概念推广为拓扑空间和拓扑空间之间的连续映射的出发点定理设X和Y是两个度量空间，f：XY以及X则下述条件（1）和（2）分别等价于条件（1）*和（2）*：（1）f在点处是连续的；（1）*f()的每一个邻域的原象是的一个邻域；（2）f是连续的；（2）*Y中的每一个开集的原象是X中的一个开集证明条件（1）蕴涵（1）*：设（1）成立令U为f（）的一个邻域根据定理，f（）有一个球形邻域B（f（），）包含于U由于f在点处

13、是连续的，所以有一个球形邻域B（，）使得f（B（，）B（f（），）然而，（B（f（），）（U），所以B（，）（U），这证明（U）是的一个邻域条件（1）*蕴涵（1）设条件（1）*成立任意给定f（）的一个邻域B（f(),），则（B（f()，）是的一个邻域根据定理，有一个球形邻域B（，）包含于（B（f（），）因此f（B（，）B（f（），）这证明f在点处连续条件（2）蕴涵（2）*设条件（2）成立令V为Y中的一个开集，U（V）对于每一个xU，我们有f（x）V由于V是一个开集，所以V是f（x）的一个邻域由于f在每一点处都连续，故根据（1）*，U是x的一个邻域于是有包含x的某一个开集Ux使得UxU易见UxUUx由于每一个Ux都是开集，根据定理，U是一个开集条件（2）*蕴涵（2）设（2）*成立，对于任意xX，设U是f（x）的一个邻域，即存在包含f（x）的一个开集V U从而x（V）（U）根据条件（2）*