1. 結論：無限は全部同じではない

自然数は無限にあります。

1, 2, 3, 4, 5, ...

偶数も無限にあります。

2, 4, 6, 8, 10, ...

ここまでは、多くの人が納得できるはずです。ところが数学では、自然数と偶数は同じ大きさの無限だと考えます。

一方で、0から1までの小数、たとえば 0.123... や 0.707... のような実数は、自然数では数えきれません。つまり、実数の無限は自然数の無限より大きいのです。

ポイントは次の3つです。

この「どんな一覧表にも漏れが出る」ことを示す有名な証明が、カントールの対角線論法です。

無限は、単に「終わりがないもの」ではありません。数学では、無限にも比べ方があり、種類があります。

2. 無限大とは何か：数学では「対応」で比べる

日常会話では「無限大」という言葉を、非常に大きいものの比喩として使うことがあります。しかし数学では、無限をかなり厳密に扱います。

無限集合の大きさを比べるときに重要なのは、1対1で対応できるかです。

たとえば、次の2つの集合を考えます。

A = {りんご, みかん, バナナ}
B = {犬, 猫, 鳥}

AにもBにも3つの要素があります。これは数えればすぐ分かります。

では、無限に続く集合ではどうでしょうか。全部を数え終えることはできません。そこで、次の基準を使います。

2つの集合の要素を、余りも重複もなく1対1で対応させられるなら、同じ大きさと考える。

この考え方を使うと、無限を「なんとなく大きいもの」ではなく、数学的に比較できる対象として扱えます。

3. 自然数と偶数の個数が同じになる理由

自然数と偶数を比べてみましょう。

自然数は、

1, 2, 3, 4, 5, ...

偶数は、

2, 4, 6, 8, 10, ...

です。

直感的には、偶数は自然数の半分に見えます。しかし、次のように対応させるとどうでしょうか。

1 ↔ 2
2 ↔ 4
3 ↔ 6
4 ↔ 8
5 ↔ 10
...

自然数 n に対して、偶数 2n を対応させています。

n ↔ 2n

この対応では、自然数側にも偶数側にも余りが出ません。すべての自然数に偶数が1つずつ対応し、すべての偶数にも自然数が1つずつ対応します。

つまり、数学的には自然数と偶数は同じ大きさの無限です。

ここが、無限を考えるときの最初の大きな壁です。

有限の世界では「一部は全体より少ない」と考えます。ところが無限集合では、一部であっても全体と同じ大きさになることがあるのです。

4. 可算無限と非可算無限：無限には種類がある

無限の種類を理解するうえで、まず知っておきたい言葉が2つあります。

可算無限とは、1番目、2番目、3番目……という形で順番をつけられる無限です。

自然数はもちろん可算無限です。

1, 2, 3, 4, 5, ...

整数も可算無限です。次のように並べれば、すべての整数に順番をつけられます。

0, 1, -1, 2, -2, 3, -3, ...

有理数、つまり分数で表せる数も可算無限です。分数は非常に多く見えますが、並べ方を工夫すれば自然数と対応させられます。

一方で、実数は非可算無限です。実数には、有理数だけでなく、√2 や π のような無理数も含まれます。0から1までの間に限っても、自然数のように番号を振ってすべて並べることはできません。

このことを鮮やかに示したのが、19世紀の数学者ゲオルク・カントールです。Stanford Encyclopedia of Philosophyでも、カントールは整数や有理数が可算である一方、実数が可算でないことを対角線論法で示した人物として説明されています。

5. 実数はなぜ自然数では数えられないのか

ここから、対角線論法の考え方を見ていきます。

まず、0から1までの実数をすべて一覧表にできると仮定します。

1番目  0.123456...
2番目  0.508172...
3番目  0.901245...
4番目  0.333333...
5番目  0.742810...
...

この表には、0から1までのすべての実数が載っているとします。

もし本当にすべて載っているなら、どんな小数を持ってきても、必ずこの一覧表のどこかにあるはずです。

ここで、各行から次のように数字を1つずつ取り出します。

1番目の数の1桁目
2番目の数の2桁目
3番目の数の3桁目
4番目の数の4桁目
5番目の数の5桁目
...

表の左上から右下へ斜めに進むので、これを「対角線」と呼びます。

仮に、取り出した数字が次のようになったとします。

1, 0, 1, 3, 1, ...

次に、この数字を1つずつ別の数字に変えた新しい小数を作ります。たとえば、数字が1なら2に、それ以外なら1に変えるとします。

すると、新しい小数は次のようになります。

0.21211...

この新しい小数は、一覧表のどの数とも必ず違います。

なぜなら、

