無限公理

**無限公理**（むげんこうり、）とは、ツェルメロ＝フレンケル集合論などの集合論の公理系を構成する公理の一つであり、（全ての自然数を元とする）無限集合の存在を定める。エルンスト・ツェルメロによって1908年に初めて提示された。

## 定義

空集合 \varnothing を元とし、任意の元 x について x\cup\left\{x\right\} も元とする集合が存在する。ただし、下記の論理式は、外延性公理を定めたときに有効な表記である。

\exist A\left[\varnothing\in A\land\forall x\left[x\in A\rArr x\cup\left\{x\right\}\in A\right]\right]

一階述語論理の原始的な記号だけを用いて、この公理を表記すると下記である。

\exist\mathrm I\left[\exist o\left[o\in\mathrm I\land\forall n\left[n\not\in o\right]\right]\land\forall x\left[
x\in\mathrm I\rArr\exist y\left[y\in\mathrm I\land\forall a\left[a\in y\hArr\left[a\in x\lor a=x\right]\right]\right]\right]\right]

一部の数学者は、この方法で構成された集合を英語でと呼ぶ。

## 解釈と帰結

この公理は、 フォン・ノイマンによる自然数の構成法と密接に関連する。この構成法では、x の後続を x\cup\left\{x\right\} と再帰的に定める。x が集合であるとき、集合論の他の公理から、x の後続もまた一意に定義される。後続を使うことで、自然数の集合論的な表現を定義できる。

この方法では、0 を空集合とする。

0=\varnothing

任意の自然数について、その後続も定義する。

1=0\cup\left\{0\right\}=\varnothing\cup\left\{0\right\}=\left\{0\right\}=\left\{\varnothing\right\}
2=1\cup\left\{1\right\}=\left\{0\right\}\cup\left\{1\right\}=\left\{0,\,1\right\}=\left\{\varnothing,\,\left\{\varnothing\right\}\right\}
3=2\cup\left\{2\right\}=\left\{0,\,1\right\}\cup\left\{2\right\}=\left\{0,\,1,\,2\right\}
4=3\cup\left\{3\right\}=\left\{0,\,1,\,2\right\}\cup\left\{3\right\}=\left\{0,\,1,\,2,\,3\right\}

この定義より、任意の自然数は、それより前の全ての自然数からなる集合である（数学的帰納法）。各集合の最上位の要素の数はその集合が表す自然数と一致し、もっとも深く入れ子になった空集合の深さとも一致する。

自然数全体の集合 \omega=\left\{0,\,1,\,2,\,\dots\right\}（順序数の概念を明言しない文脈では、\mathbb N_0 とも）の存在は、ZFC公理上の他の公理から証明できない。よって、この存在を公理とし、無限公理と呼ぶ。無限公理は、ある集合 \mathrm I が存在し、\mathrm I が 0 を要素とし、\mathrm I が後続を取る操作について閉じていることを定める。すなわち、\mathrm I の任意の要素について、その後続もまた \mathrm I の要素である。

以上のことから、この公理の本質として「すべての自然数を要素とする集合 \mathrm I が存在する」。

この公理はフォン・ノイマン＝ベルナイス＝ゲーデル集合論においても公理である。

## 無限集合Iから自然数を抽出する

無限集合**I**はすべての自然数を含んでいるが。自然数全体が集合となることを示すために、分出公理を使って不要な要素を取り除いて、残った集合**N**が自然数全体からなる集合である。この集合は外延性の公理により一意である。

自然数を抽出するために、どの集合が自然数であるかを定義する必要がある。外延性の公理と以外の公理を使わずに自然数を定義することが可能である。*n*が自然数であるとは0であるか何かの後続であり、かつ、*n*の各要素も0であるか*n*の要素の後続であることと定める。形式的に書くと、
: \forall n (n \in \mathbf{N} \iff ([n = \empty \,\,\lor\,\, \exists k ( n = k \cup \{k\} )] \,\,\land\,\, \forall m \in n[m = \empty \,\,\lor\,\, \exists k \in n ( m = k \cup \{k\} )]))
である。

より形式化して書くと
: \forall n (n \in \mathbf{N} \iff ([\forall k (\lnot k \in n) \lor \exists k \forall j (j \in n \iff (j \in k \lor j = k))] \; \land
:: \forall m (m \in n \Rightarrow [\forall k (\lnot k \in m) \lor \exists k (k \in n \land \forall j (j \in m \iff (j \in k \lor j = k)))])))
である。

