圏論においては射が重要であり、特に同型射(isomorphisms)が重要である。それについてまとめたのでここに記す。
同型射
まず簡単に圏の定義をおさらいする。以前のブログにも書かれているので、よくわからなければ適宜参照していただきたい。
圏 とは、対象と呼ばれるものと射と呼ばれるものから成り立っている。
対象は などと書かれ、射は
などと書かれる。
射はドメインと呼ばれる対象とコドメインと呼ばれる対象から成り立っていて、射 のドメインが対象
でありコドメインが対象
であるとき、射
は
から
への射といい、
や
などと書く。
圏 には射の合成というものが考えられている。任意の射
と
に対して、新しい射
が定義されている。
を
と書く。つまり、
ここで順番に注意すること。
このときに、圏 は次の公理を満たす。
(1) 任意の射 に対して、
が成り立つ。
(2) 任意の対象 に対して、ある射
が存在して、任意の射
に対して、
が成り立つ。 を
の恒等射と言う。
これが圏の定義であった。
さて、まず恒等射についてその唯一性を示そう。つまり、任意の対象に対して、ただ一つの恒等射が存在することを示そう。任意の対象 に対して、恒等射
と
が存在するとする。このとき、
を示せばよい。
として、
に対して、
を
とすれば、
と
を手に入れることができる。同様に、
として、
に対して、
を
とすれば、
と
を手に入れることができる。よって、
である。これで主張は示された。
恒等射の唯一性より、 の恒等射を
や
などと書く。つまり、恒等射
は任意の射
に対して、
である。
続いて、圏論において最も重要な射である同型射(isomorphisms)を定義しよう。
定義 1 (同型射)
圏
の射
が同型射であるとは、対象
から対象
のある射
が存在して、
![]()
が成り立つことである。
が同型射であるとき、
と書く。
対象
に対して、
から
への同型射が存在するとき(または
から
への同型射が存在するとき)、
は
と同型であるという。
が
と同型であるとき、
と書く。
容易にわかるように恒等射 は同型射である。
であるからである。
射 が同型射であるとき、
もまた同型射である。なぜなら、
かつ
であるからである。
さらに、 と
が同型射ならば、合成射
もまた同型射である。
以上より、関係 は同値関係であることがわかる。つまり、
は
(1)
(2)
(3) If and
, then
が成り立つ。
ここで同型射の唯一性を示そう。すなわち射 が同型射であるならば、上で定義された
はただ一つしか存在しない。すなわち、
が
を満たすならば、 である。実際、圏の公理から
であることがわかる。
の同型射は、存在していれば、ただ一つであることがわかったので、
を
と書き直す。すなわち、射
が同型射であるとは、ある射
が存在して、
かつ
が成り立つことである。
続いて特別な対象を定義して、そこに現れる同型射(キャノニカル同型射)を見てみよう。
キャノニカル同型
圏論では普遍性(universality)によって特別な対象を定義する。はじめに一番簡単な例を紹介して、同型について考えてみる。続いて少し複雑な例で同様に考えてみる。
終対象
定義 2 (終対象)
圏
のある対象
が終対象(terminal objects)であるとは、圏
の任意の対象
に対して、
から
への射がただ一つ存在することである。その射を
と書こう。ここで、点線の矢印
はただ一つしか存在していないことを表している。
ここで圏 において、もし終対象が二つあるならば、それらは同型であることを示そう。すなわち、
および
が圏
の終対象であるとする。このとき、
であることを示そう。そのために射
と
を定義して、それらが同型であることを示せばよい。
終対象 を次のように定義する。圏
の任意の対象
に対して、ただ一つの射
が存在する。同様に終対象
は圏
の任意の対象
に対して、ただ一つの射
が存在する。
は終対象であるから、
に対して、射
が存在する。同様に、
は終対象であるから、
に対して、射
が存在する。我々の主張は
は同型射であり
ということである。すなわち、
であることを主張する。これを示そう。
射 と
の合成
は
から
への射である。つまり、
である。さらに圏の公理から、対象
に対して、恒等射
が存在する。そして、終対象の定義から
からそれ自身への射
はただ一つしか存在しない。 よって、
同様に、射 は
からそれ自身への射であり、恒等射
が存在している。そして、終対象の定義から
であることがわかる。これが示すべきことであった。以上より、
は
と同型である。
さて、このような一意に定まる同型射をキャノニカル同型射と言う。対象 と
の間にキャノニカル同型射が存在するとき、
と
はキャノニカル同型と言う。
圏 の対象
として、もし
が終対象であり、
は
と同型であるならば(
)、
も終対象である。これを示そう。
と
が同型であるので、同型射
が存在する。圏
の任意の対象
に対して、
は終対象であるから、ただ一つの射
が存在する。したがって、合成射
が存在する。つまり、
から
への射が存在する。
から
への射がただ一つしか存在しないことを示す。
から
への射
が存在するとする。このとき、
は
から
への射である。ここで、終対象
の普遍性(唯一性)により、
から
への射はただ一つしか存在しない。したがって、
である。よって、 である。
したがって、対象 は任意の対象に対してただ一つの射が存在することがわかった。すなわち、
は終対象である。(証明終)
よって、次の定理が導かれる。
定理 3
もし
と
が圏
の終対象ならば、
と
はキャノニカル同型である。
逆に、
が終対象であり
は
と同型であるならば、
はまた終対象である。
イクワライザー
終対象は対象のみの定義であったが、実は対象と射の組みのようなもう少し複雑な概念がある。そのような概念であっても上の定理 3のようなことが成り立つ。そこでイクワライザー(equalizers)を例に議論してみよう。
定義 4 (イクワライザー)
を圏
の射とする。
と
のイクワライザーとは
が対象であり、
が射である組み
であり、次の性質を満たすものである。
(1)
(2)
となる任意の射
に対して、
となる 射
がただ一つ存在することである。
(図は省略)
このとき定理3と同様な次の定理がある。
定理 5
を圏
の射とする。
もし、
と
が圏
のイクワライザーであるならば、
と
にはキャノニカル同型
が存在して、
![]()
が成り立つ。
逆にもし、
が
と
のイクワライザーであり、
は
と同型ならば、
もまた
と
のイクワライザーである。
(証明)
と
を
と
のイクワライザーとする。つまり、
であり、
となる任意の射
に対して、
となる射
がただ一つ存在する。ただし、
である。
に対して、
は
より、ただ一つの射
が存在して、
が成り立つ。同様に、
に対して、
は
より、ただ一つの射
が存在して、
が成り立つ。
ここで、射の合成 は
が成り立つ。実際、
である。
に対して、
は
より、ただ一つの射
が存在して、
が成り立つ。
ここで明らかに、 の恒等射
は
が成り立っている。したがって、
が成り立つ。
同様にして、 である。よって、
と
はキャノニカル同型である。
逆に に対して、
を 射の合成
として定義する。つまり、
で定義する。このとき、
が
と
のイクワライザーであることを示せばよい。まず、
を示す。実際、
である。
次に を満たす任意の射
に対して、
となるただ一つの射
が存在することを示す。まず、存在性を示す。
はイクワライザーであるから、
となる
がただ一つ存在する。ここで射
を
で定義する。つまり、
である。このとき、
である。実際、
である。最後に唯一性を示す。 となる射
を仮定する。このとき、射
は
である。つまり、 である。
の普遍性より、
であり、よって、
は同型射より
である。射の唯一性は示された。
以上より、 は
と
のイクワライザーである。
(証明終わり)
最後に 応用例
これらの定理は他の概念(積、ファイバー積、極限)でも同じである(と思う)。
これらの定理は次のように使われる。例えば、圏 の終対象
とある対象
に対して、
を示したいのならば、
が終対象の定義を満たすことを示せば、キャノニカル同型射により、
であることがわかる。逆に、
となっていれば、
は終対象の性質を満たすことがわかる。
同様に、 がイクワライザーとして、ある対象
に対して、
を示したいのならば、
がイクワライザーであることを示せば十分である。逆に、
がイクワライザーであり、
であるならば、
はイクワライザーであることがわかる。
もしも を示したいのならば、
が終対象であることを示すか、
がイクワライザーであることを示せばよい。逆に、
が成り立っているのならば、
は終対象であり、
はイクワライザーであることがわかる。
僕から以上