集合論

概要

集合論（Set Theory）は、19世紀末にドイツの数学者ゲオルク・カントール（1845–1918）が創始した数学の基礎理論である。「ものの集まり（集合）」を対象に、その要素・包含・演算を厳密に規則化することで、数・関数・空間など数学の諸概念を統一的に記述する枠組みを提供した。

カントール以前、数学者は無限を曖昧なまま扱うか、回避してきた。彼はそれを正面から取り組み、無限集合の間にも「大小の階層」があることを証明した。この発見は当初激しい反発を招いたが、20世紀数学の礎となった。

集合とは、何らかの条件を満たす要素の明確な集まりである。要素 a が集合 A に属することを「a ∈ A」と表記する。

主要な演算は以下の通りである。

冪集合は要素数 n の集合から 2ⁿ 通りの部分集合を生み出す。これはデータベースのクエリ設計やセグメンテーションの論理的原型でもある。

集合論の核心は、無限集合の「濃度（cardinality）」という概念にある。カントールは二つの集合が同じ濃度を持つとは、要素間に1対1対応が存在することだと定義した。

この定義のもと、自然数全体の集合と偶数全体の集合は同じ濃度を持つことが示される——後者は前者の「半分」に見えるにもかかわらず。さらにカントールは対角線論法を用いて、実数全体の集合の濃度が自然数のそれより真に大きいことを証明した。

「数学の本質は自由にある。」 — ゲオルク・カントール（1883年論文より）

無限にも比較可能な大小の階層がある——これが集合論最大の発見である。

カントールの素朴集合論は、バートランド・ラッセルが1901年に発見したパラドックスによって危機に陥った。「自分自身を含まないすべての集合の集合」を想定すると論理的矛盾が生じる——これがラッセルのパラドックスの骨子である。

問題を解決するため、エルンスト・ツェルメロ（1871–1953）とアブラハム・フレンケル（1891–1965）が20世紀初頭に公理系を整備した。これがZF公理系であり、「選択公理」を加えたZFC公理系が現代数学の標準的な基礎理論として確立されている。

ZFC公理系は、数学で扱う対象を原理的にすべて集合として定義可能にし、推論の一貫性を担保する。ただし1931年にゲーデルが不完全性定理を示し、いかなる公理系も自身の無矛盾性を内部から証明できないことが明らかになった。

原典: ゲオルク・カントール「一般集合論の基礎」（Grundlagen einer allgemeinen Mannigfaltigkeitslehre, 1883）
入門: 松坂和夫『集合・位相入門』岩波書店、1968
研究: 渕野昌『集合論への招待』日本評論社、2005