在数学分析中，**海涅-博雷尔定理**（）或**有限覆盖定理**、**博雷尔-勒贝格定理**（），以愛德華·海涅和埃米尔·博雷尔命名。斷言：

对于欧几里得空间 **R***n* 的子集 *S*，下列两个陈述是等价的:

* *S* 是闭合并且有界的
* 所有 *S* 的开覆盖有有限子覆盖，就是说 *S* 是紧致的。

在实分析的文章中，前面性质有时用做紧致性的定义性质。但是在考虑更一般的度量空间的子集的时候这两个定义就不再等价了，在这种一般情况下只有后者还用于定义紧致性。事实上，对任意度量空间的 Heine–Borel 定理为:

度量空间的子集是紧致的，当且仅当它是完备的并且完全有界的。

历史和动机
-----

今天叫做海涅-博雷尔定理的历史开始于十九世纪对实分析的坚实基础的寻觅。理论的中心是一致连续的概念和声称所有闭区间上的连续函数是一致连续的定理。狄利克雷首先证明了它，并隐含的在他的证明中利用了闭区间的给定开覆盖的有限子覆盖的存在性。他在1852年的演讲中使用了这个证明，并在1904年得以出版。

后来愛德華·海涅、卡尔·魏尔斯特拉斯和Salvatore Pincherle（英语：）使用了类似的技术。埃米尔·博雷尔在1895年首次发表并证明了一种形式的现在的海涅-博雷尔定理。他的公式化受限制于可数覆盖。昂利·勒贝格(1898年)和Schoenflies（英语：）(1900年) 把它推广到了任意覆盖。

定理的讨论
-----

**如果一个集合是紧致的，则它必定是闭合的。**

设集合S是**R***n*的子集。首先证明一个引理：若a是S的一个极限点，则任意有限个开集U，其中U与a的某邻域VU不相交，所组成的开集族C不能构成S的一个开覆盖。实际上，所有的VU的交集是a的一个邻域，记为W。由于a是S的一个极限点，W必须包含一个属于S的点x。而由于x不被包含于C，故开集族C不能构成S的一个开覆盖。

若S是紧集但不是闭集，则存在S的一个极限点a，它不属于S。考虑一个开集族C’，其中C’是由所有S中的点x的某个邻域 N(x)所组成的，其中每个邻域N(x)足够小，使得其与a的某个邻域不相交。则C’构成S的一个开覆盖，但是C’的任意有限子集符合引理条件，故不可能构成S的开覆盖。由此，与S的任意开覆盖存在有限子覆盖矛盾。故S是闭的。
这个证明也可以说明任意Hausdorff空间的紧集是闭集。

**如果一个集合是紧致的，则它是有界的。**

考虑以一个公共点为中心有任何半径的那些开球。这可以覆盖任何集合，因为在这个集合中所有点都用与那个点有某种距离。这个覆盖的任何有限覆盖必定是有界的，因为它会被界定在这个子覆盖的最大开球内。因此，这个子覆盖的所覆盖的任何集合都必定是有界。

**紧致集的一个闭子集是紧致的**

令*K*为**R***n*上的一个紧致集*T*的一个闭子集，令*C**K*为*K*的一个开覆盖。 那么*U* = **R***n* \ *K*是一个开集并且

 C\_T = C\_K \cup \{U\} 
是*T*的一个开覆盖。由于*T*是紧致的, 那么*C**T*有一个有限的子覆盖 C\_T',同样覆盖更小的集合*K*。因为*U*不包含*K*的任何点, 集合*K*已经被{\displaystyle C\_{K}'=C\_{T}'\setminus \{U\}}覆盖，它是原始族*C**K*的一个有限子族。那么就能够从*K*的任意开覆盖*C**K*中筛选出一个有限的子覆盖。

**如果一个集合封闭且有界，那么它是紧致的。**

如果**R***n*内的一个集合*S*是有界的，那么它可以被包围在*n*维盒中

 T\_0 = [-a, a]^n
