ℬ

統一証明の解剖 APPENDIX B — DISSECTING THE B.1 LEMMA & ALL 8 PROOFS

B.1 補題 → 全定理派生
5 ステップ証明 + 8 特殊化 ▸ 本編 ▸ 式の学習 ▸ 壁画版

「単一の補題、無限の応用」 ── B.1 が全 8 定理の祖先

∇Φ · f(z, t) ≤ −α (Φ(z) − θ)₊ ⇒ y(t) ≤ y(0) · exp(−αt)

この 1 つの不等式から、定理 1 ~ 定理 6B + T.0 のすべてが導出される。違いは 「Φ に何を選ぶか」のみ。各定理は B.1 補題に異なる Lyapunov 関数を代入した特殊化に過ぎない(統一原理 B.6)。

B.0統一構造 — 全証明の骨格

付録 B では、3 定理(NDU 公開層)+ 4 定理(TCE 拡張層)+ T.0 統一定理の 合計 8 つの収束証明を、ただひとつの「Lyapunov 関数の選び方」を変えるだけで全部やってのける。

B.0 · 単一補題が全定理の祖先となる構造

共通の証明テンプレート

各定理の収束証明は、すべて以下の 5 ステップを踏む:

(i) 閉ループ系の定義 ── ż = f(z, t) を書く(状態 z の動学を確定)
(ii) Lyapunov 関数 Φ の選択 ── 系の「目的地までの距離」を表す関数 Φ(z) を選ぶ
(iii) 不等式 ∇Φ · f ≤ −α(Φ − θ)₊ の証明 ── B.1 主補題の前提条件を満たすことを示す
(iv) 比較定理(Grönwall) ── 解の指数減衰 y(t) ≤ y(0)e^(−αt) を導出
(v) 不変集合への収束 ── 軌道が TCZ = {Φ ≤ θ} に到達することを結論

5 ステップ目は (i)-(iv) の自然な帰結。実質は (ii) と (iii) で全勝負が決まる。

B.1主補題 — 指数収束保証の中心式

B.1 主補題は、Lyapunov 関数 Φ が満たすべき条件と、そこから導かれる収束保証を述べる。これが本論文の数学的中核。

B.1 · 単一の指数収束補題が、全 7 定理の祖先となる

B.1 主補題(主張)

∇Φ(z) · f(z, t) ≤ −α (Φ(z) − θ)₊
⇒ y(t) := Φ(z(t)) − θ が y(t) ≤ y(0) · exp(−αt)

前提:閉ループ系 ż = f(z, t) において、Lyapunov 関数 Φ が θ を上回るとき、その勾配と動学の内積が 負で十分に大きい(α 倍の超過分以上に減少する)なら、軌道は 強制的に Φ ≤ θ の領域へ 指数的に引き寄せられる。

記号の意味

記号	意味	直観
z	系の状態ベクトル	「いまどこに居るか」
f(z, t)	閉ループ動学(z の時間変化率)	「次にどう動くか」
Φ(z)	Lyapunov 関数	「目的地までの距離」
∇Φ	Φ の勾配ベクトル	「Φ が最も急に増える方向」
θ	安定性閾値	「これ以下なら OK」
α > 0	収束率(正定数)	「速さの保証」
(·)₊	正の部分 max(·, 0)	「Φ が θ を超えてる分だけ」

★ INSIGHT 「目的地までの距離が常に縮まるなら必ず到着する」。これを数学的に保証するのが Lyapunov 解析。B.1 補題は単純で強力 ── 距離関数 Φ さえ正しく選べば、収束は自動。難しいのは「何を Φ にするか」(=その系を貫く本質量を見つけること)。

B.25 ステップ証明 — Φ̇ ≤ −α(Φ−θ) の派生

B.1 の不等式は、5 つの要素から組み立てられる。この派生プロセスを一段ずつ解剖する。

5 STEP DERIVATION

STEP 1: 連鎖律 ── dΦ/dt = ∇Φ · ż = ∇Φ · f(z, t)
(時間変化は勾配と速度の内積)
STEP 2: 仮定の代入 ── dΦ/dt ≤ −α(Φ − θ)₊
(動学が距離を縮める方向に十分強く効く)
STEP 3: 変数変換 ── y(t) := Φ(z(t)) − θ
(超過分だけを追跡)
STEP 4: 不等式の書き換え ── dy/dt ≤ −α y₊
(超過があるとき、超過は減る一方)
STEP 5: 比較定理(Grönwall) ── y(t) ≤ y(0) · exp(−αt)
(指数減衰の解で上から押さえる)

