2.1 開集、閉集與緊性#

本章導言#

「接近」「界內」「極限落在集合之中」——這些分析學的日常語言，在十九世紀末被點集拓撲（set-theoretic topology）統一為三個概念：開集、閉集、緊集。這一章是全書的舞台搭建：測度論的 Borel 集合（第 4 章）、連續函數的極值定理（第 2 章）、緊算子與弱收斂（《泛函分析》）全部在此地基上施工。本節先講開集與閉集，並引入緊性的直觀。

歷史語境：Cantor 的點集研究#

1870 年代，Cantor 為了回答 Fourier 級數唯一性問題（若三角級數處處收斂於 0，是否必為零級數？），被迫研究「點的集合」：區間中除去有限多點、可數多點後，唯一性是否仍成立？他在 1872 年論文中定義導集 \(P'\) （聚點之集）、 \(n\) 階導集 \(P^{(n)}\) ，並區分「 \(n\) 階後變空」與「永遠不空」的集合——後者即後來的完備集（perfect set）。開閉集的術語則由 Jordan（若爾當，Camille Jordan，1838–1922）在《分析教程》（1882–1893 各版）中系統化，而把開集公理化為拓撲的，是 Hausdorff（豪斯多夫，Felix Hausdorff，1868–1942）1914 年《集合論基礎》。

開集與閉集#

定義：設 \(E \subseteq \mathbb{R}^n\) 。 - \(x \in E\) 稱為內點，若存在 \(\varepsilon > 0\) 使球 \(B(x, \varepsilon) \subseteq E\) 。 - \(E\) 為開集，若每個點都是內點。 - \(x\) 稱為 \(E\) 的聚點（limit point），若 \(E\) 中有異於 \(x\) 的點任意接近 \(x\) 。 - \(E\) 為閉集，若 \(E\) 包含其全部聚點（等價地：補集為開集）。

基本例子：

運算封閉性（拓撲公理的雛形）：

• 任意一族開集之併是開集；有限多開集之交是開集。
• 任意一族閉集之交是閉集；有限多閉集之併是閉集。
• （無窮交開集不必開： \(\bigcap_{n} (-\frac1n, \frac1n) = \{0\}\) 閉而非開。）

注意「開」與「閉」不是互斥： \(\mathbb{R}\) 與 \(\varnothing\) 皆開皆閉； \(\mathbb{Q}\) 既不開也不閉。「開」是內部性質（每點有餘地），「閉」是極限性質（捕住所有極限）——兩個概念分別服務不同的直觀，不應視為對立。

內部、閉包、邊界#

對 \(E\) 定義：內部 \(E^\circ\) （內點全體，最大開子集）、閉包 \(\overline{E}\) （ \(E\) 加上全部聚點，最小閉超集）、邊界 \(\partial E = \overline{E} \setminus E^\circ\) 。恆有

例子： \(\overline{\mathbb{Q}} = \mathbb{R}\) （稠密）、 \(\mathbb{Q}^\circ = \varnothing\) 、 \(\partial \mathbb{Q} = \mathbb{R}\) 。稠密集： \(\overline{E} = \mathbb{R}^n\) 。疏朗集（nowhere dense）： \(\overline{E}\) 的內部為空，如有限集、Cantor 集（4.2 節）。Baire 綱理論（1.2 節場景三）正是以「疏朗集能否併成全空間」為問題。

緊性的直觀與序列刻畫#

定義（序列緊）： \(K \subseteq \mathbb{R}^n\) 稱為緊集，若 \(K\) 中每個序列都有收斂子列且極限仍落在 \(K\) 中。

由 Bolzano–Weierstrass（1.3 節）立即得：

定理（Heine–Borel 的序列版）： \(K \subseteq \mathbb{R}^n\) 緊 \(\iff\) \(K\) 有界且閉。

證明（ \(\Rightarrow\) ）：不有界則可取 \(\|x_n\| > n\) ，無收斂子列；不閉則取聚點 \(p \notin K\) ，收斂子列極限 \(p \notin K\) ，違反定義。( \(\Leftarrow\) )：有界給出收斂子列（B–W），閉保證極限屬於 \(K\) 。 \(\blacksquare\)

開覆蓋定義（現代標準）： \(K\) 緊，若 \(K\) 的每一族開覆蓋 \(\{U_\alpha\}\) 都有有限子覆蓋。此定義在一般拓撲空間中成為「緊」的正式定義（2.3 節詳述兩種定義的等價與分裂）。

緊性的實用推論：

1. 緊集上連續函數有界且達到最大、最小值（Weierstrass 極值定理）；
2. 緊集上連續函數一致連續（Heine 定理，1872）；
3. 緊集的連續像仍緊（連續性保持緊性）。

\(\varepsilon\) -網與全有界#

全有界（totally bounded）：對任意 \(\varepsilon > 0\) ， \(E\) 可被有限個半徑 \(\varepsilon\) 的球覆蓋。在 \(\mathbb{R}^n\) 中「有界 ⟺ 全有界」，但在無窮維空間不再等價： \(L^2\) 中的單位球有界卻不可能被有限個 \(\varepsilon\) -球覆蓋（因為含無窮多個互相正交的單位向量，彼此距離 \(\sqrt2\) ）。「緊 = 全有界 + 完備」才是無窮維正確的推廣——這句話就是《泛函分析》中 Arzelà–Ascoli 定理與緊算子理論的種子（6.2 節場景、10.1 節）。

一個具體例題#

例題 2.1.1：證明集合 \(K = \{0\} \cup \{1/n : n \in \mathbb{N}\}\) 是緊集；並證明去掉 \(\{0\}\) 後的集合 \(E = \{1/n : n \in \mathbb{N}\}\) 不是緊集。找出 \(E\) 的開覆蓋使其無有限子覆蓋。

解： 1. ** \(E\) 不緊（序列法）：序列 \(x_n = 1/n\) 收斂到 \(0 \notin E\) ，故 \(E\) 不閉，由 Heine–Borel 序列版，不緊。（開覆蓋法）：取 \(U_n = (\frac{1}{n+2}, \frac{1}{n})\) 與 \(U_0 = (\frac12, 2)\) ，此族覆蓋 \(E\) ：點 \(\frac1m\) 落在 \(U_{m-1}\) 。但任何有限子族至多覆蓋有限多個 \(\frac1m\) （每個 \(U_n\) 至多含一個 \(\frac{1}{m}\) ， \(m \le n+1\) 部分另有 \(U_0\) 亦有限），故無有限子覆蓋。 2. ** \(K\) 緊：設 \((x_k)\) 為 \(K\) 中序列。若 \(\{k : x_k = 0\}\) 無窮，取常值子列收斂到 \(0 \in K\) 。否則 \(x_k = 1/n_k\) 且 \(n_k \to \infty\) （因 \(n_k\) 不可能終究有界），取子列 \(n_{k_j} \to \infty\) 單調，則 \(x_{k_j} = 1/n_{k_j} \to 0 \in K\) 。故每個序列有收斂子列且極限在 \(K\) 中， \(K\) 為序列緊。 3. 開覆蓋驗證： \(K\) 有界（ \(\subseteq [0,1]\) ）且閉（聚點只有 \(0\) ，屬於 \(K\) ），由 Heine–Borel 為緊。亦可直接驗證：任何開覆蓋 \(\mathcal{U}\) 必含某 \(V \ni 0\) ， \(V\) 是開球 \(B(0, \varepsilon)\) 之形式，含所有 \(n > 1/\varepsilon\) 的 \(\frac1n\) ；剩下的有限多點 \(\frac1n\) （ \(n \le 1/\varepsilon\) ）各取一個覆蓋集，合併為有限子覆蓋。 \(\blacksquare\)

歷史啟示#

• 從個別定理到公理系統：極值定理、一致連續性最初是對「閉區間」個別證明的；把「閉區間的哪個性質」抽離出來（緊性），是公理化方法的教科書案例。
• 開集比距離更基本：連續性、收斂、緊性都能只用開集定義——這個觀察解放了數學，使分析可以離開 \(\mathbb{R}^n\) 進入函數空間、流形、 \(p\) -進數域。
• 無窮維的教訓：有界不再是緊的近似（ \(\varepsilon\) -網失效），測度論與泛函分析中的每一個緊性定理都是「如何在無窮維找回緊性」的答案。

與其他章節及領域的關聯#

• 1.3 節：Bolzano–Weierstrass 是序列緊性的內容；本節把它「集合化」。
• 2.2 節：連續性的拓撲刻畫（開集原像為開集）以本節語言表述。
• 2.3 節：Heine–Borel 定理的完整證明與覆蓋緊性。
• 4.2 節：Borel \(\sigma\) -代數由開集生成；緊集測度有限在 Radon 測度理論中是關鍵。
• 5.3、10.2 節：Lusin 定理、Lebesgue 微分定理的證明都依賴緊集逼近。
• 《泛函分析》：Riesz 表示定理（對偶 \(C(K)^* =\) 測度）以緊空間 \(K\) 為舞台。

練習#

1. 證明任意開集族之併為開集、有限交為開集，並給出無窮交不開的例子。
2. 證明 \(E\) 為閉 \(\iff\) \(E\) 中序列若收斂則極限屬於 \(E\) 。
3. 計算 \((\mathbb{Q} \cap [0,1])\) 的內部、閉包、邊界。
4. 證明兩個緊集之併與交仍為緊集；任意族緊集之交仍緊，但併可能不緊（舉例）。
5. 思考題：證明 \(\mathbb{R}\) 的開集是至多可數個互不相交開區間的併（這是 4.2 節 Borel 集討論的熱身）。

進階研讀：開閉集的五個深化場景#

場景一：Cantor 集合的「完美」。Cantor 三分集（4.2 節）是非空、緊、疏朗、無孤立點的集合——這種集合稱為完備集（perfect set），是 Cantor 1872 年導集理論的產物；Baire 綱理論證明：非空完備集不可數且「第二綱」。

場景二：半連續性與開集刻畫。函數 \(f\) 為下半連續 \(\iff\) \(\{f > \alpha\}\) 對所有 \(\alpha\) 是開集。測度論中逼近可測函數用半連續函數（5.3 節 Lusin 定理的技術準備），因為半連續函數在緊集上達到上下界且可用階梯逼近。

場景三：距離函數與正規性。對閉集 \(F\) 定義 \(d(x, F) = \inf_{y \in F} |x-y|\) ，則 \(d(\cdot, F)\) 連續、且 \(F = \{x : d(x,F) = 0\}\) 。度量正規性： \(\mathbb{R}^n\) 中任何兩個互斥閉集可用不相交開集分離（Urysohn 引理的度量特例），是 4.2 節構造「近似特徵函數的連續函數」的工具。

場景四：相對拓撲與子空間。 \([0,1]\) 在 \(\mathbb{R}\) 中不開，但在子空間拓撲中 \([0, 1/2)\) 是（相對）開集。「開」是相對於環境空間的性質——理解這一點才能讀懂流形上「局部同胚於開球」的定義。

場景五： \(\mathbb{Q}\) 的病態教學。 \(\mathbb{Q}\) 在 \(\mathbb{R}\) 中稠密但作為空間本身「千瘡百孔」；它的完備化是 \(\mathbb{R}\) （1.2 節），但它的單點緊化或Stone–Čech 緊化給出完全不同的緊化。集合的拓撲性質取決於你把它放進什麼環境——相對性是點集拓撲的靈魂。

名詞速查表#

• 內點／內部：含於某鄰域的點／內點全體（最大開子集）。
• 聚點／閉包：被無窮逼近的點／集合加上聚點（最小閉超集）。
• 開集／閉集：每點有餘地／捕住所有極限的集合。
• 稠密集／疏朗集：閉包為全空間／閉包無內部的集合。
• 緊集：每個序列有收斂子列且極限在集內（序列版）；或每個開覆蓋有有限子覆蓋（覆蓋版）。
• 全有界：可被有限個任意小半徑的球覆蓋；「緊 = 全有界 + 完備」。
• 完備集（perfect）：閉且無孤立點；Cantor 集是標準例子。

年表速查#

• 1872：Cantor 定義導集與完備集（Fourier 唯一性問題）。
• 1882–1893：Jordan《分析教程》各版系統化開閉集。
• 1872：Heine 證明閉區間上連續函數一致連續。
• 1895–1899：Borel、Baire 建立集合理論與綱理論。
• 1902：Lebesgue 論文使用 Borel 集（「Borel–Lebesgue 基礎」）。
• 1914：Hausdorff《集合論基礎》公理化拓撲空間。
• 1922：Banach、1923–1924：Riesz 把緊性推廣到函數空間。

深化問答三則#

問：為何「開」要強調「每點有餘地」，而非「不含邊界點」？ 答：「邊界」本身要用開集定義（ \(\partial E = \overline E \setminus E^\circ\) ），用邊界定義開集是循環。「餘地」版（鄰域包含）是原始定義，且直接對應 \(\varepsilon\) – \(\delta\) 語言：開集性質＝「每個點都有局部誤差容忍度」。

問：緊性為何重要到需要單獨一個詞？ 答：因為它把「無窮多條件」壓縮成「有限條件」：有限覆蓋性質使「對每個點取局部鄰域」的全局論證得以完成。極值定理、一致連續、Lebesgue 數引理、單位分解——所有「局部性質提升為全局性質」的證明，引擎都是緊性。

問： \(\mathbb{Q}\) 既不開也不閉，實用上該怎麼處理？ 答：分別用閉包 \(\overline{\mathbb{Q}} = \mathbb{R}\) （逼近問題）與內部 \(\varnothing\) （測度問題）： \(\mathbb{Q}\) 測度為零（4.2 節），但在拓撲上稠密。同一集合在不同框架下「大小」不同——這正是本書要同時建立拓撲與測度兩套語言的理由。

（本節完）