连续映射：修订间差异

2026年9月20日 (日) 07:17的最新版本

连续映射（continuous map）把输入的局部接近关系传到输出。在有距离的空间中，它表示：把输入限制在足够小的邻域，输出就能满足预先给定的接近要求。在一般拓扑空间中，这个条件用开集的逆像来表达。

从平方函数的一次误差要求开始

设 $f (x) = x^{2}$ ，我们要在 $x = 2$ 附近计算它，已知 $f (2) = 4$ 。如果希望输出离四不到 $0.1$ ，输入应该离二多近？

先分解输出误差： $| x^{2} - 4 | = | x - 2 | | x + 2 | .$ 第一因子正是输入误差，第二因子也随输入变化。先把输入限制在 $| x - 2 | < 1$ ，这样 $1 < x < 3$ ，从而 $| x + 2 | < 5$ 。于是 $| x^{2} - 4 | \leq 5 | x - 2 | .$ 只要再要求 $| x - 2 | < 0.02$ ，输出误差就小于 $5 \times 0.02 = 0.1$ 。这个范围不一定是最大的可用范围，但它明确保证了要求。

把 $0.1$ 换成任意正数 $ε$ ，可取 $δ = min (1, ε / 5)$ 。这里 $ε$ 是先给出的输出容许误差， $δ$ 是据此选择的输入容许误差。对每一个输出要求，都能找到一个正的输入范围，就是在二处连续的含义。

在任意点连续的定义

对于度量空间之间的映射 $f : X \to Y$ ，在点 $a$ 连续，是指对每个 $ε > 0$ ，存在 $δ > 0$ ，使 $d_{X} (x, a) < δ ⟹ d_{Y} (f (x), f (a)) < ε .$ $d_{X}, d_{Y}$ 分别是输入、输出空间的距离。若每个 $a \in X$ 都满足这个要求，就称映射连续。选出的 $δ$ 可以依赖位置 $a$ 。

平方函数在任意实数点 $a$ 的证明沿用上一节的方法。先要求 $| x - a | < 1$ ，由三角不等式得到 $| x + a | = | (x - a) + 2 a | \leq | x - a | + 2 | a | < 1 + 2 | a | .$ 再取 $δ = min (1, \frac{ε}{1 + 2 | a |}),$ 当 $| x - a | < δ$ 时，便有 $| x^{2} - a^{2} | = | x - a | | x + a | \leq (1 + 2 | a |) | x - a | < (1 + 2 | a |) δ \leq ε .$ 这解释了平方函数为什么处处连续，也解释了离原点较远时，同样输出精度通常需要更小输入误差。

连续与是否有光滑斜率是不同问题。例如 $f (x) = | x |$ 满足 $| | x | - | a | | \leq | x - a |$ ，取 $δ = ε$ 就证明连续；它在零处却有尖点，左右导数不同。相反，阶跃函数在零处取零、正数处取一时，任何包含零的输入邻域都有输出一，无法满足输出误差小于 $1 / 2$ 的要求，因此在零处不连续。

将输出范围拉回输入端

还以平方函数为例。若输出必须落在开区间 $(1, 4)$ 内，哪些输入符合要求？解不等式 $1 < x^{2} < 4$ ，得到 $f^{- 1} ((1, 4)) = (- 2, - 1) \cup (1, 2) .$ 这个集合叫开区间的逆像。记号 $f^{- 1}$ 在这里只是收集符合输出条件的输入；平方函数并没有全实数上的逆函数，逆像照样定义。

逆像是开集，意味着其中每个输入点周围都有一小段仍满足输出要求的范围。这正是前面的局部连续性。对一般拓扑空间，便定义： $f : X \to Y$ 连续，当且仅当 $Y$ 中每个开集 $V$ 的逆像 $f^{- 1} (V)$ 都在 $X$ 中开。

这个定义与局部条件相互推出：

如果逆像开，那么对 $f (a)$ 的开邻域 $V$ ，直接用 $U = f^{- 1} (V)$ 作为 $a$ 的邻域，便有 $f (U) \subseteq V$ 。
如果每个点都能找到这样的输入开邻域 $U_{a}$ ，那么 $f^{- 1} (V)$ 就是所有这些 $U_{a}$ 的并，因此开。

在度量空间中，邻域中总能再取一个开球；把两边邻域换成半径为 $δ, ε$ 的开球，就回到误差定义。Sharifi：Continuous functions

用三个点把定义算一遍

取 $X = {a, b, c}$ ，开集为 $\emptyset, {a}, {a, b}, X$ 。输出空间取 $Y = {0, 1}$ ，开集为 $\emptyset, {1}, Y$ 。这些拓扑的含义见拓扑空间。

定义 $f (a) = 1, f (b) = f (c) = 0$ 。要检查连续，只需列出三个输出开集的逆像：空集的逆像为空， ${1}$ 的逆像为 ${a}$ ，全集的逆像为 $X$ 。三者都开，所以连续。

