所谓商空间是指一个空间模掉某一等价关系得到的等价类的空间，意味着空间的粘合。商拓扑的性质似乎比乘积拓扑要古怪一些

借《拓扑学基本教程》一书谈拓扑学（一） [转贴 2009-09-18 15:53:34]   

字号：大 中 小

写这个帖子的动机是前一阵子，这个版的关于如何学习拓扑学的讨论。其间有人提到了James R.Munkres的书《Topology: A First Course》，中译本书名为《拓扑学基本教程》。无疑这是一本（一般）拓扑学的很好的入门教材，甚至本人认为较之Kelley的那本经典《 General Topology》作为教材更适宜。 

需要指出的，如果仅想速成拓扑学，这本书是不合适的，而且也不存在这样的书。如本版的一些回帖所言，有人认为学习拓扑学是不需要基础的，事实上，这样学习下来是什么都学不到的，除了刻板的公理化的定义和演绎。本书作者在序言中也提到，最好读者应该学过“严格的微积分”，否则在大多数情况下不会理解一些引入的概念的动机。而这一点，我认为是至关重要的，尤其作为准备将拓扑学作为研究工具的人。 

和Kelley的名著比较起来，前者成书约早二十年，而之后拓扑学的发展经历了一个黄金时代，发展是迅猛的，即便对于点集拓扑学。另外前者的写法可能不太适合大学生，但其书后的系列问题对一般拓扑学的发展也有很大的促进作用。我们在这儿比较这两本书，是针对一定的目的的。 

 
一般而言，分析和几何中谈到的拓扑味道有些不尽相同，而后者的诸多问题是更为具体的空间（如曲面或者流形），更多需要代数的工具，揭示更深刻的性质。我们只是在这个帖子的稍后部分才会见到。我会在最后给大家一些参考数目。 
下面就《拓扑学基本教程》一书，做个简单的介绍，也当是随便聊聊拓扑学的基本内容。当然是基于我自己的理解。 
这本书基本分成两部分，第一部分是比较基本的概念，第二部分是高级的部分，甚至涉及一些代数拓扑的内容。 

第一部分 

这一部分主要涉及了一般拓扑学的基本内容，而且做到了自容。按照章节主要讲述了集合论和逻辑、拓扑空间与连续函数、连通性和紧性以及可数性和分离性公理。我逐一讲来。 

1、如果谁想在集合论上有“半懂”的了解，我推荐这本书的第一章。这里作者详尽地讲述关于集合的理论，甚至包括很近代的内容。我不想一一道来，记得印象深的是关于序的介绍，包括实数和整数理论、数学归纳法的原理和超限归纳法、良序的概念及Zemelo的良序定理、选择公理及其几种等价形式。择其主要以及适当的习题，读者可以对于集合论有个大概的了解。这一点对我以后的学习帮助很大。比如为了叙述序拓扑的概念，书中用较大篇幅介绍了偏序、全序、良序的概念，给出了实数公理。在后面章节可以看出，许多实数的问题，是由其序结构决定的。当然如果不关心这些，可以暂时跳过去。 

2、接下来很自然的是引入拓扑的概念。几乎所有现代的书籍在介绍拓扑都是采纳定义开集的公理化办法，但大家也很清楚，这种定义一般来讲在实际问题中好象没什么用处，因此还需要其它的办法，从别的角度来刻划拓扑的概念。我们知道有很多定义开集（闭集）的办法，比如拓扑基、拓扑子基、邻域基，也涉及了很多其它的概念比如内点、闭包、极限点以及聚点等概念。从分析学的角度来看，引入拓扑的目的就是为了刻划极限，不同的拓扑决定了不同的收敛性。这一点在泛函分析中大家会有很深的体会。为此，作者把T2分离公理（Hausdorff公理）放到了前面，因为这一公理正是保证极限唯一性质的本质。作者还
详尽地介绍了如何由原空间的拓扑定义子空间的拓扑以及序拓扑的概念。 

