集合論のソースを表示

{{No footnotes|date=2023年3月}}
[[File:Venn A intersect B.svg|サムネイル|集合論]]
'''集合論'''（しゅうごうろん、{{lang-en|set theory}}）は、[[集合]]とよばれる数学的対象をあつかう[[数学]][[理論]]である。

通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に「集合」と「帰属関係」によって構成することが可能になる。また、集合論の[[公理]]として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。

集合論における基本的な操作には、あたえられた集合の[[べき集合]]や[[直積集合]]をとる、などがある。また二つの集合の元同士の関係を通じて定義される[[順序関係]]や[[写像]]などの概念が集合の分類に重要な役割を果たす。集合論では、二つの集合の間に[[全単射]]が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。この定義では濃度は[[真のクラス]]になってしまうので、濃度そのものを集合論的な対象として取り扱い難い。選択公理を仮定すると任意の集合は整列可能であることが導かれる。[[整列集合]]の順序型を順序同型で類別した各々の同値類と定義してしまうと、それは真のクラスとなってしまう。幸いなことに任意の整列集合は[[順序数]]と呼ばれる特別な集合と順序同型となる。そのためそれら順序数を整列集合の順序型と定義することができる。また順序数全体 <math>\mathrm{On}</math> もまた整列順序付けられている。集合の濃度を
<math display="block">
|A| = \min \{ \alpha \in \mathrm{On} \mid \exists R ((A,R) \cong (\alpha, \in)) \}
</math>
と定義することができる。すなわち濃度というのを特別な順序数として定義するわけである。このようにすることで濃度の定義から真のクラスを追放することができる。ただし選択公理を仮定することなく濃度を定義し取り扱うことはできる。基本的なアイデアは濃度で類別した各々同値類から累積階層の意味で階数が最小なものだけを分出するというものである。詳細は[[スコットのトリック]]を参照。

== 素朴集合論と公理的集合論 ==
集合論の初期の段階では、集合は「普通の意味での」ものの集まりとして導入され考察された。この見方を現在では'''[[素朴集合論]]'''（そぼくしゅうごうろん）という。
これは集合を理解する上で最もわかりやすい考え方であるが、「普通の意味での」ものの集まりを以下の内包公理で定式化すると、[[パラドックス]]が現れてしまう。
{{Indent|任意の性質 <math>P(x)</math> に対して、 <math>P(x)</math> を満たす元 <math>x</math> の集合 <math>\{ x \mid P(x) \}</math> が存在する}}
パラドックスの有名なものとしては、以下のものがあげられる。

;[[カントールのパラドックス]]
:全ての集合を含む集合（たとえば<math>X = \{ a \mid a =a \}</math>）を考えると、そのべき集合は[[カントールの定理]]によってより大きな濃度を持つはずだが、一方もとの集合に含まれるのだから、濃度は大きくないはずである。
;[[ブラリ＝フォルティのパラドックス]]
:全ての[[順序数]]からなる集合<math>O</math>はそれ自体が順序数であり、<math>O \in O</math>から{{math|O < O}}となって矛盾
;[[ラッセルのパラドックス]]
:<math>X = \{ a \mid a \notin a \}</math>という集合を考える。それに対して<math>X \in X</math>であると仮定してもあるいは<math>X \notin X</math>であると仮定してもいずれも矛盾を生じる。
;[[カリーのパラドックス]]
:<math>X = \{ a \mid ( a \in X ) \to Y \}</math>という集合を考える。いかなる<math>Y</math>も真となるため、結果として矛盾を生じる。
;[[リシャールのパラドックス]]

[[ベリーのパラドックス]]

ただし、ツェルメロの[[公理的集合論]]では内包公理は以下の分出公理として弱められた形で定式化されており、上記のパラドックスは現れない。
{{Indent|任意の性質 <math>P(x)</math> と集合 <math>A</math> に対して、 <math>P(x)</math> を満たす <math>A</math> の元 <math>x</math> の集合 <math>\{ x \in A \mid P(x) \}</math> が存在する}}
実際には数学を行う上では、適当な集合Aをあらかじめ設定した上で、分出公理を用いれば十分なことが多い。したがって、集合論の使用による、パラドックスの発生を意識する必要はない。

===呼び分け===
以上の背景から[[数学基礎論|基礎論]]的な文脈においては――特定の集合論を採用することで――「パラドックスを回避した集合」とそのようなことがない「素朴な集合」とを区別して議論する必要がある。その場合、前者を'''集合'''(set)、後者を'''集まり'''(collection)というのが慣例となっている。

