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

論文の数理的クライマックス。8 つの定理 + T.0 が、実は単一の補題(B.1)から派生する特殊化にすぎないことを示します。「8 つ覚えなくていい」の数理的根拠です。

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.6

論文の最も重要な含意:

B.6:本書のすべての定理は、補題 B.1 の Lyapunov 関数 $\Phi$ を取り替えただけの特殊化である。

つまり:

$\Phi$ を選び替えるだけで、同じ収束機構が全部に効く。

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.6 が示すのは:

8 つの定理を暗記する必要はない。B.1 補題ひとつを掴んでおいて、問題に応じて Lyapunov 関数 $\Phi$ を選び替える

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

これは本人(苫米地)が連休 3 日で 8 定理を完成させた経緯とも整合します。8 つを並列に発明したのではなく、B.1 補題を異なる Φ で繰り返しただけ。

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$ で再構成した点
• 外部数学者による独立検証は 2026 年 5 月時点で確認中(完全公開検証は今後)

これは T 理論への懐疑ではなく、完全情報を持って学ぶという姿勢の表明。

本章のまとめ

• B.1 補題 = Lyapunov 関数の指数収束
• 8 定理は B.1 補題ひとつの特殊化(統一原理 B.6)
• $\Phi$ を選び替えるだけで、各定理が出る
• 5 ステップ:① $\Phi$ 選択 ② 正則 ③ 減少 ④ Grönwall ⑤ 不変性
• 暗記不要 — B.1 と中心式だけ持っていれば十分
• 数学的厳密性は古典結果に依拠、独立検証は今後

次章への接続

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