文献あり

【ホモロジー代数 1】アーベル圏の事前準備

509

この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。

はじめまして！この記事では自己紹介とホモロジー代数における圏の特別な対象の性質について語っていきたいと思います

まえがき

大学1年生のいそべやんです。面白そうな数学の話題が好きで、特に解析的整数論に興味を持っています。今回は初投稿ではありますが、シリーズを通してホモロジー代数にまつわる補題(五項補題、蛇の補題...etc)について解説していきたいとおもいます...が、加群には触れません　(＊ただし気分によって変わる可能性あり)

この記事は圏論的に(つまりミッチェルの埋め込み定理を使わずに）ホモロジー代数の補題を証明することを目的としています。前提知識として簡単な圏論の知識が必要です。また解説の都合のため定義と性質が前後していたり、一般的に扱われている定義とは異なる弱い定義になっているものもあります。ご了承お願いします。厳密な定義、議論は参考文献[1][2][3]等を参照してください。

$∙$ 加群は出ない
$∙$ 必要な知識は簡単な圏の知識
$∙$ 一般的でない定義が出る

アーベル圏を知るまえに

早速ホモロジー代数について解説していきたいのですが、群論には群、環論には環、位相空間論には位相空間の定義が必要なように、ホモロジー代数にはアーベル圏(または加群)の定義が必要です。しかしアーベル圏の定義をするには特別な対象の定義が必要不可欠です。ということで第1回はこの「特別な対象、射、具体例、性質」について解説していきます。

零対象と零射

零対象

$C$ を圏とする。 $C$ の対象 $Z$ が以下の条件を満たすとき零対象という。
$(1) C$ の任意の対象 $X$ に対して、 $Z$ から $X$ への射が唯一存在する。
$(2) C$ の任意の対象 $Y$ に対して、 $Y$ から $Z$ への射が唯一存在する。

｢射が唯一存在する｣とはどういうことかというと、例えば(1)は| ${Hom}_{C} (Z, X)$ | $= 1$ と表せるということですね。
つまり｢全ての $X$ に対して、 $Z$ から $X$ への射が1本しかないよ｣と言うことです。

$∙ 1$ を、対象を1のみ,射を ${id}_{1}$ のみの圏とする。この時、1は $1$ の零対象になる
$∙ Grp$ を、対象を群,射を群準同型の圏とする。この時、自明群は $Grp$ の零対象になる
$∙ Top .$ を、対象を基点付き位相空間,射を基点を保つ連続写像の圏とする。この時、基点のみの位相は $Top .$ の零対象になる

これら零対象には普遍性があります。

$Z$ と $Z^{'}$ が零対象なら $Z ≃ Z^{'}$ が成り立つ。

証明手法（任意）

証明
$Z$ は零対象なので定義1の(1)より $u : Z \to Z^{'}$ と $v : Z^{'} \to Z$ が存在します。
ここで ${id}_{Z}, v \circ u \in Hom (Z, Z)$ となりますが、定義1の(1)より、 $Z$ から $Z$ への射は１つしか存在しません。つまり ${id}_{Z} = v \circ u$ となります。 $v \circ u$ も同様に ${id}_{Z^{'}}$ と一致するので、 $Z ≃ Z^{'}$

零対象には普遍性があることが分かったので零対象は0と表記することにします。

零射

先ほど定義した0を用いて次のような特別な射を考えることができます。

零射

0を対象に持つ圏 $C$ の射 $f : X \to Y$ に対して、ある $u : X \to 0, v : 0 \to Y$ が存在して以下の図式が可換の時、 $f$ を零射と呼ぶ
$X f u Y ↺ 0 v ↻$

つまり $f = v \circ u$ と0を経由した形に変形できるヤツを零射と呼んでいるんですね。

$∙$ 圏 $1$ において ${id}_{1}$ は $1$ の零射になる
$∙$ 圏 $Grp$ において全ての元を単位元に送る準同型写像は $Grp$ の零射になる
$∙$ 圏 $Top .$ に対して全ての元を基点に送る連続写像は $Top .$ の零射になる

実は零射は以下のようなことがわかっています。

$(1)$ 任意の対象 $X, Y$ に対して、ある零射 $f : X \to Y$ が唯一存在する
$(2) f : X \to Y$ が零射なら、任意の $g : W \to X$ , $h : Y \to Z$ に対して、 $f \circ g$ , $h \circ f$ は零射

$(1)$
定義1よりある射 $u : X \to 0, v : 0 \to Y$ が存在するので $v \circ u$ は零射となり $X$ から $Y$ への零射が存在する。
$X v \circ u^{\exists} u Y ↺ 0^{\exists} v ↻$
また射 $f : X \to Y$ が零射ならある射 $u^{'} : X \to 0, v^{'} : 0 \to Y$ が存在して $f = v^{'} \circ u^{'}$ と分解できる
$X f^{\exists} u^{'} Y ↺ 0^{\exists} v^{'} ↻$
ここで定義1より零射と対象の射は１つしかないので、 $u = u^{'}, v = v^{'}$ となるので $f = v \circ u$ となり射の一意性が示せた
$X f = v \circ u u^{'} = u Y ↺ 0 v^{'} = v ↻$
$(2)$
$f$ は零射なので、ある $u : X \to 0, v : 0 \to Y$ が存在して $f = v \circ u$ となる。よって $u \circ g : W \to 0, v : 0 \to Y$ を用いて $f \circ g = (v \circ u) \circ g = v \circ (u \circ g)$ となるので $f \circ g$ は零射となる
$W g u \circ g ↻ X u f Y ↺ 0 v$
同様に $u : X \to 0, h \circ v : 0 \to Z$ を用いて、 $h \circ f = h \circ (v \circ u) = (h \circ v) \circ u$ となるので $h \circ f$ は零射
$X f u ↻ Y h Z ↺ 0 h \circ v v$

これにより零射には一意性があることが分かったので、 $X$ から $Y$ への零射を $0_{X Y}$ または単に $0$ と表します。

零対象と零射　まとめメモ
$∙$ 零対象を0と書く
$∙$ $X$ から $Y$ への零射を $0_{X Y}, 0$ とかく
$∙$ 零射は合成しても零射

モノ射とエピ射

$C$ を圏とし $f : X \to Y$ を $C$ の射とする。
$(1) C$ の任意の射 $g, g^{'} : W \to X$ に対して、 $f \circ g = f \circ g^{'} \Rightarrow g = g^{'}$ が成り立つとき $f$ をモノ射と言い $f : X ↪ Y$ と書ける
$(2) C$ の任意の射 $h, h^{'} : Y \to Z$ に対して、 $h \circ f = h^{'} \circ f \Rightarrow h = h^{'}$ が成り立つとき $f$ をエピ射と言い $f : X ↠ Y$ と書ける

モノ射(エピ射)は右から(左から)合成して射が一致するなら合成前でも一致するということですね。自分のモノ射のイメージは下みたいな感じです。
$W f \circ g^{'} f \circ g ↺ Y \Rightarrow W ↻ g^{'} g X f Y$
ファスナーを半分閉めるようにモノ射は $cod f (= Y)$ から $dom f (= X)$ までスッと射を一本にしても可換が成り立つ感じです

$∙ Set$ を、対象が集合,射が写像の圏とする。単射は $Set$ のモノ射になり、全射は $Set$ のエピ射になる。
$∙$ また単射は $1, Grp, Top .$ でモノ射になり、全射は $1, Grp, Top .$ でエピ射になる。
$∙ Haus$ を、対象がハウスドルフ空間,射が連続写像となる圏とする。 $Q, R$ に対して、包含写像 $i : Q \to R$ は $Haus$ のエピ射になる。

モノ射、エピ射には以下の性質が成り立ちます。

$f : X \to Y, g : Y \to Z$ を圏 $C$ の射とする
$(1) f, g$ がモノ射なら $g \circ f$ もモノ射
$(2) g \circ f$ がモノ射なら $f$ もモノ射
$(3) f, g$ がエピ射なら $g \circ f$ もエピ射
$(4) g \circ f$ がエピ射なら $g$ もエピ射

$(1)$
$h, h^{'} : W \to X$ が $g \circ f \circ h = g \circ f \circ h^{'}$ を満たすとする。
$g$ はモノ射なので、 $f \circ h = f \circ h^{'}$
$f$ はモノ射なので、 $h = h^{'}$
よって $g \circ f$ はモノ射
$(2)$
$h, h^{'} : W \to X$ が $f \circ h = f \circ h^{'}$ を満たすとすれば
$f \circ h = f \circ h^{'}$
$g \circ (f \circ h) = g \circ (f \circ h^{'})$
$(g \circ f) \circ h = (g \circ f) \circ h^{'}$
$g \circ f$ はモノ射なので $h = h^{'}$ となる。
よって $f$ はモノ射
$(3)$
$h, h^{'} : Z \to W$ が $h \circ g \circ f = h^{'} \circ g \circ f$ を満たすとする。
$f$ はモノ射なので、 $h \circ g = h^{'} \circ g$
$g$ はモノ射なので、 $h = h^{'}$
よって $g \circ f$ はモノ射
$(4)$
$h, h^{'} : Z \to W$ が $h \circ g = h^{'} \circ g$ を満たすとすれば先程と同様に
$h \circ (g \circ f) = h^{'} \circ (g \circ f)$
となり、 $g \circ f$ はエピ射なので $h = h^{'}$ となる。
よって $g$ はエピ射

モノ射やエピ射は単射や全射を一般化したような概念になっていることがわかりました。実際に具体圏では単射(全射)はモノ射(エピ射)になります。一方でモノ射(エピ射)が単射(全射)になるとは限りません。実はモノ射といっても、正規モノ、正則モノ、分裂モノ...といった多くの種類が存在します。今回はアーベル圏の準備が目的ですのでここでは触れません。

モノ射とエピ射　まとめメモ
$∙ f$ がモノ射の時、射を $↪$ と書ける
$∙ f$ がエピ射の時、射を $↠$ と書ける
$∙ g \circ f$ がモノ射 $\Rightarrow f$ もモノ射、 $g \circ f$ がエピ射 $\Rightarrow g$ もエピ射

直積　直和

直積

$X, Y$ を圏 $C$ の対象とする。圏 $C$ の対象 $P$ と射 $p_{1} : P \to X, p_{2} : P \to Y$ が以下の性質を満たす時、 $⟨ P, p_{1}, p_{2} ⟩$ を $X, Y$ の直積と言い特に $p_{1}, p_{2}$ を射影という。
$(1)$ 任意の圏 $C$ の対象 $U$ と射 $f : U \to X, g : U \to Y$ に対して、ある射 $u : U \to P$ がただ一つ存在して、以下の図式が可換になる。
$^{\forall} U ↺ ↺^{\forall} f^{\exists!} u \forall g X P p_{1} p_{2} Y$

なんだかごちゃごちゃしていて見にくいですね...ですので、ステップごとに定義を述べて可換図式を書いていくので一緒に追っていきましょう。

ステップ1

まず $X, Y$ が存在する。
$X Y$

ステップ2

$P, p_{1} : P \to X, p_{2} : P \to Y$ の三つ組が直積であるとは、
$X P p_{1} p_{2} Y$

ステップ3

任意の $U$ と射 $f : U \to X, g : U \to Y$ に対して、
$^{\forall} U^{\forall} f \forall g X P p_{1} p_{2} Y$

ステップ4

ある射 $u : U \to P$ がただ一つ存在して、
$^{\forall} U^{\forall} f^{\exists!} u \forall g X P p_{1} p_{2} Y$

ステップ5

下の図式が可換(つまり $f = p_{1} \circ u, g = p_{2} \circ u$ )となる。
$^{\forall} U ↺ ↺^{\forall} f^{\exists!} u \forall g X P p_{1} p_{2} Y$

ということでした。直積は「始域が共通で $X$ と $Y$ が終域の射のペア」から「 $P$ が終域となる射」を作れるので、合成以外で射を作ることができるんですね！

$∙$ 圏 $1$ において $⟨ 1, {id}_{1}, {id}_{1} ⟩$ は対象 $1$ と $1$ の直積になる
$∙$ 圏 $Set$ において集合の直積と射影の組 $⟨ X \times Y, \Pr_{1}, \Pr_{2} ⟩$ は集合 $X, Y$ の直積になる
$∙$ 圏 $Grp$ において群の直積と射影の組 $⟨ G_{1} \times G_{2}, \Pr_{1}, \Pr_{2} ⟩$ は群 $G_{1}, G_{2}$ の直積になる

また直積には普遍性があります。

$⟨ P, p_{1}, p_{2} ⟩, ⟨ P^{'}, p_{1}^{'}, p_{2}^{'} ⟩$ を $X, Y$ の直積とする。この時、 $P ≃ P^{'}$

証明
$P$ は $X, Y$ 直積なので、直積の普遍性より $u : P^{'} \to P$ が存在して、以下の図式が可換
$P^{'} ↺ ↺ p_{1}^{'} u p_{2}^{'} X P p_{1} p_{2} Y$
同様に $P^{'}$ は $X, Y$ 直積なので、直積の普遍性より $u^{'} : P \to P^{'}$ が存在して、以下の図式が可換になる
$P^{'} ↺ ↺ p_{1}^{'} u p_{2}^{'} X P u^{'} p_{1} p_{2} Y P^{'} ↺ ↺ p_{1}^{'} p_{2}^{'}$
よって $u^{'} \circ u$ は以下の図式を可換にする。
$P^{'} ↺ ↺ p_{1}^{'} u^{'} \circ u p_{2}^{'} X P^{'} p_{1}^{'} p_{2}^{'} Y$
ところで以下の図式も可換である
$P^{'} ↺ ↺ p_{1}^{'} {id}_{P^{'}} p_{2}^{'} X P^{'} p_{1}^{'} p_{2}^{'} Y$
定義4の(1)から可換にするような射は一つしかない。
つまり| ${h \in Hom (P^{'}, P^{'}) | p_{1}^{'} = p_{1}^{'} \circ h, p_{2}^{'} = p_{2}^{'} \circ h}$ |=1である。よって ${id}_{P^{'}} = u^{'} \circ u$ と分かった。同様に ${id}_{P} = u \circ u^{'}$ とわかるので $P ≃ P^{'}$ となる。

直積には普遍性があることが分かったので $X$ と $Y$ の直積を $X \times Y$ 、射影を $\Pr_{1} : X \times Y \to X, \Pr_{2} : X \times Y \to Y$ とし、 $f : U \to X, g : U \to Y$ と $⟨ X \times Y, \Pr_{1}, \Pr_{2} ⟩$ を可換にするような射を $f \times g : U \to X \times Y$ と記述することにする。(つまり下の図のように記述する)
$U ↺ ↺ f f \times g g X X \times Y \Pr_{1} \Pr_{1} Y$

直和

$X, Y$ を圏 $C$ の対象とする。圏 $C$ の対象 $Q$ と射 $q_{1} : X \to Q, q_{2} : Y \to Q$ が以下の性質を満たす時、 $⟨ Q, q_{1}, q_{2} ⟩$ を $X, Y$ の直和と言い、特に $q_{1}, q_{2}$ を入射という。
$(1)$ 任意の圏 $C$ の対象 $V$ と射 $f : X \to V, g : Y \to V$ に対して、ある射 $v : Q \to V$ がただ一つ存在して、以下の図式が可換になる。
$^{\forall} V ↺ ↺ X \forall f q_{1} Q^{\exists!} v Y^{\forall} g q_{2}$

またごちゃごごちゃしていて見にくいですね...同様に、ステップごとに定義を述べて可換図式を書いていきましょう。

ステップ1

まず $X, Y$ が存在する。
$X Y$

ステップ2

$Q, q_{1} : X \to Q, p_{2} : Y \to Q$ の三つ組が直積であるとは、
$X q_{1} Q Y q_{2}$

ステップ3

任意のVと射 $f : X \to V, g : Y \to V$ に対して、
$^{\forall} V X \forall f q_{1} Q Y^{\forall} g q_{2}$

ステップ4

ある射 $v : Q \to V$ がただ一つ存在して、
$^{\forall} V X \forall f q_{1} Q^{\exists!} v Y^{\forall} g q_{2}$

ステップ5

下の図式が可換(つまり $f = v \circ q_{1}, g = v \circ q_{2}$ )となる。
$^{\forall} V ↺ ↺ X \forall f q_{1} Q^{\exists!} v Y^{\forall} g q_{2}$

ということでした。直和の定義をよく見ると直積と似ていますね。直和の定義は実は直積の定義の矢印を反対にした双対なんです。

$∙$ 圏 $1$ において $⟨ 1, {id}_{1}, {id}_{1} ⟩$ は対象 $1$ と $1$ の直和になる
$∙$ 圏 $Set$ において集合の直和と入射の組 $⟨ X ⨿ Y, i_{1}, i_{2} ⟩$ は集合 $X, Y$ の直和になる
$∙ Vect$ を、対象をベクトル空間,射を線形写像とする。圏 $Vect$ においてベクトルの直和と入影の組 $⟨ V_{1} \oplus V_{2}, i_{1}, i_{2} ⟩$ はベクトル $V_{1}, V_{2}$ の直和になる

直和には直積と同様に普遍性があります。

$⟨ Q, q_{1}, q_{2} ⟩, ⟨ Q^{'}, q_{1}^{'}, q_{2}^{'} ⟩$ を $X, Y$ の直和とする。この時、 $Q ≃ Q^{'}$

証明
$Q, Q^{'}$ は $X, Y$ の直和なので、直和の普遍性より $v : Q \to Q^{'}, v^{'} : Q^{'} \to Q$ が存在して、以下の図式が可換になる
$Q ↺ ↺ X q_{1} q_{1} Q v^{'} \circ v Y q_{2} q_{2}$
ところで以下の図式も可換である
$Q ↺ ↺ X q_{1} q_{1} Q {id}_{Q} Y q_{2} q_{2}$
定義5の(1)から可換にするような射は一つしかないので ${id}_{Q} = v^{'} \circ v$ と分かった。同様に ${id}_{Q^{'}} = v \circ v^{'}$ とわかるので $Q ≃ Q^{'}$ となる。

直和にも普遍性があることが分かったので $X$ と $Y$ の直和を $X ⊔ Y$ 、入射を $i_{1} : X \to X ⊔ Y, i_{2} : Y \to X ⊔ Y$ とし、 $f : X \to V, g : Y \to V$ と $⟨ X \times Y, i_{1}, i_{2} ⟩$ を可換にするような射を $f ⊔ g : X ⊔ Y \to V$ と記述することにする。(つまり下の図のように記述する)
$V ↺ ↺ X f i_{1} X ⊔ Y f ⊔ g Y g i_{2}$

直積と直和　まとめメモ
$∙ X$ と $Y$ の直積を $X \times Y$ 、射影を $\Pr_{1} : X \times Y \to X, \Pr_{2} : X \times Y \to Y$ と書く
$∙ X$ と $Y$ の直積を $X ⊔ Y$ 、入射を $i_{1} : X \to X ⊔ Y, i_{2} : Y \to X ⊔ Y$ と書く
$∙$ $f : U \to X, g : U \to Y$ と $⟨ X \times Y, \Pr_{1}, \Pr_{2} ⟩$ を可換にするような射を $f \times g : U \to X \times Y$ と書く
$∙$ $f : X \to V, g : Y \to V$ と $⟨ X \times Y, i_{1}, i_{2} ⟩$ を可換にするような射を $f ⊔ g : X ⊔ Y \to V$ と書く

核と余核

核

$C$ を0を持つ圏とする。 $C$ の射 $f : X \to Y$ に対して、対象と射の組 $⟨ K, k ⟩$ が以下の条件を満たすとき、 $⟨ K, k ⟩$ を $f$ の核という
$(1) f \circ k$ は $0_{K Y}$ となる。つまり以下の図式が可換
$K k 0_{K 0} ↻ X f 0 0_{0 Y} Y$
$(2)$ 対象と射のペア $⟨ K^{'}, k^{'} ⟩$ が $(1)$ を満たすとする。この時ある射 $u : K^{'} \to K$ がただ一つ存在して、以下の図式が可換となる。
$K k X ↺ K^{'}^{\exists!} u k^{'}$

核の定義はなかなか厄介です。一体なぜこのような定義にしたのでしょうか？｢ベクトル空間の核｣から｢圏の核｣の定義へ一般化することを目指して追っていきましょう。

$f : V \to W$ を線形写像としたときのベクトル空間の核の定義は
$Ker f := {v \in V | f (v) = 0}$ でした。この定義では元を取る集合論的な定義ですから、このままでは圏論ぽく一般化できません...
なので圏論チックに射(写像)だけを使って定義することを目指しましょう！
ベクトルの核の定義から $f |_{Ker f} : Ker f \to W$ は元を全て0へ送る写像になっていることが分かります。実は全ての元を0へ送る写像は $Vect$ 上の零射になっています！( $Vect$ の零対象がベクトル空間{0}であることから従う)...①
また $f |_{Ker f}$ は包含写像 $k : Ker f ↪ V$ を用いて $f |_{Ker f} = f \circ k$ と書けますね！...②
これら①②から核の条件(1)を満たしてほしいことが分かります。
しかしこの条件では足りません...例えば、 $⟨ 0, 0_{0 V} ⟩$ としても(1)の条件を満たしてしまいます。こういった核モドキ達をはじくために条件(2)があるんですね。
実際に(1)(2)の条件を課すことによって核に普遍性が生まれます。

$⟨ K, k ⟩, ⟨ K^{'}, k^{'} ⟩$ が $f : X \to Y$ の核の時、 $K ≃ K^{'}$ となる。

$⟨ K^{'}, k^{'} ⟩$ は $f$ の核なので定義6の(1)より $f \circ k^{'} = 0_{K^{'} Y}$
$K^{'} k^{'} 0_{K 0} ↻ X f 0 0_{0 Y} Y$
また $⟨ K, k ⟩$ は $f$ の核なので定義6の(2)より、ある射 $u : K^{'} \to K$ が存在して、以下の図式が可換
$K k X ↺ K^{'} u k^{'}$
同様に $⟨ K^{'}, k^{'} ⟩$ は $f$ の核なので定義6の(2)より、ある射 $u^{'} : K \to K^{'}$ が存在して、以下の図式が可換
$K^{'} k^{'} K u^{'} k X ↺ ↺ K^{'} u k^{'}$
よって $u^{'} \circ u$ により以下の図式が可換になる
$K^{'} k^{'} X ↺ K^{'} u^{'} \circ u k^{'}$
ところで以下の図式も可換になる
$K^{'} k^{'} X ↺ K^{'} {id}_{K^{'}} k^{'}$
ここで定義6の(2)より射は一個しか存在しないので ${id}_{K^{'}} = u^{'} \circ u$ とわかる。同様に ${id}_{K} = u \circ u^{'}$ とわかるので $K ≃ K^{'}$

普遍性があることがわかったので核を $⟨ Ker f, \ker f ⟩$ とあらわすことにします。
核にはうれしい性質が多くあります。

$f : X \to Y$ の核を $⟨ Ker f, \ker f ⟩$ とする。
$(1) \ker f$ はモノ射
$(2) f$ がモノ射なら $Ker (f)$ は零対象

$(1)$
$g, h : W \to Ker f$ が $\ker f \circ g = \ker f \circ h$ を満たすとする。 $\ker f \circ g = \ker f \circ h = α$ とおくと、
$f \circ α = f \circ (\ker f \circ h) = (f \circ \ker f) \circ h = 0_{Ker f X} \circ h = 0_{W X}$ となる。よって核の定義より、以下の図式を可換にする射 $u : W \to Ker f$ が唯一つ存在する。
$Ker f \ker f X ↺ W^{\exists!} u α$
ところで $\ker f \circ g = \ker f \circ h = α$ だったので以下の図式も可換である。
$Ker f \ker f X ↺ W g α Ker f \ker f X ↺ W h α$
図式を可換にするような射は一つしか存在しないので $g = u = h$ となり、 $\ker f$ はモノ射である。

$(2)$
$0$ と $Ker f$ が同型であればよい。
核の定義より $f \circ \ker f = 0_{Ker f Y}$ となる
$Ker f \ker f 0_{Ker f Y} X f Y$
また零射の性質より $f \circ 0_{Ker f X} = 0_{Ker f Y}$ となる。
$Ker f 0_{Ker f X} 0_{Ker f Y} X f Y$
ここで $f$ はモノ射より $\ker f = 0_{Ker f X}$ となる
$Ker f f \circ 0_{Ker f X} f \circ \ker f ↺ Y \Rightarrow Ker f ↻ 0_{Ker f X} \ker f X f Y$
また定理7(1)より $0_{Ker f X} (= \ker f)$ はモノ射であるので、 ${id}_{Ker f} = 0_{Ker f Ker f}$ である。
$Ker f 0_{Ker f X} \circ 0_{Ker f Ker f} 0_{Ker f X} \circ {id}_{Ker f} ↺ X \Rightarrow Ker f ↻ 0_{Ker f Ker f} {id}_{Ker f} Ker f 0_{Ker f X} X$
よって $0_{0 Ker f} \circ 0_{Ker f 0} = 0_{00} = {id}_{0}, 0_{Ker f 0} \circ 0_{0 Ker f} = 0_{Ker f Ker f} = {id}_{Ker f}$ とわかり、 $0 ≃ Ker f$

余核

$C$ を0を持つ圏とする。 $C$ の射 $f : X \to Y$ に対して、対象と射の組 $⟨ J, j ⟩$ が以下の条件を満たすとき、 $⟨ J, j ⟩$ を $f$ の余核という
$(1) j \circ f$ は $0_{X J}$ となる。つまり以下の図式が可換
$X 0_{X 0} f ↻ 0 0_{0 J} Y j J$
$(2)$ 対象と射のペア $⟨ J^{'}, j^{'} ⟩$ が $(1)$ を満たすとする。この時ある射 $u : J \to J^{'}$ がただ一つ存在して、以下の図式が可換となる。
$Y ↺ j^{'} j J^{\exists!} u J^{'}$

余核の定義は核の定義と似ていますね。実は核の定義から矢印を反対にして定義しなおすと余核になります。

核と同じように余核にも普遍性が生まれます。

$⟨ J, j ⟩, ⟨ J^{'}, j^{'} ⟩$ が $f : X \to Y$ の余核の時、 $J ≃ J^{'}$ となる。

$⟨ J^{'}, j^{'} ⟩$ は $f$ の余核なので定義7の(1)より $j^{'} \circ j = 0_{X J^{'}}$
$X 0_{X 0} f ↻ 0 0_{0 J} Y j J$
また $⟨ J, j ⟩$ は $f$ の余核なので定義7の(2)より、ある射 $u : J \to J^{'}$ が存在して、以下の図式が可換
$Y ↺ j^{'} j J^{\exists!} u J^{'}$
同様に $⟨ J^{'}, j^{'} ⟩$ は $f$ の余核なので定義7の(2)より、ある射 $u^{'} : J^{'} \to J$ が存在して、 $u^{'} \circ u$ により以下の図式が可換になる
$Y ↺ j^{'} j J u^{'} \circ u J$
ところで以下の図式も可換になる
$Y ↺ j^{'} j J {id}_{J} J$
ここで定義7の(2)より射は一個しか存在しないので ${id}_{J} = u^{'} \circ u$ とわかる。同様に ${id}_{J^{'}} = u \circ u^{'}$ とわかるので $J ≃ J^{'}$

普遍性があることがわかったので余核を $⟨ Coker f, coker f ⟩$ とあらわすことにします。
ところで余核とは何でしょうか？例えば、線形写像 $f : V \to W$ に対して、 $f$ の余核とは商空間 $W / Im f$ のことです。つまり $f$ の終域 $(= W)$ のうち $f$ の像 $(= Im f)$ をつぶしたような空間が余核ということなんですね
こうした余核にも核と同じようにうれしい性質があります。

$f : X \to Y$ の余核を $⟨ Coker f, coker f ⟩$ とする。
$(1) coker f$ はエピ射
$(2) f$ がエピ射なら $Coker (f)$ は零対象

$(1)$
$g, h : Coker f \to Z$ が $g \circ coker f = h \circ coker f$ を満たすとする。 $g \circ coker f = h \circ coker f = β$ とおくと、
$β \circ f = g \circ coker f \circ f = 0_{X Z}$ となる。よって余核の定義より、以下の図式を可換にする射 $u : Coker f \to Z$ が唯一つ存在する。
$Y ↺ β coker f Coker f u Z$
ところで $g \circ coker f = h \circ coker f = β$ だったので以下の図式も可換である。
$Y ↺ β coker f Coker f g Z Y ↺ β coker f Coker f h Z$

図式を可換にするような射は一つしか存在しないので $g = u = h$ となり、 $coker f$ はエピ射である。

$(2)$
$0$ と $Coker f$ が同型であればよい。
余核の定義より $coker f \circ f = 0_{X Coker f}$ となる
$X f 0_{X Coker f} Y coker f Coker f$
また零射の性質より $0_{Y coker f} \circ f = 0_{X Coker f}$ となる。
$X f 0_{X Coker f} Y 0_{Y coker f} Coker f$
ここで $f$ はエピ射より $coker f = 0_{Y Coker f}$ となる
$X 0_{Y coker f} \circ f coker f \circ f ↺ Coker f \Rightarrow X f Y ↻ 0_{Y Coker f} coker f Coker f$
また定理9(1)より $0_{Y Coker f} (= coker f)$ はエピ射であるので、 ${id}_{Coker f} = 0_{Coker f Coker f}$ である。よって $0_{0 Coker f} \circ 0_{Coker f 0} = 0_{00} = {id}_{0}, 0_{Coker f 0} \circ 0_{0 Coker f} = 0_{Coker f Coker f} = {id}_{Coker f}$ とわかり、 $0 ≃ Coker f$

像と余像

ところで核の反対語といえば何を思い浮かべますか？自分としては核の反対語は「像」という感じなんですが実際の核の双対は余核といわれるものでした。では「像」はどのように定義されるでしょうか？
実は、核と余核を駆使すると、像を作ることができるんです！

像　余像

$(1) Im f := Ker (coker f), im f := \ker (coker f)$ を像という
$(1) Coim f := Coker (\ker f), coim f := coker (\ker f)$ を余像という

そして像と余像は以下の性質を持ちます。

$f : X \to Y$ に対して、 $f$ の像と余像が存在するなら、以下の図式を可換にする射 $z : Coim f \to Im f$ が唯一存在する。
$X f coim f ↻ Y Coim f z Im f im f$

証明手法（任意）

核の定義から $f \circ \ker f$ は零射である。
$Coim f = Coker (\ker f)$ より余像は $\ker f$ の余核なので、以下の図式を可換にするような射 $u : Coim f \to Y$ が存在して、以下の図式を可換にする。
$X coim f f Y ↺ Coim f u$
また $coker f \circ 0_{Coim f Y} \circ coim f = 0_{X Coker f} = coker f \circ f = coker f \circ u \circ coim f$ であるが、 $coim f := coker (\ker f)$ なので、余核はエピ射より、 $coker f \circ 0_{Coim f Y} = coker f \circ u = 0_{Coim f Coker f}$ また $Im f := Ker (coker f)$ より、像は $coker f$ の核でもあるので、以下の図式を可換にするような射 $z : Coim f \to Im f$ が唯一存在する。
$X f coim f ↻ Y Coim f z Im f im f$

ところで今定義した像は果たして我々が知っている像の定義になるでしょうか？
ベクトル空間で検証してみましょう
線形写像 $f : V \to W$ に対して、 $f$ の余核とは $W / Im f$ でした。
ここで $coker f : W \to Coker f (= W / Im f)$ の核とは何でしょうか？
そう！ $Im f$ ですね！ですから $Im f := Ker (coker f)$ となるんですね～

核と余核　まとめメモ
$∙$ 核と余核の射は合成すると零射になる。
$∙$ 核,余核の射はモノ射,エピ射となる。
$∙$ 核モドキから核への(可換にするような)射が唯一存在する。
$∙$ 余核から余核モドキへの(可換にするような)射が唯一存在する。

おわりに

今回はお読みいただきありがとうございました。初投稿ということで分かりにくい説明や誤字も多かいかもしれません。ですが、さらに成長して数学に挑んでいきたいです！次回はアーベル圏の定義とその具体例に入ります。

参考文献

[1]

中岡宏行, 圏論の技法, 日本評論社, 2015

[2]

志甫淳, 層とホモロジー, 共立出版, 2024

[3]

alg-d, 双積・弱完全圏, 壱大整域, 閲覧日 2024年11月13日, https://alg-d.com/math/kan_extension/zero.pdf

投稿日：2024年11月13日

更新日：2024年12月5日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

いそべやん

896

大学一年生です。解析的整数論とホモロジー代数に興味があります。抜けが多い性格なので、誤植とかあるかもしれません💦よろしくお願いします。

他の人のコメント

コメントはありません。

読み込み中

いそべやん

【ホモロジー代数 1】アーベル圏の事前準備

まえがき
アーベル圏を知るまえに
零対象と零射
零対象
零射
モノ射とエピ射
モノ射とエピ射
直積　直和
直積
直和
核と余核
核
余核
像と余像
おわりに
参考文献

【ホモロジー代数 1】 アーベル圏の事前準備

まえがき

アーベル圏を知るまえに

零対象と零射

零対象

零射

零対象と零射 まとめメモ

モノ射とエピ射

モノ射とエピ射

モノ射とエピ射 まとめメモ

直積 直和

直積

ステップ1

ステップ2

ステップ3

ステップ4

ステップ5

直和

ステップ1

ステップ2

ステップ3

ステップ4

ステップ5

直積と直和 まとめメモ

核と余核

核

余核

像と余像

核と余核 まとめメモ

おわりに

参考文献

この記事を高評価した人

この記事に送られたバッジ

投稿者

コメント

他の人のコメント

【ホモロジー代数 1】アーベル圏の事前準備

零対象と零射　まとめメモ

モノ射とエピ射　まとめメモ

直積　直和

直積と直和　まとめメモ

核と余核　まとめメモ