第2章§2.2拓扑空间与连续映射

1、§ 2.2拓扑空间与连续映射本节重点：拓扑与拓扑空间的概念，并在此空间上建立起来的连续映射的概念注意区别：拓扑空间的开集与度量空间开集的异同；连续映射概念的异同现在我们遵循前一节末尾提到的思路，即从开集及其基本性质（定理2.1.2 ）出发来建立拓扑空间的概念.定义2.2.1 设X是一个集合，T是X的一个子集族.如果 T满足如下条件：（I ） X,二 T ;（2） 若 A, B T ，贝U AA B T ;（3）若-则称T是X的一个拓扑.如果T是集合X的一个拓扑，则称偶对（X, T）是一个拓扑空间，或称集合 X是一个相 对于拓扑T而言的拓扑空间；此外 T的每一个元素都叫做拓扑空间 （X

2、, T）或X中的一个开 集.即：A T ' A是开集（此定义与度量空间的开集的性质一样吗）经过简单的归纳立即可见，以上定义中的条件（2）蕴涵着：有限多个开集的交仍是开集，条件（3）蕴涵着：任意多个开集的并仍是开集.现在首先将度量空间纳入拓扑空间的范畴.定义2.2.2 设（X, p ）是一个度量空间令 二为由X中的所有开集构成的集族.根TT据定理2.1.2 , （X,-）是X的一个拓扑.我们称-为X的由度量p诱导出来的拓扑.此T外我们约定：如果没有另外的说明，我们提到度量空间（X, p）的拓扑时，指的就是拓扑亠；T在称度量空间（X, p）为拓扑空间时，指的就是拓扑空间（x, 一一）因此，

3、实数空间 R, n维欧氏空间 J （特别，欧氏平面 ），Hilbert空间H都可以叫做拓扑空间，它们各自的拓扑便是由例2.1.1，例2.1.2和例2.1.3中定义的各自的度量所诱导出来的拓扑.例2.2.1 平庸空间.设X是一个集合.令 T =X，二.容易验证，T是X的一个拓扑，称之为 X的平庸拓 扑；并且我们称拓扑空间（X, T）为一个平庸空间在平庸空间（ X, T）中，有且仅有两个 开集，即X本身和空集二.例222离散空间.设X是一个集合.令 T = P （ X）,即由X的所有子集构成的族.容易验证，T是X的一个拓扑，称之为 X的离散拓扑；可知，在离散空间（X, T）中，X的每一个子集都是开

4、集.例 2.2.3 设 X= a , b, c.令 T= ,_- , a , a , b, a , b, c.容易验证，T是X的一个拓扑，因此（X T）是一个拓扑空间这个拓扑空间既不是平 庸空间又不是离散空间.例2.2.4有限补空间.设X是一个集合.首先我们重申：当我们考虑的问题中的基础集自明时，我们并不每次提起因此在后文中对于X的每一个子集 A,它的补集X- A我们写为二令T =U_X|是X的一个有限子集 U二先验证T是X的一个拓扑：（1）X T （因为一=二）；另外，根据定义便有 J T.（2） 设A, B T如果A和B之中有一个是空集， 则AA B T,假定A和B都不是空集.这 时是X的

5、一个有限子集，所以 AA B T .（3） 设.令- ":：',显然有的虫=u纠A如果 _ 1,则设L r任意选取这时2轴月）刪虫）'=门应“上%是x的一个有限子集，所以-|-'-根据上述（1）,（ 2）和（3）, P是X的一个拓扑，称之为 X的有限补拓扑拓扑空 间（X, P）称为一个有限补空间.例225可数补空间.设X是一个集合.令T =U _X|】是X的一个可数子集 U二通过与例2.2.4中完全类似的做法容易验证（请读者自证）T是X的一个拓扑，称之为 X的可数补拓扑.拓扑空间（ X T）称为一个可数补空间.一个令人关心的问题是拓扑空间是否真的要比度量空间的

6、范围更广一点？换句话就是 问：是否每一个拓扑空间的拓扑都可以由某一个度量诱导出来？定义2.2.3设（X, P）是一个拓扑空间.如果存在X的一个度量p使得拓扑P即是由度量p诱导出来的拓扑二，则称（X, P）是一个可度量化空间.根据这个定义，前述问题即是：是否每一个拓扑空间都是可度量化空间？从§ 2.1中的习题2和3可以看出，每一个只含有限个点的度量空间作为拓扑空间都是离散空间.然而一个平庸空间如果含有多于一个点的话，它肯定不是离散空间，因此它不是可度量化的； 例2.2.3中给出的那个空间只含有三个点，但不是离散空间，也不是可度量化的.由此可见， 拓扑空间是可度量空间的范围要广泛.进一步

