自然数は無限に続きます。その中から「偶数」だけを取り出すと、直感的には「数が半分になった」ように思えますよね。
しかし集合論の観点から見ると、偶数は自然数と「同じ大きさ」を持つとされます。
この一見パラドックスのような現象を、集合論の基礎概念である「濃度」と「1対1対応」を使って整理し、大学数学らしい視点で分かりやすく解説します。
自然数と偶数 ― 素朴な直感
自然数とは、1, 2, 3, 4, …と数え上げていく無限の数の集まりです。
その中から偶数だけを取り出すと、2, 4, 6, 8, …と続いていきます。
小学校で「偶数は2で割り切れる数」と習うため、自然数全体に比べれば偶数は「半分しかない」と思うのが自然な感覚でしょう。
しかし、集合論の立場に立つと、この「半分しかない」という直感は必ずしも正しくありません。
自然数と偶数の両方は無限に存在し、無限集合の世界では「要素を半分に削っても数の大きさは変わらない」ことがしばしば起こるのです。
イメージを掴むために、数直線を考えてみましょう。
数直線上に自然数を等間隔で点として並べていきます。
次に、その中から偶数だけを選んで点を打っても、やはり無限に続く列が得られます。
点の密度は変わらず、どちらも「尽きることのない並び」として現れます。
したがって、有限集合のように「半分に減った」とは言えず、無限集合の特有のふるまいが顔を出します。
このように、直感では「偶数は少ない」と感じても、集合論では「自然数と偶数は同じ数だけある」と結論づけられます。
その根拠となるのが「1対1対応」という考え方です。
これは後ほど形式的に説明しますが、直感的には「自然数1個ごとに、偶数1個を対応させることができるなら、大きさは同じ」と言える、という発想です。
図解するとより理解しやすいでしょう。例えば次のように並べると：
- 自然数：1, 2, 3, 4, 5, 6, …
- 偶数：2, 4, 6, 8, 10, 12, …
対応関係：
と続き、自然数 n に対して偶数 2n を対応させるルールを作ることができます。
これこそが集合論的な「1対1対応」の例であり、自然数と偶数の数の大きさが同じである理由の第一歩なのです。
集合論における「濃度（基数）」とは
有限集合においては、要素の数を数えることで集合の大きさを表すことができます。
例えば、{1,2,3} には3つの要素があり、{a,b,c,d} には4つの要素があります。
要素数が異なれば集合の大きさも異なる、というのは直感的に納得できるでしょう。
しかし、無限集合になると話は変わります。
自然数の集合 N = {1,2,3,4,…} は、要素をいくら数えても終わりがなく、「いくつあるか」を有限の数で表すことはできません。
では、数学ではどのようにして「無限集合の大きさ」を比べるのでしょうか。
ここで導入されるのが、基数（cardinality, 濃度とも呼ばれる） という概念です。
基数とは「集合の大きさ」を表す一般的な概念であり、有限集合では要素数そのものを意味し、無限集合では1対1対応の存在によって大小を判定します。
1対1対応を使った定義
集合 A と集合 B が同じ基数を持つとは、A の要素と B の要素を「1対1に対応付けられる」写像（全単射）が存在することを意味します。これを記号で書くと、
|A| = |B| ⇔ ∃ f: A → B が全単射
です。
有限集合では、1対1対応を作れるのは要素数が等しい場合だけなので、この定義は従来の「数を数える」考えと矛盾しません。
例えば、{1,2,3} と {a,b,c} の間には 1↔a, 2↔b, 3↔c という対応を作ることができ、両者の基数は同じ（=3）となります。
一方、無限集合では驚くべきことが起こります。
自然数全体 N とその部分集合である偶数集合 2N の間にも 1対1対応が存在するため、|N| = |2N| となるのです。
有限集合の感覚では「半分しかない」部分集合が、無限集合では「同じ大きさ」を持つという、直感に反する結果が現れるわけです。
可算無限集合
自然数集合 N と1対1対応できる集合のことを 可算無限集合（countably infinite set） と呼びます。
偶数集合や奇数集合はもちろん、整数全体 Z や有理数 Q も可算無限集合に分類されます。
これに対して、実数全体 R のように自然数と1対1対応できない集合は 非可算無限集合（uncountable set） と呼ばれ、さらに大きな濃度を持ちます。
この違いは、カントールの対角線論法などを通して明らかにされますが、それは後のセクションで簡単に触れることにしましょう。
📌 ここまでで「濃度（基数）」という数学的な道具立てができました。
次のセクションでは、自然数と偶数が「実際に同じ濃度を持つ」ことを、全単射（1対1対応写像）による厳密な証明として確認していきます。
1対1対応（全単射）による証明
前のセクションで「基数（濃度）」は 1対1対応（全単射）によって定義されることを確認しました。
ここでは、自然数全体の集合と偶数の集合が実際に同じ濃度を持つことを、厳密に示してみましょう。
集合の定義
- 自然数全体を N = {1, 2, 3, 4, …} とします。
- 偶数の集合を 2N = {2, 4, 6, 8, …} とします。
直感的には 2N は N の「半分」に見えますが、集合論的には同じ基数を持つ可能性があります。
そのために必要なのが、両者を結ぶ「全単射」の構築です。
対応写像の構築
次の関数を考えます：
f: N → 2N
f(n) = 2n
この関数は「自然数 n に対して偶数 2n を対応させる」というシンプルなルールです。
例えば：
- f(1) = 2
- f(2) = 4
- f(3) = 6
- f(4) = 8
…と続きます。
単射性の確認
「異なる自然数が異なる偶数に対応する」ことを確認します。
もし f(n₁) = f(n₂) ならば、2n₁ = 2n₂ です。両辺を2で割ると n₁ = n₂ となるため、n₁ ≠ n₂ の場合は対応する偶数も異なります。
したがって f は 単射です。
全射性の確認
「すべての偶数が、必ずある自然数に対応している」ことを確認します。
任意の偶数 m ∈ 2N をとると、それは m = 2k の形で表せます。
このとき f(k) = 2k = m となるので、どの偶数にも必ず対応する自然数が存在します。したがって f は 全射です。
結論
f は単射かつ全射、つまり 全単射（bijection） です。よって、
|N| = |2N|
が成り立ちます。これにより、「自然数と偶数の数は同じである」と集合論的に証明できました。
図解イメージ
視覚的には次のような対応が描けます：
- 1 ↔ 2
- 2 ↔ 4
- 3 ↔ 6
- 4 ↔ 8
- 5 ↔ 10
- …
数直線上で自然数と偶数を並べ、それぞれ矢印で対応付ければ、「欠けることなく対応している」ことが直感的に理解できます。
📌 この結果は、有限集合の常識と大きく異なります。
有限集合なら「半分にしたら数は減る」のが当たり前ですが、無限集合では「部分集合でも同じ大きさ」という性質が現れるのです。
この不思議さこそが、無限集合の面白さであり、集合論の魅力の一端と言えるでしょう。
奇数やその他の部分集合との比較
ここまでで、自然数と偶数が1対1対応できることを確認しました。
実はこの現象は偶数に限らず、自然数のさまざまな部分集合に対しても成り立ちます。
その代表例が「奇数集合」です。
奇数との対応
奇数集合を O = {1, 3, 5, 7, …} としましょう。自然数 N と O の間には、次のような対応を定めることができます：
g: N → O
g(n) = 2n – 1
例えば、
- g(1) = 1
- g(2) = 3
- g(3) = 5
- g(4) = 7
…と続き、自然数と奇数が1対1に対応していることが分かります。
よって、
|N| = |O|
が成立します。偶数と同じく、奇数も自然数と「同じ大きさ」を持つ集合なのです。
部分集合と基数の不思議な関係
さらに驚くべきことは、自然数の部分集合の多くが、自然数全体と同じ基数を持つ点です。
例えば：
- 3の倍数の集合 {3,6,9,12,…}
- 平方数の集合 {1,4,9,16,25,…}
- 素数の集合 {2,3,5,7,11,…}
これらはいずれも自然数の「一部」にすぎません。
しかし、それぞれ自然数全体と1対1対応を構築できるため、|N| と同じ基数を持ちます。
無限集合の直感に反する性質
有限集合では「部分集合は必ず要素数が少ない」というのが常識です。
しかし無限集合では「部分集合が同じ大きさを持つ」ことが頻繁に起こります。
このため、無限集合は有限集合とはまったく異なる直感を要求してきます。
例えば、素数は自然数の中で「まばら」にしか出現しないように思えますが、基数の観点では自然数全体と「同じ数だけある」とされます。
このことは、「素数は無限に存在する」という古典的な結果（ユークリッドによる証明）と一致しています。
可算無限の広がり
以上の例はいずれも 可算無限集合 です。
自然数と1対1対応できる集合はすべて同じ基数（ℵ₀, アレフ・ゼロと呼ばれる最小の無限基数）を持ちます。
つまり「偶数」「奇数」「3の倍数」「平方数」「素数」など、数直線上に散らばるあらゆる自然数の無限部分集合は、すべて自然数と同じ大きさだと数学的に言えるのです。
📌 この性質は「直感では少ないのに、集合論では同じ大きさ」となる典型例です。
次のセクションでは、この考えを視覚的・物語的に示す有名な比喩――ヒルベルトの無限ホテル――を取り上げてみましょう。
有名な例：ヒルベルトの無限ホテル
無限集合の直感に反する性質を、もっと身近なイメージで理解させてくれるのが「ヒルベルトの無限ホテル」の思考実験です。
これは20世紀初頭、数学者ダフィット・ヒルベルトによって提示された有名なパラドックスで、無限の大きさを考える上で頻繁に引用されます。
ホテルの設定
あるホテルには部屋が無限にあります。
部屋番号は 1号室、2号室、3号室、…と自然数で順に割り振られ、すべての部屋が宿泊客でいっぱいだとします。
有限のホテルなら「満室＝これ以上泊められない」ですが、無限ホテルは違います。
偶数部屋に移動させる
新しい宿泊客が1人来た場合、ホテルはどう対応できるでしょうか？
全員に「現在の部屋番号 n を 2n の部屋に移動してください」と指示を出すのです。
すると、
- 1号室の客 → 2号室へ
- 2号室の客 → 4号室へ
- 3号室の客 → 6号室へ
- 4号室の客 → 8号室へ
…と、すべての宿泊客が偶数番号の部屋に移動します。
結果として奇数番号の部屋がすべて空き、新しい客をそこに収容できるのです。
これはちょうど「自然数と偶数が1対1対応している」ことを、物語形式で示したものです。
ホテルの客は自然数、偶数部屋が偶数集合に対応し、「全員が新しい部屋に移れる＝1対1対応可能」というわけです。
無限集合の特徴を可視化する
この比喩から分かるように、無限集合は有限集合とまったく異なるルールで動きます。
有限ホテルなら部屋を半分にすれば客の半分しか入れません。
しかし無限ホテルでは「半分にしたはずの偶数部屋」にも全員が入りきり、さらに空き部屋まで作れてしまうのです。
この奇妙さは、自然数と偶数の基数が同じであることを直感的に納得させてくれます。
有限の感覚を持ち込むとパラドックスに見えますが、集合論的には「全単射が存在するから同じ大きさ」と整理できるのです。
無限の面白さ
さらにヒルベルトのホテルの思考実験は拡張が可能です。
新しい客が100人来ても、各宿泊客を「n → n+100」の部屋に移せば空きができます。
さらには無限に多くの新しい客が来ても、各宿泊客を「n → 2n」の部屋に移せば、奇数部屋に無限の空きを確保できるのです。
つまり「満室なのにまだ入れる」という、有限ではありえない現象が成立します。
これがまさに、無限集合の奥深さであり、自然数と偶数の関係性を理解するうえで強力な比喩となるのです。
📌 ヒルベルトのホテルは「自然数と偶数の基数が同じ」という事実を物語的に示すだけでなく、「無限集合のパラドキシカルな性質」を直感的に体験させてくれます。
次のセクションでは、この無限の階層構造をさらに広げ、自然数（可算無限）と実数（非可算無限）の違いについて考えていきましょう。
自然数の無限性と実数との違い
ここまで見てきた自然数や偶数、奇数、素数といった集合は、すべて 可算無限集合 に分類されます。
可算無限とは「自然数と1対1に対応できる無限集合」という意味であり、その基数は ℵ₀（アレフ・ゼロ） と呼ばれる最小の無限の大きさです。
しかし数学の世界には、ℵ₀よりも「大きな無限」が存在します。
その代表例が 実数集合 R です。
可算無限と非可算無限
自然数 N や有理数 Q は可算無限集合に属します。
例えば有理数は分数として無限に存在しますが、それでも「分母と分子のペア」を自然数に並べ替えることで、N と1対1対応を構築できます。したがって |Q| = ℵ₀ です。
一方、実数集合 R はこれよりも大きな無限を持ちます。
カントールの対角線論法（diagonal argument）によって、R と N が1対1対応できないことが示されるのです。
カントールの対角線論法（概要）
カントールは次のように考えました：
- 0と1の間の実数を、小数展開で並べてリスト化したと仮定する。
- そのリストから対角成分を取り出し、それぞれの数字を変えて新しい数を作る。
- この新しい数はリスト中のどの数とも異なる。
結果として、「すべての実数をリスト化することは不可能＝実数は自然数と対応できない」と結論されます。
したがって、実数集合は自然数集合よりも大きな基数を持ち、非可算無限集合 と呼ばれます。
無限の階層
以上をまとめると、無限集合には階層があることが分かります。
- 自然数 N, 偶数 2N, 奇数 O, 有理数 Q → すべて可算無限（基数 ℵ₀）
- 実数 R → 非可算無限（基数は 2^ℵ₀ と表される）
有限の世界では「大きさの違う無限」は存在しませんが、無限集合の世界では より大きな無限が存在する のです。
これはカントールが拓いた集合論の最大の成果の一つであり、現代数学の基礎を形作っています。
自然数と実数の対比
この観点から見ると、自然数と偶数が同じ大きさであることは、無限集合の中では「最も小さい無限に属する仲間同士」だからだと理解できます。
そして、そのさらに上に「実数のように、より大きな無限」が存在するのです。
📌 ここまでで、「自然数と偶数は同じ基数を持つ」だけでなく、「無限集合には階層があり、実数は自然数より大きい」という視点を整理しました。
次のセクションでは記事全体のまとめとして、今回の議論を振り返りつつ、関連記事への導線を提示します。
まとめ
本記事では、「自然数と偶数は同じ数だけ存在するのか？」という素朴な疑問を出発点に、集合論の基礎概念である 濃度（基数） と 1対1対応 を用いて整理しました。
まず、直感的には「偶数は自然数の半分しかない」と思えますが、自然数 n と偶数 2n を対応させることで、両者の間に 全単射 が存在することを確認しました。これにより、自然数全体 N と偶数集合 2N の基数は等しく、|N| = |2N| が成立します。
さらに、奇数や3の倍数、平方数、素数など、自然数の部分集合の多くも自然数と同じ基数を持つことを紹介しました。
有限集合では部分集合は必ず小さくなるのに対し、無限集合では「部分集合でも同じ大きさ」という直感に反する性質が現れることがわかります。
この不思議な性質を直感的に説明する比喩として「ヒルベルトの無限ホテル」を取り上げました。
満室であるはずのホテルに新しい客を収容できるという物語は、無限集合のパラドキシカルな性質を生き生きと描いています。
最後に、無限集合には「可算無限」と「非可算無限」という階層があることを確認しました。
自然数・偶数・有理数はすべて可算無限で同じ大きさを持ちますが、実数集合はより大きな無限である非可算無限に分類されます。
これにより、「無限にも段階がある」というカントール以来の重要な発見に触れることができました。
数学的に無限を扱うためには、有限の直感を超えた新しい考え方が必要です。
自然数と偶数が同じ大きさを持つという事実は、その最初の一歩として集合論の世界へ導いてくれる入り口だと言えるでしょう。
👉以下の関連記事も参考にしてみて下さい。
参考情報一覧
- Cantor, G. (1891). Über eine elementare Frage der Mannigfaltigkeitslehre.
- Halmos, P. R. (1960). Naive Set Theory. Springer.
- Jech, T. (2002). Set Theory. Springer Monographs in Mathematics.
- Nagel, E. & Newman, J. R. (2001). Gödel’s Proof. NYU Press.
- ヒルベルトのホテルについて: Wikipedia – Hilbert’s paradox of the Grand Hotel
- カントールの対角線論法: Stanford Encyclopedia of Philosophy – Set Theory
- MathWorld: Cardinal Number
- ProofWiki: The Cardinality of Natural Numbers Equals the Cardinality of Even Numbers
