在数学中，如果欧几里得空间 **R***n* 的子集是閉集合且是有界的，那么称它是的。例如，在**R**中，单位区间[0, 1]是紧致的，但整数集合**Z**不是（它不是有界的），半开区间[0, 1)也不是（它不是闭合的）。

另一個定義方式是如果對於一个度量空間的所有开覆盖，都可以找到有限的子覆盖，則稱此度量空間是**紧致**的。根據海涅-博雷尔定理，这个定义在欧几里得空间中等价于"閉集且有界"。

注意：某些作者如布尔巴基使用术语"**预紧致**"，并把"紧致"保留给是豪斯多夫空间并且"预紧致"的拓扑空间。一个单一的紧致集合有时称为**紧统**（compactum）。在法語的數學著作中，quasi-compact是指緊緻，compact是指緊緻且豪斯多夫，不同於英語。

历史和动机
-----

术语"紧致"是莫里斯·弗雷歇在1906年介入的。

很久以来就认识到了像紧致性这样的性质对于证明很多有用的定理是必需的。最初"紧致"意味着"序列紧致"（所有序列都有收敛子序列）。这是在研究主要的度量空间的时候。"覆盖紧致"定义已经变得更加突出，因为它允许我们考虑更一般的拓扑空间，并且关于度量空间的很多已有结果可以推广到这种设置。这种推广在研究函数空间的时候特别有用，它们很多都不是度量空间。

研究紧致空间的主要原因之一是因为它们以某种方式类似于有限集合：有很多结果易于对有限集合证明，其证明可以通过极小的变动就转移到紧致空间上。常说"紧致性是在有限性之后最好的事情"。例如：

* 假设*X*是豪斯多夫空间，我们有一个*X*中的点*x*和不包含*x*的*X*的有限子集*A*。则我们可以通过邻域来分离*x*和*A*:对于每个*A*中的*a*，设*U*(*x*)和 *V*(*a*)分别是包含*x*和*a*的不相交的邻域系统。则所有*U*(*x*)的交集和所有*V*(*a*)的并集就是要求的*x*和*A*的邻域。

注意如果*A*是无限的，则证明失败，因为任意多个*x*的邻域的交集可能不是*x*的邻域。但这个证明是可以挽救的，如果*A*是紧致的：我们可以简单的选取*A*的覆盖{*V*(*a*)}的有限子覆盖。在这种方式下，我们看到在豪斯多夫空间中，任何点都可以通过不包含它的任何紧致集合的邻域来分离。事实上，重复这个论证证明了在豪斯多夫空间中任何两个不相交紧致集合可以通过领域来分离 -- 注意这正好就是我们在豪斯多夫分离公理中把"点"（就是单元素集合）替代为"紧致集合"所得到的。涉及紧致空间的很多论证和结果都服从这个模式。

在度量空间中，所有的有限集都有最大与最小元素。一般而言，无限集可能不存在最大或最小元素（比如*R*中的(0, 1)），但*R*中的非空紧子集都有最大和最小元素。在很多情况下，对有限集成立的证明可以扩展到緊緻集。一个简单的例子是对以下性质的证明：定义在緊緻集上的连续实值函数是一致连续的。

定义
--

### 欧几里得空间中的紧致性

对于欧几里得空间**R***n*的子集，下列四个条件是等价的：

* 所有开覆盖都有有限子覆盖。这是最常用的定义。
* 所有在这个集合中的序列都有收敛子序列，且它的极限点属于这个集合。
* 这个集合的所有无限子集有在这个集合中的聚集点。
* 这个集合是闭合与有界的。这是最容易验证的定义，例如闭区间或闭*n*维球。

在其他空间中，这些条件等价与否依赖于这个空间的性质。

注意尽管紧致性是集合自身（和它的拓扑）的性质，闭合性是相对于它所在的空间的；上面的"闭合"是在闭合于**R***n*中的意义上使用的。比如闭合在**Q***n*中的集合典型的不闭合在**R***n*中，因此不是紧致的。

### 拓扑空间中的紧致性

上段中的"有限子覆盖"性质要比"閉集与有界"更加抽象，但是它在用于 **R***n* 的子集的子空间拓扑时有明显的好处，省去了使用度量或周围（ambient）空间的需要。因此紧致性是个拓扑性质。闭区间[0,1]在某种意义上是本质上紧致性的，不论它是如何嵌入**R**或**R***n*中的。 

拓扑空间 X 被定义为紧致的，如果它的所有开覆盖都有至少一个有限的子覆盖。也就是說：

