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