概要
今回からアーベル圏を学んでいく。そのための前提として一般の圏に関する知識を最低限勉強する。この記事では圏の定義と圏の例を示す。特に今後アーベル圏を議論する上で重要なアーベル群の圏と加群の圏を示す。
はじめに 集合論の復習から
写像とは何か
集合論の基礎はもちろん「集合」と「写像」である。普通、素朴集合論は次のように議論が進む。集合が(なんとなく・直感的に)定義されたのち、部分集合や合併や和集合などの特別な集合が定義され、 次に写像(map)が定義される。そして特別な写像として単射(injective)・全射(surjective)・全単射(bijective)が定義され、カーディナルナンバー(濃度)の話をする。そして、可算集合や非可算集合が議論される。....だいたいこんなものである。
圏論では写像が中心的な役割を果たす。それでは写像(または関数でも可)とは何か。例えば、写像とは のようなある種の式として表されていると定義できるだろう。また、写像とはグラフであると定義してもいいかもしれない。高校ぐらいまでならばそれでも構わないが一般になるとそれでは不十分である*1。
を集合とする。からへの写像とはのすべての元に対して、ただ1つのの元が対応することをいう。それをと書く。
これでも定義としてはかなりいいものであるが、まだ厳密ではない。 「対応関係」というのが曖昧であるからである。この写像(関数)を厳密に定義する方法は次の2つである。つまり、一つ目は写像を集合として定義する方法であり、もう一つは写像を公理化させる方法である。
前者が公理的集合論の立場であり、後者が圏論の立場である*2。それでは、写像の公理化とは何か。それは写像の性質を抽出してそれをみたすものを写像と呼ぼうということである。
写像の性質
上の写像の定義から写像の性質をみてみよう。最初は写像の合成(composition)である。
合成写像の結合法則
2つの写像 が与えられたとする。もし、写像 の行った先 と写像 の出発地 が一致しているならば、これらの写像によってからへの新しい写像 を定義することができる。つまり、もし ならば、新たな写像 が定義できる。写像 は集合 の各要素 に対して、まず 集合に要素 が存在する。さらに、も写像であるので、つまり任意の要素に対して、集合の要素に割り当てられるので、集合には要素 が存在する。つまり、写像 は任意の要素に対してが対応する。
いま、新たにできた写像をと書いているが、これを(読み方は「ジー・オヴ・エフ」や「ジー・アフター・エフ」や「ジー・マル・エフ」など)と書き直す。つまり、写像 に対してからへの新たな写像は
である。順序に注意。ちなみに、たまに合成写像の書き方をそのままと書くこともあるらしい。Lawvereの原論文ではそのように書かれている。彼の著書はそうではない。また、コンピュータ・サイエンス関係ではそのように書くこともあるらしい。その辺の事情はわからない。
これから次の性質が容易にわかる。それは任意の写像 に対して、が成り立つことである。つまり、
定理
集合 が与えられ、写像 が与えられているとする。このとき、
が成り立つ。
これが、写像の公理の1つである。
恒等写像の法則
写像 に対して、集合は必ず異なるものでなければならないという訳ではない。つまり同じ集合の間の写像も定義できるのである。 そのような写像 をエンドウモルフィズム(endomorphism)と言う*4。例えば、は実数 からそれ自体へのエンドウモルフィズムである。
さらに、エンドウモルフィズム の中で、特別な写像が存在する。それは、集合 の任意の要素 をそのままに写すような写像である。つまり、任意の要素 に対して
である写像である。
このような写像を恒等写像(identity map)と言う。集合の恒等写像をや と書く。さらに、文脈によりどの集合の恒等写像かわかるときは、簡単にと書かれることもある。だが、この一連の記事ではそのようには書かない。ちゃんとどこの恒等写像であるのか必ず明記する。
さて、この恒等写像は次の性質を満たすことが容易にわかる。それが恒等写像の法則(the laws of identity maps)であり、もう1つの写像の公理である。
定理
任意の集合 に対して、恒等写像 が存在して、任意の写像 に対して、
(1):
かつ
(2):
が成り立つ。
以上が写像の公理化において必要な知識である。ここから逆に写像をこのような性質を満たすものとして定義する(公理化させる)のである。それが圏(Category)である。
箸休め 関数と写像の違い
初学者が困惑する一つに「関数と写像の言い方の違いは何か」ということであると思われる。私も結構悩んだ。「高校までは関数と言っていたのに大学になると写像と言われるようになった。かと言って、関数という言葉が廃れたわけでない。ならばどうしてわざわざ写像と言うのか?」
このような悩みにたいして私の経験と私なりの回答をここで記そう。
私は稲葉三男の『微積分の根底をさぐる』という本を読んだ。
この本は私の人生に影響を与えたものの一つである。それは微積を習うときに初学者が陥りやすいところを筆者なりに丁寧に解説したものである。というより読者と一緒に悩むという本である。もしかしたら好みは分かれるかもしれないし、これを読むことによって余計に混乱が生じるかもしれないが、私は好きである。
さて、そこには「関数と写像の違いは何か」という話がある。その悩みは「ある意味では重要でありある意味ではナンセンスである」と著者は言う。そして筆者は次のことを指摘する。写像は必ず行くところ(domain)と行った先(codomain)が明示されている。だが、対して関数は必ずしもそれらを言及しない。したがって、関数ならば 「の定義域は何か」という問題はあり得るが、写像ならばそれはナンセンスでありそのような違いが生じると言う。
他にもいくつか関数と写像の違いを議論している。
別の本には「写像と関数は同義である」と書かれてある。例えば、彌永昌吉の『数の体系』(上)の写像の項目である。
さらに、多様体では写像 の行った先つまりが一次元の実数空間 ならばそれは写像と言わず関数と呼ばれる。対してそれ以外の一般ならばそのまま写像と言われる。これは慣習ということもあるが、それだけではない。行った先(codomain、つまりここでは )が一次元かどうかというのは写像の性質が決定的に異なるため、そのように区別するのが都合がいいという理由がある。
以上の話をまとめると私の結論はこうである。つまり、写像と関数は同じ意味である(同義)。だが、一つは慣習として関数というときがある(関数解析など)。もう一つは特に幾何学において写像 の行った先(codomain)が実数 や複素数 (の部分集合)ならば、その写像は関数と呼ばれるということである。
圏の定義
これまでは写像の性質をみてきた。その性質-----つまり合成が定義されそれらが結合法則と恒等写像の法則-----を満たす数学的概念を圏と呼ぶ。
定義
圏 とは、次のデータから成り立つものである。
- 対象(object)とよばれるものの集まり(collection)から成り立っている。それらは などで書かれる。がの対象であることを や簡単になどと書かれる。
- 射(arrow, morphism, map)とよばれる集まりから成り立っている。射はなどで書かれる。射 はドメイン(domain)と呼ばれる対象とコドメイン(codomain)と呼ばれる対象から成り立っていて、それぞれと書かれる。射 のドメインおよびコドメインがそれぞれ対象 であるとき、つまりであるとき、射 を や などで表す。
- 射は合成が定義されている。つまり任意の射 に対して、もし ならば、新しい射 が定義されていることである。
そして圏は(対象)と射に関して次の公理を満たす。
(I): 結合法則
圏 の任意の対象 と任意の射 に対して、
(II): 恒等射の法則
圏 の任意の対象 に対して、恒等射(identity arrow)と呼ばれる射 が存在して、次の性質を満たす。任意の射 に対して、
(1):
かつ
(2):
が成り立つ。
圏の例
ここからはいくつかの圏の例を見ていこう。ただし、アーベル圏に最低限必要な圏しかここでは紹介しない。
集合の圏
これは一番典型的な圏である。集合の圏とは、対象が集合であり射が写像であるものである。これは明らかに圏の公理を満たしている。
プレセットの圏
これは正直に言うと今回のアーベル圏の記事には必要のない知識である。もし理解できるならば理解して欲しいという程度のものである。というのもこれをアーベル圏と比較して初めて、よりアーベル圏を理解することが可能であるからである。しかし必ずしもこれを理解しなければならないというわけではない。だが、一般の圏論においては極めて重要な概念であることは疑いない。
前置きはこの辺にしてプレセットの圏とは、その対象はプレ集合であり、その射はモノトーン写像(monotone map)である圏である。
プレ集合(Preset) とは、集合 に 上の二項関係 をもち、それが次の2つの性質を満たすものである。
(1): 任意の元 に対して、が成り立つ(reflective)。
(2): 任意の元 に対して、
かつならば が成り立つ(transitive)。
この性質を満たす二項関係 をプレオーダー(擬順序, preorder)と言う。
プレ集合 に対して、モノトーン写像 とはプレオーダーを保つ写像である。つまり、
任意の に対して、が成り立つ写像である。
これが圏であることを示すためには、プレ集合の圏 の合成の定義を確認して、その恒等射を示せばよい。
まず、これが合成が定義できることを示す。つまり、任意のモノトーン写像 と に対して、その合成 もまたモノトーン写像であることを示す。つまり、任意の元 に対して、であることを示さなければならない。だが、明らかにこれは成り立つ。
プレ集合の圏 の任意の対象 の恒等射は の恒等写像 である。これが、モノトーン写像であることも明らかである。
以上より、は圏である。
それ以上に大切なことはプレ集合 はそれ自体圏とみなすことができるということである。つまり、プレ集合は射が多くとも1つである圏とみなすことができるのである。だが、それに関して今回は省略する。
モノイドの圏
モノイド とは、集合と二項関係 と のある特別な元 のトリプル であり、それは次のような性質を満たす。
(1): の任意の元 に対して、が成り立つ。
(2): の各元 に対して、が成り立つ。を単位元と言う。
このとき、モノイド それ自体は圏である。つまりモノイド は対象がただ1つの圏とみなすことができる。実際、ただ1つの対象 に対して、の元 を射とする。つまり とする。任意の射 に対する射の合成 をモノイドの二項関係 で定義する。つまり、
で定義する。すると、容易にわかるように、恒等射 はモノイドの単位元 である。つまり、である。圏の結合法則および恒等射の法則は、上のモノイドの性質 (1), (2)より、満たすことがわかる。
したがって、モノイド は圏である。
を定義しよう。
定義
を対象をモノイドの集まり、射をモノイド準同型写像(homomorphism)の集まりとする。つまり、モノイド が与えられたとすると、モノイド準同型写像 とは 1) の任意の元 に対して、
が成り立ち、さらに 2) が成り立つ写像である。
モノイド準同型写像の合成はまたモノイド準同型写像であり、恒等写像 もモノイド準同型写像より、は圏である。
群の圏とアーベル群の圏
群の圏
群(Group)とは、モノイド にさらに次の性質を満たすものを言う。つまり、
(3): の任意の元 に対して、ある元 が存在して、
が成り立つ*5。この元を の逆元(inverse element)と言う。
もちろん群 それ自体も圏である。モノイド よりも少し特別な性質を持つものである*6。
と同様に、を定義しよう。
定義
が成り立つことである。
ここで、群の準同型の単位元の保存について注意しよう。というのも、モノイドのときは が成り立っていたとしても、単位元の保存、すなわち が成り立つとは限らない。だから、モノイドの準同型写像の定義には単位元の保存が要請された。だが、対して群の準同型写像は構造が保たれているならば、単位元も保たれていることがわかるのである。
実際、を群の準同型写像での単位元をそれぞれ とすると、であり、よって である。元 に対して、逆元 が存在するので、両辺に を掛けて、結合法則を使えば、が得られる。
モノイドの準同型写像と同じように、群の準同型写像の合成もまた準同型となっていて、恒等写像は準同型写像である。したがって、は圏である。
アーベル群の圏
群 は一般には可換性が保証されていない。つまり、任意のに対して、
(4):
であるとは限らない。
もしも、群 が (4)を満たすとき、それをアーベル群(Abelian group)と言う。
そして当然ながら前の群の議論はそのまま使える。つまりアーベル群の準同型写像が定義でき、そして圏 を定義することができる。
定義
圏 とは、対象がアーベル群で射がアーベル群の準同型写像である圏である。
これがまさにアーベル圏(アーベル群の圏と違うので注意!)の具体例である。言い換えれば、アーベル圏はアーベル群の圏 の抽象化された圏である。
閑話休題 部分圏について
これはそれほど重要ではなく、もしよくわからなければ抜かしても構わないセクションである。この一連の記事に必要じゃないかもしれない。必要になったらそのとき、再び考えるから問題ない。
集合論のとき、ある与えられた集合に含まれる小さな集合を考えた。それは部分集合(subset)である。それと似た意味である圏に対する部分圏を考えることができる。それは次である。
定義
圏 が与えられたとして、圏 が次の条件を満たすとき、それを部分圏(subcategory)と言う。
(1): 圏 の任意の対象は 圏の対象である。
(2): 圏 の任意の対象 に対して、
の射 の集まり は の射 の集まり の部分集合であり、かつ、の恒等射および射の合成が と一致していることである。
さらに、もし圏 の部分圏 が、の任意の対象 に対して、
であるとき、をフル部分圏(full subcategory)と言う(日本語の訳があったが忘れた)。
明らかに、アーベル群の圏 は群の圏 のフル部分圏であり、群の圏はモノイドの圏 のフル部分圏である。
加群の圏とベクトル空間の圏
加群とは体 上のベクトル空間を一般化したものである。そこでまず、加群に必要な環を定義する。環を特殊化したものが体である。次に、加群とベクトル空間を定義する。最後にそれらの射(準同型写像)を定義して、加群の圏とベクトル空間の圏を定義して終わる。
環と体
定義 環
環 (ring)とは、加法 と乗法 呼ばれる上の二項関係をもつ集合であり、次の(1) - (4)を満たすものである。
(1): 加法に関して はアーベル群をなしている。ただし加法の単位元を とする。
(2): 乗法に関して結合法則が成り立つ。つまり、の任意の元 に対して
が成り立つ。
(3): 加法と乗法に関して分配法則が成り立つ。つまり、の任意の元 に対して
かつ
が成り立つ。
(4): 乗法に関して単位元 を持つ。つまり、の任意の元 に対して
が成り立つ。
さらに、乗法に関して可換であるとき、つまり、の任意の元 に対して、
が成り立つとき、を可換環(commutative ring)と言う。
例えば、整数の集合 は可換環(つまり環)である。
最後に、もし可換環 がゼロでない任意の元 に対して、となる元 が存在するとき、を(可換)体と(field)言う。
体の例は、実数 や有理数 などである。
加群とベクトル空間
加群と体 上のベクトル空間を定義する。は環であるため、左作用なのか右作用かで異なる定義をする。が、体 は可換環であるので、その区別はなくなる。つまり両側加群となる。
定義 左(右)加群
とをそれぞれ環とアーベル群とする。このとき、が左 加群であるとは、写像 が定義されていて、それが次の性質 (1) - (3)を持つことを言う。
(1):
(2):
(3):
さらに、が体であるときの加群を(有限次元)ベクトル空間と言う。
準同型と線形写像
加群の準同型写像を定義する。それはベクトル空間で言えば、線形写像のことである。
定義 準同型写像
を 加群とする。写像 が準同型(homomorphism)であるとは、任意の に対して、
(1):
(2):
が成り立つことである。
容易に示されるように準同型の合成はまた準同型である。さらに、恒等写像 は 準同型写像である。
体上のベクトル空間の準同型を線形写像(linear map)と言う。
加群の圏と体 上のベクトル空間の圏
以上より、我々は加群の圏とベクトル空間の圏をこれまでと同様に定義することができる。
定義 左 加群の圏
これの特別なバージョンとして体上のベクトル空間の圏 がある。その対象は体 上のベクトル空間でありその射は線形写像である。
特に体 上の有限次元のベクトル空間の圏は圏論において重要な例を与えてくれる。
加群の圏はベクトル空間の圏の一般化である。したがって、よくわからなかったらベクトル空間を思い出して議論すればいい。たぶんそれでほとんど問題ないと思う。
我々が探究するアーベル圏は加群の圏の一般化でもある。
おわりに 次回予告
今回は、圏の定義とその例を示した。次回からの2回は特別な対象と射を議論していく、それは集合論において全射や単射やカルテジアン積などの特別な概念があったようにである。
次回は、特別な射について議論する。1週間に1回更新できればいいなと思う。次号を待て!
参考文献
Mac Lane, Mathematics, Form and Function, Ch. V. 1-4
Awodey, Category Theory, Ch.1.1-1.4
Lawvere and Schanuel, Conceptual Mathematics, Part I The category of sets
僕から以上
*1:例えば、からの閉区間の数に対して、有理数ならば1、無理数ならば0の値となる関数を考えよう(ディリクレ関数)。これは明らかにグラフで表すことはできない。
*2:実は写像を集合として定義する方法を私は全然詳しくない。それを正直に言わなければならない。たしかまず順序対をで定義してそれがwell-definedであることを示す。そしてそこからカルテジアン積を定義して、二項関係をの部分集合として定義する。そしてそれに適当な条件を加えたものを関数と定義する、といった感じであったような気がする。適当な本を参照すれば集合による関数の定義が載っていると思う。私はシンガー・ソープの『トポロジーと幾何学入門』に記載されていたことを知っている。だが、詳しくは覚えていない。何年か前にそれのセミナーを聴講したときに、写像の定義を見つけたからである。
*3:一般にA:= Bと書かれていたら、それは「AをBで定義する」という意味である。ここでは、つまり写像 をで定義するということである。
*4:日本語でなんて言うのか知らないんでそのままカタカナ表記にした。
*5:正確に言うと、ある元が存在していることだけを述べているので、その唯一性は言及されていない。しかし、容易にわかるようにこのような性質を満たす元はただ1つしかないことが保証されている。もし、時間があるならば解いてみてください。
*6:群 はただ1つの対象を持ちすべての射が同型であるような圏である。第3回を参照せよ。