定义了拓扑之后，当然是考虑拓扑空间之间的映射。于是引入了建立两个拓扑空间的拓扑之间联系的映射的概念，即连续映射。对于连续性的不同的刻划办法（整体和局部的），实际反映了这一概念引入的不同动机。局部的连续性来源于分析而整体的则与几何有更密切的联系。而一个双射保持了双向的连续性称之为一同胚。两个拓扑空间可以建立一个同胚意味着双方的拓扑实际上是一回事，或者说从拓扑学考虑，这两个空间是一样的。能够被同胚保持的性质称作拓扑性质。我们因此给拓扑学下定义，所谓拓扑学就是研究拓扑空间的拓扑性质的学科。后面我们会谈到很多拓扑性质。除此之外，借助于代数的方法，我们可以找到更多的有用的拓扑性质，这是代数拓扑的范畴。我们可以从曲面的粘合等问题来理解这一连续的变换，就是说一张曲面不破裂、不粘合的“连续”形变一定是同胚，破裂意味着不是单射（如果逆映射可定义，逆映射可以是连续的），粘合意味着逆映射不是单射（映射可以是连续的）。关于粘合问题就是引入一个商映射。 

下面将谈到的是乘积拓扑和商拓扑，前者在分析中非常重要，而后者更多地运用于几何中。乘积拓扑的引入实际上可以从分析学中找到动机，一族连续映射的笛卡儿积如何保证其连续性。这一动机也可以使得乘积拓扑和箱拓扑容易地被区别。这一动机在比如归纳（投影）极限的定义和Cech上同调等定义中也可以体现出来。在后面谈到Stone－Cech紧化问题时还会碰到。商拓扑是刻划如何使得到商空间的映射连续性被保持的。所谓商空间是指一个空间模掉某一等价关系得到的等价类的空间，意味着空间的粘合。商拓扑的性质似乎比乘积拓扑要古怪一些。 

这里，作者还花了一定的篇幅讨论了最常见的拓扑空间——度量空间，从度量（开球）诱导的拓扑到度量拓扑的一些必要条件。这些将在Nataga-Smirnov-(Bing)度量化定理的章节详细讨论。　

3、接下来的几个章节主要是讨论一些重要的拓扑性质，以及这些性质在连续的（开、闭）映射下是否被保持，在乘积空间、商空间以及子空间中是否被保持。

 
首先考虑拓扑空间的连通性和紧性。作者从微积分中三个例子（介值定理、闭区间上连续函数可以取最大最小值、闭区间上连续函数一致连续）出发，介绍了这些拓扑性质的来源。 

 
连通性是反映空间是否分裂，即是否可以表示成两个非平凡的不相交开集（闭集）的并，这是一种整体的连通性。更直观的一个概念是所谓道路连通性，即空间中任意两点是否可以被一根连续曲线连接。总体来说后者的条件要强一些。很有趣的所谓“拓扑学家的正弦曲线”给出了连通但不道路连通的一个例子。我们可以将拓扑空间按照（道路）连通性分成一些（道路）连通分支。进而，我们在很多场合（比如流形上）将会遇到局部的（道路）连通性，也就是每一点存在一（道路）连通的邻域。连通性可以被连续映射保持，从而很容易证明介值定理。 

