無限公理

無限公理（むげんこうり、英: axiom of infinity）とは公理的集合論におけるZF公理系を構成する公理の一つで、「無限集合の存在」を主張するものである。エルンスト・ツェルメロによって1908年に初めて提示された。

定義

ZF公理系における公式な定義は次の通りである。

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

${\displaystyle \exists A(\varnothing \in A\wedge \forall x\in A(x\cup \{x\}\in A))}$

解釈と帰結

上記定義では「無限」という言葉は用いられていないが、この公理によって（少なくとも1つの）無限集合の存在が保証されることになる。

まず定義中の集合 ${\displaystyle A}$ は以下の性質を満たすことを確認できる。

• ${\displaystyle \varnothing \in A}$ （空集合 ${\displaystyle \varnothing }$ は ${\displaystyle A}$ の要素である）
• ${\displaystyle \varnothing \cup \{\varnothing \}=\{\varnothing \}\in A}$ （「空集合 ${\displaystyle \varnothing }$ を要素にもつ集合」は ${\displaystyle A}$ の要素である）
• ${\displaystyle \{\varnothing \}\cup \{\varnothing \cup \{\varnothing \}\}=\{\varnothing ,\{\varnothing \}\}\in A}$ （「空集合」と「空集合を要素にもつ集合」の2つを要素にもつ集合は ${\displaystyle A}$ の要素である）
• （以下同様に繰り返す）

各手続きで得られた集合を要素とする集合を ${\displaystyle B:=\{\varnothing ,\{\varnothing \},\{\varnothing ,\{\varnothing \}\},\cdots \}}$ とおくと、 ${\displaystyle B}$ は ${\displaystyle A}$ の部分集合である。 この手続きは何回でも繰り返すことができるが、もし有限回で終えた場合、 ${\displaystyle B}$ は有限集合であり、${\displaystyle A\neq B}$である。なぜならば定義により ${\displaystyle B\cup \{B\}\in A}$ であるが、${\displaystyle B\cup \{B\}\notin B}$ となるからである。一方 ${\displaystyle A}$ が有限集合であれば、この手続きを繰り返すことで ${\displaystyle B}$ が ${\displaystyle A}$ よりも多くの要素をもつことができてしまう。 従って ${\displaystyle A}$ は有限集合ではない（すなわち無限集合である）ため、無限公理を採用すれば直ちに無限集合の存在を認めることになる。

上記の手続きはペアノの公理における自然数の構成方法と同様である。ZFC公理系において、自然数全体の集合は無限集合の中で最小のものである。（可算集合）

独立性

無限公理はZF公理系において独立した公理である。すなわちZF公理系の他の公理たちから導くことも反証することもできない。

関連項目

• 公理的集合論
• ペアノの公理

外部リンク

• Weisstein, Eric W. "Axiom of Infinity". mathworld.wolfram.com (英語).

表 話 編 歴 集合論
基本	集合 元 包含関係 内包と外延 クラス ベン図
演算	和集合 非交和 共通部分 素集合 直積集合 分割 補集合 差集合 対称差 冪集合 ド・モルガンの法則 集合の代数学
関係	性質 反射関係 推移関係 推移閉包 対称関係 非対称関係 反対称関係 完全関係 同値関係 同値類 well-defined 整礎関係 逆関係 関係の合成 写像 定義域 終域 値域 単射 全射 全単射 逆写像 像と逆像 恒等写像 制限 包含写像 合成 射影 商写像 指示関数 配置集合 族 添字集合 順序対 順序組 列 集合族 グラフ 部分写像 対応 順序 前順序 有向 半順序 全順序 整列 稠密 有界 単調写像 順序同型 辞書式順序 順序型 推移的集合 順序数 0 後続 極限 自然数 ハッセ図 超限帰納法 ツォルンの補題 整列可能定理 整礎的集合 フォン・ノイマン宇宙
濃度	有限集合 空集合 単集合 遺伝的 可算集合 非可算集合 連続体濃度 始順序数 共終数 基数 正則 到達不能 巨大 一覧 ベルンシュタインの定理 カントールの対角線論法 カントールの定理 連続体仮説
公理化	素朴集合論 ラッセルのパラドックス 公理的集合論 ツェルメロ＝フレンケル集合論 フォン・ノイマン＝ベルナイス＝ゲーデル集合論 モース-ケリー集合論 新基礎集合論 外延性の公理 空集合の公理 分出公理 対の公理 和集合の公理 冪集合公理 置換公理 無限公理 正則性公理 選択公理 可算 従属
研究者	ゲオルク・カントール リヒャルト・デーデキント バートランド・ラッセル エルンスト・ツェルメロ アドルフ・フレンケル ジョン・フォン・ノイマン クルト・ゲーデル ポール・コーエン
カテゴリ