苫米地四法印定理

概要

1. 定理番号の正規化と最小体系

本論文で採用する13定理は次のとおりである。番号は既存の26定理体系内の位置を保存するため連番に詰め直さない。省略した定理のうち本稿に必要な内容は、独立の「共通仮定」として明示的に再掲する。

この矢印は本稿の説明順を示す。すべてが直前定理だけに依存するという意味ではない。厳密な最小依存は末尾の表に示す。

2. 共通定義と統一収束補題

2.1 状態、制御、評価、TCZ

認知状態空間を X⊂ℝⁿ、制御系を

とする。f は状態について局所Lipschitz連続で、許容制御は一意な前方解を生成する。基礎評価関数

は、不快・不安定性・内部不整合・評価コストを表す。到達可能集合を ℛ(t;x₀)、閾値を θ とし、

とする。正典のTCZは、同じ時刻における到達可能性と評価条件を組にして

と定義される。一方、時変集合への距離収束を述べるには、固定した閉ループ方策 π に対し

という「閉到達可能TCZスライス」を別に用いる。これは正典TCZそのものではなく、閉ループ到達可能部分に制限した同時刻の収束標的である。本稿で距離収束の対象にするときは、対応する K_π(x₀) が前向き不変で、各時刻のスライスが非空であることを仮定する。自律系では時刻引数を省略する。

2.2 有限地平制御の厳密な読み方

有限地平の一回の最適化だけから t→∞ の収束は導けない。本稿の π_c は、各時刻で

と更新される反復ホライズン方策である。最適解集合からBorel可測な選択 (t,x)↦u^*_t,x(·) を固定し、右連続代表の右極限 u^*_t,x(t+) を用いる。最適解の存在には、許容制御のコンパクト性または制御コストの強制性、下半連続性などの標準条件を仮定し、誘導ベクトル場にはCarathéodory条件と前方完全性を要求する。さらに、最適性とは別に、誘導閉ループが次の下降条件を満たすことを要求する。

2.3 抽象度、束、空

抽象概念の全体を完備束

とする。a≼b は b が a を包摂し、少なくとも同程度に抽象的であることを表す。最小元 ⊥ を物理層 0、最大元 ⊤ を哲学的に「空」と解釈する。定理19以降の抽象度変数は 𝕃 全体を走る。一方、定理16の逆極限には、非自明な多層構成を保つため、⊤ を含まず最大元をもたない上向き有向部分集合 𝔄₁₆⊂𝕃∖{⊤} を用いる。この命名は解釈であり、証明が用いるのは順序論的性質である。

2.4 型付きSelf・Ego・TCZ

Self、Ego、TCZは同一の数学的型ではない。

三者は「同一認知過程の異なる型付き表現」である。定理25ではこの区別を保ったまま無我を述べる。

3. 定理1――苫米地主定理

閉ループ到達可能部分 K₁:=cl⋃_τ≥0ℛ_πc(τ;x₀) が前向き不変であるとし、

を非空と仮定する。零残差Lyapunov関数を

とする。以下、Φ₁ は K₁ 上へ制限する。

4. 定理2――共有TCZ収束定理

主体集合を I={1,…,N}、無向結合グラフを G=(I,E) とする。共通表象空間への写像 h_i:X_i→Y を置き、対称な不整合関数 S_ij≥0 が

を満たすとする。各主体の基礎評価を V_0,i とし、共有零残差を

とする。各無向辺で γ_ij=γ_ji>0、また w_i>0 とする。共同方策 π₂ を固定し、

と定める。K₂ は前向き不変で、共有零集合 Ω₂(t) は各時刻で非空と仮定する。

5. 定理3――抽象的共有TCZ収束定理

認知状態から束への写像を φ_i:X_i→𝕃 とし、W_i∈𝕃 で表される複数世界の最小上界を

とする。𝕃 が固定された単射的順序埋め込み ι:𝕃↪ℝ^m をもつと仮定し、抽象残差を

と定め、

とする。LUB加重方策を π₃ とし、

と定める。K₃ は前向き不変で、Ω₃(t) は各時刻で非空と仮定する。

6. 定理4――苫米地臨場感加重定理

臨場感 P∈[0,1]、価値符号 Q∈[−1,1]、重み κ>0 により

とする。K を対応する閉ループの前向き不変な閉到達可能部分とし、臨場感加重TCZスライス

が各時刻で非空であると仮定する。零残差を

とする。

7. 定理16――苫米地自己意識存在・発生定理

正典定理16を履歴相対的に読むため、本稿では入力履歴・文脈の添字 h を明示的に導入する。主体 i と h を固定し、最大元をもたない上向き有向な抽象度集合 (𝔄₁₆,≼) の各層に、非空コンパクト凸な安定集合

