logo

代数トポロジーにおける誘導された準同型写像 📂位相データ分析

代数トポロジーにおける誘導された準同型写像

定義 1 2

X,YX,Y位相空間とし、φ:XY\varphi : X \to Y連続であるとする。以下のように定義される準同型写像 φ[f]:=[φf]=[φf],f:IX \varphi_{\ast} [f] := \left[ \varphi f \right] = \left[ \varphi \circ f \right] \qquad , \forall f : I \to X φ:π1(X,x)π1(Y,φ(x)) \varphi_{\ast} : \pi_{1} \left( X, x \right) \to \pi_{1} \left( Y, \varphi (x) \right) 誘導された準同型写像と呼ぶ。

定理

  • [1]: もしϕ:XY\phi : X \to Yψ:YZ\psi : Y \to Z連続であれば、(ψϕ)=ψϕ\left( \psi \phi \right)_{\ast} = \psi_{\ast} \phi_{\ast}が成り立つ。
  • [2]: もしφ:XY\varphi : X \to Y位相同型であれば、φ:π1(X,x)π1(Y,φ(x))\varphi_{\ast} : \pi_{1} \left( X, x \right) \to \pi_{1} \left( Y, \varphi (x) \right)同型である。

説明

位相数学は二つの位相空間間の位相同型に、代数学は二つの代数構造間の同型に関心があるのは自然なことである。代数的位相幾何学がこの二つに興味を持つのは全く自然なことであり、誘導された準同型写像は関連する理論の研究において非常に重要な概念である。

記号について言えば、定義に書かれているように関数の合成がどうで連続性がどうであるとか考えるより、まずは形から受け入れる方が勉強しやすい。 ϕ:XYϕ:π1Xπ1Y \begin{align*} \phi :& X \to Y \\ \phi_{\ast} :& \pi_{1} X \to \pi_{1} Y \end{align*} 形式を見ると、\astがあるかないかで関数が区別されている。上の二つの式では、f:IXf : I \to XXX内のパスであるとか、φ:XY\varphi : X \to YXXの始点xXx \in Xφ(x)Y\varphi(x) \in Yに対応させるとか、[f]π1(X,x)[f] \in \pi_{1} (X, x)ホモトピークラスであるとかの説明をすべて省いて、覚えやすく要約されている。つまり、

  • \astがないϕ\phiは位相数学(連続関数)であり
  • \astがあるϕ\phi_{\ast}は代数学(準同型写像)である。

これを覚える良い方法はホモトピークラス間の演算が [f][g]=[fg] [f] \ast [g] = \left[ f \cdot g \right] と表記されていることを思い出すことだ。代数的位相幾何学では、少なくともホモトピーを扱う文脈では、\astがつけば代数の話をしていると見做せば勉強がずっと楽になる。そしてここで、fgf \cdot gffggの終点を繋いだパスプロダクションであり、定義の φ[f]:=[φf] \varphi_{\ast} [f] := \left[ \varphi f \right] では、φf\varphi f関数の合成であり、φf\varphi \circ fを表している。これは少し考えれば明らかになる。ffの値域がXXであり、φ\varphiの定義域がXXなので、合成が自然であり、単なるパスではないため、その間の演算はパスプロダクト\cdotではあり得ない。


  1. Kosniowski. (1980). A First Course in Algebraic Topology: p127. ↩︎

  2. Hatcher. (2002). Algebraic Topology: p34. ↩︎