子空间拓扑的泛性质是什么？

适用条件

• (X, $T_X$) 是一个拓扑空间。
• Y 是 X 的子集。
• i: $Y \hookrightarrow X$ 是自然包含映射。
• (Z, $T_Z$) 是任何拓扑空间。
• f: $Z \to Y$ 是一个函数。

理解与推导

1. 识别拓扑空间 X 及其子集 Y。
2. 考虑从 Y 到 X 的自然包含映射 i。
3. 取任何拓扑空间 Z 和从 Z 到 Y 的函数 f。
4. 检查 f 是否连续。
5. 检查从 Z 到 X 的复合 i ∘ f 是否连续。
6. 验证 f 连续当且仅当 i ∘ f 连续。

例子

公式写为 $f \text{ is cont. } \iff i \circ f \text{ is cont.}$

容易误解的地方

• 假设子空间拓扑中的连续性与周围空间无关。
• 混淆包含映射与其他类型的映射。

观看对应讲解

继续追问

• 如何确定进入子空间的函数的连续性？
• 包含映射在子空间拓扑的泛性质中起什么作用？