Skip to content
Journals Garden

Royal Road to Topology Chapter X

Chapter 10: Functional Study of Topologies

Section titled “Chapter 10: Functional Study of Topologies”

「位相と、そこで定義される実数値連続関数との相互作用」を扱う、全47ページ・章中最大の章。距離・完備性・ベールのカテゴリー定理という解析学の基礎から、関数的分離公理（Urysohn・Tietze・完全正規）、関数的始収束＝完全正則性、Tikhonov立方体への埋め込み、Urysohnの距離化定理、Stone–Weierstraßの定理まで、測度論的確率統計への到達目標に直結する内容が集中する。重要ロードマップ VII–X の最終章。

数学的意味（原著より）

Section titled “数学的意味（原著より）”

章冒頭：位相を「実数値連続関数」で読む

Section titled “章冒頭：位相を「実数値連続関数」で読む”

著者は本章の目的を、位相と実数値連続関数の相互作用（functional study）と明示する。関数族が位相を決め、逆に収束が連続関数のクラスを決めるという双方向性が章全体の主題であり、X.9 で functionally regular と functionally initial の一致へ収束する。

出典: refs/math/topology/royal-road-to-topology/pdfs/chp10-2024-functional-study-of-topologies.pdf p.189

X.4：Baire category theorem の位置づけ

Section titled “X.4：Baire category theorem の位置づけ”

Theorem X.4.15 は「完備距離化可能空間は第一類ではない」を与える中核定理として提示される。著者はこれを topology と analysis の双方で最も道具的な結果の一つと位置づけ、以後の非正規例や完備化議論の技術基盤として使う。

出典: p.202

X.9：Urysohn 距離化定理への到達

Section titled “X.9：Urysohn 距離化定理への到達”

X.9 の終盤で、free（$T_1$）・regular・可算 weight から距離化可能性を導く Urysohn 距離化定理（X.9.14）が与えられる。正則性・可算基・Urysohn 補題で作る可算関数族を通じ、位相を可算次元立方体へ埋め込み、距離へ落とし込む流れが章の到達点である。

出典: p.228–229

X.1. The Real Line

Section titled “X.1. The Real Line”

X.2. Real-Valued Functions

Section titled “X.2. Real-Valued Functions”

X.3. More on Metrics and Metrizable Topologies

Section titled “X.3. More on Metrics and Metrizable Topologies”

X.4. Completely Metrizable Topologies

Section titled “X.4. Completely Metrizable Topologies”

X.5. Completion

Section titled “X.5. Completion”

X.6. Functionally Closed and Open Sets

Section titled “X.6. Functionally Closed and Open Sets”

X.7. Functional Separation

Section titled “X.7. Functional Separation”

X.8. *A Non-Trivial Regular Topology with Each Continuous Function Constant

Section titled “X.8. *A Non-Trivial Regular Topology with Each Continuous Function Constant”

X.9. Functionally Initial Topologies

Section titled “X.9. Functionally Initial Topologies”

X.10. Supplement

Section titled “X.10. Supplement”

章の背骨

Section titled “章の背骨”

[!IMPORTANT] 関数的正則性 = 関数的始収束 = 擬距離化可能性（Theorem X.9.5・Prop X.9.7） $$\xi \text{ が functionally regular} \iff \xi = R^\nu_\xi \iff \xi \text{ が pseudometrizable}$$ この三位一体が章全体の到達点。そこへ至る道筋:

段階定理内容
正規 → 関数的分離Urysohn の補題（X.7.8）位相的分離から関数的分離を「無料で」引き出す
関数的分離 → 拡張Tietze 拡張定理（X.7.10）部分集合上の連続関数を全体へ延長
関数的正則 → 埋め込みTikhonov 立方体埋め込み（Cor X.9.12）$T_{3\frac12}$ 空間は $I^\kappa$ に埋め込み可能
+ 第2可算 → 距離化Urysohn の距離化定理（X.9.14）regular + $T_1$ + 可算 weight ⟹ 距離化可能

位相的分離と関数的分離は独立（Example X.7.7、Theorem X.8.5 の極端な反例: Hausdorff・正則だが連続関数が定数のみ）— この非自明な乖離こそが「なぜ関数的正則性という追加の公理が必要か」の理由。

[!NOTE] 本書 ↔ Mathlib 規約ブリッジ（関数的位相論編）

本書Mathlib
$\nu_-,\nu_+$（下・上収束）なし相当（LowerSemicontinuous/UpperSemicontinuous が直接の言語）
完備距離 / Cauchy フィルターCompleteSpace / Cauchy
ベールのカテゴリー定理dense_iInter_of_isOpen（BaireSpace）
完備化UniformSpace.Completion
Urysohn の補題 / Tietze 拡張exists_continuous_zero_one_of_isClosed / TietzeExtension
完全正則 / Tikhonov 立方体CompletelyRegularSpace（該当）
Urysohn の距離化定理UrysohnMetrizable（T1Space+RegularSpace+SecondCountableTopology ⟹ MetrizableSpace）
Stone–WeierstraßContinuousMap.stoneWeierstrass
  • 反例の要点: $\mathbb{Q}$ は完備距離化不可能（ベールのカテゴリー定理の直接の帰結、cards/topology/completely-metrizable-topology）。Niemytzki 平面は関数的正則だが非正規（cards/topology/hausdorff-regular-non-functionally-regular-example と対、Baire カテゴリー定理を使った非正規性の別証明）。Sorgenfrey 平面は正規性が積で保存されない好例（cards/topology/sorgenfrey-perfectly-normal-plane-not-normal）。
  • 測度論への視線: ベールのカテゴリー定理は測度論の零集合・第一類集合の位相的対応物。Urysohn/Tietze は可測関数の構成・拡張の位相的原型。Tikhonov 立方体埋め込みは確率過程の有限次元分布からの構成（Kolmogorov 拡張）の位相的舞台。Polish 空間（可分完備距離化可能、$G_\delta$ 部分集合の保存則、cards/topology/g-delta-f-sigma-sets）は確率論の標準的な台空間。Stone–Weierstraß は $L^p$ 空間での多項式・単関数近似の位相的基盤。
  • 深入り禁止: X.8（*付き、Hausdorff・正則だが連続関数が定数のみという極端な反例の構成）は結果と技法の骨子のみ1枚に集約し、詳細な商構成の反復は割愛。