グッドスタインの定理：爆発的に増加し、それでも必ずゼロに戻る数列
整数をひとつ選んでください。何でも構いません。そして、ある二段階のルールをひたすら繰り返します。ほとんどすべての初期値で、数列はグーゴルをはるかに超え、観測可能な宇宙の原子の数すら小さく見えるような値まで跳ね上がります。それでも、証明可能なことに、数列は必ずゼロに戻ってきます。
これがグッドスタインの定理です。初めて聞くと、まるでトリックのように聞こえます。ルールは複雑ではなく、数は普通の整数で、主張も明快です。しかし長い間、この定理が真である理由は通常の算術の中に居場所を持てませんでした。この記事では、論理的な証明を追うことはしません。その下に広がる絵を見せます。一度その絵が見えれば、定理はもはや謎ではなくなります。
ルールはほとんど子供っぽいほどシンプル
最初に整数と底を決めます。底は2からスタートします。各ステップでふたつのことをします。まず、現在の数を「遺伝的基底n表記」で書き直す。次に、底nが現れるすべての箇所をn+1に置き換え、1を引く。そして次の底に進み、繰り返します。
「底を上げて1を引く」というのは穏やかに聞こえます。底を2から3にすることは小さな変化のように感じられ、1を引けば数が抑えられるはずだという直感が働きます。しかし、その直感が遺伝的表記に出会うとどうなるか、すぐに見ていきましょう。
爆発を見る
4から始めます。遺伝的2進法では 2^2 です。すべての2を3に置き換えて1を引くと、3^3 - 1 = 26 となります。次に26を遺伝的3進法で書き、底を4に上げて1を引くと41になります。さらに続けます。
| Step | Base | Written in that base | Value |
|---|---|---|---|
| 1 | 2 | 2² | 4 |
| 2 | 3 | 2·3² + 2·3 + 2 | 26 |
| 3 | 4 | 2·4² + 2·4 + 1 | 41 |
| 4 | 5 | 2·5² + 2·5 | 60 |
| 5 | 6 | 2·6² + 6 + 5 | 83 |
| 6 | 7 | 2·7² + 7 + 4 | 109 |
4から始まる数列は 4、26、41、60、83、109 と続き、さらに増加が続きます。この控えめな始まりでさえ、最終的に下降に転じる前、驚くほど長い間増え続けます。19から始めると、物理的には書き留めることすら不可能な高さに到達します。数列がピークを迎えるまでのステップ数は、観測可能な宇宙の原子の数よりも多いのです。ビッグバンの瞬間に想定できる最速のコンピュータで計算を始めても、今日その頂点を見ることはできません。
あらゆる直感が「これは発散する」と叫びます。あれほど大きな数からは戻れないはず、と。しかし直感は単に間違っています。目に見えない何かが起きており、生の数値にはそれが映っていないのです。
下がり続ける隠れた数
各項をその順序数の影に置き換える
重要な操作はここです。グッドスタイン数列のある項を取り、その遺伝的基底n表記を読みます。そして、底nが現れるすべての箇所を記号オメガ（最小の無限順序数）に置き換えます。式の構造は何も変えていません。ラベルを交換しただけです。結果として得られるのは順序数：整数を超えて無限へと延びる数の一種です。
たとえば遺伝的2進法で4は 2^2 です。2をオメガに置き換えると ω^ω になります。遺伝的3進法で26の順序数の影は 2ω² + 2ω + 2 で、ω^ω よりずっと小さい。遺伝的3進法表現の指数2、1、0はいずれも3未満なのでさらなる積み重ねは起きません。これらの順序数は完全に定義された数学的対象です。
底を上げても影は変わらない
底をnからn+1に上げると、遺伝的表現のラベルがnからn+1に変わりますが、式の形は同じままです。したがって、底を上げても順序数の影は変化しません。底を上げる前後の項の影は同一の順序数です。
ところが、そのあとに整数から1を引きます。遺伝的表記で1を引くと、式の最下位の項を剥ぎ取る操作が必要になります。これは遺伝的表現の形を変え、底をオメガに置き換えると、厳密に小さな順序数が得られます。偶然ではなく、ほんの少しでもなく：整数数列から1を引くたびに、順序数の影は必ず厳密に下がります。
つまりパターンはこうです。底を上げる（影はそのまま）、1を引く（影が下がる）。1ステップあたりの正味の効果：順序数の影は毎回必ず少なくとも1段階下がります。
順序数は永遠に減少し続けることはできない
順序数の厳密な減少列は永遠には続きません。これは順序数の最も根本的な性質のひとつです。整数とは違い、いつまでも下り続けることはできない。底がある。順序数の影の列はやがて必ずゼロに達し、順序数の影がゼロになるとき、遺伝的表現がゼロの順序数に対応する唯一の整数はゼロ自身です。だから、グッドスタイン数列もゼロに達します。
整数は想像を絶するほど膨れ上がることができます。しかしその背後にある順序数は、静かに、確実に、毎ステップ下がり続けています。騒がしいのは目に見える数。真実は影の中にあります。
ヒュドラも同じことを言っている
同じ話をゲームとして語ることができます。枝の先に頭を持つ木の形をした怪物、ヒュドラを想像してください。頭をひとつ切り落とします。どの頭をいつ切るかによって、切り口から新しい頭が何本も生えてくることがあります。切り続けます。ヒュドラは勝っているように見えます。
1982年に数学者ジェフ・パリスとローリー・カービーが提唱したカービー-パリスのヒュドラゲームは、まさにこの状況であり、グッドスタイン数列と同じ数学をコード化しています。頭が生え出るルールは底が上がる爆発に対応し、木の構造は遺伝的表記に対応します。そして木の背後にある隠れた順序数は、グッドスタインの議論と同じように、ひとつ頭を切るたびに厳密に下がります。
どんな戦略を使っても、どれほど無造作に頭を選んで切っても、あなたは必ず勝ちます。ヒュドラは必ず死にます。新しい頭が増え続けるのは本物で、壮観なこともありますが、その花火の下でカウントダウンが進んでいます。ヒュドラゲームは、衣装をまとったグッドスタインの定理なのです。
数学者がこの定理を大切にする理由
ここで物語は転換点を迎えます。グッドスタインの定理は真です。上記の順序数による議論が示す通り、証明可能な真実です。しかし1982年、カービーとパリスは別のことも証明しました：この定理はペアノ算術の中では証明できない、ということです。
ペアノ算術は整数についての標準的な形式体系です。加法、乗法、自然数上の帰納法など、通常の算術と呼べるほぼすべてを捉えています。学校の授業で出てくるほとんどの数学的結果はここに収まります。そして、それはグッドスタイン数列が収束することを証明するには単純に力が足りません。
これはすべての意味でこの定理が証明不可能だということではありません。順序数による議論は機能しており、完全に厳密です。しかしその議論は、ペアノ算術がアクセスできない仕方で無限について推論することを必要とします。ペアノ算術はグッドスタイン数列を正確に記述できます。項ごとに計算することもできます。各項が特定の整数であることさえ認識できます。できないのは影を見ることです：降下を保証する順序数の構造が見えないのです。
グッドスタインの定理は、通常の数についての自然で見た目も普通な命題が、標準的な算術の届かない彼方に住んでいることが判明した最初期の例のひとつでした。人工的な論理パズルとして証明不可能になるよう作られたわけではありません。高校生に説明できるような命題で、ナプキンに書ける数列についてのものなのに、標準的な算術はそれを証明できないのです。
その禅的な本質
ここで少し立ち止まる価値があります。果てしなく増大するように見える数列は、実はすべてのステップで、生の数値には見えない降下に参加しています。ふたつのことが同時に起きています：巨大な増加と、静かで避けられない帰還と。
これは矛盾ではありません。数の大きさはその運命と同じではない、という気づきです。大切なのは下にある構造であり、その構造はここでは常にゼロを指し示しています。
数学にはこのような瞬間が満ちています：発散するはずの量が発散しない、崩れるはずの証明が成り立つ、無限に続くはずの数列が終わる。技術は項を力任せに計算することではありません。追うべき正しい影を見つけることです。実際に何が起きているかを教えてくれる影を。花火の向こうで順序数が静かに減っていく姿が見えれば、定理はただ真なるものであるだけでなく、避けられないもの、そのように感じられます。
大きさはノイズです。構造がシグナルです。数列は、最初からずっと、帰ってくる途中だったのです。
よくある質問
- グッドスタインの定理は何を主張しているのですか？
- グッドスタインの定理は、すべてのグッドスタイン数列が途中でどれほど大きくなろうとも、最終的に必ずゼロに達すると主張します。増加は天文学的な規模になり、想像を絶するほど多くのステップを経ることもありますが、どんな初期値から始めても収束は保証されています。
- どんどん増加し続けるのに、なぜ数列は戻ってくるのですか？
- 各項には、裏側に隠れた「順序数の影」があり、それが毎ステップ厳密に減少し続けます。目に見える整数はいくらでも膨らみますが、その背後にある順序数は必ず下がり続け、順序数の減少列は永遠には続けられないため、いつかゼロに到達します。
- 遺伝的基底n表記とは何ですか？
- 数をn進法で表し、さらにその指数もn進法で表し、指数の指数もn進法で表す、という操作を指数がすべて1だけになるまで繰り返す表記法です。たとえば4を遺伝的2進法で書くと「2の2乗」となり、指数の2もまた2進法で表されます。
- グッドスタインの定理が論理学で有名な理由は何ですか？
- それは真である命題でありながら、ペアノ算術だけでは証明できないからです。通常の数についての自然な命題がペアノ算術の範囲を超えることを示した最初期の例のひとつであり、数学と論理学の境界に位置する定理です。
- ヒュドラゲームは同じ数学ですか？
- はい。カービーとパリスのヒュドラゲームは、同じ数学を語り直したものです。頭を切り落とすと新たな頭が何本も生えてきますが、グッドスタイン数列が必ずゼロに達するのと同じ理由で、ヒュドラは必ず倒されます。
