logo

接着補助定理の証明 📂位相幾何学

接着補助定理の証明

概要

ある位相空間 X,YX,Y と二つの閉集合 A,BXA,B \subset XAB=XA \cup B = X を満たし、二つの連続関数 f:AYf : A \to Yg:BYg : B \to Y が全ての xABx \in A \cap B に対して f(x)=g(x)f(x) = g(x) であるとしよう。すると、以下のように定義された hh連続関数だ。 h(x):={f(x),xAg(x),xB h(x) : = \begin{cases} f(x), & x \in A \\ g(x), & x \in B \end{cases}

説明

貼り合わせ補題gluing lemmaとも呼ばれるこの補題は、文章を読むだけで理解できるほど自明だ。わざわざ補題という名前が付き、証明された理由は、頻繁に使われるので名前を付ける方が便利で、証明可能だったからだろう。

証明

hh が連続であることを示すために、閉集合 CYC \subset Y を考える。

ffgg は連続なので、f1(C)f^{-1}(C)AA で閉集合であり、g1(C)g^{-1}(C)BB で閉集合である。AABBXX で閉集合であるという前提から、f1(C)f^{-1}(C)g1(C)g^{-1}(C)XX で閉集合である。 h1(C)={xX  h(x)C}={xA  h(x)C}{xB  h(x)C}={xA  f(x)C}{xB  g(x)C}=f1(C)g1(C) \begin{align*} h^{-1} (C) =& \left\{ x \in X \ | \ h(x) \in C \right\} \\ =& \left\{ x \in A \ | \ h(x) \in C \right\} \cup \left\{ x \in B \ | \ h(x) \in C \right\} \\ =& \left\{ x \in A \ | \ f(x) \in C \right\} \cup \left\{ x \in B \ | \ g(x) \in C \right\} \\ =& f^{-1} (C) \cup g^{-1} (C) \end{align*} XX での閉集合同士の和集合であるので、h1(C)h^{-1}(C)XX で閉集合であり、hh連続関数だ。

続き

パス p,q:[0,1]Xp,q : [0,1] \to Xp(1)=q(0)p(1) = q(0) を満たすとする。すると、pq:[0,1]p*q : [0,1] を以下の通りに定義し、積パスproduct Pathという。 (p q)(t)={p(2t),0t1/2q(2t1),1/2t1 (p \ast\ q) (t) = \begin{cases} p(2t), & 0 \le t \le 1/2 \\ q(2t-1), & 1/2 \le t \le 1 \end{cases}

積パスは、貼り合わせ補題が正確に一点で適用された概念と見なすことができ、経路連結性に関する研究に有用に使われる。

ホモトピー

このようにパスをつなげることは、代数的位相幾何学algebraic Topologyでのホモトピーに関する研究へと繋がり、貼り合わせ補題自体も何度も見かけることになる。