B.1 補題 — 全定理の統一機構

論文の数理的クライマックス。T.1〜T.4 は単一の補題(B.1)の Lyapunov 関数 $\Phi$ を差し替えた特殊化であり、これは本人(苫米地)が公開講義 TCE Day 2 で B.5 比較定理(p.240)として形式証明済み(確定範囲)。T.5 / T.6A / T.6B / T.0 についても同じ機構へ帰着すると整理されているが、これは B.6 拡張仮説(handbook §12.3 編者整理)段階で、本人による B.1 前提条件の完全な検証は今後の公開待ち。本章は、この確定/仮説の境界を明確にしながら、B.1 補題の主張と 5 ステップ証明を扱う。

B.1 補題の主張

B.1 補題:Lyapunov 関数 $\Phi$ が ① 非負 ② 連続微分可能 ③ $\Phi(x^*) = 0$ で最小化 ④ $\dot\Phi \le -\lambda \Phi$ を満たすなら、$\Phi(t)$ は指数的に 0 へ収束する。

数式で:

$$ \Phi(t) \le \Phi(0) \cdot e^{-\lambda t} $$

「指数収束」は、時間が経つほど加速度的に 0 に近づく軌道。線形収束(時間に比例)とは決定的に違う。

B.5 比較定理 — 確定範囲(T.1〜T.4)

論文の付録 B.5(p.240・本人形式証明)が主張するのは:

B.5 比較定理(確定範囲):T.1 / T.2 / T.3 / T.4 は B.1 補題の特殊化として、完全に同型な指数収束 form

$$ > \Phi(t) - \theta \;\le\; \big(\Phi(x_0) - \theta\big) \cdot e^{-\alpha t} > $$

を共有する。差異は「何を Lyapunov 関数 $\Phi$ として選ぶか」のみ。

つまり、確定しているのは次の 4 行:

この 4 定理については「$\Phi$ を選び替えるだけで、同じ収束機構が効く」が確定事実。これが本書の数理的中核として最も強い結論です。

B.6 拡張仮説 — 仮説層(T.5 / T.6A / T.6B / T.0)

これに対し、handbook §12.3 編者層が提示しているのは:

B.6 拡張仮説:T.5 / T.6A / T.6B / T.0 も同じ B.1 補題へ帰着する。Lyapunov 関数 $\Phi$ を $\hat\Phi_{BW}$ / $\tilde{V}_E$ / $\Psi_E$ / $V_0$ に差し替えれば、同様の指数収束が得られる。

ただし、各定理について B.1 前提条件(P0〜P4 + 減少条件)の明示的検証は省略されており、本人による完全形式証明は現時点で公開されていない。

これは「8 定理は等価に証明済み」という誤読を避けるための 完全情報 です。仮説層は学習上は中核的位置を占めますが、知的誠実性として B.5(確定)と B.6(拡張仮説)を区別して扱います。

暗記不要 — ただし注釈つき

$\Phi$ を選び替えるだけで同じ収束機構が効くという骨子は、T.1〜T.4 については B.5 比較定理で確定。T.5 以降については「同じ整理ができるはず」という仮説段階。学習負荷の意味では:

B.1 補題 + 中心式 $\tilde{V}$ + 双対原理を持っていれば、T.1〜T.4 は再構成可能。T.5 以降は「Φ の候補」を知っていれば、本人形式証明公開後に同じ手順で展開できる準備が整う。

5 ステップ証明

B.1 補題の証明は 5 ステップで構成:

Step 1 — Lyapunov 関数 $\Phi$ の選択

問題に応じて適切な $\Phi$ を選ぶ。各定理の選び方は上の表参照。

選択は 問題 specific で、自動化されない。

Step 2 — 正則条件検証

選んだ $\Phi$ が: 1. 非負 $\Phi(x) \ge 0$ 2. 連続微分可能 $\Phi \in C^1$ 3. $\Phi(x^*) = 0$(目標点で最小化)

を満たすことを確認。

Step 3 — 減少条件導出

$\dot\Phi = \frac{d\Phi}{dt}$ を計算し、$\dot\Phi \le -\lambda \Phi$ の形に書ける $\lambda > 0$ が存在することを示す。これが 減少率 $\lambda$。

各定理で具体的な $\lambda$ が問題依存に導出される(例:定理 6A では介入強度・エフィカシー作用)。

Step 4 — Grönwall 比較定理

$\dot\Phi \le -\lambda \Phi$ という微分不等式から、Grönwall の補題で:

$$ \Phi(t) \le \Phi(0) \cdot e^{-\lambda t} $$

これが指数評価。Grönwall は古典的結果(任意の数理解析の標準ツール)。

Step 5 — 前方不変性

