《点集拓扑讲义》第二章学习笔记.docxVIP

第2章度量空间与连续映射 从数学分析中已经熟知单变量和多变量的连续函数，它们的定义域和值域 都是欧氏空间（直线，平面或空间等等）或是其中的一部分?在这一章中我们 首先将连续函数的定义域和值域主要特征抽象出来用以定义度量空间， 将连续 函数的主要特征抽象出来用以定义度量空间之间的连续映射 （参见§ 2.1 ） ?然 后将两者再度抽象，给出拓扑空间和拓扑空间之间的连续映射 （参见§ 2.2 ） ?随 后再逐步提出拓扑空间中的一些基本问题如邻域，闭包，内部，边界，基和子 基，序列等等. § 2.1 度量空间与连续映射 本节重点：掌握拓扑学中度量的概念及度量空间中的连续映射的概念. 注意区别：数学分析中度量、连续映射的概念与本节中度量、连续映射的 概念. 注意，在本节的证明中，应细细体会证明的方法. 首先让我们回忆一下在数学分析中学习过的连续函数的定义. 函数f : FHR 称为在点€R处是连续的，如果对于任意实数 0,存在实数S 0,使 得对于任何x€ R,当|x-〔| S时,有|f（x）-f（ 1）| ￡ .在这个定义中只涉及 两个实数之间的距离（即两个实数之差的绝对值）这个概念；为了验证一个函 数在某点处的连续性往往只要用到关于上述距离的最基本的性质， 而与实数的 其它性质无关，关于多元函数的连续性情形也完全类似?以下，我们从这一考 察出发，抽象出度量和度量空间的概念. 定义2.1.1 设X是一个集合，p : XX X-R如果对于任何x，y，z€ X， (正定性)，p (x,y)》0并且p (x,y) = 0当且仅当x=y; (对称性)p (x,y)= p (y,x); (三角不等式)p (x,z) p (x,y)+ p (y,z) 则称p是集合X的一个度量. 如果p是集合X的一个度量，称(X, p )是一个度量空间，或称X是一 个对于p而言的度量空间?有时，或者度量 p早有约定，或者在行文中已作 交代，不提它不至于引起混淆，这时我们称 X是一个度量空间?此外，对于任 意两点x，y€ X，实数p (x，y)称为从点x到点y的距离. 着重理解：度量的本质是什么？ 例2.1.1 实数空间R. 对于实数集合R,定义p : RX FHR如下：对于任意x，y€ R,令 p (x，y) =|x-y| ?容易验证p是R的一个度量，因此偶对(R, p )是一个 度量空间.这个度量空间特别地称为实数空间或直线. 这里定义的度量p，称 为R的通常度量，并且常常略而不提，迳称 R为实数空间?(今后我们说实数 空间，均指具有通常度量的实数空间?) 例2.1.2 n维欧氏空间丁 . 对于实数集合R的n重笛卡儿积 =RX RX , XR 定义p : JxLtr如下：对于任意X=(：；；), 讨=: 二 令 p (x，y) = ■ 容易验证（详见课本本节最后部分的附录） P是J的一个度量，因此偶 对（T, p）是一个度量空间.这个度量空间特别地称为n维欧氏空间.这里定 义的度量p，称为J的通常度量，并且常常略而不提，迳称 J为n维欧氏空 间.2维欧氏空间通常称为欧氏平面或平面?（今后说通常度量，均指满足这 种公式的度量） 例 2.1.3 Hilbert 空间 H. 记H为平方收敛的所有实数序列构成的集合，即 * y i 丘 Rj E Z H= {x=（】1 ）| 二 vx} 定义p如下：对于任意 x=(:…y =(八丿：r ： )€H 说明这个定义是合理的令 p (x,y)= 说明这个定义是合理的 ＜x）以及验证p是H的一 个度量，均请参见课本本节最后部分的附录.偶对（H, p ）是一个度量空间.这 个度量空间特别地称为Hilbert空间.这里定义的度量p称为H的通常度量, 并且常常略而不提，迳称 H为Hilbert空间. 例2.1.4 离散的度量空间. 设（X, p ）是一个度量空间.称（X，p ）是离散的，或者称p是X 的一个离散度量，如果对于每一个 x€ X,存在一个实数二＞0使得p （x，y） ＞「对于任何y€ X, xmy,成立. 例如我们假定X是一个集合，定义p : XX心R使得对于任何 x，y€ X,有 p (x,y)=「「 容易验证p是X的一个离散的度量，因此度量空间(X, p)是离散的. 通过这几个例子，可知，度量也是一种映射，但它的象空间是实数. 离散的度量空间或许是我们以前未曾接触过的一类空间， 但今后会发现它 的性质是简单的. 定义2.1.2 设(X，p)是一个度量空间，x€ X.对于任意给定的实数 0,集合 {y € X| p (x，y) c } 记作B (x，c),或，称为一个以x为中心以c为半径的球形邻 域,简称为x的一个球形邻域，有时也称为 x的一个c邻域. 此处的球形邻域是球状的吗？ 定理2.1.1 度量空间