拓扑学中的嵌入映射
在拓扑学中，嵌入映射（embedding）是指从拓扑空间 \( X \) 到拓扑空间 \( Y \) 的一个连续单射 \( f: X \rightarrow Y \)。它不仅要求映射是连续且一一对应于其像集，还要求当值域限制为像集 \( f(X) \) 时，\( X \) 与 \( f(X) \) 之间构成一个同胚。其中，\( f(X) \) 采用从 \( Y \) 继承的子空间拓扑。
换句话说，嵌入映射可以把一个拓扑空间"嵌入"到另一个拓扑空间中，同时完整保留原空间的拓扑结构。
一个嵌入映射必须满足以下三个条件：
- 映射 \( f \) 是连续的。
- 映射 \( f \) 是单射，即 \( X \) 中任意两个不同的点都不会映到 \( Y \) 中的同一个点。
- 将 \( f \) 的值域限制为像集 \( f(X) \) 后，其逆映射 \( f^{-1}: f(X) \rightarrow X \) 是连续的。
因此，虽然 \( f(X) \) 只是 \( Y \) 的一个子空间，但它在拓扑意义上与 \( X \) 完全相同，即 \( f(X) \subset Y \)。
一个具体例子
下面通过一个简单的例子来说明嵌入映射的定义。
定义两个拓扑空间：
- 空间 \( X \)
集合 \( X=\{a,b,c\} \)，拓扑为 \( \mathcal{T}_X=\{\emptyset,\{a\},\{a,b\},X\} \)。 - 空间 \( Y \)
集合 \( Y=\{1,2,3,4\} \)，拓扑为 \( \mathcal{T}_Y=\{\emptyset,\{1\},\{1,2\},\{1,2,3\},Y\} \)。
定义映射：
$$ f(a)=1 \\ f(b)=2 \\ f(c)=3 $$
下面逐项验证它是否是一个嵌入映射。
1. 验证连续性
根据开集定义下的连续性，若 \( Y \) 中每个开集的原像都是 \( X \) 中的开集，则映射 \( f \) 连续。
- \( f^{-1}(\emptyset)=\emptyset \in \mathcal{T}_X \)
- \( f^{-1}(\{1\})=\{a\}\in\mathcal{T}_X \)
- \( f^{-1}(\{1,2\})=\{a,b\}\in\mathcal{T}_X \)
- \( f^{-1}(\{1,2,3\})=X\in\mathcal{T}_X \)
- \( f^{-1}(Y)=X\in\mathcal{T}_X \)
由于 \( \mathcal{T}_Y \) 中所有开集的原像都属于 \( \mathcal{T}_X \)，因此 \( f \) 是连续映射。
2. 验证单射性
映射 \( f \) 将 \( X \) 中每个元素映到不同的元素：
$$ f(a)=1 \\ f(b)=2 \\ f(c)=3 $$
因此，\( f \) 是单射。
3. 验证逆映射的连续性
映射 \( f \) 的像集为：
\[ f(X)=\{1,2,3\}\subset Y \]
因此，需要先确定 \( f(X) \) 上的子空间拓扑。
说明：子空间拓扑由原空间中的开集与子集相交得到。
这里：
- \(Y=\{1,2,3,4\}\)
- \(\mathcal{T}_Y=\{\emptyset,\{1\},\{1,2\},\{1,2,3\},Y\}\)
- \(f(X)=\{1,2,3\}\)
计算交集可得：
- \(\emptyset\cap\{1,2,3\}=\emptyset\)
- \(\{1\}\cap\{1,2,3\}=\{1\}\)
- \(\{1,2\}\cap\{1,2,3\}=\{1,2\}\)
- \(\{1,2,3\}\cap\{1,2,3\}=\{1,2,3\}\)
- \(\{1,2,3,4\}\cap\{1,2,3\}=\{1,2,3\}\)
因此，子空间拓扑为：
$$ \mathcal{T}_{f(X)} = \{ \emptyset, \{1\}, \{1,2\}, \{1,2,3\} \} $$
接下来检查逆映射 \(f^{-1}:f(X)\rightarrow X\) 是否连续。
只需验证 \(X\) 中每个开集在 \(f^{-1}\) 下的原像是否属于 \(\mathcal{T}_{f(X)}\)。
- \(\emptyset\mapsto\emptyset\)
- \(\{a\}\mapsto\{1\}\)
- \(\{a,b\}\mapsto\{1,2\}\)
- \(X\mapsto\{1,2,3\}\)
这些原像全部属于 \(\mathcal{T}_{f(X)}\)，因此逆映射也是连续的。
综上所述，映射 \( f \) 同时满足连续性、单射性以及逆映射连续性三个条件，因此它是一个嵌入映射。
虽然 \( f(X)=\{1,2,3\} \) 并没有覆盖整个空间 \( Y \)，但它完整保留了空间 \( X \) 的拓扑结构。因此，在拓扑意义下，\( X \) 与子空间 \( f(X) \) 没有任何区别。
嵌入映射与同胚的区别
嵌入映射和同胚都能够保持拓扑结构，但二者关注的对象并不相同。
- 同胚
同胚是两个拓扑空间之间的双射，并且映射及其逆映射都连续。因此，两个空间在拓扑意义下完全等价。 - 嵌入映射
嵌入映射并不要求覆盖整个目标空间，它只要求把 \( X \) 映射到 \( Y \) 的一个子空间中，并保持该子空间与 \( X \) 完全相同的拓扑结构。
因此，可以把同胚理解为两个拓扑空间整体上的等价，而嵌入映射则表示一个拓扑空间可以作为另一个拓扑空间的子空间出现，同时保持自身的全部拓扑性质。
以此类推。
```