== 集合論の歴史 ==
[[File:Georg Cantor2.jpg|thumb|120px|ゲオルク・カントール]]
[[ゲオルク・カントール]]による[[フーリエ級数]]の研究において、実直線上の級数がよく振る舞わない点を調べる過程で集合の概念が取り出された。彼はやがて有理数や代数的数のなす集合が[[可算集合|可算]]であるという結果を得て、それを[[リヒャルト・デーデキント]]との書簡の中で伝えている。

そこでは実数についてもこれが成り立つかという問題に取り組んでいること、どうやらそうではないらしいことが述べられている。それからわずか数週間で、彼は実数が可算でないということについての証明を得る。その後、彼は数直線 R と平面 R<sup>2</sup>の間に全単射があるかという問題に取り組んで、3年にわたる研究の結果、それらの集合の間に全単射が存在することを示した。彼はその証明を伝えたデーデキントへの書簡の中で、有名な {{lang|fr|"Je le vois, mais je ne le crois pas"}}「私はそれを頭では理解しているが、しかしそれを信じることができない」という言葉を書き残している。<!-- この後彼は理論を発展させ、濃度、順序数、整列集合等の概念を得ていった。 are these really by Cantor? -->

実数集合の持つ超越的な性格は同時代の数学者の一部のあいだに揺籃期の集合論そのものに対する拒否反応を巻き起こした。カントールの師[[レオポルト・クロネッカー]]による否定はカントールに影響を与えることになった。

ツェルメロによって選択公理とその帰結としてすべての集合上に整列順序関係が入るということがはっきりさせられた。選択公理の意味するところやその[[妥当性]]については[[アンリ・ルベーグ|ルベーグ]]とボレル、ベールの間の議論などに代表されるように数学者たちによる活発な議論の的となった。

[[File:1925 kurt gödel.png|thumb|120px|クルト・ゲーデル]]
一方で、カントールが頭を悩ませつづけた[[連続体仮説]]：「実数集合は自然数集合の次に大きい集合であるか？」は、[[クルト・ゲーデル]]と[[ポール・コーエン (数学者)|ポール・コーエン]]の業績によってZFC公理系からは証明も反証もできないことがわかった。

== 数学にあたえた影響 ==
集合論以前の数学は、数であるとか[[方程式]]であるとかあらかじめ与えられた数学的対象の性質を研究する、という性格が強いものだった。集合論以降は問題にしている数学的な現象をよく反映するような「構造」を積極的に記号論理によって定義し、その構造を持つ集合について何がいえるかを調べる、という考え方が優勢になった。とくに20世紀に入ってからの[[抽象代数学]]や[[位相空間]]論では様々な新しい数学的対象が集合の道具立てを用いて積極的に構成され、研究された。このパラダイムは[[ニコラ・ブルバキ|ブルバキ]]による『数学原論』においてその頂点に達したと見なされている。

一方で、さまざまな数学の問題に対応した構造を理解するときには、個々の対象が具体的にどんな集合として定義されたかということよりも、類似の構造を持つほかの数学的対象との関係性の方がしばしば重要になる。この関係性は対象間の写像のうちで「構造を保つ」ようなものによって定式化される。このような考え方を扱うために[[圏論]]が発達した。集合論の著しい特徴は集合間の写像たちまでが再び集合として実現できることだが、こういった性質を圏論的に定式化することで集合論の圏論化・幾何化ともいうべき[[トポス (数学)|トポス]]の概念がえられる。
<!--
== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Notelist}}
=== 出典 ===
{{Reflist|2}}-->

== 参考文献 ==
* {{Cite book|和書|title=公理論的集合論
|author=倉田令二朗|coauthors=篠田寿一|location=
|publisher=河合出版|year=1996|id=ISBN 4879999679}}
* {{Cite book|和書|title=集合論入門|author=赤摂也
|location=|publisher=培風館|year=1959
|edition=増補版|id=ISBN 4563003018}}
* {{Cite book|和書|title=集合・位相入門
|author=松坂和夫|publisher=岩波書店
|year=1968|id=ISBN 4000054244}}

== 関連項目 ==
{{ウィキプロジェクトリンク|数学|[[画像:Nuvola apps edu mathematics blue-p.svg|34px|Project:数学]]}}
{{ウィキポータルリンク|数学|[[画像:Nuvola apps edu mathematics-p.svg|34px|Portal:数学]]}}
* [[公理的集合論]]
* [[集合の代数学]]
* [[数理論理学]] 
* [[論理演算]]
* [[ベン図]]
* [[オイラー図]]
* [[グロタンディーク宇宙]]

== 外部リンク ==
{{wikibooks}}
* {{Kotobank}}

{{数学}}
{{集合論}}
{{Mathematical logic}}
{{Logic}}
{{Foundations-footer}}

{{Normdaten}}
{{DEFAULTSORT:しゆうこうろん}}
[[Category:集合論|*]]
[[Category:数学に関する記事]]
[[Category:数学基礎論]]