查看“海涅-博雷尔定理”的源代码

在[[数学分析]]中，'''海涅-博雷尔定理'''（{{lang|en|Heine–Borel theorem}}）或'''有限覆盖定理'''、'''博雷尔-勒贝格定理'''（{{Lang|en|Borel–Lebesgue theorem}}），以{{tsl|en|Eduard Heine}}和[[埃米尔·博雷尔]]命名，斷言：

对于[[欧几里得空间]] '''R'''<sup>''n''</sup> 的[[子集]] ''S''，下列两个陈述是等价的:
* ''S'' 是[[闭集|闭合]]并且[[有界集合|有界]]的
* 所有 ''S'' 的[[开覆盖]]有有限子覆盖，就是说 ''S'' 是[[紧集|紧致]]的。

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

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

== 历史和动机 ==

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

后来{{tsl|en|Eduard Heine|}}、[[卡尔·魏尔斯特拉斯]]和{{tsl|en|Salvatore Pincherle|}}使用了类似的技术。[[埃米尔·博雷尔]]在1895年首次发表并证明了一种形式的现在的海涅-博雷尔定理。他的公式化受限制于[[可数集合|可数]]覆盖。[[昂利·勒贝格]](1898年)和{{tsl|en|Arthur Schoenflies||Schoenflies}}(1900年) 把它推广到了任意覆盖。

== 定理的讨论 ==

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

设集合S是'''R'''<sup>''n''</sup>的子集。首先证明一个引理：若a是S的一个极限点，则任意有限个开集U，其中U与a的某邻域V<sub>U</sub>不相交，所组成的开集族C不能构成S的一个开覆盖。实际上，所有的V<sub>U</sub>的交集是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'''<sup>''n''</sup>上的一个紧致集''T''的一个闭子集，令''C''<sub>''K''</sub>为''K''的一个开覆盖。 那么{{nowrap|''U'' {{=}} '''R'''<sup>''n''</sup> \ ''K''}}是一个开集并且
 
:<math> C_T = C_K \cup \{U\} </math>

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

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

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

: <math> T_0 = [-a, a]^n</math>

其中''a'' > 0。由上述性质，足够说明''T''<sub>0</sub>是紧致的。

== 推广 ==

真正推广到任意度量空间为:
:度量空间的子集是紧致的，当且仅当它是[[完备空间|完备]]的和[[完全有界空间|完全有界]]的。这种推广也适用于[[拓扑向量空间]]，更一般适用于[[一致空间]]。

下面是证明的 "⇒" 部分的梗概，依据于[[讓·迪厄多內]]，在一般度量空间的上下文中:
# 明显的任何紧致集合 ''E'' 都是完全有界的。
# 设 (''x''<sub>''n''</sub>) 是在 ''E'' 中任意[[柯西序列]]；并设 ''F''<sub>''n''</sub> 是在 ''E'' 中集合 { ''x''<sub>''k''</sub> : ''k'' ≥ ''n'' } 的闭包并且 ''U''<sub>''n''</sub> := ''E'' − ''F''<sub>''n''</sub>。如果所有 ''F''<sub>''n''</sub> 的交集为空，则 (''U''<sub>''n''</sub>) 将是 ''E'' 的开覆盖，因此将有 ''E'' 的有限子覆盖 (''U''<sub>''n''<sub>''k''</sub></sub>)，因此 ''F''<sub>''n''<sub>''k''</sub></sub> 将为空，这蕴涵了 ''F''<sub>''n''</sub> 对于所有大于任何 ''n''<sub>''k''</sub> 的 ''n'' 为空，这是个矛盾。所以所有 ''F''<sub>''n''</sub> 的交集非空，而在这个交集中的任何点都是序列 (''x''<sub>''n''</sub>) 的会聚点。
# 柯西序列的任何会聚点都是极限点 (''x''<sub>''n''</sub>)；所以任何 ''E'' 中柯西序列收敛在 ''E'' 中，换句话说，''E'' 是完备的。

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

"=>" 部分的证明可轻易的推广到任意一致空间，但是 "<=" 部分的证明更加复杂并等价于[[布尔素理想定理#超滤子引理|超滤子原理]] <ref>[http://www.math.vanderbilt.edu/~schectex/ccc/excerpts/equivuf2.gif UF24] in {{tsl|en|Eric Schechter|}}'s ''{{lang|en|Handbook of Analysis and its Foundations}}''.</ref>，一种形式的[[选择公理]]。 (在一般度量空间中，"<=" 方向要求[[依赖选择公理]])。

==註釋==
{{reflist}}

==參考文獻==
{{refbegin}}
* {{cite journal | author=P. Dugac | title=Sur la correspondance de Borel et le théorème de Dirichlet–Heine–Weierstrass–Borel–Schoenflies–Lebesgue | journal= Arch. Internat. Hist. Sci. | year=1989 | volume=39 | pages=69–110}}
* {{planetmathref|id=3328|title=proof of Heine-Borel theorem}}
{{refend}}

==外部連結==
{{refbegin}}
* {{cite video|people=Ivan Kenig, Dr. Prof. Hans-Christian Graf v. Botthmer, Dmitrij Tiessen, Andreas Timm, Viktor Wittman |title=The Heine–Borel Theorem |format=avi • mp4 • mov • swf • streamed video |date=2004 |publisher=Leibniz Universität |location=Hannover |url=http://www.math.uni-sb.de/ag/schreyer/oliver/calendar.algebraicsurface.net/calendar.php?mode=youTube&day=07 |deadurl=yes |archiveurl=https://web.archive.org/web/20110719111010/http://www.math.uni-sb.de/ag/schreyer/oliver/calendar.algebraicsurface.net/calendar.php?mode=youTube&day=07 |archivedate=2011-07-19 }}
{{refend}}

{{点集拓扑}}

[[Category:数学分析]]
[[Category:点集拓扑学|H]]
[[Category:数学定理|H]]