トポロジカルスペース(空間)上の2つのパスコネクテッド(連結された)ポイントたちに対して、ファンダメンタルグループ(群)たち間'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)でパスクラスたちグルーポイド内にて左からインバース(逆)パスクラスを掛け右からパスクラスを掛けるものがあることの記述/証明
話題
About: トポロジカルスペース(空間)
About: グループ(群)
この記事の目次
開始コンテキスト
- 読者は、2ポイントたちのトポロジカルパスコネクテッド(連結された)性の定義を知っている。
- 読者は、ファンダメンタルグループ(群)の定義を知っている。
- 読者は、%カテゴリー名%アイソモーフィズム(同形写像)の定義を知っている。
- 読者は、パスクラスたちグルーポイドの定義を知っている。
- 読者は、任意のグループ(群)たちマップ(写像)でアイデンティティをアイデンティティへマップ(写像)し任意のマルチプリケーション(積)をマルチプリケーション(積)へマップ(写像)するものはグループ(群)ホモモーフィズム(準同形写像)であるという命題を認めている。
- 読者は、任意のバイジェクティブ(全単射)グループ(群)ホモモーフィズム(準同形写像)は'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)であるという命題を認めている。
ターゲットコンテキスト
- 読者は、任意のトポロジカルスペース(空間)上の任意の2つのパスコネクテッド(連結された)ポイントたちに対して、当該2ポイントたちに関するファンダメンタルグループ(群)たちの間に、ある'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)でパスクラスたちグルーポイド内にて左からインバース(逆)パスクラスを掛け右からパスクラスを掛けるものがあるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のトポロジカルスペース(空間)
2: 注
3: 証明
したがって、