カントール――無限より大きい

一　無限はどれくらい大きいのか

百万まで数えても、もう一つ足せる。どれほど先へ進んでも、その先の数がある。

私たちが無限を思うとき、たいてい浮かぶのは終点のない道だ。だから、二つの無限のどちらが大きいかと聞かれると、問い方がおかしい気がする。どちらも終わらないのに、何を比べるのだろう。

カントールは少し違う入口を選んだ。最後までたどり着けるかはいったん置こう。片方のものをもう片方のものと、一つずつ余りなく組にできたら、同じ数だけあると言えないか。

数学を揺さぶるというより、椅子を並べる相談に近い。ところが、この小さな問いから新しい土地が開ける。無限は、遠くを指さすだけの言葉ではなく、調べられる形を持ち始める。

実数が可算ではないという結果の発表は1874年、有名な対角線論法は1891年だった。その間にも計算、手紙、修正、他人の仕事がある。ある日一人の頭に稲妻が落ち、無限が誕生したわけではない。

まず一緒に考えてみよう。「見すぎた天才は狂う」という筋書きを先に置かずに。数学の主張には証明が必要であり、病む人にはケアが必要だ。片方をもう片方の説明にしてはいけない。

二　一人に一脚

大勢の人がいる部屋を考える。人と椅子を別々に数えなくても、一人ずつ座ってもらい、立つ人も空席も残らなければ、同じだけあるとわかる。これが一対一対応の手触りだ。

自然数1、2、3、4を、正の偶数2、4、6、8と組にする。どの自然数にも相手がいて、どの正の偶数にも漏れなく順番が来る。作業を実際に終えられなくても、規則が途中で壊れることはない。

偶数が自然数の一部分であることは変わらない。それでも、この対応という意味では同じ大きさになる。いくつか取り除けば必ず少なくなる、という有限の場合の感覚を、そのまま持ち込めない。

分数はもっと混み合って見える。異なる二つの有理数の間には、さらに有理数がある。こんなに密なのに、一列に並べて番号を振れるのだろうか。

正の分数を分子と分母で格子に配置し、斜めに順を追っていく。1/2と2/4のような重複を飛ばし、零と負の数も加えれば、どの有理数にも順番が来る。この斜めの道順と、後で名簿の不完全さを示す対角線とは、役割が違う。

この大きさをℵ₀、アレフ・ゼロという。自然数、正の偶数、有理数は、いずれも可算無限の列に入る。無限の大きさは結局一つなのかもしれない。そう考えたくなる地点まで、私たちは来た。

三　名簿の外に一つ

誰かが、零と一の間の実数をすべて並べたという名簿を渡す。一行目に小数、二行目にも小数。どの行にも自然数の番号が付いている。

全部を読む必要はない。一行目の小数第一位、二行目の第二位、三行目の第三位を見る。対角線に沿って、各行から一つだけ、違いをつくる場所を選ぶ。

新しい小数は1と2だけで書こう。見た桁が1なら2を、1でなければ1を書く。すると新しい数は、一行目とは第一位、二行目とは第二位、第n行とは第n位が違う。

1と2だけにするのは、小数の落とし穴を避けるためでもある。0.4999…と0.5000…は同じ数だ。文字の並びだけ変えて、実は同じ数だった、では証明にならない。

さて、この新しい数は何行目にあるのか。一行目にはない。第一位が違う。二行目にもない。第二位が違う。どの行を指しても、その行に対応する違いが待っている。

それでも新しい数は零と一の間の実数である。すべて載せたはずなのに、載っていない。紙が足りないという話ではない。自然数で番号を付けるどんな名簿にも、同じことができる。

これは1891年の考え方を小数で示す現代的な説明で、原論文の逐語訳ではない。1874年の証明は別の道を取っていた。肝心なのは、まだ並べ終わらないという失敗から、この方法では全部を並べられないという証明へ移ったことだ。

後のチューリングの逆向きの構成にも、似た働きがある。ただし、停止問題では万能と仮定した判定手続きに逆らうプログラムをつくる。小数を一つ追加する話ではない。手法は受け継がれても、対象と結論の違いは残る。

