ホモトピーイクイバレンス(等値写像)によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)は'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)であることの記述/証明
話題
About: トポロジカルスペース(空間)
About: グループ(群)
この記事の目次
開始コンテキスト
- 読者は、マップ(写像)によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)の定義を知っている。
- 読者は、ホモトピーイクイバレンス(等値写像)の定義を知っている。
- 読者は、%カテゴリー名%アイソモーフィズム(同形写像)の定義を知っている。
- 読者は、任意の2つのホモトピックマップ(写像)たち、当該ドメイン(定義域)上の任意のポイント、当該マップ(写像)たちによってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)たちに対して、第2ホモモーフィズム(準同形写像)は第1ホモモーフィズム(準同形写像)の後に当該ホモモーフィズム(準同形写像)たちのコドメイン(余域)たち間のカノニカル(自然な)'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)を作用させるコンポジション(合成)であるという命題を認めている。
- 読者は、任意のバイジェクティブ(全単射)グループ(群)ホモモーフィズム(準同形写像)は'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)であるという命題を認めている。
ターゲットコンテキスト
- 読者は、任意のホモトピーイクイバレンス(等値写像)によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)は'グループ(群)たち - グループ(群)ホモモーフィズム(準同形写像)たち'アイソモーフィズム(同形写像)であるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧があります。
本サイトにてこれまで議論された命題の一覧があります。
本体
1: 記述
任意のトポロジカルスペース(空間)たち
2: 証明
以下を満たすあるコンティニュアス(連続)マップ(写像)
以下を満たすあるホモトピー
したがって、
したがって、