|
|
| 1行目: |
1行目: |
| − | {{Redirect|カテゴリー論|[[アリストテレス]]の著作|範疇論 (アリストテレス)}} | + | {{テンプレート:20180815sk}} __NOINDEX__ |
| − | '''圏論'''（けんろん、category theory）は、[[数学的構造]]とその間の関係を抽象的に扱う数学理論の 1 つである。
| |
| − | 考えている種類の「構造」を持った'''対象'''とその構造を反映するような対象間の'''[[射 (圏論)|射]]'''の集まりからなる[[圏 (数学)|圏]]が基本的な考察の対象になる。
| |
| − | | |
| − | 数学の多くの分野、また[[計算機科学]]や[[数理物理学]]のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。
| |
| − | | |
| − | == 概要 ==
| |
| − | 圏 (category) の研究は、関連する様々なクラスの数学的構造に共通する性質を見出そうとする試みだといえる。
| |
| − | | |
| − | 集合論的な数学理論の構成では集合やその元に対して写像や関係を導入し、それらが満たすべき[[公理]]を列挙する。その公理を満たすような「構造」を持った個々の集合が理論の具体的な実現を示していて、それら一つ一つの実現に共通の性質が公理から演繹的に証明される。たとえば、群に関する[[定理]]は公理系から演繹的に[[証明]]される。例えば群の[[単位元]]が一意に定まることは公理系から直ちに証明される。こうして各種の数学理論が建設されるが、これら異なった理論に共通する様々な構成ができることも認識された。
| |
| − | | |
| − | 圏論の言葉を使えば、数学の多くの分野の研究からしかるべき圏を作り出し、異なった理論の間に平行して存在する手続きを統一的に理解することができる。例えば集合、群、位相空間の圏などである。これらの圏は、例えば[[空集合]]や 2 つの位相空間の[[直積]]など、何かしら特別な性質を持った「空間」が存在する。しかし、圏の定義においては対象は根源的なものとみなされ、それぞれの対象が具体的にどんな集合として実現されるのかは指定されていない。そこで、これらの特別な空間についての概念を、その「要素」を参照せずに定めることはできるだろうか、という問いが生まれる。
| |
| − | | |
| − | 圏論的な解析においては、何かしら与えられた構造を持つ個々の対象（例えば群）とその「内部構造」だけを考えるよりも、対象間の[[射 (圏論)|射]] — 構造を保つ対応関係 — に力点が置かれる。群の圏の例で言えば、射は群の[[準同型|準同型写像]]にあたる。それぞれの圏における特別な対象は、他の対象とのあいだの射がどうなっているか、によって特徴づけることができる。たとえば集合の圏における空集合 ∅ は任意の集合 ''S'' について ∅ から ''S'' への射（つまり写像）がただ 1 つだけ存在するようなもの、として特徴づけられる。このような特徴づけは、'''[[極限#圏論|極限]]'''やその[[双対]]概念である'''余極限'''を用いた[[普遍性]]という考え方にまとめられる。実際、数多くの重要な構成がこのようにして純粋に圏論的な方法で記述できることがわかっている。
| |
| − | | |
| − | === 関手 ===
| |
| − | 一方で、圏そのものもある種の数学的構造であるため、圏の構造を保存する対応関係も考えることができる。このような対応関係は[[関手]]と呼ばれる。関手は、ある圏の中の全ての対象を、別の圏の対象に、一方が持つ全ての射をもう一方の射に関連づける。圏と関手を調べることで、ある類における数学的構造とその間の射だけでなく、「数学的構造を持つ様々な類の間の関係」をも追求することができる。
| |
| − | | |
| − | 多くの数学理論は、ある特別な種類の構造から、別のよりシンプルな、よりわかりやすい構造を引き出そうとする試みであった。例えば[[代数的位相幾何学]]の中心的なテーマは、位相幾何学における非常に難しい問題を、より簡単な代数的問題に関連づけることである。例えば、[[点付き位相空間]]に対してその[[基本群]]を対応させる「自然な対応」は関手を用いて得られると考えることができる。
| |
| − | | |
| − | 基本群とホモロジー群のような「似た」数学的変換はしばしば「自然に」関連づけられているが、これは[[自然変換]]、すなわちある関手から別の関手への変換、という考え方によって理解される。
| |
| − | | |
| − | 圏と関手の考え方を積極的に用いて以下のような概念がさだめられる。
| |
| − | | |
| − | ; [[関手圏]]
| |
| − | : ''D''<sup>''C''</sup> は ''C'' から ''D'' への関手を対象とし、その射はこれら関手の間の自然変換である。[[米田の補題]]は圏論における最も有名な基礎的結果の 1 つである。この補題は、関手圏において表現可能な関手を記述する。
| |
| − | | |
| − | ; [[双対 (圏論)|双対性]]
| |
| − | : 圏論におけるあらゆる言明、定理、定義はその'''双対'''を持つ。これらは基本的に「全ての射を逆向きにする」ことで得られる。ある圏 ''C'' においてある言明が真のとき、その双対はその双対圏 ''C''<sup>op</sup> によって真である。この双対性は、圏論のレベルでは自動的に成立し非常に解りやすいものであるが、その応用においてはしばしば明らかではなく、驚くような関係性をもたらすことがある。
| |
| − | | |
| − | ; [[随伴関手]]
| |
| − | : ある関手が他の関手に対し'''左随伴'''、もしくは'''右随伴'''であるということを定義できるが、多くの場合にこのような随伴関手の対は[[普遍性]]によって定義される構成から生まれる。これは、普遍性を調べるためのより抽象的で強力な手法を与えているとも考えられる。 | |
| − | | |
| − | == 歴史 ==
| |
| − | [[19世紀]]はじめの[[エヴァリスト・ガロア]]による代数方程式に群を関連づける研究には圏論的な考え方の萌芽がみられる。
| |
| − | [[20世紀]]前半には[[エミー・ネーター]]が[[抽象代数学]]（特に加群の理論）の形式化を行い、ネーターはある種の数学的構造を理解するためには、その構造を保つ対応関係を理解する必要があることを悟っていた。
| |
| − | | |
| − | [[1930年代]]後半から始まる[[ニコラ・ブルバキ]]の数学原論シリーズにおける集合論に基づいた数学の再構成の試みの中でも、構造、構造種と普遍性の概念が指導原理として取り上げられている。
| |
| − | | |
| − | [[1945年]]の[[サミュエル・アイレンベルグ]]と[[ソーンダース・マックレーン]]による、[[代数的位相幾何学]]において直感的／組み合わせ的に定義されていた[[ホモロジー]]・[[コホモロジー]]を[[公理]]化する研究の中で圏、関手および自然変換が実際に定義された。[[スタニスワフ・ウラム]]らの主張するところによれば、同様のアイデアは 1930 年代後半にポーランドの大学に起こっていたという。アイレンベルグとマックレーンは、「構造」と「その構造を保つ対応関係」の間に成り立つ関係を[[公理]]的に形式化する手法を与えた。アイレンベルグとマックレーンは、そのゴールが異なる数学的体系の間の自然変換を理解することにあると述べていた。そしてそのためには関手を定義することが必要だった。そして関手を定義するために圏が必要だったのである。
| |
| − | | |
| − | その後 [[1950年代]]から [[1960年代]]にかけてこの理論は、[[ホモロジー代数]]における様々な計算の抽象的な定式化を取り込むことによって、続いて、集合論に基づく定式化では不十分だった[[代数幾何学]]の公理化を与える言葉として進展した。さらに一般的な圏論、つまり、意味論的な柔軟性をもち[[高階論理]]との親和性があるようなより現代的な[[普遍的代数]]が発展し、現在では数学全体を通して応用されている。
| |
| − | | |
| − | [[トポス (数学)|トポス]]と呼ばれる特別な種類の圏は、数学基礎論としての[[公理的集合論]]に取って代わることすら可能である。圏論をこのように数学の全体的な基礎付けとして用いる考え方には疑義も呈されているが、実際[[構成的数学]]を記述する手段としても、トポスは非常に精緻に機能することが示されている。一方、公理的集合論はまだ圏論によって置き換えられたと見なさない人々もおり、例えば、''バーコフ - マックレーン''の ''A Survey of Modern Algebra'' と''マックレーン - バーコフ''の ''Algebra''（この 2 冊の[[抽象代数学]]の教科書は署名の仕方で区別されている）の比較でしばしば指摘されるように、圏論を初期の学部生に教授することは強い反対にあっている。
| |
| − | | |
| − | == 他の分野への影響 ==
| |
| − | [[カテゴリカル・ロジック]]は現在、[[型理論]]に基づいて、[[直観主義的論理]]のためにうまく定義された分野である。そして、これの応用として[[関数型プログラミング]]の理論および[[領域理論]]がある。これらは全て、[[ラムダ計算]]の非構文的な記述として適用された[[デカルト閉圏]]を背景としている。圏論的言語を用いることで、関連する分野が厳密に、（抽象的な意味で）何を共有しているのかを明らかにすることができる。
| |
| − | | |
| − | 代数的位相幾何学では空間の連続写像そのものよりも、そのホモトピー類を考えたほうがよいことがある。これは対応する圏を「変形」してホモトピー類を射として採用することにより圏論的に定式化できる。そこで、複体の射や位相線形環の準同型についてもこのような圏の変形を見いだし理解することが 20 世紀後半におけるほかの種類の「幾何学」の大きな問題意識となった。
| |
| − | | |
| − | 20 世紀の半ば以降[[アレクサンドル・グロタンディーク]]らによって代数幾何学の圏論的な定式化が追求された。
| |
| − | | |
| − | 正標数体上の[[数論幾何]]や、非可換環が「図形」を表していると考える[[非可換幾何]]などの非標準的な「幾何学」は、幾何学的な関手の構成可能性をもってそう名乗っている、という側面もある。
| |
| − | | |
| − | == 参考文献 ==
| |
| − | *{{Cite book|和書|author=竹内外史|authorlink=竹内外史|year=1978|month=1|title=層・圏・トポス 現代的集合像を求めて|publisher=日本評論社|isbn=4-535-78109-5}}
| |
| − | *{{Cite book|和書|author=大熊正|authorlink=大熊正|year=1979|month=5|title=圏論(カテゴリー)|publisher=槙書店|series=数学選書|isbn=4-8375-0457-4}}
| |
| − | *{{Cite book|和書|author=S.マックレーン|authorlink=ソーンダース・マックレーン|others=[[三好博之]]・[[高木理]]訳|year=2005|month=7|title=圏論の基礎|publisher=[[シュプリンガー・フェアラーク東京]]|isbn=4-431-70872-3}}
| |
| − | *{{Cite book|和書|author=清水義夫|authorlink=清水義夫|year=2007|month=12|title=圏論による論理学 高階論理とトポス|publisher=東京大学出版会|isbn=978-4-13-012057-9}}
| |
| − | | |
| − | == 関連項目 ==
| |
| − | *[[圏 (数学)|圏]]
| |
| − | *[[射 (圏論)|射]]
| |
| − | *[[関手]]
| |
| − | *[[トポス (数学)|トポス]]
| |
| − | *[[サミュエル・アイレンベルグ]]
| |
| − | *[[ソーンダース・マックレーン]]
| |
| − | | |
| − | == 外部リンク ==
| |
| − | * {{MathWorld|urlname=CategoryTheory|title=Category Theory}}
| |
| − | * {{PlanetMath|urlname=CategoryTheory|title=category theory}}
| |
| − | * {{nlab|urlname=category+theory|title=category theory}}
| |
| − | | |
| − | {{数学}}
| |
| − | {{Normdaten}}
| |
| − | [[Category:圏論|*けんろん]]
| |
| − | [[Category:数学に関する記事|けんろん]]
| |