《点集拓扑学》第3章 §3.1 子空间.doc_第1页
《点集拓扑学》第3章 §3.1 子空间.doc_第2页
《点集拓扑学》第3章 §3.1 子空间.doc_第3页
《点集拓扑学》第3章 §3.1 子空间.doc_第4页
《点集拓扑学》第3章 §3.1 子空间.doc_第5页
免费预览已结束,剩余1页可下载查看

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

第3章子空间(有限),积空间,商空间在这一章中我们介绍通过已知的拓扑空间构造新的拓扑空间的三种惯用的办法为了避免过早涉及某些逻辑上的难点,在3.2中我们只讨论有限个拓扑空间的积空间,而将一般情形的研究留待以后去作3.1子空间本节重点:掌握度量子空间、拓扑空间子空间的概念,子空间的拓扑与大空间拓扑之间的关系以及子空间的闭集、邻域、基、导集、闭包与大空间相应子集之间的关系及表示法讨论拓扑空间的子空间目的在于对于拓扑空间中的一个给定的子集,按某种“自然的方式”赋予它一个拓扑使之成为一个拓扑空间,以便将它作为一个独立的对象进行考察所谓“自然的方式”应当是什么样的方式?为回答这个问题,我们还是先从度量空间做起,以便得到必要的启发考虑一个度量空间和它的一个子集欲将这个子集看作一个度量空间,必须要为它的每一对点规定距离由于这个子集中的每一对点也是度量空间中的一对点,因而把它们作为子集中的点的距离就规定为它们作为度量空间中的点的距离当然是十分自然的我们把上述想法归纳成定义:定义3.1.1设(X,)是一个度量空间,Y是X的一个子集.因此,YYXX显然:YYR是Y的一个度量(请自行验证)我们称Y的度量,是由X的度量诱导出来的度量.度量空间(Y,)称为度量空间(X,)的一个度量子空间我们常说度量空间Y是度量空间X的一个度量子空间,意思就是指Y是X的一个子集,并且Y的度量是由X的度量诱导出来的我们还常将一个度量空间的任何一个子集自动地认作一个度量子空间而不另行说明例如我们经常讨论的:实数空间R中的各种区间(a,b),a,b,(a,b等;n1维欧氏空间中的n维单位球面:n维单位开、闭球体: 以及n维单位开、闭方体 和等等,并且它们也自然被认作是拓扑空间(考虑相应的度量诱导出来的拓扑)定理3.1.1设Y是度量空间X的一个度量子空间则Y的子集U是Y中的一个开集当且仅当存在一个X中的开集V使得UVY证明由于现在涉及两个度量空间,我们时时要小心可能产生的概念混淆对于xX(yY),临时记度量空间X(Y)中以x(y)为中心以0为半径的球形邻域为 ,.首先指出:有=Y.这是因为zX属于当且仅当zY且(z,y).现在设U,由于Y的所有球形邻域构成的族是Y的拓扑的一个基,U可以表示为Y中的一族球形邻域,设为A的并于是 设,U=VY另一方面,设UVY,其中V如果yU,则有yY和yV,有 按照定理3.1.1的启示,我们来逐步完成本节开始时所提出的任务定义3.1.2设A是一个集族,Y是一个集合集族AY|AA称为集族A在集合Y上的限制,记作引理3.1.2设Y是拓扑空间(X,T)的一个子集则集族 是Y的一个拓扑证明 我们验证满足拓扑定义中的三个条件:(1)由于XT和Y=XY,所以Y;由于T,=Y,所以 (2)如果A,B,即 于是(3)如果是集族的一个子集族,即对于每一个A, 定义3.1.3设Y是拓扑空间(X,T)的一个子集Y的拓扑称为(相对于X的拓扑T而言的)相对拓扑;拓扑空间(Y,)称为拓扑空间的一个(拓扑)子空间我们常说拓扑空间Y是拓扑空间X的一个子空间,意思就是指Y是X的一个子集,并且Y的拓扑就是对于X的拓扑而言的相对拓扑此外,我们也常将拓扑空间的子集认为是一个子空间而不另行说明假设Y是度量空间X的一个子空间现在有两个途径得到Y的拓扑:一是通过X的度量诱导出Y的度量,然后考虑Y的这个度量诱导出来的拓扑;另一是先将X考虑成一个拓扑空间,然后考虑Y的拓扑为X的拓扑在Y上引出来的相对拓扑事实上定理3.1.1已经指出经由这两种途径得到的Y的两个拓扑是一样的下面把这层意思重新叙述一遍定理3.1.3设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的拓扑是()=UY|UT =UYZ|UT=UZ|UT=因此Z是X的一个子空间定理3.1.5设Y是拓扑空间X的一个子空间,yY则(l)分别记T和为X和Y的拓扑,则=;(2)分别记F 和为X和Y的全体闭集构成的族,则 = ;(3)分别记和y为点y在X和Y中的邻域系,则y= 证明(1)即是子空间和相对拓扑的定义(2)成立是因为:=(X-U)Y|UT=Y-UY|UT= (3)设则,因此存在使得VY,令,由于并且VUU所以U.以上证明类似的论证指出 定理3.1.6设Y是拓扑空间X的一个子空间,A是Y的一个子集则(1)A在y中的导集是A在X中的导集与Y的交;(2)A在Y中的闭包是A在X中的闭包与Y的交证明 为证明这个定理,我们仍分别记A在X中的导集和闭包为d(A)和;而记A在Y中的导集和闭包分别为 (A)和(A)(l)一方面,设y(A)则对于y在X中的任何一个邻域U,根据定理3.1.5,UY是y在Y中的一个邻域,所以因此yd(A)此外当然有yY所以yd(A)y这证明(A)d(A)Y另一方面,设yd(A)Y,所以y(A)这证明d(A)d(A)Y(2)成立是因为(A)=A(A)=A(d(A)Y)=(Ad(A)(AY)=Y 定理3.1.7设Y是拓扑空间X的一个子空间,yY则(1)如果B是拓扑空间X的一个基,则是子空间Y的一个基;(2)如果是点y在拓扑空间X中的一个邻域基,则是点y在子空间Y中的一个邻域基证明(1)设B是X的一个基对于Y中的任何一个开集U,存在X中的一个开集V使得U=VY;存在B的一个子族,使得V因此U由于上式中的每一个BY是中的一个元素,所以在上式中U已经表示成了中的某些元素之并了因此是Y的一个基(2)证明(略)“子空间”事实上是从大拓扑空间中“切割”出来的一部分这里有一个反问题,概言之就是:一个拓扑空间什么时候是另一个拓扑空间的子空间?换言之,一个拓扑空间在什么条件下能够“镶嵌”到另一个拓扑空间中去?当然假如我们拘泥于某些细节,例如涉及的拓扑空间是由什么样的点构成的,那么问题会变得十分乏味,然而我们在22中便提到过,拓扑学的中心任务是研究拓扑不变性质,也就是说我们不去着意区别同胚的两个拓扑空间在这种意义下,以上问题可以精确地陈述如下:定义3.1.4设X和Y是两个拓扑空间,f:XY映射f称为一个嵌入,如果它是一个单射,并且是从X到它的象集f(X)的一个同胚如果存在一个嵌入f: XY,我们说拓扑空间X可嵌入拓扑空间Y事实上,拓扑空间X可嵌入拓扑空间Y意思就是拓扑空间X与拓扑空间Y的某一个子空间同胚换言之,在不区别同胚的两个拓扑空间的意义下,X“就是”Y的一个子空间不能嵌入的一个简单例子是,一个离散空间,如果它含有多于一个点,就决不可能嵌入到任何一个平庸空间中去;反之,一个平庸空间,如果它含有多

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论