### 他の方法
以下のような他の方法もある。\Phi(x)を「xは帰納的である」という論理式とする。つまり、\Phi(x) = (\emptyset \in x \wedge \forall y(y \in x \to (y \cup \{y\} \in x)))とする。おおざっぱに言うとすべての帰納的な集合の共通部分をとりたいわけである。これを形式的に書くと、次のような集合Wが一意に存在することを示したい。

: \forall x(x \in W \leftrightarrow \forall I(\Phi(I) \to x \in I))  (*)

存在については、無限公理と分出公理を使って証明する。Iを無限公理によって保証された帰納的集合とする。分出公理を使って集合W = \{x \in I:\forall J(\Phi(J) \to x \in J)\}を取り出す。つまりWはIの要素のうち、あらゆる帰納的集合に含まれているものを集めてきた集合である。明らかに(*)を満たす。なぜなら、x \in Wと仮定すると、xはすべての帰納的集合に含まれているし、xがすべての帰納的集合に含まれているとすると、もちろんIにも含まれているから、Wにも含まれている。

一意性については、(*)を満たす集合はそれ自体帰納的集合であることに注意する。なぜなら、0はすべての帰納的集合に含まれているし、xがすべての帰納的集合に含まれているとすると、その後続もすべての帰納的集合に含まれている。よってW'を別の帰納的集合とすると、Wが帰納的であるためW' \subseteq Wが成り立ち、W'が帰納的であることからW \subseteq W'も成り立つ。よってW = W'。この集合を\omegaと書く。

この定義は数学的帰納法を容易に導けるため便利である。実際、I \subseteq \omegaが帰納的と仮定すると、\omega \subseteq Iであり、I = \omegaとなる。

いずれの方法においてもの公理系をみたす構造を与える。なぜなら、冪集合公理により\omegaの冪集合に関する量化が可能であるからである。よってこれらは同型であることがわかり、この同型は恒等写像であるため、同値でなければならない。

## より弱そうなバージョン
いくつかの文献では以下の弱そうに見えるバージョンが使われている。
:  \exists x \, ( \exists y \, ( y \in x ) \, \land \, \forall y ( y \in x \, \rightarrow \, \exists z ( z \in x \, \land \, y \subsetneq z ) ) ) \,.

これは*x*は空でなく、*x*の任意の要素*y*について、*x*の要素*z*で、*y*は*z*の真部分集合であるものが存在すると主張している。このことから、*x*の構造については特に考えることなく、これが無限集合であることが分かる。ZFの他の公理を使うことで、この公理からωの存在を示すことができる。最初に、*x*の冪集合をとる、この冪集合は*x*の有限部分集合をすべて含んでいる。これらの有限部分集合の存在を示すにはaxiom of separationかまたは対の公理と和集合の公理を使う。次に*x*の冪集合に対して置換公理を使い、各要素をそれと同じ濃度をもつ始順序数へ置換する(そのような順序数がない場合は0とする)。この結果は順序数からなる無限集合である。和集合の公理を使いω以上の順序数をえる。

## 独立性
ZFCが無矛盾であるかぎり、無限公理はほかのZFCの公理からは導けない(ZFCはZFC − Infinityの無矛盾性を導き、ゲーデルの第2不完全性定理に注意せよ)。

無限公理の否定もまた、ZFCが無矛盾であるかぎり、ZFCのほかの公理からは導けない(これは他の公理たちが無矛盾ならば、ZFCも無矛盾であると言うに等しい)。よってZFCは無限公理もその否定も導かず、どちらとでも両立する。

もちろん、フォン・ノイマン宇宙を使うことでZFC − Infinity + (¬Infinity)のモデルを構成可能である。それは遺伝的有限集合のクラスV_\omegaと要素関係は元のままの組である。このシステムに空集合の公理を含まないとすると(ZF+Infinityから導出できるので)、空な構造もまたZFC − Infinity + ¬Infinityを満たす。なぜなら、残りの公理はすべて全称量化されているため、集合が全くないときは明らかに成り立つ。

自然数全体の集合の濃度は、アレフ0(\aleph_0)であり、巨大基数公理の多くを満たす。このため、無限公理はときおり最初の「巨大基数公理」とみなされる。逆に巨大基数公理は強い無限公理と呼ばれる。

## 脚注

* Paul Halmos (1960) *Naive Set Theory*. Princeton, NJ: D. Van Nostrand Company. Reprinted 1974 by Springer-Verlag. .
* Thomas Jech (2003) *Set Theory: The Third Millennium Edition, Revised and Expanded*. Springer-Verlag. .
* Kenneth Kunen (1980) *Set Theory: An Introduction to Independence Proofs*. Elsevier. .
* 

## 関連項目
* ペアノの公理
*