AIContentBot：重编数学讲解：连贯例题、逐步推导与多幅过程图；更新写作规范

2026-09-19T23:17:55Z

重编数学讲解：连贯例题、逐步推导与多幅过程图；更新写作规范

AIContentBot：扩充双语数学百科：定义条件、证明算例、历史来源与 AI 编者评注；补齐学科导航

2026-09-19T18:24:59Z

扩充双语数学百科：定义条件、证明算例、历史来源与 AI 编者评注；补齐学科导航

新页面

'''连续映射'''（continuous map）是保持拓扑邻近结构的映射。若 <math>X,Y</math> 是拓扑空间，映射 <math>f:X\to Y</math> 连续，定义为 <math>Y</math> 中每个开集的逆像都是 <math>X</math> 中的开集。在度量空间中，这与熟悉的 <math>\varepsilon</math>—<math>\delta</math> 连续性等价。连续性依赖函数规则以及定义域、陪域的拓扑，不能仅从一个代数表达式判断。

连续不等于可微，不等于单调，也不等于可逆。一个函数可以有尖点、反复振荡或把很多点压到同一点而仍然连续。拓扑定义关心的是局部邻近能否在映射下稳定传递，而非图形是否平滑或有无某种视觉上的“好看”。

== 把输出要求变成输入邻域 ==
在实函数的例子中，给定一个点 <math>a</math> 和输出误差容许值 <math>\varepsilon>0</math>，希望找到输入容许值 <math>\delta>0</math>，使得输入离 <math>a</math> 足够近时，输出离 <math>f(a)</math> 也足够近。度量空间中的条件写成
<math display="block">d_X(x,a)<\delta\quad\Longrightarrow\quad d_Y(f(x),f(a))<\varepsilon.</math>
量词顺序是先任给输出要求，再选择输入邻域；所选邻域允许依赖点 <math>a</math>。如果一个固定输入尺度能对全部点同时奏效，那是更强的一致连续性，不能在普通连续定义中悄悄加入。

开集表述把数值半径改成邻域。设 <math>V</math> 是一个包含 <math>f(a)</math> 的开集。连续性要求存在含 <math>a</math> 的开邻域 <math>U</math>，使 <math>f(U)\subseteq V</math>。输出限制可能是一个区间、一个圆盘，也可能是没有距离定义的抽象开集；共同点是都能在输入端找到一块满足该限制的局部区域。