紧性是个非常重要的概念，在很多领域都可以见到它的身影。比如闭区间内的序列存在收敛子列，或是某一无穷集合一定存在极限点或聚点等特性。这些先被发现的事实促使人们找到今天公认的最好的表述方式：拓扑空间的任一开覆盖存在有限的子覆盖。粗略地说，紧性反映了拓扑空间的一种有限性。比如Euclid空间的紧集等价于有界闭集，紧度量空间的Lebesgue数的存在性。紧性也可以被连续映射保持，可以由此证明前面提到的闭区间上连续函数存在最大最小值以及闭区间上的连续函数一致连续。需要指出，据说拓扑学家定义了类似的紧性好几十种，但真正常用的就是紧性，以及关于序列存在收敛子列的序列紧性等。另外需要指出还有一种仿紧性（paracompact）是很重要的，关于它，我们后面还会提到。紧性在局部的体现就是所谓局部紧性，就是说任一点存在一紧邻域。虽然说紧（Hausdorff）空间是非常好的拓扑空间，但即便欧氏空间也不是紧的（但是局部紧的），但对于分析学来说，局部紧（Hausdorff）空间就非常好用。另外在引入网（滤子）收敛的概念之后，我们知道紧性相当于关于网（滤子）任一序列存在收敛子列。至于一族紧拓扑空间的乘积是否为紧空间的Tychonoff定理，我们放到稍后。 

4、如果说连通性和紧性可以从分析中找到动机，下面将要谈到的的可数性公理和分离性更多地来源于拓扑学自身的研究。比如如何将一拓扑空间嵌到度量空间或紧Hausdorff空间之类的问题。 

 
先来说可数性公理，第一、第二可数性公理是最常用的。第一可数性公理是说每一点存在可数的邻域基；第二可数性公理是说空间具有可数的拓扑基。前者比后者要弱。在第一可数性公理下，一些拓扑问题可以借助于点列收敛来描述，这是因为此时的网收敛即通常的点列收敛。比如，对于闭集的刻划可以写成其中任一点均存在收敛的点列收敛于该点；从第一可数空间到拓扑空间的映射在某一点连续，对任一收敛于该点的序列其像也收敛于该点的像。对于分析中考虑的绝大多数空间，这一点均是成立的。但第一可数性公理是给出空间的局部信息，而第二可数性公理给出了整体的信息。在第二可数性公理下，我们可以得到一些基本紧性的等价性（紧、序列紧、可数紧及极限点紧等），这对于分析学是非常重要的。除此之外，还有一些“准”可数性性质，比如可分性（存在可数稠密子集）和Lindelof性（任一开覆盖存在可数子覆盖）等。 

分离公理有时会让人厌烦，因为他们被区分得太细了。所谓分离性，是指拓扑空间的点或子集如何被分离，我见到过从T0直到T6的分离公理（还有一个T3又1/2）,但真正有用的是分离点和点的T2公理（即Hausdorff公理）、分离点和闭集的T3公理（正则性）、分离闭集与闭集的T4公理（正规性）以及T3又1/2公理（完全正则性）。鄙人认为Hausdorff性是最有用的。在单点集为闭集的条件下，这些条件是按下标增强的。这里值得多想一想的是完全正则性公理，它说可以用连续函数将点和闭集分离开来，因此自然的问题是如何在正规空间里将两个不相交的闭集用连续函数分离开来，这就是著名的Urysohn引理。Urysohn引理的证明可能是到此为止第一个有挑战性的证明，书中做了详尽的介绍。其主要思想是利用正规的分离性，引入一种序填满整个可能的分离区域，从而构造出一个满足条件的连续函数。类似的结果在局部紧Hausdorff空间中也可以得到。Urysohn引理的一个直接的推论是很重要的Tietze扩张定理，它说：对于正规空间中的闭子集到闭区间的连续映射总可以扩张成该空间上的连续映射，从而该闭子集到实数集上的任一连续映射均可扩张到该空间上去。有趣的是Tietze的定理和Urysohn引理实际上是等价的。Urysohn引理另一重要应用是所谓的正规空间的单位分解定理，其在分析、几何和拓扑中都非常重要，需要注意的是我们更多用到的单位分解定理是加上了仿紧性的，因为需要用到覆盖的局部有限性。最后是Urysohn的度量化定理，即具有可数基的正则空间是可度量化的。Urysohn是个俄国的杰出数学家，可惜英年早逝（好象20多岁死的）。他的度量化定理的价值是给出了度量化的必要条件，这对于最终解决这一问题是很有启发的，只是这中间花了四五十年时间