拓扑空间：修订间差异

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

拓扑空间（topological space）是一个集合连同一套开集。开集规定怎样观察一个点附近的区域，由此可以讨论连续、收敛和空间是否连成一块，而不必先给每对点指定距离。

怎样判断一个点在集合内部

在实数线上取区间 $A = (0, 1)$ 。站在其中的点 $x = 0.4$ ，可以向左右各留出一小段，例如 $(0.3, 0.5)$ ，这整段仍留在 $A$ 内。对 $A$ 的每个点都能这样做；越靠近端点，所取小段越窄即可。这样的集合称为开集。

将左端点加入，得到 $B = [0, 1)$ ，情况改变了。零虽然属于 $B$ ，但任何围住零的小开区间都会包含负数，因此不能完整地留在 $B$ 内。 $B$ 在通常实数线上不是开集。

上下两条实数轴比较开区间与半开区间。上图零和一均为空心端点，零点四附近的零点三到零点五完全留在区间内；下图零为实心端点，但围绕零的邻域伸到负数一侧。 — 内点可以找到留在集合内的小邻域；把端点包含进来，并不会让它自动成为内点。空心圆表示端点不属于所画区间，实心圆表示属于。

图中上半部的虚线把小区间 $(0.3, 0.5)$ 对齐到原数轴，两端都落在零与一之间。下半部画的是 $r = 0.1$ 时的邻域 $(- 0.1, 0.1)$ ，红色部分已经越出 $B$ 。这里只画一个半径还不足以证明所有半径都失败；一般地，无论给出哪个 $r > 0$ ，负数 $- r / 2$ 都属于 $(- r, r)$ ，却不属于 $[0, 1)$ 。所以缩小半径始终不能解决零点左侧的问题。

开集也可以分成几块。例如 $(0, 1) \cup (2, 3)$ 的每个点，都能在自己所在的区间内找到小邻域，所以它仍开。“每一点附近有活动余地”是局部条件，并不要求整块集合连在一起。

若把尺子的单位缩小一百倍，同一段距离的数字变大，但上面哪些集合开，并不改变。拓扑保留这种邻近关系，把具体的距离数值放在一边。

把开区间的规律提取出来

实数线上的开集有三条基本规律。

空集与整个实数线都开。空集里没有需要检查的点，整个实数线则给任何点都留有邻域。
任意多个开集的并仍开。并集中的点至少落在其中一个开集里，直接使用那个开集提供的小区间即可。
有限多个开集的交仍开。若点同时属于两个开集，它们分别给出半径 $r, s > 0$ 的小区间。取较小半径 $min (r, s)$ ，小区间便同时落在两者内部。有限多个集合时也可以取有限个正半径的最小值。

第三条不能一般地改成无限交。例如每个 $U_{n} = (- 1 / n, 1 / n)$ 都开，但 $⋂_{n = 1}^{\infty} U_{n} = {0} .$ 零留在每个区间内，任何非零点却总会被足够窄的区间排除。最终只剩一个点，没有正半径的小区间可以放进去。

现在可以给出一般定义。对集合 $X$ ，指定一族子集 $𝒯$ ，使它包含 $\emptyset, X$ ，对任意并封闭、对有限交封闭，就称 $𝒯$ 是 $X$ 上的拓扑；其中的成员叫开集， $(X, 𝒯)$ 叫拓扑空间。实数上的小区间只是这种结构的一种来源。Sharifi：Topological spaces

只有三个点，怎样规定邻近

取 $X = {a, b, c}$ ，把开集规定为 $𝒯 = {\emptyset, {a}, {a, b}, X} .$ 先检查这确实满足定义。四个集合按包含关系排成一条链。任取一些作并，结果是其中最大的一个；取有限多个作交，结果是其中最小的一个，仍在列表里。空并是空集，空交是全集，也都已列出。

在这个空间里，观察 $a$ 时可以只看 ${a}$ ；观察 $b$ 时，最小的开区域是 ${a, b}$ ；观察 $c$ 时，唯一的开区域是整个 $X$ 。拓扑就是这份“允许怎样观察附近”的资料，不需要再虚构三点之间的长度。

如果把列表改成 ${\emptyset, {a}, {b}, X}$ ，它就不是拓扑： ${a}$ 与 ${b}$ 的并 ${a, b}$ 被漏掉了。要保留这两个开集，至少还要把它们的并加进来。

还可以把 $X$ 的每个子集都规定为开集，得到离散拓扑；或只规定空集和全集开，得到平凡拓扑。三种拓扑用的是同样三个点，邻近结构却不同。因此讨论连续性时，点的名单之外还要说明拓扑。

闭集、内部与闭包

开集的补集称为闭集。在三个点的例子中，逐一取补集，得到闭集列表 $X, {b, c}, {c}, \emptyset .$ 例如 ${a}$ 开而不闭， ${c}$ 闭而不开；空集和全集则既开又闭。“开”与“闭”不是互相排斥的两类。

