関数の集まりを空間にする（コンパクト開位相と写像空間）

$X$ から $Y$ への連続写像を全部集めた $Map (X, Y)$ に、位相を入れたい。どんな位相を入れるべきかは、決めごとではなく答えのある問いです^[1]。

要求はひとつ。 $F : Z \times X \to Y$ が連続であることと、 $F$ をカリー化した $F_{*} : Z \to Map (X, Y)$ が連続であることが同値になってほしい。この要求を満たす位相を書き下すと、コンパクト開位相が出てきます。

カリー化から始める

集合のレベルでは、 $Z \times X \to Y$ の写像と $Z \to Func (X, Y)$ の写像がぴったり対応します^[1]。

$F_{*} (z) (x) = F (z, x)$

$F$ が連続なら、各 $z$ について $F_{*} (z) : X \to Y$ も連続。だから $F_{*}$ の行き先を $Map (X, Y)$ にとれます。

問題は $F_{*}$ 自身の連続性です。それを問うには $Map (X, Y)$ に位相が要る。

$Z \times X \to Y$ の連続写像

$Z \to Map (X, Y)$ の連続写像

2 方向の条件に分ける

位相 $T$ が下側許容であるとは、連続な $F$ から $F_{*}$ の連続性が出ることをいいます^[1]。

上側許容であるとは、逆に $F_{*}$ が連続なら $F$ も連続になることをいう。両方を満たすものを許容位相と呼びます。

粗い位相ほど下側許容になりやすく、細かい位相ほど上側許容になりやすい。密着位相はいつでも下側許容、離散位相はいつでも上側許容です^[1]。

下側許容

粗いほど成り立ちやすい。密着位相は無条件で満たす

上側許容

細かいほど成り立ちやすい。離散位相は無条件で満たす

両側から挟むので、許容位相があるとすれば 1 つに決まります^[1]。上側許容な位相はどれも下側許容な位相より細かい、という比較が効いてくる。

評価写像が鍵になる

評価写像とは、写像と点を受けとって値を返す関数のことです^[1]。

$ev : Map (X, Y) \times X \to Y, ev (f, x) = f (x)$

位相 $T$ が上側許容であることと、 $ev$ が連続であることは同値です^[1]。証明は $ev_{*}$ が恒等写像になることを使うだけ。

上側許容という抽象的な条件が、1 本の写像の連続性に置きかわります。

局所コンパクト性が要る

許容位相はいつでもあるわけではありません。 $X$ が完全正則で $Map (X, R)$ に許容位相があるなら、 $X$ は局所コンパクトになります^[1]。

$Q$ は完全正則ですが局所コンパクトではない。だから $Map (Q, R)$ には許容位相が存在しません^[1]。

関数空間に「良い位相」が入るかどうかが、もとの空間の局所コンパクト性で決まる。定義を選ぶ前に、選べるかどうかが問われています。

コンパクト開位相の定義

$K \subseteq X$ がコンパクト、 $U \subseteq Y$ が開集合のとき、次の集合を考えます^[1]。

$W (K, U) = {f \in Map (X, Y) : f (K) \subseteq U}$

これらを準基底として生成される位相がコンパクト開位相です^[3]。基底は有限個の $W (K_{i}, U_{i})$ の共通部分になります。

「あるコンパクト集合の上で、値が指定の開集合に収まっている」。これが基本的な条件になります。

常に半分は満たす

コンパクト開位相は、どんな $X$ と $Y$ に対しても下側許容です^[1]。連続な $F$ からは、いつでも $F_{*}$ の連続性が出ます。

上側許容になるかどうかが残りの半分。 $X$ が局所コンパクトハウスドルフなら、こちらも成り立って許容位相になります^[3]。

しかも、そういう $X$ に対しては最小の位相になる。評価写像を連続にする位相の中でいちばん粗いものです^[3]。

コンパクト開位相は、評価写像を連続にする最小の位相という形で特徴づけられます。

条件を満たすぎりぎりまで粗くとった位相だと読める。

指数法則

$X$ が局所コンパクトハウスドルフなら、次の同相が成り立ちます^[2]。

$Map (Z \times X, Y) ≅ Map (Z, Map (X, Y))$

