公理的集合論(こうりてきしゅうごうろん、axiomatic set theory)とは、公理化された集合論のことである。

集合の公理系編集

現在一般的に使われている集合の公理系は以下のZF公理系、またはZF公理系に下で述べる選択公理(Axiom of Choice)を加えた ZFC公理系(Zermelo-Fraenkel set-theory with the axiom of Choice)である。選択公理を仮定しない体系も盛んに研究されている。

またZC,ZでそれぞれZFC,ZFから置換公理を除いたもの、Z-、ZF-、ZC-、ZFC-で各体系から正則性公理を除いたものを表す。キューネンは『The Foundations of Mathematics』で「初等数学のほとんどはZC-での中でなされる」と述べている[1]

またゲーデルの第二不完全性定理により(ZFCが無矛盾である限り)ZFCの公理だけを用いてZFCの無矛盾性を示すことはできないことを注意しておく。

ツェルメロ=フレンケル集合論(ZF公理系)編集

詳細はツェルメロ=フレンケルの公理系 (ZF: Zermelo-Fraenkel) を参照されたいが、これは以下の公理からなる。

  • 外延性の公理 AB が全く同じ要素を持つのなら AB は等しい:
 
 
外延性の公理から、空集合の公理が存在を主張する集合はただ一つであることが言えるので、これを空集合と呼び、  で表す。
  • 対の公理 任意の要素 x, y に対して、xy のみを要素とする集合が存在する:
 
外延性の公理から、xy に対して対の公理が存在を主張する集合はただ一つであることが言えるので、これを   で表す。   で表す。これにより順序対の存在が言え、それにより直積集合の存在も言える。
  • 和集合の公理 任意の集合 X に対して、X の要素の要素全体からなる集合が存在する:
 
外延性の公理から、X に対して和集合の公理が存在を主張する集合はただ一つであることが言えるので、これを X和集合と呼び、  で表す。   で表す。
  • 無限公理 空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する:
 
 
外延性の公理から、X に対して冪集合の公理が存在を主張する集合はただ一つであることが言えるので、これを X冪集合と呼び、  または2xで表す。
  • 置換公理 "関数クラス"による集合の像は集合である:
 
この公理は、論理式 ψ をパラメータとする公理図式である。
  • 正則性公理(基礎の公理) 空でない集合は必ず自分自身と交わらない要素を持つ:
 
正則性公理はジョン・フォン・ノイマンによって導入された(1925年)。

選択公理編集

  • 選択公理 X が互いに交わらないような空でない集合の集合であるとき、X の各要素から一つずつ要素をとってきたような集合(選択集合)が存在する:
 
選択公理と同値であることが ZF において証明できる命題として、整列定理ツォルンの補題などがある。

分出公理編集

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

  • 分出公理 任意の集合 XA を自由変数として使用しない論理式 ψ(x) に対して、X の要素 x で ψ(x) をみたすような x 全体の集合が存在する:
 
この公理は、論理式 ψ をパラメータとする公理図式である。論理式 ψ を決めたとき、X に対して分出公理が存在を主張する集合はただ一つであることが外延性の公理から言えるので、これを   で表す。   で表す。

分出公理を公理として採用する場合にはXを任意に選んだ集合、  を恒偽式 としてとして分出公理を適用することにより空集合の存在が導かれる。

フォン・ノイマン=ベルナイス=ゲーデル集合論編集

置換公理と分離公理には、いずれも無限に多くの実例がある。 Montague (1961)には、1957年の博士論文で最初に証明された「ZFCが無矛盾であれば、有限個の公理でZFCを公理化することはできない」という結果が含まれる。一方、フォン・ノイマン=ベルナイス=ゲーデル集合論英語版(NBG)は、有限個の公理で公理化することができる。 NBGには真のクラスと集合が含まれるが、集合は別のクラスの元になることができる任意のクラスであるとされる。 NBGとZFCはクラスに言及しておらず、一方の理論で証明できる定理がもう一方の理論でも証明できるという意味で、等価な集合論であるといえる。

モース-ケリー集合論編集

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

新基礎集合論編集

新基礎集合論を参照。

タルスキ=グロタンディーク集合論編集

タルスキ=グロタンディーク集合論英語版を参照。

脚注編集

[脚注の使い方]
  1. ^ Kunen, Kenneth (2009). The foundations of mathematics. London: College Publications. ISBN 978-1-904987-14-7. OCLC 473432000. https://www.worldcat.org/oclc/473432000 

参考文献編集

関連項目編集

外部リンク編集