無限は「大きさ」ではなく、対応づけである
19 世紀の終わり、ドイツの数学者ゲオルク・カントールはひとつの奇妙な結論に辿り着いた。自然数 1, 2, 3, … の集まりと、偶数 2, 4, 6, … の集まりは、同じ数だけある。偶数は自然数の「半分」のはずだ。素朴にはそう思える。しかしカントールは「半分」という感覚の方を疑った。
無限の大きさは、有限のときのように「何個あるか」を数えて出るものではない。全単射全単射(bijection)二つの集合のあいだで、どちらの要素も一つずつ過不足なく対応づけられる関係。対応付けができれば、二つの集合は同じ濃度を持つ。があるかどうかで測る。1 には 2 を、2 には 4 を、3 には 6 を、n には 2n を。一つも余らず、一つも漏れない。この対応付けが成り立つ瞬間、自然数と偶数は同じ濃度濃度(cardinality)集合の"大きさ"を表す量。有限集合では要素数そのもの。無限集合ではカントールが定義した対応付けによる分類で、ℵ₀、2^ℵ₀ と階層が続く。を持つことになる。カントールはこの「自然数と対応づけられる無限」の大きさに ℵ₀(アレフ・ゼロと読む。アレフはヘブライ文字の 1 字目)という記号を与えた。無限の世界では、全体と部分が等しい。
自然数と偶数は「同じ濃度」を持つ。無限の大きさは、要素の数ではなく対応付けの有無で測られる。
このカントールの発想を、聴衆にとびきり分かりやすく語って見せたのがダフィット・ヒルベルトだった。1924 年 1 月、ゲッティンゲン大学。当時 62 歳のヒルベルトは、数学の厳密性を世界で最も重んじる人物として知られていた。その彼が、講演でホテルの話を始める。「皆さん、私がオーナーのホテルがあると想像してください。部屋は無限にあります。そして今夜は、満室です──」。
Aus dem Paradies, das Cantor uns geschaffen, soll uns niemand vertreiben können.
カントールが私たちに作ってくれたこの楽園から、誰にも追い出されはしまい。
ダフィット・ヒルベルト「無限について」1925 年(1926 年 Mathematische Annalen 誌に掲載)
ヒルベルトはこの講演を生前に論文として発表しなかった。助手のロータル・ノルトハイムが講義ノートに書きとめ、2013 年の講義集成で初めて公式に出版されたほどである。それでもホテルの話は口伝で広まり、1947 年、物理学者ジョージ・ガモフが『One Two Three… Infinity』One Two Three… Infinity1947 年に Viking Press から出版された、物理学者ガモフによる啓蒙書。原子核・宇宙・遺伝・無限まで一冊で横断する。本人の手描き挿絵つきでヒルベルトの無限ホテルを紹介し、世に広めた。Dover版が今も入手可能。で紹介したことで、一気に大衆のものになった。
ゲオルク・カントール
Mathematician — 1845–1918
集合論の創始者。1874 年に「自然数より実数の方が多い」ことを証明し、無限に大きさの階層があることを示した。生前は同時代の数学者から強く批判された。
Photograph: anonymous, early 20th century / Public domain via Wikimedia Commons
ダフィット・ヒルベルト
Mathematician — 1862–1943
20 世紀初頭のゲッティンゲン学派を率いた数学者。1900 年のパリ国際数学者会議で提示した「ヒルベルトの 23 問題」で知られる。集合論・形式主義形式主義(formalism)数学を「記号と規則の体系」として捉え、その操作が無矛盾に閉じていることだけを問う立場。意味や直観より、形式的な整合性を優先する。ヒルベルト・プログラムの哲学的土台。の擁護者。
Photograph: University of Göttingen faculty postcard, c. 1912 / Public domain via Wikimedia Commons
ジョージ・ガモフ
Physicist / Science Writer — 1904–1968
ビッグバン宇宙論の提唱者の一人。1947 年の啓蒙書『One Two Three… Infinity』でヒルベルトのホテルを紹介し、世に広めた。挿絵も自身で描いた。
誤解
満室なのだから、物理的に新しい客は入れないはずだ。
実際
「満室」は「全部屋に客がいる」という意味。番号をずらせば、どの客も部屋から追い出さず、新しい部屋を作れる。
誤解
無限に客を入れれば、いつかは入りきらなくなる。
実際
可算無限可算無限(countably infinite)自然数と一対一対応がつけられる無限。ℕ、ℤ、ℚ、素数の集合などがこれに当たる。記号は ℵ₀(アレフ・ゼロ)。の客なら、何度重ねても入る。ただし非可算無限非可算無限(uncountably infinite)自然数との一対一対応がつけられない無限。実数の集合がこれに当たる。記号は 2^ℵ₀。可算無限より"真に大きい"。の客(実数など)は入らない。
4 つの夜、無限を動かしてみる
ここから先は、無限を頭でなく手で動かす。下に出てくるホテルは、部屋 1 から番号がどこまでも続く客室を持っている。これは自然数 1, 2, 3, … の集合をホテルに見立てた装置だと思ってほしい。今夜は全部屋に客が泊まっている──つまり、満室。
そこへ、想定外の客が次々とやって来る。一人、無限人を乗せたバス1台、無限のバスを連ねた無限人、最後に名前が実数実数(real number)整数も、分数も、無理数(π や √2 のように分数で表せない数)も含む数の総称。記号は ℝ。0 と 1 のあいだだけでも「無限に続く小数」として無限個ある。で書かれた客たち。あなたはフロント係になり、誰一人追い出さずに彼らを部屋に収めることができるだろうか。各 Stage のボタンを押すと、ホテルの客が一斉に動く。Stage を追うごとに難度は上がり、最後はついにホテル自体が破綻する。無限の濃度の限界が、チェックイン業務に翻訳されて目に見えるはずだ。
先に押さえる — 2 種類の無限
可算無限
ℵ₀ アレフ・ゼロ
1 番、2 番、3 番…と番号を振って一列に並べられる無限。番号と要素が 1 対 1 で対応する。
例: 自然数、整数、有理数、素数
→ ホテルに収まる(Stage 1〜3)
非可算無限
2ℵ₀ 2 のアレフ・ゼロ乗
どう番号を振っても 必ず名簿から漏れる要素が作れる無限。可算無限より真に大きい。
例: 実数、0〜1 の小数、ℕ の部分集合全体
→ ホテルに入らない(Stage 4)
この区別が腑に落ちると、Stage 1〜4 のどこで成功してどこで破綻するかが見える。
Interactive
ヒルベルトのホテル ─ 客の移し方
満室のホテルに、一人の客がやって来た。部屋はすべて埋まっている。どうやって泊めるか?
結果: 部屋 1 が空き、新しい客が入る。
満室のホテルに、無限人を乗せたバスが1台到着した。一度に全員泊める方法は?
結果: 奇数番号の部屋(1, 3, 5, 7, …)が無限に空く。そこへバスの客を順に入れる。
満室のホテルに、無限人を乗せたバスが無限台到着した。全員を泊める方法は? ── 結論を先に言えば、全員泊まれる。しかも空室が無限に残る。
Stage 2 と同じく 元の客 n は部屋 2n へ(A→2, B→4, C→6, D→8, ...)。すると奇数の部屋がすべて空く。そこを素数ごとに分配する: バス k の c 番目の客は部屋 pkc へ(pk は奇素数 3, 5, 7, ...)。偶数と奇素数の冪冪(べき / power)同じ数を繰り返し掛けたもの。pc は p を c 回掛けた数(例: 32=9、33=27、52=25)。「累乗」とも呼ぶ。は決して重ならず、異なる素数の冪同士もすべて違う数になる(整数は素因数分解の組み合わせが一意なので、3 のべきと 5 のべきが同じ数になることは絶対にない)。だから誰も部屋が被らない。一方、1, 15, 21, ... のように奇数だが素数の冪ではない部屋は誰も使わず、空室として残る ── これは欠陥ではなく、可算無限の余裕の現れ。
結果: 偶数と奇素数の冪は決して重ならず、異なる素数の冪同士もすべて違う数なので、誰も部屋が被らない。一方で、1, 15, 21, 33, 35, … のように素数の冪でない奇数の部屋には誰も割り当てられず、空室として残る。無限の客 × 無限のバスを全員泊めても、まだ無限の空室が残る ── これが可算無限の余裕。
最後の客は 0 と 1 のあいだのすべての実数を名札にして現れた。各客の名札は「0.31415…」のように無限に続く小数。フロント係であるあなたは、何とかして全員に部屋を割り当てたい。下の表は、そのあなたの仮の割り当て名簿──「部屋 1 番にはこの実数の客、部屋 2 番にはこの客、……」と決めたつもりのもの。これで全員泊められるだろうか?
表の「対角線」とは、部屋 1 番の小数第 1 位、部屋 2 番の小数第 2 位、部屋 3 番の小数第 3 位…のように、行番号と桁位置が一致するマス(下の表で赤くハイライトされている位置)。ボタンを押すと、この対角線上の数字を 1 ずつずらして新しい実数を作る。新しい実数は、どの部屋の客とも少なくとも 1 桁違う。だから名簿のどこにも載っていない。つまり、あなたの「全員に部屋を割り当てた」という仮定そのものが間違いだった。
→ なぜこれで証明になるのか、詳しい仕組みは下の 「対角線論法 — なぜ実数は入れないのか」 の節で。
仮の名簿 ─ 赤いマス が「対角線」(部屋 n 番の小数第 n 位)
結果: その実数はあなたの名簿のどこにも存在しない。部屋 1 の客とは小数第 1 位で違い、部屋 2 の客とは小数第 2 位で違うから。どんな割り当て方を試しても、漏れる客が必ず作れてしまう。実数の客は、自然数の部屋(可算無限)には入りきらない。ここで初めて、無限には階層があることが現れる。
Stage 1 から 3 までは、無限の客が次々増えても、同じホテルに全員が入った。しかし Stage 4 は違う。客の名札が実数で書かれた瞬間、ホテルの部屋番号(自然数)では絶対に足りなくなる。ここで無限には階層があることが露わになる。
対角線論法 — なぜ実数は入れないのか
Stage 4 で起きたことは、カントールが 1891 年に発表した対角線論法対角線論法(diagonal argument)可能な対応表を1つ仮定し、その対角にある数字を1ずつずらすことで、必ず表に載らない要素を作れることを示す証明法。カントールが実数の非可算性を示すために考案。ゲーデルの不完全性定理にも応用された。そのものである。実数を部屋に割り当てる完全な名簿があると仮定する。名簿の 1 番目の小数第1位、2 番目の小数第2位、3 番目の小数第3位……と対角線上の数字を 1 ずつずらすだけで、名簿のどこにも存在しない実数が作れてしまう。
仮の名簿を作っても、対角線上の数字を1つずつ書き換えれば名簿に存在しない実数が作れる。つまり実数は自然数と1対1に対応できない。
この「名簿に無い実数」は、どの部屋の客とも少なくとも1桁違う。部屋 1 の客とは小数第1位で違い、部屋 2 の客とは小数第2位で違う。だから名簿のどこにも載っていない。つまり名簿は最初から不完全だった。この議論は矛盾なので、「実数を自然数に対応づける名簿が存在する」という仮定の方が間違っていたことになる。
無限は一種類ではない。自然数と同じ濃度の可算無限 ℵ₀(アレフ・ゼロ)と、実数のような非可算無限 2^ℵ₀ のあいだには、絶対に埋められない段差がある。
だからℵ₀(アレフ・ゼロ)ℵ₀(アレフ・ゼロ)自然数全体の濃度を表す記号。可算無限のサイズ。カントールは無限にも階層があることを示し、この記号を一番下に置いた。ℵ₁、ℵ₂…と続く。の客までならホテルは対応できる。しかし非可算無限の客は、どう番号を振り直しても漏れる人が出る。ヒルベルトのホテルは、無限の扱いやすさと扱いにくさの境界線を、一泊のチェックイン業務に変換して見せた装置である。
無限の階層が描かれるまで
1874
カントール、無限に階層があることを証明
「実数は自然数と一対一対応できない」ことを証明する論文を発表。同時代の数学者クロネッカーから激しく批判される。
1891
対角線論法の発表
カントールが対角線論法を発表。実数の非可算性を、誰でも辿れる形で示した。後にゲーデル不完全性定理、チューリングの停止問題にも転用される。
1900
ヒルベルトの第1問題(連続体仮説)
パリ国際数学者会議でヒルベルトが提示した23の未解決問題、その筆頭が「ℵ₀ と 2^ℵ₀ のあいだに中間の濃度があるか」だった。
1924
ゲッティンゲンで"無限ホテル"を口にする
ヒルベルトが1月の講演「Über das Unendliche」で、無限の部屋を持つホテルの話を聴衆に披露。助手ノルトハイムが講義ノートに記録する。
1947
ガモフ『One Two Three… Infinity』
物理学者ジョージ・ガモフが一般向けの啓蒙書でヒルベルトに帰属しつつこのホテルを紹介。一気に大衆文化のものになる。
1963
連続体仮説の決着
ポール・コーエンが強制法を用いて「ℵ₀ と 2^ℵ₀ のあいだに中間があるか」は現行の集合論の公理からは証明も反証もできないと示す。ヒルベルトの第1問題は 63 年越しの決着。
2013
ヒルベルト講義集で初公式出版
1924 年のヒルベルト講義ノートが編纂・公刊され、無限ホテルの話がヒルベルト自身の言葉として初めて活字になった。
満室は、終わりではない
満室は、有限の世界では「終わり」を意味する。部屋が全部埋まっている、だから新しい客は入れない。しかし無限の世界では、満室は「全員が今ここにいる」という状態を示すだけで、新しい客を受け入れないことまでは意味しない。「いっぱい」という言葉は、無限を語る道具としては弱すぎる。
…questi attributi di maggior, minor, ed eguale non convengono a gl'infiniti, de' quali non si può dire, uno esser maggiore o minore od eguale all'altro.
「より大きい」「より小さい」「等しい」という属性は、無限には適合しない。無限について、どちらが大きいとも小さいとも等しいとも言えないのだ。
— ガリレオ・ガリレイ『新科学対話』第一日(1638)
1638 年のガリレオはここで思考を止めた。だが約 250 年後、カントールはこの「適合しない」を「適合させる方法」に書き換える。対応付けが作れれば「等しい」、原理的に作れないなら「真に大きい」── 無限はようやく比較可能な対象になった。
そもそもヒルベルトはなぜこの話を持ち出したのか。1924 年、彼は数学の基礎を有限の操作だけで完璧に組み直す「ヒルベルト・プログラム」の真っ只中にいた。当時、無限は数学者のあいだでも警戒の対象で、「実在するのか」「使ってよいのか」と疑われていた。ホテルの話は、聴衆に 無限を扱うことは矛盾を起こさない と納得させるための実演装置だった。難解な集合論の言葉を一切使わず、フロント係の一晩の業務に翻訳して見せた。
この一夜の小話は、想定をはるかに超えて広まった。数学教育の現場ではいまも、集合論や離散数学の最初の章で必ず登場する。可算無限という抽象概念の入口として、これより親切な例はまだ見つかっていない。計算機科学では、停止問題や対角線論法、可算無限の符号化の議論で同じ図式が使い回される。型理論やカテゴリー論の入門書にも、ホテルの図解が顔を出す。
影響は数学の外にも広がった。哲学・神学では、客を動かすだけで部屋が空くという奇妙な事実が、「実無限はそもそも実在しうるのか」という古い問いを再点火した。哲学者ウィリアム・レーン・クレイグは 1979 年以降、この話を実無限実無限(actual infinity)現実に完成された無限。これに対して「可能無限」は、限りなく続くが完成はしない無限(例:自然数を数え続ける過程)。アリストテレス以来の哲学上の対立。否定の論拠に転用し、宇宙には始まりがあるという神学的主張(カラーム宇宙論的論証)に組み込んだ。数学者の側からの応答はこうだ──「常識に反すること=存在しないこと、ではない。ホテルの話はカントール理論の帰結を見せているだけで、何の矛盾も起こしていない」。大衆文化では、ガモフの啓蒙書、TED-Ed の動画、Numberphile などの YouTube チャンネルを経て、いまや「無限といえばホテル」という連想が定着している。
広がりの軌跡
ガモフ『One Two Three… Infinity』(1947)
物理学者ガモフが一般向けに書いた啓蒙書。著者自身によるユーモラスな挿絵とともに、ヒルベルトの話として紹介。Dover 版で今も入手可能な古典。
カラーム宇宙論的論証(W. L. クレイグ, 1979–)
「実無限が存在すればヒルベルトのホテルの奇妙さが現実になる」ことから、宇宙は過去永遠ではなく始まりを持つと論じる神学・哲学の議論。今も論争中。
TED-Ed『The Infinite Hotel Paradox』(Jeff Dekofsky, 2014)
アニメーション付き 6 分の動画。Stage 1〜3 の客の移動をホテルマンの視点で描き、ネット世代に無限ホテルを定着させた。
大学教育・計算機科学の標準題材
集合論・離散数学・計算理論の入門書では、可算無限を導入するときの定番例。停止問題やゲーデル数化の議論にもこの図式が転用される。
無限は、足し算もできない。引き算もできない。代わりに、対応付けができる。「何個あるか」ではなく「どの客をどの部屋に入れるか」。その一問に変換した瞬間、無限は怖くなくなる。有限の言葉が役に立たなくなる場面に出会ったら、疑うべきは現実ではなく、自分の使っている言葉のほうだ──カントールがやったのも、ヒルベルトがやったのも、結局はそれだった。
ヒルベルトが1925年6月にミュンスターで行った講演の活字版。ホテルの話そのものは、1924年のゲッティンゲン講義ノート(2013 年 Ewald & Sieg 編『David Hilbert's Lectures on the Foundations of Arithmetic and Logic』で公刊)が出典。
One Two Three... Infinity: Facts and Speculations of Science
ヒルベルトの無限ホテルを世に広めた啓蒙書。第1章「Big Numbers」で、満室に客を受け入れる支配人の物語として紹介される。Dover 再版あり。
The True (?) Story of Hilbert's Infinite Hotel
ヒルベルトが実際に1924年に何を話したのか、ガモフがどう引用したのか、その伝播史を検証した科学史論文。一次資料をすべて当たっている。
Über eine elementare Frage der Mannigfaltigkeitslehre
対角線論法の原典。わずか4ページで実数の非可算性を証明した。
6 分のアニメ教材。客の移動を視覚的に追える。本記事の体験セクションと補完的。
無限ホテル自体はヒルベルトの 1924 年の講義に由来するが、彼自身が公刊したものではない。本記事の操作(+1、+無限人、+無限バス無限人、実数)の基本手順は Wikipedia の Grand Hotel 項目と Kragh(2014)の科学史研究に依拠している。数学的な骨格はカントールの集合論そのもので、現代の数学では標準内容。神学・哲学への援用(クレイグのカラーム論証)は論争が続いている領域で、本記事では数学側の通説に寄せている。
e. Tamaki