這條定理是 緊緻性 概念線上的一站——序列觀點（序列緊緻性）背後的支撐論證就是它。

波爾查諾–魏爾斯特拉斯定理（Bolzano–Weierstrass Theorem）說明：在 歐幾里得空間 ℝⁿ 裡，任何 有界 的無限序列，都存在收斂子序列（convergent subsequence）。

論證的直覺：有限範圍裝不下不堆積的無限

核心直覺是一種擠壓：有界代表所有的點被塞進一個有限大小的範圍，而點有無限多個——有限的空間裝無限多個點，它們就一定會在某處堆積起來。

把這個直覺走得更具體：拿裝著整個序列的區間對半切，兩半之中至少有一半裝著無限多個項；挑那一半、再對半切、再挑裝著無限多項的那半……每切一次範圍縮小一半，而手上永遠握著無限多個項。這個不斷縮小的範圍最後收束到一個點——有無限多個項擠在它任意近的地方，這個點叫聚點（accumulation point）。沿著越來越靠近聚點的項挑出一串，就是要找的收斂子序列。

它支撐序列緊緻性

序列緊緻性 說的是：集合裡任何無限序列都有收斂子序列、而且極限仍留在集合內。這句話在 ℝⁿ 的閉且有界集合上成立，正是兩塊拼圖各司其職：有界讓本定理擠出收斂子序列，閉 保證收斂到的極限留在集合內、漏不出去。

有限維前提不能省

「有限的空間裝無限多個點就一定堆積」這個直覺，依賴空間的維度有限。無限維空間裡方向多到用不完，一串點可以每一步都閃進新的方向、彼此保持固定距離，塞進有界範圍也永遠擠不出堆積——這正是 海涅–博雷爾定理 在無限維失效的同一個根源。

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

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

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

兩個條件缺一不可

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

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

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

適用範圍：有限維

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

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

這條定理是 緊緻性 概念線上的一站——緊緻性最容易看見價值的成果。

極值定理（Extreme Value Theorem）說明：當一個取實數值的函數是連續的（continuous，直覺上圖形不斷開、可以一筆畫過去），而且它的定義域是 緊緻集合，那麼這個函數一定真的取得最大值與最小值——存在某個實際的點，讓函數在那裡達到頂與底，而非只是逼近。

論證骨架：兩塊拼圖

第一塊：連續函數保持緊緻。 緊緻性是少數能被連續函數完整保留的性質：緊緻集合 K 丟進連續函數 f，得到的像 f(K)（所有輸出值構成的集合）仍然緊緻。連續函數會拉扯、扭曲集合，很多性質在這個過程中會壞掉，緊緻性卻能完整穿過去——這正是它在這裡扛得起論證的原因。

第二塊：閉且有界接住頂與底。 值域 f(K) 是實數線上的緊緻集合，由 海涅–博雷爾定理，它 閉 且 有界：有界保證值域有頂有底，閉保證頂與底這兩個邊界值被包含在值域內——也就是真的被某個點取到。

少了緊緻、存在性就消失

最大值的存在來自定義域的緊緻，這個歸因在反例上看得最清楚。定義域換成開區間 (0,1)：函數 f(x) = x 一路逼近 1，卻沒有任何點真的取到 1——邊界漏掉，頂就漏掉；函數 f(x) = 1/x 更直接沒有最大值——它往 0 的方向竄向無限大。定義域延伸到無限遠也一樣：f(x) = x 在整條數線上有增無減、頂不存在。

這裡藏著一個值得記住的觀念：存在性是條件買來的。想要「最佳的那個點真的存在」，先檢查腳下的定義域緊不緊緻。