若改成 $g (b) = 1, g (a) = g (c) = 0$ ，那么 $g^{- 1} ({1}) = {b}$ ，它不开。局部地看，也能找到失败的位置：在输入点 $b$ ，希望输出留在开邻域 ${1}$ 内；但每个含 $b$ 的输入开邻域都包含 $a$ ，其输出为零，无法满足要求。

左映射把a送到一，输出开集一的逆像是开集a；右映射把b送到一，其逆像b不是开集 — 同一个输出开集，沿箭头反向寻找全部输入，得到不同的连续性结论。

先看两图输出端青色圈出的 V={1}，再沿箭头倒着找它来自哪里：左图得到金圈里的 a，右图得到金圈里的 b。是否开由本文给定的拓扑列表决定，图上两点画得远近并不表示距离。

常值映射则在任意拓扑下都连续。输出开集若包含常值，逆像就是整个输入空间；若不包含，逆像为空。这两个集合总开。

逆像的方向为什么重要

连续性没有要求开集的正向像开。平方函数把输入开区间 $(- 1, 1)$ 送到 $[0, 1)$ ，后者在实数中不开。函数把正负输入合并到同一个平方值，像的端点可以由此产生；逆像检查的是输入能否稳定地满足输出限制，是另一个方向的问题。

逆像与复合相容，也是这一定义的一个好处。若 $f : X \to Y$ 与 $g : Y \to Z$ 都连续，对 $Z$ 的开集 $W$ 有 $(g \circ f)^{- 1} (W) = f^{- 1} (g^{- 1} (W)) .$ 先通过 $g$ 拉回一个 $Y$ 的开集，再通过 $f$ 拉回一个 $X$ 的开集，所以复合连续。

分段定义时，可以检查拼接处。例如左侧取 $f (x) = x$ （ $x \leq 0$ ），右侧取 $f (x) = x^{2}$ （ $x \geq 0$ ），两式在零处都取零、两侧极限也都是零，因而连续。一般的有限闭集拼接定理说：若有限个闭子集覆盖整个空间，各块上的函数连续且在交叠处相同，就能拼成连续函数。证明用闭集逆像：它在各块中闭，有限并在整个空间中仍闭。闭集逆像判据与开集判据等价，因为逆像保持补集。

连续双射还需要什么

若一个双射及其逆映射都连续，称为同胚，表示两个空间有相同的拓扑结构。只有正向连续还不够。

圆周上的点可以用角度 $t \in [0, 2 π)$ 一一表示： $f (t) = (\cos t, \sin t)$ 。这个映射连续且双射。但圆周上从下方趋近 $(1, 0)$ 的点，对应角度可以是 $2 π - 1 / n$ ；这些点趋向 $f (0)$ ，反向角度却不趋向零。因此逆映射在接缝处不连续。

如果定义域紧致、陪域豪斯多夫，连续双射就一定是同胚：定义域的闭子集紧致，其像紧致，而豪斯多夫空间的紧致子集闭，所以逆映射的闭集逆像闭。半开区间 $[0, 2 π)$ 不紧致，正好没有获得这一保证。

同一输入精度能否在所有位置通用

平方函数在实线上连续，但不能对所有位置使用同一个输入阈值。取 $x_{n} = n$ 与 $y_{n} = n + 1 / n$ ，输入差为 $1 / n$ ，趋于零；输出差却为 $y_{n}^{2} - x_{n}^{2} = 2 + \frac{1}{n^{2}},$ 始终大于二。对于输出误差小于一的要求，再小的固定输入阈值，也会在足够远处失效。

若只考虑 $[- M, M]$ ，其中 $M > 0$ ，则有 $| x^{2} - y^{2} | \leq 2 M | x - y |$ 。取 $δ = ε / (2 M)$ 就对整个区间同时有效。这种统一控制称为一致连续性。一般地，紧致度量空间上的连续函数都一致连续。范围变化会改变统一控制能否实现，普通连续性则只要求逐点控制。

连续像保留的两个性质

连续映射把连通空间送到连通的像。若像能分成两个不相交、非空的相对开部分，拉回后就把输入空间分成同样的两个开部分，与连通性矛盾。对实数函数来说，区间连通，因此已达到两个值时，中间的值也会达到。这就是中间值定理与二分法的依据。

连续映射也把紧致空间送到紧致的像。给像一个开覆盖，拉回成为输入空间的开覆盖；在输入空间选出有限子覆盖，对应的有限个输出开集也覆盖整个像。于是紧致空间上的连续实函数会达到最大值和最小值。函数 $1 / x$ 在 $(0, 1)$ 连续却没有最大值，因为这个定义域不紧致。

