《《点集拓扑学》§2.2 拓扑空间与连续映射.doc》由会员分享，可在线阅读，更多相关《《点集拓扑学》§2.2 拓扑空间与连续映射.doc（7页珍藏版）》请在金锄头文库上搜索。
1、2.2拓扑空间与连续映射本节重点: 拓扑与拓扑空间的概念,并在此空间上建立起来的连续映射的概念.注意区别: 拓扑空间的开集与度量空间开集的异同；连续映射概念的异同.现在我们遵循前一节末尾提到的思路，即从开集及其基本性质（定理2.1.2）出发来建立拓扑空间的概念定义2.2.1设X是一个集合，T是X的一个子集族如果T满足如下条件：（l）X，T ；（2）若A，BT，则ABT ；（3）若则称 T是X的一个拓扑如果T是集合X的一个拓扑，则称偶对（X，T）是一个拓扑空间，或称集合X是一个相对于拓扑T而言的拓扑空间；此外T的每一个元素都叫做拓扑空间（X，T）或X中的一个开集即：AT A是开集（此定义与度量空
2、间的开集的性质一样吗）经过简单的归纳立即可见，以上定义中的条件（2）蕴涵着：有限多个开集的交仍是开集，条件（3）蕴涵着：任意多个开集的并仍是开集现在首先将度量空间纳入拓扑空间的范畴定义2.2.2设（X，）是一个度量空间令为由X中的所有开集构成的集族根据定理2.1.2，（X，）是X的一个拓扑我们称为X的由度量诱导出来的拓扑此外我们约定：如果没有另外的说明，我们提到度量空间（X，）的拓扑时，指的就是拓扑；在称度量空间（X，）为拓扑空间时，指的就是拓扑空间（X，）因此，实数空间R，n维欧氏空间（特别，欧氏平面），Hilbert空间H都可以叫做拓扑空间，它们各自的拓扑便是由例2.1.1，例2.1.2和
3、例2.1.3中定义的各自的度量所诱导出来的拓扑例2.2.1平庸空间设X是一个集合令T =X，容易验证，T 是X的一个拓扑，称之为X的平庸拓扑；并且我们称拓扑空间（X，T）为一个平庸空间在平庸空间（X，T）中，有且仅有两个开集，即X本身和空集例2.2.2离散空间设X是一个集合令T =P（X），即由X的所有子集构成的族容易验证，T是X的一个拓扑，称之为X的离散拓扑；可知，在离散空间（X，T）中，X的每一个子集都是开集例2.2.3设Xa，b，c令T =，a，a，b，a，b，c容易验证，T是X的一个拓扑，因此（X，T）是一个拓扑空间这个拓扑空间既不是平庸空间又不是离散空间例2.2.4有限补空间设X是一
4、个集合首先我们重申：当我们考虑的问题中的基础集自明时，我们并不每次提起因此在后文中对于X的每一个子集A，它的补集XA我们写为令T =U X|是X的一个有限子集先验证T是X的一个拓扑：（1）XT (因为=)；另外，根据定义便有T（2）设A，BT如果A和B之中有一个是空集，则ABT,假定A和B都不是空集这时 是X的一个有限子集，所以ABT （3）设令,显然有 如果，则设任意选取这时是X的一个有限子集，所以根据上述（1），（2）和（3），P是X的一个拓扑，称之为X的有限补拓扑拓扑空间（X，P）称为一个有限补空间例2.2.5可数补空间设X是一个集合令T =U X|是X的一个可数子集通过与例2.2.4中
5、完全类似的做法容易验证（请读者自证）T 是X的一个拓扑，称之为X的可数补拓扑拓扑空间（X，T ）称为一个可数补空间一个令人关心的问题是拓扑空间是否真的要比度量空间的范围更广一点？换句话就是问：是否每一个拓扑空间的拓扑都可以由某一个度量诱导出来？定义2.2.3设（X，P）是一个拓扑空间如果存在X的一个度量使得拓扑P即是由度量诱导出来的拓扑 ，则称（X，P）是一个可度量化空间根据这个定义，前述问题即是：是否每一个拓扑空间都是可度量化空间？从21中的习题2和3可以看出，每一个只含有限个点的度量空间作为拓扑空间都是离散空间然而一个平庸空间如果含有多于一个点的话，它肯定不是离散空间，因此它不是可度量化的
6、；例2.2.3中给出的那个空间只含有三个点，但不是离散空间，也不是可度量化的由此可见，拓扑空间是可度量空间的范围要广泛进一步的问题是满足一些什么条件的拓扑空间是可度量化的？这是点集拓扑学中的重要问题之一，以后我们将专门讨论现在我们来将度量空间之间的连续映射的概念推广为拓扑空间之间的连续映射定义2.2.4设X和Y是两个拓扑空间，f:XY如果Y中每一个开集U的原象（U）是X中的一个开集，则称f是X到Y的一个连续映射，或简称映射f连续 按这种方式定义拓扑空间之间的连续映射，明显是受到了21中的定理2.1.4的启发并且那个定理也保证了：当X和Y是两个度量空间时，如果f:XY是从度量空间X到度量空间Y的
7、一个连续映射，那么它也是从拓扑空间X到拓扑空间Y的一个连续映射，反之亦然（按照约定，涉及的拓扑当然都是指诱导拓扑）下面的这个定理尽管证明十分容易，但所指出的却是连续映射的最重要的性质定理2.2.1设X，Y和Z都是拓扑空间则（1）恒同映射：:XX是一个连续映射；（2）如果f:XY和g:YZ都是连续映射，则 gof:XZ也是连续映射 证明（l），所以连续（2）设f:XY,g:YZ都是连续映射这证明gof连续在数学科学的许多学科中都要涉及两类基本对象如在线性代数中我们考虑线性空间和线性变换，在群论中我们考虑群和同态，在集合论中我们考虑集合和映射，在不同的几何学中考虑各自的图形和各自的变换等等并且对于
8、后者都要提出一类来予以重视，例如线性代数中的（线性）同构，群论中的同构，集合论中的一映射，以及初等几何学中的刚体运动（即平移加旋转）等等我们现在已经提出了两类基本对象，即拓扑空间和连续映射下面将从连续映射中挑出重要的一类来给予特别的关注定义2.2.5设X和Y是两个拓扑空间如果f：XY是一个一映射，并且f和：YX都是连续的，则称f是一个同胚映射或同胚定理2.2.2设X，Y和Z都是拓扑空间则（1）恒同映射：XX是一个同胚；（2）如果f：XY是一个同胚，则：YX也是一个同胚；（3）如果f：XY和g：YZ都是同胚，则gof：XZ也是一个同胚证明以下证明中所涉及的根据，可参见定理2.2.1，定理l53和
9、定理154（l）是一个一映射，并且，都是连续的，从而是同胚（2）设f：XY是一个同胚因此f是一个一映射，并且f和 都是连续的于是也是一个一映射并且和也都是连续的，所以也是一个同胚（3）设f：XY和g：YZ都是同胚因此f和g都是一映射，并且f，g和都是连续的因此gof也是一映射，并且gof和都是连续的所以gof是一个同胚定义2.2.6设X和Y是两个拓扑空间如果存在一个同胚f：XY，则称拓扑空间X与拓扑空间Y是同胚的，或称X与Y同胚，或称X同胚于Y粗略地说，同胚的两个空间实际上便是两个具有相同拓扑结构的空间定理2.2.3设X，Y和Z都是拓扑空间则（1）X与X同胚；（2）如来X与Y同胚，则Y与X同胚
10、；（3）如果X与Y同胚，Y与Z同胚，则X与Z同胚证明从定理2.2.2直接得到根据定理2.2.3，我们可以说：在任意给定的一个由拓扑空间组成的族中，两个拓扑空间是否同胚这一关系是一个等价关系因而同胚关系将这个拓扑空间族分为互不相交的等价类，使得属于同一类的拓扑空间彼此同胚，属于不同类的拓扑空间彼此不同胚拓扑空间的某种性质P，如果为某一个拓扑空间所具有，则必为与其同胚的任何一个拓扑空间所具有，则称此性质P是一个拓扑不变性质换言之，拓扑不变性质即为同胚的拓扑空间所共有的性质拓扑学的中心任务便是研究拓扑不变性质至此我们已经做完了将数学分析中我们熟知的欧氏空间和欧氏空间之间的连续函数的概念，经由度量空间
11、和度量空间之间的连续映射，一直抽象为拓扑空间和拓扑空间之间的连续映射这样一个在数学的历史上经过了很长的一段时期才完成的工作在数学的发展过程中对所研究的问题不断地加以抽象这种做法是屡见不鲜的，但每一次的抽象都是把握住旧的研究对象（或其中的某一个方面）的精粹而进行的一次提升，是一个去粗取精的过程也正因为如此，新的概念和理论往往有更多的包容拓扑学无疑也是如此，一方面它使我们对“空间”和“连续”有更为纯正的认识，另一方面也包含了无法列入以往的理论中的新的研究对象（特别是许多无法作为度量空间处理的映射空间）这一切读者在学习的过程中必然会不断地加深体会作业：P55 2,5,6,8,9,10第 7 页 共 7 页
