ニコニコ大百科モバイル

7/2(月)よりスマホまたはPCでアクセスした場合、各デバイス向けのサイトへ自動で転送致します


圏論


ヨミ: ケンロン
掲示板をミル!
19カキコ!

(けん, 英:category)とは数学において対とそれらの間の関係を表す射の集まりのことをいうが、圏論とはその圏に関する理論のことである。

集合論で言う集合写像、それらの合成などの概念を包括的に扱い、一見するとまったく異なる数学的対の背後に隠れた共通構造や一般的性質を考察するための強具。しかしその分抽度が高くとりつきにくい分野でもある。図式やグラフがやたらと出てきたり豊とか忠実とか充満とか聞きなれない単も頻出する。


概要


Ccategory)であるとは、 まず C(object)の集まり Ob(C) があって、 その中から任意の2つの対 A, B∈Ob(C) に対しmorphism, あるいは矢印arrow)または図式map))と呼ばれる抽的な関係性を考え、その射の集合 HomC(A, B) が定まる時、以下の公理を満たすものをいう。(Homはhomomorphismの略)

(1) A≠A' または B≠B' のとき HomC(A, B)∩HomC(A', B')=∅ 。

(2) A, B, C∈Ob(C) に対し射の結合と呼ばれる写像

HomC(A, B)×HomC(B, C) HomC(A, C)
(u, v) v∘u

が次の条件を満たす。

(2.a) 各対 A∈Ob(C) に対し 1A∈HomC(A, A) となる 1A が存在し、 u∘1A=u, 1A∘v=v が任意の u∈HomC(A, B), v∈HomC(C, A) について成立する。

(2.b) 任意の u∈HomC(A, B), v∈HomC(B, C), w∈HomC(C, D) に対し w∘(v∘u)=(w∘v)∘u が成立する。

(1) は互いに素(mutially disjoint)、(2) は合成composition)、(2.a) の 1A 恒等射identity morphism)、(2.b) は結合associative law)と呼ばれる。そして圏を用いて数学的構造や性質を研究する理論圏論category theory)と呼ぶ。

ある圏と別の圏を較したい時がある。圏と圏を結ぶ写像のことを関手(functor)という。また、関手関手較したい時もある。関手関手を結ぶ写像自然変換(natural transformation)という。

Ob(C)はその性質から、集合より広いレベルの概念となり、クラス(class)と呼ばれる。クラスは「全ての集合集合」のような集合論では定義できないようなものも含むことができ、そのような場合はクラスという。Ob(C)がクラスではなく集合であるような場合は小さな圏という。クラスよりさらに広いレベルのものは宇宙(universe)と呼ばれる。宇宙は例えば集合論で考えられる操作全てを内部に包括するような概念である。ある数学を構成する一つの世界といっても差し支えないだろう。宇宙タイミュラー理論に代表される宇宙という言葉はこれのことをす。


自然数


例として圏論で自然数を表現してみる。ここで、自然数は0から始まるものとする。

1+2=3という式を眺めてみる。

自然数は具体的な「対」になるというイメージがある。であれば、足し算は対を別の対へ移す関数なので「射」ということになる。しかし、f:A→Bという射の書き方に+を当てはめると+:(1,2)→3ということになるので、ドメインとコドメインの構造が異なるということになってしまう。射は合成できるので、f:A→B、g:B→Cであり、g∘f:A→Cとなるが、1+2+3=6などをこの式にうまく当てはめる事ができない。

そこで、発想を転換してみる。+を射の合成∘に当てはめる。1+2+3=6 という式を、 p=h∘g∘f→(なにか)→(なにか)とみるのである。f=1、g=2、h=3、p=6、+を合成∘とするとうまくあてはまる。

つまり、自然数0,1,2,3…は「対」ではなく「射」、+は「射」ではなく「射の合成」と考えるとよいのである。

