拓扑空间 - 版本历史

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

2026-09-19T23:35:13Z

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

←上一版本		2026年9月20日 (日) 07:35的版本
第5行：		第5行：

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

			[[File:Gezhi-teaching-topology-neighborhoods.svg\|720px\|thumb\|center\|alt=上下两条实数轴比较开区间与半开区间。上图零和一均为空心端点，零点四附近的零点三到零点五完全留在区间内；下图零为实心端点，但围绕零的邻域伸到负数一侧。\|内点可以找到留在集合内的小邻域；把端点包含进来，并不会让它自动成为内点。空心圆表示端点不属于所画区间，实心圆表示属于。]]

			图中上半部的虚线把小区间 <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>(0,1)\cup(2,3)</math> 的每个点，都能在自己所在的区间内找到小邻域，所以它仍开。“每一点附近有活动余地”是局部条件，并不要求整块集合连在一起。
第67行：		第71行：

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

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

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

2026-09-19T23:17:50Z

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

显示更改

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

2026-09-19T18:24:56Z

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

新页面

'''拓扑空间'''（topological space）是一个集合连同指定在它上面的一族开集。开集满足包含空集与全集、对任意并封闭、对有限交封闭三条公理。它提供了一种不必先定义距离，也能讨论邻近、连续、收敛和整体连接方式的框架。通常记作 <math>(X,\mathcal T)</math>，其中 <math>X</math> 是点集，<math>\mathcal T</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> 同样是开集，每个点都能在自己所在的小段内找到邻域。空集也视为开集，因为其中不存在一个违反条件的点；整个实数线显然是开集。由这些例子可见，“开放”是一个局部条件，不等于形状没有缺口，也不等于整体连成一块。

如果把通常距离 <math>|x-y|</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>\{a\}</math> 开却不闭，因为它的补集 <math>\{b,c\}</math> 不在开集列表中。反过来，<math>\{c\}</math> 闭却不一定开，它的补集 <math>\{a,b\}</math> 是开集。一个含 <math>c</math> 的开邻域只能是整个 <math>X</math>，而含 <math>a</math> 的开邻域可以很小。这种邻近结构不对称，说明一般拓扑比日常欧氏距离更宽广。

对比集合族 <math>\mathcal S=\{\varnothing,\{a\},\{b\},X\}</math>，它不是拓扑：两个已列出的开候选集的并 <math>\{a,b\}</math> 没有被列入。修复办法不是随便删掉一个不方便的点，而是明确选择新的拓扑；若希望保留现有候选开集，就至少要加入该并集，再检查其他公理。这是“由一组集合生成拓扑”的基本思路。

两种极端拓扑也值得比较。离散拓扑 <math>\mathcal P(X)</math> 把每个子集都规定为开集；平凡拓扑 <math>\{\varnothing,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>A=[0,1)</math> 的内部为 <math>(0,1)</math>，闭包为 <math>[0,1]</math>，边界为 <math>\{0,1\}</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>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>c</math> 与 <math>b</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>f:X\to Y</math> 连续，意思是 <math>Y</math> 中每个开集的逆像都在 <math>X</math> 中开。这个定义把拓扑变成可传递的结构；它并不要求开集的正向像仍然开，详见[[连续映射]]。同胚则要求双射及其逆映射都连续，用来表达两个空间具有同样拓扑结构。

紧致性讨论开放覆盖能否缩减为有限子覆盖。欧氏空间中闭且有界的子集是紧致的，但“闭且有界”是特定背景下的判据，不是任意拓扑空间的定义。连通性则要求空间不能拆成两个互不相交、非空的开部分。紧致与连通回答不同问题：闭区间二者都有，两个分离闭区间的并紧致却不连通，整条实线连通却不紧致。

这些性质的价值在于能被连续映射控制。紧致集的连续像紧致，连通集的连续像连通；于是分析里的最大最小值定理与中间值现象，可以放进更一般的结构中理解。抽象定义并不是把几何事实换成复杂术语，而是在识别哪些证明只依赖邻域关系，而不依赖具体坐标公式。

== 用基生成开集：不必把所有开集逐一列出 ==
在实数线上，所有开集很多，但每个开集都是开区间的并，因此开区间构成一组拓扑基。甚至只用有理数端点的开区间也足够：对开集内任意一点，可以在其小邻域左右各选有理数端点，把该点包在更小的有理端点区间里。拓扑基把“整族开集”的描述压缩为一组可组合的局部积木。

一般而言，一族集合构成某个拓扑的基，需要覆盖整个空间，并满足局部交叠条件：若某点同时落在两个基元素中，那么还应有一个包含该点的基元素完全位于二者交集中。第二个条件不是要求两个基元素的交本身一定也是基元素，而是要求交集能在各点附近继续由基元素表达。然后把所有基元素的任意并作为开集，即可验证三条公理。

例如平面上的开圆盘可以作为基，开矩形也可以作为基；在每个圆盘内点附近能放进更小矩形，在每个矩形内点附近也能放进更小圆盘。因此两种基生成同一个通常拓扑。形状不同的局部积木不一定带来不同拓扑，关键是它们能否彼此细化。这也是不同但等价的距离可以描述相同收敛行为的具体体现。

相反，若在实数上把半开区间 <math>[a,b)</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.

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">
本站选择三点集合与实数区间并行展开，因为只谈甜甜圈容易掩盖拓扑还适用于非几何对象，只写公理又容易让邻域失去直观。有限例子可以逐项检查，区间例子说明任意并与有限交为何不同。随后引入子空间和商空间，是为了让环面与连续映射有共同入口。这一编排强调对环境和条件的敏感性，不把提前堆叠更多专业名词视为内容深度。
</div>

== 参考资料与知识联系 ==
* 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]，历史背景。
* 前置：[[集合]]、[[函数]]；后续：[[连续映射]]、[[环面]]；关联：[[极限]]、[[欧氏几何]]。
[[分类:拓扑]]

拓扑空间 - 版本历史

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

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

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

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

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

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