Royal Road to Topology Chapter XXIV

Chapter 24: Spaces of Maps

写像の空間 $C(\xi,\sigma)$ 上に収束をどう定義するかを、圏論的な随伴（指数化・転置・adjoint map）の言葉で統一的に扱う、🎯本命ロードマップの最終章。中心となるのは $\sigma$-dual（natural／continuous）convergence $[\xi,\sigma]$（XXIV.1）——「評価写像 $\mathrm{ev}$ を連続にする最粗の収束」という普遍性で特徴づけられ、指数法則 $[\xi\times\tau,\sigma]\approx[\tau,[\xi,\sigma]]$（Theorem XXIV.3.2, XXIV.3）でカルテシアン閉圏の構造を持つことが示される。超収束（部分集合の収束）は $\sigma=$$（Sierpiński 空間）への特殊化として本章の枠組みに埋め込まれ（XXIV.4）、各点収束・compact-open topology・Isbell/Scott topology は共通の「前像を通じた引き戻し」構成（preimagewise convergence, XXIV.6）の特殊ケースとして統一される（XXIV.5）。この統一が consonance（XXIV.7：compact-open と Isbell topology が一致する性質）の理論に直結し、最後に古典的な Ascoli–Arzelà 定理を「evenly continuous な集合の compactoid 性」という形に収束空間の言葉で完全一般化する（Theorem XXIV.8.6・8.7, XXIV.8）。関数空間上の測度論（弱収束・汎関数の空間・確率過程の見本空間）というプロジェクトの到達目標に最も直結する章。

数学的意味（原著より）

章冒頭：写像空間の収束は解析・測度論への共通基盤

著者は冒頭で、写像空間の収束は理論的関心だけでなく解析や測度論への応用のために重要だと述べる。連続写像空間における収束の選び方が、点ごとの収束の失敗例（極限が非連続）をどう補正するかが章の導入課題である。

出典: refs/math/topology/royal-road-to-topology/pdfs/chp24-2024-spaces-of-maps.pdf p.582–583

XXIV.1：dual convergence は評価写像連続性の最粗解

XXIV.1 で定義される $[\xi,\sigma]$ は「評価写像を連続にする最粗の収束」として特徴づけられる。著者は pointwise 収束では不足する場面に対し、この普遍性が自然な修正原理になることを明示する。

出典: p.583–584

指数法則から Ascoli–Arzelà へ

本章後半では指数法則と compact-open / Isbell / preimagewise の統一を経て、Ascoli–Arzelà を収束空間版へ拡張する。写像空間上の compactness 判定を一般収束で扱える形にしたことが、測度論ターゲット（弱収束・過程空間）への直接的な橋になる。

出典: p.590 前後（XXIV.3）, p.607 以降（XXIV.8）

XXIV.0. Introduction

XXIV.1. Dual (Natural) Convergence

XXIV.2. Exponentiation, Transposition, and Adjoint Maps

XXIV.3. Exponential Law

XXIV.4. Hyperconvergences as Dual Convergences

XXIV.5. Other Convergences on Function Spaces

XXIV.6. A Unification of Functional Convergences and Hyperconvergences

XXIV.7. Consonance

XXIV.8. Compactness in Function Spaces

章の背骨

