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