子空間拓樸

在拓扑学和数学的其他相关领域里，拓扑空间 $X$ 的子空间是指在 $X$ 中子集 $S$ 及在 $S$ 上赋予的由 $X$ 的拓扑所导出的拓扑。这个导出的拓扑叫做 $X$ 的拓扑在 $S$ 上的子空间拓扑，也称为相对拓扑。导出方式参见 #定义。

定义

给定拓扑空间 $(X,\tau )$ 和 $X$ 内的子集 $S$，于 $S$ 上的子空间拓扑被定义为

$\tau _{S}=\lbrace S\cap U\mid U\in \tau \rbrace .$

亦即，$S$ 的子集于子空间拓扑中为开集当且仅当其为 $S$ 和一于 $(X,\tau )$ 内的开集的交集。若 $S$ 被设上子空间拓扑，则其本身即为一拓扑空间，并被称之为 $(X,\tau )$ 的子空间。除非有额外叙述，一般拓扑空间的子集都会假定设有一子空间拓扑。

若 $S$ 为 $(X,\tau )$ 内的开集、闭集或稠密集，则分别称 $(S,\tau _{S})$ 为 $(X,\tau )$ 内的一开子空间、闭子空间或稠密子空间。

另外，也可以定义 $X$ 内的子集 $S$ 的子空间拓扑为会使得内含映射

$\iota :S\hookrightarrow X$

为连续的最弱拓扑。

更一般地，设 $\iota$ 为一由集合 $S$ 至拓扑空间 $X$ 的单射，则于 $S$ 上的子空间拓扑即为定义为 $\iota$ 为连续的最弱拓扑。此拓扑的开集恰好会是 $\iota ^{-1}(U)$ 的其中一个，其中的 $U$ 为 $X$ 内的开集。$S$ 因此同胚于在 $X$ 内的值域（也是带子空间拓扑），且 $\iota$ 会被称之为拓扑嵌入。

如果单射 $\iota$ 是一个开映射，那么子空间 $S$ 被称为一个开子空间；同样地，如果单射 $\iota$ 是一个闭映射，那么子空间 $S$ 被称为一个闭子空间。

例子

• 给定一具一般拓扑的实数，其自然数（实数的一子空间）的子空间拓扑会是一个离散拓扑。
• 有理数 $\mathbb {Q}$ 做为一个 $\mathbb {R}$ 的子空间，不带有离散拓扑（$\{0\}$ 在 $\mathbb {Q}$ 内不是开集）。
• 令 $S=[0,1)$ 为实线 $\mathbb {R}$ 的一子空间，则 $[0,{\frac {1}{2}}]$ 在 $S$ 内为开集，但在 $\mathbb {R}$ 内则不是。相似地，$[{\frac {1}{2}},1)$ 在 $S$ 内为闭集，但在 $\mathbb {R}$ 内则不是。$S$ 为其自身的开子集和闭子集，但做为 $\mathbb {R}$ 的子集则两者皆不是。

性质

子空间拓朴具有以下特性。设 $Y$ 是 $X$ 的一个子空间且 $i:Y\to X$ 是一个内含映射。对于任何拓朴空间 $Z$，$f:Z\to Y$ 是连续映射当且仅当合成映射 $i\circ f$ 是连续的。

这个特性可以被用来定义 $Y$ 上的子空间拓朴。我们列出一些更进一步的性质。设 $S$ 是 $X$ 的子空间拓朴。

• 如果 $f:X\to Y$ 是连续的，那么 $f$ 到 $S$ 的限制也是连续的。
• 如果 $f:X\to Y$ 是连续的，那么 $f:X\to f(X)$ 也是连续的。
• $S$ 中的闭集是，严谨地来说，$S$ 与 $X$ 中闭集的交集。
• 如果 $A$ 是 $S$ 的一个子空间，那么 $A$ 也是 $X$ 的一个子空间。换言之，$A$ 从 $S$ 继承的子空间拓朴与从 $X$ 继承的一样。
• 假设 $S$ 是 $X$ 的一个开子空间（则 $S\in \tau$），那么 $S$ 的子集合在 $S$ 中是开的当且仅当其在 $X$ 中是开的。
• 假设 $S$ 是 $X$ 的一个闭子空间（则 $X\backslash S\in \tau$），那么 $S$ 的子集合在 $S$ 中是闭的当且仅当其在 $X$ 中是闭的。
• 如果 $B$ 是 $X$ 的基，那么 $B_{S}=\{U\cap S:U\in B\}$ 是 $S$ 的基。
• 透过限制度量到一个子集，度量空间上的导出拓朴会导出对于这个子集的子空间拓朴。

拓朴不变量的保持

如果一个拓朴空间的一些拓朴不变量能够保证它们的子空间也有相同的性质，那么我们称这些性质具有可遗传性。如果某些性质只有保证闭子空间才拥有，那我们称这些性质具有弱遗传性。

• 每个可完备度量化空间的开子空间与闭子空间是可完备度量化的。
• 每个贝尔空间的开子空间是贝尔空间。
• 每个紧空间的闭子空间是紧致的。
• 豪斯多夫空间具有可遗传性。
• 正规空间具有弱遗传性。
• 完全有界具有可遗传性。
• 完全不连通具有可遗传性。
• 第一可数性与第二可数性具有可遗传性。

另见

• 商空间
• 积空间
• 直和拓扑
• 诱导拓朴 (induced topology)

参考文献

• Bourbaki, Nicolas, Elements of Mathematics: General Topology, Addison-Wesley (1966)
• Steen, Lynn A. and Seeback, J. Arthur Jr., Counterexamples in Topology, Holt, Rinehart and Winston (1970) ISBN 0-03-079485-4.
• Wilard, Stephen. General Topology, Dover Publications (2004) ISBN 0-486-43479-6