ハイネ・ボレルの被覆定理

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "ハイネ・ボレルの被覆定理" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2023年3月)

ハイネ・ボレルの被覆定理（ハイネ・ボレルのひふくていり、英語: Heine–Borel theorem）とは、数学の定理で、次のような定理である。

R の部分集合 S について、次の二つは同値

1. S は、有界閉集合
2. S は、コンパクト

そして、次のように一般化される。

距離空間において、部分集合がコンパクトであることと、完備全有界であることは同値。

• エドゥアルト・ハイネ
• エミール・ボレル