7、的问题是满足一些什么条件的拓扑空间是可度量化的？这是点集拓扑学中的重要问题之一，以后我们将专门讨论.现在我们来将度量空间之间的连续映射的概念推广为拓扑空间之间的连续映射.定义2.2.4 设X和Y是两个拓扑空间，f:X tY.如果Y中每一个开集 U的原象（U） 是X中的一个开集，则称 f是X到Y的一个连续映射，或简称映射f连续.按这种方式定义拓扑空间之间的连续映射，明显是受到了§ 2. 1中的定理2.1.4的启 发.并且那个定理也保证了：当 X和Y是两个度量空间时，如果 f:X ty是从度量空间 X到 度量空间Y的一个连续映射，那么它也是从拓扑空间 X到拓扑空间Y的一个连续映射，反之

8、亦然.（按照约定，涉及的拓扑当然都是指诱导拓扑）F面的这个定理尽管证明十分容易，但所指出的却是连续映射的最重要的性质.定理2.2.1 设X, Y和Z都是拓扑空间则(1) 恒同映射：1: :X-X是一个连续映射;(2) 如果f:X -Y和g:Y-Z都是连续映射，则 gof:X-Z也是连续映射.证明(I)- '-，所以I连续.(2)设f:X -Y,g:Y-Z都是连续映射这证明gof连续.在数学科学的许多学科中都要涉及两类基本对象.如在线性代数中我们考虑线性空间和线性变换，在群论中我们考虑群和同态，在集合论中我们考虑集合和映射，在不同的几何学中考虑各自的图形和各自的变换等等.并且对于后者都要

9、提出一类来予以重视，例如线性代数中的(线性)同构，群论中的同构，集合论中的一一映射，以及初等几何学中的刚体运动(即平移加旋转)等等. 我们现在已经提出了两类基本对象，即拓扑空间和连续映射. 下面将从连续映射中挑出重要的一类来给予特别的关注.定义2.2.5 设X和Y是两个拓扑空间.如果f : X-Y是一个一一映射，并且f和': Y-X都是连续的，则称f是一个同胚映射或同胚.定理2.2.2 设X, Y和Z都是拓扑空间则(1) 恒同映射I : X-X是一个同胚；(2) 如果f : X-Y是一个同胚，则一 ：Y-X也是一个同胚；(3) 如果f : X-Y和g : Y-Z都是同胚，则gof: X

10、Z也是一个同胚. 证明 以下证明中所涉及的根据，可参见定理2.2.1，定理I . 5. 3 和定理 1 . 5. 4.- - (I )-是- 一个一一映射，并且 L = (4) ，都是连续的，从而 -1是同胚.(2)设f : X-Y是一个同胚.因此f是一个一一映射，并且 f和- 都是连续的.于(3)设f : XY和g: YZ都是同胚.因此f和g都是一一映射，并且 f , g和二'都是连续的.因此gof也是一一映射，并且gof和J '都是连续的.所以gof是一个同胚.定义226设X和Y是两个拓扑空间.如果存在一个同胚f :心Y,则称拓扑空间 X与拓扑空间Y是同胚的，或称 X与Y同

11、胚，或称X同胚于Y.粗略地说，同胚的两个空间实际上便是两个具有相同拓扑结构的空间.定理2.2.3 设X, Y和Z都是拓扑空间则(1) X与X同胚；(2) 如来X与Y同胚，贝V Y与X同胚；(3) 如果X与Y同胚，Y与Z同胚，贝V X与Z同胚.证明从定理2.2.2直接得到.根据定理2.2.3，我们可以说：在任意给定的一个由拓扑空间组成的族中，两个拓扑空 间是否同胚这一关系是一个等价关系.因而同胚关系将这个拓扑空间族分为互不相交的等价类，使得属于同一类的拓扑空间彼此同胚，属于不同类的拓扑空间彼此不同胚.拓扑空间的某种性质 P,如果为某一个拓扑空间所具有，则必为与其同胚的任何一个拓 扑空间所具有，则称此性质P是一个拓扑不变性质. 换言之，拓扑不变性质即为同胚的拓扑 空间所共有的性质.拓扑学的中心任务便是研究拓扑不变性质.至此我们已经做完了将数学分析中我们熟知的欧氏空间和欧氏空间之间的连续函数的概念，经由度量空间和度量空间之间的连续映射，一直抽象为拓扑空间和拓扑空间之间的连续映射这样一个在数学的历史上经过了很长的一段时期才完成的工作.在数学的发展过程中对所研究的问题不断地加以抽象这种做法是屡见不鲜的，但每一次的抽象都是把握住旧的研究对