2023年12月3日日曜日

421: トポロジカルスペース(空間)上の2つのパスコネクテッド(連結された)ポイントたちに対して、ファンダメンタルグループ(群)たち間'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)でパスクラスたちグルーポイド内にて左からインバース(逆)パスクラスを掛け右からパスクラスを掛けるものがある

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

トポロジカルスペース(空間)上の2つのパスコネクテッド(連結された)ポイントたちに対して、ファンダメンタルグループ(群)たち間'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)でパスクラスたちグルーポイド内にて左からインバース(逆)パスクラスを掛け右からパスクラスを掛けるものがあることの記述/証明

話題


About: トポロジカルスペース(空間)
About: グループ(群)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意のトポロジカルスペース(空間)上の任意の2つのパスコネクテッド(連結された)ポイントたちに対して、当該2ポイントたちに関するファンダメンタルグループ(群)たちの間に、ある'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)でパスクラスたちグルーポイド内にて左からインバース(逆)パスクラスを掛け右からパスクラスを掛けるものがあるという命題の記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義の一覧があります。

本サイトにてこれまで議論された命題の一覧があります。


本体


1: 記述


任意のトポロジカルスペース(空間)T、任意のパスコネクテッド(連結された)ポイントたちp,pT、以下を満たす任意のパスγ:IT、つまり、γ(0)=pおよびγ(1)=p、に対して、ある'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)ϕ:π1(T,p)π1(T,p)[f][γ1][f][γ]、ここで、[γ1][f][γ]はパスクラスたちグルーポイド内におけるもの、がある。


2: 注


[γ1][f][γ]は意味をなしている、なぜなら、それはパスクラスたちグルーポイド内におけるものである: [γ1][f][γ]π1(T,p)のメンバーではないが、当該グルーポイドのメンバーであり、結果はπ1(T,p)のメンバーである、なぜなら、それは[γ1fγ]pから開始するループである。


3: 証明


ϕはインジェクティブ(単射)である、なぜなら、任意の[f],[f]π1(T,p)に対して、[γ1][f][γ]=[γ1][f][γ]であるとき、[f]=[ep][f][ep]=[γ][γ1][f][γ][γ1]=[γ][γ1][f][γ][γ1]=[ep][f][ep]=[f]

ϕはサージェクティブ(全射)である、なぜなら、任意の[f]π1(T,p)に対して、[γ][f][γ1]π1(T,p)、そして、[γ1][γ][f][γ1][γ]=[ep][f][ep]=[f]

ϕはグループ(群)ホモモーフィズム(準同形写像)である、なぜなら、ϕ(e)=[γ1][ep][γ]=[γ1][γ]=[ep]=e; ϕ([f][f])=[γ1][f][f][γ]=[γ1][f][ep][f][γ]=[γ1][f][γ][γ1][f][γ]=ϕ([f])ϕ([f])任意のグループ(群)たちマップ(写像)でアイデンティティをアイデンティティへマップ(写像)し任意のマルチプリケーション(積)をマルチプリケーション(積)へマップ(写像)するものはグループ(群)ホモモーフィズム(準同形写像)であるという命題によって。

したがって、ϕは'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)である、任意のバイジェクティブ(全単射)グループ(群)ホモモーフィズム(準同形写像)は'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)であるという命題によって。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>