Royal Road to Topology Chapter XV

Chapter 15: Uniform Structures

一様構造（uniform structure）を、距離／擬距離から「$X\times X$ 上のフィルター」へと抽象化する章。🎯本命ロードマップの第2章。距離・擬距離で個別に定義されていた一様連続性・Cauchy列・完備性・完備化を、フィルターの言葉で統一し、距離化可能性を仮定しない一般の（Hausdorff）位相にまで拡張する。preuniformity（XV.1）→ uniformity／quasi-uniformity（XV.1–2）→ 一様連続性・積・関数空間（XV.3）→ 完備性・完備化（XV.4）→ 一般収束への一様収束構造の拡張（XV.5）という一直線の構成。測度論的確率統計への到達目標では、完備距離空間・完備化・Cauchy フィルターの一般論として、確率過程の存在定理（完備な距離空間での極限の存在）の位相的土台を与える章。

数学的意味（原著より）

章冒頭：metric の道具を非距離化へ持ち上げる

著者は、uniform continuity / uniform convergence を metric から始めて、functionally regular topology には擬距離族、全位相には quasi-pseudometric が必要になるという歴史的動機を示す。その上で $X\times X$ 上のフィルターによる抽象化へ進み、uniformity と quasi-uniformity を同一フレームで扱う。

出典: refs/math/topology/royal-road-to-topology/pdfs/chp15-2024-uniform-structures.pdf p.334

XV.1–2：preuniformity から uniformity への段階

Definition XV.1.1 で preuniformity（$\Delta\subset\ker\mathcal{R}$）を導入し、XV.2 で quasi 条件と対称性を満たす uniformity へ進む。著者はこの段階化により、位相の一般性を失わずに「距離に似た計算規則」を回復する設計を取る。

出典: p.334–335, p.341

完備化・測度論ターゲットへの橋

本章の到達点は完備化の一般論であり、完備性・Cauchy フィルター・積での保存を距離空間を超えて統一する。これは後続の測度論的収束や関数空間で使う「極限の存在」を、位相的に保証する基盤として機能する。

出典: p.347 以降（XV.4）

XV.1. Preuniformities

XV.2. Uniformities

XV.3. Operations

XV.4. Completeness

XV.5. Supplement

章の背骨

[!IMPORTANT] preuniformity → semi-uniformity ∩ quasi-uniformity = uniformity という分解が章全体を貫く $$\text{preuniformity（$\Delta\subset\ker\mathcal{R}$ のフィルター）};\supset;\begin{cases}\text{semi-uniformity（}\mathcal{R}^-=\mathcal{R}\text{）} \ \text{quasi-uniformity（三角不等式 }S^2\subset R\text{）}\end{cases};\supset;\text{uniformity（両方）}$$

preuniformity は pretopology しか誘導しない。

quasi-uniformity になって初めて誘導される収束が位相になる（cards/topology/prop-xv-1-12-quasi-uniformity-induces-topology）——任意の位相は quasi-uniformizable（Pervin, cards/topology/prop-xv-1-14-pervin-quasi-uniformity）。

uniformity（対称な quasi-uniformity）になって初めて、擬距離のゲージによる距離化補題（cards/topology/lemma-xv-2-4-metrization-lemma）が使え、uniformizable ⟺ functionally regular（Weil の定理, cards/topology/thm-xv-2-6-weil-uniformizability）という決定的な同値性に至る。

完備性も同じ二分法を反復する: quasi-uniformity では complete と convergence-complete が真に分岐しうる（cards/topology/example-xv-4-8-complete-quasi-uniformity-non-convergence-complete）が、局所対称性（cards/topology/prop-xv-4-9-locally-symmetric-complete-convergence-complete）や真の対称性（uniformity, cards/topology/prop-xv-4-11-closed-subspace-complete-characterization）があれば古典的な「complete = 閉 = 収束」の直感が回復する。章の到達点は、任意の uniform 空間の完備化の存在と一意性（cards/topology/cor-xv-4-15-uniform-completion-existence）——距離化可能性を仮定しない、距離空間の完備化定理（cards/topology/metric-completion-theorem）の完全な一般化。

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

