はじめに
この記事では、数学的な直感を大きく揺さぶる「ヒルベルトのホテル」について、詳しく丁寧に解説いたします。この思考実験は、無限という概念が私たちの日常的な感覚を超えた奇妙な性質を持つことを示すものであり、数学者ダフィット・ヒルベルトによって考案されました。無限とは何か、そしてそれがどのように私たちの理解に挑戦するのかを、具体的な例を交えながら探っていきます。この記事を通じて、無限の奥深さとその魅力に触れていただければ幸いです。
1. 無限ホテルのパラドックスとは？
1.1 パラドックスの概要
「無限ホテルのパラドックス」とは、無限集合の性質を直感的に理解するための思考実験です。このパラドックスは、数学における無限の概念がいかに常識からかけ離れた振る舞いをするかを示す、有名かつ印象的な例として知られています。では、具体的にどのような状況を考えるのでしょうか。
想像してみてください。あるホテルがあり、その部屋の数は無限に存在します。部屋には1番、2番、3番……と、自然数の順に番号がつけられています。このホテルはすでに満室であり、すべての部屋に宿泊客がいる状態です。ここで、新たに1人の客がやって来て、宿泊を希望したとします。普通に考えれば、満室のホテルに新しい客を受け入れる余地はないはずです。しかし、このホテルが「無限の部屋」を持つ場合、驚くべきことに新たな客を収容する方法が存在するのです。
1.2 直感との衝突
この状況が「パラドックス」と呼ばれる理由は、私たちの日常的な直感と数学的な現実が衝突する点にあります。有限の世界では、満杯になった容器にさらに物を入れることはできません。しかし、無限集合では、真部分集合と全体の間に一対一対応を作れる場合があります。論理の規則が変わるわけではありません。このパラドックスを通じて、無限の持つ独特な性質を垣間見ることができます。
2. 無限ホテルの数学的定式化
2.1 可算無限とは
無限ホテルのパラドックスは、数学における「可算無限（countably infinite）」という概念を扱う具体例です。可算無限とは、自然数（1, 2, 3, …）のように、数え上げることが可能な無限集合を指します。つまり、無限の要素があっても、その集合の要素を1対1対応で自然数に対応させることができる集合です。例えば、自然数や有理数は可算無限集合であり、全ての要素に番号を付けることができます。可算無限の濃度はℵ₀（アレフ・ゼロ）で表されます。ここでは、その仕組みを具体的な操作を通じて見ていきます。
2.2 新しい客を迎える方法
まず、ホテルが満室の状態で新しい1人の客が到着した場合を考えます。すべての部屋にはすでに宿泊客がいて、部屋番号は1, 2, 3, …と割り当てられています。このとき、次のように操作を行います。
- 現在の宿泊客全員を1部屋ずつ後ろに移動させます。 – 部屋1にいる客は部屋2へ – 部屋2にいる客は部屋3へ – 部屋3にいる客は部屋4へ – 以下同様に、すべての客が「n番の部屋」から「n+1番の部屋」へと移動します。
- この移動が完了すると、部屋1が空きます。 – 新しい客をこの空いた部屋1に泊めます。
この操作により、すべての既存の宿泊客が新しい部屋に移動し、なおかつ新しい客のためのスペースが確保されます。重要なのは、このプロセスが無限に続く部屋の数によって可能になる点です。有限の部屋しかない場合、誰かがホテルから追い出されてしまうでしょう。しかし、無限の部屋があるため、全員が収容され続けるのです。
2.3 無限のバスが来た場合
さらに興味深い状況を考えてみましょう。今度は、新しい客が1人ではなく、無限の人数を乗せたバスが到着したとします。つまり、1人目、2人目、3人目……と、無限に続く客がホテルに泊まりたいと希望しているのです。満室のホテルに、無限の客を追加で収容することは可能でしょうか。驚くべきことに、これも実現できる方法があります。
以下のように部屋を割り当てます。
- 既存の宿泊客全員を「偶数の部屋」に移動させます。
– 部屋1にいた客は部屋2へ（1→2×1）
– 部屋2にいた客は部屋4へ（2→2×2）
– 部屋3にいた客は部屋6へ（3→2×3）
– つまり、「n番」にいた客は「2n番」の部屋に移ります。 - これにより、奇数の番号の部屋（1, 3, 5, 7, …）がすべて空きます。
– バスの客をこの奇数の部屋に順番に割り当てます。
– バスの1人目は部屋1へ
– 2人目は部屋3へ
– 3人目は部屋5へ
– 以下同様に続けます。
この操作によって、既存の無限の宿泊客と、新たに到着した無限の客の両方を、漏れなく収容することができます。ここで注目すべきは、自然数の集合（1, 2, 3, …）とその部分集合である偶数の集合（2, 4, 6, …）が、同じ「大きさ」を持つという事実です。数学的には、これを「一対一対応（bijection）」が成立すると表現します。無限の世界では、全体と部分が同じサイズになり得るのです。
3. さらなる無限のパラドックス
3.1 連続無限との違い
無限ホテルのパラドックスは、無限集合の性質を探る上で非常に示唆に富んだ例です。ここでは、さらに深く無限の特徴を見ていきます。無限には種類があることをご存知でしょうか。ヒルベルトのホテルで扱われるのは「可算無限」ですが、それとは異なる「非可算無限（uncountably infinite）」も存在します。
- 可算無限: 自然数（ℕ）、整数（ℤ）、有理数（ℚ）など、数え上げ可能な無限集合です。ヒルベルトのホテルでは、この可算無限が前提となっています。
- 非可算無限: 実数（ℝ）や、例えば区間[0, 1]に含まれる点の集合など、数え上げることができない無限集合です。
数学者ゲオルク・カントールは、「対角線論法」という手法を用いて、実数の集合が自然数の集合よりも「大きい」ことを証明しました。具体的には、実数の集合には自然数と一対一に対応づけられない要素が無限に存在するのです。ヒルベルトのホテルにたとえるなら、実数の数だけ客が到着した場合、いくら部屋を工夫しても全員を収容することはできません。この違いが、可算無限と非可算無限の本質的な差です。
3.2 無限集合の基本的な性質
無限ホテルの思考実験を通じて、いくつかの無限集合の性質が明らかになります。以下に、その特徴を整理します。
- 部分と全体が同じ大きさを持つ: 自然数の集合と偶数の集合は、どちらも可算無限であり、一対一対応が可能です。有限の世界では考えられない性質です。
- 無限に無限を追加しても大きさが変わらない: 無限のバスが到着しても、部屋の割り当てを工夫することで全員を収容できます。これは、可算無限の濃度（ℵ₀）が足し算によって増えないことを示します。
- 可算無限と非可算無限の違い: 前述の通り、実数の集合（非可算無限）は自然数の集合（可算無限）よりも大きく、ヒルベルトのホテルでは扱いきれません。
これらの性質は、無限が持つ直感を超えた特徴を象徴しています。
4. 無限ホテルの応用
4.1 数学と集合論
無限の概念は、数学だけでなく、物理学やコンピュータ科学にも深い影響を与えています。無限ホテルのパラドックスは、カントールが創始した「集合論」の基礎を理解する上で重要な役割を果たします。集合論では、無限集合の「濃度（cardinality）」という概念が導入されます。
- 可算無限の濃度
: 可算無限の濃度はℵ₀（アレフ・ゼロ）と表され、自然数や有理数の集合の大きさを示します。これらの集合は無限に多くの要素を持っていますが、自然数のように1対1対応で順番を付けることができます。例えば、自然数は1, 2, 3, 4, …の順番で数え上げることができ、有理数（分数）も適切に順序付けて数えることができます。この概念は無限集合の性質を理解する上で基本的なものとなります。 - 非可算無限の濃度
: ℵ₁（アレフ・ワン）やそれ以上の濃度があり、実数の集合は2^ℵ₀として表されます。ℵ₁は可算無限の次に大きな濃度を示し、自然数の集合のように数え上げることができない無限集合を表します。実数の集合は、自然数の集合よりも「大きい」無限であり、ℵ₀を超える濃度を持つため、数え上げることができません。実数全体を自然数で漏れなく番号付けすることはできません。ただし、実数の部分集合がすべて非可算というわけではなく、整数や有理数は可算です。 - 連続体仮説
: 連続体仮説は、実数の集合の濃度が自然数の集合の濃度の次に大きい濃度であるかどうかを問う重要な仮説です。「2^ℵ₀ = ℵ₁」が成り立つかどうかを尋ねており、これは実数の集合の濃度（2^ℵ₀）が可算無限の次に位置するかどうかに関わります。標準的な集合論の公理系ZFCが無矛盾なら、ZFCから連続体仮説もその否定も証明できません。「真でも偽でもない」という意味ではなく、ZFCだけではどちらかを決定できないという相対的な独立性です。どの公理系からの証明を考えているかを明示する必要があります。
無限ホテルの思考実験は、これらの抽象的な概念を具体的なイメージで理解する助けとなります。
4.2 可算無限台のバスにも部屋を割り当てる
今度は、バスが1台ではなく1号車、2号車、3号車……と可算無限台来て、それぞれに可算無限人が乗っている場合です。「無限×無限だから、もう入らない」と思うかもしれません。そこで客を「バス番号b、座席番号s」という正の整数の組で表します。
一つのバスを最後まで処理してから次へ移ると、2号車に進めません。代わりに、b+sが小さい順に、斜めに並べます。最初は(1,1)、次は(1,2),(2,1)、次は(1,3),(2,2),(3,1)です。各斜めの列には有限人しかいないので、どの客にも有限の順番が回ってきます。
この順番を式にすると、k=(b+s−2)(b+s−1)/2+bです。例えば(1,1)はk=1、(1,2)はk=2、(2,1)はk=3、(2,2)はk=5になります。分数が出ているように見えますが、連続する二つの整数の積は偶数なので、kは整数です。
| バスb | 座席s | 順番k | 割り当てる部屋2k−1 |
|---|---|---|---|
| 1 | 1 | 1 | 1 |
| 1 | 2 | 2 | 3 |
| 2 | 1 | 3 | 5 |
| 1 | 3 | 4 | 7 |
| 2 | 2 | 5 | 9 |
| 3 | 1 | 6 | 11 |
既存客を2n番へ移し、新しい客を2k−1番へ割り当てれば、偶数と奇数に分かれて衝突しません。この対応が、可算無限個の可算無限集合をまとめても可算であることを、今回の具体的な集合について示しています。
4.3 対角線論法：実数の客にはなぜ足りない？
区間(0,1)のすべての実数に部屋を割り当てられた、と仮定します。各部屋の実数を小数表示し、1番の客の小数第1位、2番の客の小数第2位……を見ます。末尾が9ばかり続く表示は使わない約束にします。
新しい数xを、n番目の数字が「n番の客の小数第n位が1なら2、それ以外なら1」となるように作ります。xは1と2だけからなる小数なので(0,1)に入ります。しかし、1番の客とは第1位、2番の客とは第2位というように、どの客とも少なくとも一つの桁が違います。
したがってxは一覧にありません。「すべてを並べた」という仮定に反します。これが対角線論法です。9が続く表示を避け、xには1と2だけを使ったのは、0.4999…=0.5000…のように異なる表示が同じ値を表す問題を防ぐためです。
4.4 現実のホテルやコンピュータとは分ける
ここで作ったのは、各客に重複しない番号を割り当てる数学的な対応です。無限人を物理的に移動させる時間や、無限台のバスを建造する方法を示したわけではありません。最後の部屋を先に空ける必要もなく、「最後の番号」自体がありません。
現実のメモリや記憶装置は有限です。番号付けの発想は列挙アルゴリズムを考える助けになりますが、無限の容量を実現する技術ではありません。また、物理の式で量が発散することと、集合の要素数が無限であることも別の話です。
5. まとめ
5.1 パラドックスの意義
無限ホテルのパラドックスは、無限の性質を理解するための非常に示唆的な思考実験です。このパラドックスを通じて、以下のようなポイントが明らかになります。
- 可算無限の集合を直感的に説明できる。
- 可算無限個の客を追加しても、自然数との一対一対応を作れる。
- 数学や物理学において、無限の概念は欠かせない存在である。
5.2 現実世界への影響
無限を探求することは、私たちの日常的な直感では捉えにくい、数学や科学の深遠な世界への扉を開く行為です。大きな有限数と無限は違います。部屋が1兆室あっても、満室なら再配置だけで一人増やすことはできません。対応を作る際には「誰にも部屋がある」「二人が同じ部屋にならない」という二つの条件を確認しましょう。
ヒルベルトのホテルは、その入り口として最適な例であり、無限の持つ不思議さと美しさを教えてくれます。読者の皆様も、この思考実験を通じて、無限の魅力に触れていただければ幸いです。
参考資料・関連する記事
Stanford Encyclopedia of Philosophy：連続体仮説では、ZFCからの独立性を詳しく確認できます。別の直感に反する問題として、モンティホール問題の条件付き確率も解説しています。本文の部屋割り表と番号式は、対応を自分で確かめるための説明例です。
