ここではhomotopy論において用いる用語や事実のうち、位相空間論の範囲に収まることを整備します。まずはhomotopy自体の導入から始め、連続写像の集合におけるコンパクト開位相の導入とその使う範囲での基本事項の紹介、そして、位相空間について縮約懸垂・ループ空間をとる操作の随伴性を示すことを目標とします。
まずは記号を整備します。$X$ を位相空間、$A$ をその部分空間とするとき、対 $(X, A)$ のことを空間対といいます。便宜的に単なる位相空間 $X$ を空集合上の自明な位相空間との対 $(X, \varnothing)$ により空間対と考える場合もあります。空間対 $(X, A)$ から $(Y, B)$ への連続写像を連続写像 $f : X\to Y$ であって $f(A)\subset B$ を満たすものとして定義し、空間対の間の連続写像であることを明示するために $f : (X, A)\to (Y, B)$ のように表します。空間対 $(X, A)$ から $(Y, B)$ への連続写像全体からなる集合を $C((X, A), (Y, B))$ により表します。$A = B = \varnothing$ であれば通常の $C(X, Y)$ と本質的には同じものです。
また、この空間対とその間の連続写像の概念は複数の部分空間に直ちに一般化され、例えば、位相空間 $X$ とその部分空間 $A, A'$ に対して位相空間の $3$ 組 $(X, A, A')$ を考えることができ、それらの間の連続写像 $f : (X, A, A')\to (Y, B, B')$ とは連続写像 $f : X\to Y$ であって $f(A)\subset B$ かつ $f(A')\subset B'$ を満たすものを意味し、それら全体からなる集合は $C((X, A, A'), (Y, B, B'))$ と書くことにします。ただし、位相空間 $3$ 組 $(X, A, A')$ については状況によって $A'\subset A$ という条件を課すのが自然な場合も多いので、そういうときはそのように解釈することにします。
$A$ が一点 $\{x_{0}\}$ の場合の空間対 $(X, A)$ は $(X, x_{0})$ と書いて基点付き空間と呼び、$x_{0}$ をその基点と呼びます。ここでは基点付き空間を単にラテン文字の大文字 $X$ などで表したときにはその小文字に添字 $0$ を付けた $x_{0}$ などが基点を表すことにし、その他の場合も特に記号を導入しなければ記号 $*$ などで基点を表すことにします。基点付き空間 $(X, x_{0})$ から $(Y, y_{0})$ への連続写像とは連続写像 $f : X\to Y$ であって $f(x_{0}) = y_{0}$ を満たすもののことであり、これを基点を保つ連続写像とも呼ぶことにします。そして、基点付き空間 $(X, x_{0})$ から $(Y, y_{0})$ への連続写像全体からなる集合 $C((X, x_{0}), (Y, y_{0}))$ を $C(X, Y)_{0}$ とも書くことにします。
また、位相空間の $3$ 組 $(X, A, A')$ であって $A'\subset A$ かつ $A'$ が一点 $\{x_{0}\}$ であるものを $(X, A, x_{0})$ や単に $(X, A)$ と書いて基点付き空間対と呼びます。これについても同様に $C((X, A, x_{0}), (Y, B, y_{0}))$ を $C((X, A), (Y, B))_{0}$ とも表すことにします。
空間対 $(X, A)$, $(Y, B)$ が与えられたとき、その直積を\[(X, A)\times (Y, B) = (X\times Y, (X\times B)\cup (A\times Y))\]により定めることにします。部分空間側をそれぞれ補集合で置き換えれば $(X, A^{c})$, $(Y, B^{c})$, $(X\times Y, A^{c}\times B^{c})$ なので、部分空間側を直積の形で定義しても本質的には変わらないのですが、位相幾何学においては通常この形で直積を定義します。ただし、基点付き空間 $(X, x_{0})$, $(Y, y_{0})$ の直積については $(X\times Y, (x_{0}, y_{0}))$ を考えることで再び基点付き空間を得られるため文脈に応じてそのように考えることもあります。
連続写像全体からなる集合 $C(X, Y)$ などにhomotopyによる関係を導入します。以下、単位区間 $[0, 1]$ を $I$ により表すとします。また、連続写像 $H : X\times I\to Y$ が与えられたとき、各 $t\in I$ に対して $H_{t}$ により制限 $H|_{X\times \{t\}} : X\times \{t\}\to Y$ を表すとします。ただし、$H_{t}$ の定義域 $X\times \{t\}$ は $X$ と同一視して区別しないことにします。
明らかですが、homotopyによる関係が同値関係を与えていることを確かめておきます。全て同じなので $C(X, Y)$ についてのみ考えます。
$X, Y$ を位相空間とする。$C(X, Y)$ に定めたhomotopyによる関係 $\sim$ は同値関係である。
反射律。$f\in C(X, Y)$ に対して常に $H_{t} = f$ して定まる連続写像 $H : X\times I\to Y$ が $f$ を $f$ につなぐhomotopyなので $f\sim f$ です。
対称律。$f\sim g\in C(X, Y)$ に対して $f$ を $g$ につなぐhomotopy $H$ を取り、$G_{t} = H_{1 - t}$ により連続写像 $G : X\times I\to Y$ を定義すればこれが $g$ を $f$ につなぐhomotopyなので $g\sim f$ です。
推移律。$f, g, h\in C(X, Y)$ が $f\sim g$ かつ $g\sim h$ を満たしているとします。$F : X\times I\to Y$ を $f$ を $g$ につなぐhomotopyとし、$G : X\times I\to Y$ を $g$ を $h$ につなぐhomotopyとします。このとき、連続写像 $H : X\times I\to Y$ を\[H_{t} = \left\{\begin{array}{ll}F_{2t} & (0\leq t\leq 1/2) \\G_{2t - 1} & (1/2\leq t\leq 1)\end{array}\right.\]により定めれば、これが $f$ を $h$ につなぐhomotopyであり $f\sim h$ です。
従って、この同値関係による商集合を考えることができます。
homotopyによる同値関係に関する商集合たちを\[[X, Y] = C(X, Y)/{\sim}, \ [(X, A), (Y, B)] = C((X, A), (Y, B))/{\sim},\]\[[X, Y]_{0} = C(X, Y)_{0}/{\sim}, \ [(X, A), (Y, B)]_{0} = C((X, A), (Y, B))_{0}/{\sim}\]と表すことにし、それぞれhomotopy集合と呼ぶ。homotopy集合の各元をhomotopy類と呼ぶ。前者の基点を考えないhomotopy集合についてはそのことを強調して自由homotopy集合、その元を自由homotopy類とも呼ぶ。
通常の連続写像の合成 $\circ : C(X, Y)\times C(Y, Z)\to C(X, Z) : (f, g)\mapsto g\circ f$ がhomotopy類についての合成\[\circ : [X, Y]\times [Y, Z]\to [X, Z] : ([f], [g])\mapsto [g\circ f]\]を誘導することを見ておきます。そのためには単に代表元の取り方によらないということを確かめればよく、次のとおりです。空間対や基点付き空間に対して考えても全く一緒です。
$X, Y, Z$ を位相空間とする。連続写像 $f\sim f'\in C(X, Y)$, $g\sim g'\in C(Y, Z)$ に対して $g\circ f\sim g'\circ f'$ が成立する。
$f$ を $f'$ につなぐhomotopy $F$ と $g$ を $g'$ につなぐhomotopy $G$ を取り、連続写像 $H : X\times I\to Z$ を\[H(x, t) = G_{t}(F_{t}(x)) \ (= G(F(x, t), t))\]により定めることで $g\circ f$ を $g'\circ f'$ につなぐhomotopyが構成され、$g\circ f\sim g'\circ f'$ が分かります。
$X, Y$ を位相空間とする。連続写像 $f : X\to Y$, $g : Y\to X$ であって $g\circ f\sim \Id_{X}$ かつ $f\circ g\sim \Id_{Y}$ を満たすものが存在するとき、$X$ と $Y$ はhomotopy同値であるといい $X\simeq Y$ により表す。$X$ と $Y$ は同じhomotopy型を持つともいう。また、homotopy同値を与える連続写像 $f, g$ をhomotopy同値写像、もしくは単にhomotopy同値といい、一方を他方のhomotopy逆写像という。
homotopy同値は同値というだけあって反射律・対称律・推移律を満たします。
$X, Y, Z$ を位相空間とする。次が成立する。
(1) (2) 自明です。
(3) 連続写像 $f : X\to Y$, $g : Y\to X$ を $g\circ f\sim \Id_{X}$ かつ $f\circ g\sim \Id_{Y}$ であるように取り、また、$f' : Y\to Z$, $g' : Z\to Y$ を $g'\circ f'\sim \Id_{Y}$ かつ $f'\circ g'\sim \Id_{Z}$ であるように取ります。このとき、\[(g\circ g')\circ (f'\circ f)\sim g\circ \Id_{Y}\circ f\sim g\circ f\sim \Id_{X},\]\[(f'\circ f)\circ (g\circ g')\sim f'\circ \Id_{Y}\circ g'\sim f'\circ g'\sim \Id_{Z}\]であり、$X\simeq Z$ が従います。
homotopy同値写像どうしの合成写像はhomotopy同値写像である。
次はhomotopy集合がhomotopy型で決まることを意味します。基点を持つ空間などでも全く同様です。
位相空間 $W, X, Y, Z$ とhomotopy同値写像 $f : Y\to Z$, $g : W\to X$ が与えられているとする。このとき、写像\[f_{*} : [X, Y]\to [X, Z] : [h]\mapsto [f\circ h],\]\[g^{*} : [X, Y]\to [W, Y] : [h]\mapsto [h\circ g]\]は全単射である。
位相空間を対象、連続写像のhomotopy類を射とする圏を位相空間のhomotopy圏といい $\hTop$ により表すことにします。射の合成をwell-definedに与えられるというのが命題2.10.4で示したことであり、結合則は連続写像における結合則からただちに従います。恒等写像の代表するhomotopy類が恒等射を与え、homotopy同値写像の代表するhomotopy類は同型射を定めます。また、位相空間 $X$ に自身を対応させ、連続写像 $f : X\to Y$ をその代表するhomotopy類を対応させることで位相空間の圏 $\Top$ からの関手\[\Top\to \hTop\]が構成されます。
$X, Y$ を位相空間、$A$ を $X$ の部分空間とする。homotopy $H : X\times I\to Y$ であって任意の $a\in A$, $t\in I$ に対して $H(a, t) = H_{0}(a)$ を満たすものを $A$ を保つhomotopyという通常は $A$ において停留するhomotopyと呼ばれます。ここでは基点を保つhomotopyの方に寄せて $A$ を保つhomotopyと呼ぶことにしたいと思います。(きちんとした教科書において使われる言葉使いかは未調査)。また、$A$ を基点付き空間の基点とするときは基点を保つhomotopyという。連続写像 $f, g : X\to Y$ について、$f$ を $g$ につなぐ $A$ を保つhomotopyが存在することを\[f\sim g \rel A\]により表す。
$X$ 位相空間、$A$ をその部分空間、$i : A\to X$ を包含写像とする。
$X$ を位相空間、$A$ をその部分空間とする。$A$ が $X$ の変位レトラクトならば $X\simeq A$ である。
変位レトラクション $r : X\to A$ を取ります。包含写像 $i : A\to X$ が $r$ のhomotopy逆写像であることを示します。まず、$r\circ i\sim \Id_{A}$ は $r\circ i = \Id_{A}$ なのでよいです。また、$i\circ r \sim \Id_{X}$ は変位レトラクションの定義から従います。よって、$i$ は $r$ のhomotopy逆写像であり、$X\simeq A$ が従います。
$X$ をHausdorff空間とするとき、そのレトラクト $A$ は閉集合である。
レトラクション $r : X\to A$ を取り、$i : A\to X$ を包含写像とします。$i\circ r : X\to X$ の連続性と $X$ のHausdorff性より部分集合 $\{x\in X\mid i\circ r(x) = x\}$ は閉集合ですが $($命題2.3.13$)$、これは明らかにこれは $A$ に一致しています。よって、$A$ は閉集合です。
$X$ が $T_{1}$ 空間だと反例ありです。例えば、非負整数集合 $\N$ に補有限位相を入れたとき、その任意の無限部分集合がレトラクトであることが示せるので、非負偶数全体からなる集合が閉でないレトラクトになります。実際、無限部分集合 $A$ に対して写像 $r : \N\to A$ を\[r(n) = \min\{k\in \N\mid k\geq n, \ k\in A\}\]により定義すれば$A$ が無限集合であることから $r$ が定義できています。、明らかに $r|_{A} = \Id_{A}$ であるし、任意の開集合 $U$ に対して $r^{-1}(U)^{c} = r^{-1}(U^{c})$ が有限集合なので $r^{-1}(U)$ は開集合となり $r$ の連続性も確かめられ、$r$ がレトラクションであることが従い、$A$ はレトラクトです。
一般に連続写像を与えられたとき、次に定義する写像柱を考えることで値域側のhomotopy型を保ちながら埋め込みで置き換えることができます。
いずれも容易です。
$X$ を位相空間とする。
位相空間 $X$ に対して次は同値である。
(1) ⇒ (2) $X$ の変位レトラクト $x_{0}$ が取れるので命題2.10.13より $X\simeq \{x_{0}\}$ です。
(2) ⇒ (1) 一点空間 $\{y_{0}\}$ からのhomotopy同値写像 $g : \{y_{0}\}\to X$ とそのhomotopy逆写像 $f : X\to \{y_{0}\}$ を取ります。$g\circ f\sim \Id_{X}$ は $r : X\to \{g(y_{0})\}$ が変位レトラクションであることを意味します。
可縮であっても強可縮であるとは限りません。詳しくは[A. Hatcher, Algebraic Topology]のChapter 0のExercise 6を参照ただし、解答はないので注意。。
錐と写像錐、そして、それらの縮約版を導入しておきます。
錐および写像錐によってnull-homotopicな連続写像が特徴付けられます。
$X, Y$ を位相空間、$f : X\to Y$ を連続写像とする。次は同値である。
(1) ⇒ (2) $f$ を定値写像につなぐhomotopy $H : X\times I\to Y$ は商写像 $p : X\times I\to CX$ の普遍性より連続写像 $F : CX\to Y$ を誘導し、これが $f$ の拡張です。
(2) ⇒ (1) $f$ の拡張 $F : CX\to X$ が存在するとき、商写像 $p : X\times I\to CX$ との合成 $H = F\circ p$ が $f$ を定値写像につなぐhomotopyになります。
(2) ⇔ (3) 明らかです。
位相空間 $X$ に対して次は同値である。
同様に、縮約錐や縮約写像錐によって基点を保ってnull-homotopicな連続写像が特徴付けられます。
$X, Y$ を基点付き空間、$f : X\to Y$ を基点を保つ連続写像とする。次は同値である。
基点付き空間 $X$ に対して次は同値である。
$X, Y$ を位相空間とします。homotopy $H : X\times I\to Y$ が与えられたとき、各 $t\in I$ に対して $H$ の $X\times \{t\}$ への制限 $H_{t} : X\to Y$ を対応させることで写像\[c : I\to C(X, Y) : t\mapsto H_{t}\]が構成でき、この意味でhomotopy $H$ を連続写像全体からなる集合 $C(X, Y)$ における連続曲線とみなしたくなります。もちろんそのためには $C(X, Y)$ に適切な位相を与える必要があり、次で定義するコンパクト開位相を導入します。
$X, Y$ を位相空間とする。$X$ のコンパクト集合 $K$ と $Y$ の開集合 $U$ に対して $C(X, Y)$ の部分集合 $W(K, U)$ を\[W(K, U) = \{f\in C(X, Y)\mid f(K)\subset U\}\]により定める。これら全体からなる部分集合族\[\{W(K, U)\mid K\subset X : \text{compact}, \ U\subset Y : \text{open}\}\]により生成する位相を $C(X, Y)$ のコンパクト開位相という。
空間対の間の連続写像全体からなる集合 $C((X, A), (Y, B))$ や基点を保つ連続写像全体からなる集合 $C(X, Y)_{0}$ などには $C(X, Y)$ のコンパクト開位相の相対位相を考えることにします。
コンパクト開位相に関する基本的な性質として次のことを確かめておきます。
$X, Y. Z$ を位相空間とする。次が成立する。
一般に、写像の連続性の確認のためには値域側の準開基の各要素に対して逆像が定義域側の開集合になることを示せば十分なことに注意します。
(1) $X$ のコンパクト集合 $K$ と $Z$ の開集合 $U$ に対して\[(g_{*})^{-1}(W(K, U)) = \{f\in C(X, Y)\mid g(f(K))\subset U\} = W(K, g^{-1}(U))\]であるので連続です。
(2) $X$ のコンパクト集合 $K$ と $Z$ の開集合 $U$ に対して\[(f^{*})^{-1}(W(K, U)) = \{g\in C(Y, Z)\mid g(f(K))\subset U\} = W(f(K), U)\]であるので連続です。
(3) $V$ を $Y$ の開集合とし、$\ev^{-1}(V)$ が $C(X, Y)\times X$ の開集合であることを示します。$(f, x)\in \ev^{-1}(V)$ を取り、これが内点であることを示します。まず、$f(x) = \ev(f, x)\in V$ より $f^{-1}(V)$ は $x$ の開近傍です。$x$ のコンパクト近傍 $K$ を $K\subset f^{-1}(V)$ となるように取ります。$\ev(W(K, V)\times \Int K)\subset V$ なので $W(K, V)\times \Int K$ が $\ev^{-1}(V)$ に含まれる $(f, x)$ の開近傍になり、$(f, x)$ は内点です。以上により $\ev^{-1}(V)$ は開集合であり、$\ev$ は連続です。
(4) 各 $y\in Y$ に対して写像 $\inj(y)$ が実際に $C(X, X\times Y)$ に属すことは明らかであり、$\inj : Y\to C(X, X\times Y)$ は定義できています。あとは連続性を確かめればよいですが、そのためにはコンパクト空間 $K$ と $X\times Y$ の開集合 $U$ に対して $\inj^{-1}(W(K, U))$ が開集合であることを示せばよいです。容易に分かるように\begin{eqnarray*}y\in \inj^{-1}(W(K, U)) & \Leftrightarrow & \inj(y)\in W(K, U) \\& \Leftrightarrow & \inj(y)\in \{f\in C(X, X\times Y)\mid f(K)\subset U\} \\& \Leftrightarrow & \inj(y)(K)\subset U \\& \Leftrightarrow & K\times \{y\}\subset U \end{eqnarray*}です。$K$ のコンパクト性から\[\inj^{-1}(W(K, U)) = \{y\in Y\mid K\times \{y\}\subset U\}\]は開集合です。
(5) 単なる集合間の写像として全単射\[\adj : \Map(X\times Y, Z)\to \Map(X, \Map(Y, Z)) : f\mapsto (x\mapsto f|_{\{x\}\times Y}),\]が取れました。各 $f\in C(X\times Y, Z)$ に対して $\adj(f)$ は連続写像の合成\[\adj(f) : X\xrightarrow{\inj} C(Y, X\times Y)\xrightarrow{f_{*}} C(Y, Z) : x\mapsto (y\mapsto (x, y))\mapsto (y\mapsto f(x, y))\]により表されるので $C(X, C(Y, Z))$ に属します。もし $Y$ が局所コンパクトHausdorff空間とすると、各 $g\in C(X, C(Y, Z))$ に対して $\adj^{-1}(g)$ は連続写像の合成\[\adj^{-1}(g) : X\times Y\xrightarrow{g\times \Id_{Y}}C(Y, Z)\times Y\xrightarrow{\ev} Z : (x, y)\mapsto (g(x), y)\mapsto g(x)(y)\]として表されるので $C(X\times Y, Z)$ に属します評価写像 $\ev$ の連続性に $Y$ の局所コンパクトHausdorff性を使用。。よって、写像 $\adj : C(X\times Y, Z)\to C(X, C(Y, Z))$ は常に定まり、もし $Y$ が局所コンパクトHausdorff空間ならば全単射です。
以下、$X, Y$ は局所コンパクトHausdorff空間としてこの対応が同相写像であることを示します。まず、$X, Y$ の局所コンパクトHausdorff性より評価写像\[\ev : C(X\times Y, Z)\times (X\times Y)\to Z\]が連続なので、\[\adj(\ev) : C(X\times Y, Z)\times X\to C(Y, Z)\]が連続となり、\[\adj(\adj(\ev)) : C(X\times Y, Z)\to C(X, C(Y, Z))\]も連続となります。続いて、$X, Y$ の局所コンパクトHausdorff性より評価写像\[\ev : C(X, C(Y, Z))\times X\to C(Y, Z),\]\[\ev : C(Y, Z)\times Y\to Z\]が連続なので、合成\[\ev\circ (\ev\times \Id_{Y}) : C(X, C(Y, Z))\times (X\times Y)\to Z\]が連続となり、\[\adj(\ev\circ (\ev\times \Id_{Y})) : C(X, C(Y, Z))\to C(X\times Y, Z)\]の連続性が従います。以上により同相であることが分かりました。
(6) $X, Y$ の局所コンパクトHausdorff性より合成写像\[C(X, Y)\times C(Y, Z)\times X\to C(Y, Z)\times Y\to Z\]は連続であり、$\adj$ による移り先 $\circ : C(X, Y)\times C(Y, Z)\to C(X, Z)$ も連続です。
ということで、局所コンパクトHausdorff空間 $X$ と位相空間 $Y$ に対しては全単射\[\adj : C(X\times I, Y)\to C(I, C(X, Y))\]が得られ、つまり、この対応によりhomotopy $H : X\times I\to Y$ と連続曲線 $c : I\to C(X, Y)$ を同一視することが可能となります。
空間対の間のhomotopyについても $C((X, A), (Y, B))$ を $C(X, Y)$ の部分空間と見なすことで同様に連続曲線たちとの全単射\[\adj : C((X, A)\times I, (Y, B))\to C(I, C((X, A), (Y, B)))\]が定まります。
位相の与えられた群 $G$ は積演算 $\mu : G\times G\to G : (x, y)\mapsto xy$ と各元にその逆元を対応させる写像 $\inv : G\to G : x\mapsto x^{-1}$ がともに連続となるとき位相群と呼ばれます。そして、コンパクトHausdorff空間の自己同相群にコンパクト開位相を与えることで位相群になることが知られています。
コンパクトHausdorff空間 $X$ に対して自己同相群 $\Homeo(X)$ は位相群である。
$\Homeo(X)$ には $C(X, X)$ における相対位相を与えます。積 $\Homeo(X)\times \Homeo(X)\to \Homeo(X)$ の連続性はよいので、逆写像を対応させる写像 $\inv : \Homeo(X)\to \Homeo(x) : f\mapsto f^{-1}$ の連続性を示せばよいです。$X$ のコンパクト部分空間 $K$ と開集合 $U$ を取ります。このとき、\begin{eqnarray*}\inv^{-1}(W(K, U)) & = & \inv^{-1}(\{f\in \Homeo(X)\mid f(K)\subset U\}) \\& = & \inv^{-1}(\{f\in \Homeo(X)\mid K\subset f^{-1}(U)\}) \\& = & \inv^{-1}(\{f\in \Homeo(X)\mid f^{-1}(U^{c})\subset K^{c}\}) \\& = & W(U^{c}, K^{c})\end{eqnarray*}であり、$\inv$ は連続です。以上により $\Homeo(X)$ は位相群です。
より一般に、各点に連結コンパクト近傍が存在するようなHausdorff空間 $X$ に対して自己同相群 $\Homeo(X)$ が位相群になることが知られており、例えば、任意の位相多様体に対して自己同相群は位相群になります。証明は[J. J. Dijkstra, On Homeomorphism Groups and the Compact-Open Topology]を参照。(そんなに難しいことはせず、1ページもないくらいで証明されています。)
homotopy論において行われるその他の操作・演算についてまとめます。
$X, Y$ を基点付き空間とする。$X, Y$ の基点 $x_{0}, y_{0}$ を等化して得られる空間 $(X\sqcup Y)/\{x_{0}, y_{0}\}$ を $X, Y$ のwedge和といい $X\vee Y$ により表す。等化してできた点を基点として基点付き空間とみなす。また、一般の基点付き空間の族 $\{(X_{\lambda}, x_{\lambda})\}_{\lambda\in\Lambda}$ に対し、それぞれの基点を等化して得られる空間 $\left(\bigsqcup_{\lambda\in\Lambda}X_{\lambda}\right)/\left(\bigsqcup_{\lambda\in\Lambda}\{x_{\lambda}\}\right)$ に等化してできた点を基点として与えて基点付き空間としたものを $\bigvee_{\lambda\in\Lambda}X_{\lambda}$ と表す。
wedge和については通常、埋め込み $i : X\to X\times Y : x\mapsto (x, y_{0})$ と $j : Y\to X\times Y : y\mapsto (x_{0}, y)$ により誘導される自然な埋め込み $X\vee Y\to X\times Y$ によって直積空間 $X\times Y$ の部分空間 $(X\times \{y_{0}\})\cup (\{x_{0}\}\times Y)$ と同一視します。
$X, Y$ を基点付き空間とする。商空間 $(X\times Y)/(X\vee Y)$ をsmash積といい $X\wedge Y$ により表す。等化してできた点を基点として基点付き空間とみなす。
smash積は次の性質を持ちます。
$X, Y, Z$ を基点付き空間とするとき、次の自然な同相が存在する。ただし、(3)においては $X, Z$ は局所コンパクトHausdorff空間とする。
(1) (2) 簡単です。
(3) $Z$ が局所コンパクトHausdorff空間なので商写像 $p : X\times Y\to X\wedge Y$ と恒等写像 $\Id_{Z} : Z\to Z$ の直積\[p\times \Id_{Z} : X\times Y\times Z\to (X\wedge Y)\times Z\]は商写像です。そして、商写像\[q : (X\wedge Y)\times Z\to (X\wedge Y)\wedge Z\]との合成\[q\circ (p\times \Id_{Z}) : X\times Y\times Z\to (X\wedge Y)\wedge Z\]も商写像です。これは位相空間として\[(X\wedge Y)\wedge Z\cong \dfrac{X\times Y\times Z}{(\{x_{0}\}\times Y\times Z)\cup (X\times \{y_{0}\}\times Z)\cup(X\times Y\times \{z_{0}\})}\]であることを意味し、同様に $X$ の局所コンパクトHausdorff性より\[X\wedge (Y\wedge Z)\cong \dfrac{X\times Y\times Z}{(\{x_{0}\}\times Y\times Z)\cup (X\times \{y_{0}\}\times Z)\cup(X\times Y\times \{z_{0}\})}\]なので $(X\wedge Y)\wedge Z\cong X\wedge (Y\wedge Z)$ です。
任意の $n, m\in \N$ に対して同相 $S^{n}\wedge S^{m}\cong S^{n + m}$ が成立する。
ここでは $S^{n} = I^{n}/\partial I^{n}$ と考え、等化してできた点を基点として基点付き空間とみなします。商写像 $p_{n} : I^{n}\to S^{n}$ どうしの直積 $p_{n}\times p_{m} : I^{n}\times I^{m}\to S^{n}\times S^{m}$ も商写像であり、\[(p_{n}\times p_{m})^{-1}(S^{n}\vee S^{m}) = (I^{n}\times \partial I^{m})\cup (\partial I^{n}\times I^{m})\subset I^{n}\times I^{m}\]が成立しています。従って、\begin{eqnarray*}S^{n + m} & = & I^{n + m}/\partial I^{n + m} \\& = & (I^{n}\times I^{m})/((I^{n}\times \partial I^{m})\cup (\partial I^{n}\times I^{m})) \\& \cong & (S^{n}\times S^{m})/(S^{n}\vee S^{m}) = S^{n}\wedge S^{m}\end{eqnarray*}です。
$X, Y, Z$ を基点付き空間、$Y$ は局所コンパクトHausdorff空間とするとき、次の自然な全単射\[C(X\wedge Y, Z)_{0}\to C(X, C(Y, Z)_{0})_{0}\]が存在する。
まず、写像 $\varphi : C(X\wedge Y, Z)_{0}\to C(X, C(Y, Z))$ が合成\[C(X\wedge Y, Z)_{0} \xrightarrow{\text{incl.}} C(X\wedge Y, Z)\xrightarrow{\text{pull-back}} C(X\times Y, Z) \xrightarrow{\adj} C(X, C(Y, Z))\]により得られます。各 $f\in C(X\wedge Y, Z)_{0}$ に対して $\varphi(f)\in C(X, C(Y, Z))$ は各点 $x\in X$ で基点を保つ連続写像 $\varphi(f)(x)\in C(Y, Z)_{0}$ を与えており、このことと $C(Y, Z)_{0}$ に相対位相を考えていることから $\varphi(f)$ は $X$ から $C(Y, Z)_{0}$ への写像として連続です。また、$\varphi(f)$ は基点 $x_{0}\in X$ において $C(Y, Z)_{0}$ の基点、つまり定値写像 $\varphi(f)(x_{0}) = \cst_{z_{0}}$ を与えているので $\varphi(f)$ は基点を保つ連続写像です。従って、$\varphi(f)\in C(X, C(Y, Z)_{0})_{0}$ であり、写像 $\varPhi : C(X\wedge Y, Z)_{0}\to C(X, C(Y, Z)_{0})_{0}$ が定まります。
$\varPhi$ の逆写像を構成します。写像 $\psi : C(X, X(Y, Z)_{0})_{0}\to C(X\times Y, Z)$ が合成\[C(X, C(Y, Z)_{0})_{0}\xrightarrow{\text{incl.}} C(X, C(Y, Z)_{0})\xrightarrow{\text{push-out}} C(X, C(Y, Z))\xrightarrow{\adj^{-1}}C(X\times Y, Z)\]により得られます。各 $g\in C(X, C(Y, Z)_{0})_{0}$ に対して $\psi(g)\in C(X\times Y, Z)$ は $X\vee Y$ において基点 $z_{0}$ を値に取るため基点を保つ連続写像 $\varPsi(g) : X\wedge Y\to Z$ が誘導されます。従って、写像 $\varPsi : C(X, C(Y, Z)_{0})_{0}\to C(X\wedge Y, Z)_{0}$ が定まり、これが $\varPhi$ の逆写像であることは容易です。
$X, Y, Z$ を基点付き空間、$Y$ は局所コンパクトHausdorff空間とするとき、次の自然な全単射\[[X\wedge Y, Z]_{0}\to [X, C(Y, Z)_{0}]_{0}\]が存在する。
$I_{+} = I\sqcup \{*\}$ とおきます。容易に分かるように、任意の基点付き空間 $W$ に対して $W\wedge I_{+} = (W\times I)/(\{w_{0}\}\times I)$ です。$Y$ の局所コンパクトHausdorff性と命題2.10.37より全単射 $C(X\wedge Y\wedge I_{+}, Z)_{0}\to C(X\wedge I_{+}, C(Y, Z)_{0})_{0}$ が得られ、これにより $X\wedge Y$ から $Z$ への基点を保つhomotopyと $X$ から $C(Y, Z)_{0}$ への基点を保つhomotopyは一対一対応しています。つまり、全単射 $[X\wedge Y, Z]_{0}\to [X, C(Y, Z)_{0}]_{0}$ が定まります。
系2.10.38の形の随伴として最も重要なのが、縮約懸垂とループ空間による随伴です。
$X$ を基点付き空間とする。
$n$ を非負整数とする。位相空間 $X, Y$ に対して自然な全単射 $[\Sigma^{n} X, Y]_{0} = [X, \Omega^{n} Y]_{0}$ が存在する。
$S^{1}$ が局所コンパクトHausdorff空間であることに注意し、繰り返し系2.10.38を適用すればよいです。
以上です。
各所の自然性については証明さぼってます…
参考文献
更新履歴