「無限」を数学的に理解する: 濃度・対角線論法・べき集合

「無限」という言葉は日常会話や数学の中でよく使われるが、とても奥が深い概念だ。19 世紀の数学者ゲオルク・カントールは、無限にも大きさの違いがあることを発見し、それを比較するための道具として「濃度」という考え方を作った。

この記事では、無限を比較する基本的な方法から出発し、対角線論法、べき集合、カントールの定理、連続体仮説まで、無限の濃度に関する主要な概念を整理する。

結論

• 無限同士の大小は、引き算ではなく「一対一対応（全単射）」が作れるかどうかで判定する
• 自然数・整数・有理数は、直感に反してすべて同じ濃度 $\aleph_0$ （可算無限）を持つ
• 実数はカントールの対角線論法により、自然数よりも真に大きい濃度 $2^{\aleph_0}$ （連続体濃度）を持つ
• べき集合を作る操作は、元の集合より必ず大きい濃度を生む（カントールの定理）。これにより「最大の無限」は存在しない
• 「自然数と実数の間に別の濃度があるか」という連続体仮説は、現在の集合論の公理系（ZFC）だけでは真偽を判定できないことが分かっている

濃度: 無限を比較するための考え方

有限集合であれば、要素の個数を数えて引き算すれば大小を比較できる。しかし無限集合には「個数」という概念がそのままでは使えない。そこでカントールは、2 つの集合の要素を漏れなく重複なくペアにできるかどうかで大小を判定するという方法を考えた。

• 一方の要素をもう一方の要素にすべて過不足なく対応づけられれば、2 つの集合は「同じ濃度」を持つという
• どう頑張ってもペアを作りきれず、一方が必ず余ってしまうなら、そちらの濃度のほうが大きいという

この「一対一対応（全単射）が作れるか」という基準が、無限を比較するための唯一の物差しになる。

直感に反する「同じ濃度」の無限

一対一対応を使うと、直感に反する結果がいくつも出てくる。

自然数と偶数は同じ濃度

自然数の集合と偶数の集合を比べると、偶数は自然数の「半分しかない」ように見える。しかし、次のように対応づければ両者は過不足なくペアになる。

自然数 1, 2, 3, … のそれぞれに偶数 2, 4, 6, … が 1 つずつ対応するため、自然数と偶数は同じ濃度を持つ。この「可算無限」と呼ばれる濃度を $\aleph_0$ （アレフ・ゼロ）と書く。

自然数と有理数も同じ濃度

正の有理数は「分子 / 分母」の形で表せるので、分子を縦・分母を横に取った無限の格子として書き出せる。

この格子は有理数がびっしり詰まっており、どれほど狭い区間を取っても、その中には無数の有理数が存在する。まばらに 1, 2, 3, … と並ぶだけの自然数と比べると、有理数のほうが数としては明らかに多く見える。

ところが、この格子を「分子と分母の和」が小さいグループから順に、斜め（対角線）方向にたどっていくと、すべての有理数を一列に並べ直せる。和が同じグループ内では分子の小さい順に並べ、すでに登場した値（約分すると同じになる 2/2 = 1/1 など）は飛ばしていく。

flowchart LR
  a["1/1"] --> b["1/2"] --> c["2/1"] --> d["1/3"] --> e["2/2 (スキップ)"] --> f["3/1"] --> g["1/4"] --> h["…"]

こうして並べ直した有理数に、先頭から順に自然数の番号を振ると、次のように過不足なく対応する。

有限の範囲だけを見れば、有理数は自然数より圧倒的に多い。しかし「無限まで数え尽くす」ことを考えると話は変わる。上の手続きは、どの有理数に対しても必ず自然数の番号を 1 つずつ割り当て、逆にどの自然数の番号にも有理数が 1 つ対応する。この一対一対応が作れる以上、有限での「多い・少ない」は濃度の大小には効かず、有理数の濃度も自然数と同じ $\aleph_0$ （可算無限）になる。整数についても正負を交互に並べる同様の並べ替えができるため、自然数・整数・有理数はすべて同じ可算無限に分類される。

実数は真に大きい: 対角線論法

すべての無限が同じ濃度というわけではない。実数の集合は、自然数よりも真に大きい濃度を持つ。これを証明したのがカントールの対角線論法だ。

考え方は次の通りだ。

