3.1 子空间

第3章　子空间（有限）,积空间，商空间

　　在这一章中我们介绍通过已知的拓扑空间构造新的拓扑空间的三种惯用的办法．为了避免过早涉及某些逻辑上的难点，在§3.2中我们只讨论有限个拓扑空间的积空间，而将一般情形的研究留待以后去作．

§3.1　子空间

　　本节重点：掌握度量子空间、拓扑空间子空间的概念，子空间的拓扑与大空间拓扑之间的关系以及子空间的闭集、邻域、基、导集、闭包与大空间相应子集之间的关系及表示法．

　　讨论拓扑空间的子空间目的在于对于拓扑空间中的一个给定的子集，按某种“自然的方式”赋予它一个拓扑使之成为一个拓扑空间，以便将它作为一个独立的对象进行考察．所谓“自然的方式”应当是什么样的方式？为回答这个问题，我们还是先从度量空间做起，以便得到必要的启发．

　　考虑一个度量空间和它的一个子集．欲将这个子集看作一个度量空间，必须要为它的每一对点规定距离．由于这个子集中的每一对点也是度量空间中的一对点，因而把它们作为子集中的点的距离就规定为它们作为度量空间中的点的距离当然是十分自然的．我们把上述想法归纳成定义：

　　定义3.1.1　设（X，ρ）是一个度量空间，Y是X的一个子集.因此，Y×YX×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．

　　证明　由于现在涉及两个度量空间，我们时时要小心可能产生的概