Royal Road to Topology Chapter VII

Chapter 7: Topological Structures

「位相 = adherence が冪等な前位相」の一行から、閉集合・開集合・近傍・連続性の開閉集合特徴づけ・topologizer・Sierpiński 位相による埋め込みまでを組み立てる章。標準的な位相空間論（Mathlib の TopologicalSpace）が、本書の収束構造の言語の中でどう特殊化されるかを示す要（重要ロードマップ VII–X の先頭）。第III章で公理化した収束のうち pretopology のさらに特別な場合として位相がここで定義される（20_Literature/royal_road_to_topology/reader-guide Preface p.vii 参照）。

数学的意味（原著より）

章冒頭：位相 = 冪等な前位相

位相 (topology) は adherence が冪等な前位相 (pretopology) である。位相はもっとも知られ研究されている収束だが、本書では前位相の特別な場合として現れる。予告どおり、位相のクラスは一般の収束や前位相のクラスより扱いにくい——だからより広い視点から位相に取り組む。それでも位相のクラスは構造的欠点があっても収束理論の中核をなす。

出典: refs/math/topology/royal-road-to-topology/pdfs/chp7-2024-topological-structures.pdf p.128

VII.1：Kuratowski 閉包の意味

一般の収束 $\xi$ について、$\xi$-closed 集合 $A$ は $\operatorname{adh}\xi A \subset A$ と同値（Proposition VII.1.1）。各 $A$ について $A$ を含む最小の $\xi$-closed 集合 $\operatorname{cl}\xi A$（閉包）が存在する（Proposition VII.1.5）。閉包演算は Kuratowski 公理 (a)–(e) を満たし、とくに冪等性 $\operatorname{cl}\xi(\operatorname{cl}\xi A) = \operatorname{cl}\xi A$ を持つ（Proposition VII.1.6）。$\operatorname{adh}\xi$ が冪等であることは $\operatorname{adh}\xi = \operatorname{cl}\xi$ と同値（Corollary VII.1.8）——これが「前位相から位相へ」の橋。

出典: p.129–130

VII.3：前位相から位相への upgrade

