公理的集合論

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

目次

• 
  1 集合の公理系
  
  
  
  • 
    1.1 ZF 公理系
    
  
  
  • 
    1.2 分出公理
    
  
  
  • 
    1.3 選択公理
    
  
  
  
  


• 
  2 パラドックスの回避
  


• 
  3 参考文献
  


• 
  4 関連項目
  


• 
  5 外部リンク
  

集合の公理系

現在一般的に使われている集合の公理系は以下の ZFC である。

ZF 公理系

ツェルメロ＝フレンケルの公理系 (ZF: Zermelo-Fraenkel) とは以下の公理からなる。

• 
  外延性の公理　A と B が全く同じ要素を持つのなら A と B は等しい：

∀A∀B(∀x(x∈A↔x∈B)→A=B){displaystyle forall Aforall B(forall x(xin Aleftrightarrow xin B)rightarrow A=B)} 。

• 
  空集合の公理　要素を持たない集合が存在する：

∃A∀x(x∉A){displaystyle exists Aforall x(xnotin A)} 。

外延性の公理から、空集合の公理が存在を主張する集合はただ一つであることが言えるので、これを空集合と呼び、∅{displaystyle varnothing } で表す。

• 
  対の公理　任意の要素 x, y に対して、x と y のみを要素とする集合が存在する：

∀x∀y∃A∀t(t∈A↔(t=x∨t=y)){displaystyle forall xforall yexists Aforall t(tin Aleftrightarrow (t=xvee t=y))} 。

外延性の公理から、x と y に対して対の公理が存在を主張する集合はただ一つであることが言えるので、これを {x,y}{displaystyle {x,y},} で表す。{x,x}{displaystyle {x,x},} を {x}{displaystyle {x},} で表す。

• 
  和集合の公理　任意の集合 X に対して、X の要素の要素全体からなる集合が存在する：

∀X∃A∀t(t∈A↔∃x∈X(t∈x)){displaystyle forall Xexists Aforall t(tin Aleftrightarrow exists xin X(tin x))} 。

外延性の公理から、X に対して和集合の公理が存在を主張する集合はただ一つであることが言えるので、これを X の和集合と呼び、⋃X{displaystyle bigcup X} で表す。⋃{x,y}{displaystyle bigcup {x,y}} を x∪y{displaystyle xcup y} で表す。

• 
  無限公理　空集合を要素とし、任意の要素 x に対して x ∪ {x} を要素に持つ集合が存在する：

∃A(∅∈A∧∀x∈A(x∪{x}∈A)){displaystyle exists A(varnothing in Awedge forall xin A(xcup {x}in A))} 。

• 
  冪集合公理　任意の集合 X に対して X の部分集合全体の集合が存在する：

∀X∃A∀t(t∈A↔t⊆X)){displaystyle forall Xexists Aforall t(tin Aleftrightarrow tsubseteq X))} 。

外延性の公理から、X に対して冪集合の公理が存在を主張する集合はただ一つであることが言えるので、これを X の冪集合と呼び、P(X){displaystyle {mathcal {P}}(X)} または2^xで表す。

• 
  置換公理　"関数クラス"による集合の像は集合である：

∀x∀y∀z((ψ(x,y)∧ψ(x,z))→y=z)→∀X∃A∀y(y∈A↔∃x∈Xψ(x,y)){displaystyle forall xforall yforall z((psi (x,y)wedge psi (x,z))rightarrow y=z)rightarrow forall Xexists Aforall y(yin Aleftrightarrow exists xin Xpsi (x,y))} 。

この公理は、論理式 ψ をパラメータとする公理図式である。

• 
  正則性公理（基礎の公理）　空でない集合は必ず自分自身と交わらない要素を持つ：

∀A(A≠∅→∃x∈A∀t∈A(t∉x)){displaystyle forall A(Aneq varnothing rightarrow exists xin Aforall tin A(tnotin x))} 。