集合 $A$ 的内部由那些能在 $A$ 中找到完整开邻域的点组成；记作 $int A$ ，也就是所有包含于 $A$ 的开集之并。闭包 $\overline{A}$ 则把所有无法用开邻域与 $A$ 分开的点也包括进来：点的每个开邻域都碰到 $A$ ，它便在闭包里。

回到实数集合 $[0, 1)$ 。内部是 $(0, 1)$ ；闭包是 $[0, 1]$ ，因为一点点跨过一的邻域总能碰到原集合。边界是闭包去掉内部，得到 ${0, 1}$ 。零在集合里，一不在集合里，但两者都是边界点。

再对三点空间中的 $A = {b}$ 做同一检查：

没有非空开集包含在 ${b}$ 中，所以内部为空。
$a$ 的开邻域 ${a}$ 完全避开 $A$ ，所以 $a$ 不在闭包。
$b$ 的任何邻域包含它自身，当然碰到 $A$ 。
$c$ 的唯一开邻域是 $X$ ，它也碰到 $A$ 。

所以 $\overline{A} = {b, c}$ ，边界也是 ${b, c}$ 。这个有限计算展示了闭包怎样由开集确定。

从距离得到开集

若空间有距离 $d$ ，以 $x$ 为中心、半径 $r > 0$ 的开球是 $B (x, r) = {y : d (x, y) < r} .$ 规定一个集合开，当且仅当其中每个点都有完全包含在该集合内的开球，就得到度量产生的拓扑。前面的实数小区间就是一维开球。

两个不同点若相距 $D > 0$ ，分别以小于 $D / 3$ 的半径作开球，两球不会相交。否则在共同点绕行，三角不等式会给出两点距离小于 $2 D / 3$ ，与距离为 $D$ 矛盾。因此度量总能把不同点放在不相交的开邻域中。

三点拓扑没有这个性质：任何含 $c$ 的开邻域都是全集，必然碰到 $b$ 的邻域。所以它不可能来自某个距离。这说明用开集定义空间确实比用距离定义空间更一般。具有上述可分离性质的空间称为豪斯多夫空间，通常欧氏空间、圆周与环面都满足它。

换一个观察范围：子空间

只研究 $X$ 的一部分 $A$ 时，可用原开集与 $A$ 的交作为新的开集： $𝒯_{A} = {U \cap A : U \in 𝒯} .$ 这称为子空间拓扑。它允许邻域越过 $A$ 的边界后再截回 $A$ 内。

例如取 $A = [0, 1]$ 。集合 $[0, 1 / 2)$ 等于 $(- 1, 1 / 2) \cap A$ ，所以在 $A$ 中开。它在整条实数线上不开，因为零的左侧仍有实数点；在子空间中，左侧那些点已不属于所研究的空间。判断开闭时说清环境，便能解释这两个不同答案。

三条数轴按同一刻度对齐。第一行是实数线上的开区间负一到二分之一，两个端点空心；第二行是子空间零到一，两个端点实心；第三行是两者的交，零实心、二分之一空心，表示零到二分之一的半开区间。 — 取交集得到 $C = U \cap A = [0, 1 / 2)$ 。同一个 $C$ 在子空间 $A$ 中开，在 $ℝ$ 中不开。

沿图中的竖虚线看：零同时属于 $U = (- 1, 1 / 2)$ 与 $A$ ，所以交集中保留实心端点零； $1 / 2$ 不属于 $U$ ，所以交集在这里仍为空心端点。负数虽然在第一行出现，却被第二行的 $A$ 截掉了。若具体检查零点，可以取实数线中的邻域 $(- 1 / 4, 1 / 4)$ ，截回子空间后得到 $[0, 1 / 4)$ ，它完全包含于 $C$ 。这时邻域只需要在所研究的空间 $A$ 内提供活动余地，不必把空间外的负数也包含进来。

另一种构造是把点识别起来。把闭区间两端当成同一点，可以得到圆；把正方形的两对相对边按对应方向识别，可以得到环面。设 $q$ 把原来的点送到识别后的点，规定新空间中的集合开，当且仅当它的逆像在原空间开。这叫商拓扑，它让接缝两侧的邻域真正接到一起。

用小块描述整个拓扑

实数线上的每个开集都是开区间的并，因此不必逐一列出全部开集：给出开区间这种基本小块就够了。这些小块称为一组拓扑基。它们要覆盖整个空间；两个基本小块交叠时，在每个交点附近还应能放进一个更小的基本小块，完全落在交集中。

平面中的开圆盘和开矩形都能用作基。一个矩形内部的点，可以被足够小的圆盘包住；一个圆盘内部的点，也可被足够小的矩形包住。两种小块相互细化，产生同样的开集。因此小块的外形不同，并不意味着拓扑不同。

用这套结构讨论连续与连接

映射 $f : X \to Y$ 连续，是指 $Y$ 中每个开集的逆像在 $X$ 中开。以三个点的拓扑为定义域，令输出只有零、一，且输出开集为 $\emptyset, {1}, {0, 1}$ 。若只把 $a$ 映成一，逆像 ${a}$ 开，映射连续；若只把 $b$ 映成一，逆像 ${b}$ 不开，映射便不连续。详细的局部解释见连续映射。

