商映射的连续性

在商拓扑中，满射映射 \( f: X \to A \) 的连续性是由定义直接保证的。对于任意子集 \( V \subseteq A \)，当且仅当其原像 \( f^{-1}(V) \) 在 \( X \) 中是开集时，\( V \) 才被视为 \( A \) 中的开集。

设 \( X \) 是一个拓扑空间，\( f: X \to A \) 是一个满射映射，其中 \( A \) 是任意集合，并不一定是 \( X \) 的子集。

如果在 \( A \) 上赋予商拓扑，那么映射 \( f \) 会自动成为连续映射。

这一结论并非巧合，而是商拓扑定义的直接结果。因为在商拓扑中，一个子集 \( V \subseteq A \) 是否为开集，完全由它在 \( X \) 中的原像 \( f^{-1}(V) \) 是否开来决定。

换句话说，商拓扑从一开始就是围绕映射 \( f \) 构造出来的，因此连续性自然被包含在定义之中。

说明。在一般拓扑学中，证明一个映射连续通常需要检验开集的原像是否为开集。而对于商拓扑来说，这一条件已经被直接写进了定义，因此商映射天然连续。

一个简单的例子

考虑集合 \( X = \{a, b, c\} \)。

定义一个满射映射 \( f: X \to A \)，其中 \( A = \{1, 2\} \)，满足：

这个映射把元素 \( a \) 和 \( b \) 合并为 \( A \) 中的同一个点 \( 1 \)，而元素 \( c \) 则对应点 \( 2 \)。

根据商拓扑的定义，子集 \( V \subseteq A \) 是开集，当且仅当其原像 \( f^{-1}(V) \) 在 \( X \) 中是开集。

例如，取 \( V = \{1\} \subseteq A \)。此时有 \( f^{-1}(\{1\}) = \{a,b\} \)。如果集合 \( \{a,b\} \) 在 \( X \) 中是开集，那么 \( \{1\} \) 在 \( A \) 中也必须是开集。

因此，\( A \) 中的开集可以写为：

\[ \emptyset,\quad \{1,2\},\quad \{1\},\quad \{2\} \]

对应的原像分别为：

可以看到，\( A \) 中哪些集合是开集，并不是任意指定的，而是由它们在 \( X \) 中的原像决定的。

这正是商拓扑的核心思想：先给定映射 \( f \)，再利用原像的开集性质为目标集合 \( A \) 赋予拓扑结构。

因此，商映射 \( f \) 的连续性并不是一个需要额外证明的性质，而是商拓扑定义本身的直接推论。

这也是为什么在研究商空间时，人们常说商拓扑是使商映射连续的"最自然的拓扑"。