"數學"
- 工程讀者為什麼要理解緊緻性
測試覆蓋、抽樣、容量規劃都在賭「用有限掌握無限」可行，緊緻性是這個賭注在數學裡有完整成立條件的版本。需要把工程裡的有限控制假設逼到明處、或釐清類比的誠實邊界時讀
- 有界：整個集合裝得進一個有限大小的範圍
有界指存在一個有限大小的範圍能把整個集合裝進去，管的是延伸多遠、跟邊界收不收無關。需要判斷集合有界或無界、或釐清它與閉集合的分工時讀
- 波爾查諾–魏爾斯特拉斯定理：有界序列必有收斂子序列
有限範圍裝進無限多個點、必定在某處堆積出聚點——這是序列緊緻性在歐氏空間成立的支撐論證。需要理解收斂子序列為何擠得出來、或有限維前提為何不能省時讀
- 為什麼從哲學面思考緊緻性：存在性論證的共同形狀
定義與定理的細節會淡忘、跨定理重複出現的論證模式才是能帶走的東西。需要認出「把無限收束成有限」這個形狀、或釐清存在保證與實際構造的距離時讀
- 海涅–博雷爾定理：在歐氏空間、閉且有界等價於緊緻
海涅–博雷爾定理把緊緻性的開覆蓋定義翻譯成閉且有界這個好檢查的條件，適用範圍是有限維歐氏空間。需要確認這條捷徑何時能用、兩個條件為何缺一不可時讀
- 閉集合：把自己的邊界全部收進來的集合
閉集合包含自己所有的邊界點，等價說法是集合內序列的極限跑不出去。需要判斷一個集合閉或非閉、或讀到「閉且有界」時讀
- 開集：每個點周圍都留有餘裕的集合
開集是每個成員點周圍都還有一圈空間同屬集合的集合，拓樸學用它定義連續、收斂與緊緻。需要區分 (0,1) 與 [0,1] 的身分、或讀到一族開集（family of open sets）時讀
- 極值定理：緊緻定義域上的連續函數必取得最大最小值
最大值的存在來自定義域的緊緻——連續像保持緊緻、再由閉且有界接住頂與底。需要理解存在性從哪個條件長出來、或最大值為何可能永遠取不到時讀
- 歐幾里得空間：數線、平面、立體空間的統稱
歐幾里得空間 ℝⁿ 是 n 個實數座標構成、以直線距離度量的空間，「有限維」的精確意義在此。讀到 ℝⁿ 符號、或需要分辨有限維與無限維的分界時讀
- 緊緻性：用有限掌握無限的能力
用有限資訊掌握無限集合的能力，是數學分析大量存在性結果的共同底層。需要順著開覆蓋這條概念線理解緊緻性、或釐清「閉且有界」跟定義本身的分工時讀