<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>ヒルベルト on kenji.blog</title><link>http://kenji.blog/tags/%E3%83%92%E3%83%AB%E3%83%99%E3%83%AB%E3%83%88/</link><description>Recent content in ヒルベルト on kenji.blog</description><generator>Hugo -- gohugo.io</generator><language>ja</language><copyright>kenjinote</copyright><lastBuildDate>Thu, 10 Sep 2026 06:00:00 +0900</lastBuildDate><atom:link href="http://kenji.blog/tags/%E3%83%92%E3%83%AB%E3%83%99%E3%83%AB%E3%83%88/index.xml" rel="self" type="application/rss+xml"/><item><title>ヒルベルトの無限ホテル：満室のホテルに、さらに無限人の客を泊める方法</title><link>http://kenji.blog/p/hilberts-grand-hotel/</link><pubDate>Thu, 10 Sep 2026 06:00:00 +0900</pubDate><guid>http://kenji.blog/p/hilberts-grand-hotel/</guid><description>&lt;img src="http://kenji.blog/p/hilberts-grand-hotel/img/hilberts_hotel.jpg" alt="Featured image of post ヒルベルトの無限ホテル：満室のホテルに、さらに無限人の客を泊める方法" />&lt;h2 id="1-究極のホテルへようこそ">1. 究極のホテルへようこそ
&lt;/h2>&lt;p>ドイツの偉大な数学者ダフィット・ヒルベルトは、「無限」という概念がいかに人間の直感からかけ離れているかを説明するために、次のような面白い思考実験を考案しました。&lt;/p>
&lt;p>想像してください。宇宙のどこかに**「ヒルベルトの無限ホテル」&lt;strong>というホテルがあります。
このホテルには、1号室、2号室、3号室……と、番号のついた客室が&lt;/strong>無限個**存在しています。&lt;/p>
&lt;p>ある日のこと、宇宙中で大イベントがあり、この無限ホテルはすべての部屋に客が入って**「満室」**になってしまいました。
そこへ、疲れ切った1人の旅人がやってきて、「部屋を1つ空けてもらえませんか？」とフロントに尋ねました。&lt;/p>
&lt;p>普通のホテルなら「申し訳ありません、満室です」と断るしかありません。
しかし、ここは無限ホテルです。支配人は「かしこまりました。すぐにお部屋をご用意します」と微笑みました。
満室なのに、どうやって新しい客を泊めるのでしょうか？&lt;/p>
&lt;hr>
&lt;h2 id="2-ケース11人の新しい客を泊める方法">2. ケース1：1人の新しい客を泊める方法
&lt;/h2>&lt;p>支配人は館内放送で、すでに泊まっているすべての客に次のようにアナウンスしました。&lt;/p>
&lt;p>&lt;strong>「お客様にお願いいたします。現在の部屋番号に『プラス1』した番号の部屋へ移動してください。」&lt;/strong>&lt;/p>
&lt;p>するとどうなるでしょうか？&lt;/p>
&lt;ul>
&lt;li>1号室の客は、2号室へ移動します。&lt;/li>
&lt;li>2号室の客は、3号室へ移動します。&lt;/li>
&lt;li>3号室の客は、4号室へ移動します。&lt;/li>
&lt;li>$n$号室の客は、$n+1$号室へ移動します。&lt;/li>
&lt;/ul>
&lt;div class="mermaid">graph LR
subgraph "移動前（満室）"
R1["1号室&lt;br>(客A)"]
R2["2号室&lt;br>(客B)"]
R3["3号室&lt;br>(客C)"]
R4["..."]
end
subgraph "移動後"
NewR1["1号室&lt;br>(空室!)"]
NewR2["2号室&lt;br>(客A)"]
NewR3["3号室&lt;br>(客B)"]
NewR4["4号室&lt;br>(客C)"]
end
R1 -->|移動| NewR2
R2 -->|移動| NewR3
R3 -->|移動| NewR4
NewGuest["新しい客"] -->|チェックイン| NewR1
style NewR1 fill:#aaffaa,stroke:#333,stroke-width:2px
style NewGuest fill:#ffaaaa,stroke:#333,stroke-width:2px&lt;/div>
&lt;p>部屋は無限にあるので、「一番最後の部屋の客が追い出される」ということは起こりません。全員が1つ隣の部屋に無事に引っ越すことができます。
そして見事、&lt;strong>1号室が空室になりました。&lt;/strong> 新しい旅人は、無事に1号室に泊まることができたのです。&lt;/p>
&lt;p>無限の世界では、$\infty + 1 = \infty$ が成り立ちます。
「全体（無限）」の中から「1つ」を取り出しても、全体の大きさは変わらないのです。&lt;/p>
&lt;hr>
&lt;h2 id="3-ケース2無限人の新しい客を泊める方法">3. ケース2：無限人の新しい客を泊める方法
&lt;/h2>&lt;p>さて、翌日。ホテルは再び満室状態に戻りました。
そこへ今度は、なんと**「無限人の乗客」を乗せた無限バス**が到着しました。
バスから降りてきた客たちは、「全員分の部屋を用意してくれ！」とフロントに詰め寄ります。&lt;/p>
&lt;p>昨日と同じように「プラス1」の移動をお願いしていては、永遠に時間がかかってしまいます。
しかし、支配人は慌てません。再び館内放送を入れました。&lt;/p>
&lt;p>&lt;strong>「お客様にお願いいたします。現在の部屋番号を『2倍』した番号の部屋へ移動してください。」&lt;/strong>&lt;/p>
&lt;p>するとどうなるでしょうか？&lt;/p>
&lt;ul>
&lt;li>1号室の客は、2号室へ移動します。&lt;/li>
&lt;li>2号室の客は、4号室へ移動します。&lt;/li>
&lt;li>3号室の客は、6号室へ移動します。&lt;/li>
&lt;li>$n$号室の客は、$2n$号室へ移動します。&lt;/li>
&lt;/ul>
&lt;p>この移動によって、すでに泊まっていた無限人の客は、&lt;strong>「すべての偶数番号の部屋」&lt;strong>にすっぽりと収まりました。
そして奇跡的なことに、&lt;/strong>「すべての奇数番号の部屋（1号室、3号室、5号室&amp;hellip;）」が完全に空室になった&lt;/strong>のです！&lt;/p>
&lt;div class="mermaid">graph LR
subgraph "現在の宿泊客"
G1["客1"] -->|2倍| R2["2号室"]
G2["客2"] -->|2倍| R4["4号室"]
G3["客3"] -->|2倍| R6["6号室"]
end
subgraph "バスの新しい客（無限人）"
N1["新客1"] -->|奇数へ| R1["1号室 (空)"]
N2["新客2"] -->|奇数へ| R3["3号室 (空)"]
N3["新客3"] -->|奇数へ| R5["5号室 (空)"]
end
style R1 fill:#aaffaa,stroke:#333
style R3 fill:#aaffaa,stroke:#333
style R5 fill:#aaffaa,stroke:#333&lt;/div>
&lt;p>奇数も無限に存在しますから、支配人は無限バスの乗客の先頭から順番に、1号室、3号室、5号室&amp;hellip;と案内していけば、全員を泊めることができます。&lt;/p>
&lt;p>無限の世界では、$\infty + \infty = \infty$ が成り立ちます。
無限に無限を足しても、やっぱりサイズは同じ「無限」のままなのです。&lt;/p>
&lt;hr>
&lt;h2 id="4-ケース3無限台の無限バスが到着したら">4. ケース3：無限台の無限バスが到着したら？
&lt;/h2>&lt;p>さらに翌日。またしてもホテルは満室です。
そこへなんと、**「無限人の乗客を乗せた無限バスが、無限台」**連なって到着しました。&lt;/p>
&lt;p>バス1号車に無限人、バス2号車に無限人、バス3号車に無限人……これが無限台続きます。
さすがの支配人もパニックになりそうですが、彼は数学の天才でした。「素数」を使うことを思いついたのです。&lt;/p>
&lt;p>支配人は次のように指示を出しました。&lt;/p>
&lt;ol>
&lt;li>
&lt;p>&lt;strong>すでにホテルに泊まっている客の移動&lt;/strong>
現在の部屋番号を $n$ としたとき、「$2^n$ 号室」に移動してもらう。
（1号室 $\rightarrow$ 2号室、2号室 $\rightarrow$ 4号室、3号室 $\rightarrow$ 8号室&amp;hellip;）
これで現在の客は全員収まりました。&lt;/p>
&lt;/li>
&lt;li>
&lt;p>&lt;strong>バス1号車の客（無限人）の案内&lt;/strong>
客の座席番号を $n$ としたとき、「$3^n$ 号室」に案内する。
（3号室、9号室、27号室&amp;hellip;）&lt;/p>
&lt;/li>
&lt;li>
&lt;p>&lt;strong>バス2号車の客（無限人）の案内&lt;/strong>
次の素数である 5 を使い、「$5^n$ 号室」に案内する。
（5号室、25号室、125号室&amp;hellip;）&lt;/p>
&lt;/li>
&lt;li>
&lt;p>&lt;strong>バス $k$ 号車の客（無限人）の案内&lt;/strong>
$k+1$ 番目の素数 $P$ を使い、「$P^n$ 号室」に案内する。&lt;/p>
&lt;/li>
&lt;/ol>
&lt;p>「素因数分解の一意性（どんな数も素数の掛け算の組み合わせは1通りしかない）」という数学の強力な定理により、$2^n, 3^n, 5^n, 7^n \dots$ の部屋番号が他の誰かと重複することは絶対にありません。&lt;/p>
&lt;p>こうして支配人は、**「無限 $\times$ 無限」**という途方もない人数の客を、1つの無限ホテルに見事に収容してしまったのです！&lt;/p>
&lt;hr>
&lt;h2 id="5-無限には大きさの違いがあるカントールの定理">5. 無限には「大きさ」の違いがある（カントールの定理）
&lt;/h2>&lt;p>ヒルベルトの無限ホテルが教えてくれるのは、&lt;strong>「可算無限（1, 2, 3&amp;hellip;と番号を振って数えられる無限）」は、いくら足し合わせても、掛け合わせても、結局は同じサイズの『可算無限』の枠に収まってしまう&lt;/strong>という事実です。&lt;/p>
&lt;p>しかし、数学者ゲオルグ・カントールは、さらに恐ろしい事実を発見しました。
「自然数」や「分数」は、すべてこの無限ホテルに泊めることができます。しかし、&lt;strong>「実数（無理数を含むすべての小数）」の客がやってきた場合、この無限ホテルを使っても絶対に全員を泊めることができない&lt;/strong>のです。&lt;/p>
&lt;p>実数の数は、無限ホテルの部屋の数（可算無限）よりも根本的に「大きい（レベルの高い）無限」であることが証明されています。
「無限」という言葉でひとくくりにされがちですが、実は無限の中にも「小さな無限」と「絶対にたどり着けないほど大きな無限」という階層構造（濃度）が存在するのです。&lt;/p>
&lt;hr>
&lt;h2 id="6-まとめ人間の直感を破壊する無限">6. まとめ：人間の直感を破壊する「無限」
&lt;/h2>&lt;p>ヒルベルトの無限ホテルは、私たちの日常生活で培われた「有限の常識」がいかに「無限の世界」では通用しないかを、鮮やかに描き出しています。&lt;/p>
&lt;p>「全体は部分よりも大きい」
「満室のホテルには誰も入れない」
「無限に無限を足したら、もっと大きくなる」&lt;/p>
&lt;p>こうした当たり前の直感は、すべて見事に裏切られます。
無限の世界は、パラドックス（直感に反する真理）の宝庫です。数学者たちはこのパラドックスを恐れるのではなく、論理の力でねじ伏せ、分類し、現代の集合論という美しい体系を作り上げました。&lt;/p>
&lt;p>次に「ホテルが満室です」と断られたときは、ぜひ「もしこのホテルがヒルベルトの無限ホテルだったらな」と想像してみてください。&lt;/p></description></item></channel></rss>