軌道が TCZ の内部に留まることを示す。$\Phi$ が単調減少することと、TCZ が「$\Phi \le \theta$」の集合であることから自然に従う。

5 ステップの分担

T 理論固有の貢献は Step 1 と Step 3。Step 2, 4 は既存数学の借用。

含意 — 暗記不要(ただし確定/仮説の区別を保持)

確定範囲 B.5 + 拡張仮説 B.6 を合わせて読むと:

T.1〜T.4 を暗記する必要はない。B.1 補題ひとつ + 中心式 $\tilde{V}$ を持って、問題に応じて Lyapunov 関数 $\Phi$ を選び替える(これは B.5 確定)。
T.5 / T.6A / T.6B / T.0 も同じ整理が成り立つと想定されるが、本人形式証明の公開を待つ間は「仮説層として運用」する(これは B.6 拡張仮説)。

これは学習負荷を劇的に下げます。「中心式 + B.1 補題」だけ持っていれば、T.1〜T.4 は 必要な時に Φ を選んで再構成可能。

これは本人(苫米地)が連休 3 日で T.4〜T.6B + T.0 を追加完成させた経緯とも整合します。並列に発明したのではなく、B.1 補題の構造を異なる Φ で繰り返した整理。ただし「繰り返せた」と「形式証明として展開した」は別であり、後者は T.1〜T.4 まで(B.5 確定)。

B.1 と双対原理

B.1 補題は 下降側($\Phi$ の指数減少)を扱います。一方、双対原理は 上昇側(抽象度 $A$ の上昇)も同時に進めることを要請します。

数学的には:

• 下降:$\dot{\Phi} \le -\lambda \Phi$(B.1)
• 上昇:$\dot{A} \ge +\mu A$(対称形)

両者の 同時実現が、双対原理の数理的本体です。

Grönwall の周辺 — 不等式の使い方

実用上、$\dot\Phi = -\lambda \Phi$ の等号で書けるとは限らず、不等式で扱う必要があります。

Grönwall の積分版:

$$ y(t) \le c + \int_0^t k(s) y(s) \, ds \implies y(t) \le c \cdot \exp\left(\int_0^t k(s) \, ds\right) $$

これは時間変動する $\lambda(t)$ に対しても適用可能。

仮定の現実性

定理ごとの仮定(制御可能性等)は 理想化です。現実では:

• ある状態では制御が効かない(疲労時 / 強い感情下)
• $\lambda$ が状態依存
• 外部環境変化で動学そのものが変わる

これらを含めた厳密扱いは stochastic Lyapunov 理論(上級編 §19-20)や 時変動学の領域で、本書の射程を超えます。

数学的厳密性についての完全情報

• B.1 補題と Grönwall 比較定理は 古典的に確立された数学結果(LaSalle, Khalil 2002 等)
• T 理論固有の貢献は これらを認知系の $\Phi$ で再構成した点
• 本人による形式証明として公開されているのは現時点で T.1〜T.4 まで(B.5 比較定理・p.240)
• T.5 / T.6A / T.6B / T.0 は handbook §12.3 編者整理として「同型に帰着する」と提示されているが、各定理の B.1 前提条件(P0〜P4 + 減少条件)を 5 ステップで完全展開した本人形式証明は今後の公開待ち
• 外部数学者による独立検証は 2026 年 5 月時点で確認中(完全公開検証は今後)

これは T 理論への懐疑ではなく、完全情報を持って学ぶという姿勢の表明。「教祖が証明したから絶対正しい」型のカルト的思考を避け、確定/仮説の境界を保つことが δ·Ethic に整合する姿勢です。

本章のまとめ

• B.1 補題 = Lyapunov 関数の指数収束
• ★ B.5 比較定理(確定):T.1〜T.4 は B.1 の特殊化として完全同型(本人形式証明・p.240)
• ★ B.6 拡張仮説(仮説層):T.5 / T.6A / T.6B / T.0 も同型に帰着すると整理されている(handbook §12.3 編者・本人形式証明は今後)
• $\Phi$ を選び替えるだけで、各定理が出る(T.1〜T.4 は確定、それ以降は仮説段階で同型と整理されている)
• 5 ステップ:① $\Phi$ 選択 ② 正則 ③ 減少 ④ Grönwall ⑤ 不変性
• 暗記負荷は B.1 + 中心式 + 双対原理に集約
• 数学的厳密性は古典結果に依拠、独立検証は今後

次章への接続

8 定理を支える B.1 補題が見えました。次章では論文の 応用領域 ── 認知戦の数理を扱います。教育(B)と認知戦(M)が 同じ目的関数構造を持ちつつ、Ethic 項の有無で離散的に分かれることを示します。