写像.9　圏、特別な射と記号、可換図式

ホーム
大学数学, 集合と位相
写像.9　圏、特別な射と記号、可換図式

大学数学

2018.07.14

写像.9　圏、特別な射と記号、可換図式

圏、特別な射

ここで、あまり深入りはしませんが、圏論的な全射、単射、全単射（双射）などの定義を示しておきます。

これらの概念は後々他の分野をやるときに独自の意味を持ってきますが、とりあえず集合で考える限りは、対象と射とはそれぞれ集合と写像のことであり、今までの全射、単射、全単射と同じものだと思ってよいです。

まず、圏を定義しておきましょう。

◆Def.SetTop.3.9.1.

圏 $\sl{C}$ は対象の類 $\mathrm{Ob}(\sl{C})$ と対象間の射の類 $\mathrm{Hom}(\sl{C})$ からなる。

$\mathrm{Hom}(\sl{C})$ に属する射 $f \in \mathrm{Hom}(\sl{C})$ は始域 $a \in \mathrm{Ob}(\sl{C})$ と終域 $b \in \mathrm{Ob}(\sl{C})$ を持ち、 $f \colon a \rightarrow b$ と表され、 $a$ から $b$ への射であるという。
$a$ から $b$ への射全体をなす類を $\mathrm{Hom}(a,b)$ で表す。

$\forall a,b,c \in \mathrm{Ob}(\sl{C})$ に対して、射の合成と呼ばれる二項演算 $\mathrm{Hom}(a,b) \times \mathrm{Hom}(b,c) \rightarrow \mathrm{Hom}(a,c) , (f,g) \mapsto g \circ f$ が存在して、次の性質を満たす。

・結合律
$\forall f \colon a \rightarrow b,g \colon b \rightarrow c,h \colon c \rightarrow d, h \circ ( g \circ f) = ( h \circ g ) \circ f$

・単位律
$\forall x \in \mathrm{Ob}(\sl{C}), \exists \mathrm{id}$ $_{x}$ $\colon x \rightarrow x \,\,\,$ $\mathrm{s.t.}$
$\forall f \colon a \rightarrow x,g \colon x \rightarrow b,( \mathrm{id}_{x} \circ f = f) \land ( g \circ \mathrm{id}_{x} = g)$

$\mathrm{id}_{x}$ を恒等射という。

Rem.1. 圏の定義では恒等射の存在を条件としましたが、実は恒等射が存在するならばただ一つであることがわかります。

$\mathrm{id'}_{x}$ も恒等射であるとすると、恒等射の性質より、

$\mathrm{id'}_{x} = \mathrm{id'}_{x} \circ \mathrm{id}_{x} = \mathrm{id}_{x}$

となります。

◆Def.SetTop.3.9.2.

圏 $\sl{C}$ として、 $X,Y$ を $\sl{C}$ の対象、 $f : X \rightarrow Y$ を $\sl{C}$ の射とする。

・ $f$ が右簡約である、すなわち任意の $g_1,g_2 \colon Y \arrow Z$ に対して、 $g_1 \circ f = g_2 \circ f \Rightarrow g_1=g_2$ が成り立つとき、 $f$ は全射（エピ射）であるという。

・ $f$ が左簡約である、すなわち任意の $g_1,g_2 \colon Z \arrow X$ に対して、 $f \circ g_1 = f \circ g_2 \Rightarrow g_1=g_2$ が成り立つとき、 $f$ は単射（モノ射）であるという。

・ $f$ が全射かつ単射であるとき、全単射（双射）であるという。

・ $f$ が右逆射を持つとは、 $g \colon Y \rightarrow X$ で $f \circ g = \mathrm{id}_{Y}$ となるようなものが存在することをいう。

・ $f$ が左逆射を持つとは、 $g \colon Y \rightarrow X$ で $g \circ f = \mathrm{id}_{X}$ となるようなものが存在することをいう。

・ $f$ が同型射であるとは、 $g \colon Y \rightarrow X$ で　 $f \circ g = \mathrm{id}_{Y}$ かつ　 $g \circ f = \mathrm{id}_{X}$ となるようなものが存在することをいう。

Rem.2. 実は、 $f$ が右逆射と左逆射を同時に持つならそれらは一致し、 $f$ は同型射となることがわかります。

実際、 $g$ を $f$ の右逆射とし、 $h$ を $f$ の左逆射としましょう。すると、

$g = \mathrm{id}_{X} \circ g = (h \circ f) \circ g = h \circ ( f \circ g) = h \circ \mathrm{id}_{Y} = h$

となります。

次が成り立ちます。

◆Prop.SetTop.3.9.3.

圏 $\sl{C}$ として、 $X,Y$ を $\sl{C}$ の対象、 $f : X \rightarrow Y$ を $\sl{C}$ の射とする。

１． $f$ が右逆射を持つならば、 $f$ は全射
２． $f$ が左逆射を持つならば、 $f$ は単射
３． $f$ が同型射ならば、 $f$ は全単射

■Prf.

１．

$g_1 \circ f = g_2 \circ f$ に対して、 $f \circ h = \mathrm{id}_{Y}$ を満たす $h$ を右から合成することで、

$g_1 = g_1 \circ \mathrm{id}_{Y} = g_1 \circ f \circ h = g_2 \circ f \circ h = g_2 \circ \mathrm{id}_{Y} = g_2$

２．

$f \circ g_1 = f \circ g_2$ に対して、 $h \circ f = \mathrm{id}_{X}$ を満たす $h$ を左から合成することで、

$g_1 = \mathrm{id}_{X} \circ g_1 = h \circ f \circ g_1 = h \circ f \circ g_2 = \mathrm{id}_{X} \circ g_2 = g_2$

３．

$f$ が同型射ならば、右逆射と左逆射をもつから、全射かつ単射であるので、全単射である。 □

Rem.3. 実は、一般の圏では逆は成り立ちません。ただし、集合の圏（集合と写像からなる圏）では逆が成り立ちます。これは既に示しています。

特別な射に用いる記号

全射、単射、同型射のときは、写像に使われる矢印 $\rightarrow$ に特別なものを用いることがしばしばあります。断りなしに用いられることも多いので、説明しておきましょう。

・ $f \colon X \rightarrow Y$ が全射のとき、 $f \colon X \rightarrow Y$ を $f \colon X \twoheadrightarrow Y$ と表す。
・ $f \colon X \rightarrow Y$ が単射のとき、 $f \colon X \rightarrow Y$ を $f \colon X \hookrightarrow Y$ と表す。
・ $f \colon X \rightarrow Y$ が同型射のとき、 $f \colon X \rightarrow Y$ を $f \colon X \xrightarrow{\sim} Y$ や $X \overset{f}{\simeq} Y$ などと表す。 $f$ が何であるかを問題にしないとき、しばしば $f$ は省略され、 $X \simeq Y,X = Y$ などと書かれることもある。