基础拓扑学讲义 尤承业 《基础拓扑学讲义》 · 第 18 页 · 定义 1.5 设 $A$ 是拓扑空间 $(X,\tau)$ 的一个非空子集。规定 $A$ 的子集族 $\tau_A=\{U\cap A\mid U\in\tau\}$。容易验证 $\tau_A$ 是 $A$ 上的一个拓扑，称为 $\tau$ 导出的 $A$ 上的子空间拓扑，称 $(A,\tau_A)$ 为 $(X,\tau)$ 的子空间。 查看原书页面 由 admin 提交