[!IMPORTANT] すべては「評価写像 $\mathrm{ev}$ を連続にする最粗の収束」という一つの普遍性から生まれる $$[\xi,\sigma] := \text{coarsest } \theta \text{ on } C(\xi,\sigma) \text{ such that } \mathrm{ev}\in C(\xi\times\theta,\sigma)$$ この dual（natural）convergence の普遍性が、指数法則 $[\xi\times\tau,\sigma]\approx[\tau,[\xi,\sigma]]$（cards/topology/thm-xxiv-3-2-exponential-law）という「カリー化の位相版」に直結し、$\times$ と $[\cdot,\cdot]$ が随伴対をなすカルテシアン閉圏的な構造を与える。超収束は $\sigma=$$ への特殊化（cards/topology/dollar-dual-kuratowski-scott-convergences）にすぎず、各点収束・compact-open・Isbell/Scott topology は共通の枠組み（cards/topology/preimagewise-convergence、preimagewise construction）の特殊ケースとして一直線に並ぶ: $$p(\xi,\sigma) \leq k(\xi,\sigma) \leq \kappa(\xi,\sigma) \leq T[\xi,\sigma] \leq [\xi,\sigma]$$ （cards/topology/prop-xxiv-5-7-8-11-hierarchy-consonance-criterion）。最初の不等号 $k=\kappa$ が等号になるかどうかが consonance（cards/topology/consonant-topology、第XX章）の定義そのもの——正則・可算完備（第XXIII章）な位相はすべて consonant（cards/topology/thm-xxiv-7-2-countably-complete-regular-consonant）だが $\mathbb{Q}$ は dissonant。章の到達点は、この統一的な言語の上に立つ Ascoli–Arzelà 定理の収束空間版（cards/topology/thm-xxiv-8-6-7-ascoli-arzela-compactoid-characterization）: 「evenly continuous（cards/topology/evenly-continuous-family）＋各点 compactoid」が「natural convergence で compactoid」と完全に同値になる。

[!NOTE] 本書 ↔ Mathlib 規約ブリッジ（写像の空間編）

本書 Mathlib
$C(\xi,\sigma)$（連続写像の空間） C(X, Y)（ContinuousMap）
$\sigma$-dual／natural convergence $[\xi,\sigma]$ ContinuousMap.compactOpen に近い役割だが一般収束版は該当なし（Mathlib は位相のみ扱う）
指数法則 $[\xi\times\tau,\sigma]\approx[\tau,[\xi,\sigma]]$ ContinuousMap.curry／ContinuousMap.uncurry（局所コンパクト空間での指数法則）
compact-open topology $k(\xi,\sigma)$ ContinuousMap.compactOpen（CompactOpen 位相）
各点収束 $p(\xi,\sigma)$ Pi.topologicalSpace 経由（cards/topology/pointwise-convergence 参照）
Isbell／Scott topology $\kappa(\xi,\sigma)$ 該当なし（domain theory 寄りの概念、Mathlib 未収録）
Consonance 該当なし
Evenly continuous family 該当なし（equicontinuity は EquicontinuousAt／ArzelaAscoli 関連補題として存在）
Ascoli–Arzelà（収束空間版） Mathlib.Topology.Compactness.EquicontinuousOfCompactOfArzelaAscoli 等（前提は距離化可能／一様空間）
可算完備性（第XXIII章） CompleteSpace（一様空間版のみ、収束空間の一般 $\mathcal{P}$-completeness は該当なし）

本書	Mathlib
$C(\xi,\sigma)$（連続写像の空間）	`C(X, Y)`（`ContinuousMap`）
$\sigma$-dual／natural convergence $[\xi,\sigma]$	`ContinuousMap.compactOpen` に近い役割だが一般収束版は該当なし（Mathlib は位相のみ扱う）
指数法則 $[\xi\times\tau,\sigma]\approx[\tau,[\xi,\sigma]]$	`ContinuousMap.curry`／`ContinuousMap.uncurry`（局所コンパクト空間での指数法則）
compact-open topology $k(\xi,\sigma)$	`ContinuousMap.compactOpen`（`CompactOpen` 位相）
各点収束 $p(\xi,\sigma)$	`Pi.topologicalSpace` 経由（cards/topology/pointwise-convergence 参照）
Isbell／Scott topology $\kappa(\xi,\sigma)$	該当なし（domain theory 寄りの概念、Mathlib 未収録）
Consonance	該当なし
Evenly continuous family	該当なし（equicontinuity は `EquicontinuousAt`／`ArzelaAscoli` 関連補題として存在）
Ascoli–Arzelà（収束空間版）	`Mathlib.Topology.Compactness.EquicontinuousOfCompactOfArzelaAscoli` 等（前提は距離化可能／一様空間）
可算完備性（第XXIII章）	`CompleteSpace`（一様空間版のみ、収束空間の一般 $\mathcal{P}$-completeness は該当なし）

