首页/概念/连续映射

Concept·General Topology

连续映射

Continuous Map

一般拓扑已审核1 条定义6 条关系更新于 2026-11-04

别名连续函数continuous function连续

连续映射是保持拓扑结构的映射：每个开集的原像仍是开集。等价地，每一点的每个邻域都包含该点某个邻域的原像。

定义

Definitions

1 条

同一概念可以拥有多条定义：它们可能刻画同一对象的不同侧面（例如标准定义与范畴论刻画）。每条定义都有独立页面与来源。

连续映射的开集原像定义

Definition of Continuity via Preimages of Open Sets

已审核

设 $(X, τ_{X})$ 、 $(Y, τ_{Y})$ 为拓扑空间， $f : X \to Y$ 为映射。若对每个开集 $V \in τ_{Y}$ ，其原像 $f^{- 1} (V)$ 都是 $X$ 中的开集，则称 $f$ 连续。

f 连续 ⟺ \forall V \in τ_{Y}, f^{- 1} (V) \in τ_{X}

成立条件

$X$ 、 $Y$ 为拓扑空间
$f$ 为集合映射（不预设连续性）

适用对象

拓扑空间之间的映射度量空间之间的映射（作为特例）

定义解释

这个定义把「 $f$ 把靠近的点送到靠近的点」改写为「 $f$ 把开集拉回成开集」。在度量空间中它与 $ε$ - $δ$ 定义等价：取 $V$ 为 $f (x_{0})$ 的 $ε$ -球， $f^{- 1} (V)$ 包含 $x_{0}$ 的某个 $δ$ -球，正是 $ε$ - $δ$ 的表述。注意原像方向是「反向」的：连续性由 $Y$ 的开集控制 $X$ 的开集。

参考来源：2 条（见定义页）

前置概念

Prerequisites

1 条

严格数学前置指「定义中直接使用了对方」；学习前置是教学顺序建议，二者可能不同。所有前置概念都可以点击跳转，并可逐层递归展开。

A严格数学前置

拓扑空间Topological Space

B学习前置

暂无额外学习前置；上列的数学前置同时也是学习起点。

多层前置（最多展开三层，点击三角展开）

拓扑空间Topological Space数学前置

思想动机

Motivation

01原本存在的问题

分析学中的连续性由 ε-δ 定义，它依赖距离。拓扑空间没有距离，因此需要一个新的、只涉及开集的定义。

02原有理论的不足

ε-δ 无法直接翻译到一般拓扑空间；而且它把连续性写成逐点的量化命题，不便做整体操作，也不容易看出「连续性只取决于开集结构」。

03为什么需要引入新概念

用开集的原像定义连续性： $f^{- 1} (U)$ 对每个开集 $U$ 都开。这把「保持邻近」改写为「保持开集结构」。

04新概念解决了什么

连续映射成为拓扑空间范畴 $Top$ 的态射，可以复合，可以谈论同胚与同伦。度量空间中的连续性与 ε-δ 定义在此框架下是一致的。

关系网络

Relations

6 条

关系按类型分开记录：逻辑依赖、学习顺序、推广与特例、应用、思想联系、历史影响。下图以本概念为中心，点击节点可展开邻居，双击节点打开对应概念页。

数学前置依赖
学习前置
推广
特殊情形
等价
构造自
应用于
在……下不变
思想联系
思想启发
历史影响
|
同伦论
代数拓扑
一般拓扑
群论
范畴论与同调代数
数学基础
几何群论

在全局关系图中查看 →

逻辑与结构关系Logical / structural

由数学定义本身决定的关系：谁依赖谁、谁推广谁、谁与谁等价。这类关系与学习者无关。

数学前置依赖requires

拓扑空间Topological Space数学前置依赖已审核

连续性的开集原像定义直接使用了两个拓扑空间的开集族；没有拓扑结构就无法陈述连续。

来源：Munkres 2000

同伦Homotopy被依赖已审核

同伦 $H: X \times [0,1] \to Y$ 本身必须是连续映射，且被同伦的 $f, g$ 也必须是连续映射。

来源：Hatcher 2002

同伦等价Homotopy Equivalence被依赖已审核

同伦等价由连续映射 $f$ 与 $g$ 及其复合定义，连续性是不可省略的前提。

来源：Hatcher 2002

基本群Fundamental Group被依赖已审核

闭路定义为连续映射 $[0,1] \to X$；基本群的对象本身是连续映射的同伦类。

来源：Hatcher 2002

奇异同调Singular Homology被依赖已审核

奇异单形是连续映射 $\Delta^n \to X$；链群以这些连续映射为生成元。

来源：Hatcher 2002

学习顺序Learning order

教学法上的先后顺序。它不总是逻辑依赖：某些概念可以先学后补证明。

学习前置learning_prerequisite

同伦Homotopy学习后继已审核

学习顺序上应先掌握连续映射与乘积拓扑，再进入同伦；这是教学建议，与逻辑依赖一致但不必重复。

来源：Munkres 2000

历史脉络

History

0 条

历史事件待补充本概念尚未录入可追溯来源的历史事件；不编造年代与人物。

延伸探索

Extensions

从这里出发可以继续探索的方向，按「直接推广 / 理论应用 / 思想联系 / 现代发展」区分。

直接数学推广

把当前定义的条件放宽、对象替换或维度提升后得到的理论。

同伦

同伦是连续映射之间的一族连续形变：它以连续映射为对象，是连续性概念的「二阶」使用。

Hatcher 2002

思想联系

问题意识或方法论上的呼应，不一定是形式化依赖。

同伦等价

同伦等价由连续映射及其复合的同伦关系定义；连续映射是同伦等价的语言基础。

Dieck 2008

思想主线

Main Idea

连续映射让拓扑空间成为范畴：对象是空间，态射是保持开集结构的映射。代数拓扑的一切构造—— 同伦、基本群、同调——都是在这个范畴里进行的函子性操作。因此「连续」不只是一种性质，它是拓扑学的语法本身。

补充笔记

Notes

等价刻画

以下条件两两等价：

每个开集的原像是开集。
每个闭集的原像是闭集。
对每点 $x$ 与 $f (x)$ 的每个邻域 $V$ ，存在 $x$ 的邻域 $U$ 使 $f (U) \subseteq V$ 。
对每个子集 $A$ 有 $f (A) \subseteq f (A)$ （闭包刻画）。

连续不等于同胚

连续双射未必是同胚：从 $[0, 2 π)$ 到单位圆的映射 $t \mapsto (cos t, sin t)$ 是连续双射，但逆映射不连续。同胚要求 $f$ 与 $f^{- 1}$ 都连续，这正是同伦等价要放宽的那个条件。

参考来源

References

3 条

[1]
James R. Munkres (2000). Topology. Prentice Hall (2nd edition).
专著 · Ch. 2 (拓扑空间与连续映射)
已审核
[2]
Allen Hatcher (2002). Algebraic Topology. Cambridge University Press.
专著 · §1.1, §4.1 (Whitehead 定理见 Theorem 4.5)
https://pi.math.cornell.edu/~hatcher/AT/AT.pdf已审核
[3]
Tammo tom Dieck (2008). Algebraic Topology. European Mathematical Society.
专著 · Part II (Homotopy)
已审核