紧致空间 · aiwiki.page

紧致空间是每个开覆盖都有有限子覆盖的拓扑空间。紧致性是拓扑学和数学分析中的核心概念：它使某些涉及无穷多个局部条件的问题能够化为只涉及有限多个条件的问题。紧致性的定义只涉及开集，而不涉及距离、坐标或特定形状。在度量空间中，紧致性还有涉及收敛性和完备性的等价刻画。(ocw.mit.edu)

定义与解释

空间 $X$ 的一个**开覆盖**是指一族开集 $\{U_\alpha\}_{\alpha\in A}$ ，其并集等于 $X$ 。如果对每个这样的开集族，都存在有限多个指标 $\alpha_1,\ldots,\alpha_n$ ，使得

X=U_{\alpha_1}\cup\cdots\cup U_{\alpha_n},

则称该空间是紧致的。原来的覆盖可以是无限的，甚至是不可数的。紧致性要求从这个给定的覆盖中选出有限多个成员，而不是用某个与之无关的有限覆盖来代替它。(ocw.mit.edu)

若子集 $K\subseteq X$ 在其子空间拓扑下是紧致的，就称 $K$ 为紧致子集。等价地，任何覆盖 $K$ 的 $X$ 中的开集族，都有一个仍然覆盖 $K$ 的有限子族。因此，紧致子集本身不一定是所在空间中的开集。(math.ucla.edu)

欧几里得空间中的例子与反例

海涅—博雷尔定理指出，在具有通常拓扑的欧几里得空间 $\mathbb R^n$ 中，一个子集是紧致的，当且仅当它是闭且有界的。因此，有限闭区间、球面以及有界闭球都是紧致的。闭性要求集合包含其边界点和聚点；有界性则保证集合中的点不会延伸到任意远处。(math.mit.edu)

区间 $(0,1)$ 有界，但不紧致。例如，开集

U_n=(1/n,1),\qquad n\geq2,

构成 $(0,1)$ 的一个开覆盖，但无论从中选取哪有限多个，总会有一些靠近零的点未被覆盖。实数直线在自身中是闭集，但并不紧致：当 $n$ 遍历正整数时，区间 $(-n,n)$ 覆盖整条实数直线，却没有有限子覆盖。这些例子直接说明了海涅—博雷尔定理中的两个条件为何缺一不可。(math.mit.edu)

每个有限拓扑空间都是紧致的，无论其拓扑如何。特别地，紧致性并不意味着空间必须有无穷多个点，也不意味着它必须类似于某种连续的几何对象。(math.ucla.edu)

度量空间中的刻画

对于度量空间 $(X,d)$ ，以下条件等价：

$X$ 是紧致的。
$X$ 是序列紧致的：每个序列都有一个子序列收敛到 $X$ 中的某个极限。
$X$ 是完备度量空间，并且是全有界的。(maths.ed.ac.uk)

完备性是指每个柯西序列都在该空间中收敛。全有界性是指，对每个 $\varepsilon>0$ ，都能用有限多个半径为 $\varepsilon$ 的开球覆盖整个空间。全有界性比通常的有界性更强：它要求在任意小的尺度下都能实现有限覆盖。(maths.ed.ac.uk)

例如，一个无限集合若赋予离散度量，即不同点之间的距离均为 $1$ ，则它是完备且有界的，但不是紧致的。半径为 $1/2$ 的球都是单点集，因此任何有限个这样的球都无法覆盖整个空间。这说明，在一般度量空间中，不能用“闭且有界”来代替上述紧致性刻画。(maths.ed.ac.uk)

要将紧致性与序列紧致性视为等价，空间可度量这一前提至关重要。在任意拓扑空间中，这两个概念并不等价；仅凭基于序列的检验，无法完整刻画紧致性。(math.mit.edu)

保持性与分离性质

紧致空间的闭集也是紧致的。紧致空间在连续函数下的像同样是紧致的。特别地，同胚保持紧致性，因此紧致性是一种内在的拓扑性质，而不是取决于某种表示方式的特征。(math.ucla.edu)

豪斯多夫空间是指任意两个不同的点都有互不相交的开邻域的空间。豪斯多夫空间中的每个紧致子集都是闭集。此外，从紧致空间到豪斯多夫空间的连续双射函数必然是同胚。豪斯多夫这一前提很重要：在不加限制的拓扑空间中，紧致子集不一定是闭集。(math.ucla.edu)

乘积与交集判据

吉洪诺夫定理指出，任意一族紧致空间的笛卡尔积在乘积拓扑下都是紧致的，即使因子的个数是无限的也不例外。这里指定的拓扑至关重要。该定理推广了初等的有限乘积结果，是构造超出有限维几何范围的紧致空间的重要工具。(math.mit.edu)

紧致性也可以用闭集来表述。一个空间是紧致的，当且仅当每个具有有限交性质的闭集族，其所有成员的交集都非空。有限交性质是指每个有限子族的交集都非空。在开覆盖定义中取补集，即可得到这一刻画。(math.mit.edu)

在分析中的推论

极值定理指出，非空紧致空间上取实数值的连续函数是有界的，并且能取到最大值和最小值。它的像是实数直线中的非空紧致子集。在数学优化中，这为非空紧致可行集上的连续目标函数提供了最优解的存在性保证，而不要求函数可微。(math.cmu.edu)

从紧致度量空间到任意度量空间的连续映射都是一致连续的。与逐点连续性不同，一致连续性保证：对于每个给定的输出误差容限，都存在一个适用于整个定义域的统一距离阈值。因此，紧致性能将局部的正则性条件加强为全局条件。(maths.ed.ac.uk)