拓撲空間（Topology Space）

Basis
最後更新: 標籤: 拓撲學

先備知識

你迄今遇到的所有「接近性」概念——收斂、極限、連續——都是以距離函式來定義的。這在 Rn\mathbb{R}^n 中運作得非常出色，但數學與計算機科學中許多自然出現的空間根本沒有合理的距離概念。**拓撲空間（topological space）**讓你保留所有這些理論，同時完全拋棄距離函式。

度量空間的關鍵洞察

在度量空間（metric space）(X,d)(X, d) 中，子集 U⊆XU \subseteq X 被稱為開集（open set），當 UU 中每個點都有一個完全包含在 UU 內的開球（open ball）：

U 是開集  ⟺  ∀x∈U, ∃r>0:B(x,r)⊆U.U \text{ 是開集} \iff \forall x \in U,\ \exists r > 0 : B(x, r) \subseteq U.

一旦你擁有這個開集族，就可以僅用開集的成員關係來重新表述每一個主要概念——收斂、連續、連通。距離函式本身從陳述中消失了。

這便是關鍵洞察：開集承擔了所有工作，距離函式只是生成開集的一種方式。

拓撲的公理

停下來思考一個問題：度量空間中的開集族實際上具有哪些性質？你可以對任意度量空間驗證三個事實：

  1. 空集 ∅\varnothing 和全集 XX 都是開集。
  2. 任意多個開集的聯集（即使是無限個）也是開集。
  3. 有限個開集的交集也是開集。

注意，無限個開集的交集不要求是開集：在 R\mathbb{R} 中，⋂n=1∞(−1n,1n)={0}\bigcap_{n=1}^{\infty} \left(-\tfrac{1}{n}, \tfrac{1}{n}\right) = \{0\} 是單點集，是閉集而非開集。

這三個事實現在被當作公理。拓撲拋掉了一切，只保留這三條性質所需的結構。

定義。 集合 XX 上的一個**拓撲（topology）**是 XX 的子集族 τ⊆P(X)\tau \subseteq \mathcal{P}(X)，滿足：

(T1)∅∈τ 且 X∈τ,(1)\text{(T1)} \quad \varnothing \in \tau \text{ 且 } X \in \tau, \tag{1} (T2)若對所有 α∈I 均有 Uα∈τ，則 ⋃α∈IUα∈τ,(2)\text{(T2)} \quad \text{若對所有 } \alpha \in I \text{ 均有 } U_\alpha \in \tau，\text{則 } \bigcup_{\alpha \in I} U_\alpha \in \tau, \tag{2} (T3)若 U1,…,Un∈τ，則 U1∩⋯∩Un∈τ.(3)\text{(T3)} \quad \text{若 } U_1, \ldots, U_n \in \tau，\text{則 } U_1 \cap \cdots \cap U_n \in \tau. \tag{3}

序對 (X,τ)(X, \tau) 稱為拓撲空間。τ\tau 中的元素稱為該拓撲的開集。

每個度量空間都自動是拓撲空間：取 τ\tau 為所有在度量意義下開的集合——三條公理成立，如你上面所驗證的。

三個基本範例

離散拓撲

設 XX 為任意集合，令 τ≔P(X)\tau \coloneqq \mathcal{P}(X)——XX 的每個子集都宣告為開集。這就是離散拓撲（discrete topology）。你可以立即驗證 T1–T3：子集的聯集和有限交集仍是子集。

離散拓撲是 XX 上「最細」的拓撲：它有最多的開集。它對應於離散度量（x≠yx \neq y 時 d(x,y)=1d(x, y) = 1），其中每個單點集 {x}\{x\} 都是一個開球。

密著拓撲

另一個極端，令 τ≔{∅,X}\tau \coloneqq \{\varnothing, X\}——只有空集和全集是開集。這是密著拓撲（indiscrete topology）（也稱為平凡拓撲）。T1 由定義直接滿足；T2 和 T3 只涉及兩個集合，化簡為簡單情形。

