基礎補題1｜現在の研究状況
1｜研究の目的
出発点は Collatz 予想を直接解くことではなく、
有限と無限の境界は、数学的構造のどこに現れるのか。
を具体物で観測すること。
現在は Collatz の valuation / 2-adic 構造を実験場として、
有限prefixでは決定できない性質が、無限列を一対象として固定したときにどう変化するか
まで絞り込んでいる。
2｜現在得られている構造
odd-to-odd Collatz の valuation 列を
K=(k0,k1,k2,...), ki≥1
とする。
有限prefix
K_r=(k0,...,k_{r-1})
を固定すると、対応する初期値は特定の residue cylinder に制限される。
K1
↓
A1
K2
↓
A2 ⊂ A1
K3
↓
A3 ⊂ A2
...有限prefixが長くなるほど候補集合は細くなる。
しかし重要なのは、
任意の有限段階で、そのprefixだけから極限2-adic点が正整数かどうかは決まらない。
という構造。
3｜基礎補題1
有限 valuation prefix 両延長補題
任意の有限 valuation prefix K_r に対して、それを共有する無限延長には、
対応する2-adic点が N+ に属する延長
対応する2-adic点が N+ に属さない延長
の両方が存在する。
したがって、
有限prefixだけでは N+ membership を決定できない。
4｜証明の現在地
証明の骨格はかなり短い。
正整数側
K_r に対応する residue cylinder から正整数 n を選ぶ
→ 実際の Collatz 軌道を追う
→ K_r を共有する無限 valuation 列を得る
→ 対応点は n∈N+
非正整数側
同じ有限prefixからの無限 continuation は非可算
→ 無限 valuation 列から2-adic点への写像は単射
→ N+ は可算
→ 全延長が N+ に入ることは不可能
→ N+ 外の延長が存在する。
単射性も、
3x(K)+1 = 2^{k0} x(shift K)
から k0 を復元し、反復して全 ki を復元することで直接確認できる。
5｜既存研究との関係
外部照合では、土台となる数学は既知だった。
Bernstein–Lagarias では、2-adic整数上の3x+1写像とshift写像の共役 Φ が研究され、有限mod 2^n でも対応する置換が構成されている。つまり parity情報 ↔ 2-adic点 という基本構造は既存研究に明確に存在する。 (ケンブリッジ大学出版局)
また後続研究でも、2-adic shiftとの共役、parity vector、合同類、有限mod 2^n から無限2-adic構造への接続が研究されている。 (サイエンスダイレクト)
したがって現在の切り分けは、
【既知】
2-adic Collatz
parity / valuation coding
residue class / cylinder
shift conjugacy
無限列による2-adic点の指定
↓ 再配置
【今回の研究】
有限prefix
↓
両membership延長が残る
↓
任意の有限段階でmembership非決定
↓
無限列を一対象として固定
↓
一点化・membership確定
↓
有限／無限境界として読むとなる。
6｜新規性についての現在の評価
ここはまだ確定しない。
今回確認した文献の範囲では、
「有限 valuation prefixでは N+ membership の両側が必ず残る」ことを、有限／無限境界の基礎補題として置く
という構成そのものは確認できていない。
ただし補題を構成する数学部品は既知なので、現段階では、
新しいCollatz定理を発見した
ではなく、
既知のCollatz 2-adic構造から、有限観測と無限対象の境界を表す数学的構造を抽出・再配置した
と評価するのが安全。
現在の到達点
一番重要なのはここ。
任意の有限 K_r
↓
N+ / 非N+ の両延長が存在
↓
membership は閉じない
──────── 有限／無限境界 ────────
無限 K∞ を一対象として固定
↓
2-adic点 x(K∞) が一意
↓
membership が確定したがって、この限定された membership 問題については、
有限をどれだけ増やしても越えられない境界があり、
全有限情報を「一つの無限対象」として扱う型変換によって初めて越える。
という構造まで到達している。
研究状況：基礎補題1＝証明骨格あり／既存数学との接続確認済み／新規性の範囲は未確定。
