1 基本概念
连续映射是描述函数“无突变”变化的基本对象。它刻画了自变量微小变化时，函数值随之平稳变化的性质，是分析学、拓扑学及其相关分支中的核心概念之一。
1.1 连续映射的定义
连续性的定义会随研究对象所在空间而略有不同，但其核心思想一致：函数不应在局部出现突然跳变。
1.1.1 度量空间中的 ε-δ 定义
在度量空间中，函数 \(f:X\to Y\) 在点 \(x_0\) 处连续，通常指对任意 \(\varepsilon>0\)，都存在 \(\delta>0\)，使得当 \(d_X(x,x_0)<\delta\) 时，有 \(d_Y(f(x),f(x_0))<\varepsilon\)。这一定义强调输入与输出之间的距离控制关系，是分析学中最常用的表述之一。
1.1.2 拓扑空间中的开集定义
在一般拓扑空间中，映射 \(f:X\to Y\) 连续，常定义为：对于 \(Y\) 中任意开集 \(U\)，其原像 \(f^{-1}(U)\) 是 \(X\) 中的开集。这个定义不依赖具体距离，而是直接通过开集结构来描述连续性，更适合抽象空间的研究。
1.2 相关术语
连续映射的讨论中，常会涉及“连续点”“连续函数”等术语，它们分别从局部与整体层面描述同一性质。
1.2.1 连续点与连续函数
若函数在某一点满足连续条件，则称该点为连续点。若函数在其定义域内每一点都连续，则称其为连续函数，或者连续映射。前者强调点上的局部性质，后者则强调整体性质。
1.2.2 局部连续与整体连续
局部连续关注函数在某个特定位置附近是否平稳，整体连续则要求在整个定义域中都不出现断裂。很多函数可以在大部分区域连续，却在少数点上失去连续性，因此二者需要加以区分。
1.3 直观理解
连续映射最直接的理解方式，是把它看作“图像不折断、曲线不离散”的映射。
1.3.1 图像上的“无间断”特征
在平面图像中，连续函数的曲线通常可以用一笔画出而无需抬笔。虽然这种直观说法并不构成严格定义，但很适合帮助理解连续性的基本感觉。
1.3.2 小扰动对应小变化
连续映射的核心直觉是：输入若只发生很小的扰动，输出也只会产生很小的变化。这种“稳定响应”思想使连续性成为研究极限、逼近和空间结构的重要工具。
2 连续性的等价表述
连续性除了定义本身，还可以通过序列、邻域以及开闭集等方式表达。这些表述在不同场景下各有优势，并且彼此之间通常等价。
2.1 序列定义
用序列来刻画连续性，是分析中十分常见的方法，尤其适用于可数结构较明显的空间。
2.1.1 收敛序列下的连续性判定
若 \(x_n\to x\)，并且 \(f(x_n)\to f(x)\)，则可用该性质判定函数在点 \(x\) 处连续。在度量空间中，这种序列表述与 ε-δ 定义等价，因此经常被用作实际验证工具。
2.1.2 序列连续性与点连续性的关系
点连续性是连续性的局部版本，而序列连续性则通过所有收敛序列的像序列来检验。对于许多常见空间，两者完全一致；但在更一般的拓扑环境中，二者的关系会更复杂，需要结合空间性质具体分析。
2.2 邻域定义
邻域语言提供了介于距离与开集之间的另一种描述方式，适合从局部结构角度理解连续性。
2.2.1 邻域映射性质
若函数在某点连续，那么该点的任意目标邻域都能通过某个源邻域映射过去。换言之，函数在局部不会把点附近“撕裂”成离散片段，而是保持邻近关系的基本稳定。
2.2.2 邻域与开集的联系
邻域定义与开集定义密切相关：开集可视为点的局部邻域集合的整体表达。许多连续性的证明，往往会在邻域与开集之间来回切换，以便获得更简洁的论证。
2.3 开集与闭集表述
在拓扑空间中，连续性也可通过开集或闭集在原像下的性质来表述，这一视角尤为简洁。
2.3.1 开集原像为开集
映射连续的一个标准判据是：目标空间中的开集在原映射下仍对应为源空间中的开集。由于开集反映了局部可变性，这一定义很好地体现了连续映射对局部结构的保持。
2.3.2 闭集原像为闭集
与开集表述等价的说法是：目标空间中的闭集原像为闭集。该表述常用于证明某些集合的连续像性质，特别适合处理与极限点、闭包相关的问题。
3 连续映射的性质
连续映射不仅是可定义的对象，也具有一系列稳定而有用的性质，使其成为许多理论的基础。
3.1 复合映射的连续性
连续性在函数复合下具有良好的封闭性，这是其结构稳定的重要体现。
3.1.1 连续映射的复合仍连续
若 \(f\) 与 \(g\) 都连续，则复合映射 \(g\circ f\) 也连续。这一结论非常重要，因为复杂映射常可分解为若干简单连续映射的组合，从而便于研究和计算。
3.1.2 恒等映射与常值映射
恒等映射显然连续，它在任何空间中都保留原点位置信息。常值映射同样连续，因为其输出不随输入变化而改变，因而不会出现任何跳跃。这两类映射常作为构造与证明中的基本例子。
3.2 连续映射与极限
连续性与极限之间关系紧密，很多极限定理都可借助连续映射来表述。
3.2.1 极限运算下的保持性质
若 \(x\to x_0\)，且 \(f\) 在 \(x_0\) 处连续，则 \(f(x)\to f(x_0)\)。这说明连续映射能够把输入端的极限结构“带”到输出端，是极限传递的关键条件。
3.2.2 逐点极限与一致极限的区别
函数列的逐点极限不一定保持连续性，而一致极限在适当条件下能够保留连续性。二者差别体现在收敛强度上：前者只要求每个点单独收敛，后者则要求整体上同步逼近。
3.3 连续映射与紧致性
紧致性是拓扑学中的重要性质，而连续映射对紧致结构具有良好的保持能力。
3.3.1 紧致集的像仍紧致
连续映射会把紧致集映成紧致集。这一结论在很多存在性证明中非常有用，因为它可将源空间中的有限性特征传递到像空间中。
3.3.2 连续映射下的极值性质
在紧致集上，连续函数往往能取到最大值和最小值。这种极值存在性是许多优化问题与理论分析的基础，也反映了紧致性与连续性的协同作用。
4 特殊类型的连续映射
在普通连续的基础上，人们还提出了多种更强或更细致的连续性概念，用以适应不同研究需求。
4.1 一致连续
一致连续比普通连续要求更强，它强调控制方式与位置无关。
4.1.1 一致连续与普通连续的区别
普通连续允许 \(\delta\) 随点变化，而一致连续要求同一个 \(\delta\) 对整个定义域中的所有点都有效。也就是说，它不仅局部稳定，而且稳定尺度统一。
4.1.2 柯西连续性
柯西连续性是从柯西列角度描述的一种连续性概念，常与一致连续联系在一起。在适当条件下，它可用于分析映射是否会保持序列的“可收敛倾向”。
4.2 双连续与同胚
当映射及其逆映射都连续时，便形成了更强的结构对应关系。
4.2.1 双向连续映射
若一个映射可逆，且正向与逆向都连续，则称其为双连续映射。这说明两个空间之间不仅能建立一一对应，还能保持连续结构的来回传递。
4.2.2 拓扑等价与同胚
同胚是拓扑学中判断两个空间“本质相同”的标准概念。若两个空间之间存在同胚，则它们在拓扑意义下可视为等价，许多性质会在二者之间对应转移。
4.3 Lipschitz 连续
Lipschitz 连续是一种定量更强的连续性，对变化率有统一界限。
4.3.1 Lipschitz 条件
若存在常数 \(L\)，使得任意两点 \(x,y\) 满足 \(d(f(x),f(y))\le L\,d(x,y)\)，则称 \(f\) 满足 Lipschitz 条件。它表明函数值的变化不会超过输入变化的固定倍数。
4.3.2 Hölder 连续的推广
Hölder 连续可看作 Lipschitz 连续的推广，其控制形式通常更柔和，允许以距离的幂次来约束变化幅度。它在许多非光滑分析问题中很常见。
5 连续映射的经典定理
连续性之所以重要，很大程度上在于它支撑了一系列基础定理，这些定理广泛出现在数学分析中。
5.1 介值定理
介值定理反映了连续函数不会“跳过”中间值。
5.1.1 连续函数的介值性质
若连续函数在区间两端取到不同值，则它在区间内必取介于二者之间的每个值。这一性质常被形象地理解为“连续曲线不会悬空越过某个高度”。
5.1.2 中值定理的应用背景
介值定理常用于证明方程有解、分析零点存在性，或研究函数在区间中的值域结构。它是许多存在性结论的重要基础。
5.2 逐点连续与一致连续定理
这类定理说明，在某些良好空间中，连续性可以自动提升为更强的一致连续性。
5.2.1 Heine-Cantor 定理
Heine-Cantor 定理指出，定义在紧致集上的连续函数必一致连续。它揭示了紧致性能够统一控制连续性的局部尺度。
5.2.2 紧致集上的一致连续性
在紧致集上，由于空间没有“无限延展”的问题，连续函数不容易出现局部控制失效的现象，因此更容易获得全局一致的稳定性估计。
5.3 最大最小值定理
最大最小值定理保证连续函数在紧致集上会取得最值，而不是仅仅逼近最值。
5.3.1 连续函数在紧集上取到极值
若函数连续且定义在紧致集上，则它不仅有上界和下界，还会在某些点真正达到这些边界值。这一点与仅有有界性相比更强，也更具应用价值。
5.3.2 应用实例
该定理常用于最优化、边界问题以及存在性证明中。例如，在某些物理模型或几何问题里，它可用来说明最优状态确实存在，而非只作为极限概念出现。
6 连续映射的构造与例子
连续映射既可以通过基本函数直接获得，也可以通过分段拼接构造；同时，非连续例子也能帮助理解连续性的边界。
6.1 基本初等函数
许多常见初等函数在其自然定义域上都是连续的。
6.1.1 多项式函数
多项式函数在实数范围内处处连续，并且在各点都具有良好的局部稳定性。它们通常作为连续性理论中的最基础模型。
6.1.2 指数函数与对数函数
指数函数在其定义域内连续，对数函数在正实数范围内连续。二者在增长性质和逆函数关系上都很重要，是分析与应用中常见的连续函数。
6.1.3 三角函数
正弦、余弦等三角函数在全实数范围内连续，且具有周期性。这类函数常用于振动、波动和周期现象的描述。
6.2 分段定义函数
分段函数的连续性取决于各段连接处是否匹配。
6.2.1 分段连续函数
分段连续函数在每一段内部连续，但在少数连接点处可能出现不连续。若这些连接点也满足连续条件，则整体函数便成为连续映射。
6.2.2 断点与拼接条件
判断分段函数是否连续，关键在于检查分界点左右极限与函数值是否一致。只要拼接处保持数值衔接，就能避免断裂现象。
6.3 反例与非连续映射
非连续例子有助于说明连续性的必要条件。
6.3.1 跳跃不连续
跳跃不连续指函数在某点左右极限都存在，但彼此不相等，因而在该点出现突变。这是最典型的非连续现象之一。
6.3.2 振荡不连续
振荡不连续则表现为函数在某点附近剧烈摆动，难以收敛到单一值。此类例子常用于展示“没有极限”并不等同于“只是不平滑”。
7 连续映射在不同空间中的表现
连续性的具体形式会随着空间类型变化而变化，但其基本思想保持一致。
7.1 实数空间中的连续映射
实数上的连续性是整个理论的起点，也是最直观的情形。
7.1.1 区间上的连续函数
定义在区间上的连续函数具有丰富的性质，例如介值性、极值性以及良好的局部逼近行为。区间的线性结构使得这些结论尤其清晰。
7.1.2 多元实函数的连续性
多元函数的连续性需要同时控制多个变量的变化。由于自变量维度增加，邻域和极限的表达方式也更为复杂，但基本思想仍是输入小变化导致输出小变化。
7.2 度量空间中的连续映射
在度量空间中，连续性通过距离来描述，形式上更统一。
7.2.1 距离保持与距离控制
连续映射不一定保持距离，但通常要求输出距离能被输入距离适当控制。若距离被更强地保持，则会出现等距映射等更特殊的结构。
7.2.2 开球与邻域语言
度量空间中的开球是最常用的局部工具。用开球描述连续性时，可以把“足够接近”的概念具体化，从而便于证明和计算。
7.3 拓扑空间中的连续映射
在拓扑空间中，连续性摆脱了距离概念，更强调结构关系。
7.3.1 一般拓扑定义
一般拓扑下的连续映射以开集原像为核心，是最抽象也最普适的定义。它适用于许多不具备自然距离的空间。
7.3.2 拓扑不变量与连续映射
连续映射常用于研究拓扑不变量，因为它能在不破坏结构的前提下传递某些性质。若映射还是同胚，则更多拓扑性质会得到完整保留。
8 应用
连续映射在数学内部和相关学科中都有广泛用途，是连接抽象理论与实际问题的重要桥梁。
8.1 数学分析中的应用
连续性几乎贯穿整个分析学，是极限、微积分和函数理论的基础语言。
8.1.1 极限与逼近
连续映射使得函数值可以通过附近点的取值来逼近，这为数值近似、函数估计和局部分析提供了基础。
8.1.2 微分与积分理论
微分研究局部变化率，积分则关注整体累积效应，而连续性常是两者成立和推广的重要前提。很多经典定理都依赖函数的连续结构。
8.2 几何与拓扑中的应用
在几何与拓扑中，连续映射用于描述空间之间的形状关联。
8.2.1 空间形状的保持
连续映射不会产生“断开式”的破坏，因此可用来比较两个空间在形状上的相似程度。若进一步要求双向连续，则更能体现空间的整体对应关系。
8.2.2 连通性与紧致性的传递
连续映射能够把连通集映成连通集，也能保持紧致性的传递。这使它成为研究空间结构时非常自然的工具。
8.3 其他学科中的应用
连续性的思想也广泛出现在数学以外的领域。
8.3.1 动力系统
在动力系统中，连续映射常用来描述状态随时间演化的规律。它有助于研究轨道、稳定性以及长期行为模式。
8.3.2 优化问题与数值分析
优化理论中，连续函数常保证最优解的存在；数值分析中，连续性则有助于误差控制和算法收敛性判断。许多计算方法都建立在对连续结构的近似上。