導来関手

ウィキペディア

導来関手

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/06 05:13 UTC 版)

数学では、一部の関手から導来 (どうらい、英語: derived) することにより、元の関手と密接に関連した新しい関手を得ることができる。導来という操作は、抽象的ではあるが、数学全体を通して多くの構成を統一する。

ウィキペディア小見出し辞書

導来関手

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/04/30 06:56 UTC 版)

「ホモロジー代数学」の記事における「導来関手」の解説

詳細は「導来関手」を参照 2つのアーベル圏 A と B の間に共変左完全関手 F : A → B が与えられているとしよう。0 → A → B → C → 0 が A における短完全列であれば、F を施すことで完全列 0 → F(A) → F(B) → F(C) を得、次のことを疑問に思うだろう。この列を右に続けて長完全列にするにはどうすればいいだろうか。厳密に言えば、これは不良設定問題である。なぜならば与えられた完全列を右に続けるたくさんの異なる方法が常に存在するからである。しかし、（A が十分 "nice" であれば）それを行う1つのカノニカルな（英語版）方法が存在し、それは F の右導来関手によって与えられる、ということがわかる。すべての i≥1 に対して、関手 RiF: A → B が存在し、上記の列は以下のように続く。0 → F(A) → F(B) → F(C) → R1F(A) → R1F(B) → R1F(C) → R2F(A) → R2F(B) → ... . これから F が完全関手であることと R1F = 0 であることが同値であることがわかる。なのである意味 F の右導来関手は F が完全であることから「どの程度離れているか」を測る。

導来関手

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

「関手」の記事における「導来関手」の解説

アーベル圏の上の（コ）ホモロジー的関手はしばしば片側完全関手の導来関手として定式化される。