ジグザグ補題とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > ジグザグ補題の意味・解説 

ジグザグ補題

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

ナビゲーションに移動 検索に移動

数学、特にホモロジー代数学におけるジグザグ補題(ジグザグほだい、: zig-zag lemma)は、鎖複体ホモロジー群から成るある種の長完全列の存在を述べるものである。この結果は任意のアーベル圏で通用する。

ステートメント

任意のアーベル圏(アーベル群の圏や与えられた上のベクトル空間の圏など)において、

ここで各行は全て完全で、各列は全て鎖複体である。

ジグザグ補題は、境界写像(族)

は、通常のやり方で誘導されたホモロジー群の間の写像である。境界写像 は以下の節で説明する。この補題の名称は、系列における写像が「ジグザグ」に走ることから来ている。不運な用語法のバッティングにより、ホモロジー代数には『蛇の補題』の名を持つ別の結果があるにもかかわらず、この命題(ジグザグ補題)はその名(蛇の補題)でも一般に知られている。蛇の補題を使うと、ジグザグ補題のここに記すものとは別の証明が得られる。

境界写像の構成

写像 は標準的な図式追跡の議論を使って定義できる。 を、 に属すある同値類の代表元とする。よって 。行方向の完全性より は全射なので、 となる が存在しなければならない。図式の可換性より、

再び行方向の完全性より、

は単射だから、 を満たす が一意的に存在する。これは輪体である。なぜなら は単射で、かつ より

が従うからである(つまり )。 は輪体なので、 に属すある同値類の代表元になる。ここで、

と定義する。このように定義された境界写像は well-defined であることが示せる(つまり写像が cb の選択に依らずに定まる。証明は上記の図式追跡の議論と同様である)。また同様の議論で、長系列が各ホモロジー群のところで完全であることも示せる。

関連項目

参考文献




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

辞書ショートカット

すべての辞書の索引

「ジグザグ補題」の関連用語

ジグザグ補題のお隣キーワード
検索ランキング

   

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



ジグザグ補題のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのジグザグ補題 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS