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

極值定理（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 在整條數線上有增無減、頂不存在。

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