完整word版点集拓扑讲义学习笔记

度量空间与连续映射2章第

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

度量空间与连续映射§2.1

本节重点：掌握拓扑学中度量的概念及度量空间中的连续映射的概念．注意区别：数学分析中度量、连续映射的概念与本节中度量、连续映射的概念．应细细体会证明的方法．注意，在本节的证明中,

R→Rf：首先让我们回忆一下在数学分析中学习过的连续函数的定义．函数，使＞00，存在实数δ∈R称为在点处是连续的，如果对于任意实数ε＞|x-得对于任何x∈R，当|f(x)-f()|<ε.在这个定义中只涉及时|<δ,有两个实数之间的距离（即两个实数之差的绝对值）这个概念；为了验证一个函而与实数的数在某点处的连续性往往只要用到关于上述距离的最基本的性质，其它性质无关，关于多元函数的连续性情形也完全类似．以下，我们从这一考.

察出发，抽象出度量和度量空间的概念

，z∈X，，xy是一个集合，定义2.1.1 设Xρ：X×X→R．如果对于任何有页40 共** 页1 第

（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，y ∈X，实数ρ(x，y)称为从点x到点y的距离．

着重理解：度量的本质是什么？

例2.1.1 实数空间R．

对于实数集合R，定义ρ：R×R→R如下：对于任意x，y∈R，令

ρ（x，y）=|x-y|．容易验证ρ是R的一个度量，因此偶对（R，ρ）是一个度量空间．这个度量空间特别地称为实数空间或直线．这里定义的度量ρ，称为R 的通常度量，并且常常略而不提，迳称R为实数空间．（今后我们说实数空间，均指具有通常度量的实数空间．）

维欧氏空间．例2.1.2 n对于实数集合R的n重笛卡儿积

＝R×R×…×R

（）x=×→R如下：对于任意ρ定义,

： y=，令）＝y xρ（，页40 共* 页2 第是

的一个度量，因此偶容易验证（详见课本本节最后部分的附录）ρ，ρ)是一个度量空间．(这个度量空间特别地称为n维欧氏空间．对这里定，称为义的度量ρ的通常度量，并且常常略而不提，迳称为n维欧氏空间．2维欧氏空间通常称为欧氏平面或平面．（今后说通常度量，均指满足这种公式的度量）

例2.1.3 Hilbert空间H．

记H为平方收敛的所有实数序列构成的集合，即

)|<∞} ＝ {x=(H定义ρ如下：对于任意

＝（）∈H），yx ＝（(x,y)= 令ρ（即验证<∞）

以及验证ρ是说明这个定义是合理的H的一个度量，均请参见课本本节最后部分的附录．偶对（H，ρ）是一个度量空间．这个度量空间特别地称为Hilbert空间．这里定义的度量ρ称为H的通常度量，并且常常略而不提，迳称H为Hilbert 空间．

例2.1.4 离散的度量空间．

设（X，ρ）是一个度量空间．称（X，ρ）是离散的，或者称ρ是X x∈X，存在一个实数＞0使得ρ（的一个离散度量，如果对于每一个x，y） y∈X，x≠y，成立．＞对于任何页40 共** 页3 第

例如我们假定X是一个集合，定义ρ：X×X→R使得对于任何

x，y∈X，有

(x,y)=ρ容易验证ρ是X的一个离散的度量，因此度量空间（X，ρ）是离散的．

通过这几个例子，可知，度量也是一种映射，但它的象空间是实数．

离散的度量空间或许是我们以前未曾接触过的一类空间，但今后会发现它的性质是简单的．

定义2.1.2 设（X，ρ）是一个度量空间，x∈X．对于任意给定的实数ε＞0，集合

{y∈X|ρ（x，y）<ε}

），或，称为一个以x为中心以ε为半径的球形邻记作B（x，ε域,简称为x的一个球形邻域，有时也称为x的一个ε邻域．

此处的球形邻域是球状的吗？

定理2.1.1 度量空间（X，ρ）的球形邻域具有以下基本性质：

（1）每一点x∈X,至少有一个球形邻域，并且点x属于它的每一个球形邻域；

（2）对于点x∈X的任意两个球形邻域，存在x的一个球形邻域同时包含于两者；

(3) 如果y∈X属于x∈X的某一个球形邻域，则y有一个球形邻域包含于x的那个球形邻域．

证明:（1）设x∈X．对于每一个实数ε＞0，B（x，ε）是x的一个球形邻域，所以x至少有一个球形邻域；由于ρ（x，x）=0，所以x属于它的每一个球形邻域．

页40 共* 页4 第，）是x∈XB（x (2)如果B（x的两个球形邻域，任意选取实，）和数}min{ ，则易见有ε＞0，使得ε＜，）∩B（x，））B （x，εB（x 即B（x，ε）满足要求．

）．显然．＞0．如果xρ（，yz∈B，（3）设y∈B（xε＝）．令ε-，），则（y ）＜xy，）+ρ）+ρ（y，x=ε（（（z，x）≤ρz，yρ，y）ε）．这证明B（εB（x，）．，所以z∈B（x

定义2.1.3 设A是度量空间X的一个子集．如果A中的每一个点都有一个球形邻域包含于A（即对于每一个a∈A，存在实数ε＞0使得B（a，ε）A，则称A是度量空间X中的一个开集．

注意：此处的开集仅是度量空间的开集．

例2.1.5 实数空间R中的开区间都是开集．

设a，b∈R，a＜b．我们说开区间

（a，b）={x∈R|a＜x＜b}

是R中的一个开集．这是因为如果x∈（a，b），若令

ε＝min{x-a，b-x}，

则有B（x，ε）（a，b）．也同样容易证明无限的开区间

（a，∞）＝{x∈R|x＞a}，（-∞，b）={x∈R|x＜b}

（-∞,∞）＝R

都是R中的开集．然而闭区间

[a，b]={x∈R|a≤x≤b}

页40 共** 页5 第

却不是R中的开集．因为对于a∈[a，b]而言，任何

ε＞0，B（x，ε）[a,b]都不成立．类似地，半开半闭的区间

（a，b]={x∈R|a＜x≤b}，[a，b)＝{x∈R|a≤x＜b}

无限的闭区问

[a，∞)={x∈R|x≥a},（－∞，b]={x∈R|x≤b}

都不是R中的开集．

定理2.1.2 度量空间X中的开集具有以下性质：

本身和空集都是开集；X （1）集合（2）任意两个开集的交是一个开集；

（3）任意一个开集族（即由开集构成的族）的并是一个开集．

证明根据定理2.1.1

（1）X中的每一个元素x都有一个球形邻域，这个球形邻域当然包含在X 满足开集的条件；空集X中不包含任何一个点，也自然地可以认为中，所以它满足开集的条件．的一个球形邻x如果x∈U∩V，则存在U设和V是X中的两个开集．（2）．根据V，的一个球形邻域B（x）包含于域B（x，）包含于U，也存在x ，（xε）同时包含于BB（2），x有一个球形邻域（x，）和B定理2.1.1