《点集拓扑学》第3章§3.3商空间.docxVIP

  • 58
  • 0
  • 约2.59千字
  • 约 3页
  • 2021-02-03 发布于天津
  • 举报
§ 3.3 商空间 本节重点:掌握商空间、商拓扑、商映射的定义. 将一条橡皮筋的两个端点“粘合”起来, 我们便得到了一个像皮圈; 将一块正方形的橡 皮块一对对边上的点按同样的方向两两‘粘合”起来, 我们便得到了一个橡皮管, 再将这个 橡皮管两端的两个圆圈上的点按同样的方向两两“粘合”起来,我们又得到了一个橡皮轮 胎”这种从一个给定的图形构造出一个新图形的办法可以一般化. 我们在第一章中讨论过等价关系和商集的概念. 所谓商集乃是在一个集合中给定了一个 等价关系之后将相对于这个等价关系而言的等价类所构成的集合, 通俗地说便是分别将每一 个等价类中的所有的点“粘合”为一个点后得到的集合. 在定义1.5.6中我们也曾说起过在 一个集合X中给定了一个等价关系 R之后,从集合X到商集X/R有一个自然的投射 p:X~X/R, 它是一个满射.注意到了这一点,下面引出商拓扑和商空间的概念的方式便显得顺理成章了. 定义3.3.1 设(X, T)是一个拓扑空间,Y是一个集合,f:X tY是一个满射.容易验 证(请自行验证)Y的子集族. ---■ ■ - ■-是Y的一个拓扑.我们称订为Y的(相对于满射f而言的) 商拓扑. 容易直接验证在上述定义的条件下, Y的一个拓扑「是Y的商拓扑当且仅当在拓扑空间 (Y, J)中F_Y是一个闭集的充分必要条件是 / 1 ( F)是X中的一个闭集. 定理3.3.1 且设(X, T)是一个拓扑空间,Y是一个集合,f:X ty是一个满射.则 (1)如果辽是Y的商拓扑,贝V f:X ty是一个连续映射; f是连续的,则1 J⑵如果’1是Y的一个拓扑,使得对于这个拓扑而言映射 f是连续的,则1 J 证明(1 )根据定义自明. (2)如果U€ 1,由于满射f对于Y的拓扑’1而言连续, 故」 因此U€ ?:.这 证明 定义3.3.2 设X和Y是两个拓扑空间,f:X tY.我们称映射 f为一个商映射,如果它 是一个满射并且Y的拓扑是对于映射f而言的商拓扑. 根据定理3.3.1可见商映射是连续的.下面的这个定理告诉我们如何利用商映射来验证 一类映射的连续性. 定理3.3.2 设X,Y和Z都是拓扑空间,且f:X -Y是一个商映射.则映射g: Y^Z 连续当且仅当映射 gof:X-Z连续. 证明 由于商映射f连续,故当g连续时g_f连续. 另一方面,设gif连续,若W 「则. .. .然而 (旷/尸洌二厂(0(叫) 所以根据商拓扑的定义 .这便证明了 g连续. 为了应用定理3.3.2 ,如何知道一个拓扑空间的拓扑是相对于从另一个拓扑空间到它的 一个满射而言的商拓扑便成了一个有意思的问题?我们在这里只给出一个简单的必要条 件?为此先陈述开映射和闭映射的定义. 定义3.3.3 设X和Y是两个拓扑空间.映射 f: X^Y称为一个开映射(闭映射),如 果对于X中的任何一个开集(闭集) U,象集f(U)是Y中的一个开集(闭集). 定理3.3.3 设X和Y是两个拓扑空间?如果映射 f: X -Y是一个连续的满射,并 且是一个开映射(闭映射),则 Y的拓扑便是相对于满射f而言的商拓扑. 证明 我们证明当f 证明 我们证明当f是开映射的情形.设 Y中的使f连续的拓扑为?匚,商拓扑为■1 如果V€ I 如果V€ I,由于映射f连续, 广?謀,因此并且恥1 反之,如果V€辽,则 ,由于f 是一个开的满射, 所以 ,因此 / 1. 从而,’丨一 综上所述,我们证明了 Y的拓扑便是商拓扑?当 f是闭映射的情形时,证明是类似的. 定义334 设(X, T)对是一个拓扑空间,R是X中的一个等价关系. 商集X/R的(相 对于自然的投射p: XtX/R而言的)商拓扑 亠称为X/R的(相对于等价关系 R而言的)商 拓扑,拓扑空间(X/R, )称为拓扑空间(X, T)的(相对于等价关系 R而言的)商空间. 如果X是一个拓扑空间,R是X中的一个等价关系,若无另外的说明,我们总认为商集 X/R的拓扑是商拓扑,也就是说将商集 X/R认作拓扑空间时,指的就是商空间.因此投射 p:XtX/ R是一个商映射. 通过在一个拓扑空间中给定等价关系的办法来得到商空间是构造新的拓扑空间的一个 重要手法?下面给出若干例子. 例3.3.1 在实数空间R中给定一个等价关系 ? ={ (x,y)€ 匚 | 或者 x,y € Q 或者 x,y 丄 Q} 所得到的商空间 R/实际上便是由两个点构成的平庸空间.(请读者自行验证.)然 而,明确地写出上面那个等价关系 二.有时是很麻烦的,我们经常采用一种较为通俗的简便 说法,将这个商空间 R/二.说成是“在实数空间中将所有有理点和所有无理点分别粘合(或 等同)为一点所得到的商空间”. 例3.3.2 在单位闭区间I =[0,1],中给定一个等价关系?

您可能关注的文档

文档评论(0)

1亿VIP精品文档

相关文档