本書 Mathlib
preuniformity（$X\times X$ 上のフィルター）該当なし（Mathlib の UniformSpace は最初から対称・quasi-uniformity 条件を組み込む）
quasi-uniformity 該当なし（非対称版は Mathlib 未収録、IsQuasiUniformity 相当なし）
uniformity（Definition XV.2.1） UniformSpace（entourage フィルター 𝓤 X、comp・symm 公理が quasi-uniformity＋対称性に対応）
uniformizable（Weil の定理） UniformSpace.ofCompleteLattice 等の構成、T35Space（completely regular）との対応は Mathlib.Topology.UniformSpace.Basic 周辺
uniform continuity UniformContinuous
uniform isomorphism UniformEquiv
$\mathcal{R}$-Cauchy filter Cauchy（Filter.Cauchy、entourage による定義）
complete / convergence-complete CompleteSpace（Mathlib は対称 UniformSpace のみ扱うため両者の区別自体が現れない）
完備化 UniformSpace.Completion
距離化補題（Lemma XV.2.4） UniformSpace.metrizable_iff_countably_generated 等（Mathlib.Topology.UniformSpace.Metrizable）
積 uniformity Pi.uniformSpace（UniformSpace のインスタンス、有限積・可算積）

本書	Mathlib
preuniformity（$X\times X$ 上のフィルター）	該当なし（Mathlib の `UniformSpace` は最初から対称・quasi-uniformity 条件を組み込む）
quasi-uniformity	該当なし（非対称版は Mathlib 未収録、`IsQuasiUniformity` 相当なし）
uniformity（Definition XV.2.1）	`UniformSpace`（entourage フィルター `𝓤 X`、`comp`・`symm` 公理が quasi-uniformity＋対称性に対応）
uniformizable（Weil の定理）	`UniformSpace.ofCompleteLattice` 等の構成、`T35Space`（completely regular）との対応は `Mathlib.Topology.UniformSpace.Basic` 周辺
uniform continuity	`UniformContinuous`
uniform isomorphism	`UniformEquiv`
$\mathcal{R}$-Cauchy filter	`Cauchy`（`Filter.Cauchy`、entourage による定義）
complete / convergence-complete	`CompleteSpace`（Mathlib は対称 `UniformSpace` のみ扱うため両者の区別自体が現れない）
完備化	`UniformSpace.Completion`
距離化補題（Lemma XV.2.4）	`UniformSpace.metrizable_iff_countably_generated` 等（`Mathlib.Topology.UniformSpace.Metrizable`）
積 uniformity	`Pi.uniformSpace`（`UniformSpace` のインスタンス、有限積・可算積）

反例の要点: preuniformity の conjugate は Hausdorff 性を保存しない（cards/topology/example-xv-1-5-hausdorff-not-conjugate-hausdorff）。quasi-uniformization は topologizer と可換でない（cards/topology/example-xv-1-18-topologizer-quasi-uniformization-strict）。quasi-uniformity では complete と convergence-complete が分岐し（cards/topology/example-xv-4-8-complete-quasi-uniformity-non-convergence-complete）、complete な部分空間が閉とは限らない（cards/topology/example-xv-4-10-complete-subspace-not-closed）——これらはすべて非対称性（quasi- の “quasi”）が原因であり、真の uniformity（対称）に限れば古典的な直感が回復する。
測度論への視線: 完備化定理（cards/topology/cor-xv-4-15-uniform-completion-existence）は、距離化可能性を仮定しない一般 Hausdorff uniform 空間の完備化の存在と一意性を保証する——確率過程の見本空間や測度の拡張（外測度による完備化）を、位相的に最も一般の形で正当化する土台。Weil の定理（uniformizable ⟺ functionally regular）は、測度論で頻出する「距離化可能とは限らないが十分正則な空間」（例えば弱位相を入れた測度の空間）に uniform 構造を与えられるかどうかの判定条件を与える。Cauchy フィルターの一般論は、測度の弱収束や確率変数の $L^p$ 収束を、距離に頼らず filter の言葉で統一的に扱うための語彙を提供する。
深入り禁止: XV.5（一般収束への uniform convergence structure の拡張）は本文でも「hint」程度の扱いで、詳細な理論（syntopogenous structure 等）には立ち入らない。quasi-uniformity の非対称性が生む病的な反例（Example XV.1.18 の bisequence 等）も、定義と主要な対比を押さえるに留め、深入りしない。前提章 XIII（Connected and Disconnected Topologies）・XIV（Extensions and Compactifications）は本章の内容と独立（本章の証明・定義はいずれも第I・III・V・VI・VIII・IX・X・XII章の概念のみに依拠）なので、スタブ章ノートも辞書カードも作成していない。