有限／無限境界モデル 境界の分岐点＋既存研究との接続
有限／無限境界モデル｜境界の分岐点＋既存研究との接続
1｜観測された分岐
Collatz valuation-cylinder を具体対象として追った結果、同じ有限→無限遷移でも、何を観測するかによって境界の現れ方が異なることが見えた。
valuation 無限列 K∞
↓
観測対象の違い
↙ ↘
membership 作用情報
↓ ↓
決定遅延型 逐次回収型境界I｜決定遅延型
x(K∞) ∈ N+ ?
を問う場合、
K1 → 未決定
K2 → 未決定
K3 → 未決定
...
任意の有限r → 未決定
──────────────
K∞ → 決定任意の有限prefixでは N+／非N+ の両延長が残る。
有限段階では決定そのものが最後まで遅延し、無限列を一対象化した地点で初めて確定する。
境界II｜逐次回収型
作用係数 A_r の情報を見る場合、
A2 → k0
A3 → k0,k1
A4 → k0,k1,k2
...
──────────────
(A_r)∞ → K∞ 全体各有限段階ですでに部分情報が確定し、後続段階が前段階の欠落を回収する。
有限段階から確定領域が逐次拡大し、無限系列で全情報の回収が完了する。
重要なのは、これは「無限で突然すべてが現れる」のではないこと。
2｜今回の外部調査で分かったこと
この二つの構造そのものに近い既存数学・理論計算機科学は存在する。
決定遅延型
├→ Identification in the Limit
├→ Limit Computability
└→ Safety / Liveness・無限trace
逐次回収型
├→ Domain Theory
├→ Inverse Limit
└→ Profinite / p-adic completionつまり、
二つの境界を構成する「部品」は既存研究とかなり強く接続している。
これは重要。
今回のモデルが完全に孤立した発想なのではなく、既存数学の複数領域にそれぞれ対応物が存在する。
3｜membership側には、さらに一般構造がありそう
今回の調査で特に重要だった補足。
Z は Z_2 の中で稠密なので、有限個の2進桁・有限合同条件だけでは、一般の2-adic点と通常整数を局所的に完全分離できない。
したがって、Collatzで観測した
有限 valuation prefix
→ cylinder
→ membership未決定の背後には、
有限cylinderでは、稠密な部分集合への membership を閉じられない
という、より一般的な位相構造が存在する可能性がある。
つまり基礎補題1は、Collatz固有の現象だけでなく、より一般的な有限近似／極限空間の構造の具体例として読み直せる余地がある。
4｜現時点で確認できていないもの
ここは新規性と混ぜない。
今回確認した範囲では、
「決定遅延」と「逐次回収」を、有限／無限境界の異なる様式として同一モデル上で比較・分類する枠組み
そのものは確認できなかった。
さらに今回のモデルでは、
同じ対象 K∞
↓
観測する性質を変える
↓
境界様式そのものが変わるという観測軸を置いている。
既存研究との対応はあるが、この横断的な分類そのものが既存なのかは未確定。
したがって現時点では、
「新しい理論である」とは言わない。
「既存分野に対応する構造を確認したが、この統合・分類形式の先行例は今回の調査では未確認」
が正確。
5｜境界モデルの現在形
今回の調査を含めると、一段一般化できる。
有限対象列
↓
観測したい性質 P
↓
有限段階で P はどう変化するか？
↓
┌────────────┐
↓ ↓
決定遅延型 逐次回収型
↓ ↓
∀有限rで未決定 有限rごとに部分確定
↓ ↓
無限対象化で決定 無限対象化で全回収ここで重要なのは、
境界は対象だけで決まらない。
「対象 × 問う性質」によって境界様式が決まる可能性がある。
これが今の「境界の分岐点」の中心。
そして外部調査によって、両側に既存数学との足場があることも確認された。
だから今の研究位置はかなり明確で、
Collatzで具体構造を発見・観測
→ 既存数学へ照射
→ 各部品との対応を確認
→ その上で「境界様式の横断分類」が成立するかを調べる
という地点まで来ている。