収束 $\theta$ が topology であるとは、$\theta$ が前位相であり、かつ各 $A$ について $\operatorname{adh}\theta(\operatorname{adh}\theta A) \subset \operatorname{adh}\theta A$（Definition VII.3.1）——すなわち adherence が冪等——であること。位相 $\theta$ では $\operatorname{adh}\theta = \operatorname{cl}\theta$ となり、$\lim\theta \mathcal{F} = \bigcap_{A \in \mathcal{F}^{#}} \operatorname{cl}_\theta A$（Corollary VII.3.3）。位相間の連続性は開集合・閉集合の逆像で特徴づけられる（Proposition VII.3.9）——一般の収束ではこの同値性は成り立たない。

出典: p.133–135

VII.7 Supplement：古典的定義との往復

伝統的には位相は開集合系、または閉包演算で定義される（Sierpiński, Kuratowski 等）。開集合系 $(X,\mathcal{O})$ から $x \in \lim_{\tau_\mathcal{O}} \mathcal{F} \iff \mathcal{O}(x) \subset \mathcal{F}$ で収束 $\tau_\mathcal{O}$ を定め、Proposition VII.7.1 により $\mathcal{O}{\tau\mathcal{O}} = \mathcal{O}$ —— 本書の「収束による位相の定義」と「開集合系による古典的定義」が完全に同値であることの正当化。

出典: p.145–146

VII.1. Closed Sets, Closure

VII.2. Open Sets, Interior, Neighborhoods

VII.3. Topologies

VII.4. Structure of the Class of Topologies

VII.5. Initial Density of the Sierpiński Topology

VII.6. *Remarks on Convergence of Nets

VII.7. Supplement

章の背骨

[!NOTE] 本書 ↔ 第III章への橋 第III章（20_Literature/royal_road_to_topology/chapter3）で公理化した収束のうち、各点 $x$ について vicinity filter $V_\xi(x)$ が $x$ に収束するものが前位相 (pretopology)。位相はそのさらに特別な場合——adherence $\operatorname{adh}_\theta$ が冪等な前位相（Definition VII.3.1, Corollary VII.1.8）。Preface p.vii どおり、位相空間は収束空間の特別な場合としてここで現れる。

[!IMPORTANT] 位相 = adherence が冪等な前位相 $$\theta \text{ が topology} \iff \theta \text{ は前位相} \wedge \operatorname{adh}\theta(\operatorname{adh}\theta A) \subset \operatorname{adh}\theta A\ (\forall A)$$ 冪等性が成り立つと $\operatorname{adh}\theta = \operatorname{cl}\theta$（cards/topology/cor-vii-1-8）。ここから閉集合系 $\mathcal{C}\theta$・開集合系 $\mathcal{O}\theta$ が Kuratowski/古典的公理を満たし、$\lim\theta \mathcal{F} = \bigcap_{A\in\mathcal{F}^{#}} \operatorname{cl}_\theta A$（cards/topology/prop-vii-3-2-lim-via-closure）という近傍フィルター版の収束が得られる。

演算子前位相版（第VI章）位相版（第VII章）差
集合演算子 $\operatorname{adh}_\xi$ $\operatorname{cl}_\theta$ 冪等性
修正子 $S_0$（pretopologizer） $T$（topologizer） $S_0$ は始収束・積と可換、$T$ は非可換（cards/topology/topologizer-noncommutativity）
initially dense 元 Bourdaud 前位相 $\mathbb{U}$ Sierpiński 位相 $$$ どちらも3点/2点の極小試験空間

演算子	前位相版（第VI章）	位相版（第VII章）	差
集合演算子	$\operatorname{adh}_\xi$	$\operatorname{cl}_\theta$	冪等性
修正子	$S_0$（pretopologizer）	$T$（topologizer）	$S_0$ は始収束・積と可換、$T$ は非可換（cards/topology/topologizer-noncommutativity）
initially dense 元	Bourdaud 前位相 $\mathbb{U}$	Sierpiński 位相 $$$	どちらも3点/2点の極小試験空間

[!NOTE] 本書 ↔ Mathlib 規約ブリッジ（位相構造編）

本書 Mathlib
$\mathcal{C}\theta$ / $\mathcal{O}\theta$ IsClosed / IsOpen
$\operatorname{cl}\theta A$ / $\operatorname{int}\theta A$ closure / interior
$\mathcal{N}_\theta(x)$ nhds x（𝓝 x）
$f \in C(\xi,\tau)$ の開集合特徴づけ continuous_def（IsOpen.preimage）
古典的定義 $(X,\mathcal{O})$（VII.7） TopologicalSpace（構造そのもの）
Net（VII.6）補助概念。Mathlib は Filter.Tendsto を優先（本書と同じ哲学）

本書	Mathlib
$\mathcal{C}\theta$ / $\mathcal{O}\theta$	`IsClosed` / `IsOpen`
$\operatorname{cl}\theta A$ / $\operatorname{int}\theta A$	`closure` / `interior`
$\mathcal{N}_\theta(x)$	`nhds x`（`𝓝 x`）
$f \in C(\xi,\tau)$ の開集合特徴づけ	`continuous_def`（`IsOpen.preimage`）
古典的定義 $(X,\mathcal{O})$（VII.7）	`TopologicalSpace`（構造そのもの）
Net（VII.6）	補助概念。Mathlib は `Filter.Tendsto` を優先（本書と同じ哲学）

反例の要点: adherence が冪等でない前位相は位相にならない — bisequence（cards/topology/bisequence-pretopology）・radial（cards/topology/radial-pretopology）・Bourdaud（cards/topology/bourdaud-pretopology）はいずれも反例。topologizer $T$ は部分空間・上限・積と可換しない（Arens topology、cards/topology/topologizer-noncommutativity）— pretopologizer $S_0$ との非対称性が「位相のクラスは扱いにくい」の技術的根拠。
測度論への視線: Sierpiński 位相への埋め込み（cards/topology/thm-vii-5-2-sierpinski-initially-dense）は可測空間の生成位相・特性関数による分離公理の原型。閉集合とフィルターの双対（Cor VII.3.3）は測度の外測度構成における単調族との類推。
深入り禁止: 第V・VI章（grill・pretopologizer・Bourdaud 前位相など）は本章読解に必要な最小限のみ辞書カード化（20_Literature/royal_road_to_topology/chapter5・20_Literature/royal_road_to_topology/chapter6 参照）。本格カード化はしない。