B.1 補題 — 指数収束5ステップ

最終章では、ここまでの 8 定理すべてを支える数学的基盤 ── B.1 補題(指数収束)の 5 ステップ証明スケッチを学びます。「8 つも覚えなくていい、この補題ひとつ」が本章の結論です。ただし、確定/仮説の境界を保つ必要があります:本人形式証明として公開されているのは T.1〜T.4 まで(B.5 比較定理)、T.5 / T.6A / T.6B / T.0 は handbook §12.3 編者整理による拡張仮説 B.6。

B.5 比較定理(確定範囲)と B.6 拡張仮説(仮説層)

T 理論には、本書で扱う 7 つの定理 + 統一定理 T.0 があります。これらは「独立に証明されている」ように見えますが、構造的には 単一の補題からの特殊化として整理されます。ただしこの整理は 二層に分かれます:

**★ B.5 比較定理(確定)**:T.1 / T.2 / T.3 / T.4 は補題 B.1(指数収束)の Lyapunov 関数 Φ を取り替えた特殊化であり、本人(苫米地)が公開講義 TCE Day 2(p.240)で形式証明済み。

**★ B.6 拡張仮説(仮説層)**:T.5 / T.6A / T.6B / T.0 も同じ機構に帰着すると handbook §12.3 編者整理で提示されているが、本人による B.1 前提条件の完全形式証明は今後の公開待ち。

つまり、Φ の取り替え表は確定/仮説で 色分けして読みます:

Φ を選び替えるだけで同じ収束機構が効くという骨子は T.1〜T.4 については確定。T.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 に近づく 軌道です。線形収束(時間に比例)とは決定的に違います。

5 ステップ証明スケッチ

B.1 の証明は、以下の 5 ステップで構成されます。

Step 1 — Lyapunov 関数 Φ の選択

問題に応じて適切な Φ を選びます。

• 認知不快の収束を見たい → $\Phi = V_0$
• エフィカシーを含めたい → $\Phi = \tilde{V}_E$
• 集団動態を見たい → $\Phi = \Psi_E$

選択は 問題 specific で、自動化されません。理論家・研究者の判断が入る部分。

Step 2 — 正則条件検証

選んだ Φ が次を満たすことを確認:

1. 非負:$\Phi(x) \ge 0$ for all x
2. 連続微分可能:$\nabla \Phi$ が存在
3. $\Phi(x^*) = 0$(目的点で最小化)

これらは Φ の 形式的良さ を保証する条件です。これが満たされないと、以下のステップが意味を持たない。

Step 3 — 減少条件導出

$\dot{\Phi} = \frac{d\Phi}{dt}$ を計算し、

$$ \dot{\Phi} \;\le\; -\lambda \Phi $$

の形に書ける $\lambda > 0$ が存在することを示す。これが 減少率 $\lambda$ で、収束の速さを決めます。

T 理論の各定理では、ここで具体的な $\lambda$ が導出されます。たとえば:

• 定理1 では、$\lambda$ は環境の安定性パラメータ
• 定理6A では、$\lambda$ は介入強度(エフィカシー作用)
• 定理6B では、$\lambda$ は結合の質(C^H 強度)

Step 4 — Grönwall 比較定理

$\dot{\Phi} \le -\lambda \Phi$ という微分不等式から、Grönwall の比較定理を使って積分形に上げます。

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

これが 指数評価。

Grönwall 補題は古典的な結果(任意の数理的解析の標準ツール)で、ここで T 理論固有の発明はありません。既存の数学定理を借りるステップ。

Step 5 — 前方不変性(forward invariance)

最後に、軌道が TCZ の内部に留まることを示す。

一度 TCZ に入った軌道は、その後 TCZ の外に出ない

これが 前方不変性。$\Phi$ が単調減少することと、TCZ が「$\Phi \le \theta$」の集合であることから自然に従います。

ただし、境界 $V = \theta$ では書き換えが起きやすい(定理2の含意)ため、軌道が境界に張り付いた時点で TCZ そのものが再構築される、という動的構造があります。

5 ステップの意義

T 理論固有の貢献は Step 1 と Step 3 にあります。Step 2, 4 は既存数学の借用、Step 5 は構造的帰結。

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

B.5 比較定理 + B.6 拡張仮説を合わせて読むと:

T.1〜T.4 を暗記する必要はない。B.1 補題ひとつ + 中心式 $\tilde{V}$ を持って、問題に応じて Lyapunov 関数 Φ を選び替える(これは 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 補題は 下降側(Φ の指数減少)を扱います。一方、双対原理は 上昇側(抽象度 A の上昇)も同時に進めることを要請します。

数学的には:

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

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

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

ここで読者に伝えるべき完全情報:

• B.1 補題と Grönwall 比較定理は 古典的に確立された数学結果(LaSalle, Khalil 2002 等)
• T 理論固有の貢献は これらを認知系の Φ で再構成した点
• 本人による形式証明として公開されているのは現時点で 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.1〜T.4 は本人形式証明済 / T.5 以降は拡張仮説」段階であり、外部独立検証は今後

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

おわりに

ここまで 9 章で、T 理論の中核 ── 多世界 W、TCZ、中心式、エフィカシー、Collective、LUB、バランスホイール、T.0、B.1 補題 ── を一周しました。

次は:

• もう一度サイドバーから章を選び、理解の浅い章を読み直す
• 章末の 確認問題で点検する
• 自分の n=1 の例(自分の意思決定 / 組織 / 学習 etc.)に式を当てはめてみる
• 「系譜と完全情報」ページで、本書の位置づけを確認する
• 「Ethic 4 条件」ページで、運用規律を確認する

理論は読んで終わりではなく、自分の経験に当てはめる作業で初めて生きます。