Royal Road to Topology Chapter VIII

Chapter 8: Adherences, Covers, and Compactness

第VII章の「1点・1集合の adherence」を任意の集合族（特にフィルター）へ拡張し、被覆（cover）の言語に翻訳したうえで、コンパクト性を「全フィルターが adherent」という一行で定義する章。Heine–Borel・Tikhonov・「開被覆は有限部分被覆を持つ」という古典的定理がすべてこの一行から導出される、重要ロードマップ VII–X の第2章。

数学的意味（原著より）

章冒頭：adherence を集合族へ拡張する動機

著者は第VII章までで使ってきた「集合の adherence」を、ここで任意の集合族（とくに filter）へ拡張すると宣言する。収束の議論を「一点集合」「単一集合」の言語に閉じず、被覆・コンパクト性のような全体的性質へ接続するための準備段階である。

出典: refs/math/topology/royal-road-to-topology/pdfs/chp8-2024-adherences-covers-and-compactness.pdf p.149

VIII.3：コンパクト性の核は「全フィルターが adherent」

VIII.3 の冒頭で、compact は「任意のフィルターが adherent」であることとして定義される。ここから超フィルター版、Heine–Borel、連続像での保存、Tikhonov の積定理へ進む。古典的定理群は別々の事実ではなく、この filter 版の一行の展開として現れる。

出典: p.156–157

開被覆有限部分被覆は filter 定義の位相的翻訳

位相の場合、compact 性は「任意の開被覆が有限部分被覆を持つ」と同値（Corollary VIII.3.8）。著者はこの開被覆形式を compact の本質そのものではなく、一般収束での定義から得られる位相的特殊化として位置づける。

出典: p.158

VIII.1. Adherences

VIII.2. Covers and Inherences

VIII.3. Compact Convergences

VIII.4. Supplement

章の背骨

[!IMPORTANT] コンパクト = 全フィルターが adherent $$\xi \text{ が compact} \iff \forall \mathcal{H}\in\mathfrak{F}X,\ \operatorname{adh}\xi\mathcal{H}\neq\emptyset \iff \forall \mathcal{U}\in\beta X,\ \lim{}_\xi\mathcal{U}\neq\emptyset$$ この一行から古典的定理への道筋:

一般形（本章）位相での特殊化古典的な名前
$\operatorname{adh}_\xi\mathcal{H}\neq\emptyset$（全フィルター）イデアル $\mathcal{P}$ で $X=\operatorname{inh}_\xi\mathcal{P}\implies X\in\mathcal{P}$ —
（上記、開集合のイデアルに特殊化）開被覆 $\mathcal{Q}$ に有限部分被覆 Corollary VIII.3.8
射影 $p_i\in C(\xi,\xi_i)$ の連続性で保存各成分がコンパクト ⟺ 積がコンパクト Tikhonov の定理
区間の adherence 計算（二分法）閉かつ有界 Heine–Borel

非対称性に注意: 閉部分集合はコンパクト性を無条件に継承する（cards/topology/closed-subset-compactness-inheritance、分離公理不要）が、逆（コンパクト⟹閉）は Hausdorff 性が本質的に必要（cards/topology/compact-hausdorff-implies-closed、反例 cards/topology/compact-not-closed-example）。

一般形（本章）	位相での特殊化	古典的な名前
$\operatorname{adh}_\xi\mathcal{H}\neq\emptyset$（全フィルター）	イデアル $\mathcal{P}$ で $X=\operatorname{inh}_\xi\mathcal{P}\implies X\in\mathcal{P}$	—
（上記、開集合のイデアルに特殊化）	開被覆 $\mathcal{Q}$ に有限部分被覆	Corollary VIII.3.8
射影 $p_i\in C(\xi,\xi_i)$ の連続性で保存	各成分がコンパクト ⟺ 積がコンパクト	Tikhonov の定理
区間の adherence 計算（二分法）	閉かつ有界	Heine–Borel

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

本書 Mathlib
$\xi$ compact（全空間） CompactSpace
$A$ が $\xi$-compact（部分集合） IsCompact A
超フィルターの収束による定義 isCompact_iff_ultrafilter_le_nhds
開被覆の有限部分被覆 isCompact_iff_finite_subcover
Tikhonov の定理 Pi.compactSpace / isCompact_pi_infinite
Heine–Borel isCompact_Icc、Metric.isCompact_iff_isClosed_bounded
コンパクト⟹閉（Hausdorff） IsCompact.isClosed（[T2Space]）

本書	Mathlib
$\xi$ compact（全空間）	`CompactSpace`
$A$ が $\xi$-compact（部分集合）	`IsCompact A`
超フィルターの収束による定義	`isCompact_iff_ultrafilter_le_nhds`
開被覆の有限部分被覆	`isCompact_iff_finite_subcover`
Tikhonov の定理	`Pi.compactSpace` / `isCompact_pi_infinite`
Heine–Borel	`isCompact_Icc`、`Metric.isCompact_iff_isClosed_bounded`
コンパクト⟹閉（Hausdorff）	`IsCompact.isClosed`（`[T2Space]`）

反例の要点: Sierpiński 位相 $$_0$ で ${0}$ はコンパクトだが閉でない（Hausdorff性の欠如、cards/topology/compact-not-closed-example）。$1/x$ の例（cards/topology/example-viii-4-3-inverse-function-discontinuous）はグラフ閉と連続性の非対称を示す。円周の例（cards/topology/adherence-finite-intersections-caveat）は族の adherence が「元の交叉」の adherence より真に大きくなりうることを示す。
測度論への視線: フィルター基のコンパクト性議論（二分法・超フィルターの押し出し）は測度の外測度構成や Prokhorov の定理（測度の緊密性）の位相的土台。Tikhonov の定理は無限直積測度の存在（Kolmogorov 拡張定理）を支える位相的基盤そのもの。
深入り禁止: 本章はコンパクト性の一般論の第一歩。可算コンパクト・Lindelöf のより深い性質（積での非保存の反例等）は第XII・XX章に先送り（本文中の明示的な forward reference）。