を置く。E_i,α は局所凸Hausdorff空間であり、異なる履歴の状態を比較する共通周囲空間を E_i:=∏_α∈𝔄16E_i,α とする。層間射影

は連続アフィンで、p_γβ∘p_βα=p_γα、p_αα=id を満たし、任意の有限層族に整合点が存在するとする。

さらに層別フィードバック f_i,h,α:K_i,α(h)→K_i,α(h) は

を満たし、逆極限上の連続自己写像 F_i,h を誘導するとする。

8. 定理19――苫米地自由意思定理

本稿で履歴添字付きに再定式化した定理16の主体 S_i,h^* と履歴 h を固定し、以下では h の添字を省略する。各抽象度 α∈𝕃 に、非空な許容ゴール条件付き制御対の集合

を置く。各問題 d は現在状態 X_d、主体内部で表象され有限集合に値を取る離散ゴール確率変数 G_d、行為出力 Y_d^π をもち、H(G_d|X_d)<∞ とする。

9. 定理20――苫米地象徴臨場感方向性定理

主体 i の利用可能情報を部分束 𝕃_i(t)⊊𝕃 とし、象徴 σ が指す表象集合を W_σ⊂𝕃_i(t)、目標アドレスを

とする。表象集合 Z_u⊂X は非空閉集合とし、その距離型関数 D_u≥0 を

で定める。基礎臨場感を P、象徴 σ による増幅を Sym_σ、結合係数を λ≥0 とし、象徴臨場感を

と定める。一適用区間の近傍で D_u,V₀,P_σ∈C¹、s∈C¹、s′<0 とし、S_u(x):=s(D_u(x)) とする。移動度行列は連続対称で M(x)≽γI、γ>0 とし、

とする。閉ループベクトル場は局所Lipschitzであり、‖ξ‖_M²:=ξ^TMξ と定義する。一適用区間内では u_σ,Z_u,D_u を固定する。

10. 定理21――苫米地包摂半順序臨場感方向性定理

主体が接する象徴分布を測度 μ_i とし、再構成カーネル K(x,a) から

と定め、b∈𝕃_i を仮定する。これは例えば supp μ_i が有限、または 𝕃_i が完備部分束なら保証される。表象中心を x_b、閉球を U_b=B̄_r(x_b)⊂X、r>0 とする。

p>0 は定理4の正規化臨場感 P∈[0,1] そのものではなく、象徴増幅と結合強度をまとめた無上限の実効臨場感利得とする。

11. 定理22――苫米地高高度LUB臨場感定理

初期LUB u₀∈𝕃 から、新情報を消去せず結合として蓄積し、

とする。これは情報集合を結合閉包で更新することに相当する。各段の表象中心、臨場感場、背景地形をそれぞれ x_un,S_un,R_n とし、局所領域を U_n:=B̄_rn(x_un)⊂X、r_n>0 とする。各 p_n>0 も正規化臨場感ではなく、無上限の実効臨場感利得である。

12. 定理23――諸行無常定理

生命、認知、環境を含む完全状態空間を 𝒵 とし、生存時間区間 I_alive 上の完全状態を

とする。𝒮 を一価にするため必要な環境・記憶・履歴変数は z の成分へ含めるが、時計座標そのものを追加して非再帰結論を自明化しない。ここでは省略定理15（苫米地認知物理エントロピー交換・保存定理）の収支を完全状態関数化し、軌道上で 𝒮(z(t))=S_gen(t)、Π_gen(t)=Π(t) と同定する。一般化総エントロピーを時間非依存の一価状態汎関数

とし、正典どおり w_α>0、層が無限なら級数は絶対収束すると仮定する。t↦𝒮(z(t)) は絶対連続で、ほとんど至る所で

を満たすとする。単なる非減少では平衡を排除できないため、生存中の厳密散逸条件を独立に置く。

さらに、空未満の認知更新について次を置く。

各段の部分準位集合、閉ループ到達可能部分、TCZを

とし、θ₀≥0 およびすべての n≥0 について 0≤θ_n+1<(c_n+1/2)δ_n² とする。ここで ℛ_n^fr は定理22の第 n 段ベクトル場を切り替えず継続した仮想閉ループの到達可能集合である。

13. 定理24――一切皆苦定理

定理19と同じ固定主体を扱い、主体・履歴添字を省略する。定理1–4の基礎評価 V₀ を層別化し、抽象度 a∈𝕃 における非負の不快・不整合評価を V_a(x,t)≥0 とする。その割引無限地平最適値を

とする。軌道上の評価はLebesgue可測で、各 (a,x,T) に少なくとも一つ有限コスト方策があり、最小値を達成する最適方策が存在すると仮定する。したがって 0≤J_a,ρ^*(x,T)<∞ である。

14. 定理25――諸法無我定理

