种一般情况下只有后者还用于定义紧致性。事实上，对任意度量空间的 Heine–Borel 定理为:
历史和动机.今天叫做海涅-博雷尔定理的历史开始于十九世纪对实分析的坚实基础的寻觅。理论的中心是一致连续的概念和声称所有闭区间上的连续函数是一致连续的定理。狄利克雷首先证明了它，并隐含的在他的证明中利用了闭区间的给定开覆盖的有限子覆盖的存在性。他在1852年的演讲中使用了这个证明，并在1904年得以出版。后来、卡尔·魏尔斯特拉斯和使用了类似的技术。埃米尔·博雷尔在1895年首次发表并