Royal Road to Topology Chapter IX

Chapter 9: Topological Concepts

分離公理（$T_0$〜正規）・基底（weight・density）・コンパクト性の位相版特徴づけ・写像の型（開・閉・商・完全）という、一般位相空間論の「道具箱」を一堂に集める章。抽象的な収束の言語で組み立てた第VII・VIII章の機構が、ここで古典的な位相空間論の語彙（Hausdorff・正則・正規・第2可算・コンパクト・商写像）に完全に翻訳される。重要ロードマップ VII–X の第3章、全27ページと最大の分量。

数学的意味（原著より）

IX.1 冒頭：分離公理を「近傍フィルター」で読み直す

IX.1 は $T_0,T_1,T_2$ を開集合の言葉で述べるだけでなく、Hausdorff 条件を近傍フィルターの mesh 条件 $\mathcal{N}(x_0)#\mathcal{N}(x_1)\Rightarrow x_0=x_1$ と同値に置き換える。第III章の収束言語で導入した分離概念を、位相の古典語彙へ戻して照合する節である。

出典: refs/math/topology/royal-road-to-topology/pdfs/chp9-2024-topological-concepts.pdf p.162

対角集合閉性：Hausdorff の構造的意味

Proposition IX.1.2 は「Hausdorff であること」と「対角集合 $\Delta(X)$ が $\xi\times\xi$-閉であること」を同値化する。分離公理を点ごとの条件から、積空間の閉集合条件へ翻訳しており、連続写像の一致集合が閉になる（Lemma IX.1.3）という後続の道具を生む。

出典: p.162–164

基底・写像・商：古典位相の道具箱を収束から回収する

本章後半では weight（可算基）・開写像/閉写像/商写像・完全写像が並行して扱われ、VII–VIII章で得た収束的主張を一般位相の実務的語彙へ接続する。とくに「topologically quotient」は位相を終対象として再構成する観点を明示する。

出典: p.170 前後（IX.2）, p.176–177（IX.4）

IX.1. Topological Separation

IX.2. Bases

IX.3. Compact, Countably Compact, and Lindelöf Topologies

IX.4. Open, Closed, Topologically Quotient, and Perfect Maps

IX.5. Supplement

章の背骨

[!IMPORTANT] 分離公理の階層と、それぞれが「近傍フィルターの基」で言い換わる構造 $$T_0 \prec T_1(\text{free}) \prec T_2(\text{Hausdorff}) \prec T_3(\text{regular}+\text{free}) \prec T_4(\text{normal}+\text{free})$$ 各段は「近傍フィルターがどんな基を持つか」に翻訳できる:

性質近傍による特徴づけ
Hausdorff $\mathcal{N}(x_0)#\mathcal{N}(x_1)\implies x_0=x_1$（Prop IX.1.1）
regular ${\operatorname{cl}W:W\in\mathcal{N}(x)}\geq\mathcal{N}(x)$（閉集合の基、Cor IX.1.7）
normal ${\operatorname{cl}W:W\in\mathcal{N}(F)}\geq\mathcal{N}(F)$（閉集合族に一般化、Prop IX.1.17）

Hausdorff + compact は無料で regular + normal を手に入れる（cards/topology/hausdorff-compact-regular-normal）— 「有限個への圧縮」が分離条件を自動的に強化する、コンパクト空間論の核心。

性質	近傍による特徴づけ
Hausdorff	$\mathcal{N}(x_0)#\mathcal{N}(x_1)\implies x_0=x_1$（Prop IX.1.1）
regular	${\operatorname{cl}W:W\in\mathcal{N}(x)}\geq\mathcal{N}(x)$（閉集合の基、Cor IX.1.7）
normal	${\operatorname{cl}W:W\in\mathcal{N}(F)}\geq\mathcal{N}(F)$（閉集合族に一般化、Prop IX.1.17）

[!NOTE] 本書 ↔ Mathlib 規約ブリッジ（分離公理・基底・写像編）

本書 Mathlib
$T_0/T_1/T_2/T_3/T_4$ T0Space/T1Space（SeparatedNhds 系）/T2Space/RegularSpace+T1Space/NormalSpace+T1Space
Base / subbase TopologicalSpace.IsTopologicalBasis / TopologicalSpace.generateFrom
Weight / second countable TopologicalSpace.SecondCountableTopology
Topologically quotient map Topology.IsQuotientMap
Open/closed map IsOpenMap / IsClosedMap
Nowhere dense / meager IsNowhereDense / Meager

本書	Mathlib
$T_0/T_1/T_2/T_3/T_4$	`T0Space`/`T1Space`（`SeparatedNhds` 系）/`T2Space`/`RegularSpace`+`T1Space`/`NormalSpace`+`T1Space`
Base / subbase	`TopologicalSpace.IsTopologicalBasis` / `TopologicalSpace.generateFrom`
Weight / second countable	`TopologicalSpace.SecondCountableTopology`
Topologically quotient map	`Topology.IsQuotientMap`
Open/closed map	`IsOpenMap` / `IsClosedMap`
Nowhere dense / meager	`IsNowhereDense` / `Meager`

反例の要点: Niemytzki 平面（Hausdorff・正則だが非正規、cards/topology/niemytzki-plane）と Sierpiński 位相（正規だが非正則、cards/topology/sierpinski-normal-not-regular）は分離公理の階層がどちらの方向にも一方通行であることを示す好対照。Sorgenfrey 線は「距離化可能性が破れる」ことを weight/density の乖離で具体的に示す（cards/topology/zero-dimensional-sorgenfrey-weight）。
測度論への視線: 「dense / nowhere dense / meager / residual」（cards/topology/density-related-terms）はベール圏定理・零集合論の位相的骨格そのもの。正則・$T_1$・second countable ⟹ 正規（cards/topology/regular-countable-weight-normal）は Urysohn の距離化定理の前段であり、可分距離空間上の測度論（Borel 集合の生成、正則測度）の舞台を用意する。
深入り禁止: Thm IX.5.16（point-finite 被覆の縮小補題）と Lemma IX.5.17 は paracompactness の準備にあたる発展的な（*付き）定理のためカード化を見送った。必要になれば第XX章以降の読解時に追加する。