這條定理是 緊緻性 概念線上的一站——「閉且有界」這個流行印象的出處就是它。

海涅–博雷爾定理（Heine–Borel Theorem）說明：在 歐幾里得空間 ℝⁿ 裡，一個集合緊緻，當且僅當它同時是 閉的 又是 有界的。

它的價值在於翻譯：緊緻性 的定義是「每個開覆蓋都有有限子覆蓋」，逐一檢查所有開覆蓋是做不到的事；這條定理把它換成一個好檢查的條件——看集合有沒有把邊界包進來、會不會延伸到無限遠，兩個都過就是緊緻。

兩個條件缺一不可

閉與有界各堵住一種「跑掉」的方式，拿掉任何一個，緊緻性就漏了：

少了閉：(0,1) 有界但漏掉邊界點。拿 (1/2,1)、(1/3,1)、(1/4,1)…… 這族開集去蓋，是合法的開覆蓋，但任何有限個都會在接近 0 的地方留下一條縫——點可以沿著漏掉的邊界「逃出去」。

少了有界：[0,∞) 是閉的但延伸沒有盡頭。拿 (-1,1)、(0,2)、(1,3)…… 這族寬度 2 的開集去蓋，整條射線都被蓋住；但任何有限個開集加起來只能蓋到某個有限位置，右邊永遠有沒蓋到的地方——點可以往無限遠「逃出去」。

適用範圍：有限維

這條等價關係只在有限維的歐氏空間成立。一旦進到無限維空間（例如由函數構成的空間），「閉且有界」就換不到緊緻了——最著名的失效例是無限維空間裡的單位球：它閉且有界，卻能容納一整串彼此保持固定距離、永遠擠不出收斂子序列的點。在那些空間裡，判斷緊緻要回到 開覆蓋的原始定義。

「閉且有界」因此是一條有邊界的捷徑：在 ℝⁿ 裡放心用，離開 ℝⁿ 前先確認腳下的空間還撐得住它。