本定理における「諸法」とは、本モデルが扱うすべての存在・現象・関係・記憶・象徴をいう。「無我」とは、機能的・歴史的・関係的な存在を否定することではなく、他の存在、入力履歴および層間関係から独立して自存し、存在を固定的に個体化し、かつ追加の因果効果をもつ不変の自性が存在しないことをいう。

25.1　現行の自己過程と固定点

入力履歴集合を ℋ とし、各 h∈ℋ に対して、定理16の縮小作用素 F_i,h と一意固定点 S_i,h^*∈SC_i,h⊂E_i があるとする。自己過程の三つの型付き表現を

とする。H を本モデル全体のランダムな大域履歴とし、許容される入力、層間表象および他存在との関係の履歴を含める。自己過程に対応する確率変数を R_i:=R_i[H] とする。Selfは意味論的選択・変換作用素、Egoは制御方策、TCZは状態空間の安定集合であり、三者は同一の数学的型ではなく、同一認知過程の異なる型付き表現である。

25.2　全存在の層別存在プロファイル

抽象概念の全体を、既存体系と同じ完備束

とする。α≼β は、β が α を包摂し、少なくとも同程度に抽象的であることを表す。本モデルが扱う諸法の索引集合を 𝔇 とする。ここで d∈𝔇 は記述上の索引であり、それ自体を関係から独立した実体として先取りしない。

各抽象度 α∈𝕃 に型付き表現空間 E_α を置き、その層に直接現前しないことを示す不在記号 ∂_α∉E_α を加える。

Z_d[h] を存在 d の層別存在プロファイルとし、その現前支持を

とする。

25.3　縦の包摂関係と他存在との双方向関係

履歴 h における層別存在ノードと、縦の包摂辺を

とする。さらに、関係ラベル集合を Rel とし、他存在との因果的・構成的・役割的・象徴的関係を、ラベル付き有向辺集合 E_rel[h] で表す。

存在 d の層 α における入射・出射関係辺の全体を Inc_d,α[h]、縦の包摂近傍を Vert_d,α[h] とし、その関係的状態を

と定め、大域履歴 H に対応する確率変数を Γ_d,α:=Γ_d,α[H] とする。すなわち存在は、単独の点ではなく、層別プロファイル、上下の包摂関係、他存在との関係および履歴からなる型付き状態として記述される。

25.4　諸法一般への機能的完備性

任意の d∈𝔇 と α∈𝕃 について、Y_d,α⁺ をその層での将来の因果的出力とする。当該層に直接現前しない場合には、不在出力記号 ∂_α^Y を加えた型 𝒴_α^∂:=𝒴_α⊔{∂_α^Y} に値を取るものとし、全レイヤーで型を定義する。候補的自性 Σ_d,α とは、履歴、層別プロファイル、包摂関係および他存在との関係から独立して d を固定的に個体化すると仮定された追加変数をいう。

Atman(d,α) を、「履歴・層間関係・他存在との関係から独立して d を固定的に個体化し、かつ Γ_d,α を超える非冗長な因果効果をもつ Σ_d,α が存在する」という命題と定義する。

15. 定理26――涅槃寂静定理

最高抽象度を ⊤ とする。ここでは x∈X_⊤ を脳・身体を含む完全状態とし、生命活動が保たれる集合を ℬ_alive⊂X_⊤ とする。すべての初期対で同時に最適な単一のBorel可測Markovフィードバック π_⊤⁰:[0,∞)×X_⊤→U が存在し、

を満たすと仮定する。この単一フィードバックのもとで、最高抽象度の零残余苦価値集合族を

と定める。

16. 四つの整合性確認

最小依存関係

17. 射程、結論、正典資料

17.1 本稿が確立すること

1. 定理1–4の収束を、正典TCZと閉到達可能TCZスライスを区別し、有限地平最適化と無限時間安定性を分離した統一Lyapunov形式で再証明した。
2. 定理16で逆極限空間と固定点主体を型として分離し、定理25との整合のため履歴添字を導入した。
3. 定理19の自由意思容量を、本文の単一上限でなく、正典付録に整合する問題族・方策族の二重上限として正規化した。
4. 定理23–26を、反例を排除する追加条件を隠さず明記した上で証明した。

17.2 本稿が主張しないこと

• 第二法則だけから、あらゆる個別現象が毎瞬変化すると主張しない。
• 評価関数を最小化するという事実だけから、残余苦が必ず正だとは主張しない。
• 関数であるという理由だけから、形而上学的実体一般の不存在を演繹しない。
• 自由意思容量が空で最大であることだけから、苦が零になるとは主張しない。
• 部分情報内の特定LUBへの方向を、そのまま真理・善・空への方向と同一視しない。

17.3 結論

17.4 定理一覧（全13定理）

17.5 本稿が継承した正典資料