Royal Road to Topology Chapter XII

Chapter 12: Compact Topologies

コンパクト性を adherent filter の言葉で研究する、🎯本命ロードマップの先頭章。Bolzano–Weierstraß から Cantor–Peano に至る歴史的経緯（XII.1）を経て、コンパクト性の弱い変種（countably/sequentially/locally/hemi/σ-compact、XII.2–4）、Cantor 集合の位相的構成（XII.5）、濃度論的側面（XII.6）、そして章の中心である Stone–Čech コンパクト化（XII.7）、almost disjoint family（XII.8, *）、超収束・半連続性（XII.9, *）を経て、一般 weight への Cantor 立方体埋め込み定理（XII.10）に至る。測度論的確率統計（標準確率空間・Cantor 集合上の測度）への到達目標に直結する章。

数学的意味（原著より）

章冒頭：compactness を列からフィルターへ読み替える

著者は冒頭で、compactness は位相・解析の中心概念であり、本章では「adherent filter」の言葉で位相的に扱うと宣言する。XII.1 では Bolzano–Weierstraß から Borel・Lebesgue・Cantor・Peano への流れを辿り、列ベースの理解からフィルターベースの理解へ視点を移すこと自体が本章の主題である。

出典: refs/math/topology/royal-road-to-topology/pdfs/chp12-2024-compact-topologies.pdf p.252–254

XII.7：Stone topology から Stone–Čech へ

XII.7 では超フィルター全体 $\beta X$ に canonical な Hausdorff compact topology（Stone topology）を入れる。ここで Stone transform を通じて「集合上のフィルター情報」と「コンパクト空間の閉集合構造」が接続され、後半の Stone–Čech コンパクト化の普遍性へ到達する道筋が作られる。

出典: p.269–271

測度論ターゲットへの橋

Cantor 集合・Stone 空間・コンパクト化の議論は、測度を載せる標準台空間の構成（コンパクト距離化可能空間の連続像、同値類空間への拡張）の土台になる。著者が本章を「Chapter XX での一般 compactness 再訪」の準備と明言する点は、後続の関数空間・測度収束章への布石である。

出典: p.252（章冒頭）, p.269 以降（XII.7 導入）

XII.1. A Short Story of Compactness

XII.2. Compact Sets in Topological Spaces

XII.3. Weaker Variants of Compactness

XII.4. Sequentially Compact Topologies

XII.5. The Cantor Set

XII.6. *Cardinality Aspects

XII.7. The Stone Topology

XII.8. *Almost Disjoint Families

XII.9. *Hyperconvergences and Semicontinuities

cards/topology/hyperconvergence-lower-semicontinuity

XII.10. Supplement

章の背骨

[!IMPORTANT] コンパクト性の4つの特徴づけは、Euclid 空間でしか一致しない（Prop XII.1.11） $$\text{フィルター（mesh）} \iff \text{列コンパクト} \iff \text{可算被覆} \iff \text{任意被覆} \quad (\text{Euclid 空間のみ})$$ 一般の収束空間ではこの4つ組がバラバラに分岐する — 章の後半（XII.3・XII.4）はその分岐先の地図を描く作業:

変種定義の核 Euclid/距離化可能での位置
countably compact 可算基のフィルターの adherence が非空 compact の直接の弱化
sequentially compact 任意の点列が収束部分列を持つ距離化可能なら countably compact と一致
pseudocompact 実数値連続関数が有界 normal + Hausdorff なら countably compact と一致（cards/topology/prop-xii-3-3-countably-compact-pseudocompact）
locally / hemi / σ-compact 各点／可算個のコンパクト集合による被覆可算 weight なら hemicompact ⟺ locally compact（cards/topology/prop-xii-3-13-hemicompact-locally-compact）

Stone–Čech コンパクト化の普遍性（Thm XII.7.17・XII.7.19）が章の到達点: 任意の集合 $X$ は、Hausdorff コンパクト空間への写像をすべて一意に連続拡張できる最大のコンパクト化 $\beta X$ を持ち、この普遍性そのものが $\beta X$ を（同相を除いて）一意に特徴づける。$\beta X$ の閉集合は $X$ 上のフィルター全体と順序同型（Thm XII.7.11）— 「フィルターの理論」と「コンパクト空間の幾何」が Stone 変換を通じて同一視される。

