公理的集合論のソースを表示

'''公理的集合論'''（こうりてきしゅうごうろん、''axiomatic set theory''）とは、[[形式体系|公理化]]された[[集合論]]のことである。<!--[[素朴集合論]]と呼ばれる公理化されていない集合論に比べてはっきりとした基盤を持ち、そのためにより深い議論が展開することができ、現在では集合論の本流となっている。-->

== 集合の公理系 ==
=== ツェルメロ＝フレンケル集合論（ZF公理系） ===
{{See also|ツェルメロ＝フレンケル集合論}}
現在一般的に使われている集合の[[公理系]]はZF (ツェルメロ=フレンケル) 公理系、またはZF公理系に下で述べる[[選択公理]]（Axiom of Choice）を加えた ZFC公理系（'''Z'''ermelo-'''F'''raenkel set-theory with the axiom of '''C'''hoice）である。ZC, ZでそれぞれZFCおよびZFから置換公理を除いたもの、Z<sup>-</sup>, ZF<sup>-</sup>, ZC<sup>-</sup>, ZFC<sup>-</sup> で各体系から正則性公理を除いたものを表す。[[ケネス・キューネン|キューネン]]は『The Foundations of Mathematics』で「初等数学のほとんどはZC<sup>-</sup>での中でなされる」と述べている<ref>{{Cite book|title=The foundations of mathematics|url=https://www.worldcat.org/oclc/473432000|publisher=College Publications|date=2009|location=London|isbn=978-1-904987-14-7|oclc=473432000|first=Kenneth|last=Kunen}}</ref>。

==== 基本的なZFの公理 ====
*'''[[外延性の公理]]'''　''A'' と ''B'' が全く同じ要素を持つのなら ''A'' と ''B'' は等しい：
:: <math>\forall A\forall B(\forall x(x\in A \leftrightarrow x\in B)\rightarrow A = B)</math> 。
*'''[[空集合の公理]]'''　要素を持たない集合が存在する：
:: <math>\exists A\forall x(x\notin A)</math> 。
:外延性の公理から、空集合の公理が存在を主張する集合はただ一つであることが言えるので、これを[[空集合]]と呼び、<math>\varnothing</math> で表す。
*'''[[対の公理]]'''　任意の要素 ''x'', ''y'' に対して、''x'' と ''y'' のみを要素とする集合が存在する：
:: <math>\forall x\forall y\exists A\forall t(t\in A\leftrightarrow (t = x\vee t = y))</math> 。
:外延性の公理から、''x'' と ''y'' に対して対の公理が存在を主張する集合はただ一つであることが言えるので、これを <math>\{x,y\}\,</math> で表す。<math>\{x,x\}\,</math> を <math>\{x\}\,</math> で表す。これにより[[順序対]]の存在が言え、それにより[[直積集合]]の存在も言える。
*'''[[和集合の公理]]'''　任意の集合 ''X'' に対して、''X'' の要素の要素全体からなる集合が存在する：
:: <math>\forall X\exists A\forall t(t\in A\leftrightarrow \exists x\in X(t \in x))</math> 。
:外延性の公理から、''X'' に対して和集合の公理が存在を主張する集合はただ一つであることが言えるので、これを ''X'' の[[合併 (集合論)|和集合]]と呼び、<math>\bigcup X</math> で表す。<math>\bigcup \{x,y\}</math> を <math>x\cup y</math> で表す。
*'''[[無限公理]]'''　空集合を要素とし、任意の要素 ''x'' に対して ''x'' &cup; {''x''} を要素に持つ集合が存在する：
::<math>\exists A(\varnothing\in A\wedge \forall x\in A(x\cup\{x\}\in A))</math> 。
*'''[[冪集合公理]]'''　任意の集合 ''X'' に対して ''X'' の[[部分集合]]全体の集合が存在する：
::<math>\forall X\exists A\forall t(t\in A\leftrightarrow t \subseteq X)</math> 。
:外延性の公理から、''X'' に対して冪集合の公理が存在を主張する集合はただ一つであることが言えるので、これを ''X'' の[[冪集合]]と呼び、<math>\mathcal{P}(X)</math> または2<sup>''x''</sup>で表す。
*'''[[置換公理]]'''　"関数クラス"による集合の像は集合である：
::<math>\forall x\forall y\forall z((\psi(x,y)\wedge\psi(x,z))\rightarrow y = z)\rightarrow\forall X\exists A\forall y(y\in A \leftrightarrow \exists x\in X\psi(x,y))</math> 。
:この公理は、[[論理式 (数学)|論理式]] &psi; をパラメータとする[[公理図式]]である。
*'''[[正則性公理]]（基礎の公理）'''　空でない集合は必ず自分自身と交わらない要素を持つ：
::<math>\forall A(A\ne\varnothing\rightarrow\exists x\in A,\forall t\in A(t\notin x))</math> 。
:正則性公理は[[ジョン・フォン・ノイマン]]によって導入された（[[1925年]]）。

==== 選択公理 ====
{{Main|選択公理}}
*'''選択公理'''　''X'' が互いに交わらないような空でない集合の集合であるとき、''X'' の各要素から一つずつ要素をとってきたような集合（'''選択集合'''）が存在する：
::<math>\forall X((\varnothing \notin X\wedge\forall x\in X\forall y\in X(x\ne y\rightarrow x\cap y = \varnothing))\rightarrow\exists A\forall x\in X\exists t(x\cap A = \{t\}))</math> 。 
: 選択公理と同値であることが ZF において証明できる命題として、[[順序集合|整列定理]]や[[ツォルンの補題]]などがある。

==== 分出公理 ====
置換公理はフレンケルによって次の分出公理の代わりにおかれたものである（[[1922年]]）。分出公理はZFの公理から示すことができる。

*'''[[分出公理]]'''　任意の集合 ''X'' と ''A'' を自由変数として使用しない論理式 &psi;(''x'') に対して、''X'' の要素 ''x'' で &psi;(''x'') をみたすような ''x'' 全体の集合が存在する：
::<math>\forall X\exists A\forall x(x\in A \leftrightarrow (x\in X\wedge \psi(x)))</math> 。
:この公理は、論理式 &psi; をパラメータとする公理図式である。論理式 &psi; を決めたとき、''X'' に対して分出公理が存在を主張する集合はただ一つであることが外延性の公理から言えるので、これを <math>\{x\in X\mid \psi(x)\}</math> で表す。<math>\{x\in X\mid x\in Y\}</math> を <math>X\cap Y</math> で表す。

分出公理を公理として採用する場合には''X''を任意に選んだ集合、 <math>\psi(x)</math>を恒偽式<math>(x\neq x)</math>として分出公理を適用することにより空集合の存在が導かれる。

=== 追加の公理 ===
特に集合論においては、必要に応じて追加の公理が課せられる場合がある。そのようなものは追加される公理を適当な記号で表して ZFC+I ([[到達不能基数]]の存在を仮定する場合) や ZFC+GCH ([[連続体仮説|一般連続体仮説]]の場合) のように表記される。

==== 連続体仮説 ====
{{節スタブ|date=2022年8月18日 (木) 11:28 (UTC)}}{{Main|連続体仮説}}

==== マーティンの公理 ====
{{節スタブ|date=2022年8月18日 (木) 11:28 (UTC)}}{{Main|マーティンの公理}}

==== グロタンディーク宇宙の存在公理 ====
[[圏論]]における議論の目的の一つに、群やその間の準同型といった数学的対象全体の性質を議論することがある<ref>{{Cite book|洋書|title=圏論の基礎|year=2012|publisher=丸善出版|page=27|last=Mac Lane|first=Saunders|author-link=ソーンダース・マックレーン|language=日本語|isbn=978-4-621-06324-8|translator=三好 博之, 高木 理|quote=圏論の主な目標の一つは，すべての群の「集合」や任意の二つの群の間の準同型の「集合」のような数学的対象全体の性質を議論することである．}}</ref>。しかし、これらを素朴に実装する (すなわち、内包原理を一般に適用する) ことは集合論上のパラドックスを引き起こすため、例えばZFCのような形式的な体系においては認められない。

[[ソーンダース・マックレーン|マックレーン]]は『[[圏論の基礎]]』において、ユニバース (無限集合 {{Math|''ω''}} を要素に持つ[[グロタンディーク宇宙]]) を導入することでこの問題を回避している。ユニバースの要素となる集合を"小さい"集合、そうでないものを"大きい"集合とし、ユニバースの内側で通常の数学が行えるようにすることで、すべての小さい集合の圏 '''Set''' やすべての小さい圏の圏 '''Cat''' といったものの議論が可能になる。

グロタンディーク宇宙の存在は到達不能基数の存在と等価である (正確に書くと、任意のグロタンディーク宇宙 {{Mvar|U}} はある到達不能基数 {{Mvar|κ}} で {{Math|1=''U'' = ''V''<sub>''κ''</sub>}} と表すことができ<ref>{{Cite journal|last=Williams|first=N. H.|year=1969|title=On Grothendieck universes|url=http://www.numdam.org/item/CM_1969__21_1_1_0/|journal=Compositio Mathematica|volume=21|issue=1|pages=1–3|accessdate=2022-08-18|ISSN=0010-437X|MR=244035}}</ref>、逆に任意の到達不能基数 {{Mvar|κ}} に対して濃度が {{Mvar|κ}} であるようなグロタンディーク宇宙が存在する<ref>{{Cite journal|last=Tarski|first=Alfred|date=1938|title=Über unerreichbare Kardinalzahlen|url=https://www.impan.pl/pl/wydawnictwa/czasopisma-i-serie-wydawnicze/fundamenta-mathematicae/all/30/0/111936/uber-unerreichbare-kardinalzahlen|journal=Fundamenta Mathematicae|volume=30|pages=68–89|language=de|doi=10.4064/fm-30-1-68-89|issn=0016-2736}}</ref>)。到達不能基数はZFCのモデルを提供するため、これはZFCよりも強い公理系をなす。

==== タルスキの公理 ====
{{Main|1=タルスキ=グロタンディーク集合論|2=en:Tarski–Grothendieck set theory}}
[[アレクサンドル・グロタンディーク]]は自身の著書において、任意の大きさのグロタンディーク宇宙が存在すること (任意の集合に対して、それを含むグロタンディーク宇宙が存在すること) を公理として課した<ref>{{Cite arXiv|arxiv=0810.1279|class=math.CT|last=Shulman|first=Michael A.|title=Set theory for category theory|date=2008-10-07}}</ref><ref>{{Cite book|洋書|title=Theorie des Topos et Cohomologie Etale des Schemas. Seminaire de Geometrie Algebrique du Bois-Marie 1963-1964 (SGA 4); Tome 1|url=https://link.springer.com/book/10.1007/BFb0081551|doi=10.1007/bfb0081551|language=fr|year=1972|publisher=Springer Berlin, Heidelberg|page=2|volume=269|last=Grothendieck|first=A.|author-link=アレクサンドル・グロタンディーク|last2=Verdier|first2=J. L.|issn=0075-8434|series=Lecture Notes in Mathematics|quote=(UA) Pour tout ensemble x il existe un univers U tel que x ∈ U.}}</ref>。これは現在、{{仮リンク|1=タルスキ=グロタンディーク集合論|2=en|3=Tarski–Grothendieck set theory}}と呼ばれている<ref>{{Cite journal|last=Trybulec|first=Andrzej|year=2002|title=Tarski Grothendieck Set Theory|url=http://mizar.org/JFM/Axiomatics/tarski.html|journal=Journal of Formalized Mathematics|volume=Axiomatics|publisher=Inst. of Computer Science, Univ. of Białystok|accessdate=2022-08-18}}</ref>。

=== フォン・ノイマン＝ベルナイス＝ゲーデル集合論 ===
置換公理と分離公理には、いずれも無限に多くの実例がある。 {{Harvtxt|Montague|1961}}には、1957年の博士論文で最初に証明された「ZFCが無矛盾であれば、有限個の公理でZFCを公理化することはできない」という結果が含まれる。一方、{{仮リンク|フォン・ノイマン＝ベルナイス＝ゲーデル集合論|en|Von Neumann–Bernays–Gödel set theory |preserve=1}}（NBG）は、有限個の公理で公理化することができる。 NBGには[[クラス (集合論)|真のクラス]]と集合が含まれるが、集合は別のクラスの元になることができる任意のクラスであるとされる。 NBGとZFCはクラスに言及しておらず、一方の理論で証明できる[[定理]]がもう一方の理論でも証明できるという意味で、等価な集合論であるといえる。

=== モース-ケリー集合論 ===
[[モース-ケリー集合論]]を参照。

=== 新基礎集合論 ===
[[新基礎集合論]]を参照。

== 脚注 ==
{{脚注ヘルプ}}
{{Reflist}}

== 参考文献 ==
*{{Citation|last=Halmos|first=Paul R.|author-link=ポール・ハルモス|date=2012-04-05|title=Naive Set Theory|publisher=Lightning Source Inc.|edition=2011 Reprint of 1960 Edition|isbn=978-1-61427-131-4}}
**{{Cite book|和書|author=ポール・ハルモス|authorlink=ポール・ハルモス|year=1975|month=9|title=素朴集合論|publisher=[[ミネルヴァ書房]]|isbn=4-623-00986-6|url=http://www.minervashobo.co.jp/book/b47348.html|ref={{Harvid|ハルモス|1975}}}}

== 関連項目 ==
*[[集合]]
*[[集合の代数学]]
*[[整礎的集合]]
*[[数理論理学]]
*[[グロタンディーク宇宙]]

== 外部リンク ==
*{{MathWorld|title=Zermelo-Fraenkel Axioms|urlname=Zermelo-FraenkelAxioms}}

{{集合論}}
{{Normdaten}}
{{DEFAULTSORT:こうりてきしゆうこうろん}}
[[Category:集合論]]
[[Category:公理]]
[[Category:数学に関する記事]]

[[en:Set theory#Axiomatic set theory]]