?/p>
1
?/p>
*
?/p>
21
?/p>
?/p>
3
?/p>
子空间(有限?/p>
,
积空间,商空?/p>
在这一章中我们介绍通过已知的拓扑空间构造新的拓扑空间的三种惯用?/p>
办法.为了避免过早涉及某些逻辑上的难点?/p>
在?.2
中我们只讨论有限个拓?/p>
空间的积空间,而将一般情形的研究留待以后去作?/p>
§3.1
子空?/p>
本节重点?/p>
掌握度量子空间、拓扑空间子空间的概念,子空间的拓扑与大?/p>
间拓扑之间的关系以及子空间的闭集、邻域、基、导集、闭包与大空间相应子?/p>
之间的关系及表示法.
讨论拓扑空间的子空间目的在于对于拓扑空间中的一个给定的子集?/p>
按某?/p>
“自然的方式”赋予它一个拓扑使之成为一个拓扑空间,
以便将它作为一个独?/p>
的对象进行考察.所谓“自然的方式”应当是什么样的方式?为回答这个问题,
我们还是先从度量空间做起,以便得到必要的启发?/p>
考虑一个度量空间和它的一个子集.
欲将这个子集看作一个度量空间,
必须
要为它的每一对点规定距离?/p>
由于这个子集中的每一对点也是度量空间中的一?/p>
点,
因而把它们作为子集中的点的距离就规定为它们作为度量空间中的点的距离
当然是十分自然的.我们把上述想法归纳成定义:
定义
3.1.1
?/p>
?/p>
X
?/p>
ρ
?/p>
是一个度量空间,
Y
?/p>
X
的一个子?/p>
.
因此?/p>
Y×Y
X×X?/p>
显然
?/p>
Y×Y→R
?/p>
Y
的一个度?/p>
(请自行验证?/p>
?/p>
我们?/p>
Y
的度?
?
是由
X
的度?/p>
ρ
诱导出来的度?/p>
.
度量空间?/p>
Y
?/p>
ρ
)称为度量空间(
X
?/p>
ρ
)的
一个度量子空间?/p>