講演資料
講義資料スライドの表紙です。スライド画像、または下の要約文中の青いページ番号リンクをクリックすると、別のタブで無駄なノイズのない、純粋なPDFビューア画面が起動し、指定されたページへ直接ジャンプして快適に閲覧できます。
全体概要
本セミナーは、2018年に開催されたMaruLabo数理ナイト第二夜「集合論入門 ——『数える』と『個数』の数理」の講義資料です。ドイツの数学者ゲオルク・カントール（1845–1918）の没後100年を記念する企画として位置づけられており、カントールが19世紀後半に創設した集合論の骨格を、「数えること」と「個数」という極めて基礎的な操作から出発して丁寧に再構築していきます。
中心的な問いは、「無限集合の要素の数を、どのように厳密に定義・比較できるか」です。有限の場合には「数える」と「個数」は一致しますが、無限に踏み込んだ瞬間に両者は乖離し、直感を裏切る世界が広がります。自然数の数と有理数の数が等しく、それでいって実数の数はそれらより「真に大きい」——この衝撃的な事実を、カントールは「一対一対応」という単純な道具だけで証明しました。
資料はこの発見を軸に、無限の順序構造（順序数）と無限の濃度構造（基数）という二本柱を展開します。そしてカントール自身が生涯証明できなかった「連続体仮説」が、後にゲーデル（1940年）とコーエン（1963年）によって「ZF集合論からは独立である」と確定されるまでの知的ドラマを丁寧に追います。さらに、ZF公理的集合論の整備、ラッセルの逆理と型理論、そしてLawvereのTopos理論やVoevodskyのHomotopy Type Theoryへと至る、20〜21世紀の「数学の基礎を基礎付ける」試みの系譜を俯瞰します。
集合論は抽象的な学問に見えますが、その出発点は「箱の中のものを一つずつ取り上げ、自然数を対応させる」という具体的な操作にほかなりません。本セミナーはその素朴な操作から出発し、カントール的集合論の全容とその限界、そして限界を超えようとする現代数学の最前線までを一望する、稀有な入門的概説となっています。
講義のロードマップ
■ Part 1: 思考実験——「1 = 0.999…」か？
- この部の核心:
集合論の本論に入る前のウォーミングアップとして、「1と0.999…は等しいか」という問いを提示します。素朴な代数的証明が実は無限の操作を含んでいることを指摘し、「無限と厳密に向き合うとはどういうことか」という問題意識を読者に植え付けます。[p.6], [p.7]
- 論理展開:
- 0.333…×3=1 という素朴証明、およびc=0.999…を10倍して引く証明を提示し、いずれも「無限桁への演算」を暗黙に行っていることを指摘します。[p.7]
- 「1+2+3+…= −1/12」という疑似証明を反例として示し、無限の操作が疑わしい結果をもたらしうることを例証します。[p.8], [p.9]
- コーシー列による実数の構成を用いた厳密証明を提示。0.999…と1が同値なコーシー列を定義することで等価性を示します。[p.10], [p.11], [p.12]
- デデキントの切断による実数の定義からも同結論が導けることを示します。[p.13], [p.14]
■ Part 2: 「数える」を考える
- この部の核心:
「数える」という行為を数学的に分析します。数えることが自然数の順番への対応であること、ものの属性を捨象する操作であること、順序（順序数）と個数（基数）という二側面を持つことを、具体的な図解で明確にします。[p.15]〜[p.35]
- 論理展開:
- 「測る」（測度：実数値、部分集合なら測度は小さい）と「数える」（個数：自然数対応）の本質的違いを整理します。[p.21], [p.22]
- 数えるプロセスを「まだ数えていないもの→取り上げ→性質を捨象→自然数を対応→すでに数えたもの」の流れとして図示します。[p.26]〜[p.34]
- 数え終わった結果として「順序数（Ordinals）」と「基数（Cardinals）」の概念が生まれることを示します。[p.35]
- 「時そば」を例として順序の重要性（欠落・二重カウントの危険）を解説します。[p.36]
- 言語のRecursion能力と数概念の形成能力の関係（Chomsky）にも触れます。[p.37]
- 「数える」から独立した「個数」の定義：二集合間の一対一対応が存在するとき個数は等しい、という定義を導入します。[p.39], [p.40]
■ Part 3: カントールの考えたこと1——無限の順序数
- この部の核心:
「無限に数え続ける」ための道具として順序数（Ordinal）を体系的に構築します。有限の順序数は自然数と一致しますが、無限の順序数ωから始まるその先には、想像を絶する豊かな階層構造が広がっています。[p.41]〜[p.70]
- 論理展開:
- 順序数を「それより小さい全ての順序数の集合」として定義し、0={}、1={0}、…、n={0,…,n-1}と構成します。[p.50]
- 全ての有限順序数の集合としてω={0,1,2,3,…}を定義し、最初の無限順序数とします。[p.53]
- 順序数の和（ω+1≠1+ω）、積（2ω=ω≠ω2）が可換でないことを具体的に示します。[p.56], [p.58]
- ω²、ωω、ε₀=ω^(ω^(ω^…))（ベき乗のfixed point）へと順序数の階層を展開します。[p.57]〜[p.68]
- Cantor Normal Form定理（任意の順序数はωべき乗の和として一意に表現できる）を提示します。[p.69]
- ゲンツェンがε₀までの超限帰納法でペアノ数論の無矛盾性を証明した（1936年）ことを紹介します。[p.70]
■ Part 4: カントールの考えたこと2——無限集合の要素の個数（基数と非可算性）
- この部の核心:
「一対一対応」による個数定義を無限集合に適用すると、直感を根底から覆す世界が現れます。「部分は全体と同じ数の要素を持つ」という無限の不思議と、実数が自然数とは「真に異なる大きさ」の無限であることを証明します。[p.72]〜[p.89]
- 論理展開:
- 奇数・偶数・有理数の全体は、いずれも自然数と一対一対応する（可算無限）ことを示します。[p.75], [p.76]
- ヒルベルトの無限ホテルで「満室でも新客を泊められる」逆説を解説します。[p.79], [p.80]
- カントールの対角線論法（1891年）により、実数は自然数と一対一対応しない（非可算）ことを厳密に証明します。[p.83]〜[p.85]
- n次元ユークリッド空間Rⁿと実数Rが同じ濃度を持つことを、小数展開の組み換えで示します（1878年、カントールの「見えるが信じられない！」の逸話）。[p.86]〜[p.89]
- カントール集合（長さ0だが実数と同じ濃度を持つ）、シェルピンスキーのカーペット、メンガーのスポンジを通じて測度と濃度の独立性を示します。[p.90]〜[p.96]
- Banach-Tarski逆理（球を有限分割・再組み合わせで2個に複製できる定理）を紹介します。[p.99]
■ Part 5: カントールが証明できなかったこと——連続体仮説
- この部の核心:
可算無限ℵ₀と実数の濃度cの間に別の無限濃度は存在するか？ カントールは「存在しない（c=ℵ₁=2^ℵ₀）」と予想しましたが、生涯証明できませんでした。この「連続体仮説（CH）」こそ、20世紀数学最大の難問の一つです。[p.100]〜[p.109]
- 論理展開:
- 基数の系列（ℵ₀、ℵ₁、ℵ₂、…）と、任意のℵαに対してℵα [p.101]
- 連続体仮説（CH：c=ℵ₁=2^ℵ₀）および一般連続体仮説（GCH：ℵₙ₊₁=2^ℵₙ）を定式化します。[p.105]
- ヒルベルトの23の問題（1900年）の第1問として連続体仮説が取り上げられていることを示します。[p.106]〜[p.108]
■ Part 6: 集合論の体系の整備——ZFC公理系とラッセルの逆理
- この部の核心:
カントールの素朴集合論はラッセルの逆理（1902年）によって矛盾を露わにします。この危機への応答として、ツェルメロ＝フランケル（ZF）の公理的集合論が整備され、現代の集合論の標準基盤となりました。[p.110]〜[p.124]
- 論理展開:
- Fregeの内包公理（∃y∀x[(x∈y)⟺Φ(x)]）に対し、~(x∈x)を代入するとR∈R ⟺ ~(R∈R)の矛盾が生じることを示します（ラッセルの逆理）。[p.112], [p.113]
- ラッセルの型理論（個体と述語に型を割り当てて自己参照を排除）を紹介します。[p.114], [p.115]
- ZFの主要公理（外延性公理、冪集合公理、無限公理、分離公理、置換公理）を提示します。[p.118]〜[p.122]
- 選択公理（AC）と、それが引き起こすBanach-Tarski逆理を再掲します。[p.123]〜[p.125]
■ Part 7: 非カントール的集合論の発見——ゲーデルとコーエン
- この部の核心:
連続体仮説はZF集合論から独立（証明も反証もできない）であることが、ゲーデル（1940年）とコーエン（1963年）によって確定されました。これは非ユークリッド幾何学の発見と同じ衝撃を「数学の基礎」そのものにもたらした出来事です。[p.126]〜[p.135]
- 論理展開:
- ゲーデルの構成可能宇宙モデルにより、CHおよびACと無矛盾な集合論が存在することを示します（CHの否定はZFCから証明不可能）。[p.128]
- レーベンハイム・スコーレムの定理（モデルを持てば可算モデルも持つ）とそのパラドックスを紹介します。[p.131]
- コーエンの強制法（Forcing Method）によりCHの否定と無矛盾なモデルを構成し、CHがZFCから独立であることが証明されました（1963年）。[p.133], [p.134]
■ Part 8: 数学の基礎を基礎付ける試みの発展
- この部の核心:
コーエン以降も集合論は変貌を続けています。LawvereのTopos理論（1970年代）はカテゴリー論の上に集合論を再構築し、VoevodskyのHomotopy Type Theory（21世紀）は同一性の概念をホモトピー的に再解釈する新たな基礎論を提示しました。[p.136]〜[p.141]