代数トポロジーにおける誘導された準同型写像
📂位相データ分析代数トポロジーにおける誘導された準同型写像
定義
X,Yを位相空間とし、φ:X→Yが連続であるとする。以下のように定義される準同型写像
φ∗[f]:=[φf]=[φ∘f],∀f:I→X
と
φ∗:π1(X,x)→π1(Y,φ(x))
を誘導された準同型写像と呼ぶ。
定理
- [1]: もしϕ:X→Yとψ:Y→Zが連続であれば、(ψϕ)∗=ψ∗ϕ∗が成り立つ。
- [2]: もしφ:X→Yが位相同型であれば、φ∗:π1(X,x)→π1(Y,φ(x))は同型である。
説明
位相数学は二つの位相空間間の位相同型に、代数学は二つの代数構造間の同型に関心があるのは自然なことである。代数的位相幾何学がこの二つに興味を持つのは全く自然なことであり、誘導された準同型写像は関連する理論の研究において非常に重要な概念である。
記号について言えば、定義に書かれているように関数の合成がどうで連続性がどうであるとか考えるより、まずは形から受け入れる方が勉強しやすい。
ϕ:ϕ∗:X→Yπ1X→π1Y
形式を見ると、∗があるかないかで関数が区別されている。上の二つの式では、f:I→XがX内のパスであるとか、φ:X→YがXの始点x∈Xをφ(x)∈Yに対応させるとか、[f]∈π1(X,x)がホモトピークラスであるとかの説明をすべて省いて、覚えやすく要約されている。つまり、
- ∗がないϕは位相数学(連続関数)であり
- ∗があるϕ∗は代数学(準同型写像)である。
これを覚える良い方法はホモトピークラス間の演算が
[f]∗[g]=[f⋅g]
と表記されていることを思い出すことだ。代数的位相幾何学では、少なくともホモトピーを扱う文脈では、∗がつけば代数の話をしていると見做せば勉強がずっと楽になる。そしてここで、f⋅gはfとgの終点を繋いだパスプロダクションであり、定義の
φ∗[f]:=[φf]
では、φfは関数の合成であり、φ∘fを表している。これは少し考えれば明らかになる。fの値域がXであり、φの定義域がXなので、合成が自然であり、単なるパスではないため、その間の演算はパスプロダクト⋅ではあり得ない。