【点集拓扑学】子空间（有限）积空间.pptVIP

* * 第3章　子空间（有限）,积空间，商空间 　　在这一章中我们介绍通过已知的拓扑空间构造新的拓扑空间的三种惯用的办法．为了避免过早涉及某些逻辑上的难点，在§3.2中我们只讨论有限个拓扑空间的积空间，而将一般情形的研究留待以后去做． 3.1 子空间 3.2 （有限）积空间 3.3 商空间 §3.1　子空间 定义3.1.1　设（X，ρ）是一个度量空间，Y是X的一个子集.因此，Y×Y ．显然 ：Y×Y→R是Y的一个度量（请自行验证）．我们称Y的度量 ，是由X的度量ρ诱导出来的度量.度量空间（Y，ρ）称为度量空间（X，ρ）的一个度量子空间． X×X 　定理3.1.1　设Y是度量空间X的一个度量子空间．则Y的子集U是Y中的一个开集当且仅当存在一个X中的开集V使得U＝V∩Y． 定义3.1.2　设A是一个集族，Y是一个集合．集族{A∩Y|A∈A}称为集族A在集合Y上的限制，记作 . 引理3.1.2　设Y是拓扑空间（X，T）的一个子集．则集族 是Y的一个拓扑． 定义3.1.3　设Y是拓扑空间（X，T）的一个子集．Y的拓扑 称为（相对于X的拓扑T而言的）相对拓扑；拓扑空间（Y， ）称为拓扑空间的一个（拓扑）子空间． 　定理3.1.3　设Y是度量空间X的一个度量子空间．则X与Y都考虑作为拓