「圏 (数学)」の版間の差分
削除された内容 追加された内容
I.hidekazu (会話) による ID:53678197 の版を取り消し タグ: サイズの大幅な増減 |
I.hidekazu (会話 | 投稿記録) タグ: サイズの大幅な増減 |
||
1行目:
== 概要 ==
関手は構成の合致する2つの「数学的な領域」の間の対応を与える。すなわち、関手なるものを定義するにはまずその関数の定義域、値域にあたる領域を定義しておかなくてはならない<ref>The idea of a category is required only by the precept that every function should have a definite class as domain and a definite class as range, for the categories are provided as the domains and ranges of functors.
cf. S.Eilenberg,S.MacLane(1945)p.247
</ref>。圏とはその「数学的な領域」を定義したものであり<ref>圏論の創始者であるアイレンバーグ&マックレーンは圏に対してそれ以上の意味は与えていない。</ref>、射(morphisms)と対象(objects)と呼ばれるものの集団からなる。
==
圏論においては自然変換と関手が重要であり、圏はあくまで補足的なもの<ref>S.Eilenberg,S.MacLane(1945)p.247</ref>という位置づけからか、圏の定義は大きく変遷している。よく知られているのは次の3つの定義である。ただし、Buchsbaum及びグロタンディークの定義は[[ホモロジー代数]]以外で用いるべきではない。
=== 源流型 ===
:''この定義はアイレンバーグ&マックレーンによる''<ref>S.Eilenberg and S.MacLane (1945), General Theory of Natural Equivalences など。公理によるメタ圏(metacategory)の定義である。</ref>
すべての基本となる定義である。圏とは合成可能な射のクラスであり、便宜的に恒等射と同一視可能な対象と呼ばれるものもその要素として持つものである。
{{details|圏論#圏(category)}}
=== ホモロジー代数専用型 ===
:''この定義はBuchsbaum及びグロタンディークにはじまる''<ref>主にA.Grothendieck (1957), Sur quelques points d'algèbre homologique ほか D.Buchsbaum (1954), Exact Categories and Duality; S.MacLane (1965), Categorical Algebraなど。</ref>
圏'''C'''とは以下の条件を満たす空ではない対象のクラスである、
* 2つの対象 A,B ∈ '''C''' に対してAからBへの射と呼ばれるものの'''集合''' hom(A,B) が割り当てられている
* 3つの対象 A,B,C ∈ '''C''' に対して射の合成と呼ばれる関数・
::・:hom(A,B) ✕ hom(B,C) → hom(A,C)
:が定義されており結合律(associative law)を満たす。さらに、射の合成について左かつ右単位となる恒等射(identity morphism)と呼ばれるものが存在する。
==== 注意 ====
この定義はホモロジー代数を展開するには良いが、
* 空な圏(一つの対象も持たない圏)は圏論において許される
* 射が圏の構成要素であるのか不明確<ref>射が別途定義されている対象の集団が圏であるとも解釈できる</ref>
* すべての圏が局所的に小さく(locally small)なる
など、圏論を展開するには問題がある<ref>[ftp://ftp.math.mcgill.ca/barr/pdffiles/gk.pdf Some aspects of homological algebra]のTranslator's prefaceなど参照</ref>。そのため、それら問題点を解消した、前圏を拡張するマックレーンの定義を採用するのが無難である。
=== 前圏拡張型 ===
:''この定義はマックレーンによる''<ref>MacLane(1998). Categories for the Working Mathematician </ref>
[[図式スキーム#定義|前圏(precategory)]]<ref>[[図式スキーム]]という場合、たいてい対象の集団は集合、さらには有限であることを前提とすることがしばしばある。そのため前圏(precategory)の用語を用いるのが無難である。</ref> Σ = <O,A ; dom,codom> に恒等性と合成に関する2つの関数
:1 : O → A (対象を取りその恒等射を返す関数)
:・: A ✕ A → A (2つの射の合成射を返す関数)
を追加し、恒等射について単位規則(unit law)射の合成について結合律(associative law)が成立するとき '''C''' = <O,A ; dom,codom,1,・> を圏とする。
==== もっとも無難な定義 ====
この定義はほか二つの定義にくらべて直感的ではなく非常にわかりにくい。しかしながら、技術的にはこの定義をとればちょうど[[アレクサンドル・グロタンディーク]]の[[図式スキーム]]の理論を圏論の一部として扱うことができるようになる<ref>定義から、図式スキームを小さい圏(特に図式スキームとしての役割を果たすことを明示する場合、添え字の圏(index category)と呼ばれる)、図式を関手、図式変換を自然変換とみなすことができるようになる。</ref><ref>逆説的に、この定義を採用せずに図式を扱う場合は別途で図式スキームを定義しなければならない。</ref>。そのため、圏の図式に関する定理やそれらを土台とする諸定理を圏論の定理として紹介する場合はこの定義を採用するよりほかない<ref>とりあえずこの定義を採用しておけば後々証明のギャップが発生する可能性はほかの定義よりも少ない。</ref>。
図式スキームについて、
{{details|[[図式スキーム]]}}
== 射及び対象に関する各種用語 ==
=== 特別な性質を持つ射 ===
射 e : A → B が圏 '''C''' において'''可逆(invertible)'''であるとは、e'・e = 1<sub>A</sub>、e・e' = 1<sub>B</sub> を満たす射 e' : B → A が一つ存在することを言う。可逆な射は'''同型射(isomorphism)'''と呼ばれる。圏 '''C''' の2つの対象 A, B が同型(isomorphic)であるとは、A,B間に可逆な射(同型射)e : A → B が存在することをいい、A <math>\cong</math> B と書く。同型射によって結ばれる対象間の関係は、反射的(reflexive)、対称的(symmetric)かつ推移的(transitive)である。
射 m : A → B が圏 '''C''' において'''モニック(monic)'''もしくは単射(monomorphism)であるとは、2つの並行射 f<sub>1</sub>,f<sub>2</sub> : B → C について
:m・f<sub>1</sub> = m・f<sub>2</sub> ならば f<sub>1</sub> = f<sub>2</sub>
が成り立つことを言う。言い換えるならば、mがモニックであるとは、いつでも'''左側の射についてキャンセル可能(left cancellable)'''<ref>S.MacLane (1950), Duality for groups p.499</ref>であることを言う。
同じく射 h : B → C が圏 '''C''' において'''エピ(epi)'''であるとは、2つの並行射 g<sub>1</sub>,g<sub>2</sub> : A → B について
:g<sub>1</sub>・h = g<sub>2</sub>・h ならば g<sub>1</sub> = g<sub>2</sub>
が成り立つことを言う。すなわち、hがエピであるとは、いつでも'''右側の射についてキャンセル可能(right cancellable)'''であることを言う。
モニックかつエピである射を'''全単射(bijection、双射)'''と呼ぶ。一般に同型射ならば全単射であるが、全単射ならば同型射であるとは限らない。
射 h : A → B に対して、h・r = 1<sub>B</sub> を満たす射 r : B → A を h の'''右逆射(right inverse)'''または h の'''断面(section)'''と呼ぶ。
同じく、射 h : A → B に対して、l・h = 1<sub>A</sub> を満たす射 l : B → A を h の'''左逆射(left inverse)'''または h に対する'''レトラクション(retraction)'''と呼ぶ。
射 f : B → B が f<sup>2</sup> = f を満たすとき、f を'''ベキ等射(idempotent)'''と呼ぶ。ベキ等射 f : B → B に対して、f = h・g , 1 = g・h を満たす射 g , h が存在するとき、f は'''分裂(split)'''であると言われる。
===特別な性質を持つ対象===
圏 '''C''' 各対象 A から対象 T への射が唯一つ存在するとき、T を'''終対象(terminal object)'''と呼ぶ。終対象から同じ終対象への射 T → T は恒等射唯一つである。終対象は複数存在することもあり、異なる2つの終対象は同型である。<br />
逆に、対象 S から各対象 A への射が唯一つ存在するとき、S を'''始対象(initial object)'''と呼ぶ。始対象から同じ始対象への射 S → S は恒等射唯一つである。始対象もまた同型を除いて一意的(unique up to isomorphism)にしか定まらない。<br />
対象 Z が始対象かつ終対象であるとき、Z を'''ゼロ対象(zero object)'''と呼ぶ。ゼロ対象もやはり同型を除いて一意的にしか定まらない。圏にゼロ対象が存在すれば、その圏の任意の対象 A, B に対し A から B への射でゼロ対象 Z を経由する射 A → Z → B が唯一つ存在し、これをゼロ射(zero arrow)と呼ぶ<ref>例えば、'''Vct'''<sub>K</sub> 圏で意味付けを行えば、ゼロ対象はゼロ元のみからなるゼロ線型空間を表示(denote)するものであり、ゼロ射は各線型空間のゼロ元への退化線型写像を表示するものである。</ref>。なお、ゼロ射との合成射はまたゼロ射となる。また、ゼロ射は加法的圏(additive category)のアーベル群を成す各hom集合においては、ゼロ元の役割を果たす。<br />
== 圏に付与される特別な条件 ==
=== 均整(balanced) ===
射がエピ(epi)かつモニック(monic)、すなわち全単射(bijection、双射)であれば同型射(isomorphism)となるとき、圏は'''均整(きんせい、balanced)'''であると言う<ref>同型射であれば射はエピかつモニックであるが、逆は一般に成り立たない。</ref>。
===
圏の射すべてについて[[アーベル圏#正合圏のエピ-モニック分解(epi-monic factorization in exact category)|エピ-モニック分解(epi-monic factorization)]]が可能である圏は'''正合(せいごう、exact)'''と呼ばれる<ref>正合圏(exact category)はカルタン、アイレンバーグの共著本『Homological Algebra(ホモロジー代数)』を展開可能な圏(exactな射列が定義可能な圏)としてBuchsbaumによって導入された。しかしその定義にはグロタンディークのアーベル圏第二公理にあたる公理が抜けており、肝心の一意的なエピーモニック分解が不可能である。グロタンディークはその不備を補完し、加法的性質などを追加(つまりBuchsbaumがすっぽかした加群や線型代数においては、核や像だけではなく、ベクトル和や独立基底の概念も必須であるという基本的なことを圏代数として補填)することでアーベル圏の有用性を示した。</ref>。具体的には以下の条件を満たす圏を言う。
:'''E0)''' 圏はゼロ対象(zero object)を持つ。
:'''E1:グロタンディークのアーベル圏第一公理)'''
::任意の射は核(kernel)、余核(cokernel)を持つ。
:'''E2:グロタンディークのアーベル圏第二公理)'''
::各射 f について核、余核から定義される像対象 Im(f)、余像対象 Coim(f) 間に同型射<ref>同型射ではなく全単射(bijection,双射)の場合も考えることができ、そのときはエピ-モニック分解は非均整なものとなる。ただし、その全単射がカノニカルと呼べる形で存在しうるかは不明である。非均整なエピーモニック分解が可能な正合圏を構成するには、グロタンディークのアーベル圏第二公理のような形態の公理ではなく、任意のエピ(モニック)射 f に対して、ある射 v が存在しその余核射(核射)について coker(v) = f (ker(v) = f)成り立つという公理を採用すればよい。</ref> u<sub>f</sub> = Coim(f) → Im(f) がカノニカルに定まる<ref>ここで言うカノニカル(canonical)とはブルバキの数学原論におけるカノニカルな準同型射などに用いられる意味のカノニカルである。</ref>。
なお、同型射がカノニカルに存在する場合は、圏は均整(balanced)ともなる<ref>全単射(bijection,双射)の場合は均整とはならない。ただし、その場合エピーモニック分解も一意的とはならず有用な圏ではない。</ref>。
=== 加法的(additive) ===
圏の平行射に対して加法が定義されており、さらに「独立基底」<ref>わかりやすさのため独立基底などの用語を用いているが、それらは線型代数学における用語であり圏論の用語でないため、この節においては括弧「」でくくることで圏論の用語でないことを示すこととする。</ref>間の結合及び「独立基底」への射影が定義された圏を'''加法的(かほうてき、additive)'''または'''加法圏(かほうけん、additive category)'''と呼ぶ<ref>A3 を除く A0 〜 A2 の公理を満たす圏を半加法的(preadditive)と呼ぶこともある。{{cite book | 和書 | author=岩井 斉良 | title=ホモロジー代数入門 | publisher=サイエンス社 | year=1978}} 参照</ref>。具体的には以下の条件を満たす圏を言う。
:'''A0)''' 圏はゼロ対象を持つ。
:'''A1:平行射の足し合わせ、「ベクトル和」)'''
::圏の平行射 α , β : A → B に対して、同じく平行射を割り当てる加法+が定義されており、ゼロ射を単位元とするアーベル群を成す。すなわち、
::1.α,β ∈ hom(A,B) に対して、α + β = β + α ∈ hom(A,B)
::2.ゼロ射 0 ∈ hom(A,B) について、α + 0 = 0 + α = α
::を満たす。
:'''A2:射の合成の双線型性)'''
::射の合成(・:hom(B,C)×hom(A,B) -> hom(A,C) )について双線型性
::1.α,β ∈ hom(A,B) , γ ∈ hom(B,C) とするとき、
:::γ・(α+β) =γ・α + γ・β
::及び
::2.α ∈ hom(A,B) , γ,δ ∈ hom(B,C) とするとき、
:::(γ+δ)・α = γ・α + δ・α
:が成り立つ。
:'''A3:「独立基底」の存在、射影演算及び「独立基底間のベクトル和(一次結合)」の存在)'''
::圏は複積(biproduct)<ref>圏が和 <S,{i<sub>j</sub> : A<sub>j</sub> → S}<sub>j∈J</sub>> と積 <P,{p<sub>j</sub> : P → A<sub>j</sub>}<sub>j∈J</sub>> を持ち和対象と積対象の間に同型射がカノニカルに定まるとき、圏は複積(biproduct、双積、重積)を持つと呼ぶ。
:※普通の教科書においては和、積ではなく単なる和と積で定義されているが、和と積としなければ理論としてつじつまが合わないためこのように定義する。
{{details|アーベル圏}}</ref>を持ち、下記条件<ref>i<sub>α</sub> はモニック射、p<sub>α</sub> はエピ射である。</ref><ref>これら条件は線型代数学における射影子の性質(量子力学の数演算子 <math>\hat{N}</math> の固有状態 {|n>}<sub>n∈'''N'''</sub> を例に取れば、<math><n|m> = \delta^n_m,\hat{1} = \Sigma_{n \in \bold{N}} |n><n| </math>)を圏代数化したものであると考えれば良い。</ref><ref>なお、各添字 j について、f<sub>j</sub> = i<sub>j</sub>・p<sub>j</sub> とすれば、p<sub>j</sub>・i<sub>j</sub> = 1<sub>A<sub>j</sub></sub> から、f<sub>j</sub> は f<sub>j</sub><sup>2</sup> = f<sub>j</sub> であるベキ等射(idempotent)でかつ分裂(split)射であることがわかる。</ref>を満たす。
::・p<sub>1</sub>・i<sub>1</sub> = 1<sub>A<sub>1</sub></sub> , p<sub>2</sub>・i<sub>2</sub> = 1<sub>A<sub>2</sub></sub>
::・p<sub>1</sub>・i<sub>2</sub> = 0 , p<sub>2</sub>・i<sub>1</sub> = 0
::・1<sub>B</sub> = i<sub>1</sub>・p<sub>1</sub> + i<sub>2</sub>・p<sub>2</sub> (「1の分解」、「スペクトル分解」)
;加法圏の行列表現:
圏は一般に行列表現可能ではないが加法圏は行列表現が可能であり、また行列表現する事で加法圏の公理の設定の理解が容易となる。
=== アーベル的(abelian) ===
正合かつ加法的な圏を'''アーベル的(あーべるてき、abelian)'''もしくは'''アーベル圏(あーべるけん、abelian category)'''と呼ぶ
{{details|[[アーベル圏]]}}
=== 完備(complete) ===
圏が積(product)と等化子(equalizer)を持つとき、圏は'''完備(かんび、complete)'''であると言う。
== 脚注 ==
<references/>
== 関連項目 ==
* [[図式スキーム]]
* [[圏論]]
* [[ホモロジー代数]]
== 参考文献 ==
* {{Citation | author=S.Eilenberg and S.MacLane |year=1942| title=Natural isomorphisms in group theory | url=http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1078535/pdf/pnas01647-0031.pdf | ref=E&M(1942)}}
* {{Citation | author=S.Eilenberg and S.MacLane |year=1945| title=General Theory of Natural Equivalences|url=http://killingbuddha.altervista.org/FILOSOFIA/GToNe.pdf | ref=E&M(1945)}}
* {{cite book|author=H.Cartan, S.Eilenberg, With an appendix by David A. Buchsbaum|title=Homological algebra|publisher=Princeton University Press|year=1956|url=http://www.math.sunysb.edu/~mmovshev/BOOKS/homologicalalgeb033541mbp.pdf | ref=C&E(1956)}}
* {{Citation | author=D.Buchsbaum |year=1954| title=Exact Categories and Duality | url=http://people.brandeis.edu/~buchsbau/miscpapers/001.pdf | ref=Buchsbaum(1954)}}
* {{Citation | author=A.Grothendieck |year=1957| title=Sur quelques points d'algèbre homologique | url=http://matematicas.unex.es/~navarro/res/tohoku.pdf | ref=Grothendieck(1957)}} 英訳:[ftp://ftp.math.mcgill.ca/barr/pdffiles/gk.pdf Some aspects of homological algebra]
* {{Cite book|和書|author=岩井斉良|year=1978|title=ホモロジー代数入門|publisher=サイエンス社 | ref=岩井(1978)}}
* {{Cite book | 和書 | author=ハワード・アントン(山下純一 訳) | title=アントンのやさしい線型代数 | year=1979 | isbn=4768700373 | ref=アントン(1979) }}
* {{Citation | author=S.MacLane | year=1950 |title=Duality for groups| url=http://www.ams.org/journals/bull/1950-56-06/S0002-9904-1950-09427-0/S0002-9904-1950-09427-0.pdf | ref=MacLane(1950)}}
* {{Citation | author=S.MacLane |year=1965| title=Categorical algebra | url=http://www.ams.org/journals/bull/1965-71-01/S0002-9904-1965-11234-4/S0002-9904-1965-11234-4.pdf | ref=MacLane(1965) }}
* {{cite book|author=S.MacLane|title=Categories for the Working Mathematician|publisher=Springer-Verlag|year=1998|edition=2nd|series=Graduate Texts in Mathematics 5|isbn=0-387-98403-8 | ref=MacLane(1998) }} 邦題:『圏論の基礎』
* {{Cite book|author=Leo Corry|title=Modern Algebra and the Rise of Mathematical Structures | year=2004 |isbn=3764370025 | ref=Corry(2004)}}
* {{Cite book | 和書 | author=鈴木 晋一 | title=曲面の線形トポロジー<上>| year=1986 | publisher=槇書店 | isbn=4837505570 | ref=鈴木(1986) }}
* {{Cite book | 和書 | author=鈴木 晋一 | title=曲面の線形トポロジー<下>| year=1987 | publisher=槇書店 | isbn=4837505651 | ref=鈴木(1987) }}
{{DEFAULTSORT:けん}}
|