密著拓撲是「最粗」的拓撲：它有最少的開集。超過一個點的集合無法由任何度量生成這種拓撲。

度量拓撲

給定度量空間 (X,d)(X, d)，集合

τd≔{U⊆X:∀x∈U, ∃r>0:B(x,r)⊆U}\tau_d \coloneqq \{ U \subseteq X : \forall x \in U,\ \exists r > 0 : B(x, r) \subseteq U \}

是 XX 上的一個拓撲，稱為由 dd 誘導的度量拓撲（metric topology）。這是度量空間與拓撲空間之間的橋樑：每個度量空間都透過此構造「成為」一個拓撲空間，但並非每個拓撲空間都來自某個度量。

開集與閉集

子集 C⊆XC \subseteq X 是閉集（closed set），若其補集 X∖CX \setminus C 是開集。

請注意：「閉」在日常語言中並不是「開」的反義詞。集合可以是：

  • 開集但非閉集：R\mathbb{R} 中標準度量拓撲下的 (0,1)(0, 1)。
  • 閉集但非開集：同一拓撲下的 [0,1][0, 1]。
  • 既開又閉（clopen）：∅\varnothing 和 XX 永遠是 clopen。在不連通的空間中，還存在其他 clopen 集。
  • 既非開集又非閉集：R\mathbb{R} 中的 [0,1)[0, 1)。

將 T1–T3 透過德摩根定律轉換到閉集，得到：

  • ∅\varnothing 和 XX 是閉集。
  • 有限多個閉集的聯集是閉集。
  • 任意個閉集的交集（即使無限個）是閉集。

這是一幅有用的對偶圖像，你將反覆看到它。

比較同一集合上的拓撲

同一集合 XX 上可以有兩個不同的拓撲。若 τ1⊆τ2\tau_1 \subseteq \tau_2——τ1\tau_1 的每個開集也是 τ2\tau_2 的開集——則稱 τ2\tau_2 比 τ1\tau_1 更細（finer）（τ1\tau_1 比 τ2\tau_2 更粗（coarser））。更細意味著更多開集；更多開集意味著更精細的「接近性」概念。

離散拓撲比 XX 上的所有其他拓撲都細。密著拓撲比 XX 上的所有其他拓撲都粗。

一般而言，同一集合上的兩個拓撲不必是可比的：它們可能互不包含。

為何要拋棄度量？

收穫是廣泛的推廣性。以下兩個空間具有自然的拓撲，但沒有明顯的度量：

  • Zariski 拓撲：定義在代數簇上，開集是多項式零點集的補集。這是代數幾何的核心，並透過代數 KK 理論最終影響到型別系統和程式語言語義。
  • Scott 拓撲：定義在偏序集上，開集是「在有向上確界下封閉的上集」。這個拓撲是**指稱語義（denotational semantics）**的數學基礎——正是用來為遞迴程式賦予精確含義的框架。

在拓撲空間的一般性框架下工作，你可以用一套定義在所有這些場合談論連續性、收斂性和緊緻性。

摘要

  • 拓撲空間 (X,τ)(X, \tau) 是集合 XX 配以一族開集 τ\tau，滿足三條公理：∅\varnothing 和 XX 是開集（T1）；開集的任意聯集是開集（T2）；開集的有限交集是開集（T3）。
  • 每個度量空間透過取所有度量意義下的開集作為 τ\tau，給出一個拓撲空間。
  • 離散拓撲（τ=P(X)\tau = \mathcal{P}(X)）是最細的；密著拓撲（τ={∅,X}\tau = \{\varnothing, X\}）是最粗的。
  • 集合是閉集當且僅當其補集是開集；集合可以是開集、閉集、兩者兼是（clopen）或兩者皆非。
  • 一個拓撲比另一個更細，當且僅當它包含更多開集。
  • 這種抽象去掉了距離，只保留開集結構——這已足夠在更廣泛的場合定義連續性、收斂性和連通性。