1. もし実数がすべて自然数で番号づけできる（可算である）と仮定し、0 と 1 の間の実数を小数展開でリストに並べたとする
2. リストの n 番目の実数の小数第 n 位の数字を、1 つずつ変えていくことで新しい小数を作る
3. こうして作った新しい実数は、リストの n 番目の実数と小数第 n 位で必ず異なるため、リストのどこにも存在しない

つまり「すべての実数を並べたリスト」を作ったつもりでも、そこに載っていない実数を必ず作れてしまう。これは実数が可算ではないこと、すなわち自然数よりも真に大きい濃度を持つことを意味する。この実数の濃度を連続体濃度と呼び、$2^{\aleph_0}$ と書く。

べき集合はなぜ濃度を上げるのか

連続体濃度が $2^{\aleph_0}$ という指数の形で書かれるのには理由がある。

ある集合 $A$ の部分集合をすべて集めたものを「べき集合」と呼び、$\mathcal{P}(A)$ と書く。部分集合を 1 つ作るということは、$A$ の各要素について「入れるか、入れないか」を 1 つずつ決めることと同じだ。

例えば $A = \{a, b, c\}$ の部分集合 $\{a, c\}$ は、次のような 0 と 1 の並び（特性関数）に対応する。

要素が $n$ 個あれば「入れる・入れない」の 2 択を $n$ 回繰り返すことになるため、部分集合の総数は $2^n$ 通りになる。この考え方を無限集合にもそのまま当てはめると、濃度 $\kappa$ を持つ集合のべき集合の濃度は $2^{\kappa}$ と定義される。自然数の濃度 $\aleph_0$ のべき集合の濃度が、実数の濃度 $2^{\aleph_0}$ と一致するのはこのためだ。

なお、べき集合の底を 2 ではなく 3 や 10 にしても、無限の世界では次の等式が成り立つため、結局は同じ連続体濃度に収束する。

カントールの定理: 最大の無限は存在しない

カントールは、任意の集合 $A$ について、そのべき集合 $\mathcal{P}(A)$ の濃度は必ず $A$ 自身の濃度より大きいことを証明した。

この定理から、次のように濃度をいくらでも大きくしていける。

1. 自然数の濃度 $\aleph_0$
2. そのべき集合＝実数の濃度 $2^{\aleph_0}$
3. そのべき集合＝実数上の関数全体の濃度 $2^{2^{\aleph_0}}$
4. 以下、べき集合を作る操作は無限に続けられる

もし「最大の無限集合 $M$ 」が存在すると仮定しても、そのべき集合 $\mathcal{P}(M)$ は $M$ より大きくなってしまい、矛盾する。したがって、すべての無限の中で最大のものは存在しない。これをカントールのパラドックスと呼ぶ。

連続体仮説

ここまでで、可算無限 $\aleph_0$ と連続体濃度 $2^{\aleph_0}$ という 2 つの濃度が登場した。ここで次のような疑問が生まれる。

• 自然数の濃度と実数の濃度の間に、それらとは異なる濃度を持つ集合は存在するのか

「存在しない」という主張を連続体仮説と呼ぶ。この問いは現代数学に大きな謎を残している。ゲーデルとコーエンの研究により、連続体仮説は現在の集合論の公理系（ZFC）だけでは真か偽かを証明できないことが示されている。つまり、連続体仮説を公理として付け加えても、その否定を公理として付け加えても、どちらも矛盾のない数学体系になる。

まとめ

• 無限の大小比較には「一対一対応が作れるか」という基準を使う
• 自然数・整数・有理数はすべて同じ濃度 $\aleph_0$ （可算無限）を持つ
• 実数は対角線論法により、自然数より真に大きい濃度 $2^{\aleph_0}$ （連続体濃度）を持つ
• べき集合を作る操作は濃度を必ず引き上げるため、最大の無限は存在しない
• 自然数と実数の間に別の濃度があるかという連続体仮説は、ZFC の公理系からは独立している

参考

• Cantor, G. “Über eine elementare Frage der Mannigfaltigkeitslehre”. Jahresbericht der Deutschen Mathematiker-Vereinigung, 1891（対角線論法の原論文）
• Cohen, P. J. “The Independence of the Continuum Hypothesis”. Proceedings of the National Academy of Sciences, 1963
• Gödel, K. “The Consistency of the Continuum Hypothesis”. Annals of Mathematics Studies, 1940