境界写像の構成とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 境界写像の構成の意味・解説 

境界写像の構成

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/07/06 07:48 UTC 版)

ジグザグ補題」の記事における「境界写像の構成」の解説

写像 δ n {\displaystyle \delta _{n}^{}} は標準的な図式追跡議論使って定義できる。 c ∈ C n {\displaystyle c\in C_{n}} を、 H n ( C ) {\displaystyle H_{n}({\mathcal {C}})} に属すある同値類代表元とする。よって ∂ n ″ ( c ) = 0 {\displaystyle \partial _{n}''(c)=0} 。行方向の完全性より β n {\displaystyle \beta _{n}^{}} は全射なので、 β n ( b ) = c {\displaystyle \beta _{n}^{}(b)=c} となる b ∈ B n {\displaystyle b\in B_{n}} が存在しなければならない図式可換性より、 β n − 1 ∂ n ′ ( b ) = ∂ n ″ β n ( b ) = ∂ n ″ ( c ) = 0 {\displaystyle \beta _{n-1}\partial _{n}'(b)=\partial _{n}''\beta _{n}(b)=\partial _{n}''(c)=0} 再び行方向の完全性より、 ∂ n ′ ( b ) ∈ ker ⁡ β n − 1 = i m α n − 1 {\displaystyle \partial _{n}'(b)\in \ker \beta _{n-1}=\mathrm {im} \alpha _{n-1}} α n − 1 {\displaystyle \alpha _{n-1}^{}} は単射だから、 α n − 1 ( a ) = ∂ n ′ ( b ) {\displaystyle \alpha _{n-1}(a)=\partial _{n}'(b)} を満たす a ∈ A n − 1 {\displaystyle a\in A_{n-1}} が一意的に存在する。これは輪体である。なぜなら α n − 2 {\displaystyle \alpha _{n-2}^{}} は単射で、かつ ∂ 2 = 0 {\displaystyle \partial ^{2}=0} より α n − 2 ∂ n − 1 ( a ) = ∂ n − 1 ′ α n − 1 ( a ) = ∂ n − 1 ′ ∂ n ′ ( b ) = 0 {\displaystyle \alpha _{n-2}\partial _{n-1}(a)=\partial _{n-1}'\alpha _{n-1}(a)=\partial _{n-1}'\partial _{n}'(b)=0} が従うからである(つまり ∂ n − 1 ( a ) ∈ ker ⁡ α n − 2 = { 0 } {\displaystyle \partial _{n-1}(a)\in \ker \alpha _{n-2}=\{0\}} )。 a {\displaystyle a} は輪体なので、 H n − 1 ( A ) {\displaystyle H_{n-1}({\mathcal {A}})} に属すある同値類代表元になる。ここで、 δ [ c ] = [ a ] {\displaystyle \delta _{}^{}[c]=[a]} と定義するこのように定義され境界写像well-defined であることが示せる(つまり写像が c と b の選択に依らずに定まる証明上記図式追跡議論と同様である)。また同様の議論で、長系列が各ホモロジー群のところで完全であることも示せる。

※この「境界写像の構成」の解説は、「ジグザグ補題」の解説の一部です。
「境界写像の構成」を含む「ジグザグ補題」の記事については、「ジグザグ補題」の概要を参照ください。

ウィキペディア小見出し辞書の「境界写像の構成」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「境界写像の構成」の関連用語

境界写像の構成のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



境界写像の構成のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのジグザグ補題 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS