一般拓扑学

一般拓扑学研究由邻近概念（即开集）定义的空间以及它们之间的连续映射，为几何学和分析学的其余部分提供了极限、收敛和连续性的基础语言。

Definition

集合X上的拓扑是子集（开集）的集合，包含空集和X，并且在任意并和有限交下是封闭的；一般拓扑学是研究这类空间以及它们之间的连续函数。

Scope

该领域涵盖拓扑空间的抽象框架：拓扑如何被指定（开集、基、子基），连续性和同胚如何在不参考距离的情况下定义，以及区分空间的全局性质，主要是紧致性、连通性和分离公理。它包括乘积、子空间和商构造，以及将抽象拓扑与度量空间联系起来的度量化结果。它不包括代数拓扑的代数不变量和微分几何的光滑结构，这些都是在此基础上建立的。

Sub-topics

• 紧致性
• 连通性
• 分离公理与度量化
• 拓扑空间与连续性

Core questions

• 在不依赖任何度量的情况下，什么最小数据可以指定集合上的连续性概念？
• 哪些拓扑性质在连续映射、乘积、子空间和商下得以保留？
• 抽象拓扑空间何时可以实现为度量空间（度量化）？
• 紧致性和连通性如何编码空间的全局形状和有限性行为？

Key concepts

• 开集和闭集、邻域、内部和闭包
• 拓扑的基和子基
• 连续映射、同胚和拓扑不变量
• 子空间拓扑、乘积拓扑和商拓扑
• 紧致性、连通性和分离公理

Clinical relevance

一般拓扑学是现代数学的共同基础：它为分析学中使用的收敛性和连续性提供了严格的含义，是泛函分析和微分几何的基础空间，也是代数拓扑学中假定的点集先决条件。

History

点集拓扑学起源于19世纪末和20世纪初将连续性概念从实数线抽象出来的努力，最终在豪斯多夫1914年对拓扑空间的公理化中得以明确，并在凯利（1955）和芒克雷斯等世纪中叶的教科书中发展成为标准化的课程。

Key figures

• Felix Hausdorff
• James Munkres
• John L. Kelley

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

一般拓扑学与代数拓扑学有何不同？

一般拓扑学发展了点集基础——开集、连续性、紧致性、连通性——而代数拓扑学则为空间赋予代数不变量，如同伦群和同调群，以区分它们在形变下的性质。

为什么用开集而不是距离来定义拓扑？

许多重要的空间（商空间、函数空间、抽象乘积空间）没有自然的度量，但仍然具有明确定义的连续性概念；开集公理在这一完全普遍的设置中捕捉了连续性。