• 1番目の数とは、1桁目が違う
• 2番目の数とは、2桁目が違う
• 3番目の数とは、3桁目が違う
• 4番目の数とは、4桁目が違う
• 5番目の数とは、5桁目が違う

からです。

つまり、新しく作った小数は、一覧表のどこにも載っていません。

しかし最初の仮定では、「一覧表には0から1までのすべての実数が載っている」はずでした。これは矛盾です。

したがって、最初の仮定が間違っていたことになります。

0から1までの実数を、自然数のようにすべて数え上げることはできない。

これがカントールの対角線論法の核心です。

6. 対角線論法がわからない人がつまずくポイント

対角線論法は、結論だけ聞くと難しく感じます。しかし、つまずきやすい点はある程度決まっています。

1つ目は、「一覧表を作れないなら、なぜ最初に一覧表を仮定するのか」という疑問です。

これは背理法という証明方法です。背理法では、まず証明したいことの反対を仮定します。そして、その仮定から矛盾が出ることを示します。

すべての実数を一覧表にできると仮定する
↓
その一覧表にない実数を作れる
↓
矛盾する
↓
一覧表にはできないと分かる

2つ目は、「新しい小数もどこかに入れればいいのでは？」という疑問です。

新しい小数を一覧表に追加することはできます。しかし、追加した瞬間、その新しい一覧表に対して、また別の「載っていない小数」を作れます。

問題は、1個足りないという話ではありません。どんな一覧表を作っても、その外側に新しい実数を作れてしまうのです。

3つ目は、「0.999... = 1 のような表記の重複はどうするのか」という疑問です。

これは重要な注意点です。十進小数には、同じ値を複数の書き方で表せる場合があります。たとえば、0.999... と 1.000... は同じ値です。

厳密に扱う場合は、表記の重複が起きないように数字の変え方を工夫します。ただし、この注意点を踏まえても、実数が非可算であるという結論は変わりません。

7. 0から1の間だけでも自然数より多い

「実数全体が自然数より多い」と言われると、まだ分かる気がするかもしれません。実数には負の数も大きな数も小数も含まれるからです。

しかし、対角線論法が示しているのはもっと強い事実です。

0から1までの間だけでも、自然数全体より多いのです。

0.1
0.01
0.001
0.333...
0.141592...
0.707106...
...

0と1の間は、数直線で見れば小さな区間です。ところが、その小さな区間の中に、自然数では数えきれないほどの実数があります。

これは有限の感覚とは大きく違います。

有限の世界では、範囲を狭くすれば数は少なくなります。たとえば、1から100までの整数より、1から10までの整数のほうが少ないです。

しかし実数の世界では、0から1までという限られた区間だけでも、自然数より大きな無限が現れます。

8. カントールの発見は何がすごいのか

カントールのすごさは、「無限は大きい」と言ったことではありません。

無限にも異なる大きさがあると、数学的に示したことです。

カントール以前にも、無限という考え方は哲学や数学で扱われていました。しかし、無限を集合の大きさとして比較し、階層のある対象として扱った点にカントールの革新性があります。

Britannicaでも、カントールは集合論の創始者であり、異なる大きさの無限を扱う理論を発展させた数学者として紹介されています。

対角線論法は、数学史の中でも非常に重要な発想です。実数が非可算であることを示すだけでなく、後の論理学、集合論、計算理論にも大きな影響を与えました。

特に重要なのは、次の視点です。

「どれだけ頑張って並べても、必ずそこから漏れるものがある」と論理的に示した。

これは単なる直感ではありません。仮定を置き、矛盾を導き、結論を出すという厳密な証明です。

9. なぜ今、数学的思考として重要なのか

対角線論法そのものを、日常生活で直接使う場面は多くありません。買い物や仕事のメールで、非可算無限を計算することはほとんどないでしょう。

それでも、このテーマには現代的な価値があります。

理由は、AI、データ分析、統計、プログラミングなどの重要性が高まり、単なる暗記ではなく、前提を確認し、論理の筋道を追う力が求められているからです。

文部科学省は、大学・高等専門学校向けに数理・データサイエンス・AI教育プログラム認定制度を設けています。これは、数理・データサイエンス・AIを学ぶ基礎的な教育の重要性が高まっていることを示しています。

また、IPAのDXリテラシー標準では、すべてのビジネスパーソンがDXに関するリテラシーを身につけることを重視しています。

さらに、OECDのPISA 2022 日本結果では、日本の生徒の88%が数学で少なくともレベル2以上に到達しており、OECD平均の69%を上回っています。数学リテラシーは、受験だけでなく、情報を読み解く基礎力としても重要です。

