概述
一般拓扑学(MSC 54),又称点集拓扑,研究拓扑空间在连续映射下保持不变的性质。其形式化源于康托尔对实数集与集合论的研究、弗雷歇的度量空间概念,以及 1914 年豪斯多夫在《集合论基础》中以邻域公理系统建立的抽象空间理论。
拓扑通过规定”开集”族(满足包含空集与全空间、对有限交与任意并封闭)来定义,由此可刻画连续性( 为开)、收敛、闭包与边界。关键性质包括紧致性(每个开覆盖有有限子覆盖)、连通性、以及分离公理 –(其中 即 Hausdorff 条件保证极限唯一)。这些概念是分析学与几何学的共同语言。
拓扑学为代数拓扑提供舞台,也为流形、函数空间等结构奠定基底。典型问题涉及商空间、积空间与紧开拓扑函子的性质,以及度量化定理(如 Urysohn 嵌入定理)。一般拓扑与泛函分析、动力系统中的空间结构研究密切相关。
主要研究问题
- 如何用开集公理刻画连续性、收敛与邻域?
- 紧致、连通与各种分离性(如 Hausdorff)公理如何分类空间?
- 商空间、积空间与函数空间保持哪些拓扑性质?