其中*a* > 0。由上述性质，足够说明*T*0是紧致的。

推广
--

真正推广到任意度量空间为:

度量空间的子集是紧致的，当且仅当它是完备的和完全有界的。这种推广也适用于拓扑向量空间，更一般适用于一致空间。
下面是证明的 "⇒" 部分的梗概，依据于讓·迪厄多內，在一般度量空间的上下文中:

1. 明显的任何紧致集合 *E* 都是完全有界的。
2. 设 (*x**n*) 是在 *E* 中任意柯西序列；并设 *F**n* 是在 *E* 中集合 { *x**k* : *k* ≥ *n* } 的闭包并且 *U**n* := *E* − *F**n*。如果所有 *F**n* 的交集为空，则 (*U**n*) 将是 *E* 的开覆盖，因此将有 *E* 的有限子覆盖 (*U**n**k*)，因此 *F**n**k* 将为空，这蕴涵了 *F**n* 对于所有大于任何 *n**k* 的 *n* 为空，这是个矛盾。所以所有 *F**n* 的交集非空，而在这个交集中的任何点都是序列 (*x**n*) 的会聚点。
3. 柯西序列的任何会聚点都是极限点 (*x**n*)；所以任何 *E* 中柯西序列收敛在 *E* 中，换句话说，*E* 是完备的。

证明的 "⇐" 部分的梗概如下:

1. 如果 *E* 不是紧致的，则将存在 *E* 的覆盖 (*U*l)l 有着 *E* 的无限子覆盖。利用 *E* 的完全有界性来递归的定义在 *E* 中的球序列 (*B**n*) 带有
	* *B**n* 的半径是 2−*n*；
	* 没有 *B**n* 的有限子覆盖 (*U*l∩*B**n*)l；
	* *B**n*+1 ∩ *B**n* 非空。
2. 设 *x**n* 是 *B**n* 的中心点并设 *y**n* 是 *B**n*+1 ∩ *B**n* 中的任何点；因此我们有 *d*(*x**n*+1, *x**n*) ≤ *d*(*x**n*+1, *y**n*) + *d*(*y**n*, *x**n*) ≤ 2−*n*−1 + 2−*n* ≤ 2−*n*+1。可得出对于 *n* ≤ *p* < *q*: *d*(*x**p*, *x**q*) ≤ *d*(*x**p*, *x**p*+1) + ... + *d*(*x**q*−1, *x**q*) ≤ 2−*p*+1 + ... + 2−*q*+2 ≤ 2−*n*+2。因此，(*x**n*) 是 *E* 中的柯西序列，收敛于 *E* 中的某个极限点 a，因为 *E* 是完备的。
3. 设 I\_0 是索引使得 \mbox{ }\_{U\_{I\_0}} 包含 *a*；因为 (*x**n*) 收敛于 *a* 而 \mbox{ }\_{U\_{I\_0}} 是开集，有一个大 *n* 使得球 *B**n* 是 \mbox{ }\_{U\_{I\_0}} 的子集 - 这矛盾于 *B**n* 的构造。

"=>" 部分的证明可轻易的推广到任意一致空间，但是 "<=" 部分的证明更加复杂并等价于超滤子原理 ，一种形式的选择公理。 (在一般度量空间中，"<=" 方向要求依赖选择公理)。

註釋
--

1. ↑  UF24 （页面存档备份，存于） in Eric Schechter（英语：）'s .

參考文獻
----

* P. Dugac.. Arch. Internat. Hist. Sci. 1989, **39**: 69–110.
*. PlanetMath.

外部連結
----

* Ivan Kenig, Dr. Prof. Hans-Christian Graf v. Botthmer, Dmitrij Tiessen, Andreas Timm, Viktor Wittman.. Hannover: Leibniz Universität. 2004. （原始内容 (avi • mp4 • mov • swf • streamed video)存档于2011-07-19）.


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

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

 |

 |