《《点集拓扑讲义》第三章子空间(有限),积空间,商空间学习笔.doc》由会员分享，可在线阅读，更多相关《《点集拓扑讲义》第三章子空间(有限),积空间,商空间学习笔.doc（5页珍藏版）》请在三一文库上搜索。
1、点集拓扑讲义第三章 子空间（有限），积空间，商空间学习笔第3章子空间（有限），积空间，商空间在这一章中我们介绍通过已知的拓扑空间构造新的拓扑空间的三种惯用的办 法.为了避免过早涉及某些逻辑上的难点，在3.2中我们只讨论有限个拓扑空 间的积空间，而将一般情形的研究留待以后去作. 3. 1子空间本节重点：掌握度量子空间、拓扑空间子空间的概念，子空间的拓扑与大空 间拓扑之间的关系以及子空间的闭集、邻域、基、导集、闭包与大空间相应子集 之间的关系及表示法.讨论拓扑空间的子空间LI的在于对于拓扑空间中的一个给定的子集，按某种 “自然的方式”赋予它一个拓扑使之成为一个拓扑空间，以便将它作为一个独立 的对象
2、进行考察.所谓“自然的方式”应当是什么样的方式？为回答这个问题， 我们还是先从度量空间做起，以便得到必要的启发.考虑一个度量空间和它的一个子集.欲将这个子集看作一个度量空间，必须 要为它的每一对点规定距离.由于这个子集中的每一对点也是度量空间中的一对 点，因而把它们作为子集中的点的距离就规定为它们作为度量空间中的点的距离 当然是十分自然的.我们把上述想法归纳成定义：定义3. 1. 1设（X, P）是一个度量空间，Y是X的一个子集.因此，YXYX XX.显然:YXY-R是Y的一个度量（请自行验证）.我们称Y的度量是由X的度量P诱导出来的度量.度量空间（Y, P ）称为度量空间（X, P ） 的一
3、个度量子空间.第1页*共21页我们常说度量空间Y是度量空间X的一个度量子空间，意思就是指Y是X 的一个子集，并且Y的度量是由X的度量诱导出来的.我们还常将一个度量空间的任何一个子集自动地认作一个度量子空间而不另行说明.例如我们经常讨论 的：实数空间R中的各种区间(m b) , a, b,(a, b等；n+1维欧氏空间中的n维单位球面：n维单位开、闭球体：以及n维单位开、闭方体 和等等，并且它们也自然被认作是拓扑空间(考虑相应的度量诱导出来的拓扑).定理设Y是度量空间X的一个度量子空间.则Y的子集U是Y中的 一个开集当且仅当存在一个x中的开集v使得u=vny.证明曲于现在涉及两个度量空间，我们时
4、时要小心可能产生的概念混淆.对 于xWX (yeY)，临时记度量空间X (Y)中以x (y)为中心以 0为半径的 球形邻域为首先指出：有二QY.这是因为zGX属于当且仅当zEY且(z, y) .现在设UW,山于Y的所有球形邻域构成的族是Y的拓扑的一个基，U可以表示为Y中的一族球形邻域，设为A的并.于是设，U二VQY另一方面，设u=vny,其中vGyev.，有.如果yeu,则有yWY和按照定理3. 1. 1的启示，我们来逐步完成本节开始时所提出的任务. 定 义设A是一个集族，Y是一个集合.集族AAYlAGA称为集族A在集合 Y上的限制，记作引理设Y是拓扑空间（X, T）的一个子集.则集族 拓扑.
5、是Y的一个证明我们验证满足拓扑定义中的三个条件：（1）由于XGT和Y二XQY,所以YW；由于eT, = AY,所以丘（2）如果A, BG,即于是（3）如果是集族的一个子集族，即对于每一个AE,第3页*共21页定义设Y是拓扑空间（X, T）的一个子集.Y的拓扑对于X的拓扑T 而言的）相对拓扑；拓扑空间（Y,个（拓扑）子空间.称为（相，）称为拓扑空间的一我们常说拓扑空间Y是拓扑空间X的一个子空间，意思就是指Y是X的一个 子集，并且Y的拓扑就是对于X的拓扑而言的相对拓扑.此外，我们也常将拓扑 空间的子集认为是一个子空间而不另行说明.假设Y是度量空间X的一个子空间.现在有两个途径得到Y的拓扑：一是通
6、过X的度量诱导出Y的度量，然后考虑Y的这个度量诱导出来的拓扑：另一是先 将X考虑成一个拓扑空间，然后考虑Y的拓扑为X的拓扑在Y上引出来的相对拓 扑.事实上定理3. 1. 1已经指出经由这两种途径得到的Y的两个拓扑是一样的.下 面把这层意思重新叙述一遍.定理设Y是度量空间X的一个度量子空间.则X与Y都考虑作为拓 扑空间时Y是X的一个（拓扑）子空间.定理3. 1.4设X, Y, Z都是拓扑空间.如果Y是X的一个子空间，Z是Y 的一个子空间，则Z是X的一个子空间.证明当Y是X的一个子空间，Z是Y的一个子空间时，我们有并且若设T 为x的拓扑时,z的拓扑是（=unynz|ueT=unz|ueT=因此z是
7、x的一 个子空间.定理设Y是拓扑空间X的一个子空间，yWY.则）=UAY|UeT（1）分别记T和为X和Y的拓扑，则二；（2）分别记F和为X和Y的全体闭集构成的族，则=；4（3）分别记和y为点y在X和Y中的邻域系，则y二.证明（1）即是子空间和相对拓扑的定义.（2）成立是因为：=（X-U） AY|UGT = Y-UnY|UGT =（3）设则，因此存在使得V =QY,令,由于并且=vuu=u所以UW.以上证明.类似的论证指出定理设Y是拓扑空间X的一个子空间，A是Y的一个子集.则 （1） A在y中的导集是A在X中的导集与Y的交； （2） A在Y中的闭包是A在X 中的闭包与Y的交.证明为证明这个定理，我们仍分别记A在X中的导集和闭包为d （A）和而 记A在Y中的导集和闭包分别为（A）和（A）.（1）一方面，设yW理3. 1.5, UAY是(A).则对于y在X中的任何一个邻域U,根据定y 在Y中的一个邻域，所以因此yWd (A).此外当然有yWY.所以yGd(A) Ay.这证明d (A) AY.另一方面，设yed(A)AY,第5页*共21页