四　もう一段をつくる

自然数の大きさがℵ₀、実数の大きさは通常cと書かれる。cのほうが大きい。では、それが最後の無限なのだろうか。

カントールは繰り返し使える操作を示した。ある集合の部分集合をすべて集める。これが冪集合だ。二人の組なら、誰も選ばない、一人目だけ、二人目だけ、二人とも、という四つの選び方がある。

どんな集合でも、その冪集合のほうが大きい。各要素に部分集合を割り当て、全部を対応させたと仮定する。そこで、自分に割り当てられた部分集合に自分が入っていない要素だけを集める。この新しい部分集合を誰かの割当てとすると、その人が入るか入らないかで矛盾する。

集合を一つ示されれば、より大きいものがある。最大の集合の大きさに到達して、ここで終わり、と宣言することはできない。

ただし、記号が錯覚をつくることもある。ℵ₀、ℵ₁、ℵ₂は順に次の無限基数を示すが、冪集合を取る操作が必ず隣のアレフへ進むとは限らない。二つの上り方を同じ階段として描くと、難問を知らずに解決済みにしてしまう。

無限は精密になったのであって、何もかもわかったのではない。彼が残したのは、全体を見下ろす最上階ではなく、ある場所に着いてから次を正確に問う方法だった。

五　二段の間

ℵ₁はℵ₀より大きい最小の無限基数だ。実数の大きさcは、それと等しいのか。可算無限と連続体の間に、別の大きさはあるのだろうか。

これが連続体仮説である。カントールは長く取り組み、解けなかった。書き直す紙の山に疲れを想像することはできる。しかし、難問一つから精神疾患の原因を言い当てることはできない。

1900年、ヒルベルトは有名な問題集の最初にこれを掲げた。カントールが解けなかったから消えた問題ではない。後の研究者は、答えるとはどういうことかまで問い直すことになる。

ゲーデルは1938年に相対的無矛盾性の結果を得て、1940年に詳しい著作を刊行した。コーエンは1963年に反対側の結果を示した。合わせれば、通常の集合論の公理系ZFCが無矛盾なら、そこでは連続体仮説もその否定も証明できない。

「ZFCでは」を落としてはいけない。どんな数学でも永久に答えを論じられない、という宣告ではない。新しい公理や異なるモデルを調べる仕事は続く。公理を選ぶにも、好きな結論が欲しいという以上の理由が要る。

解けないのは、まだ推論が足りないからか。それとも採用した規則だけでは決まらないからか。この違いを知ることも進歩だ。未完の問題を、その人の能力不足や恥の証拠にする必要はない。

六　二つの机

クロネッカーは重要な反対者だった。何を数学の対象と認め、どんな手続きを許すかについて、はるかに厳しい条件を求めた。学問上の実質的な対立であり、職業上の力の偏りもそこに重なった。

ただ、悪い門番が一人いて、全員がカントールを拒んだ、という一生ではない。ワイエルシュトラスらの支援があり、ハレで長年働き、数学者の共同体づくりにも加わった。支持、敵意、挫折、病は、一つの原因には収まらない。

デデキントもいた。1873年の手紙は、天才が聴衆へ成果を発表する形ではない。問い、証明、改良を二人で往復させ、紙が一方の机から他方へ届くことで考えが先へ進んだ。

そこには、敬意によって消してはいけない功績の勘定がある。デデキントは、自分の証明と改良がカントールの1874年の論文に入りながら、十分な公的承認を得なかったと記録した。カントールの業績と、この未払いは同時に存在する。

2026年のQuanta誌は、デミアン・グースが2025年にハレで確認した、長く失われたと思われていた手紙を報じた。1873年11月30日付で、代数的数の可算性についてデデキントの証明を含む。最近の報道、保存された文書、動機の推測は、別々に扱うべき証拠である。

