2023年11月19日日曜日

415: コンティニュアス(連続)マップ(写像)たちのコンポジション(合成)によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)はマップ(写像)たちにインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)たちのコンポジション(合成)である

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

コンティニュアス(連続)マップ(写像)たちのコンポジション(合成)によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)はマップ(写像)たちにインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)たちのコンポジション(合成)であることの記述/証明

話題


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

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、任意の第1トポロジカルスペース(空間)から任意の第2トポロジカルスペース(空間)の中への任意のコンティニュアス(連続)マップ(写像)および第2トポロジカルスペース(空間)から任意の第3トポロジカルスペース(空間)の中への任意のコンティニュアス(連続)マップ(写像)に対して、当該マップ(写像)たちのコンポジション(合成)によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)は当該マップ(写像)たちによってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)たちのコンポジション(合成)であるという命題の記述および証明を得る。

オリエンテーション


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

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


本体


1: 記述


任意のトポロジカルスペース(空間)たちT1,T2,T3、任意のコンティニュアス(連続)マップ(写像)たちf1:T1T2およびf2:T2T3に対して、f2f1によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)(f2f1)は、f1およびf2によってインデュースト(誘導された)ファンダメンタルグループ(群)ホモモーフィズム(準同形写像)たちf1およびf2のコンポジション(合成)である、つまり、(f2f1)=f2f1


2: 証明


任意のコンティニュアス(連続)ループパスf:IT1、そのホモトピックイクイバレンス(等価)クラス[f]に対して、(f2f1)([f])=f2f1([f])(f2f1)([f])=[f2f1(f)]=f2([f1(f)])=f2(f1([f]))。したがって、はい。


参考資料


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