紧致性

紧致性是有限性的拓扑抽象：一个空间是紧致的，当且仅当它的每一个开覆盖都有一个有限子覆盖，这个性质将许多无限问题转化为有限问题。

Definition

一个拓扑空间是紧致的，如果其所有开集的集合（开覆盖），其并集是整个空间，都包含一个有限子集合，该子集合仍然覆盖整个空间。

Scope

本主题通过开覆盖定义紧致性，并阐述其等价和相关形式——极限点紧致性、序列紧致性和可数紧致性——以及它们在可数性和可度量化假设下的关系。它涵盖了紧致性的推论（紧致空间的连续像仍是紧致的，连续实函数能取到极值，豪斯多夫空间中的紧致子集是闭集），欧几里得空间中的海涅-博雷尔特征，以及乘积紧致空间仍是紧致空间的吉洪诺夫定理。局部紧致性和紧化也包含在内。

Core questions

• 为什么开覆盖定义是有限性的正确抽象，而不是有界性或序列极限？
• 序列紧致性、极限点紧致性和开覆盖紧致性何时一致，何时发散？
• 紧致性如何通过连续映射、乘积和子空间传播？
• 是什么让吉洪诺夫定理——及其对选择公理的依赖——成为一般拓扑学的核心？

Key concepts

• 开覆盖和有限子覆盖
• 序列紧致性、极限点紧致性和可数紧致性
• 欧几里得空间中的海涅-博雷尔定理
• 任意乘积的吉洪诺夫定理
• 局部紧致性和一点紧化

Clinical relevance

紧致性是数学中存在性结果的基础——极值的获得（极值定理）、收敛子网的存在性、泛函分析中的紧算子，以及几何中模空间和参数空间的闭合性。

History

这个概念源于闭有界区间上的海涅-博雷尔定理；现代的开覆盖定义是在20世纪20年代抽象出来的，吉洪诺夫在1930年关于乘积的定理确立了紧致性作为一种在任意乘积下稳健保持的性质，其强度等同于选择公理。

Key figures

• Eduard Heine
• Émile Borel
• Andrey Tychonoff

Seminal works

• munkres2000
• kelley1955

Frequently asked questions

紧致性与闭合有界性相同吗？

仅在有限维欧几里得空间中，海涅-博雷尔定理使它们等价。在一般的度量空间和拓扑空间中，闭合有界集不一定是紧致的。

为什么吉洪诺夫定理需要选择公理？

证明任意（可能不可数）紧致空间的乘积是紧致的，在逻辑上等价于选择公理，因此没有某种形式的选择，该定理无法确立。