だから全部が盗作だった、という逆転劇にするのも違う。非可算性や超限数への貢献は、個々に判断する必要がある。同時に、デデキントをカントールの人物像に陰影を添える脇役にしてはいけない。彼の名は彼の仕事の横にあるべきだ。

不当な扱いを受けた人が、別の人を公正に扱えないこともある。ただし、傷が保存されて必ず他人へ移る法則ではない。傷ついた経験は加害を必然にせず、免責もしない。

人を理解するのは、最後まで擁護するより難しい。仕事も、苦しみも、名前を十分に記されなかった相手も、残しておかなければならない。

七　三つの異なる境界

カントール、ゲーデル、チューリング。並べて読みたくなる三人だ。すべてできるはずだという期待に、厳密な限界を示したという共通点がある。

カントールは実数を自然数で列挙できないと証明した。ゲーデルは算術を十分に表現でき、有効に公理化された形式体系を扱った。チューリングはある種の問題をすべて判定する一般的アルゴリズムを問う。同じ定理を三度言ったわけではない。

対角的な構成、符号化、自己言及は、重要なつながりをつくる。それでも名簿、証明体系、プログラムは別の対象だ。連続体仮説の独立性も、停止問題の別名ではない。

そこから、道具の力と適用範囲をよく知ろう、という謙虚さを読むことはできる。ただし、それは数学についての哲学的な読みであって、望む哲学的結論をすべて数学が保証したことにはならない。

まして病、迫害、死を、「境界を見た者は境界に潰される」という系にしてはいけない。チューリングには国家の迫害があり、カントールには繰り返す病があった。人生は定理に付けられた挿絵ではない。

方法の限界を知っても、友人、休息、仕事、ケアは必要である。苦しみを深い洞察の証明書にすることは、追悼する側がなお与えてしまう傷の一つだ。

八　頂上がないことと、道がないこと

階段へ戻ろう。どこに立っても、さらに大きい集合があるかを問える。十分高くまで上がったから、今度はないという答えになるわけではない。

プラトンの善やヘーゲルの体系を思い出すかもしれない。それは比較の入口にはなる。しかし、基数についての定理だけでイデア論を否定したり、歴史の終点を判定したりはできない。

カントール自身は深い宗教的関心を持ち、数学的な超限と神学的な絶対無限を区別した。あらゆる究極の問いを廃止した人として描くと、彼自身の声を取り逃す。

その仕事に近いのは、何もできないと発見することより、よりよい物差しをつくることだろう。可算、非可算、冪集合。それぞれが、次に足を置く場所を少し確かにする。

すべてを所有してからでなくても、目の前の一部分に取り組める。集合論を学び尽くさなくても、曖昧な「永遠」が、議論し、修正し、一緒に調べられる事柄へ変わったことは見える。

頂上がない。今日は一段も上がれない。この二つは違う。カントールの数学は前者を残したが、後者を受け入れるようには求めていない。

九　少しペンを置く

1918年1月6日、カントールはハレの精神病院で亡くなった。七十二歳だった。晩年には入院を繰り返し、戦争で暮らしも厳しくなった。その事実に、無限が最後に理性を奪ったという語りを添える必要はない。

カントールのつくった楽園というヒルベルトの有名な言葉は、彼の死後のものだ。数学に開かれた場所を語っており、その人の毎日が楽園だったとは言っていない。学問の勝利は過去へ戻って病人の孤独を埋められない。

このシリーズの想像上の橋で、カントールはやはり上を見る。ペンが空中にℵ₀、ℵ₁を描く。その先にも余白がある。

今回は、見すぎた人の狂気を目に描き込まなくてもよい。ただ説明に熱が入り、わかってほしいと思っている人でもよい。

チェーホフが少し近づく。ヒュームはバックギャモンを片づける。チューリングは記号のある紙を持ち、誰も結論を急がせない。

カントールは話を続けても、休んでもよい。聞く人は、次の驚くべき定理を入場料にはしない。

休んでいる間に階段は消えない。自分が開いた道にふさわしくあるために、身を使い果たす義務もない。

上にはまだある。ここには、一脚の椅子があってもいい。