圏 (数学)
出典: フリー百科事典『ウィキペディア(Wikipedia)』
数学における圏(けん、category)とは数学的構造とその変形を取り扱うための枠組みであり、数学的対象をあらわす対象とそれらの間の関係を表す射の集まりによってあたえられる。
目次 |
[編集] 圏、対象、射
詳細は射 (圏論)を参照
圏(category) C は、対象(object)の類 ob(C) および射(morphism) の類 hom(C) をあたえることによって指定される。各射 f は、定義域(もしくは「ソース」)対象 a及び余定義域(もしくは「値域」)対象bをそれぞれ 1 つずつ持つ。ここで f: a → b と書いて「f は a から b への射である」と読み、aからbへの射の集まりhom(a, b) は hom集合とよばれる。これら射について、
- 射の合成ができるものとする。つまり、fの定義域とgの余定義域が同じときに、gの定義域からfの余定義域への射fgを考えることができる。集合間の写像の合成との完全なアナロジーで射の合成について結合性が成立し、また各対象は集合の恒等写像に対応する恒等射をもつ。
ということが公理として要請される。圏 C についてその射(と射の合成可能性)だけでも全部わかっていれば、そのうちで恒等射になっているものが対象を示しているので著者によっては上の公理を満たす射の集まりを持って圏と定義することもある。
C に対して C に含まれる射 f : x → y を全て f : y → x に変えて得られる圏 Cop を C の逆圏 (opposite category) または双対圏 (dual category) という。
[編集] 圏の例
- Sets
- 集合を対象とし、集合間の写像を射とする。
- Grp
- 群を対象とし、群の準同型を射とする。
- SemiGrp
- 半群を対象とし、半群の準同型を射とする。
- Ring
- 環を対象とし、環の準同型を射とする。
- Top+
- 点付き位相空間を対象とし、基点をたもつ連続写像を射とする。
- EtaleK
- 体上のエタール代数を対象とし、K代数としての準同型を射とする。
- RepK(G)
- 群Gの、体K上の線形表現を対象とし、インタートワイナーを射とする。
- VecK
- 体K上のベクトル空間を対象とし、K線形写像を射とする。
[編集] 関手
詳細は関手を参照
二つの圏 C 、Dがあったとき、
- C の対象 x に対しDの対象F(x) をあたえる
- 射 f : x → y に対し射 F(f) : F(x) → F(y) をあたえる
という対応Fで射の合成や恒等射を保つものは(共変(covariant))関手 F とよばれる。一方、似たような対応で射の定義域と余定義域とを入れ替え、合成の順番を反対にする対応はC から Dへの反変関手(contravariant functor)とよばれる。C から Dへの反変関手を考えるということは C の逆圏 Cop から Dへの共変関手を考えるということと同じになる。
自然変換(natural transformation) は 2 つの関手間の関係である。関手はしばしば「自然な構成」を記述し、そして自然変換はそのような 2 つの構成の間の「自然な準同型」を記述する。時に 2 つの全く違う構成が「同様の」結果をもたらすことがある。これは、 2 つの関手間の自然同型(natural isomorphism) にて表現される。 2 つの関手 F, Gに対し、FからGへの自然変換が存在して ηx がC に含まれる全ての対象 x に対して同型射となるとき、この自然変換は自然同型(naturally isomorphic) であるという。
[編集] 高次圏
圏があたえられているとき、そこからより複雑な高次圏を考えることができる。簡潔には、 2 つの対象の間の射を「一方の対象からもう一方への対応関係」とみなすならば、これを高次圏において「高次の対応関係」を考慮することで、より有益な一般化が可能となる。
例えば、2-圏(bicategory もしくは 2-category、2次圏)は「射の間の射」、つまり、ある射を別の射に変換する対応関係によって得られる圏である。これらの「2-射」(bimorphism) は水平・垂直に「合成」することができ、かかる 2 つの合成則においては 2 次元の「交換則」(exchange law) が成り立つ。この最も標準的な例は Cat、つまり全ての(小さな)圏から成る 2-圏であり、この例において、射には関手が、2-射には、関手の自然変換がそのまま当てはまる。もう 1 つの基本的な例としては、対象 1 つから成る 2-圏である—これはモノイダル圏である。
この手法を任意の自然数 n で拡張し、n-圏(n-category、n次圏)を定義することができる。さらに順序数 ω に対して ω-category とする表記もある。このアイデアに関する堅苦しくない導入としてJohn Baez: The Tale of n-categoriesが参考になるだろう。
[編集] 空間を圏で表す
(O, ≤)が順序集合のとき、これを次のような圏COと同一視することができる:ob(CO) = Oとし、p, q ∈ O = ob(CO)についてp ≤ qのとき、およびそのときに限りpからqへの射がただ一つ存在する、としてCOにおける射を定める。ここで順序関係の推移律が射の合成に、反射律が恒等射に対応している。特に位相空間Xに対してその開集合系O(X)を圏と見なすことができる。
Gが群のとき、対象Yただ一つからなり、hom(Y, Y) ≡ Gであるような圏をGと同一視することができる。 また、位相空間の基本亜群や「被覆」のホロノミー亜群など、様々な亜群による幾何学的な情報の定式化が得られている。
これらは様々な種類の数学的対象の圏によって言い換えていることになる。層やトポスの概念によってこれらを共通の文脈の中におくことが可能になる。
[編集] 歴史
1945年のサミュエル・アイレンベルグとソーンダース・マックレーンによる、代数的位相幾何学において直感的/組み合わせ的に定義されていたホモロジー・コホモロジーを公理化する研究の中で圏、関手および自然変換が実際に定義された。アイレンベルグとマックレーンの目的は、位相空間の理論と可換群の理論のような異なる数学的体系の間の自然変換を理解することだったが、そのためには関手の概念が必要であり、関手を定義するためには圏の概念が必要だったのである。
その後アレクサンドル・グロタンディークらによるホモロジー・コホモロジー理論を圏論に基づいて定式化する試みの中で、アーベル圏・三角圏など、関手を計算する上で期待される重要な性質を持つクラスの圏が公理化されていった。一方,ガロア理論の圏論かを通じ,群が作用する集合の圏と通常の位相空間を圏論の枠組みで包括的にとらえるようなトポスの概念が得られた。