変種	定義の核	Euclid/距離化可能での位置
countably compact	可算基のフィルターの adherence が非空	compact の直接の弱化
sequentially compact	任意の点列が収束部分列を持つ	距離化可能なら countably compact と一致
pseudocompact	実数値連続関数が有界	normal + Hausdorff なら countably compact と一致（cards/topology/prop-xii-3-3-countably-compact-pseudocompact）
locally / hemi / σ-compact	各点／可算個のコンパクト集合による被覆	可算 weight なら hemicompact ⟺ locally compact（cards/topology/prop-xii-3-13-hemicompact-locally-compact）

[!NOTE] 本書 ↔ Mathlib 規約ブリッジ（コンパクト位相編）

本書 Mathlib
$\xi$-compactoid IsCompact（部分集合版そのもの）
countably compact CountablyCompactSpace相当（明示の型クラスは限定的）
sequentially compact IsSeqCompact
pseudocompact 該当型クラスなし（Bornology/有界性経由で個別に記述）
locally compact LocallyCompactSpace
Cantor 集合 Mathlib.Topology.MetricSpace.CantorScheme（一般化構成）
超フィルター空間 $\beta X$ Ultrafilter X（Ultrafilter.instTopologicalSpace・instCompactSpace・instT2Space）
Stone–Čech 普遍性 Ultrafilter.extend／ultrafilterExtend
Hewitt–Marczewski–Pondiczery 該当なし（Mathlib.Topology.Separation 周辺に断片あり）

本書	Mathlib
$\xi$-compactoid	`IsCompact`（部分集合版そのもの）
countably compact	`CountablyCompactSpace`相当（明示の型クラスは限定的）
sequentially compact	`IsSeqCompact`
pseudocompact	該当型クラスなし（`Bornology`/有界性経由で個別に記述）
locally compact	`LocallyCompactSpace`
Cantor 集合	`Mathlib.Topology.MetricSpace.CantorScheme`（一般化構成）
超フィルター空間 $\beta X$	`Ultrafilter X`（`Ultrafilter.instTopologicalSpace`・`instCompactSpace`・`instT2Space`）
Stone–Čech 普遍性	`Ultrafilter.extend`／`ultrafilterExtend`
Hewitt–Marczewski–Pondiczery	該当なし（`Mathlib.Topology.Separation` 周辺に断片あり）

反例の要点: compactoid の閉包は compactoid とは限らない（cards/topology/compactoid-not-closure-compactoid）。コンパクトと点列コンパクトは互いに独立（非可算積 ${0,1}^{[0,1]}$ vs Σ-積、cards/topology/compact-not-sequentially-compact-cube と cards/topology/sequentially-compact-not-compact-sigma-product）。pseudocompact だが normal でない位相は countably compact にならない（cards/topology/almost-disjoint-topology-properties の MAD 位相）。
測度論への視線: Cantor 集合（cards/topology/cantor-set-construction）はコンパクト距離化可能空間の普遍的な連続像の源（cards/topology/prop-xii-5-7-compact-metrizable-image-of-cantor-set）— 標準確率空間・Borel 同型定理の位相的土台。Stone–Čech コンパクト化は有界連続関数環 $C_b(X)$ のスペクトルとして測度論的積分の拡張（Riesz 表現・有限加法的測度）の舞台になる。Hewitt–Marczewski–Pondiczery の定理は非可算積の可分性という、確率過程の見本空間の構成で頻出する現象の位相的説明。
深入り禁止: XII.6（*濃度論的側面）・XII.8（*almost disjoint families）・XII.9（*超収束と半連続性）はいずれも本文中に * が付く発展的補足。定義と主要定理のみをカード化し、詳細な濃度計算・グラフ閉性の理論の反復は割愛（第XX・XXI・XXVII章で再訪の予定）。