拓扑连续性

设 $X$ 和 $Y$ 为两个拓扑空间。如果对于 $Y$ 中任意开集 $V$，其原像 $f^{-1}(V)$ 都是 $X$ 中的开集，那么映射 $f: X \to Y$ 就称为连续映射。

从直观上看，拓扑学中的连续映射不会破坏空间原有的拓扑结构。虽然点的位置可能发生变化，但开集之间的关系仍然得到保留。

因此，拓扑连续性的核心思想并不是研究点与点之间的距离，而是研究映射是否保持了空间中的开集结构。

说明：拓扑连续性是数学分析中连续性概念的推广。在分析学中，连续性依赖于距离和极限；而在拓扑学中，只需要开集的概念即可定义连续性。正因如此，拓扑连续性能够应用于许多没有距离结构的空间。

例如，当我们对一个几何图形进行拉伸、压缩或弯曲时，只要没有发生撕裂或粘合，这种变换通常都可以视为连续的。

连续映射保证了空间的重要拓扑性质在变换过程中得以保留。

一个具体例子
恒等映射为什么总是连续的？
常值映射为什么总是连续的？
同一个映射，也可能不连续
连续映射的拓扑基判定定理
粗拓扑与细拓扑中的连续性
连通性与连续性的区别
相关说明

一个具体例子

考虑两个拓扑空间 $X=\{a,b,c,d\}$ 和 $Y=\{1,2\}$。

空间 $X$ 的开集为：$\{\}, \{a\}, \{a,b\}, \{a,b,c,d\}$。
空间 $Y$ 的开集为：$\{\}, \{1\}, \{1,2\}$。

定义映射 $f: X \rightarrow Y$：

$f(a)=1$，$f(b)=1$，$f(c)=2$，$f(d)=2$

这个映射是否连续呢？

下图展示了映射 $f$ 以及两个空间中的开集结构。

拓扑连续性的示例

根据定义，我们需要检查 $Y$ 中每个开集的原像是否仍然是 $X$ 中的开集。

对于开集 $\{1\}$，其原像为 $f^{-1}(\{1\})=\{a,b\}$。该集合是 $X$ 中的开集。
对于开集 $\{1,2\}$，其原像为 $f^{-1}(\{1,2\})=\{a,b,c,d\}$。整个空间 $X$ 本身也是开集。

空集无需单独讨论，因为它在任何拓扑中都是开集。

因此，$Y$ 中所有开集的原像在 $X$ 中仍然保持开集性质，所以 映射 $f$ 是连续映射。

例2

现在考虑另一个映射 $g: X \rightarrow Y$：

$g(a)=1$，$g(b)=1$，$g(c)=1$，$g(d)=2$

下图展示了映射 $g$ 的情况。

拓扑连续性的反例

继续按照定义进行验证：

对于开集 $\{1\}$，其原像为 $g^{-1}(\{1\})=\{a,b,c\}$。然而，这个集合不是 $X$ 中的开集。

由于已经找到一个开集，其原像不是开集，因此无需继续检查其他情况。

由此可以得出结论：映射 $g$ 不是连续映射。

恒等映射为什么总是连续的？

考虑恒等映射 $id:X\to X$，定义为

$$ id(x)=x $$

它的作用非常简单，每个元素都被映射到自身。

由于映射前后的集合完全相同，任何开集经过恒等映射后仍然是原来的开集，因此不会改变空间的拓扑结构。

所以，恒等映射始终是连续映射。

常值映射为什么总是连续的？

再来看常值映射：

$$ f(x)=c $$

无论输入哪个元素，输出始终是同一个固定值 $c$。

为了验证连续性，需要考察任意开集 $V\subseteq Y$ 的原像。

如果 $c\in V$，那么所有元素都会被映射到 $V$ 中，因此原像就是整个空间 $X$。
如果 $c\notin V$，那么没有任何元素会被映射到 $V$ 中，因此原像为空集 $\emptyset$。

而整个空间和空集在任何拓扑中都是开集。

因此，所有常值映射都是连续映射。

说明：这个例子表明，连续性并不取决于映射是否复杂。有些看似最简单的映射，例如常值映射，反而天然满足连续性的要求。

同一个映射，也可能不连续

连续性不仅取决于映射本身，还取决于定义域和陪域所采用的拓扑结构。

为了说明这一点，再来看恒等映射 $f(x)=x$。

定义域 $X$ 为实数集 $\mathbb{R}$，采用标准拓扑。
陪域 $Y$ 也是实数集 $\mathbb{R}$，但采用下限拓扑（Sorgenfrey拓扑）。

在下限拓扑中，集合 $[0,1)$ 是开集。

由于 $f$ 是恒等映射，因此

