コラッツ予想は「どんな正の整数から始めても、特定の操作を繰り返せば最終的に1へ到達する」という非常に有名な未解決問題です。逆像木や2進数表現、形式証明支援系を利用した議論は多く提案されていますが、木構造が作れることと、すべての数が1へ到達することは同じ意味ではありません。この記事では、コラッツ予想の逆像木による証明アイデアを整理し、どこまでが正しく、どの部分に未証明の飛躍があるのかを解説します。
コラッツ予想と逆像木の基本的な考え方
コラッツ予想では、正の整数nに対して次の操作を行います。
- nが偶数ならn/2
- nが奇数なら3n+1
この操作を繰り返したとき、すべての自然数が最終的に1へ到達するかどうかが問題になります。
逆像木とは、1から逆向きにたどって「どの数が1へ向かう可能性があるか」を調べる考え方です。例えば1の逆像には2があります。また、3x+1の逆操作が整数になる場合には、さらに枝が増えていきます。
このような逆像木が完全な木構造になることは、コラッツ予想を考える上で重要な視点ですが、「木であること」と「すべての自然数を含むこと」は別々に証明する必要があります。
4k+1型への到達についての議論
提示されている考えでは、奇数を4k+1型と4k+3型に分類し、4k+3型の数はショートカット変換
T(x)=(3x+1)/2
によって4k+1型へ移るという部分に注目しています。
実際、奇数xを考えると、x=4k+3の場合、
(3x+1)/2=(12k+10)/2=6k+5
となり、これは奇数です。そして6k+5は、kの偶奇によって4k+1型または4k+3型になります。
つまり、何度か変換すれば4k+1型に到達するように見える現象はあります。
しかし、「2進数の下位ビットの1の連続が必ず減少する」という主張は、そのままでは証明になりません。変換によって2進表現がどのように変化するかを厳密に評価し、必ず停止する量（単調減少する量）を示す必要があります。
4k+1部分木が存在することと完全証明の違い
4k+1型の数を頂点として逆像関係を見るという考え方自体は有効です。
例えば、ある数xが親yから生成されるなら、
x=(4y-1)/3
のような関係を考えることができます。
ただし、ここで注意すべき点があります。
「各頂点に親が一意に存在する」という性質は、逆像木の内部構造について述べているだけです。
コラッツ予想を証明するには、さらに「すべての自然数がこの木に含まれる」ということを示さなければなりません。
つまり、木がきれいに構成できても、別の場所に木へ入らない数が存在しないことを証明する必要があります。
閉路がないことだけではコラッツ予想の証明にならない理由
コラッツ予想で必要なのは、次の2つです。
- 途中で無限に増加する軌道が存在しないこと
- 1以外の閉路が存在しないこと
逆像木の議論では、閉路が存在しないことを示そうとします。しかし、仮に閉路がないとしても、無限に大きくなり続ける軌道が存在する可能性は残ります。
例えば、ある操作を逆向きに考えたとき、無限に枝分かれする木が存在しても、その木が自然数全体を覆っている保証はありません。
したがって、「閉路がない」「親が一意」という条件だけでは、すべての自然数が1につながることを意味しません。
生成的自然数とLean4による形式証明について
Lean4などの証明支援系では、自然数は帰納的データ型として定義されます。
例えば自然数は、0と後続関数によって生成されます。この構造により、自然数についての帰納法や有限性に関する証明を厳密に扱うことができます。
しかし、形式体系で自然数が有限的に生成されることと、コラッツ操作が必ず1へ到達することは別の問題です。
自然数そのものが無限集合であることは、生成規則があることと矛盾しません。帰納的定義は「自然数の作り方」を示しているのであって、「任意の自然数に対するコラッツ軌道が終了する」という性質を自動的に保証するものではありません。
局所的な正規化とコラッツ予想の完全証明の違い
提示された方法は、特定の変換ルールの中で局所的な整理や正規化を行うという意味では非常に興味深い考え方です。
しかし、完全証明と呼ぶためには、次の点を証明する必要があります。
- 任意の自然数が有限回で4k+1型へ到達すること
- 4k+1型から必ず1へ向かうこと
- 逆像木が自然数全体を覆うこと
特に最初の「任意の自然数が有限回で特定の部分集合へ入る」という部分は、実質的にコラッツ予想の難しい部分を含んでいます。
そのため、4k+1型の木構造を構成できたとしても、それだけでコラッツ予想の証明にはなりません。
まとめ｜逆像木の構造理解は重要だが完全証明には追加条件が必要
コラッツ予想を逆像木として考える方法は、問題の構造を理解する上で有力なアプローチの一つです。
4k+1型への分類や平方的な変換、形式証明支援系による検証という考え方には数学的な価値があります。
しかし、「逆像が木になること」「閉路がないこと」「自然数が生成的に定義されること」だけでは、すべての自然数が1へ到達することはまだ示せません。
完全証明とするためには、最も重要な部分である「任意の自然数が有限回の操作で1につながる」という主張を厳密に証明する必要があります。現在の数学では、この部分がまさにコラッツ予想そのものとして残されています。
コメント