対角線論法から学べるのは、難しい数式の操作だけではありません。

• 何を仮定しているのかを確認する
• 直感と結論がずれる場面で立ち止まる
• 反例や矛盾を探す
• 「全部ある」と言える条件を考える
• 分かりにくい問題を小さく分解する

こうした力は、資格試験、受験勉強、プログラミング、統計の読み取り、AI時代の情報判断にもつながります。

学習を続けるには、難しいテーマを一度で完全に理解しようとするより、少しずつ触れ直すことが大切です。英会話、TOEIC、資格、受験勉強などを日々積み上げたい場合は、完全無料で利用でき、学習行動がユーザーに還元される共益型プラットフォームであるDailyDropsのような選択肢を使うのも一つの方法です。

10. 具体例で整理：どの無限が同じで、どれが違うのか

ここまでの内容を、具体例で整理します。

ここで特に重要なのは、有理数と実数の違いです。

有理数は、分数で表せる数です。分数は無限にありますが、順番を工夫すれば自然数と対応させられます。

一方、実数には有理数だけでなく、分数では表せない無理数も含まれます。そして、0から1までの実数だけを考えても、自然数では数えきれません。

つまり、無限を理解するうえでは、次の区別が大切です。

「無限にある」ことと、「自然数で数えられる」ことは同じではない。

この違いが分かると、無限の大小がかなり見通しやすくなります。

11. FAQ：無限大と対角線論法でよくある質問

Q. 無限大と無限は同じ意味ですか？

日常会話では似た意味で使われることがあります。ただし数学では、「無限大」は極限で値が限りなく大きくなる場面などで使われることが多く、「無限集合の大きさ」とは区別して考えます。この記事では、主に集合の大きさとしての無限を扱っています。

Q. 可算無限とは何ですか？

自然数のように、1番目、2番目、3番目……と順番をつけて数えられる無限のことです。自然数、偶数、整数、有理数は可算無限です。

Q. 非可算無限とは何ですか？

自然数のように順番をつけてすべて数え上げることができない無限のことです。実数は非可算無限です。

Q. 自然数と整数はどちらが多いですか？

数学的には同じ大きさの無限です。整数には負の数もありますが、0, 1, -1, 2, -2, ... のように並べれば、自然数と1対1で対応させられます。

Q. 自然数と有理数はどちらが多いですか？

同じ大きさの無限です。有理数は分数で表せる数で、非常に多く見えますが、並べ方を工夫すれば自然数と対応させられます。

Q. 実数と小数は同じですか？

多くの実数は小数で表せます。ただし、小数表記には 0.999... = 1 のように複数の表し方がある場合があります。実数は、数直線上の点として考えると理解しやすいです。

Q. 対角線論法は高校数学で習いますか？

通常の高校数学の中心範囲ではありません。ただし、集合、数列、極限、論理に関心がある人にとっては、高校数学の先にある重要なテーマです。数学が得意な中高生や、教養として数学を学び直したい社会人にも向いています。

Q. カントールの対角線論法は何がすごいのですか？

どんなに頑張って実数の一覧表を作っても、その表に載っていない実数を必ず作れることを示した点です。これにより、実数の無限が自然数の無限より大きいことが分かります。

12. まとめ：無限を比べると、数学の見方が変わる

無限は、ただ「終わりがないもの」ではありません。数学では、無限にも種類があり、大きさを比べることができます。

この記事の要点を整理します。

• 無限集合の大きさは、1対1対応で比べる
• 自然数と偶数は、同じ大きさの無限である
• 整数や有理数も、自然数と同じ可算無限である
• 実数は自然数では数えられない非可算無限である
• 0から1までの実数だけでも、自然数全体より多い
• 対角線論法は、どんな一覧表にも漏れが出ることを示す証明である

カントールの対角線論法が面白いのは、直感に反する結論を、論理だけで納得できる形にしているところです。

「偶数は自然数の半分だから少ないはず」 「0から1の間なら自然数全体より少ないはず」

こうした感覚は自然です。しかし、数学ではその直感を一度疑い、対応関係や矛盾を丁寧に調べます。

その結果、見えてくるのが「無限にも大小がある」という驚くべき世界です。

難しいテーマを理解するコツは、最初から完璧を目指さないことです。まずは、自然数と偶数の対応を理解する。次に、実数の一覧表を仮定する。そして、対角線上の数字を変える。この順番で追えば、対角線論法は少しずつ見えてきます。

数学は、答えを暗記するだけのものではありません。ものごとの前提を見抜き、筋道を立てて考えるための道具です。無限の大小を知ることは、その入り口として十分に価値があります。