对于序列，连续性保证 $x_{n} \to a$ 时 $f (x_{n}) \to f (a)$ 。在度量空间中反向也成立：如果在 $a$ 不连续，就有固定的输出误差要求，使每个半径 $1 / n$ 的输入球都含失败点，选出这些点就得到一个趋向 $a$ 、输出却不趋向 $f (a)$ 的序列。一般拓扑空间未必能用序列描述全部邻域，所以那时仍以开集定义为准。

历史

十九世纪的分析把曲线“没有跳跃”的直觉逐步写成局部极限条件。玻尔查诺 1817 年关于连续函数与中间值的研究是重要一环。MacTutor：Bolzano 后来的一般拓扑用邻域与开集表达连续性，使同一个定义也能用于曲面和有限空间。

参考资料与知识联系

Romyar Sharifi，Point-Set Topology，第 2 章 Continuous functions，UCLA：讨论连续、同胚与商映射的定义。
University of Toronto，MAT237，Limits and continuity：度量情形与开集表述。
MacTutor，University of St Andrews，Bernard Bolzano：1817 年工作的历史背景。
前置：函数、极限、拓扑空间；相关：导数、环面、二分法。

@@ 第1行： / 第1行： @@
-'''连续映射'''（continuous map）是保持拓扑邻近结构的映射。若 <math>X,Y</math> 是拓扑空间，映射 <math>f:X\to Y</math> 连续，定义为 <math>Y</math> 中每个开集的逆像都是 <math>X</math> 中的开集。在度量空间中，这与熟悉的 <math>\varepsilon</math>—<math>\delta</math> 连续性等价。连续性依赖函数规则以及定义域、陪域的拓扑，不能仅从一个代数表达式判断。
+'''连续映射'''（continuous map）把输入的局部接近关系传到输出。在有距离的空间中，它表示：把输入限制在足够小的邻域，输出就能满足预先给定的接近要求。在一般拓扑空间中，这个条件用开集的逆像来表达。
-连续不等于可微，不等于单调，也不等于可逆。一个函数可以有尖点、反复振荡或把很多点压到同一点而仍然连续。拓扑定义关心的是局部邻近能否在映射下稳定传递，而非图形是否平滑或有无某种视觉上的“好看”。
+== 从平方函数的一次误差要求开始 ==
+设 <math>f(x)=x^2</math>，我们要在 <math>x=2</math> 附近计算它，已知 <math>f(2)=4</math>。如果希望输出离四不到 <math>0.1</math>，输入应该离二多近？
-== 把输出要求变成输入邻域 ==
+先分解输出误差：
-在实函数的例子中，给定一个点 <math>a</math> 和输出误差容许值 <math>\varepsilon>0</math>，希望找到输入容许值 <math>\delta>0</math>，使得输入离 <math>a</math> 足够近时，输出离 <math>f(a)</math> 也足够近。度量空间中的条件写成
+<math display="block">|x^2-4|=|x-2|\,|x+2|.</math>
-<math display="block">d_X(x,a)<\delta\quad\Longrightarrow\quad d_Y(f(x),f(a))<\varepsilon.</math>
+第一因子正是输入误差，第二因子也随输入变化。先把输入限制在 <math>|x-2|<1</math>，这样 <math>1<x<3</math>，从而 <math>|x+2|<5</math>。于是
-量词顺序是先任给输出要求，再选择输入邻域；所选邻域允许依赖点 <math>a</math>。如果一个固定输入尺度能对全部点同时奏效，那是更强的一致连续性，不能在普通连续定义中悄悄加入。
+<math display="block">|x^2-4|\le5|x-2|.</math>
+只要再要求 <math>|x-2|<0.02</math>，输出误差就小于 <math>5\times0.02=0.1</math>。这个范围不一定是最大的可用范围，但它明确保证了要求。
-开集表述把数值半径改成邻域。设 <math>V</math> 是一个包含 <math>f(a)</math> 的开集。连续性要求存在含 <math>a</math> 的开邻域 <math>U</math>，使 <math>f(U)\subseteq V</math>。输出限制可能是一个区间、一个圆盘，也可能是没有距离定义的抽象开集；共同点是都能在输入端找到一块满足该限制的局部区域。
+把 <math>0.1</math> 换成任意正数 <math>\varepsilon</math>，可取 <math>\delta=\min(1,\varepsilon/5)</math>。这里 <math>\varepsilon</math> 是先给出的输出容许误差，<math>\delta</math> 是据此选择的输入容许误差。'''对每一个输出要求，都能找到一个正的输入范围'''，就是在二处连续的含义。
-这里的逆像 <math>f^{-1}(V)=\{x\in X:f(x)\in V\}</math> 对任何函数都能定义，不要求 <math>f</math> 有逆函数。一个常值函数的逆像可能是整个定义域，也可能为空集；恰好这两个集合总是开集，所以常值函数总连续。“逆像”与“逆映射”的混淆，是理解定义时需要主动排除的符号陷阱。
+== 在任意点连续的定义 ==
+对于度量空间之间的映射 <math>f:X\to Y</math>，在点 <math>a</math> 连续，是指对每个 <math>\varepsilon>0</math>，存在 <math>\delta>0</math>，使
-== 为什么逆像开集定义与局部条件等价 ==
+<math display="block">d_X(x,a)<\delta\quad\Longrightarrow\quad d_Y(f(x),f(a))<\varepsilon.</math>
-假设每个开集的逆像开。对任意点 <math>a</math> 和包含 <math>f(a)</math> 的开集 <math>V</math>，直接取 <math>U=f^{-1}(V)</math>，它是包含 <math>a</math> 的开集，且 <math>f(U)\subseteq V</math>，得到局部条件。
+<math>d_X,d_Y</math> 分别是输入、输出空间的距离。若每个 <math>a\in X</math> 都满足这个要求，就称映射连续。选出的 <math>\delta</math> 可以依赖位置 <math>a</math>。
-反过来，假设每一点都满足局部条件。给定陪域中的开集 <math>V</math>，对于逆像中的每个点 <math>a</math>，存在开邻域 <math>U_a</math> 被映到 <math>V</math> 内，因此 <math>U_a\subseteq f^{-1}(V)</math>。把这些局部区域并起来，恰好得到
+平方函数在任意实数点 <math>a</math> 的证明沿用上一节的方法。先要求 <math>|x-a|<1</math>，由三角不等式得到
-<math display="block">f^{-1}(V)=\bigcup_{a\in f^{-1}(V)}U_a.</math>
+<math display="block">|x+a|=|(x-a)+2a|\le|x-a|+2|a|<1+2|a|.</math>
-任意开集的并仍开，所以逆像开。这说明全局定义并没有改变局部直觉，只是把“每一点附近都能做到”的要求集中在集合操作中表达。[https://www.math.ucla.edu/~sharifi/notes/topology-ch02.html Sharifi，第 2 章]
+再取
+<math display="block">\delta=\min\left(1,\frac{\varepsilon}{1+2|a|}\right),</math>
+当 <math>|x-a|<\delta</math> 时，便有
+<math display="block">|x^2-a^2|=|x-a||x+a|\le(1+2|a|)|x-a|<(1+2|a|)\delta\le\varepsilon.</math>
+这解释了平方函数为什么处处连续，也解释了离原点较远时，同样输出精度通常需要更小输入误差。
-在度量空间中，开球为开邻域提供了基。把上面的 <math>V</math> 取为输出开球，再在输入开邻域中取一个输入开球，就得到误差形式。反向由误差条件为每个逆像点找到一个输入球，便得到逆像开。因此两种定义是一致的数学陈述，而不是不同课程采用的两个互不相干约定。
+连续与是否有光滑斜率是不同问题。例如 <math>f(x)=|x|</math> 满足 <math>||x|-|a||\le|x-a|</math>，取 <math>\delta=\varepsilon</math> 就证明连续；它在零处却有尖点，左右导数不同。相反，阶跃函数在零处取零、正数处取一时，任何包含零的输入邻域都有输出一，无法满足输出误差小于 <math>1/2</math> 的要求，因此在零处不连续。
-== 两种可逐步核查的连续性证明 ==
+== 将输出范围拉回输入端 ==
-=== 平方函数：先控制一个不会失控的因子 ===
+还以平方函数为例。若输出必须落在开区间 <math>(1,4)</math> 内，哪些输入符合要求？解不等式 <math>1<x^2<4</math>，得到
-考察 <math>f(x)=x^2</math> 在实数点 <math>a</math> 的连续性。恒等式
+<math display="block">f^{-1}((1,4))=(-2,-1)\cup(1,2).</math>
-<math display="block">|x^2-a^2|=|x-a|\,|x+a|</math>
+这个集合叫开区间的'''逆像'''。记号 <math>f^{-1}</math> 在这里只是收集符合输出条件的输入；平方函数并没有全实数上的逆函数，逆像照样定义。
-把输出误差分成两个因子。仅要求第一个因子小还不够，必须控制第二个因子。先限定 <math>|x-a|<1</math>，则 <math>|x+a|\le|x-a|+2|a|<1+2|a|</math>。给定 <math>\varepsilon>0</math>，可取
-<math display="block">\delta=\min\left(1,\frac{\varepsilon}{1+2|a|}\right).</math>
-当 <math>|x-a|<\delta</math> 时，输出误差小于 <math>\varepsilon</math>。由于 <math>a</math> 任意，平方函数在实数线上处处连续。证明里输入尺度随 <math>|a|</math> 改变，正好显示普通连续性允许局部尺度不同。
-平方函数在整个实线上却不一致连续。取 <math>x_n=n</math>、<math>y_n=n+1/n</math>，两输入之差趋零，而输出之差为 <math>2+1/n^2</math>，始终不接近零。于是不能找到对所有位置都有效的统一输入尺度。在任意有界闭区间上，平方函数则一致连续，环境范围改变了结论。
+逆像是开集，意味着其中每个输入点周围都有一小段仍满足输出要求的范围。这正是前面的局部连续性。对一般拓扑空间，便定义：<math>f:X\to Y</math> 连续，当且仅当 <math>Y</math> 中每个开集 <math>V</math> 的逆像 <math>f^{-1}(V)</math> 都在 <math>X</math> 中开。
-=== 有限空间：把逆像逐个列出来 ===
+这个定义与局部条件相互推出：
-令 <math>X=\{a,b,c\}</math>，开集为 <math>\varnothing,\{a\},\{a,b\},X</math>；令 <math>Y=\{0,1\}</math>，开集为 <math>\varnothing,\{1\},Y</math>。定义 <math>f(a)=1</math>、<math>f(b)=f(c)=0</math>。三个陪域开集的逆像分别是空集、<math>\{a\}</math> 和 <math>X</math>，全都开，因此函数连续。
-若把规则改为 <math>g(b)=1</math>，另外两点映为零，则 <math>g^{-1}(\{1\})=\{b\}</math> 不是开集，故不连续。这里没有可画成一条不断线曲线的函数图像，却仍能精确判断连续性。它说明“画图不断笔”的说法适合作为部分实函数的直觉，不是适用于所有空间的定义。
+* 如果逆像开，那么对 <math>f(a)</math> 的开邻域 <math>V</math>，直接用 <math>U=f^{-1}(V)</math> 作为 <math>a</math> 的邻域，便有 <math>f(U)\subseteq V</math>。
+* 如果每个点都能找到这样的输入开邻域 <math>U_a</math>，那么 <math>f^{-1}(V)</math> 就是所有这些 <math>U_a</math> 的并，因此开。
-== 连续、可微、开映射与同胚的边界 ==
+在度量空间中，邻域中总能再取一个开球；把两边邻域换成半径为 <math>\delta,\varepsilon</math> 的开球，就回到误差定义。[https://www.math.ucla.edu/~sharifi/notes/topology-ch02.html Sharifi：Continuous functions]
-绝对值函数 <math>f(x)=|x|</math> 连续，因为反三角不等式给出 <math>||x|-|a||\le|x-a|</math>；但它在零处的左右导数分别为负一与正一，所以不可微。可微通常蕴含连续，连续并不保证存在斜率。若把“没有跳跃”误写成“足够光滑”，就会抹掉这一区别。
-连续映射也不要求正向像把开集送成开集。平方函数把开区间 <math>(-1,1)</math> 送成 <math>[0,1)</math>，后者在实数线中不是开集。保持开集正向像的性质称为开映射，与连续性是不同要求。逆像与正像的集合运算规律不同，因此方向不能颠倒。
+== 用三个点把定义算一遍 ==
+取 <math>X=\{a,b,c\}</math>，开集为 <math>\varnothing,\{a\},\{a,b\},X</math>。输出空间取 <math>Y=\{0,1\}</math>，开集为 <math>\varnothing,\{1\},Y</math>。这些拓扑的含义见[[拓扑空间]]。
-一个双射若连续，逆映射仍未必连续。例如令同一个实数集合在定义域采用离散拓扑，在陪域采用通常拓扑。恒等映射连续，因为通常开集在离散拓扑中当然开；反向恒等映射不连续，因为陪域中的单点开集在通常拓扑定义域中并不开。两个方向都连续的双射才称为同胚。
+定义 <math>f(a)=1,f(b)=f(c)=0</math>。要检查连续，只需列出三个输出开集的逆像：空集的逆像为空，<math>\{1\}</math> 的逆像为 <math>\{a\}</math>，全集的逆像为 <math>X</math>。三者都开，所以连续。
-即便都使用熟悉的子空间，连续双射也可能不是同胚。映射 <math>t\mapsto(\cos t,\sin t)</math> 把半开区间 <math>[0,2\pi)</math> 连续一一地映到圆周；但圆周上趋近 <math>(1,0)</math> 的点可以从两侧接近，反向角度却会在零与接近 <math>2\pi</math> 之间断开。这里缺少逆向连续性，不是单纯的坐标记号问题。
+若改成 <math>g(b)=1,g(a)=g(c)=0</math>，那么 <math>g^{-1}(\{1\})=\{b\}</math>，它不开。局部地看，也能找到失败的位置：在输入点 <math>b</math>，希望输出留在开邻域 <math>\{1\}</math> 内；但每个含 <math>b</math> 的输入开邻域都包含 <math>a</math>，其输出为零，无法满足要求。
-== 复合与拼接为什么保持连续 ==
+[[File:Gezhi-teaching-continuous-preimages.svg|frame|center|alt=左映射把a送到一，输出开集一的逆像是开集a；右映射把b送到一，其逆像b不是开集|同一个输出开集，沿箭头反向寻找全部输入，得到不同的连续性结论。]]
-设 <math>f:X\to Y</math>、<math>g:Y\to Z</math> 都连续。对 <math>Z</math> 的任意开集 <math>W</math>，有
-<math display="block">(g\circ f)^{-1}(W)=f^{-1}(g^{-1}(W)).</math>
-先由 <math>g</math> 连续知内层逆像在 <math>Y</math> 中开，再由 <math>f</math> 连续知外层逆像在 <math>X</math> 中开。因此复合连续。这种短证明揭示了为何选择逆像作为定义特别合适：它与函数复合自然相容。
-分段函数则需要检查接缝。设空间被有限多个闭子集覆盖，且每一块上的函数连续，在交叠部分给出相同值，那么它们可拼成连续函数。这个闭集拼接结论可从“闭集的逆像闭”与有限闭集并仍闭证明；若只说每一块内部连续，而忽略公共边界的值，结论便不成立。
+先看两图输出端青色圈出的 V={1}，再沿箭头倒着找它来自哪里：左图得到金圈里的 a，右图得到金圈里的 b。是否开由本文给定的拓扑列表决定，图上两点画得远近并不表示距离。
-例如定义 <math>f(x)=x</math>（当 <math>x\le0</math>）与 <math>f(x)=x^2</math>（当 <math>x\ge0</math>），两式在零处都给零，故连续。若后一块改为 <math>x^2+1</math> 且只用于正数，则右极限为一而函数在零处为零，接缝发生跳跃。每一开半轴上的代数表达式都连续，仍不足以保证整条实线上连续。
+常值映射则在任意拓扑下都连续。输出开集若包含常值，逆像就是整个输入空间；若不包含，逆像为空。这两个集合总开。
-一个定义在不同拓扑空间之间的函数，是否连续还会随拓扑改变而改变。定义域拓扑变细、开集增多，会使逆像更容易满足开集要求；陪域拓扑变细，则需要检查更多集合，条件可能更严格。这个方向关系可直接从定义推导，不需要凭“更细应该更连续”的语言猜测。
+== 逆像的方向为什么重要 ==
+连续性没有要求开集的正向像开。平方函数把输入开区间 <math>(-1,1)</math> 送到 <math>[0,1)</math>，后者在实数中不开。函数把正负输入合并到同一个平方值，像的端点可以由此产生；逆像检查的是输入能否稳定地满足输出限制，是另一个方向的问题。
-== 连通像与紧致像：连续性真正传递了什么 ==
+逆像与复合相容，也是这一定义的一个好处。若 <math>f:X\to Y</math> 与 <math>g:Y\to Z</math> 都连续，对 <math>Z</math> 的开集 <math>W</math> 有
-假设 <math>X</math> 连通而 <math>f</math> 连续。如果像 <math>f(X)</math> 能拆成两个互不相交、非空且相对开放的部分，那么两个部分的逆像就把 <math>X</math> 拆成同样的两个开部分，与连通性矛盾。因此连续像仍连通。实数中连通集合是区间，故连续实函数不能在两个已达到的值之间跳过一个中间值。这是[[二分法]]背后的结构。
+<math display="block">(g\circ f)^{-1}(W)=f^{-1}(g^{-1}(W)).</math>
+先通过 <math>g</math> 拉回一个 <math>Y</math> 的开集，再通过 <math>f</math> 拉回一个 <math>X</math> 的开集，所以复合连续。
-紧致像的证明同样通过逆像进行。给像空间一个开覆盖，把各开集拉回 <math>X</math>，得到原空间的开覆盖；紧致性提供有限子覆盖，再把对应的有限个开集送回去，便覆盖整个像。由此得到紧致空间上连续实函数的像是实数中的紧致集，因而能达到最大值与最小值。
-这些定理必须保留条件。例如 <math>f(x)=1/x</math> 在开区间 <math>(0,1)</math> 连续却无最大值，定义域不紧致；阶跃函数可以从零跳到一，函数不连续。证明不仅提供正确结论，也指出失败时应首先检查哪一个前提。
-连续性不自动保证保留所有拓扑性质。常值函数把任何空间压到一个点，可能消除孔洞和区分度；连续满射也不一定保留豪斯多夫性等分离性质。必须区分“某性质在连续像下保持”与“所有结构都不变”。真正表示空间拓扑结构完全相同的是同胚，而不是任意连续映射。
-== 闭集判据与一致连续性的尺度 ==
-连续性的开集判据有一个完全等价的闭集版本：陪域中每个闭集的逆像在定义域中闭。证明只需使用逆像与补集相容，即 <math>f^{-1}(Y\setminus A)=X\setminus f^{-1}(A)</math>。这与“闭集的正向像仍闭”也不是一回事；例如指数函数把实数线这个闭集连续地映成 <math>(0,\infty)</math>，后者在实数线中并不闭。
-如果定义域紧致、陪域豪斯多夫，情况会加强：连续双射必为同胚。理由是定义域的闭子集仍紧致，其连续像紧致；豪斯多夫空间中的紧致子集闭，所以原映射是闭映射，逆映射因而连续。这个结论解释了为何紧致区间与半开区间在圆周参数化问题中表现不同，也说明定理的额外条件确实承担证明任务。
-一致连续性则要求给定同一输出误差后，有一个输入距离阈值适用于定义域所有位置。在紧致度量空间上，连续函数必一致连续。直观上，每一点各有一套局部控制，紧致性允许从这些局部控制中选出有限份，再取一个统一可用的小尺度。正式证明还需适当缩小邻域，以处理两个相近点可能落在不同局部区域的细节。
-与平方函数的反例相比，函数 <math>f(x)=\sin x</math> 在整个实数线上仍一致连续，因为中值定理与 <math>|\cos x|\le1</math> 给出 <math>|\sin x-\sin y|\le|x-y|</math>。定义域非紧致只是使“连续必一致连续”的保证失效，并不是断言该域上的所有连续函数都不一致连续。区分充分条件与必要条件，是阅读这些定理时的重要逻辑环节。
+分段定义时，可以检查拼接处。例如左侧取 <math>f(x)=x</math>（<math>x\le0</math>），右侧取 <math>f(x)=x^2</math>（<math>x\ge0</math>），两式在零处都取零、两侧极限也都是零，因而连续。一般的有限闭集拼接定理说：若有限个闭子集覆盖整个空间，各块上的函数连续且在交叠处相同，就能拼成连续函数。证明用闭集逆像：它在各块中闭，有限并在整个空间中仍闭。闭集逆像判据与开集判据等价，因为逆像保持补集。
-对于数值计算，一致尺度意味着误差控制无需随输入位置反复改变。例如在有界闭区间上计算连续函数，可以在适当假设下建立统一采样精度；在无界区间上，远处变化可能越来越剧烈，固定网格便失去保证。这是拓扑与分析概念进入算法设计的一条具体联系，但仍需函数的可计算表示和可获得的误差信息才能实际实现。
+== 连续双射还需要什么 ==
+若一个双射及其逆映射都连续，称为'''同胚'''，表示两个空间有相同的拓扑结构。只有正向连续还不够。
-连续性在一个孤立点处自动成立，因为可以把输入邻域取成单点，此时其中所有函数值都等于该点的函数值。因此“局部行为”不一定意味着周围真的存在一串不同的邻点；空间本身允许怎样的邻域，决定定义会施加多强的限制。这也解释了离散定义域上的任意函数为何都连续。
+圆周上的点可以用角度 <math>t\in[0,2\pi)</math> 一一表示：<math>f(t)=(\cos t,\sin t)</math>。这个映射连续且双射。但圆周上从下方趋近 <math>(1,0)</math> 的点，对应角度可以是 <math>2\pi-1/n</math>；这些点趋向 <math>f(0)</math>，反向角度却不趋向零。因此逆映射在接缝处不连续。
-== 序列能检验什么，历史上又怎样抽象出来 ==
+如果定义域紧致、陪域豪斯多夫，连续双射就一定是同胚：定义域的闭子集紧致，其像紧致，而豪斯多夫空间的紧致子集闭，所以逆映射的闭集逆像闭。半开区间 <math>[0,2\pi)</math> 不紧致，正好没有获得这一保证。
-连续映射总保持序列收敛：若 <math>x_n\to x</math>，则任给 <math>f(x)</math> 的邻域，其逆像是 <math>x</math> 的邻域，序列最终落在其中，像序列因而最终落在原输出邻域。度量空间中，反过来保持所有序列极限也能推出连续；若不连续，可用半径逐次缩小的球构造一列反例。
-在一般拓扑空间中，序列未必足以描述全部邻域结构，所以“序列连续”不应不加条件地替换开集定义。更一般的网或滤子可处理这类空间。入门阶段无需立即展开其技术细节，但需要知道从实数函数推广到任意空间时，哪些熟悉判据仍然等价，哪些只剩单方向成立。
+== 同一输入精度能否在所有位置通用 ==
+平方函数在实线上连续，但不能对所有位置使用同一个输入阈值。取 <math>x_n=n</math> 与 <math>y_n=n+1/n</math>，输入差为 <math>1/n</math>，趋于零；输出差却为
+<math display="block">y_n^2-x_n^2=2+\frac1{n^2},</math>
+始终大于二。对于输出误差小于一的要求，再小的固定输入阈值，也会在足够远处失效。
-十九世纪对极限与连续性的严格化，逐步把几何曲线直觉改写为局部量词条件；二十世纪的一般拓扑进一步用邻域与开集统一这些概念。玻尔查诺 1817 年关于连续函数与中间值的工作是其中的重要节点，不能据此把现代一般拓扑定义直接归为他一人提出。[https://mathshistory.st-andrews.ac.uk/Biographies/Bolzano/ MacTutor：Bolzano] 抽象连续映射的形成，是分析概念与空间公理化共同发展的结果。
+若只考虑 <math>[-M,M]</math>，其中 <math>M>0</math>，则有 <math>|x^2-y^2|\le2M|x-y|</math>。取 <math>\delta=\varepsilon/(2M)</math> 就对整个区间同时有效。这种统一控制称为'''一致连续性'''。一般地，紧致度量空间上的连续函数都一致连续。范围变化会改变统一控制能否实现，普通连续性则只要求逐点控制。
-== English overview ==
+== 连续像保留的两个性质 ==
-<div lang="en" class="math-english-summary">
+连续映射把连通空间送到连通的像。若像能分成两个不相交、非空的相对开部分，拉回后就把输入空间分成同样的两个开部分，与连通性矛盾。对实数函数来说，区间连通，因此已达到两个值时，中间的值也会达到。这就是中间值定理与[[二分法]]的依据。
-A map between topological spaces is continuous when the inverse image of every open set is open. An inverse image does not require an inverse function. The definition says that any open condition around an output can be secured by a suitable neighborhood of the input. In metric spaces, this is equivalent to the usual epsilon-delta condition.
-Continuity depends on both topologies as well as on the function rule. Finite spaces provide examples that can be checked by listing every relevant inverse image. For real functions, continuity does not imply differentiability or uniform continuity. Nor does it require the image of an open set to be open. A continuous bijection may fail to be a homeomorphism because its inverse need not be continuous.
+连续映射也把紧致空间送到紧致的像。给像一个开覆盖，拉回成为输入空间的开覆盖；在输入空间选出有限子覆盖，对应的有限个输出开集也覆盖整个像。于是紧致空间上的连续实函数会达到最大值和最小值。函数 <math>1/x</math> 在 <math>(0,1)</math> 连续却没有最大值，因为这个定义域不紧致。
-Inverse images explain why compositions of continuous maps remain continuous and why continuous images preserve connectedness and compactness. These structural results account for the intermediate value phenomenon and the attainment of extrema on compact domains. Sequences provide an equivalent test in metric spaces, but not in every topological space. General statements must therefore name the setting in which a familiar criterion is being used. The concept developed through the rigorous study of limits and the later abstraction of neighborhood structures.
+对于序列，连续性保证 <math>x_n\to a</math> 时 <math>f(x_n)\to f(a)</math>。在度量空间中反向也成立：如果在 <math>a</math> 不连续，就有固定的输出误差要求，使每个半径 <math>1/n</math> 的输入球都含失败点，选出这些点就得到一个趋向 <math>a</math>、输出却不趋向 <math>f(a)</math> 的序列。一般拓扑空间未必能用序列描述全部邻域，所以那时仍以开集定义为准。
-</div>
-== 编者评注（AI 辅助） ==
+== 历史 ==
-<div class="math-editorial-note">
+十九世纪的分析把曲线“没有跳跃”的直觉逐步写成局部极限条件。玻尔查诺 1817 年关于连续函数与中间值的研究是重要一环。[https://mathshistory.st-andrews.ac.uk/Biographies/Bolzano/ MacTutor：Bolzano] 后来的一般拓扑用邻域与开集表达连续性，使同一个定义也能用于曲面和有限空间。
-本站把“从输出限制寻找输入邻域”作为贯穿本条目的直觉，而把逆像放在正式论证中心。平方函数与有限空间各展示一种检查方法，连续双射的反例则防止把局部保持误读成完全等价。连通像和紧致像说明这个定义为何值得采用，而不是只证明它与旧定义相同。这样的编排有意区分连续、光滑、一致连续和同胚，使概念之间形成可辨认的边界。
-</div>
 == 参考资料与知识联系 ==
-* Romyar Sharifi，[https://www.math.ucla.edu/~sharifi/notes/topology-ch02.html Point-Set Topology，第 2 章 Continuous functions]，UCLA：核对连续、同胚与商映射的定义。
+* Romyar Sharifi，[https://www.math.ucla.edu/~sharifi/notes/topology-ch02.html Point-Set Topology，第 2 章 Continuous functions]，UCLA：讨论连续、同胚与商映射的定义。
 * University of Toronto，[https://www.math.utoronto.ca/courses/mat237y1/20189/notes/Chapter1/S1.2.html MAT237，Limits and continuity]：度量情形与开集表述。
 * MacTutor，University of St Andrews，[https://mathshistory.st-andrews.ac.uk/Biographies/Bolzano/ Bernard Bolzano]：1817 年工作的历史背景。
 * 前置：[[函数]]、[[极限]]、[[拓扑空间]]；相关：[[导数]]、[[环面]]、[[二分法]]。
 [[分类:拓扑]]