集合としての対応が、位相まで込めて成り立つという主張です。圏論の言葉でいえば、 $- \times X$ と $Map (X, -)$ が随伴になる^[2]。

局所コンパクトな空間が指数対象を持つ、と言いかえられます。逆に局所コンパクトでない $X$ では、この法則が破れることがある^[1]。

コンパクト一様収束と一致する

$Y$ が距離空間 $(Y, d)$ のとき、コンパクト開位相はコンパクト集合上の一様収束の位相と一致します^[2]。

つまり $f_{n} \to f$ となるのは、どのコンパクト集合 $K$ についても次が成り立つときです。

$x \in K sup d (f_{n} (x), f (x)) \to 0$

$X$ 自身がコンパクトなら、条件はただの一様収束になります。 $C ([0, 1], R)$ に上限ノルムで入る位相が、この場合にあたる。

一様収束は各点収束より強い条件です。コンパクト開位相を選ぶことで、極限が連続関数のまま残ります。

分離公理の遺伝

$Y$ がハウスドルフなら、コンパクト開位相を入れた $Map (X, Y)$ もハウスドルフです^[3]。

$Y$ が完全正則なら、 $Map (X, Y)$ も完全正則になります^[3]。行き先の性質がそのまま関数空間へ移る形。

いっぽう距離化可能性はそのままでは移りません。 $Y$ が距離空間でも、 $X$ の側でコンパクト集合が可算個で足りるかどうかが効いてきます。

例：ループ空間と道の空間

$Ω Y = Map (S^{1}, Y)$ をループ空間と呼びます。 $S^{1}$ はコンパクトハウスドルフなので、指数法則がそのまま使える^[2]。

$P Y = Map ([0, 1], Y)$ が道の空間。ホモトピーを $[0, 1] \times X \to Y$ と見るか、 $X \to P Y$ と見るかを行き来できます。

ホモトピー論でこの位相が標準になっているのは、行き来が位相を保ったまま成り立つためです。

関数空間	$X$ の側	性質
$C ([0, 1], R)$	コンパクト	一様収束、完備
$C (R, R)$	$σ$ コンパクト	コンパクト一様収束
$Map (Q, R)$	局所コンパクトでない	許容位相がない

例：多項式の列が収束する場所

$f_{n} (x) = (1 + \frac{x}{n})^{n}$ を $C (R, R)$ の中で見ます。

各コンパクト区間 $[- R, R]$ の上では $e^{x}$ へ一様収束します。だからコンパクト開位相では $f_{n} \to e^{x}$ 。

いっぽう $R$ 全体での一様収束は成り立ちません。 $x$ を大きくとると差が広がるためです。コンパクト集合ごとに測る位相のほうが、実際の収束を素直に拾えます。

$Map (Q, R)$ に許容位相が存在しないのはなぜですか。

$Q$ が可算だから
$Q$ が局所コンパクトでないから
$R$ が完備でないから

__RESULT__

完全正則な $X$ に対して $Map (X, R)$ に許容位相があれば、 $X$ は局所コンパクトになります。 $Q$ は完全正則ですが、どの点のどんな近傍もコンパクトになりません。可算性は関係なく、 $R$ は完備です。

どの位相を選ぶかではなく、要求を満たす位相があるかどうか。そこから逆算すると、コンパクト開位相と局所コンパクト性がひとそろいで現れます。

出典

Bernard Badzioch. *Mapping Spaces*. MTH 427/527 Introduction to Topology, University at Buffalo.

Compact-open topology. nLab.

Compact-open topology. Encyclopedia of Mathematics.

$\mathrm{Map}(X, Y)$ にどんな位相を入れるかは、好みではなく答えのある問いです。$Z \times X \to Y$ の連続性とカリー化した写像の連続性が一致してほしい、と要求すれば位相が絞られます。片側は評価写像の連続性に置きかわり、両側そろえば位相は 1 つに決まる。しかも許容位相が存在すること自体が、もとの空間の局所コンパクト性を要求します。$\mathrm{Map}(\mathbb{Q}, \mathbb{R})$ には入りません。答えとして現れるコンパクト開位相の定義、指数法則、距離空間ならコンパクト一様収束と一致すること、ループ空間と道の空間まで。