\[ f^{-1}([0,1))=[0,1) \]

也就是说，它的原像仍然是集合本身。

但是，在标准拓扑中，$[0,1)$ 并不是开集。

说明：标准拓扑中的开集要求每个点都拥有完全包含于集合内部的开邻域。对于区间 $[0,1)$ 而言，端点 $0$ 不满足这一条件，因此该集合不是标准拓扑中的开集。

于是，我们找到了一个陪域中的开集，其原像在定义域中不是开集。

因此，恒等映射

\[ f:\mathbb{R}\to\mathbb{R} \]

在这种拓扑配置下 不是连续映射。

这个例子清楚地说明了一点：拓扑连续性不仅与映射本身有关，也与定义域和陪域所赋予的拓扑密切相关。

即使映射公式完全相同，只要改变空间上的拓扑结构，连续性的结论也可能随之改变。

连续映射的拓扑基判定定理

设 $X$ 和 $Y$ 为两个拓扑空间，$B_Y$ 为 $Y$ 的一个拓扑基。映射 $f:X\to Y$ 连续，当且仅当对于 $B_Y$ 中的每一个基元素 $B$，其原像 $f^{-1}(B)$ 都是 $X$ 中的开集。

这是连续性理论中最实用的判定工具之一。

按照连续映射的定义，我们需要检查陪域 $Y$ 中每一个开集的原像是否都是定义域 $X$ 中的开集。但在实际问题中，开集的数量往往很多，逐一验证并不方便。

拓扑基判定定理提供了一个更高效的方法：只需检查拓扑基中的基元素即可。

由于拓扑中的所有开集都可以由基元素通过并运算生成，因此验证基元素的原像已经足够判断映射是否连续。

在许多实际计算和证明中，这一定理能够显著减少工作量。

证明：设 $U$ 是 $Y$ 中任意一个开集。由于 $B_Y$ 是 $Y$ 的拓扑基，因此 $U$ 可以表示为若干基元素的并集，即 $U=\bigcup_{\alpha} B_{\alpha}$。如果每个基元素 $B_{\alpha}$ 的原像 $f^{-1}(B_{\alpha})$ 都是 $X$ 中的开集，那么 \[ f^{-1}(U)=f^{-1}\left(\bigcup_{\alpha} B_{\alpha}\right) =\bigcup_{\alpha} f^{-1}(B_{\alpha}) \] 也是开集。于是，$Y$ 中任意开集的原像都是 $X$ 中的开集，因此映射 $f$ 连续。

例子

考虑两个拓扑空间

\[ X=\{a,b,c,d\}, \qquad Y=\{x,y,z\} \]

其中：

$X$ 上的拓扑为 \[ \tau_X=\{\emptyset,\{a\},\{a,b\},\{a,b,c,d\}\} \]
$Y$ 的一个拓扑基为 \[ B_Y=\{\{x\},\{y\},\{z\}\} \]

由于 $B_Y$ 是拓扑基，因此 $Y$ 中的所有开集都可以由这些基元素通过并运算得到。

例如，集合 $ \{x,y\} $、$ \{x,z\} $、$ \{y,z\} $ 以及 $ \{x,y,z\} $ 虽然不是拓扑基中的元素，但它们都是开集，因为它们都可以表示为若干基元素的并。

现在定义映射 $f:X\to Y$：

$f(a)=x$
$f(b)=x$
$f(c)=y$
$f(d)=z$

根据拓扑基判定定理，我们只需要检查基元素的原像。

$f^{-1}(\{x\})=\{a,b\}$，这是 $X$ 中的开集。
$f^{-1}(\{y\})=\{c\}$，但 $\{c\}$ 不属于拓扑 $\tau_X$，因此不是开集。

到这里已经可以停止检查。

因为只要存在一个基元素的原像不是开集，就说明连续性的条件不成立。

因此，映射 $f$ 不是连续映射。

说明：使用拓扑基判定连续性时，一旦发现某个基元素的原像不是开集，就可以立即得出映射不连续的结论，无需继续检查其他基元素。

粗拓扑与细拓扑中的连续性

设 $\tau_1$ 和 $\tau_2$ 是同一集合上的/zh/math/zh-continuity-defined-using-closed-sets两个拓扑，且满足 $\tau_1\subseteq\tau_2$。如果一个映射关于较粗拓扑 $\tau_1$ 连续，那么它关于较细拓扑 $\tau_2$ 也一定连续。

这一结论是研究不同拓扑之间关系时的重要性质。

不过，需要特别注意的是，反方向一般并不成立。

一个映射可能在较细拓扑下连续，但在较粗拓扑下却不连续。

