拓扑空间与连续性

拓扑空间通过一组开集来编码哪些点彼此靠近，而连续映射则尊重这种邻近性——将开集拉回到开集。

Definition

拓扑空间是一个集合X以及一个拓扑——一个开子集族，它在任意并和有限交下是封闭的，并且包含空集和X；拓扑空间之间的函数是连续的，如果每个开集的原像都是开集，而同胚是具有连续逆映射的连续双射。

Scope

本主题通过开集公理以及闭集、邻域、闭包和内部的等价语言来定义拓扑空间。它将基和子基发展为指定拓扑的经济方式，探讨子空间、乘积和商拓扑，以及连续性、同胚和拓扑不变量等核心概念。它还处理了度量直觉失效时的序列和网的收敛性。

Core questions

• 相同的拓扑如何从不同的基中产生，以及我们如何通过精细度来比较拓扑？
• 当没有度量可用时，连续性意味着什么，以及如何通过闭包和邻域来表征它？
• 两个空间何时是同胚的，哪些性质可以作为不变量来区分它们？
• 子空间、乘积和商构造如何继承或未能继承父拓扑的性质？

Key concepts

• 开集、闭集、邻域、闭包和内部
• 生成拓扑的基和子基
• 连续性、同胚和拓扑不变量
• 子空间、乘积和商拓扑
• 通过序列和网的收敛性；第一可数性的作用

Clinical relevance

这些定义是几何和拓扑中所有后续结构的切入点：流形是局部欧几里得拓扑空间，同伦和同调作用于连续映射，而空间上的分析则建立在连续性概念之上。

History

开集定义概括了弗雷歇（Fréchet）的度量空间（1906年）和豪斯多夫（Hausdorff）的邻域公理（1914年）；现在标准的、基于任意并和有限交的表述通过布尔巴基（Bourbaki）和20世纪中叶的美国教科书成为了教科书规范。

Key figures

• Felix Hausdorff
• Maurice Fréchet
• James Munkres

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

每个连续双射都是同胚吗？

不是。连续双射可能没有连续逆映射；同胚额外要求逆映射也是连续的，这正是它成为拓扑空间同构的原因。

为什么在拓扑学中网概括了序列？

在非第一可数空间中，序列无法检测所有闭包和连续性行为；网（以及等价的滤子）在任意有向集上索引收敛性，并恢复了完整的理论。