X 是緊緻的，如果对于任意一个由 X 的開子集构成的集合族 C，使得
{\displaystyle X=\bigcup \_{x\in C}x}
总存在一个 C 的**有限**子集 F，使得
{\displaystyle X=\bigcup \_{x\in F}x}

其他緊緻的等價定義利用了有限交集性质，如果拓樸空間 X 滿足下面這條件則 X 為緊緻空間：如果 \mathcal{C} 為 X 中任意一個閉子集的集族 且满足有限交集性质，則集族 \mathcal{C} 中所有元素的交集為非空集合。。这个定义对偶于使用开集的定义。

某些作者要求紧致空间还是豪斯多夫的，并把非豪斯多夫的紧致性叫做**预紧致**。

  

### 度量空间中的紧致性

在度量空间内，**緊緻集**可以定义为满足以下任一条件的集合：

* 任意序列有收敛子序列且该子序列的极限点属于该集合（自列緊緻集）。
* 如果它的所有开覆盖都有至少一个有限的子覆盖。
* 完备且完全有界。

性质
--

**緊緻集**具有以下性质：

* 緊緻集必然是有界的闭集，但反之不一定成立。
* 緊緻集在连续函数下的像仍是緊緻集。
* 豪斯多夫空間的紧子集是闭集。
* 实数空间的非空紧子集有最大元素和最小元素。
* 在**R***n*内，一个集合是緊緻集当且仅当它是闭集并且有界。（海涅-博雷尔定理）
* 定义在緊緻集上的连续实值函数有界且有最大值和最小值。
* 定义在緊緻集上的连续实值函数一致连续。

其他形式的紧致性
--------

* 列緊緻集：每個序列都有收歛的子序列。
* 可数緊緻集：每個可數的開覆蓋都有一個有限的子覆蓋。
* 伪紧：所有的實值連續函數都是有界的。
* 弱可數緊緻：每個無窮子集都有極限點。

在度量空间中，以上概念均等价于緊緻集。

以下概念通常弱于緊緻集：

* 相對緊緻：如果一個子空間*Y*在母空間*X*中的閉包是緊緻的，則稱*Y*是相對緊緻於*X*。
* 预緊緻集：若空間*X*的子空間*Y*中的所有序列都有一個收歛的子序列，則稱*Y*是*X*中的预緊緻集。
* 局部緊緻空間：如果空間中的每個點都有個由緊緻鄰域組成的局部基，則稱這個空間是局部緊緻空間。

注解
--

1. ↑  François Guénard, Gilbert Lelièvre.  (PDF). ENS Fontenay. 1985: 24  [2014-01-02]. （原始内容存档 (PDF)于2016-03-04）.
2. ↑ . PlanetMath.

引用
--

* H.L. Royden *Real Analysis*（1988）Pearson Education, Inc. Delhi, India, ISBN 978-81-297-0105-3
* 张恭庆，林源渠，《泛函分析讲义》（1987）北京大学出版社，ISBN 978-7-301-00489-0
* Lynn Arthur Steen and J. Arthur Seebach, Jr. *Counterexamples in Topology*（1978）Springer-Verlag, New York
*. PlanetMath.

相关条目
----

* 拓扑空间
* 度量空间
* 数学
* 集合论

|  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
点集拓扑系列 |
| --- |
|  |
| 基本概念 | 连续函数  · 同胚  · 子空間  · 积空间  · 商空间  · 序空間
邻域  · 内部  · 邊界  · 外部  · 极限点  · 孤点
基  · 鄰域系統  · 开集  · 闭集  · 闭开集  · 稠密集  · 无处稠密集  · 闭包 |
|  |
| 拓扑空间 | 實數線  · 离散空间  · 密着拓扑  · 有限空间  · 下限拓扑  · 康托尔集 ·
有限拓撲空間 · 緊緻開拓撲 |
|  |
| 连通空间 | 连通空间  · 局部连通空间  · 道路连通空间  · 单连通  · N-连通  · 不可約空間 |
|  |
| 紧空间 | 可数紧  · 序列紧  · 聚点紧  · 局部紧 |
|  |
| 一致空间 | 一致同构  · 一致性质  · 一致收斂  · 一致连续 |
|  |
| 可數性公理 | 第一可數  · 第二可數  · 可分空间  · 林德勒夫空間 |
|  |
| 分离公理 | 柯尔莫果洛夫空间  · T1空间  · 豪斯多夫空间  · 正则空间  · 吉洪诺夫空间  · 正规空间 |
|  |
| 定理 | 
* 波尔查诺-魏尔斯特拉斯定理
* 海涅-博雷尔定理
* 贝尔纲定理
* 吉洪诺夫定理
* 乌雷松引理
* 乌雷松度量化定理

 |

 |