∎

各ステップを直観で理解する

STEP 1(連鎖律):Φ の時間微分は、Φ の勾配と状態の速度の内積。これは標準的な合成関数微分。

STEP 2(仮定):これが定理ごとの「証明の本体」。各定理で f と Φ の具体形を入れて、この不等式が成り立つことを示す。

STEP 3(変数変換):絶対値ではなく 超過量だけを見る。Φ が θ 以下なら y ≤ 0 で「もう着いてる」。

STEP 4(書き換え):超過 y > 0 のとき、dy/dt ≤ −αy ── 「超過は α 倍の速さで減る」。

STEP 5(Grönwall の不等式):微分不等式 dy/dt ≤ −αy の解は y(t) ≤ y(0)e^(−αt) で押さえられる。これが 指数収束の正体。

★ INSIGHT 難しいのは STEP 2 だけ。「動学 f と Lyapunov Φ がうまく整合している」ことを示すのが各定理の核心。それさえ示せば、残りは Grönwall で機械的に出る。B.2-B.5 の各定理証明は、すべて「STEP 2 をどう示すか」が違うだけ。

B.3定理 1・2 の特殊化 — Φ = V₀ / Φ = ℒ

B.1 補題に最初の Φ を代入する。定理 1 は Φ = V₀(個人の不快度)、定理 2 は Φ = ℒ(複合 Lyapunov)。

B.1·B.2 · 定理 1・2 の証明 · Φ = V₀ / Φ = ℒ への特殊化

定理 1 の特殊化

Φ = V₀(x, t) を選ぶ

∇V₀ · f ≤ −α (V₀ − θ)₊

π_c(x) = arg min ∫ V₀ dt の最適制御方策 π_c が選ばれた条件下で、V₀ は時間とともに減少する(Pontryagin 最適制御原理から従う)。

定理 2 の特殊化

Φ = ℒ(x) = Σ V_i + ½ Σ γ_ij S_ij を選ぶ

∇ℒ · f ≤ −α (ℒ − θ)₊

複合 Lyapunov(個体評価 + ペア不整合)も最適方策の下で減少する。各主体の制御方策 π_i が同時に作用するため、和の形を保つ。1/2 はペア重複カウント補正。

定理	Φ の中身	収束先	意味
T.1	V₀(x, t)	TCZ(x₀)	個体の累積コスト最小
T.2	ℒ = Σ V_i + ½Σ γS	TCZ^shared	集団の Shared-TCZ

B.4定理 3 の抽象拡張 — Φ = ℒ_A

定理 2 の Lyapunov ℒ に「抽象度ポテンシャル A」を加える。これが多様性を許容する集団統合の数学。

B.3 · 定理 3 の証明 · Φ = ℒ_A への抽象拡張

Φ = ℒ_A(x) = ℒ(x) + Σ_i η_i A(x_i) を選ぶ

∇ℒ_A · f ≤ −α (ℒ_A − θ)₊

「抽象度ポテンシャル A(x)」を加算すると、最適軌道が 多様性を切り捨てない形で集団を統合する。η_i > 0 が成立する範囲で、Lyapunov 性質は保存される(モノトニックな加算は減少性を破らない)。

抽象度引力の正体

A(x_i) は「LUB(包摂束のトップ要素)から x_i がどれだけ離れているか」を測る。低抽象では小さく、高抽象では大きい(理想は A → 0 = LUB を実現している状態)。

η_i A(x_i) を加えると、軌道は LUB に向かって追加の引力を受ける ── 結果、x*(t) → LUB(W₁,...,W_N)。

定理	Φ	収束先	意味
T.3	ℒ_A = ℒ + Σ η_i A(x_i)	LUB(W)	多様性を許容しつつ統合

★ INSIGHT 「医師・教師・エンジニア・アーティスト」(共通点 ≈ 空集合)→ 抽象度を上げる ↑ →「人間的価値の創造に貢献する人々」(LUB がすべてを包摂)。これが 低抽象は紛争を生み、高抽象は統合を生む の数学。マンデラ・ガンジー・キング牧師の駆動原理。