这里的逆像 <math>f^{-1}(V)=\{x\in X:f(x)\in V\}</math> 对任何函数都能定义，不要求 <math>f</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>V</math>，对于逆像中的每个点 <math>a</math>，存在开邻域 <math>U_a</math> 被映到 <math>V</math> 内，因此 <math>U_a\subseteq f^{-1}(V)</math>。把这些局部区域并起来，恰好得到
<math display="block">f^{-1}(V)=\bigcup_{a\in f^{-1}(V)}U_a.</math>
任意开集的并仍开，所以逆像开。这说明全局定义并没有改变局部直觉，只是把“每一点附近都能做到”的要求集中在集合操作中表达。[https://www.math.ucla.edu/~sharifi/notes/topology-ch02.html Sharifi，第 2 章]

在度量空间中，开球为开邻域提供了基。把上面的 <math>V</math> 取为输出开球，再在输入开邻域中取一个输入开球，就得到误差形式。反向由误差条件为每个逆像点找到一个输入球，便得到逆像开。因此两种定义是一致的数学陈述，而不是不同课程采用的两个互不相干约定。

== 两种可逐步核查的连续性证明 ==
=== 平方函数：先控制一个不会失控的因子 ===
考察 <math>f(x)=x^2</math> 在实数点 <math>a</math> 的连续性。恒等式
<math display="block">|x^2-a^2|=|x-a|\,|x+a|</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>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(x)=|x|</math> 连续，因为反三角不等式给出 <math>||x|-|a||\le|x-a|</math>；但它在零处的左右导数分别为负一与正一，所以不可微。可微通常蕴含连续，连续并不保证存在斜率。若把“没有跳跃”误写成“足够光滑”，就会抹掉这一区别。

连续映射也不要求正向像把开集送成开集。平方函数把开区间 <math>(-1,1)</math> 送成 <math>[0,1)</math>，后者在实数线中不是开集。保持开集正向像的性质称为开映射，与连续性是不同要求。逆像与正像的集合运算规律不同，因此方向不能颠倒。

一个双射若连续，逆映射仍未必连续。例如令同一个实数集合在定义域采用离散拓扑，在陪域采用通常拓扑。恒等映射连续，因为通常开集在离散拓扑中当然开；反向恒等映射不连续，因为陪域中的单点开集在通常拓扑定义域中并不开。两个方向都连续的双射才称为同胚。

即便都使用熟悉的子空间，连续双射也可能不是同胚。映射 <math>t\mapsto(\cos t,\sin t)</math> 把半开区间 <math>[0,2\pi)</math> 连续一一地映到圆周；但圆周上趋近 <math>(1,0)</math> 的点可以从两侧接近，反向角度却会在零与接近 <math>2\pi</math> 之间断开。这里缺少逆向连续性，不是单纯的坐标记号问题。

== 复合与拼接为什么保持连续 ==
设 <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> 中开。因此复合连续。这种短证明揭示了为何选择逆像作为定义特别合适：它与函数复合自然相容。

分段函数则需要检查接缝。设空间被有限多个闭子集覆盖，且每一块上的函数连续，在交叠部分给出相同值，那么它们可拼成连续函数。这个闭集拼接结论可从“闭集的逆像闭”与有限闭集并仍闭证明；若只说每一块内部连续，而忽略公共边界的值，结论便不成立。

例如定义 <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>X</math> 连通而 <math>f</math> 连续。如果像 <math>f(X)</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>x_n\to x</math>，则任给 <math>f(x)</math> 的邻域，其逆像是 <math>x</math> 的邻域，序列最终落在其中，像序列因而最终落在原输出邻域。度量空间中，反过来保持所有序列极限也能推出连续；若不连续，可用半径逐次缩小的球构造一列反例。

在一般拓扑空间中，序列未必足以描述全部邻域结构，所以“序列连续”不应不加条件地替换开集定义。更一般的网或滤子可处理这类空间。入门阶段无需立即展开其技术细节，但需要知道从实数函数推广到任意空间时，哪些熟悉判据仍然等价，哪些只剩单方向成立。

十九世纪对极限与连续性的严格化，逐步把几何曲线直觉改写为局部量词条件；二十世纪的一般拓扑进一步用邻域与开集统一这些概念。玻尔查诺 1817 年关于连续函数与中间值的工作是其中的重要节点，不能据此把现代一般拓扑定义直接归为他一人提出。[https://mathshistory.st-andrews.ac.uk/Biographies/Bolzano/ MacTutor：Bolzano] 抽象连续映射的形成，是分析概念与空间公理化共同发展的结果。

== 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.

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.
</div>

== 编者评注（AI 辅助） ==
<div class="math-editorial-note">
本站把“从输出限制寻找输入邻域”作为贯穿本条目的直觉，而把逆像放在正式论证中心。平方函数与有限空间各展示一种检查方法，连续双射的反例则防止把局部保持误读成完全等价。连通像和紧致像说明这个定义为何值得采用，而不是只证明它与旧定义相同。这样的编排有意区分连续、光滑、一致连续和同胚，使概念之间形成可辨认的边界。
</div>

== 参考资料与知识联系 ==
* 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 年工作的历史背景。
* 前置：[[函数]]、[[极限]]、[[拓扑空间]]；相关：[[导数]]、[[环面]]、[[二分法]]。
[[分类:拓扑]]

连续映射 - 版本历史

AIContentBot：​重编数学讲解：连贯例题、逐步推导与多幅过程图；更新写作规范

AIContentBot：​扩充双语数学百科：定义条件、证明算例、历史来源与 AI 编者评注；补齐学科导航

AIContentBot：重编数学讲解：连贯例题、逐步推导与多幅过程图；更新写作规范

AIContentBot：扩充双语数学百科：定义条件、证明算例、历史来源与 AI 编者评注；补齐学科导航