开集还可以描述整体性质。若空间不能拆成两个不相交、非空的开部分，就称为连通。若每一个开覆盖都能从中选有限个仍覆盖全空间，就称为紧致。闭区间兼有这两种性质；两个分离闭区间的并紧致却不连通；整条实数线连通却不紧致。这两个概念分别通向连续函数的中间值性质与最大最小值性质。

历史

拓扑学的来源包括几何位置关系、曲面研究和分析中的极限与连续性。十九世纪后期的点集研究，逐渐发展为对度量、邻域及抽象空间的公理化。豪斯多夫 1914 年的《集合论纲要》是其中的重要节点；现代开集语言使这些不同来源的邻近问题能够在统一框架中讨论。MacTutor：A history of Topology

参考资料与知识联系

Romyar Sharifi，Point-Set Topology，第 1 章 Topological spaces，UCLA。可参阅定义及标准术语。
University of Toronto，MAT327: Introduction to Topology，2023 年课程资料，主题包括度量、子空间、乘积与商拓扑。
MacTutor，University of St Andrews，A history of Topology，历史背景。
前置：集合、函数；后续：连续映射、环面；关联：极限、欧氏几何。

@@ 第1行： / 第1行： @@
-'''拓扑空间'''（topological space）是一个集合连同指定在它上面的一族开集。开集满足包含空集与全集、对任意并封闭、对有限交封闭三条公理。它提供了一种不必先定义距离，也能讨论邻近、连续、收敛和整体连接方式的框架。通常记作 <math>(X,\mathcal T)</math>，其中 <math>X</math> 是点集，<math>\mathcal T</math> 是拓扑。
+'''拓扑空间'''（topological space）是一个集合连同一套开集。开集规定怎样观察一个点附近的区域，由此可以讨论连续、收敛和空间是否连成一块，而不必先给每对点指定距离。
-拓扑并不直接给出“两点相距多少米”。它规定的是哪些局部区域可以被当作开邻域，以及这些区域怎样相容地组合。不同距离可能产生同一个拓扑；同一个集合也可以配上不同拓扑。因此仅给出点集，通常不足以确定一个拓扑问题的答案。
+== 怎样判断一个点在集合内部 ==
+在实数线上取区间 <math>A=(0,1)</math>。站在其中的点 <math>x=0.4</math>，可以向左右各留出一小段，例如 <math>(0.3,0.5)</math>，这整段仍留在 <math>A</math> 内。对 <math>A</math> 的每个点都能这样做；越靠近端点，所取小段越窄即可。这样的集合称为开集。
-== 从小区间到开集：保留邻近，舍去数值尺度 ==
+将左端点加入，得到 <math>B=[0,1)</math>，情况改变了。零虽然属于 <math>B</math>，但任何围住零的小开区间都会包含负数，因此不能完整地留在 <math>B</math> 内。<math>B</math> 在通常实数线上不是开集。
-在实数线上，点 <math>x</math> 附近可以取一个小区间 <math>(x-\varepsilon,x+\varepsilon)</math>。若某集合中的每个点都能找到这样一个完全留在集合内的小区间，就称它是开集。例如 <math>(0,1)</math> 是开集，而 <math>[0,1]</math> 不是实数线中的开集，因为端点零的任何小区间都会伸到负数一侧。
-但是，开集并不必是单个连续区间。集合 <math>(0,1)\cup(2,3)</math> 同样是开集，每个点都能在自己所在的小段内找到邻域。空集也视为开集，因为其中不存在一个违反条件的点；整个实数线显然是开集。由这些例子可见，“开放”是一个局部条件，不等于形状没有缺口，也不等于整体连成一块。
+[[File:Gezhi-teaching-topology-neighborhoods.svg|720px|thumb|center|alt=上下两条实数轴比较开区间与半开区间。上图零和一均为空心端点，零点四附近的零点三到零点五完全留在区间内；下图零为实心端点，但围绕零的邻域伸到负数一侧。|内点可以找到留在集合内的小邻域；把端点包含进来，并不会让它自动成为内点。空心圆表示端点不属于所画区间，实心圆表示属于。]]
-如果把通常距离 <math>|x-y|</math> 乘以一百，哪些序列趋近某点、哪些集合是开集都不会改变，只是同一邻域的半径数字改变了。拓扑抽取的正是这类不依赖单位的结构。它还能处理没有给定数值距离的集合，只要开集之间的关系满足相应公理。
+图中上半部的虚线把小区间 <math>(0.3,0.5)</math> 对齐到原数轴，两端都落在零与一之间。下半部画的是 <math>r=0.1</math> 时的邻域 <math>(-0.1,0.1)</math>，红色部分已经越出 <math>B</math>。这里只画一个半径还不足以证明所有半径都失败；一般地，无论给出哪个 <math>r>0</math>，负数 <math>-r/2</math> 都属于 <math>(-r,r)</math>，却不属于 <math>[0,1)</math>。所以缩小半径始终不能解决零点左侧的问题。
-== 三条公理及其各自的作用 ==
+开集也可以分成几块。例如 <math>(0,1)\cup(2,3)</math> 的每个点，都能在自己所在的区间内找到小邻域，所以它仍开。“每一点附近有活动余地”是局部条件，并不要求整块集合连在一起。
-设 <math>X</math> 是集合，<math>\mathcal P(X)</math> 是它的幂集。拓扑 <math>\mathcal T\subseteq\mathcal P(X)</math> 必须满足：
-# <math>\varnothing,X\in\mathcal T</math>。
-# 任意一族 <math>\{U_i\}_{i\in I}\subseteq\mathcal T</math> 的并 <math>\bigcup_{i\in I}U_i</math> 属于 <math>\mathcal T</math>。
-# 任意有限多个开集的交属于 <math>\mathcal T</math>；特别地，若 <math>U,V\in\mathcal T</math>，则 <math>U\cap V\in\mathcal T</math>。
-任意并允许把很多局部观察拼成一个开放区域；有限交允许同时施加有限个局部约束。并与交的数量限制不同，并非书写上的偶然。通常拓扑不要求无限交仍开。[https://www.math.ucla.edu/~sharifi/notes/topology-ch01.html Sharifi，Point-Set Topology，第 1 章]
-在实数线上，每个 <math>U_n=(-1/n,1/n)</math> 都是开集，但
+若把尺子的单位缩小一百倍，同一段距离的数字变大，但上面哪些集合开，并不改变。拓扑保留这种邻近关系，把具体的距离数值放在一边。
-<math display="block">\bigcap_{n=1}^{\infty}U_n=\{0\}.</math>
-单点集零不是通常拓扑中的开集。有限多个区间还有一个正的最小半径；无限多个约束却可能把可用半径压到零。这解释了为何公理只要求有限交，也提醒在证明里不能把“任意并”和“任意交”互换。
-一个集合开不开，是相对于整个空间及其拓扑而言的判断。开集的补集称为闭集，因而空集与全集总是既开又闭。也存在既不开又不闭的集合，例如实数线中的 <math>[0,1)</math>。日常语言中的“开”与“关”容易使人以为二者必为互斥且穷尽的分类，拓扑中的定义不是如此。
+== 把开区间的规律提取出来 ==
+实数线上的开集有三条基本规律。
-== 三点集合的完整诊断 ==
+# 空集与整个实数线都开。空集里没有需要检查的点，整个实数线则给任何点都留有邻域。
-令 <math>X=\{a,b,c\}</math>，取
+# 任意多个开集的并仍开。并集中的点至少落在其中一个开集里，直接使用那个开集提供的小区间即可。
-<math display="block">\mathcal T=\{\varnothing,\{a\},\{a,b\},X\}.</math>
+# 有限多个开集的交仍开。若点同时属于两个开集，它们分别给出半径 <math>r,s>0</math> 的小区间。取较小半径 <math>\min(r,s)</math>，小区间便同时落在两者内部。有限多个集合时也可以取有限个正半径的最小值。
-这确实是一个拓扑。空集与全集在其中；列出的集合按包含关系排成一条链，所以任意并是其中最大的集合，任意非空有限交是其中最小的集合，结果仍在列表中。因为只有有限个不同集合，任意多个集合的并也不会产生新情况。
-在这个空间里，<math>\{a\}</math> 开却不闭，因为它的补集 <math>\{b,c\}</math> 不在开集列表中。反过来，<math>\{c\}</math> 闭却不一定开，它的补集 <math>\{a,b\}</math> 是开集。一个含 <math>c</math> 的开邻域只能是整个 <math>X</math>，而含 <math>a</math> 的开邻域可以很小。这种邻近结构不对称，说明一般拓扑比日常欧氏距离更宽广。
+第三条不能一般地改成无限交。例如每个 <math>U_n=(-1/n,1/n)</math> 都开，但
+<math display="block">\bigcap_{n=1}^{\infty}U_n=\{0\}.</math>
+零留在每个区间内，任何非零点却总会被足够窄的区间排除。最终只剩一个点，没有正半径的小区间可以放进去。
-对比集合族 <math>\mathcal S=\{\varnothing,\{a\},\{b\},X\}</math>，它不是拓扑：两个已列出的开候选集的并 <math>\{a,b\}</math> 没有被列入。修复办法不是随便删掉一个不方便的点，而是明确选择新的拓扑；若希望保留现有候选开集，就至少要加入该并集，再检查其他公理。这是“由一组集合生成拓扑”的基本思路。
+现在可以给出一般定义。对集合 <math>X</math>，指定一族子集 <math>\mathcal T</math>，使它包含 <math>\varnothing,X</math>，对任意并封闭、对有限交封闭，就称 <math>\mathcal T</math> 是 <math>X</math> 上的'''拓扑'''；其中的成员叫开集，<math>(X,\mathcal T)</math> 叫拓扑空间。实数上的小区间只是这种结构的一种来源。[https://www.math.ucla.edu/~sharifi/notes/topology-ch01.html Sharifi：Topological spaces]
-两种极端拓扑也值得比较。离散拓扑 <math>\mathcal P(X)</math> 把每个子集都规定为开集；平凡拓扑 <math>\{\varnothing,X\}</math> 只保留两种开集。它们都合法。有限集合不自动意味着离散拓扑，抽象空间也不因为点数少就必然具有普通平面中的隔离方式。
+== 只有三个点，怎样规定邻近 ==
+取 <math>X=\{a,b,c\}</math>，把开集规定为
+<math display="block">\mathcal T=\{\varnothing,\{a\},\{a,b\},X\}.</math>
+先检查这确实满足定义。四个集合按包含关系排成一条链。任取一些作并，结果是其中最大的一个；取有限多个作交，结果是其中最小的一个，仍在列表里。空并是空集，空交是全集，也都已列出。
-== 内部、闭包和边界：同一个集合的三种观察 ==
+在这个空间里，观察 <math>a</math> 时可以只看 <math>\{a\}</math>；观察 <math>b</math> 时，最小的开区域是 <math>\{a,b\}</math>；观察 <math>c</math> 时，唯一的开区域是整个 <math>X</math>。拓扑就是这份“允许怎样观察附近”的资料，不需要再虚构三点之间的长度。
-集合 <math>A\subseteq X</math> 的内部 <math>\operatorname{int}A</math> 是所有包含在 <math>A</math> 中的开集之并，即能在 <math>A</math> 内获得完整邻域的那些点。闭包 <math>\overline A</math> 是所有包含 <math>A</math> 的闭集之交；等价地，它包含每一个“任意开邻域都与 <math>A</math> 相交”的点。
-边界定义为 <math>\partial A=\overline A\setminus\operatorname{int}A</math>。一个点在边界上，当且仅当它的任意邻域都既遇到 <math>A</math>，又遇到补集。边界不必像一条可画出的轮廓线；这一定义适用于任意拓扑空间。
+如果把列表改成 <math>\{\varnothing,\{a\},\{b\},X\}</math>，它就不是拓扑：<math>\{a\}</math> 与 <math>\{b\}</math> 的并 <math>\{a,b\}</math> 被漏掉了。要保留这两个开集，至少还要把它们的并加进来。
-例如实数线中 <math>A=[0,1)</math> 的内部为 <math>(0,1)</math>，闭包为 <math>[0,1]</math>，边界为 <math>\{0,1\}</math>。零虽然属于集合，却不是内部点；一虽然不属于集合，却在闭包中。这说明“属于集合”与“靠近集合”不能混为一谈。
+还可以把 <math>X</math> 的每个子集都规定为开集，得到'''离散拓扑'''；或只规定空集和全集开，得到'''平凡拓扑'''。三种拓扑用的是同样三个点，邻近结构却不同。因此讨论连续性时，点的名单之外还要说明拓扑。
-再看三点例子中 <math>A=\{b\}</math>。没有非空开集包含在 <math>A</math> 内，所以内部为空。点 <math>a</math> 有邻域 <math>\{a\}</math> 避开 <math>A</math>，故不在闭包；点 <math>b</math> 自然在闭包；点 <math>c</math> 的唯一开邻域为全集，也总遇到 <math>A</math>。因此 <math>\overline A=\{b,c\}</math>，边界同样为 <math>\{b,c\}</math>。这个计算用的是邻域列表，不需要给三点画虚构距离。
+== 闭集、内部与闭包 ==
+开集的补集称为'''闭集'''。在三个点的例子中，逐一取补集，得到闭集列表
+<math display="block">X,\quad\{b,c\},\quad\{c\},\quad\varnothing.</math>
+例如 <math>\{a\}</math> 开而不闭，<math>\{c\}</math> 闭而不开；空集和全集则既开又闭。“开”与“闭”不是互相排斥的两类。
-== 度量如何产生拓扑，为什么不必反向成立 ==
+集合 <math>A</math> 的'''内部'''由那些能在 <math>A</math> 中找到完整开邻域的点组成；记作 <math>\operatorname{int}A</math>，也就是所有包含于 <math>A</math> 的开集之并。'''闭包''' <math>\overline A</math> 则把所有无法用开邻域与 <math>A</math> 分开的点也包括进来：点的每个开邻域都碰到 <math>A</math>，它便在闭包里。
-一个度量 <math>d</math> 为每对点指定非负距离，并满足正定性、对称性和三角不等式。开球定义为 <math>B(x,r)=\{y:d(x,y)<r\}</math>，其中 <math>r>0</math>。把所有开球的任意并规定为开集，就得到度量拓扑。
-验证有限交封闭可以直接进行。若 <math>x</math> 同时在开集 <math>U,V</math> 中，那么存在正半径 <math>r,s</math> 使两个相应开球分别落在 <math>U,V</math> 内。取更小半径 <math>\min(r,s)</math>，其开球便落在交集中。对任意并，某点只要属于其中一个开集，就继承该开集提供的开球。这展示了拓扑公理怎样概括度量邻域的行为。
+回到实数集合 <math>[0,1)</math>。内部是 <math>(0,1)</math>；闭包是 <math>[0,1]</math>，因为一点点跨过一的邻域总能碰到原集合。边界是闭包去掉内部，得到 <math>\{0,1\}</math>。零在集合里，一不在集合里，但两者都是边界点。
-不是每个拓扑都来自度量。三点例子中，点 <math>c</math> 与 <math>b</math> 无法用互不相交的开邻域分离；而度量空间中不同点总可以用半径小于两点距离三分之一的开球分离。因此该拓扑不可能由某个度量产生。这不是缺少一个聪明的距离公式，而是某种结构性条件已经失败。
+再对三点空间中的 <math>A=\{b\}</math> 做同一检查：
-具有“任意两个不同点都存在不相交开邻域”性质的空间称为豪斯多夫空间。通常欧氏空间、圆周和[[环面]]都是这样的空间。一般拓扑空间的定义本身不强制这一条件，因此讨论极限唯一性等结论时需要检查是否具备它。合理的抽象不是默认熟悉空间的一切性质都还成立，而是逐条辨认需要增加什么条件。
+* 没有非空开集包含在 <math>\{b\}</math> 中，所以内部为空。
+* <math>a</math> 的开邻域 <math>\{a\}</math> 完全避开 <math>A</math>，所以 <math>a</math> 不在闭包。
+* <math>b</math> 的任何邻域包含它自身，当然碰到 <math>A</math>。
+* <math>c</math> 的唯一开邻域是 <math>X</math>，它也碰到 <math>A</math>。
-== 子空间与商空间：限制区域和识别点 ==
+所以 <math>\overline A=\{b,c\}</math>，边界也是 <math>\{b,c\}</math>。这个有限计算展示了闭包怎样由开集确定。
-设 <math>A\subseteq X</math>。从 <math>X</math> 继承的子空间拓扑是
-<math display="block">\mathcal T_A=\{U\cap A:U\in\mathcal T\}.</math>
-它表示只在 <math>A</math> 内观察邻域。例如在 <math>A=[0,1]</math> 中，集合 <math>[0,1/2)</math> 是开集，因为它等于实数开集 <math>(-1,1/2)</math> 与 <math>A</math> 的交。它在整个实数线中却不是开集。两种判断并不冲突，环境空间不同。
-构造商空间则是在保留连续结构的同时把某些点认作同一点。给定等价关系及投影 <math>q:X\to X/{\sim}</math>，规定商空间中的集合 <math>V</math> 开，当且仅当 <math>q^{-1}(V)</math> 在原空间中开。把闭区间两端识别得到圆，把正方形两对相对边按对应方向识别得到环面。
+== 从距离得到开集 ==
+若空间有距离 <math>d</math>，以 <math>x</math> 为中心、半径 <math>r>0</math> 的开球是
+<math display="block">B(x,r)=\{y:d(x,y)<r\}.</math>
+规定一个集合开，当且仅当其中每个点都有完全包含在该集合内的开球，就得到度量产生的拓扑。前面的实数小区间就是一维开球。
-这一定义说明“粘起来”不仅是改变点的名单，还必须规定接缝附近的邻域如何跨过被识别的点。若只把端点删除或只改变坐标范围，而不说明新的开集，往往不能得到预期空间。拓扑空间的构造由集合与拓扑两部分组成，任一部分遗漏都会使连续性问题失去依据。
+两个不同点若相距 <math>D>0</math>，分别以小于 <math>D/3</math> 的半径作开球，两球不会相交。否则在共同点绕行，三角不等式会给出两点距离小于 <math>2D/3</math>，与距离为 <math>D</math> 矛盾。因此度量总能把不同点放在不相交的开邻域中。
-== 连续性、紧致性与连通性各在问什么 ==
+三点拓扑没有这个性质：任何含 <math>c</math> 的开邻域都是全集，必然碰到 <math>b</math> 的邻域。所以它不可能来自某个距离。这说明用开集定义空间确实比用距离定义空间更一般。具有上述可分离性质的空间称为'''豪斯多夫空间'''，通常欧氏空间、圆周与环面都满足它。
-映射 <math>f:X\to Y</math> 连续，意思是 <math>Y</math> 中每个开集的逆像都在 <math>X</math> 中开。这个定义把拓扑变成可传递的结构；它并不要求开集的正向像仍然开，详见[[连续映射]]。同胚则要求双射及其逆映射都连续，用来表达两个空间具有同样拓扑结构。
-紧致性讨论开放覆盖能否缩减为有限子覆盖。欧氏空间中闭且有界的子集是紧致的，但“闭且有界”是特定背景下的判据，不是任意拓扑空间的定义。连通性则要求空间不能拆成两个互不相交、非空的开部分。紧致与连通回答不同问题：闭区间二者都有，两个分离闭区间的并紧致却不连通，整条实线连通却不紧致。
+== 换一个观察范围：子空间 ==
+只研究 <math>X</math> 的一部分 <math>A</math> 时，可用原开集与 <math>A</math> 的交作为新的开集：
-这些性质的价值在于能被连续映射控制。紧致集的连续像紧致，连通集的连续像连通；于是分析里的最大最小值定理与中间值现象，可以放进更一般的结构中理解。抽象定义并不是把几何事实换成复杂术语，而是在识别哪些证明只依赖邻域关系，而不依赖具体坐标公式。
+<math display="block">\mathcal T_A=\{U\cap A:U\in\mathcal T\}.</math>
+这称为子空间拓扑。它允许邻域越过 <math>A</math> 的边界后再截回 <math>A</math> 内。
-== 用基生成开集：不必把所有开集逐一列出 ==
-在实数线上，所有开集很多，但每个开集都是开区间的并，因此开区间构成一组拓扑基。甚至只用有理数端点的开区间也足够：对开集内任意一点，可以在其小邻域左右各选有理数端点，把该点包在更小的有理端点区间里。拓扑基把“整族开集”的描述压缩为一组可组合的局部积木。
-一般而言，一族集合构成某个拓扑的基，需要覆盖整个空间，并满足局部交叠条件：若某点同时落在两个基元素中，那么还应有一个包含该点的基元素完全位于二者交集中。第二个条件不是要求两个基元素的交本身一定也是基元素，而是要求交集能在各点附近继续由基元素表达。然后把所有基元素的任意并作为开集，即可验证三条公理。
-例如平面上的开圆盘可以作为基，开矩形也可以作为基；在每个圆盘内点附近能放进更小矩形，在每个矩形内点附近也能放进更小圆盘。因此两种基生成同一个通常拓扑。形状不同的局部积木不一定带来不同拓扑，关键是它们能否彼此细化。这也是不同但等价的距离可以描述相同收敛行为的具体体现。
+例如取 <math>A=[0,1]</math>。集合 <math>[0,1/2)</math> 等于 <math>(-1,1/2)\cap A</math>，所以在 <math>A</math> 中开。它在整条实数线上不开，因为零的左侧仍有实数点；在子空间中，左侧那些点已不属于所研究的空间。判断开闭时说清环境，便能解释这两个不同答案。
-相反，若在实数上把半开区间 <math>[a,b)</math> 作为基，会得到不同的拓扑。例如一个包含其左端点的半开区间在新拓扑中开，在通常拓扑中却不开。点集仍然是原来的实数，改变的是可用邻域。这个例子再次说明“实数空间”若未注明采用何种拓扑，某些抽象问题可能有不同答案。
+[[File:Gezhi-teaching-topology-subspace.svg|720px|thumb|center|alt=三条数轴按同一刻度对齐。第一行是实数线上的开区间负一到二分之一，两个端点空心；第二行是子空间零到一，两个端点实心；第三行是两者的交，零实心、二分之一空心，表示零到二分之一的半开区间。|取交集得到 <math>C=U\cap A=[0,1/2)</math>。同一个 <math>C</math> 在子空间 <math>A</math> 中开，在 <math>\mathbb R</math> 中不开。]]
-学习拓扑基还有一个证明上的收益：检查函数连续时，常只需检查陪域基元素的逆像开。因为任何开集都是这些基元素的并，而逆像与任意并相容，基上的检查会自动扩展到全部开集。这个简化需要先确认所用集合族真是一组基；随意挑几种看起来典型的集合，并不能替代完整定义。
+沿图中的竖虚线看：零同时属于 <math>U=(-1,1/2)</math> 与 <math>A</math>，所以交集中保留实心端点零；<math>1/2</math> 不属于 <math>U</math>，所以交集在这里仍为空心端点。负数虽然在第一行出现，却被第二行的 <math>A</math> 截掉了。若具体检查零点，可以取实数线中的邻域 <math>(-1/4,1/4)</math>，截回子空间后得到 <math>[0,1/4)</math>，它完全包含于 <math>C</math>。这时邻域只需要在所研究的空间 <math>A</math> 内提供活动余地，不必把空间外的负数也包含进来。
-== 历史：分析中的邻近与几何中的形状逐步汇合 ==
+另一种构造是把点识别起来。把闭区间两端当成同一点，可以得到圆；把正方形的两对相对边按对应方向识别，可以得到[[环面]]。设 <math>q</math> 把原来的点送到识别后的点，规定新空间中的集合开，当且仅当它的逆像在原空间开。这叫商拓扑，它让接缝两侧的邻域真正接到一起。
-拓扑学有多条历史来源，包括几何位置问题、曲面的整体结构，以及极限和连续性概念的抽象化。十九世纪后期的点集研究与二十世纪初的度量、邻域公理化，使抽象空间成为独立研究对象。豪斯多夫于 1914 年出版《集合论纲要》，是这一发展的重要节点；现代开集公理不能简单当作从古代几何中原样传下来的定义。[https://mathshistory.st-andrews.ac.uk/HistTopics/Topology_in_mathematics/ MacTutor：Topology history]
-给出一个唯一“发现拓扑空间的人”并不足以表达这一历史过程：术语的使用、几何不变量的提出、度量空间的定义和一般拓扑空间的公理化，是不同层次的贡献。百科条目应记录这些层次，而不以一个名字替代它们。
+== 用小块描述整个拓扑 ==
+实数线上的每个开集都是开区间的并，因此不必逐一列出全部开集：给出开区间这种基本小块就够了。这些小块称为一组'''拓扑基'''。它们要覆盖整个空间；两个基本小块交叠时，在每个交点附近还应能放进一个更小的基本小块，完全落在交集中。
-== English overview ==
+平面中的开圆盘和开矩形都能用作基。一个矩形内部的点，可以被足够小的圆盘包住；一个圆盘内部的点，也可被足够小的矩形包住。两种小块相互细化，产生同样的开集。因此小块的外形不同，并不意味着拓扑不同。
-<div lang="en" class="math-english-summary">
-A topological space consists of a set and a collection of open subsets. The collection contains the empty set and the whole space, is closed under arbitrary unions, and is closed under finite intersections. These axioms retain a notion of neighborhood without requiring numerical distances.
-A topology is additional structure: the same underlying set can carry different topologies. Finite examples make this distinction explicit, because all proposed open sets can be listed and the axioms checked directly. Open and closed are not mutually exclusive alternatives. The interior, closure, and boundary of a subset describe different aspects of its position relative to the surrounding space.
+== 用这套结构讨论连续与连接 ==
+映射 <math>f:X\to Y</math> 连续，是指 <math>Y</math> 中每个开集的逆像在 <math>X</math> 中开。以三个点的拓扑为定义域，令输出只有零、一，且输出开集为 <math>\varnothing,\{1\},\{0,1\}</math>。若只把 <math>a</math> 映成一，逆像 <math>\{a\}</math> 开，映射连续；若只把 <math>b</math> 映成一，逆像 <math>\{b\}</math> 不开，映射便不连续。详细的局部解释见[[连续映射]]。
-Every metric produces a topology through its open balls, but not every topology can be obtained from a metric. For example, distinct points in a metric space can always be separated by disjoint neighborhoods; some finite topologies fail this condition. Subspace topologies restrict the ambient observation, while quotient topologies describe identifications such as gluing the endpoints of an interval. Continuity is defined through inverse images of open sets. Compactness and connectedness then become structural properties that continuous maps preserve. Familiar Euclidean criteria remain valuable examples, but they must not be mistaken for definitions valid in every space.
+开集还可以描述整体性质。若空间不能拆成两个不相交、非空的开部分，就称为连通。若每一个开覆盖都能从中选有限个仍覆盖全空间，就称为紧致。闭区间兼有这两种性质；两个分离闭区间的并紧致却不连通；整条实数线连通却不紧致。这两个概念分别通向连续函数的中间值性质与最大最小值性质。
-</div>
-== 编者评注（AI 辅助） ==
+== 历史 ==
-<div class="math-editorial-note">
+拓扑学的来源包括几何位置关系、曲面研究和分析中的极限与连续性。十九世纪后期的点集研究，逐渐发展为对度量、邻域及抽象空间的公理化。豪斯多夫 1914 年的《集合论纲要》是其中的重要节点；现代开集语言使这些不同来源的邻近问题能够在统一框架中讨论。[https://mathshistory.st-andrews.ac.uk/HistTopics/Topology_in_mathematics/ MacTutor：A history of Topology]
-本站选择三点集合与实数区间并行展开，因为只谈甜甜圈容易掩盖拓扑还适用于非几何对象，只写公理又容易让邻域失去直观。有限例子可以逐项检查，区间例子说明任意并与有限交为何不同。随后引入子空间和商空间，是为了让环面与连续映射有共同入口。这一编排强调对环境和条件的敏感性，不把提前堆叠更多专业名词视为内容深度。
-</div>
 == 参考资料与知识联系 ==
-* Romyar Sharifi，[https://www.math.ucla.edu/~sharifi/notes/topology-ch01.html Point-Set Topology，第 1 章 Topological spaces]，UCLA。用于核对定义及标准术语；本文有限空间计算逐项展开。
+* Romyar Sharifi，[https://www.math.ucla.edu/~sharifi/notes/topology-ch01.html Point-Set Topology，第 1 章 Topological spaces]，UCLA。可参阅定义及标准术语。
 * University of Toronto，[https://www.math.toronto.edu/laithy/3272023/index.html MAT327: Introduction to Topology，2023 年课程资料]，主题包括度量、子空间、乘积与商拓扑。
 * MacTutor，University of St Andrews，[https://mathshistory.st-andrews.ac.uk/HistTopics/Topology_in_mathematics/ A history of Topology]，历史背景。
 * 前置：[[集合]]、[[函数]]；后续：[[连续映射]]、[[环面]]；关联：[[极限]]、[[欧氏几何]]。
 [[分类:拓扑]]