B.5定理 4-6B の特殊化 — Φ = Ṽ, Φ̂_BW, Ṽ_E, Ψ_E

TCE 拡張層(2026-05 追加証明)。中心式 Ṽ から Collective Efficacy Ψ_E まで、Lyapunov 関数を入れ替えるだけで 4 定理が出る。

定理	Φ	核心構造	収束先
T.4	Ṽ = V₀ − κPQ	客観 V₀ から「リアル × 望ましさ」を減算	TCZ_P
T.5	Φ̂_BW = Σω R + ηImb + βFrag + ζA_BW	10 領域 4 ペナルティ和	TCZ^BW_{P,E}
T.6A	Ṽ_E = V₀ − κ_+ PQ_+ E + κ_− PQ_−	Q 正負分解 + E 接近項のみ	TCZ_{P,E}
T.6B	Ψ_E = Σ(1 − E_i)²	全員の「1 まで距離」二乗和	∀i: E_i → 1

各 Φ が Lyapunov 性質を満たす理由

T.4: Φ = Ṽ

π_c = arg min ∫ Ṽ dt のもとで dṼ/dt ≤ −α(Ṽ − θ)₊

Ego が Ṽ を最小化する制御を選んでいるため、Ṽ は時間とともに必然的に減少する。範囲制約のもと非負性を担保。

T.5: Φ = Φ̂_BW

4 ペナルティ項すべてが個別に Lyapunov 性質を満たすので、和も満たす

Σω R(残差・自動非負)+ η Imb(KL 距離・Gibbs 不等式で非負)+ β Frag(意味的不整合・非負関数)+ ζ A_BW(距離の二乗・自動非負)。各項が単調減少する条件下で、和も単調減少。

T.6A: Φ = Ṽ_E

∂Ṽ_E/∂E < 0 から E ↑ で Ṽ_E ↓

Ṽ_E は E に関して単調減少(接近項にのみ E が乗っているため)。コーチング介入で E をリフトすると Ṽ_E が下がる ── これが「コーチが介入できる唯一の軸 = E」の数学的根拠。

T.6B: Φ = Ψ_E

High Shared 結合下で dΨ_E/dt ≤ −2c Ψ_E

High Shared(C^H > 0)結合グラフが強連結で各メンバーへの正の有効入力下界 c > 0 が成立すると、Ψ_E は 2c の率で指数減衰 → Ψ_E ≤ Ψ_E(0)e^(−2ct) → 0 → 全員 E_i → 1。Low Shared 結合では成立しない(局所最適に陥るか発散)。

B.6統一原理 — 全 8 定理は同じ機構

付録 B 全体の最終結論。「異なる現象は異なる理論を必要とする」という直感に対する、数学的反証。

B.★ · 統一解釈・分野横断 · 単一の数学が個人 / 組織 / 国家へ展開する構造

B.6 統一原理(最終結論)

全 8 定理 = B.1 主補題への異なる Φ の代入
差異は「何を Lyapunov 関数として選ぶか」のみ

付録 B.1 で示した指数収束機構が、Φ を入れ替えるだけで個人(T.1)・集団(T.2)・抽象(T.3)・臨場感(T.4)・10 領域(T.5)・コーチング(T.6A)・リーダーシップ(T.6B)・統一(T.0)のすべてに適用される。収束機構は完全に共通。これが「単一の補題、無限の応用」の意味。

定理	Φ の中身	適用領域
T.0	V₀(祖先)	三言語統一(Self/Ego/TCZ)
T.1	V₀	個人(自己制御)
T.2	ℒ	集団(Shared-TCZ)
T.3	ℒ_A	組織(LUB ・高次目的)
T.4	Ṽ	★ 個人(臨場感加重・中心式)
T.5	Φ̂_BW	個人(人生 10 領域統合)
T.6A	Ṽ_E	★ 個人(コーチング中核)
T.6B	Ψ_E	★ 組織(リーダーシップ中核)

★ FINAL INSIGHT 付録の含意:物理学が「分子間相互作用」一つで毛細管現象から表面張力までを統一的に記述したように、認知科学は単一の Lyapunov 補題で個人の不安定収束から国家レベルの認知戦までを統一的に記述できる。これが「異なる現象は異なる理論を必要とする」という直感に対する数学的反証である。