反例の要点: 連続写像の各点収束極限は連続とは限らない（cards/topology/example-xxiv-0-2-pointwise-limit-not-continuous、$f_n(x)=x^n\to\chi_{{1}}$）——これが dual convergence の必要性の出発点。Inverse point topology $\xi^\circ$ は $\xi$ より細かいとは限らない（cards/topology/example-xxiv-4-2-inverse-point-topology-not-finer）。Bisequence・Arens・radial topology・$\mathbb{Q}$ はいずれも dissonant（cards/topology/example-xxiv-7-4-5-6-dissonant-spaces）——cards/topology/thm-xxiv-7-2-countably-complete-regular-consonant の十分条件（正則・可算完備）のどちらかを欠くことがいずれの反例にも共通する。
測度論への視線: 指数法則と natural convergence の理論は、関数解析・測度論で頻出する「汎関数の空間」「弱収束位相」を収束空間の言葉で統一的に扱うための土台——確率測度の弱収束位相や、確率過程を「見本空間への写像の空間上の収束」として捉える視点に直結する。Ascoli–Arzelà 型定理（cards/topology/thm-xxiv-8-6-7-ascoli-arzela-compactoid-characterization）は、確率過程の緊密性（tightness）・弱収束の相対コンパクト性判定（古典的には Prokhorov の定理・Kolmogorov の連続性定理の背後にある考え方）の位相的な原型。Consonance（cards/topology/consonant-topology）は、超収束・弱位相の「コンパクト集合による生成」が保証される空間のクラスを与え、測度の弱位相での相対コンパクト性の議論の基礎になりうる。
深入り禁止: XXIV.2 の Lemma XXIV.2.8（reflector/coreflector の稠密性による積の混合性質の縮約）は、第XXVI章（Modified Duality）への布石として一般的に述べられるのみで、その応用自体は本章では展開されない——本章では証明の骨格（cards/topology/reflector-coreflector-density-criterion の直接適用）のみを押さえ、第XXI・XXVI章での実際の応用は割愛。第XXV章（Duality）が本格的に展開する $[\xi,$_0]$・$[\xi,$_1]$ の双対性理論も、本章では「超収束が dual convergence の特殊ケースである」という埋め込み（XXIV.4）までに留める。
前提章の依存性（検証結果）: 本章は第III・IV・V・VI・VII・VIII・IX・X・XII・XV章（いずれも既カード化済み）の概念に主に依拠し、それらは既存カードにリンクした（cards/topology/pointwise-convergence・cards/topology/uniform-convergence-metrizable・cards/topology/equicontinuous-family・cards/topology/bisequence-pretopology・cards/topology/topologizer-noncommutativity（Arens）・cards/topology/radial-topology 等）。issue #17 が想定していた第XXIII章（Completeness）への依存は、本文中に番号引用こそ無いが、Theorem XXIV.7.2・Corollary XXIV.7.3 が「可算完備性」の技術装置（cards/topology/countably-complete-convergence）に実質的に依拠しており確認された。加えて、issue の想定になかった第XX章（Compactness、12箇所の明示引用：$\kappa(\xi)$・consonant の定義そのもの・Isbell/Scott topology の基礎・$K=K_{\mathrm{her}}$）と第XVII章（Structural Aspects：離散化子 $\mathrm{Dis}$・reflector/coreflector の稠密性判定）も、第XXIII章と同等以上に本質的な依存だったため、同じスタブ章ノート＋辞書カードの前例（chapter5/6, chapter16/18）に従い 20_Literature/royal_road_to_topology/chapter20・20_Literature/royal_road_to_topology/chapter17・20_Literature/royal_road_to_topology/chapter23 を新規作成した。