粗拓扑与细拓扑：对于同一个集合上的两个拓扑，如果一个拓扑包含的开集较少，则称其为较粗拓扑；如果包含的开集较多，则称其为较细拓扑。

例1

考虑集合

\[ X=\{a,b\} \]

并赋予两个不同的拓扑：

较粗拓扑 \[ \tau_1=\{\varnothing,\{a,b\}\} \] 其中只有空集和整个集合是开集。
较细拓扑 \[ \tau_2=\{\varnothing,\{a\},\{b\},\{a,b\}\} \] 其中单点集 $\{a\}$ 和 $\{b\}$ 也被视为开集。

定义映射

\[ f:X\to Y \]

其中 $Y=\{1\}$，并满足

$$ f(a)=1 $$

$$ f(b)=1 $$

先考察 $f$ 关于较粗拓扑 $\tau_1$ 的连续性。

$f^{-1}(\varnothing)=\varnothing$，是开集。
$f^{-1}(\{1\})=\{a,b\}$，也是开集。

因此，映射 $f$ 关于 $\tau_1$ 连续。

由于较细拓扑 $\tau_2$ 包含了 $\tau_1$ 中的所有开集，而原像集合本身不会发生变化，因此上述两个原像在 $\tau_2$ 中仍然是开集。

所以，映射 $f$ 关于 $\tau_2$ 也连续。

这个例子说明：

如果一个映射在较粗拓扑下连续，那么它在较细拓扑下仍然连续。

注意：这一性质只有单向成立。连续性不能简单地从较细拓扑推广到较粗拓扑。

例2

继续使用同一个集合 $X=\{a,b\}$ 以及上述两个拓扑。

定义映射

\[ g:X\to Y \]

其中 $Y=\{1,2\}$，满足

$$ g(a)=1 $$

$$ g(b)=2 $$

首先考察较细拓扑 $\tau_2$。

$g^{-1}(\varnothing)=\varnothing$
$g^{-1}(\{1,2\})=\{a,b\}$
$g^{-1}(\{1\})=\{a\}$
$g^{-1}(\{2\})=\{b\}$

这些集合全部属于 $\tau_2$，因此

映射 $g$ 关于较细拓扑 $\tau_2$ 连续。

接下来考察较粗拓扑 $\tau_1$。

$g^{-1}(\varnothing)=\varnothing$，是开集。
$g^{-1}(\{1,2\})=\{a,b\}$，是开集。
$g^{-1}(\{1\})=\{a\}$，但 $\{a\}$ 不属于 $\tau_1$。

因此，$\{1\}$ 的原像不是开集。

所以，映射 $g$ 关于较粗拓扑 $\tau_1$ 不连续。

综上所述，映射 $g$ 在较细拓扑 $\tau_2$ 下连续，但在较粗拓扑 $\tau_1$ 下不连续。

这个例子清楚地表明：

较细拓扑中的连续性，并不能保证在较粗拓扑中依然成立。

连通性与连续性的区别

连通性（connectedness）和连续性（continuity）都是拓扑学中的核心概念，但它们描述的是完全不同的对象。

简单来说，连通性研究的是空间本身的结构，而连续性研究的是映射如何保持这种结构。

连通性是空间的性质
连通性描述的是拓扑空间内部是否"连成一体"。如果一个拓扑空间 $X$ 不能分解为两个非空、互不相交的开集，那么称 $X$ 为连通空间。等价地，它也不能表示为两个非空、互不相交闭集的并。

换句话说，在连通空间中，不存在一种方法能够把空间拆分成两个彼此完全分离的部分。

连通性是空间固有的拓扑性质，与空间上定义什么映射无关。

连续性是映射的性质
连续性描述的是两个拓扑空间之间映射的行为。设 $f:X\to Y$ 为一个映射，如果 $Y$ 中任意开集的原像都是 $X$ 中的开集，那么称 $f$ 为连续映射。

连续性的核心思想是：映射在传递点的同时，不会破坏空间原有的拓扑结构。

例如，在标准拓扑下，函数

\[ f(x)=x^2 \]

是从 $\mathbb{R}$ 到 $\mathbb{R}$ 的连续映射。但这一事实本身并不能告诉我们实数空间 $\mathbb{R}$ 是否连通，因为连续性讨论的是映射，而不是空间本身。

因此，连通性和连续性虽然经常同时出现，却属于两个不同层面的概念。

不过，它们之间存在重要联系。

如果 $X$ 是连通空间，而 $f:X\to Y$ 是连续映射，那么像集 $f(X)$ 仍然是连通的。

这一结论说明：连续映射能够保持连通性。

然而，这并不意味着连通性与连续性是同一个概念。前者是空间的性质，后者是映射的性质，两者不能混为一谈。