|
|
| 1行目: |
1行目: |
| − | [[数学]]における'''トポス'''（topos）とは、[[位相空間]]上の[[層 (数学)|層]]のなす[[圏論|圏]]を一般化した概念である。[[アレクサンドル・グロタンディーク]]による[[ヴェイユ予想]]解決に向けた[[代数幾何学]]の変革の中で、数論的な図形（[[概型|スキーム]]）の上で有意義な[[ホモトピー]]・[[コホモロジー]]的量が定義できる細かい「位相」を考えるために導入された。 その後[[数理論理学]]者たちによる更なる[[公理]]化を経て、[[集合論]]の[[モデル (自然科学)|モデル]]を与える枠組みとしても認識されるようになった。
| + | {{テンプレート:20180815sk}} |
| − | | |
| − | == 定義 ==
| |
| − | 有限極限を持つ圏 '''E'''がカルテシアン閉であるとは、任意の対象''X''について''X''と直積を取る関手''X'' × -: '''E'''→'''E'''に右随伴関手(-)<sup>''X''</sup>: '''E'''→'''E'''が存在する事をいう。 例えば[[集合]]の圏''Sets''や有限集合の圏''FinSets''はカルテシアン閉だが[[位相空間]]の圏''Top''はカルテシアン閉でない。
| |
| − | | |
| − | 一般に圏 '''E''' の対象''A''の部分対象とはコドメインが''A''であるモノ射の同型類の事を言う。モノ射の引き戻しがモノ射になる事から、引き戻しを持つ圏'''E'''について各対象''X''に''X''の部分対象を与える関手''Sub''(-):'''E'''<sup>op</sup>→''Sets''が定義される。圏'''E'''の部分対象分類子(subobject classifier)とは、この関手を表現する対象の事をいう。
| |
| − | | |
| − | 圏 '''E''' は(初等)トポス(elementary topos)であるとは、'''E'''がカルテシアン閉で部分対象分類子を持つ事をいう。
| |
| − | たとえば、''Sets'' や''FinSets''は部分対象分類子として二点集合を持つのでトポスになる。
| |
| − | | |
| − | '''E'''と'''F''' がトポスのとき、関手 ''f''<sub>*</sub>: '''E''' → '''F''' と完全関手 ''f''<sup>*</sup>: '''F''' → '''E''' の対 (''f''<sub>*</sub>, ''f''<sup>*</sup>)で随伴関係 ''f''<sup>*</sup> ⊣ ''f''<sub>*</sub>をみたすものは'''E''' から '''F''' へのトポスの射（geometric morphism）とよばれる。このときf<sub>*</sub>はfの直像部分、f<sup>*</sup>はfの逆像部分とよばれる。随伴性によりトポスの射の直像部分は左完全な関手になる。
| |
| − | | |
| − | == グロタンディーク・トポス ==
| |
| − | '''C''' を[[圏論|小さな圏]]とする。'''C''' の各対象 ''X'' から Hom<sub>'''C'''</sub>(-, ''X'') の[[部分関手]]の族 ''J''(''X'') への対応 ''J'' で以下の公理を満たすものは'''C'''上の[[グロタンディーク位相]]といわれ、対 ('''C''', ''J'') は景（site）とよばれる。
| |
| − | * Hom<sub>'''C'''</sub>(-, ''X'') ∈ ''J''(''X'')
| |
| − | * ''S'' ∈ ''J''(''X'') のとき任意の射 ''f'': ''Y'' → ''X'' について ''S'' の ''f'' による引き戻し ''f''<sup>*</sup>''S'' = { ''g'': ''Z'' → ''Y'' | ''fg'' ∈ ''S''(''Z'') } は ''J''(''Y'') に入る
| |
| − | * ''S'' ∈ ''J''(''X'')、''R'' ⊂ Hom<sub>'''C'''</sub>(-, ''X'')で任意の (''f'': ''Y'' → ''X'') ∈ ''S''(''Y'') について ''f''<sup>*</sup>''R'' ∈ ''J''(''Y'') ならば ''R'' は ''J''(''X'') に入る
| |
| − | たとえば、'''C''' の任意の対象 ''X'' について ''J''<sub>0</sub>(''X'') = { Hom<sub>'''C'''</sub>(-, ''X'') } とおけば、''J''<sub>0</sub>は上の条件を満たす。この''J''<sub>0</sub>は'''C'''上の自明なグロタンディーク位相とよばれる。
| |
| − | | |
| − | ('''C''', ''J'') を景とするとき、'''C'''から ''Sets'' への[[圏論|反変関手]]のうちで ''J'' についての「張り合わせ条件」を満たすものは ('''C''', ''J'') 上の層と呼ばれ、それらのなす圏 ''Sh''('''C''', ''J'') （<math>\tilde C</math>とも書かれる）はトポスになる。このようにして得られるトポスはグロタンディーク・トポスと呼ばれる。''Sets'' への反変関手全体を考えるかわりに適当な宇宙 ''U'' への反変関手全体を考えることにすると、得られた「トポス」自体を再び景と見立てることが可能になる。このときのグロタンディーク位相は射の系の[[射 (圏論)#特定の種類の射|全射性]]によって定められる。
| |
| − | | |
| − | グロタンディーク・トポスは[[余完備]]（cocomplete）で小さな[[圏論|生成系]]を持つトポスとして特徴づけられる。ここからグロタンディーク・トポスにおける[[アーベル群]]的な対象のなすアーベル圏は十分に単射的対象を持つことがしたがう。したがってグロタンディークトポスのアーベル群的な対象の圏についてその[[導来圏]]を考えたり、トポスの射の直像部分の右導来関手を考えたりすることができる。
| |
| − | | |
| − | とくに'''C''' を小さな圏とするとき、その上の自明なグロタンディーク位相からは'''C'''上の反変関手（'''C'''上の前層とよばれる）全体の圏 ''Psh''('''C''') （<math>\hat C</math>とも書かれる）が得られる。また''J'' が'''C''' 上のグロタンディーク位相のとき、「埋め込み／忘却」関手 ''Sh''('''C''', ''J'') → ''Psh''('''C''') と「層化」関手 ''Psh''('''C''') → ''Sh''('''C''', ''J'') の対は ''Sh''('''C''', ''J'') から ''Psh''('''C''') へのトポスの射になる。
| |
| − | | |
| − | === 古典的な層の理論との対応 ===
| |
| − | ''X''を位相空間とするとき、''X''の開集合のなす圏 '''O'''(''X'') の上に族の合併操作からグロタンディーク位相が定まる。そこから得られるトポスは（普通の意味での）''X'' 上の層の圏 ''Sh''(''X'') である。位相空間の間の連続写像 ''f'':''X'' → ''Y'' はトポスの射 ''Sh''(''X'') → ''Sh''(''Y'') を導く。逆に、''Y''がハウスドルフ性などよい分離性を持つ空間のときにはトポスの射 ''Sh''(''X'') → ''Sh''(''Y'') は必ずこのようにして得られる。したがって、トポスの理論は位相空間の理論の（圏の言葉による）言い換えを与えていると考えることができる。
| |
| − | | |
| − | ''Sets''は一点空間の上の層の圏と見なせるが、任意の点 ''x'' ∈ ''X'' について { x } → ''X'' が導くトポスの射 ''Sets'' ≡ ''Sh''({''x''}) → ''Sh''(''X'') は「''x''におけるファイバーをとる」関手と「''x''上の摩天楼層」関手から構成されている。また、''X'' → ''pt''（一点空間）が導くトポスの射 ''Sh''(''X'') → ''Sets'' は「定数層」関手と「大域切断」関手から構成されている。
| |
| − | | |
| − | == 分類トポス ==
| |
| − | ''G''を（離散）群とする。''G'' をただ一つの対象からなる圏と見なすとき ''G'' 上の前層の圏と ''G'' が作用する集合の圏 '''B'''''G'' とは同一視される。
| |
| − | このとき位相空間X上の''G''-torsor と ''Sh''(''X'') から '''B'''''G'' へのトポスの射との間に自然な対応がある。
| |
| − | 同様にして、「加群の分類トポス」とよばれる（グロタンディーク）トポス '''A'''が存在し、('''C''', ''J'')上の[[加群の層]]と ''Sh''('''C''', ''J'') から '''A''' へのトポスの射が自然に対応する。この対応は '''A''' における「普遍的な加群の層」対象 ''E'' を考え、''Sh''('''C''', ''J'') から'''A'''への射''f''に対し ''E'' の''f''による引き戻し ''f''<sup>*</sup>''E''を対応させることで与えられる。さらには環の層などほかの構造についても同様のことが成立している。
| |
| − | <!-- Galois theoryr a la Grothendieck -->
| |
| − | | |
| − | == 数理論理学との関わり ==
| |
| − | Kripke-Joyalの意味論とよばれる手続きによって集合論的論理式をトポスの対象と射についての言明として解釈することができる。トポス ''Sets'' における解釈が通常の記号論的な集合とその元に関する論理式解釈となる。群、可換群、環などの数学的（特に代数的）構造の公理を論理式によって表現したとき、景 ('''C''', ''J'') 上のグロタンディーク・トポスにおいてその論理式を満たすような対象が ('''C''', ''J'') 上の群、可換群、環などの層になる。局所環の層などについての局所的な条件も、全称量化子を用いた論理式によって自然に表現される。
| |
| − | | |
| − | 一方、適切な景 ('''P''', ''J'') を[[ポール・コーエン (数学者)|ポール・コーエン]]による[[強制法]] (forcing) の議論をなぞって構成し、その上の層の圏として[[連続体仮説]]が成立しないような集合論のモデルを得ることができる。同様にして[[選択公理]]が成り立たないような集合論のモデルもある景の上の層の圏として実現できる。こうして構成される集合論のモデルのうちには[[排中律]]が成り立たないような[[数学的直観主義]]的モデルも自然に現れる。
| |
| − | | |
| − | == 歴史 ==
| |
| − | グロタンディークはスキームとトポスとを同じ年に見いだしたと『[[収穫とまいた種と]]』で回想している。実際にグロタンディーク・トポスの一般論が整備されたのはSGA IVでの彼自身による発表の中でだった。その後[[ウィリアム・ローヴェア]]が集合論のモデルとしての可能性を見いだし、強制法との関連、ドリーニュの定理のとらえ直しなど記号論的な認識が深められたが、グロタンディークの隠遁後に彼に近い学者がトポスの理論に貢献しなかったことは彼と他の数学者たちとの間の確執の一因になった。またリジッド幾何やSynthetic Differential Geometryなど「位相構造」より繊細な「微分構造」をトポスを通じて考える幾何学も得られている。
| |
| − | | |
| − | == 参考文献 ==
| |
| − | * {{Cite book|和書|author=竹内外史|authorlink=竹内外史|year=1978|month=1|title=層・圏・トポス 現代的集合像を求めて|publisher=日本評論社|isbn=4-535-78109-5}}
| |
| − | * {{Cite book|和書|author=清水義夫|authorlink=清水義夫|year=2007|month=12|title=圏論による論理学 高階論理とトポス|publisher=東京大学出版会|isbn=978-4-13-012057-9}}
| |
| − | * {{Cite book|和書|author=森毅|authorlink=森毅|year=1971|month=1|title=有限の数学ー新しい集合論|publisher=明治図書出版}}
| |
| − | *{{Cite book|洋書|author=J.L.Bell|year=2008|month=1|title=Toposes and Local set Theories:An Introduction|publisher=Dover Publications|isbn=978-0-486462868}}
| |
| − | | |
| − | == 外部リンク ==
| |
| − | * {{MathWorld|title=Topos|urlname=Topos}}
| |
| − | | |
| − | {{DEFAULTSORT:とほす}}
| |
| − | [[Category:圏論]]
| |
| − | [[Category:トポス (数学)|*]]
| |
| − | [[Category:数学に関する記事]]
| |