講演資料
講義資料スライドの表紙です。上のスライド画像をクリックすると、同じ画面のまま全編のPDF資料を快適に閲覧・印刷することができます。
セミナーの概要
本セミナーは、2018年に開催されたMaruLabo数理ナイト第二夜「集合論入門 『数える』と『個数』の数理」の講義資料です。ドイツの数学者ゲオルク・カントール（18451918）の没後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]
■ Part 2: 「数える」を考える
「数える」という行為を数学的に分析します。数えることが自然数の順番への対応であること、ものの属性を捨象する操作であること、順序（順序数）と個数（基数）という二側面を持つことを、具体的な図解で明確にします。[p.15〜p.35]
■ Part 3: カントールの考えたこと1無限の順序数
「無限に数え続ける」ための道具として順序数（Ordinal）を体系的に構築します。有限の順序数は自然数と一致しますが、無限の順序数ωから始まるその先には、想像を絶する豊かな階層構造が広がっています。[p.41〜p.70]
■ Part 4: カントールの考えたこと2無限集合の要素の個数（基数と非可算性）
「一対一対応」による個数定義を無限集合に適用すると、直感を根底から覆す世界が現れます。「部分は全体と同じ数の要素を持つ」という無限の不思議と、実数が自然数とは「真に異なる大きさ」の無限であることを証明します。[p.72〜p.89]
■ Part 5: カントールが証明できなかったこと連続体仮説
可算無限ℵ₀と実数の濃度cの間に別の無限濃度は存在するか？ カントールは「存在しない（c=ℵ₁=2^ℵ₀）」と予想しましたが、生涯証明できませんでした。この「連続体仮説（CH）」こそ、20世紀数学最大の難問の一つです。[p.100〜p.109]
■ Part 6: 集合論の体系の整備ZFC公理系とラッセルの逆理
カントールの素朴集合論はラッセルの逆理（1902年）によって矛盾を露わにします。この危機への応答として、ツェルメロ＝フランケル（ZF）の公理的集合論が整備され、現代の集合論の標準基盤となりました。[p.110〜p.124]
■ Part 7: 非カントール的集合論の発見ゲーデルとコーエン
連続体仮説はZF集合論から独立（証明も反証もできない）であることが、ゲーデル（1940年）とコーエン（1963年）によって確定されました。これは非ユークリッド幾何学の発見と同じ衝撃を「数学の基礎」そのものにもたらした出来事です。[p.126〜p.135]
■ Part 8: 数学の基礎を基礎付ける試みの発展
コーエン以降も集合論は変貌を続けています。LawvereのTopos理論（1970年代）はカテゴリー論の上に集合論を再構築し、VoevodskyのHomotopy Type Theory（21世紀）は同一性の概念をホモトピー的に再解釈する新たな基礎論を提示しました。[p.136〜p.141]
ページのナビゲート