正則性公理はジョン・フォン・ノイマンによって導入された（1925年）。

分出公理

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

• 
  分出公理　任意の集合 X と A を自由変数として使用しない論理式 ψ(x) に対して、X の要素 x で ψ(x) をみたすような x 全体の集合が存在する：

∀X∃A∀x(x∈A↔(x∈X∧ψ(x))){displaystyle forall Xexists Aforall x(xin Aleftrightarrow (xin Xwedge psi (x)))} 。

この公理は、論理式 ψ をパラメータとする公理図式である。論理式 ψ を決めたとき、X に対して分出公理が存在を主張する集合はただ一つであることが外延性の公理から言えるので、これを {x∈X∣ψ(x)}{displaystyle {xin Xmid psi (x)}} で表す。{x∈X∣x∈Y}{displaystyle {xin Xmid xin Y}} を X∩Y{displaystyle Xcap Y} で表す。

選択公理

上記の ZF に次に述べる選択公理（Axiom of Choice）を加えた公理系を ZFC（Zermelo-Fraenkel
set-theory with the axiom of Choice: C は "choice" の頭文字）という。選択公理を仮定しない体系も盛んに研究されている。

• 
  選択公理　X が互いに交わらないような空でない集合の集合であるとき、X の各要素から一つずつ要素をとってきたような集合（選択集合）が存在する：

∀X((∅∉X∧∀x∈X∀y∈X(x≠y→x∩y=∅))→∃A∀x∈X∃t(x∩A={t})){displaystyle forall X((varnothing notin Xwedge forall xin Xforall yin X(xneq yrightarrow xcap y=varnothing ))rightarrow exists Aforall xin Xexists t(xcap A={t}))} 。

選択公理と同値であることが ZF において証明できる命題として、整列定理やツォルンの補題などがある。

パラドックスの回避

ツェルメロが ZF の元となる公理系を1908年に発表した最大の動機は、実数が整列可能だとする彼の証明を弁護することであった。しかし、同時に彼はその当時すでに知られていたパラドックスを回避しなければいけないこともわかっていた。代表的なものとしては、
ラッセルのパラドックス、リシャールのパラドックス、ブラリ＝フォルティのパラドックスがある。
これらのパラドックスは、集合を構成する方法に制限を付けている ZFC の中では展開できない。
例えば、ラッセルのパラドックスで用いられる

{x∣x∉x}{displaystyle {xmid xnotin x}}

という集まりは ZFC の中では構成できないし、
リシャールのパラドックスで用いられる構成は論理式で記述できない。

参考文献

• 
  Halmos, Paul R. (2012-04-05), Naive Set Theory (2011 Reprint of 1960 Edition ed.), Lightning Source Inc., ISBN 978-1-61427-131-4 
  
  • ポール・ハルモス 『素朴集合論』 ミネルヴァ書房、1975年9月。.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
    ISBN 4-623-00986-6。
  
  

関連項目

• 集合


• 集合の代数学


• 整礎的集合


• グロタンディーク宇宙

外部リンク

• Weisstein, Eric W. "Zermelo-Fraenkel Axioms". MathWorld（英語）.

表 話 編 歴 集合論 公理 外延性の公理 空集合の公理 分出公理（英語版） 対の公理 和集合公理 冪集合公理 置換公理（英語版） 無限公理 正則性公理 選択公理 演算 和集合 共通部分 直積集合 商集合 補集合 差集合 対称差 冪集合 概念 濃度 基数 順序数 クラス 元 1対1の対応 ベン図 集合 空集合 有限集合 可算集合 無限集合 部分集合 理論 カントールの定理 素朴集合論（英語版） 公理的集合論 パラドックス ラッセルのパラドックス 人々 ゲオルク・カントール バートランド・ラッセル エルンスト・ツェルメロ アドルフ・フレンケル

This page is only for reference, If you need detailed information, please check here