では、上で(なにか)と書かれたものは対であるが、「射」である自然数は何を何に移しているのであろうか。実は対はなんでもいい。A,BあるいはXなどと置いてもいいしなどと置いてもいい。圏論では具体的な構造を捨し、その動きに注するためである。自然数によって自身に移されるとみればよい。各自然数に移すので恒等写像だが、そのなかで0だけが単位を満たすので0が恒等射である。
また、掛け算×を考える。2×3=6などを見ると、やはり自然数は射、×は射の合成ということになる。この場合は恒等射は1となる。

ただし、上記のように考えた場合そうなる、ということなので、例えば自然数を定義域、値域とした関数f(x)=ax+bを用意し、g∘f(x)=g(f(x))を合成と考えれば、f,g,…が射、h(x)=xが恒等射、そのとき自然数全体の集まりは対となる。

まとめ

上記の考え方において、自然数は対ではなく射である。対はなんでもよい(などと置く)。足し算+は射の合成であり、恒等射は0。同様にして、掛け算×は射の合成であり、恒等射は1。


圏の例


集合の圏 Sets
Ob(Sets)は集合の集まり。X,Y∈Ob(C)は集合、射 HomC(X,Y) ∋ f: X→Yは集合写像。射の合成g∘fは集合写像合成で1Xは恒等写像
群の圏 Groups
Ob(Groups)は群の集まり。X,Y∈Ob(Groups)は群、射 f: G→Hは群準同写像、g∘fは群準同写像の合成写像で1Gは恒等写像
アーベル群の圏 Ab
Ob(Ab)はアーベル群(加法群)の集まり。射および射の合成は群の圏と同様。群の性質から、Ob(Ab)⊂Ob(Groups)で、X,Y∈Ob(Ab)ならばHomAb(X,Y)=HomGroups(X,Y)である。
位相間のなす圏 Top
Ob(Top)は位相間の集まり。射 f: X→Yは連続写像。g∘fは連続写像の合成、1Xは恒等写像
Cの双対圏 C
Ob(C)=Ob(C)で、Cの射 f: X→Yが存在する時、f: Y→Xと定義したもの。
小さな圏の圏 Cat
Ob(Cat)は(小さな)圏、Homcat(X,Y)は関手。射の合成は関手の合成、恒等射は自己恒等関手
関手圏 DC
は圏Cから圏Dへの関手、射は自然変換。射の合成は自然変換の合成、恒等射は恒等自然変換
しりとりの圏 Shiritori はじめての圏論 その第1歩:しりとりの圏 - 檜山正幸のキマイラ飼育記[外部]
ひらがな文字 {ぁ, あ, ぃ, い, ..., ん, ー} とし、ひらがなXからひらがなYへの射を、Xで始まりYで終わるひらがな文字列とする。たとえば "にこにこ" ∈ HomShiritori(に,こ) である。このとき文字列は必ずしも意味を持たなくてよい( "もぴょほわう" ∈ HomShiritori(も, う) とかもOK)。射の合成は "りんご"∘"ごりら" = "りんごりら" のように行う。恒等射は 1="あ" など。これは自由圏の一例である。
ニコニコ大百科
他にも、このニコニコ大百科も圏になっている。この場合, 各々の記事が対で, リンクが射となる。(外部へのリンク・・・見なかったことにしよう。(大百科ではなくWebを圏としたり、圏の中に別の圏があるとしたり。)
プログラム言語
プログラミングにおいては「」が対で、関数(メソッド)が射、何もしない関数が恒等射ということになる。Haskellが圏論を組みに持つ言として有名。その他にJavaも圏論的解釈が可であり、Hask圏とJava圏の間の写像関手」も定義できる模様。
現実世界(交通網)
より具体的なイメージの例として, 例えば首都圏というものを考えてみよう。この場合、が対で、交通手段が射となる。

関連商品


「圏論の基礎」は "Categories for the working mathematician" の翻訳である。
■az4431708723
■az0387984038

■az432011115X
■az0199237182


関連項目



最終更新日: 19/06/30 14:01
タグ検索 パソコン版を見る


[0]TOP
ニコニコ動画モバイル
運営元:ドワンゴ