PageSourceSearch

https://tomabechi.jp/TomabechiTheorems28to32JA.html

html tomabechi.jp collected 2026-09-24 20:45:45 UTC 142,813 bytes, 722 lines download raw bytes

1<!DOCTYPE html>
2<html lang="ja">
3<head>
4<meta charset="utf-8">
5<meta name="viewport" content="width=device-width, initial-scale=1">
6<meta name="description" content="苫米地認知宇宙論〜仏法数理厳密証明 定理28–32(涅槃無我・法無自性・エントロピー交換自我・言語閉包六道輪廻・ホメオスタシス絶対他力)の厳密定式化と証明。">
7<title>苫米地認知宇宙論〜仏法数理厳密証明 定理28–32――厳密定式化版</title>
8
9
10<style>
11:root{
12  --ink:#172033;--muted:#5f6875;--paper:#fffefb;--ground:#e8e6e0;
13  --navy:#102a4c;--blue:#1d5d91;--gold:#b78a2d;--gold-soft:#fbf4e3;
14  --red:#8f2f36;--red-soft:#fff1f1;--green:#17644f;--green-soft:#edf8f3;
15  --violet:#6553a3;--violet-soft:#f3f0ff;--line:#d8d5cd;--measure:1040px;
16}
17*{box-sizing:border-box;-webkit-print-color-adjust:exact;print-color-adjust:exact}
18html{scroll-behavior:smooth}
19body{margin:0;color:var(--ink);background:var(--ground);font-family:"Noto Serif CJK JP","Noto Serif JP","Yu Mincho","Hiragino Mincho ProN",serif;font-size:16.5px;line-height:1.88;letter-spacing:.012em}
20main{width:min(calc(100% - 2rem),var(--measure));margin:2rem auto 4rem;background:var(--paper);box-shadow:0 18px 55px rgba(20,35,58,.15)}
21.page{padding:clamp(2rem,5vw,4.2rem) clamp(1.15rem,6vw,4.8rem)}
22.title-page{background:radial-gradient(circle at 86% 14%,rgba(183,138,45,.30),transparent 30%),linear-gradient(145deg,#091a31,#173d68);min-height:92vh;display:grid;align-content:center;color:#fff}
23.kicker{font-size:.72rem;letter-spacing:.28em;color:#ead9ad;margin-bottom:1.2rem}.edition{margin-top:1rem;color:#f4dfaa;font-weight:700}.author{font-size:1.18rem;font-weight:700;margin-top:2.4rem}.affil{font-size:.85rem;color:#c3cfdd;line-height:1.8}.release{margin-top:1.6rem;padding-top:1rem;border-top:1px solid rgba(255,255,255,.28);color:#e7d8b5;font-size:.82rem}
24h1{font-size:clamp(2rem,5.5vw,3.35rem);line-height:1.36;margin:.15rem 0 1rem}.subtitle{font-size:clamp(1rem,2.4vw,1.3rem);line-height:1.95;color:#e3ebf5}
25h2{margin:2.9rem 0 1rem;padding-bottom:.35rem;color:var(--navy);border-bottom:3px solid var(--gold);font-size:1.52rem;line-height:1.5}h3{margin:2rem 0 .7rem;color:var(--blue);font-size:1.2rem;line-height:1.55}h4{margin:1.45rem 0 .55rem;color:var(--navy);font-size:1.04rem}p{margin:.72rem 0;text-align:justify}a{color:var(--blue);text-decoration-thickness:1px;text-underline-offset:3px}
26.abstract{border:1px solid #aeb8c5;background:#f7f9fb;padding:1.2rem 1.35rem;border-radius:8px}.abstract .label{font-weight:700;color:var(--navy);letter-spacing:.08em}.lead{font-size:1.05rem;color:var(--navy)}
27.eq{margin:.9rem 0;padding:.82rem 1rem;overflow-x:auto;border-left:5px solid var(--gold);border-radius:0 8px 8px 0;background:#f8f4e9;text-align:center;font-family:"STIX Two Math","Cambria Math","Times New Roman",serif;font-size:1.03rem;line-height:1.72}.eq.left{text-align:left}
28.theorem{margin:1.35rem 0;padding:1rem 1.2rem;border:2px solid var(--navy);border-radius:10px;background:#fcfbf7;break-inside:avoid}.theorem-title{font-size:1.1rem;font-weight:700;color:var(--navy);margin-bottom:.45rem}
29.proof{margin:1rem 0 1.55rem;padding:1rem 1.2rem;border:1px solid #bdd4c9;border-radius:9px;background:var(--green-soft)}.proof-title{font-weight:700;color:var(--green);margin-bottom:.35rem}
30.assumption{margin:1rem 0;padding:.9rem 1.05rem;border-left:5px solid var(--violet);border-radius:0 8px 8px 0;background:var(--violet-soft)}.assumption-title{font-weight:700;color:var(--violet)}
31.rigor{margin:1rem 0;padding:.85rem 1rem;border-left:5px solid var(--red);border-radius:0 8px 8px 0;background:var(--red-soft)}.rigor-title{font-weight:700;color:var(--red)}
32.result{margin:1rem 0;padding:.9rem 1.05rem;border:2px solid var(--gold);border-radius:9px;background:var(--gold-soft)}.result-title{font-weight:700;color:#7b5a17}.note{margin:1rem 0;padding:.8rem 1rem;border:1px solid #cbd5e0;border-radius:8px;background:#f5f8fb}
33table{width:100%;border-collapse:collapse;margin:1rem 0;font-size:.91rem;line-height:1.55}th,td{border:1px solid var(--line);padding:.55rem .62rem;text-align:left;vertical-align:top}th{background:#f1ede3;color:var(--navy)}td:first-child{white-space:normal}ul,ol{padding-left:1.45rem}li{margin:.35rem 0}.toc ol{columns:2;column-gap:2.2rem}.toc li{break-inside:avoid}.chain{margin:1.2rem 0;padding:1rem;background:#eef3f8;border:1px solid #c7d3e0;border-radius:9px;text-align:center;color:var(--navy);font-weight:700}.small{font-size:.85rem;color:var(--muted)}.tag{display:inline-block;padding:.08rem .48rem;border:1px solid #b8c2cf;border-radius:999px;background:#fff;font-size:.78rem;color:var(--navy);white-space:nowrap}.qed{float:right;font-weight:700}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}
34footer{margin-top:3rem;padding-top:1.2rem;border-top:1px solid var(--line);font-size:.82rem;color:var(--muted)}
35@media(max-width:700px){.toc ol{columns:1}body{font-size:15.5px}main{width:100%;margin:0}.page{padding:1.4rem 1rem}.title-page{min-height:100vh}td:first-child{white-space:normal}}
36@media print{body{background:#fff}main{width:100%;margin:0;box-shadow:none}.page{padding:18mm 16mm}.title-page{min-height:250mm;break-after:page}a{color:inherit;text-decoration:none}.theorem,.proof,.assumption,.rigor,.result{break-inside:avoid}h2{break-after:avoid}}
37
38.math{font-family:"DejaVu Sans","FreeSerif","Noto Sans CJK JP",sans-serif}
39.eq{margin:1.05rem 0;padding:.82rem 1.05rem;background:#fbfcfe;border:1px solid var(--line);
40  border-left:5px solid var(--navy);border-radius:0 6px 6px 0;text-align:center;line-height:2.0;
41  overflow-wrap:anywhere}
42.eqno{color:var(--muted);font-size:.86em;margin-left:.5rem;white-space:nowrap}
43.stdform{margin:16px 0 6px;padding:11px 16px;border-radius:9px;background:#FFF9EC;
44  border:2px solid #B78A2D;page-break-inside:avoid;line-height:1.9;text-align:center}
45.stdform .t{display:block;font-weight:700;color:#B78A2D;font-size:.86em;margin-bottom:5px;letter-spacing:.02em}
46.stdform .src{display:block;color:#5c6675;font-size:.80em;margin-top:5px}
47.eqbridge{margin:6px 0 14px;padding:10px 14px;border-left:4px solid #B78A2D;background:#FCFAF4;
48  font-size:.92em;line-height:1.85;page-break-inside:avoid}
49table.thmtable{table-layout:fixed;width:100%;border-collapse:collapse;margin:1.1rem 0;font-size:.80em}
50table.thmtable th,table.thmtable td{border:1px solid var(--line);padding:.46rem .56rem;
51  text-align:left;vertical-align:top;line-height:1.7}
52table.thmtable th{background:#eef3fa;color:var(--navy);font-weight:700}
53table.thmtable caption{padding:.3rem 0 .5rem;color:var(--navy);font-weight:700;text-align:left;font-size:1.05em}
54header.page.title-page{min-height:250mm !important;height:250mm !important;
55  padding:26mm 14mm 18mm !important;
56  background:#102A4C !important;background-image:none !important;
57  color:#FFFFFF !important;-webkit-print-color-adjust:exact;print-color-adjust:exact}
58header.page.title-page h1{color:#FFFFFF !important}
59@media print{header.page.title-page{background:#102A4C !important;background-image:none !important;
60  color:#FFFFFF !important;min-height:250mm !important;height:250mm !important;
61  -webkit-print-color-adjust:exact;print-color-adjust:exact}}
62@media(max-width:700px){header.page.title-page{min-height:250mm !important;height:250mm !important}}
63h4{font-size:1.0rem;color:var(--blue);margin:1.2rem 0 .4rem;font-weight:700}
64.thmrange{font-size:1.55rem;font-weight:700;color:#FFD980;line-height:1.62;margin:.25rem 0 1.15rem}
65h2,h3,.theorem-title,.proof-title{break-after:avoid;page-break-after:avoid}
66.theorem,.proof,.assumption,.rigor,.result,.stdform,.eqbridge,tr{break-inside:avoid;page-break-inside:avoid}
67
68</style>
69</head>
70<body>
71<main>
72
73<header class="page title-page">
74  <div class="kicker">TOMABECHI COGNITIVE UNIVERSE · THEOREMS 28–32</div>
75  <h1>苫米地認知宇宙論〜仏法数理厳密証明</h1>
76  <div class="thmrange">定理28–32(涅槃無我・法無自性・エントロピー交換自我・言語閉包六道輪廻・ホメオスタシス絶対他力)</div>
77  <div class="edition">厳密定式化版――定理24(一切皆苦)・定理26(涅槃寂静)・定理25(諸法無我)・定理27(無明起行)を貫く動的寂静の数理からの五つの拡張</div>
78  <div class="author">苫米地 英人</div>
79  <div class="affil">Cognitive Research Laboratories, Tokyo<br>
79CyLab, Carnegie Mellon University · C5I Center, George Mason University<br>2026年8月11日</div>
80  <div class="release">暫定公開版。教育・平和利用に限る。著作権を尊重した引用・参照を可とする。<br>本稿は定理として証明できる範囲と、教学的・哲学的解釈とを明示的に分離する。</div>
81</header>
82
83<article class="page">
84<section id="abstract">
85<h2 class="sr-only">概要</h2>
86<div class="abstract">
87  <div class="label">概要</div>
88  <p>本稿は、既存の定理1(苫米地主定理)–27を基礎として、五つの新定理を定式化する。定理28(涅槃無我・型整合定理)は、定理24(一切皆苦定理)と26の領域をタグ付き直和で分離し、「一切皆苦」と「涅槃寂静」の型整合性を証明したうえで、定理25(諸法無我定理)の関係的機能完備性から涅槃過程の無我を導く。定理29(形式法体系無自性・不完備定理)は、教説としての法を十分に強い有効形式理論としてモデル化した場合に限り、Gödel・Chaitinの限界、開放的更新、および定理25(諸法無我定理)による無自性を示す。定理30(エントロピー交換自我構成定理)は、内省言語を逆系上の射影整合写像として定式化し、言語条件付きEgo構成の選択・安定化と認知物理エントロピー交換を証明する。定理31(内省言語閉包・低抽象度六道輪廻定理)は、言語閉包・Nagumo不変性・Lyapunov吸引性のもとで低抽象度TCZからの脱出不能性を示し、六状態粗視化の再帰性を証明する。定理32(未来TCZホメオスタシス絶対他力定理)は、外部ゴールが未来TCZに入る有界臨場感閾値と、未来限定Egoによる指数収束・到達時間を与える。</p>
89  <p>継承定理の再掲部(§3)には、<b>定理15(認知物理エントロピー交換・保存定理)を §3.7 として新たに収録する</b>。最低抽象度物理層においてエントロピーについて成り立つのは第二法則の不等式のみであり、等式としての保存則は高抽象度レイヤーを状態記述に含めてはじめて成立する。この事実(命題15.D)は定理30 の交換収支の前提であり、本稿で初めて公開する。また §7.3 において「六道輪廻」という名称の射程(領域数の非本質性、転生に関する中立性と定理25 による制約、単一生涯内での成立)を、§7.4 において定理31 が形式化する対象と龍樹『中論』の言語批判との構造的対応を、いずれも<b>解釈層として証明から分離したうえで</b>与える。</p>
90  <p><strong>重要な限定。</strong> 五定理のすべてが既存定理から無条件に出るわけではない。各節で「既存定理から継承する部分」「新たに必要な条件」「外部メタ定理」を分離する。また、<em>無我</em>は数学的対象化の禁止ではなく、関係記述を超える独立・固定・個体化的・因果的に非冗長な自性の否定を意味する。</p>
91</div>
92</section>
93
94<nav class="toc" aria-label="目次">
95<h2>目次</h2>
96<ol>
97  <li><a href="#scope">結論と証明依存</a></li>
98  <li><a href="#notation">継承記法と論理的射程</a></li>
99  <li><a href="#inherited">継承定理の定式化と厳密証明</a></li>
100  <li><a href="#t28">定理28(涅槃無我・型整合定理) 涅槃無我・型整合</a></li>
101  <li><a href="#t29">定理29(形式法体系無自性・不完備定理) 形式法体系無自性・不完備</a></li>
102  <li><a href="#t30">定理30(エントロピー交換自我構成定理) エントロピー交換自我構成</a></li>
103  <li><a href="#t31">定理31(内省言語閉包・低抽象度六道輪廻定理) 内省言語閉包・低抽象度六道輪廻</a></li>
104  <li><a href="#t32">定理32(未来TCZホメオスタシス絶対他力定理) 未来TCZホメオスタシス絶対他力</a></li>
105  <li><a href="#minimality">最小性・反例一覧</a></li>
106  <li><a href="#conclusion">総括</a></li>
107  <li><a href="#references">参照文献</a></li>
108</ol>
109</nav>
110
111<section id="scope">
112<h2>1. 結論と証明依存</h2>
113<p class="lead">適切な順序は、単純な一列ではなく次の部分順序である。定理28(涅槃無我・型整合定理)・定理29(形式法体系無自性・不完備定理)・定理30(エントロピー交換自我構成定理)は互いに独立な三つの枝であり、定理31(内省言語閉包・低抽象度六道輪廻定理)は定理30(エントロピー交換自我構成定理)の言語化Ego構成を任意に利用でき、定理32(未来TCZホメオスタシス絶対他力定理)は定理31(内省言語閉包・低抽象度六道輪廻定理)で記述された閉鎖からの再構成を説明できる。</p>
114<div class="chain">基礎 T24–26 → T28 | 基礎 T25 + Gödel/Chaitin → T29 | 基礎 T1・15・16・18 → T30 →[任意]T31 →[脱出解釈]T32</div>
115<table>
116<thead><tr><th>
116新定理</th><th>最小の既存依存</th><th>新条件/外部結果</th><th>証明上の地位</th></tr></thead>
117<tbody>
118<tr><td>28</td><td>T24, T25, T26</td><td>涅槃過程をT25の現象領域へ含める条件28-A</td><td>型整合部は直接の系、無我部はT25の適用</td></tr>
119<tr><td>29</td><td>T25</td><td>29-A〜C、Gödel I・II、Chaitin</td><td>既存体系だけからは出ない条件付きメタ定理</td></tr>
120<tr><td>30</td><td>T1, T15, T16, T18</td><td>射影整合性、縮小性、エントロピー型橋</td><td>新しい逆極限構成とT15交換式の統合</td></tr>
121<tr><td>31</td><td>T1, T3, T16, T18</td><td>言語閉包、Nagumo条件、ハイブリッドLyapunov条件</td><td>T18の「選択肢拡張」だけでは出ない</td></tr>
122<tr><td>32</td><td>T1, T4, T7–9</td><td>臨場感閾値、可到達吸引域、強いLyapunov収縮</td><td>T9を定量化する強化定理</td></tr>
123</tbody>
124</table>
125<div class="note"><strong>定理27(無明起行定理)との関係。</strong> 番号は定理27(無明起行定理)の後を継ぐが、五定理の本体証明は定理27(無明起行定理)を必要としない。定理27(無明起行定理)の無明・行の同値は、これらを十二支縁起へ接続する際の解釈層として保持される。</div>
126</section>
127
128<section id="notation">
129<h2>2. 継承記法と論理的射程</h2>
130<p>抽象度の半順序集合を <span class="math">(𝒜,≼)</span>、最高元を <span class="math">⊤</span> とする。各層の状態空間を <span class="math">X<sub>a</sub></span>、生存可能領域を <span class="math">ℬ<sub>alive</sub>⊆ X<sub>⊤</sub></span>、割引最適費用を <span class="math">J<sup>*</sup><sub>a,ρ</sub>(x,T)</span> と書く。定理26(涅槃寂静定理)の寂静集合は</p>
131<div class="eq"><span class="math">𝒩<sub>⊤</sub>(T):=ℬ<sub>alive</sub>∩{x| J<sup>*</sup><sub>⊤,ρ</sub>(x,T)=0}.</span><span class="eqno">(2.1)</span></div>
132<p>定理25(諸法無我定理)の <span class="math">Atman(d,a)</span> は、現象 <span class="math">d</span> の層 <span class="math">a</span> に、関係記述から独立し、履歴を通じて固定され、個体化を担い、かつ因果的に非冗長な内在変数が存在するという述語である。したがって <span class="math">¬Atman</span> は「対象を集合・写像・理論として記述できない」という主張ではない。</p>
133<div class="rigor"><div class="rigor-title">三つの非含意</div>
134<ol>
135<li>記号 <span class="math">T</span> を持つだけでは、<span class="math">𝒩<sub>⊤</sub>(T)</span> が実際に時変であるとはいえない。定数集合族も許される。</li>
136<li>集合族であること、または関係から定義されることだけでは無我は証明されない。決定的なのは定理25(諸法無我定理)の機能的完備性25-Dである。</li>
137<li>Gödel・Chaitinの結果は、すべての公理系にも、法一般にも無条件には適用されない。十分な算術強度・有効性・健全性を明記する。</li>
138</ol></div>
139</section>
140
141<section id="inherited">
142<h2>3. 継承定理の定式化と厳密証明</h2>
143<p>本稿の定理28(涅槃無我・型整合定理)〜定理32(未来TCZホメオスタシス絶対他力定理)は、既存の定理群を前提として構築される。読者が本稿だけで証明を追えるよう、直接用いる定理1(苫米地主定理)・定理3(抽象的共有TCZ収束定理)・定理4(苫米地臨場感加重定理)・定理7(苫米地真のゴール定理)・定理8(苫米地未来原点認知時間定理)・定理9(苫米地未来原点ゴール達成定理)・定理15(認知物理エントロピー交換・保存定理)・定理16(自己意識存在・発生定理)・定理18(内省言語進化定理)について、標準形の中心式、本稿で用いる定式化、および厳密証明をここに掲げる。定理24(一切皆苦定理)・定理25(諸法無我定理)・定理26(涅槃寂静定理)については、証明を再掲せず『苫米地四法印定理』を参照する(§3.10)。</p>
144<div class="rigor"><div class="rigor-title">本節の位置づけ</div>
145<p>本節は、既出の定理を本稿の記法へ写し、証明の骨格を明示するための再掲でã
145‚る。ただし §3.7(定理15)については、原論文の仮定A6(ii)を一様可積分条件A6′へ弱め(補題15.1)、あわせて秩序化量の上界(3.8)と、保存則が物理層へ還元できないこと(命題15.D)を新たに示す。標準形は『苫米地抽象度自由論』全定理一覧の表記に一致させ、本稿で異なる表現を用いる場合は、その理由と標準形との同値性を各項に明記する。</p></div>
146
147<h3>3.0 共通の道具――統一収束補題(補題0)</h3>
148<p>以下の証明は、次の一つの補題に帰着する。</p>
149<div class="eq"><span class="math">Φ ≥ 0 が軌道上絶対連続で、Ω<sub>θ</sub> の外で D<sup>+</sup>Φ(t) ≤ −cΦ(t)(c &gt; 0)を満たすなら、Φ(t) ≤ Φ(0)e<sup>−ct</sup> であり、dist(x(t),Ω<sub>θ</sub>) → 0</span><span class="eqno">(3.0)</span></div>
150<p>ここで D<sup>+</sup> は右上Dini微分、Ω<sub>θ</sub> は Φ の劣位集合である。Φ は絶対連続なので、ほとんど至る所で通常の微分と一致し、Grönwall の不等式が適用できる。二次の挟み込み c<sub>1</sub>dist<sup>2</sup> ≤ Φ ≤ c<sub>2</sub>dist<sup>2</sup> を併せれば、距離についての指数評価 dist(x(t),Ω<sub>θ</sub>) ≤ √(c<sub>2</sub>/c<sub>1</sub>) e<sup>−ct/2</sup> dist(x(0),Ω<sub>θ</sub>) を得る。<b>以下の各定理は、それぞれの残差 Φ を構成し、この補題へ帰着させる形で証明される。</b></p>
151
152<h3>3.1 定理1(苫米地主定理)</h3>
153<div class="stdform"><span class="t">◆ 中心式(標準形)</span>π<sub>c</sub> = arg min ∫V<sub>0</sub> dt ⇒ x(t) → TCZ<span class="src">『苫米地抽象度自由論』全定理一覧の標準形に一致</span></div>
154<div class="eqbridge"><b>本稿で展開形を用いる理由。</b>証明では到達可能領域への収束を距離で述べる必要があるため、積分区間・引数・到達可能性の限定を明示する。<br><b>次の対応により、下の式は標準形と同一の主張である。</b><br><b>∫V<sub>0</sub> dt</b> ≔ <b>∫<sub>0</sub><sup>T</sup>V<sub>0</sub>(x(t),t) dt</b>/<b>TCZ</b> ≔ <b>TCZ<sub>1</sub><sup>cl</sup>(t;x<sub>0</sub>)</b>(到達可能領域に限った閉スライス)/<b>x(t) → TCZ</b> ⇔ <b>dist(x(t),TCZ<sub>1</sub><sup>cl</sup>(t;x<sub>0</sub>)) → 0</b></div>
155<div class="theorem"><div class="theorem-title">定理1(苫米地主定理)</div>
156<p>非負評価 V<sub>0</sub> について TCZ = {x | V<sub>0</sub>(x,t) ≤ θ} とする。閉ループ方策 π<sub>c</sub> が解を生成し、V<sub>0</sub> が軌道上絶対連続で、TCZ の外で D<sup>+</sup>[V<sub>0</sub>(x(t),t) − θ]<sup>+</sup> ≤ −c[V<sub>0</sub> − θ]<sup>+</sup> を満たすなら、</p>
157<div class="eq"><span class="math">dist(x(t),TCZ<sub>1</sub><sup>cl</sup>(t;x<sub>0</sub>)) → 0</span><span class="eqno">(3.1)</span></div></div>
158<div class="proof"><div class="proof-title">証明</div>
159<p>残差を Φ<sub>1</sub> := [V<sub>0</sub>(x,t) − θ]<sup>+</sup> と置く。Φ<sub>1</sub> は非負であり、仮定より TCZ の外で D<sup>+</sup>Φ<sub>1</sub> ≤ −cΦ<sub>1</sub> を満たす。補題0(3.0)より Φ<sub>1</sub>(t) ≤ Φ<sub>1</sub>(0)e<sup>−ct</sup> であり、Φ<sub>1</sub> → 0。Φ<sub>1</sub> = 0 は V<sub>0</sub> ≤ θ、すなわち TCZ への所属と同値であるから、到達可能閉スライスへの距離が 0 に収束する。<b>収束の実質条件は arg min であること自体ではなく、arg min で選ばれた閉ループが Lyapunov 降下を満たすことである。</b><span class="qed">∎</span></p></div>
160
161<h3>3.2 定理3(抽象的共有TCZ収束定理)</h3>
162<div class="stdform"><span class="t">◆ 中心式(標準形)</span>A(x)=0 ⇔ φ(x)=LUB(W<sub>1</sub>,…,W<sub>N</sub>), A(t)→0<span class="src">『苫米地抽象度自由論』全定理一覧の標準形に一致</span></div>
163<div class="eqbridge"><b>本稿で展開形を用いる理由。</b>標準形は「屋根に到達した状態とは何か」という特徴づけを述べる。本稿は到達を保証する方策を要するため、方策の形で書く。<b>
163述べている層が異なる。</b><br><b>A</b> ≔ <b>𝒜<sub>i</sub></b>(抽象残差)/<b>LUB(W<sub>1</sub>,…,W<sub>N</sub>)</b> ≔ <b>L<sup>*</sup> = ∨W<sub>i</sub></b>/<b>A(t)→0</b> ⇔ <b>‖ι(φ<sub>i</sub>(x<sub>i</sub>(t)))−ι(L<sup>*</sup>)‖ → 0</b></div>
164<div class="theorem"><div class="theorem-title">定理3(抽象的共有TCZ収束定理)</div>
165<p>結合グラフが連結、各ズレ費用 S<sub>ij</sub> が非負、抽象残差 𝒜<sub>i</sub> が L<sup>*</sup> = ∨W<sub>i</sub> でちょうど 0 となるとき、拡張ラグランジアン ℒ<sub>A</sub> = Σ<sub>i</sub>V<sub>i</sub> + Σ<sub>(i,j)∈E</sub>γ<sub>ij</sub>S<sub>ij</sub> + Σ<sub>i</sub>η<sub>i</sub>𝒜<sub>i</sub>(η<sub>i</sub> &gt; 0)を最小化する閉ループのもとで</p>
166<div class="eq"><span class="math">𝒜<sub>i</sub>(t) → 0, すなわち φ<sub>i</sub>(x<sub>i</sub>(t)) → L<sup>*</sup> = ∨W<sub>i</sub></span><span class="eqno">(3.2)</span></div></div>
167<div class="proof"><div class="proof-title">証明</div>
168<p>Φ<sub>3</sub> := ℒ<sub>A</sub> − inf ℒ<sub>A</sub> と置く。連結性より、いずれの主体のはみ出しも必ずいずれかの S<sub>ij</sub> に反映されるので、Φ<sub>3</sub> は全体の逸脱を漏れなく捉える。仮定より Φ<sub>3</sub> は補題0の降下条件を満たすので Φ<sub>3</sub> → 0。Φ<sub>3</sub> の各項は非負であるから、和が 0 に収束することは各項が 0 に収束することを含意し、特に η<sub>i</sub>𝒜<sub>i</sub> → 0、すなわち 𝒜<sub>i</sub> → 0。𝒜<sub>i</sub> は L<sup>*</sup> においてのみ 0 となるよう構成されているので、φ<sub>i</sub>(x<sub>i</sub>(t)) → L<sup>*</sup>。<b>LUB は平均ではなく、いずれの主体の世界も切り捨てずに包む最小の上界である。</b><span class="qed">∎</span></p></div>
169
170<h3>3.3 定理4(苫米地臨場感加重定理)</h3>
171<div class="stdform"><span class="t">◆ 中心式(標準形)</span>Ṽ = V<sub>0</sub> − κPQ, x → TCZ<sub>P</sub><span class="src">『苫米地抽象度自由論』全定理一覧の標準形に一致</span></div>
172<div class="eqbridge"><b>本稿で展開形を用いる理由。</b>標準形は変形の定義と行き先のみを述べる。本稿は変形後の閉ループが降下条件を満たすことを使うため、方策 π<sub>c</sub>(P) を明示する。<br><b>TCZ<sub>P</sub></b> ≔ <b>Ω<sub>P</sub>(t)</b>(変形後の閉到達可能スライス)/<b>x → TCZ<sub>P</sub></b> ⇔ <b>dist(x(t),Ω<sub>P</sub>(t)) → 0</b></div>
173<div class="theorem"><div class="theorem-title">定理4(苫米地臨場感加重定理)</div>
174<p>臨場感 P ∈ [0,1]、価値符号 Q、κ &gt; 0 に対し Ṽ := V<sub>0</sub> − κPQ とする。Ṽ が非負評価の要件を満たし、π<sub>c</sub>(P) の閉ループが補題0の降下条件を満たすなら</p>
175<div class="eq"><span class="math">dist(x(t),Ω<sub>P</sub>(t)) → 0, ∂Ṽ/∂P = −κQ</span><span class="eqno">(3.3)</span></div></div>
176<div class="proof"><div class="proof-title">証明</div>
177<p>Ṽ を評価関数として残差 Φ<sub>4</sub> := [Ṽ(x,t) − θ]<sup>+</sup> を作る。Ṽ もまた非負評価の要件を満たすので、補題0がそのまま適用でき、Φ<sub>4</sub> → 0、したがって dist(x(t),Ω<sub>P</sub>(t)) → 0。谷の位置が P とともに連続に動くことは、∂Ṽ/∂P = −κQ を P について直接微分して得られる。Q &gt; 0 の対象では地形が下がり、Q &lt; 0 の対象では上がる。<b>行動の変更は意志の持続ではなく地形の変形によって達成される。</b><span class="qed">∎</span></p></div>
178
179<h3>3.4 定理7(苫米地真のゴール定理)</h3>
180<div class="stdform"><span class="t">◆ 中心式(標準形)</span>G ∉ TCZ<sub>0</sub>, d(G,TCZ<sub>0</sub>) ≥ ε &gt; 0, G = Self-set<span class="src">『苫米地抽象度自由論』全定理一覧の標準形に一致</span></div>
181<div class="theorem"><div class="theorem-title">定理7(苫米地真のゴール定理)</div>
182<p>現在の安定領域を TCZ<sub>0</sub>、候補終端ゴールを G とする。真のゴールの正準条件を、(i) 外部性 dist(G,TCZ<sub>0</sub>) &gt; ε、(ii) 外部強制でなく本人のゴール集合に属すること、(iii) 高位 Self との整合 C<sub>Self</sub>(G) &gt;
182 0、(iv) 制御問題へ非退化に入ること、とする。このとき四条件は、本体系の意味で許容される変革ゴールを特徴づける。</p>
183<div class="eq"><span class="math">J<sub>G</sub>[u] = ∫<sub>t</sub><sup>T</sup>V<sub>0</sub>(x(τ),τ)dτ + λ d(x(T),G)<sup>2</sup>, λ &gt; 0</span><span class="eqno">(3.4)</span></div></div>
184<div class="proof"><div class="proof-title">証明(論理的)</div>
185<p>各条件の必要性を、それを外した場合に混入する対象によって示す。(i) を外すと、dist(G,TCZ<sub>0</sub>) ≤ ε のゴールは現在の安定域を実質的に再構成せずに到達できるため、変革ゴールの外部性を失う。(ii) を外すと外部から強制された状態が、(iii) を外すと負価値または自己不整合な状態が、(iv) を外すと方策に影響しない装飾的目標が、それぞれ混入する。したがって四条件は所期の対象をちょうど特徴づける。<b>ここから到達は導かれない。到達は定理9(苫米地未来原点ゴール達成定理)の課題である。</b><span class="qed">∎</span></p></div>
186
187<h3>3.5 定理8(苫米地未来原点認知時間定理)</h3>
188<div class="stdform"><span class="t">◆ 中心式(標準形)</span>u<sup>*</sup> = arg min J<sub>G</sub>;終端条件 G が現在制御を決定<span class="src">『苫米地抽象度自由論』全定理一覧の標準形に一致</span></div>
189<div class="theorem"><div class="theorem-title">定理8(苫米地未来原点認知時間定理)</div>
190<p>終端条件 G を持つ有限地平最適制御問題 (3.4) において、最適制御 u<sup>*</sup> は動的計画法の原理により</p>
191<div class="eq"><span class="math">u<sup>*</sup> = arg min<sub>u</sub> J<sub>G</sub> ⇔ −∂W<sub>G</sub>/∂t = min<sub>u</sub>{ V<sub>0</sub>(x,t) + ∇W<sub>G</sub>(x,t)·f(x,u,t) }</span><span class="eqno">(3.5)</span></div>
192<p>を満たす。すなわち現在時刻の制御は、終端条件から後ろ向きに決定される。</p></div>
193<div class="proof"><div class="proof-title">証明</div>
194<p>価値関数 W<sub>G</sub>(x,t) := min<sub>u</sub>J<sub>G</sub>[u] を導入する。最適性原理より W<sub>G</sub> は終端条件 W<sub>G</sub>(x,T) = λd(x,G)<sup>2</sup> を持つ Hamilton–Jacobi–Bellman 方程式 (3.5) を満たす。この方程式は t について後ろ向きに積分されるため、時刻 t における最適制御 u<sup>*</sup>(t,x) は終端条件 G に依存して決まる。<b>物理時間が逆流すると主張しているのではない。終端条件を持つ最適制御問題では、決定の依存方向が未来から現在へ向かうという構造的事実である。</b>これを本体系では未来原点認知時間と呼ぶ。<span class="qed">∎</span></p></div>
195
196<h3>3.6 定理9(苫米地未来原点ゴール達成定理)</h3>
197<div class="stdform"><span class="t">◆ 中心式(標準形)</span>K<sub>G</sub> = PQ<sup>+</sup> + EC<sub>Self</sub> ≥ K<sub>crit</sub> と Lyapunov 降下 ⇒ x → TCZ<sub>G</sub><span class="src">『苫米地抽象度自由論』全定理一覧の標準形に一致</span></div>
198<div class="theorem"><div class="theorem-title">定理9(苫米地未来原点ゴール達成定理)</div>
199<p>ゴール駆動強度を K<sub>G</sub> := PQ<sup>+</sup> + EC<sub>Self</sub> と定める。K<sub>G</sub> ≥ K<sub>crit</sub> であり、かつゴール残差 Φ<sub>G</sub> が補題0の降下条件を満たすなら</p>
200<div class="eq"><span class="math">dist(x(t),TCZ<sub>G</sub>(t)) → 0</span><span class="eqno">(3.6)</span></div></div>
201<div class="proof"><div class="proof-title">証明</div>
202<p>ゴール残差 Φ<sub>G</sub> := [Ṽ<sub>G</sub>(x,t) − θ<sub>G</sub>]<sup>+</sup> を作る。ここで Ṽ<sub>G</sub> は定理4(苫米地臨場感加重定理)により K<sub>G</sub> の寄与だけ変形された評価である。K<sub>G</sub> ≥ K<sub>crit</sub> は、変形後の地形において G の側に劣位集合が実際に生じるための臨界条件であり、この条件下で Φ<sub>G</sub> は補題0の降下条件を満たす。よって Φ<sub>G</sub> → 0 かつ dist(x(t),TCZ<sub>G</sub>(t)) → 0。<b>定理7(苫米地真のゴール定理)が資格を、定理8(苫米地未来原点認知時間定理)が決定方向を与え、本定理が到達を与える。</b><span class="qed">∎</span></p></div>
203
204
205<h3>3.7 定理15(認知物理エントロピー交換・保存定理)</h3>
206<div class="stdform"><span class="t">◆ 中心式(標準形)</span>S<sub>gen</sub> = S<sub>phys</sub> + Σw<sub>α</sub>H<sub>α</sub>, dS<sub>gen</sub>/dt = Π ≥ 0<span class="src">『苫米地抽象度自由論』全定理一覧の標準形に一致</span></div>
207<div class="eqbridge"><b>本稿で展開形を用いる理由。</b>定理30(エントロピー交換自我構成定理)の条件30-Cは、本定理の交換式を<b>層別・条件付きの形で</b>用いる。したがってレイヤー指数 α、換算重み w<sub>α</sub>、散逸項 Π、および時間区間を明示する必要がある。次の対応ã
207«ã‚ˆã‚Šã€ä¸‹ã®å¼ã¯æ¨™æº–形と同一の主張である。<br><b>Σw<sub>α</sub>H<sub>α</sub></b> ≔ <b>Σ<sub>α≻0</sub> w<sub>α</sub>H<sub>α</sub>(x<sub>α</sub>(t))</b>(レイヤー指数と軌道引数を明示)/<b>dS<sub>gen</sub>/dt = Π ≥ 0</b> ⇔ <b>S<sub>gen</sub>(t<sub>2</sub>) − S<sub>gen</sub>(t<sub>1</sub>) = ∫<sub>t<sub>1</sub></sub><sup>t<sub>2</sub></sup>Π(s) ds ≥ 0</b>(絶対連続性による積分形)</div>
208
209<h4>3.7.1 本節の主張——物理層単独では、エントロピーの保存則は存在しない</h4>
210<p>最低抽象度の物理層 α = 0 だけを見るかぎり、等式として成り立つ保存則は<b>エネルギー保存則のみ</b>である。エントロピーについて成り立つのは熱力学第二法則、すなわち dS<sub>phys</sub>/dt ≥ 0 という<b>不等式</b>だけであり、等式としての保存則は存在しない。本定理が主張するのは次の一点である——<b>高抽象度レイヤーまで含めた認知=情報宇宙においては、エントロピーについても等式としての保存則が成り立つ</b>。</p>
211<p>この保存は、認知側の意味エントロピー低下と物理側の物理エントロピー増大が、換算重み w<sub>α</sub> を介して<b>同一の帳簿上で交換されている</b>ことから従う。散逸 Π が零である理想閉鎖可逆系では、一般化総エントロピー S<sub>gen</sub> は厳密に保存される。散逸があれば、増加はちょうど散逸の分だけである。</p>
212<div class="rigor"><div class="rigor-title">本定理の非自明性はどこにあるか</div>
213<p>本定理を「交換式を代入して打ち消すだけの恒等式」と読むのは誤りである。実質的な内容は次の三点にある。<b>第一</b>に、レイヤーが可算無限個ありうる状況で S<sub>gen</sub> が絶対連続であり、項別微分が正当化されること(補題15.1。これは無条件には成立せず、§3.7.5 に反例を挙げる)。<b>第二</b>に、保存が散逸の消滅と<b>同値</b>であること(補題15.2)。<b>第三</b>に、この保存則が<b>物理層単独へは還元できない</b>こと、すなわち物理層の量だけからは同じ保存則を構成できないこと(命題15.D)。第三点が、本節冒頭の主張——物理層単独ではエントロピー保存則が存在しない——の厳密な内容である。</p></div>
214
215<h4>3.7.2 設定と常設仮定</h4>
216<div class="assumption"><div class="assumption-title">仮定A1(抽象度レイヤー族)</div>
217<p>抽象度指数集合 <span class="math">𝒜 ⊂ [0,∞)</span> は 0 を含む可算集合とし、各 <span class="math">α ∈ 𝒜</span> に可測空間(レイヤー)<span class="math">U<sub>α</sub></span> が与えられる。全体空間は互いに素な合併 <span class="math">U = ⊔<sub>α∈𝒜</sub>U<sub>α</sub></span> であり、<span class="math">α = 0</span> のレイヤー <span class="math">U<sub>0</sub></span> を物理空間と呼ぶ。時間発展は可測な軌道の族 <span class="math">t ↦ x<sub>α</sub>(t) ∈ U<sub>α</sub></span>(<span class="math">t ∈ [0,T]</span>)として与えられる。</p></div>
218<div class="assumption"><div class="assumption-title">仮定A2(意味エントロピーの正則性)</div>
219<p>各 <span class="math">α ≻ 0</span> に対し意味エントロピー汎関数 <span class="math">H<sub>α</sub> : U<sub>α</sub> → [0,∞)</span> が与えられ、軌道に沿った合成 <span class="math">t ↦ H<sub>α</sub>(t) := H<sub>α</sub>(x<sub>α</sub>(t))</span> は <span class="math">[0,T]</span> 上で絶対連続である。</p></div>
220<div class="assumption"><div class="assumption-title">仮定A3(射影の整合族)</div>
221<p>各 <span class="math">α &gt; β ≥ 0</span> に可測な射影 <span class="math">π<sub>β←α</sub> : U<sub>α</sub> → U<sub>β</sub></span> が与えられ、半群性 <span class="math">π<sub>γ←β</sub> ∘ π<sub>
221β←α</sub> = π<sub>γ←α</sub></span>(<span class="math">γ &lt; β &lt; α</span>)および <span class="math">π<sub>α←α</sub> = id</span> を満たす。最低抽象度射影を <span class="math">π<sub>0</sub> := π<sub>0←α</sub></span> と略記する。</p></div>
222<div class="assumption"><div class="assumption-title">仮定A4(射影単調性——粗視化はエントロピーを増やす)</div>
223<p>任意の <span class="math">α &gt; β &gt; 0</span> と <span class="math">x ∈ U<sub>α</sub></span> に対し <span class="math">H<sub>β</sub>(π<sub>β←α</sub>(x)) ≥ H<sub>α</sub>(x)</span>。等号は射影が可逆(情報を失わない)な場合に限る。</p></div>
224<div class="assumption"><div class="assumption-title">仮定A5(物理エントロピーの正則性)</div>
225<p>物理層の結合部分系に対して物理エントロピー <span class="math">S<sub>phys</sub> : [0,T] → ℝ</span> が定義され、絶対連続である。<span class="math">S<sub>phys</sub></span> は熱力学的エントロピーの通常の意味を持ち、単独では外部との交換により増減しうる。</p></div>
226<div class="assumption"><div class="assumption-title">仮定A6′(換算重みと総和の正則性——一様可積分形)</div>
227<p>各 <span class="math">α ≻ 0</span> に対し定数の換算重み <span class="math">w<sub>α</sub> &gt; 0</span> が与えられ、次を満たす。<b>(i)</b> <span class="math">Σ<sub>α≻0</sub>w<sub>α</sub>H<sub>α</sub>(t)</span> は <span class="math">[0,T]</span> の各点で有限。<b>(ii)</b> <span class="math">h<sub>α</sub> := dH<sub>α</sub>/dt</span> と置くとき、級数 <span class="math">Σ<sub>α≻0</sub>w<sub>α</sub>h<sub>α</sub>(s)</span> はほとんど至る所収束し、かつ有限部分和の族 <span class="math">{Σ<sub>α∈𝒜′</sub>w<sub>α</sub>h<sub>α</sub> : 𝒜′ ⊂ 𝒜 有限}</span> は <span class="math">L<sup>1</sup>([0,T])</span> において<b>一様可積分</b>である。</p>
228<p class="small"><b>原論文の仮定A6(ii)からの強化。</b>原論文は可積分優関数 <span class="math">g = Σw<sub>α</sub>g<sub>α</sub> ∈ L<sup>1</sup></span> による優収束条件を課していた。優関数による支配は一様可積分性を含意するが、逆は成り立たã
228ªã„。したがってA6′は<b>真に弱い仮定</b>であり、定理の適用範囲を拡げる。証明では優収束定理の代わりにVitaliの収束定理を用いる(補題15.1)。<span class="math">𝒜</span> が有限集合のときは (ii) は自明に成立する。</p></div>
229<div class="assumption"><div class="assumption-title">仮定A7(層間結合=交換式)</div>
230<p>ほとんど至る所で次が成り立つ。</p>
231<div class="eq"><span class="math">dS<sub>phys</sub>/dt = −Σ<sub>α≻0</sub>w<sub>α</sub> dH<sub>α</sub>/dt + Π(t), Π(t) ≥ 0, Π ∈ L<sup>1</sup>([0,T])</span></div>
232<p><span class="math">Π</span> は散逸項であり、不可逆性・熱化・余剰生成・環境との相互作用を表す。</p></div>
233<div class="rigor"><div class="rigor-title">仮定A7の内実——どこが定義で、どこが公理か</div>
234<p>A7は二つの部分からなる。第一は<b>定義</b>であって、<span class="math">Π(t) := dS<sub>phys</sub>/dt + Σ<sub>α≻0</sub>w<sub>α</sub>dH<sub>α</sub>/dt</span> と置くことにはいかなる内容もない。第二は<b>符号条件</b> <span class="math">Π(t) ≥ 0</span> であり、これが唯一の実質的な公理——<b>一般化第二法則</b>——である。この分解を明示することは、本定理が何を仮定し何を証明しているのかを曖昧にしないために必要である。すなわち本定理は、一般化第二法則を仮定したうえで、(i) 総和量が微分可能な意味を持つこと、(ii) 保存が散逸の消滅と同値であること、(iii) その保存が物理層へ還元できないことを証明する。</p></div>
235
236<h4>3.7.3 定理15と厳密証明</h4>
237<div class="theorem"><div class="theorem-title">定理15(苫米地認知物理エントロピー交換・保存定理)</div>
238<p>常設仮定A1〜A5・A6′・A7のもとで、一般化総エントロピーを <span class="math">S<sub>gen</sub>(t) := S<sub>phys</sub>(t) + Σ<sub>α≻0</sub>w<sub>α</sub>H<sub>α</sub>(t)</span> と定める。このとき次が成り立つ。</p>
239<p><b>(I) 交換と一般化第二法則。</b><span class="math">S<sub>gen</sub></span> は <span class="math">[0,T]</span> 上で絶対連続であり、</p>
240<div class="eq"><span class="math">dS<sub>gen</sub>/dt = Π(t) ≥ 0 (a.e.), S<sub>gen</sub>(t<sub>2</sub>) − S<sub>gen</sub>(t<sub>1</sub>) = ∫<sub>t<sub>1</sub></sub><sup>t<sub>2</sub></sup>Π(s) ds ≥ 0</span><span class="eqno">(3.7)</span></div>
241<p>が任意の <span class="math">0 ≤ t<sub>1</sub> ≤ t<sub>2</sub> ≤ T</span> について成り立つ。とくに <span class="math">S<sub>gen</sub></span> は単調非減少である。</p>
242<p><b>(II) 保存則。</b><span class="math">Π = 0</span> がほとんど至る所成り立つことと、<span class="math">S<sub>gen</sub></span> が <span class="math">[0,T]</span> 上定数であることは同値である。とくに理想閉鎖可逆系 <span class="math">Π ≡ 0</span> では <span class="math">S<sub>gen</sub>(t) = S<sub>gen</sub>(0)</span> がすべての <span class="math">t</span> で厳密に成り立つ。</p>
243<p><b>(III) 秩序化量の上界。</b>任意の <span class="math">0 ≤ t<sub>1</sub> ≤ t<sub>2</sub> ≤ T</span> について</p>
244<div class="eq"><span class="math">Σ<sub>α≻0</sub>w<sub>α</sub>[H<sub>α</sub>(t<sub>1</sub>) − H<sub>α</sub>(t<sub>2</sub>)] = [S<sub>phys</sub>(t<sub>2</sub>) − S<sub>phys</sub>(t<sub>1</sub>)] − ∫<sub>t<sub>1</sub></sub><sup>t<sub>2</sub></sup>Π(s) ds ≤ S<sub>phys</sub>(t<sub>2</sub>) − S<sub>phys</sub>(t<sub>1</sub>)</span><span class="eqno">(3.8)</span></div>
245<p>が成り立ち、等号成立は <span class="math">Π = 0</span>(a.e. on <span class="math">[t<sub>1</sub>,t<sub>2</sub>]</span>)のときに限る。すなわち、区間内で達成しうる<b>認知的秩序化の総量は、同区間の物理エントロピー増加量によって上から押さえられる</b>。</p></div>
246
247<div class="theorem"><div class="theorem-title">補題15.1(項別微分——Vitali強化形)</div>
248<p>仮定A2・A6′のもとで、<span class="math">F(t) := Σ<sub>α≻0</sub>w<sub>α</sub>H<sub>α</sub>(t)</span> は <span class="math">[0,T]</span>
248 上絶対連続であり、ほとんど至る所 <span class="math">dF/dt = Σ<sub>α≻0</sub>w<sub>α</sub>h<sub>α</sub></span> が成り立つ。</p></div>
249<div class="proof"><div class="proof-title">証明</div>
250<p>各 <span class="math">H<sub>α</sub></span> は絶対連続であるから <span class="math">H<sub>α</sub>(t) = H<sub>α</sub>(0) + ∫<sub>0</sub><sup>t</sup>h<sub>α</sub>(s) ds</span>(<span class="math">h<sub>α</sub> ∈ L<sup>1</sup></span>)と書ける。A6′(i) より <span class="math">F(0)</span> は有限である。</p>
251<p><span class="math">𝒜</span> を可算集合として一つ枚挙し、<span class="math">F<sub>n</sub>(t) := Σ<sub>k≤n</sub>w<sub>α<sub>k</sub></sub>H<sub>α<sub>k</sub></sub>(t)</span>、<span class="math">f<sub>n</sub>(s) := Σ<sub>k≤n</sub>w<sub>α<sub>k</sub></sub>h<sub>α<sub>k</sub></sub>(s)</span> と置く。A6′(ii) の前半より <span class="math">f<sub>n</sub> → f := Σ<sub>α≻0</sub>w<sub>α</sub>h<sub>α</sub></span> がほとんど至る所成り立ち、後半より <span class="math">{f<sub>n</sub>}</span> は一様可積分である。<b>Vitaliの収束定理</b>により <span class="math">f ∈ L<sup>1</sup>([0,T])</span> かつ <span class="math">‖f<sub>n</sub> − f‖<sub>L<sup>1</sup></sub> → 0</span>。したがって各 <span class="math">t</span> について</p>
252<div class="eq"><span class="math">∫<sub>0</sub><sup>t</sup>f<sub>n</sub>(s) ds ⟶ ∫<sub>0</sub><sup>t</sup>f(s) ds</span></div>
253<p>である。他方、各 <span class="math">H<sub>α</sub> ≥ 0</span> かつ <span class="math">w<sub>α</sub> &gt; 0</span> であるから、部分和 <span class="math">F<sub>n</sub>(t)</span> は <span class="math">n</span> について単調非減少であり、A6′(i) の有限性より各点で <span class="math">F(t)</span> へ収束する。<span class="math">F<sub>n</sub>(t) = F<sub>n</sub>(0) + ∫<sub>0</sub><sup>t</sup>f<sub>n</sub>(s) ds</span> の両辺で <span class="math">n → ∞</span> とすれば</p>
254<div class="eq"><span class="math">F(t) = F(0) + ∫<sub>0</sub><sup>t</sup>f(s) ds</span></div>
255<p>を得る。右辺は <span class="math">L<sup>1</sup></span> 関数の不定積分であるから絶対連続であり、Lebesgueの微分定理よりほとんど至る所 <span class="math">dF/dt = f</span> である。<span class="qed">∎</span></p>
256<p class="small"><b>注意(強化の実質)。</b>原論文は可積分優関数 <span class="math">g</span> で <span class="math">|f<sub>n</sub>| ≤ g</span> を課し優収束定理を用いていた。優関数による支配は一様可積分性を含意するが逆は偽であるから、本補題は原論文の補題A.2.1を<b>真に一般化</b>している。たとえば <span class="math">f<sub>n</sub></span> の「山」が時間軸上を移動していく型の族は、一様可積分でありながら可積分優関数を持たないことがある。</p></div>
257
258<div class="theorem"><div class="theorem-title">補題15.2(保存の特徴付け)</div>
259<p>仮定A1〜A5・A6′・A7のもとで、<span class="math">S<sub>gen</sub></span> が <span class="math">[0,T]</span> 上定数であることと、<span class="math">Π = 0</span> がほとんど至る所成り立つことは同値である。</p></div>
260<div class="proof"><div class="proof-title">証明</div>
261<p>(⇐)定理15(I) の <span class="math">dS<sub>gen</sub>/dt = Π</span> と絶対連続性のNewton–Leibniz公式から直ちに従う。(⇒)<span class="math">S<sub>gen</sub></span> が定数なら <span class="math">0 = S<sub>gen</sub>(T) − S<sub>gen</sub>(0) = ∫<sub>0</sub><sup>T</sup>Π(s) ds</span>。<span class="math">Π ≥ 0</span> かつ積分が 0 であるから、Lebesgue積分の標準的性質より <span class="math">Π = 0</span> がほとんど至る所成り立つ。<span class="qed">∎</span></p></div>
262
263<div class="theorem"><div class="theorem-title">補題15.3(下降鎖に沿う単調合成——経路独立性)</div>
264<p>仮定A1・A3・A4のもとで、任意の下降鎖 <span class="math">α<sub>k</sub> &gt; α<sub>k−1</sub> &gt; ⋯ &gt; α<sub>1</sub> &gt; 0</span> と <span class="math">x ∈ U<sub>α<sub>k</sub></sub></span> に対し、<span class="math">x<sub>j</sub> := π<sub>α<sub>j</sub>←α<sub>k</sub></sub>(x)</span>
264 と置けば <span class="math">H<sub>α<sub>1</sub></sub>(x<sub>1</sub>) ≥ H<sub>α<sub>2</sub></sub>(x<sub>2</sub>) ≥ ⋯ ≥ H<sub>α<sub>k</sub></sub>(x)</span> が成り立つ。とくにこの比較は、どの中間レイヤーを経由するかに依存しない。</p></div>
265<div class="proof"><div class="proof-title">証明</div>
266<p>A3の半群性より <span class="math">x<sub>j</sub> = π<sub>α<sub>j</sub>←α<sub>j+1</sub></sub>(x<sub>j+1</sub>)</span>。各隣接対にA4を適用すれば <span class="math">H<sub>α<sub>j</sub></sub>(x<sub>j</sub>) ≥ H<sub>α<sub>j+1</sub></sub>(x<sub>j+1</sub>)</span>(<span class="math">j = 1,…,k−1</span>)を得る。連鎖して主張の不等式列が従う。経路独立性は、任意の二経路の合成射影が半群性により同一の <span class="math">π<sub>α<sub>j</sub>←α<sub>k</sub></sub></span> に一致することによる。<span class="qed">∎</span></p></div>
267
268<div class="proof"><div class="proof-title">定理15の証明</div>
269<p><b>(I)</b> A5より <span class="math">S<sub>phys</sub></span> は絶対連続、補題15.1より <span class="math">F = Σ<sub>α≻0</sub>w<sub>α</sub>H<sub>α</sub></span> も絶対連続である。絶対連続関数の和は絶対連続であるから <span class="math">S<sub>gen</sub> = S<sub>phys</sub> + F</span> は絶対連続であり、ほとんど至る所</p>
270<div class="eq"><span class="math">dS<sub>gen</sub>/dt = dS<sub>phys</sub>/dt + Σ<sub>α≻0</sub>w<sub>α</sub>dH<sub>α</sub>/dt</span></div>
271<p>が成り立つ。ここに交換式A7を代入すると、第一項に含まれる <span class="math">−Σ<sub>α≻0</sub>w<sub>α</sub>dH<sub>α</sub>/dt</span> と第二項が打ち消し合い、<span class="math">dS<sub>gen</sub>/dt = Π(t)</span> を得る。A7より <span class="math">Π ≥ 0</span>(a.e.)であるから <span class="math">S<sub>gen</sub></span> は単調非減少である。絶対連続性によるNewton–Leibniz公式から積分形 (3.7) が従う。</p>
272<p><b>(II)</b> 補題15.2そのものである。</p>
273<p><b>(III)</b> (3.7) の積分形において <span class="math">S<sub>gen</sub> = S<sub>phys</sub> + Σw<sub>α</sub>H<sub>α</sub></span> を展開すれば</p>
274<div class="eq"><span class="math">[S<sub>phys</sub>(t<sub>2</sub>) − S<sub>phys</sub>(t<sub>1</sub>)] + Σ<sub>α≻0</sub>w<sub>α</sub>[H<sub>α</sub>(t<sub>2</sub>) − H<sub>α</sub>(t<sub>1</sub>)] = ∫<sub>t<sub>1</sub></sub><sup>t<sub>2</sub></sup>Π(s) ds</span></div>
275<p>である。第二項を右辺へ移し符号を整理すれば (3.8) の等式部分を得る。<span class="math">∫Π ≥ 0</span> より不等式部分が従い、等号成立は <span class="math">∫<sub>t<sub>1</sub></sub><sup>t<sub>2</sub></sup>Π = 0</span>、すなわち <span class="math">Π ≥ 0</span> と併せて <span class="math">Π = 0</span>(a.e. on <span class="math">[t<sub>1</sub>,t<sub>2</sub>]</span>)と同値である。<span class="qed">∎</span></p></div>
276
277<h4>3.7.4 保存則は物理層へ還元できない</h4>
278<p>ここまでの (I)(II) は、交換式を認めたうえでの帰結である。しかし本節冒頭の主張——<b>物理層単独ではエントロピーの保存則が存在しない</b>——は、まだ証明されていない。以下の命題がそれを与える。</p>
279
280<div class="theorem"><div class="theorem-title">命題15.D(物理層への還元不可能性)</div>
281<p><b>(a) 保存の非自明性。</b>A1〜A5・A6′・A7を満たし、かつ <span class="math">Π ≡ 0</span> であるにもかかわらず、<span class="math">dS<sub>phys</sub>/dt &gt; 0</span> が正のLebesgue測度の集合上で成り立つ系が存在する。すなわち、理想閉鎖可逆系においてさえ<b>物理エントロピー単独は保存されない</b>
281。保存されるのは <span class="math">S<sub>gen</sub></span> のみである。</p>
282<p><b>(b) 還元不可能性。</b>Borel可測な <span class="math">𝔉 : ℝ → ℝ</span> が、A1〜A5・A6′・A7を満たし <span class="math">Π ≡ 0</span> であるすべての系について <span class="math">t ↦ 𝔉(S<sub>phys</sub>(t))</span> を <span class="math">[0,T]</span> 上定数にするならば、<span class="math">𝔉</span> は区間 <span class="math">[S<sub>phys</sub>(0), ∞)</span> 上で定数である。したがって、<b>物理エントロピーのみの関数として非自明な保存量を構成することはできない</b>。</p></div>
283<div class="proof"><div class="proof-title">証明</div>
284<p><b>(a)</b> 具体的な証人を構成する。<span class="math">𝒜 = {0, 1}</span>、<span class="math">T = 1</span>、<span class="math">w<sub>1</sub> = 1</span> とし、<span class="math">H<sub>0</sub> &gt; 0</span>、<span class="math">λ &gt; 0</span> を定数として</p>
285<div class="eq"><span class="math">H<sub>1</sub>(t) := H<sub>0</sub>e<sup>−λt</sup>, S<sub>phys</sub>(t) := S<sub>phys</sub>(0) + H<sub>0</sub>(1 − e<sup>−λt</sup>), Π ≡ 0</span></div>
286<p>と置く。<span class="math">H<sub>1</sub></span> は <span class="math">[0,1]</span> 上で <span class="math">C<sup>∞</sup></span>、非負、有界であるからA2を満たす。<span class="math">S<sub>phys</sub></span> も <span class="math">C<sup>∞</sup></span> であるからA5を満たす。正の層は一つだけであるからA6′(i)(ii) は自明に成立し(有限和)、A4は <span class="math">α &gt; β &gt; 0</span> なる対が存在しないため空虚に成立する。A3は <span class="math">π<sub>0←1</sub></span> を任意の可測写像、<span class="math">π<sub>α←α</sub> = id</span> と取れば満たされる。最後にA7を検証する。</p>
287<div class="eq"><span class="math">dS<sub>phys</sub>/dt = λH<sub>0</sub>e<sup>−λt</sup>, −w<sub>1</sub>dH<sub>1</sub>/dt = λH<sub>0</sub>e<sup>−λt</sup></span></div>
288<p>であるから <span class="math">dS<sub>phys</sub>/dt = −w<sub>1</sub>dH<sub>1</sub>/dt + 0</span> が全 <span class="math">t</span> で成り立ち、<span class="math">Π ≡ 0 ≥ 0</span>。よってA7が満たされる。この系において <span class="math">dS<sub>phys</sub>/dt = λH<sub>0</sub>e<sup>−λt</sup> &gt; 0</span> が <span class="math">[0,1]</span> 全体(測度 1)で成り立つ。一方</p>
289<div class="eq"><span class="math">S<sub>gen</sub>(t) = S<sub>phys</sub>(0) + H<sub>0</sub>(1 − e<sup>−λt</sup>) + H<sub>0</sub>e<sup>−λt</sup> = S<sub>phys</sub>(0) + H<sub>0</sub></span></div>
290<p>は <span class="math">t</span> によらない定数である。すなわち <span class="math">S<sub>gen</sub></span> は保存されるが <span class="math">S<sub>phys</sub></span> は厳密に増加する。これが (a) の証人である。</p>
291<p><b>(b)</b> (a) の証人族を <span class="math">H<sub>0</sub> &gt; 0</span> について走らせる。各 <span class="math">H<sub>0</sub></span> に対し、軌道 <span class="math">t ↦ S<sub>phys</sub>(t)</span> は <span class="math">t</span> の連続狭義増加関数であって、<span class="math">t</span> が <span class="math">[0,1]</span> を動くとき値域は区間 <span class="math">[S<sub>phys</sub>(0), S<sub>phys</sub>(0) + H<sub>0</sub>(1 − e<sup>−λ</sup>)]</span> をちょうど覆う。仮定より <span class="math">𝔉(S<sub>phys</sub>(t))</span> はこの軌道に沿って定数であるから、<span class="math">𝔉</span> はこの区間全体で同一の値 <span class="math">𝔉(S<sub>phys</sub>(0))</span> をとる。<span class="math">λ</span> を固定し <span class="math">H<sub>0</sub> ↑ ∞</span> とすれば区間長 <span class="math">H<sub>0</sub>(1 − e<sup>−λ</sup>)</span> は上に非有界であるから、これらの区間の合併は <span class="math">[S<sub>phys</sub>(0), ∞)</span> に等しい。よって <span class="math">
291𝔉</span> は <span class="math">[S<sub>phys</sub>(0), ∞)</span> 上で定数 <span class="math">𝔉(S<sub>phys</sub>(0))</span> である。<span class="qed">∎</span></p></div>
292
293<div class="result"><div class="result-title">命題15.Dの意味——本定理が新たに主張する内容</div>
294<p>命題15.D(a) は、理想閉鎖可逆系という<b>最も保存に有利な条件下でさえ</b>、物理エントロピーが単独では保存されないことを示す。命題15.D(b) は、そこから一歩進めて、物理エントロピーのどのような関数を取っても保存量にはなりえないことを示す。<b>保存量は必然的に高抽象度レイヤーの量 H<sub>α</sub> を含まなければならない。</b></p>
295<p>したがって、最低抽象度物理層においてエントロピーについて言えることは第二法則の不等式のみであり(等式として成り立つ保存則はエネルギー保存則のみである)、<b>エントロピーの保存則は、高抽象度レイヤーを状態記述に含めてはじめて成立する</b>。これが本定理の新規性である。本定理は<b>苫米地認知物理学数理体系の中心定理の一つ</b>であるが、これまで非公開としてきた。物理学にはエネルギー保存則があるが、<b>エントロピーについては保存則が存在しない</b>——成り立つのは第二法則の不等式のみである。認知宇宙まで射程を広げたとき<b>エントロピーが交換され保存される</b>ことは、本定理による初出の主張であり、かつ厳密証明である。なお、定理24(一切皆苦定理)から定理32(未来TCZホメオスタシス絶対他力定理)に至る仏法数理の系列は、認知側の秩序化と物理側の散逸を同一の帳簿で扱う本定理を前提としてはじめて厳密に定式化されうる。</p></div>
296
297<h4>3.7.5 A6′の最小性——落とせない条件であること</h4>
298<p>A6′(ii) は技術的な便宜ではなく、落とすと結論が破綻する条件である。反例を示す。各 <span class="math">α = k</span>(<span class="math">k = 1,2,…</span>
298)に対し <span class="math">H<sub>k</sub>(t)</span> が振幅 <span class="math">a<sub>k</sub> = 2<sup>−k</sup></span>、周波数 <span class="math">f<sub>k</sub> = 4<sup>k</sup></span> の振動を持つとすると、<span class="math">Σw<sub>k</sub>H<sub>k</sub>(t)</span> 自体は一様収束して各点有限かつ連続であるが、導関数の絶対値の和は <span class="math">Σw<sub>k</sub>a<sub>k</sub>f<sub>k</sub> = Σw<sub>k</sub>2<sup>k</sup></span> のオーダーで発散し、一様可積分な部分和族を持たない。このとき <span class="math">S<sub>gen</sub></span> は絶対連続ですらなくなり(総変動が発散する高木関数型の病理)、「各項の微分の和」と「合計の微分」が一致しない。交換式A7の打ち消しは意味を失う。</p>
299<p><span class="math">𝒜</span> が有限集合であればこの病理は起こりえず、A6′(ii) は自明に満たされる。すなわちA6′(ii) が実質的な制約となるのは可算無限個のレイヤーを扱う場合に限られる。</p>
300
301<h4>3.7.6 定理30との接続</h4>
302<p>本稿が定理15を用いるのは、定理30(エントロピー交換自我構成定理)の§6においてである。条件30-Cは、本節の意味エントロピー <span class="math">H<sub>α</sub></span> を、低層観測と言語履歴が生成する情報 <span class="math">𝒢<sub>t</sub></span> のもとでの<b>条件付きShannonエントロピー</b> <span class="math">H(Z<sub>a</sub>|𝒢<sub>t</sub>)</span> として実現し、正の定数倍 <span class="math">c<sub>a</sub></span> で単位を接続する。この接続のもとで、定理30の (30.9)(30.10) は本定理の (3.7)(3.8) の特殊例にほかならない。すなわち、認知側の減少量 <span class="math">Σw<sub>a</sub>I(Z<sub>a</sub>;M|𝒢<sub>t<sub>1</sub></sub>)</span> が (3.8) 左辺の秩序化量であり、物理側の増大量が同式右辺である。</p>
303<div class="rigor"><div class="rigor-title">言い過ぎとなること</div>
304<p>本定理は、<b>換算重み w<sub>α</sub> の具体値については何も述べない</b>。証明は正値性と定数性のみを用いる。情報の物理的消去に最小エネルギーコストが伴うという物理的直観は <span class="math">w<sub>α</sub></span> の自然なスケールを示唆するが、一般の情報取得に対してLandauer下限を直接適用してはならず、そのためには物理的消去過程を別途指定する必要がある。また本定理は、<b>意味エントロピーが実際に低下することを主張しない</b>。低下が起これば物理側の増大と結ばれる、という条件付きの収支則である。</p></div>
305
306<h3>3.8 定理16(自己意識存在・発生定理)</h3>
307<div class="stdform"><span class="t">◆ 中心式(標準形)</span>SC = lim<sub>←</sub>TCZ<sub>α</sub> ≠ ∅, F<sub>SC</sub>(S<sup>*</sup>) = S<sup>*</sup>, M(S<sup>*</sup>) represents S<sup>*</sup><span class="src">『苫米地抽象度自由論』全定理一覧の標準形に一致</span></div>
308<div class="eqbridge"><b>本稿で展開形を用いる理由。</b>自己像が履歴に依存することが本稿の要点(特に定理30(エントロピー交換自我構成定理))であるため、主体 i と履歴 h の添字を落とさない。<br><b>SC</b> ≔ <b>SC<sub>i,h</sub></b>/<b>TCZ<sub>α</sub></b> ≔ <b>K<sub>i,α</sub>(h)</b>(層 α の候補集合)/<b>F<sub>SC</sub></b> ≔ <b>F<sub>i,h</sub></b></div>
309<div class="theorem"><div class="theorem-title">定理16(自己意識存在・発生定理)</div>
310<p>各抽象層 α の候補集合 K<sub>i,α</sub>(h) が空でなくコンパクトで、層間の射影が連続かつ整合的であるとする。さらに自己反映写像 F<sub>i,h</sub> が縮小率 q &lt; 1 の縮小写像であるとする。このとき</p>
311<div class="eq"><span class="math">SC<sub>i,h</sub> = lim<sub>←</sub>K<sub>i,α</sub>(h) ≠ ∅, ∃!S<sub>i,h</sub><sup>*</sup> : F<sub>i,h</sub>(S<sub>i,h</sub><sup>*</sup>) = S<sub>i,h</sub><sup>*</sup>, d<sub>SC</sub>(F<sup>n</sup>S<sub>0</sub>,S<sub>i,h</sub><sup>*</sup>) ≤ q<sup>n</sup>d<sub>SC</sub>(S<sub>0</sub>,S<sub>i,h</sub><sup>*</sup>)</span><span class="eqno">(3.9)</span></div></div>
312<div class="proof"><div class="proof-title">証明</div>
313<p><b>存在。</b>各 K<sub>i,α</sub>(h) は空でないコンパクト Hausdorff 空間であり、射影は連続。コンパクト空間の逆系の逆極限は空でない(Tychonoff の定理からの標準的帰結)。よって SC<sub>i,h</sub> ≠ ∅。<b>一意性。</b>SC<sub>i,h</sub> は完備距離空間であり、F<sub>i,h</sub> は縮小率 q &lt; 1 の縮小写像であるから、Banach の不動点定理により固定点は存在し、かつただ一つである。反復列の誤差評価 d<sub>SC</sub>(F<sup>n</sup>S<sub>0</sub>,S<sup>*</sup>) ≤ q<sup>n</sup>d<sub>SC</sub>(S<sub>0</sub>,S<sup>*</sup>) も同定理から従う。<b>存在は位相幾何から、一意性は不動点定理から来る。出所が異なる。</b>また固定点は履歴 h に依存するため、示されたのã
313¯æ™®éçš„実体ではなく履歴相対的な自己像である。<span class="qed">∎</span></p></div>
314
315<h3>3.9 定理18(内省言語進化定理)</h3>
316<div class="stdform"><span class="t">◆ 中心式(標準形)</span>H(Z|Y,M<sub>ℓ</sub>) &lt; H(Z|Y); Π<sub>0</sub> ⊆ Π<sub>ℓ</sub>; ∂ℱ/∂ℓ &gt; 0<span class="src">『苫米地抽象度自由論』全定理一覧の標準形に一致</span></div>
317<div class="theorem"><div class="theorem-title">定理18(内省言語進化定理)</div>
318<p>内省言語 M<sub>ℓ</sub> が観測 Y に対して非自明な情報を与えるとき</p>
319<div class="eq"><span class="math">H(Z|Y,M<sub>ℓ</sub>) &lt; H(Z|Y), Π<sub>0</sub> ⊆ Π<sub>ℓ</sub>, ∂ℱ/∂ℓ &gt; 0</span><span class="eqno">(3.10)</span></div></div>
320<div class="proof"><div class="proof-title">証明</div>
321<p><b>情報。</b>条件付きエントロピーの単調性より H(Z|Y,M<sub>ℓ</sub>) ≤ H(Z|Y) が常に成り立ち、等号成立は I(Z;M<sub>ℓ</sub>|Y) = 0、すなわち M<sub>ℓ</sub> が Y のもとで Z に関して情報を持たない場合に限る。非自明性の仮定はこれを排除するので、狭義不等号が成り立つ。<b>制御。</b>内省言語を持つ主体は、持たない主体の方策をすべて模倣できる(M<sub>ℓ</sub> を無視すればよい)ので Π<sub>0</sub> ⊆ Π<sub>ℓ</sub>。<b>進化。</b>方策集合が広がれば上限は減少しないので、自由意思容量 ℱ は ℓ について非減少であり、非自明性のもとで狭義増加する。<span class="qed">∎</span></p></div>
322
323<h3>3.10 定理24(一切皆苦定理)・定理25(諸法無我定理)・定理26(涅槃寂静定理)――四法印論文の参照</h3>
324<p>定理24(一切皆苦定理)・定理25(諸法無我定理)・定理26(涅槃寂静定理)については、証明を本稿に再掲せず『苫米地四法印定理』を参照する。本稿が用いるのは次の三点である。</p>
325<div class="rigor"><div class="rigor-title">四法印論文から継承する内容</div>
326<ol>
327<li><b>定理24(一切皆苦定理)</b>:条件24-A(空未満では V<sub>a</sub> = 0 をほとんど至る所で永久に保つ方策が存在しない)と常設仮定(軌道評価の可測性、少なくとも一つの有限コスト方策の存在、最小値の実現)のもとで、a ≺ ⊤ ならば J<sup>*</sup><sub>a,ρ</sub>(x,T) &gt; 0。</li>
328<li><b>定理25(諸法無我定理)</b>:条件25-B〜25-D(特に関係的機能完備性 25-D)のもとで、関係記述から独立し履歴を通じて固定され個体化を担い因果的に非冗長な内在変数は存在しない。すなわち ¬Atman(d,a)。</li>
329<li><b>定理26(涅槃寂静定理)</b>:単一の条件26-A(零苦集合と安定性)のもとで、𝒩<sub>⊤</sub>(T) = ℬ<sub>alive</sub> ∩ {x | J<sup>*</sup><sub>⊤,ρ</sub>(x,T) = 0} は空でなく閉かつ前向き不変であり、二次の挟み込み (26.A) と厳密下降 (26.B) が成り立つ。本稿が用いるのは (26.A) と (26.B) であり、(26.C) は不要である。</li>
330</ol></div>
331<p>これら三定理の証明は当該論文にあり、本稿はその結論のみを前提として用いる。<b>本稿は四法印論文の主張を再証明するものではない。</b></p>
332</section>
333
334
335<section id="t28">
336<h2>4. 定理28――涅槃無我・型整合定理</h2>
337<h3>4.1 タグ付き領域</h3>
338<p>層の異なる点を同一点として比較しないため、非交和を用いる。</p>
339<div class="eq"><span class="math">𝔛:=(⊔<sub>a≺⊤</sub>{a}× X<sub>a</sub>) ⊔({⊤}×ℬ<sub>alive</sub>), 𝔇<sub>&lt;⊤</sub>:=⊔<sub>a≺⊤</sub>{a}× X<sub>a</sub>, Nir(T):={⊤}×𝒩<sub>⊤</sub>(T).</span><span class="eqno">(28.1)</span></div>
340<div class="assumption"><div class="assumption-title">条件28-A(涅槃過程への関係的機能完備性)</div>
341<p>集合過程 <span class="math">d<sub>N</sub>:=(T↦𝒩<sub>⊤</sub>(T))</span> を定理25(諸法無我定理)の現象索引集合 <span class="math">𝔇</span> に含める。その関係状態 <span class="math">Γ<sub>d<sub>N</sub>,⊤</sub></span> は、少なくとも</p>
342<div class="eq"><span class="math">Θ<sub>N</sub>=(X<sub>⊤</sub>,ℬ<sub>alive</sub>,V<sub>⊤</sub>,ρ,Pol<sub>⊤</sub>, f<sub>⊤</sub>,π<sup>0</sup><sub>⊤</sub>)</span><span class="eqno">(28.2)</span></div>
343<p>と、集合族 <span class="math">𝒩<sub>⊤</sub><sup>Θ<sub>N</sub></sup>(T)</span>、履歴、層間関係、他存在との関係を含み、候補自性 <span class="math">Σ<sub>N</sub></span> への介入について条件25-Dを満たす。また、<span class="math">d<sub>N</sub></span> を加えた拡張後の現象索引集合について条件25-B〜Dが成立する。</p></div>
344<div class="theorem">
345<div class="theorem-title">定理28(苫米地涅槃無我・型整合定理)</div>
346<p>定理24(一切皆苦定理)の条件24-Aおよび常設仮定(軌道評価の可測性、少なくとも一つの有限コスト方策、最小値実現)、定理25(諸法無我定理)の25-B〜D、定理26(涅槃寂静定理)の
346常設仮定と条件26-A、ならびに条件28-Aを仮定する。このとき、任意の <span class="math">T≥0</span> と任意の <span class="math">(a,x)∈𝔛</span> について、</p>
347<div class="eq"><span class="math">𝔇<sub>&lt;⊤</sub>∩Nir(T)=∅,</span><span class="eqno">(28.3)</span></div>
348<div class="eq"><span class="math">(a,x)∈𝔇<sub>&lt;⊤</sub>⇒ J<sup>*</sup><sub>a,ρ</sub>(x,T)&gt;0, (⊤,x)∈Nir(T)⇒ J<sup>*</sup><sub>⊤,ρ</sub>(x,T)=0.</span><span class="eqno">(28.4)</span></div>
349<p>さらに、完全寂静述語はタグ付き空間上で</p>
350<div class="eq"><span class="math">PZS(a,x,T)⇔ [a=⊤∧x∈𝒩<sub>⊤</sub>(T)]</span><span class="eqno">(28.5)</span></div>
351<p>を満たし、涅槃過程は</p>
352<div class="eq"><span class="math">¬Atman(d<sub>N</sub>,⊤)</span><span class="eqno">(28.6)</span></div>
353<p>である。定理25(諸法無我定理)の全層条件を <span class="math">d<sub>N</sub></span> に継承する場合は、<span class="math">∀ a∈𝒜 ¬Atman(d<sub>N</sub>,a)</span> が成り立つ。</p>
354</div>
355<div class="proof"><div class="proof-title">証明</div>
356<p>(28.3) は非交和のタグ <span class="math">a≺⊤</span> と <span class="math">a=⊤</span> が同時に成立しないことから従う。(28.4) の左辺は定理24(一切皆苦定理)、右辺は <span class="math">𝒩<sub>⊤</sub>(T)</span> の定義である。定理24(一切皆苦定理)は <span class="math">a≺⊤</span> にのみ量化され、定理26(涅槃寂静定理)は <span class="math">a=⊤</span> にのみ寂静点を与えるため、同一の型付き点に正費用と零費用を同時に主張しない。定理26(涅槃寂静定理)のPZS分類を非交和へ持ち上げれば(28.5)を得る。</p>
357<p>無我部を示す。独立候補 <span class="math">Σ<sub>N</sub></span> が <span class="math">(Γ<sub>d<sub>N</sub>,⊤</sub>,Y<sup>+</sup><sub>d<sub>N</sub></sub>)</span> の介入後分布を変えるなら条件25-Dに反する。変えないなら <span class="math">Σ<sub>N</sub></span> は因果的に冗長であり、<span class="math">Atman</span> の「非冗長な個体化原因」を満たさない。いずれの場合も <span class="math">Atman(d<sub>N</sub>,⊤)</span> は偽である。<span class="qed">∎</span></p>
358</div>
359<div class="result"><div class="result-title">数学的帰結</div><p>「一切皆苦」と「涅槃寂静」は、同じ無型点について矛盾する二命題ではなく、排他的な型付き領域の命題である。そして涅槃は、関係記述を超える固定的自性をもたない零費用集合過程として、定理25(諸法無我定理)の無我述語に含まれる。</p></div>
360<div class="note"><strong>教学上の読み。</strong> 本モデルは、出世間を含めて無我と読む注釈的立場と整合する。ただし、説一切有部の三句再編や上座部注釈・異読の歴史的優劣は数学からは決まらない。数学が保証するのは、型付き領域の排他性と、条件28-Aのもとでの無我である。</div>
361<div class="rigor"><div class="rigor-title">言ってよいこと/言い過ぎとなること</div><p><span class="math">𝒩<sub>⊤</sub>(T)</span> は数学的集合として定義できる。否定されるのは、その関係記述を超える独立・固定・因果的に非冗長な自性である。「必ず時々刻々変わる」までいうには、別途 <span class="math">∃ T<sub>1</sub>,T<sub>2</sub>:𝒩<sub>⊤</sub>(T<sub>1</sub>)≠𝒩<sub>⊤</sub>(T<sub>2</sub>)</span> が必要である。</p></div>
362</section>
363
364<section id="t29">
365<h2>5. 定理29――形式法体系無自性・不完備定理</h2>
366<h3>5.0 モデル化の正当化――なぜ法を形式理論として扱えるのか</h3>
367<p>本節の結論は外部メタ定理に依存する。したがって、そもそも「教説としての法」を形式理論としてモデル化してよいのか、という問いに先に答えておく必要がある。<b>この問いは数学の内部では決着しない。</b>以下は、モデル化の適用範囲を限定し、限定が満たされる根拠を述べるものであって、法一般の形式化可能性を主張するものではない。</p>
368
369<div class="rigor"><div class="rigor-title">何をモデル化し、何をモデル化しないか</div>
370<p>本節がモデル化するのは、<b>命題として述べられ、規定された推論関係のもとで閉じている教説の集まり</b>である。これを 𝕋<sub>h</sub> と書く。<b>モデル化の対象外である</b>のは次の三つである。第一に、実践・修行・体験そのもの。第二に、言語的定式化を超えるとされる内容(本体系の用語では、最高抽象度における不可説の側面)。第三に、命題的閉包を持たない実践的指示のみからなる教示。<b>本節の結論は、これら三つについては何も述べない。</b></p></div>
371
372<p>条件29-Aは、有効性・算術強度・健全性の三つからなる。以下、各条件が恣意的な便宜ではなく、<b>教説が教説として機能するための必要条件</b>であることを示す。</p>
373
374<h4>(a) 有効性――公理集合が帰納的可算であること</h4>
375<p>ある命題がその教説に属するか否かを、有限の手続きで判定または枚挙できなければ、その教説は<b>教授も伝承も検証もできない</b>
375。何が説かれたのかを確定できない体系は、後代がそれを保持することができず、異説との区別もつかない。逆に、経典の集成・結集・注釈の伝統が成立しているという歴史的事実は、その教説が枚挙可能な形で扱われてきたことを示す。<b>したがって有効性は、法が伝えられうるための条件そのものである。</b>この条件を外すことは、伝承可能性を放棄することに等しい。</p>
376
377<h4>(b) 算術強度――Robinson算術 Q を解釈できること</h4>
378<p>教説の内部には、有限列と再帰が現れる。十二縁起は順序づけられた十二項の列であり、五蘊・六処・四諦は有限個の項目の枚挙であり、順観と還滅観は列に沿った前進と後退の反復である。本体系においては、さらに抽象度の束に沿った再帰(定理22(高高度LUB臨場感定理)の包摂更新)が現れる。<b>これらを内部で表現するには、後者関数・加法・乗法と基本的な順序公理があれば足り、それはまさに Q である。</b>逆に Q を解釈できない体系は、自らの枚挙構造を語れない。<b>算術強度は、教説が自らの構造を内部で述べるための最小限の要件である。</b></p>
379
380<h4>(c) 健全性――証明された算術的言明が真であること</h4>
381<p>自らの有限的組合せ構造について偽を証明する体系は、自己論駁的である。たとえば「十二の支は十三である」を証明できる体系は、その枚挙の意味を失う。<b>健全性は、教説が自らについて誤らないという最小限の要求である。</b>なお、定理29(形式法体系無自性・不完備定理)の結論のうち第一・第二の主張には健全性まで必要でなく、無矛盾性(第二不完全性定理)および ω 無矛盾性ないし Rosser 型の議論(第一不完全性定理)で足りる。健全性を課すのは、結論を平易に述べるための強化であって、本質的な制約ではない。</p>
382
383<div class="result"><div class="result-title">適用範囲の限定(明示)</div>
384<p>
384三条件のいずれかが満たされない体系には、<b>定理29(形式法体系無自性・不完備定理)は適用されない。</b>具体的には、(i) 公理集合が枚挙不能な体系、(ii) Q を解釈できないほど表現力の弱い体系、(iii) 自らの有限的言明について誤る体系。<b>本定理は「あらゆる法が不完全である」とは主張しない。</b>主張するのは、条件29-Aを満たす形式化された教説体系について不完全性が従う、という条件付き言明のみである。</p></div>
385
386<h4>(d) 本定理が主張しないこと</h4>
387<p>三点を明示する。<b>第一に、教説が誤りであるとは主張しない。</b>不完全性は虚偽性ではない。決定不能文の存在は、体系が偽を含むことを意味しない。<b>第二に、教説が無矛盾でないとは主張しない。</b>第二不完全性定理が述べるのは、無矛盾性を<b>内部で証明できない</b>ということであって、無矛盾でないということではない。<b>第三に、宗教としての法の価値について何も述べない。</b>本定理の射程は、命題的閉包を持つ形式化部分に限られる。</p>
388
389<h4>(e) 定理25(諸法無我定理)との関係――本定理は新たな形而上学的主張ではない</h4>
390<p>本定理が導く無自性は、定理25(諸法無我定理)の関係的機能完備性を、形式理論という特定の対象に適用した<b>具体例</b>である。すなわち、形式理論 𝕋<sub>h</sub> は、自らの外部(メタ理論、より強い体系、追加公理)との関係を外したとき、自らの無矛盾性という自己基礎づけを持たない。<b>関係から切り離された自己完結的な基礎づけが存在しない</b>という点で、これは定理25(諸法無我定理)の述べる無自性と同一の構造である。<b>本節は新しい形而上学を導入せず、既存の定理を一つの対象へ適用しているにすぎない。</b></p>
391
392<div class="note"><p><b>想定される反論と応答。</b>「法は形式体系ではない。これは範疇錯誤である」という反論が予想される。応答は次のとおりである。<b>本定理は法と形式体系の同一性を主張していない。</b>主張は条件文である――ある教説の集まりが条件29-Aを満たすならば、以下が従う。したがって、法を形式体系とみなã
392•ない立場は本定理と衝突しない。むしろ本定理の力が向かう先は、<b>「教説が完全であり、自らのうちで完結して基礎づけられている」という主張</b>である。そのような主張は、教説が教授可能(有効性)であり自らの枚挙構造を語れる(算術強度)ことを同時に要求するため、条件29-Aの適用対象となる。<b>本定理が否定するのは法ではなく、法についての完結性の主張である。</b></p></div>
393
394<p>既存の定理25(諸法無我定理)はすでに「諸法無我定理」であるため、本節は同名にしない。また、現象としての <em>dharma</em> と、教説として形式化された <em>Dharma</em> を区別する。「法そのものが公理系である」は結論ではなく、次のモデル化条件である。</p>
395<h3>5.1 形式理論条件</h3>
396<p>履歴段階 <span class="math">h∈ℕ</span> ごとに、形式理論を</p>
397<div class="eq"><span class="math">𝕋<sub>h</sub>=(L<sub>h</sub>,Ax<sub>h</sub>,⊢<sub>h</sub>), Th(𝕋<sub>h</sub>)=Cn<sub>⊢<sub>h</sub></sub>(Ax<sub>h</sub>)</span><span class="eqno">(29.1)</span></div>
398<p>とする。</p>
399<div class="assumption"><div class="assumption-title">条件29-A(有効・算術的・健全な形式化)</div>
400<p>各 <span class="math">L<sub>h</sub></span> は算術言語またはその計算可能な定義拡大で、計算可能に符号化される。<span class="math">Ax<sub>h</sub></span> は計算可枚挙、証明検査は有効である。<span class="math">𝕋<sub>h</sub></span> は <span class="math">IΣ<sub>1</sub></span> 程度の十分な算術を含み、少なくとも算術文について標準自然数模型 <span class="math">ℕ</span> に対し健全で、標準的証明述語とHilbert–Bernays–Löb導出可能性条件を持つ。prefix-free普遍機械 <span class="math">U</span> を一つ固定し、<span class="math">K<sub>U</sub></span> を理論内で算術化できる。</p></div>
401<div class="assumption"><div class="assumption-title">条件29-B(形式法過程への定理25(諸法無我定理)適用)</div>
402<p>段階過程 <span class="math">d<sub>𝕋</sub>:=(h↦𝕋<sub>h</sub>)</span> を <span class="math">𝔇</span> に含め、言語、公理、推論規則、符号化、担体、履歴、利用結果を <span class="math">Γ<sub>d<sub>𝕋</sub>,a</sub></span> に機能的に完備して条件25-Dを適用する。</p></div>
403<div class="assumption"><div class="assumption-title">条件29-C(開放的更新規則)</div>
404<p>全段階で同じ算術言語 <span class="math">L</span>、推論系 <span class="math">⊢</span>、普遍機械 <span class="math">U</span> を用い、<span class="math">𝕋<sub>0</sub>=(L,Ax<sub>0</sub>,⊢)</span> は29-Aを満たす。各有限段階 <span class="math">n</span> で、標準模型で真だが <span class="math">𝕋<sub>n</sub></span> では証明不能な文 <span class="math">G<sub>n</sub></span> をメタ理論で選び、</p>
405<div class="eq"><span class="math">Ax<sub>n+1</sub>:=Ax<sub>n</sub>∪{G<sub>n</sub>}, 𝕋<sub>n+1</sub>:=(L,Ax<sub>n+1</sub>,⊢), Th(𝕋<sub>n+1</sub>)=Cn<sub>⊢</sub>(Ax<sub>n</sub>∪{G<sub>n</sub>}).</span><span class="eqno">(29.2)</span></div></div>
406<div class="theorem"><div class="theorem-title">定理29(苫米地形式法体系無自性・不完備定理)</div>
407<p>条件29-Aを満たす各 <span class="math">𝕋<sub>h</sub></span> について、次が成り立つ。</p>
408<ol>
409<li>真なる決定不能文が存在する:
410<span class="math">∃ G<sub>h</sub> [ℕ⊨ G<sub>h</sub>∧𝕋<sub>h</sub>⊬ G<sub>h</sub>∧𝕋<sub>h</sub>⊬¬ G<sub>h</sub>].</span><span class="eqno">(29.3)</span></li>
411<li>自己の無矛盾性を内部証明できない:
412<span class="math">𝕋<sub>h</sub>⊬Con(𝕋<sub>h</sub>).</span><span class="eqno">(29.4)</span></li>
413<li>機械 <span class="math">U</span> と理論に依存する定数 <span class="math">c<sub>h,U</sub></span> が存在し、
414<span class="math">
414∀ s∈{0,1}<sup>*</sup> ∀ n∈ℕ (n&gt;c<sub>h,U</sub>): 𝕋<sub>h</sub>⊬ ``K<sub>U</sub>(s̄)&gt;n̄''.</span><span class="eqno">(29.5)</span></li>
415</ol>
416<p>さらに条件29-Bのもとで、<span class="math">∀ a∈𝒜 ¬Atman(d<sub>𝕋</sub>,a)</span> である。条件29-Cのもとで、</p>
417<div class="eq"><span class="math">Th(𝕋<sub>0</sub>)⊊Th(𝕋<sub>1</sub>) ⊊⋯⊊Th(𝕋<sub>n</sub>)⊊⋯</span><span class="eqno">(29.6)</span></div>
418<p>は各有限段階で健全性を保ちながら不完全性が再発する厳密増大鎖であり、有限段に最終完全理論はない。特に離散的無常述語</p>
419<div class="eq"><span class="math">Anicca<sub>step</sub>(d<sub>𝕋</sub>):⇔ ∀ n [Th(𝕋<sub>n+1</sub>)≠Th(𝕋<sub>n</sub>)]</span><span class="eqno">(29.7)</span></div>
420<p>は真である。これは条件29-Cが与える更新過程の無常であって、Gödel・Chaitinだけの帰結ではない。</p></div>
421<div class="proof"><div class="proof-title">証明</div>
422<p>(29.3) は条件29-Aの有効性・十分な算術強度・健全性のもとでGödel第一不完全性定理を適用した結果である。(29.4) は同じ理論の無矛盾性と標準導出可能性条件からGödel第二不完全性定理による。</p>
423<p>(29.5) を背理法で示す。一様上限がないなら、任意に大きい入力 <span class="math">n</span> に対し、<span class="math">𝕋<sub>h</sub></span> の証明を列挙して最初に現れる <span class="math">``K<sub>U</sub>(s̄)&gt;m''</span>(ただし <span class="math">m≥ n</span>)を探し、その <span class="math">s</span> を出力できる。プログラム長は固定された <span class="math">𝕋<sub>h</sub></span> 証明列挙器の記述長 <span class="math">c<sub>h</sub></span> と <span class="math">n</span> の自己区切り記述長の和、すなわち <span class="math">c<sub>h</sub>+K(n)+O(1)=c<sub>h</sub>+O(log n)</span> である。一方、健全性により出力された <span class="math">s</span> は真に <span class="math">K<sub>U</sub>(s)&gt;m≥ n</span> を満たす。十分大きい <span class="math">n</span> では <span class="math">c<sub>h</sub>+O(log n)&lt;n</span> となり矛盾する。よって一様閾値 <span class="math">c<sub>h,U</sub></span> が存在する。</p>
424<p>29-Bの無自性結論は、定理28(涅槃無我・型整合定理)と同じ25-Dの二分法を <span class="math">d<sub>𝕋</sub></span> に適用すれば従う。29-Cでは、真文を一つ加えるので標準模型に対する健全性は保存され、<span class="math">G<sub>n</sub>∉Th(𝕋<sub>n</sub>)</span> だが <span class="math">G<sub>n</sub>∈Th(𝕋<sub>n+1</sub>)</span> だから包含は厳密である。各 <span class="math">𝕋<sub>n+1</sub></span> は再び29-Aを満たすので、不完全性を帰納的に再適用できる。<span class="qed">∎</span></p></div>
425<div class="rigor"><div class="rigor-title">論理学から直接は出ない主張</div>
426<ul><li>「すべての公理系は不完全」は偽である。弱い決定可能理論や、非効果的な完全真理集合は射程外である。</li><li>不完全性定理だけでは時間変化は出ない。更新は条件29-Cで新たに与えた。</li><li>「アプリオリが否定された」は哲学的解釈である。数学的結論は、十分に強い有効理論の非完結性、自己認証限界、複雑性下界の内部証明限界である。</li><li>Gödel・Chaitinだけでは仏教的無我は出ない。無自性結論は定理25(諸法無我定理)と条件29-Bから出る。</li></ul></div>
427</section>
428
429<section id="t30">
430<h2>6. 定理30――エントロピー交換自我構成定理</h2>
431<p>定理1(苫米地主定理)ではEgoはすでに制御方策として、定理16(自己意識存在・発生定理)では自己意識逆極限と固定点が、定理18(内省言語進化定理)ではそれを前提とする内部言語が定義されている。したがって本定理の「生成」は、主体を無から作ることでã
431¯ãªãã€<strong>内省言語が履歴相対的なEgo構成を選択・安定化すること</strong>を意味する。</p>
432<h3>6.1 逆系上の内省言語</h3>
433<p>主体 <span class="math">i</span> について、定理16(自己意識存在・発生定理)の逆系を</p>
434<div class="eq"><span class="math">K<sub>a</sub>:=TCZ<sub>i,a</sub>, p<sub>ba</sub>:K<sub>a</sub>→ K<sub>b</sub>(b≺ a), SC<sub>i</sub>:=lim<sub>←</sub><sub>a</sub> K<sub>a</sub></span><span class="eqno">(30.1)</span></div>
435<p>とする。<span class="math">SC<sub>i</sub></span> はBanach空間内の非空コンパクト凸集合(したがって完備距離空間)で、既存フィードバック <span class="math">F<sub>i</sub>:SC<sub>i</sub>→ SC<sub>i</sub></span> を持つ。</p>
436<div class="assumption"><div class="assumption-title">条件30-A(射影整合な言語写像と非自明縮小)</div>
437<p>内省言語列 <span class="math">m∈Σ<sub>i</sub><sup>*</sup></span> ごとに連続写像 <span class="math">L<sub>a,m</sub>:K<sub>a</sub>→ K<sub>a</sub></span> があり、<span class="math">L<sub>a,ε</sub>=id<sub>K<sub>a</sub></sub></span> かつ</p>
438<div class="eq"><span class="math">p<sub>ba</sub>∘ L<sub>a,m</sub>=L<sub>b,m</sub>∘ p<sub>ba</sub>.</span><span class="eqno">(30.2)</span></div>
439<p>これが誘導する <span class="math">L<sub>m</sub>:SC<sub>i</sub>→ SC<sub>i</sub></span>
439 に対し <span class="math">G<sub>m</sub>:=F<sub>i</sub>∘ L<sub>m</sub></span> と置く。定理16(自己意識存在・発生定理)の完備距離 <span class="math">d<sub>SC</sub></span> のもとで <span class="math">Lip(F<sub>i</sub>)=q<sub>F</sub>&lt;1</span> とする。各非空語 <span class="math">m≠ε</span> について <span class="math">Lip(L<sub>m</sub>)=q<sub>m</sub></span>、<span class="math">q<sub>F</sub>q<sub>m</sub>&lt;1</span> とし、空語固定点 <span class="math">S<sup>*</sup><sub>ε</sub></span> について</p>
440<div class="eq"><span class="math">G<sub>m</sub>(S<sup>*</sup><sub>ε</sub>)≠ S<sup>*</sup><sub>ε</sub>.</span><span class="eqno">(30.3)</span></div></div>
441<div class="assumption"><div class="assumption-title">条件30-B(Ego方策の実現)</div>
442<p>言語拡張方策空間 <span class="math">Π<sub>i</sub><sup>(ℓ)</sup></span> はコンパクトで、費用 <span class="math">J<sub>i</sub>(π;S)</span> は <span class="math">π</span> に下半連続である。したがって</p>
443<div class="eq"><span class="math">π<sup>(ℓ),*</sup><sub>c,m</sub>∈*arg min<sub>π∈Π<sub>i</sub><sup>(ℓ)</sup></sub>J<sub>i</sub>(π;S<sub>m</sub><sup>*</sup>)</span><span class="eqno">(30.4)</span></div>
444<p>が実現する。</p></div>
445<div class="assumption"><div class="assumption-title">条件30-C(Shannon–状態エントロピー橋)</div>
446<p>履歴相対的な言語条件付きEgo構成の不確実性を、確率変数 <span class="math">Z:Ω→ SC<sub>i</sub></span> とその座標 <span class="math">Z<sub>a</sub>:=pr<sub>a</sub>∘ Z</span> で表す。<span class="math">Z<sub>a</sub></span> は有限または可算値(あるいは固定量子化済み)で、以下のShannonエントロピーは有限非負とする。低層観測と時刻 <span class="math">t</span> までの言語履歴が作る情報を <span class="math">𝒢<sub>t</sub></span> とする。同一対象 <span class="math">Z</span> を更新する区間では、定理15(認知物理エントロピー交換・保存定理)の状態エントロピーと定理18(内省言語進化定理)の条件付きShannonエントロピーを</p>
447<div class="eq"><span class="math">H<sub>a</sub><sup>(15)</sup>(x<sub>a</sub>(t))=c<sub>a</sub> H(Z<sub>a</sub>|𝒢<sub>t</sub>), c<sub>a</sub>&gt;0</span><span class="eqno">(30.5)</span></div>
448<p>で接続し、以後 <span class="math">w<sub>a</sub>← w<sub>a</sub>c<sub>a</sub></span> と再定義する。定理15(認知物理エントロピー交換・保存定理、本稿 §3.7)の和の正則性A6′と交換式A7が同じ <span class="math">H<sub>a</sub>,w<sub>a</sub></span> に適用される。</p></div>
449<div class="theorem"><div class="theorem-title">定理30(苫米地エントロピー交換自我構成定理)</div>
450<p>定理15(認知物理エントロピー交換・保存定理)・定理16(自己意識存在・発生定理)・定理18(内省言語進化定理)の仮定と条件30-A〜Cのもとで、各非空内省言語列 <span class="math">m</span> は一意な固定点 <span class="math">S<sub>m</sub><sup>*</sup>∈ SC<sub>i</sub></span> を選択し、任意の初期自己状態 <span class="math">S<sub>0</sub>∈ SC<sub>i</sub></span> について</p>
451<div class="eq"><span class="math">d<sub>SC</sub>(G<sub>m</sub><sup>n</sup>S<sub>0</sub>,S<sub>m</sub><sup>*</sup>)≤(q<sub>F</sub>q<sub>m</sub>)<sup>n</sup> d<sub>SC</sub>(S<sub>0</sub>,S<sub>m</sub><sup>*</sup>).</span><span class="eqno">(30.6)</span></div>
452<p>また <span class="math">S<sub>m</sub><sup>*</sup>≠ S<sup>*</sup><sub>ε</sub></span> であり、</p>
453<div class="eq"><span class="math">𝔈<sub>i</sub>[m]:=(S<sub>m</sub><sup>*</sup>,M(S<sub>m</sub><sup>*</sup>),π<sup>(ℓ),*</sup><sub>c,m</sub>)</span><span class="eqno">(30.7)</span></div>
454<p>は言語・履歴相対的なEgo構成をなす。</p>
455<p><span class="math">t<sub>1</sub>&lt;t<sub>2</sub></span> に新しい内省言語 <span class="math">M<sub>(t<sub>1</sub>,t<sub>2</sub>]</sub></span> が加わり、<span class="math">𝒢<sub>t<sub>2</sub></sub>=𝒢<sub>t<sub>1</sub></sub>∨σ(M<sub>(t<sub>1</sub>,t<sub>2</sub>]</sub>)</span> とする。重み付き自我構造化エントロピー</p>
456<div class="eq"><span class="math">ℋ<sub>ego</sub>(t):=Σ<sub>a≻0</sub>w<sub>a</sub>H(Z<sub>a</sub>|𝒢<sub>t</sub>)</span><span class="eqno">(30.8)</span></div>
457<p>について、<span class="math">Δ X:=X(t<sub>2</sub>)-X(t<sub>1</sub>)</span> と定めると、</p>
458<div class="eq"><span class="math">Δℋ<sub>ego</sub>=-Σ<sub>a≻0</sub>w<sub>a</sub> I(Z<sub>a</sub>;M<sub>(t<sub>1</sub>,t<sub>2</sub>]</sub>|𝒢<sub>t<sub>1</sub></sub>)≤0,</span><span class="eqno">(30.9)</span></div>
459<div class="eq"><span class="math">Δ S<sub>phys</sub>= Σ<sub>a≻0</sub>w<sub>a</sub> I(Z<sub>a</sub>;M<sub>(t<sub>1</sub>,t<sub>2</sub>]</sub>|𝒢<sub>t<sub>1</sub></sub>) +∫<sub>t<sub>1</sub></sub><sup>t<sub>2</sub></sup>Π(s) ds≥0.</span><span class="eqno">(30.10)</span></div>
460<p>少なくとも一層で相互情報量が正なら <span class="math">Δ S<sub>phys</sub>&gt;0</span>。<span class="math">Π=0</span> の理想可逆交換では、認知側の重み付き秩序化量と物理側増大量が等しい。</p></div>
461<div class="proof"><div class="proof-title">証明</div>
462<p><span class="math">S=(s<sub>a</sub>)<sub>a</sub>∈ SC<sub>i</sub></span>
462 とする。(30.2)より <span class="math">p<sub>ba</sub>(L<sub>a,m</sub>s<sub>a</sub>)=L<sub>b,m</sub>(p<sub>ba</sub>s<sub>a</sub>)=L<sub>b,m</sub>s<sub>b</sub></span> だから、<span class="math">L<sub>m</sub>S</span> は再び整合族である。ゆえに <span class="math">L<sub>m</sub></span>、したがって <span class="math">G<sub>m</sub></span> は <span class="math">SC<sub>i</sub></span> の自己写像である。<span class="math">q<sub>F</sub>q<sub>m</sub>&lt;1</span> よりBanachの固定点定理を適用でき、一意固定点と(30.6)を得る。もし <span class="math">S<sub>m</sub><sup>*</sup>=S<sup>*</sup><sub>ε</sub></span> なら固定点性が(30.3)に反する。条件30-Bから方策(30.4)が存在し、(30.7)は型の整合した三つ組である。</p>
463<p>条件付きエントロピーの連鎖律から、各層で</p>
464<div class="eq"><span class="math">H(Z<sub>a</sub>|𝒢<sub>t<sub>2</sub></sub>)=H(Z<sub>a</sub>|𝒢<sub>t<sub>1</sub></sub>)-I(Z<sub>a</sub>;M<sub>(t<sub>1</sub>,t<sub>2</sub>]</sub>|𝒢<sub>t<sub>1</sub></sub>).</span><span class="eqno">(30.11)</span></div>
465<p>重み付きに和を取れば(30.9)。条件30-Cにより、これが定理15(認知物理エントロピー交換・保存定理)の交換台帳と同じ量である。A7を区間積分し(30.9)を代入すれば(30.10)となる。相互情報量と <span class="math">Π</span> は非負なので結論を得る。<span class="qed">∎</span></p></div>
466<div class="note"><strong>無我との整合。</strong> 一意性は言語列 <span class="math">m</span> と履歴を固定した条件付き一意性であり、絶対的な固定自我を意味しない。(30.3)は異なる言語履歴で固定点が変わりうることを明示し、このEgo構成を定理25(諸法無我定理)の履歴相対的関係構造の内部に置く。</div>
467<div class="rigor"><div class="rigor-title">動的対象の場合</div><p>自己状態そのものが区間内で変化するなら、<span class="math">Ḣ<sub>a</sub>=σ<sub>a</sub>-ι<sub>a</sub></span>(新規不確実性率−言語情報率)と分け、<span class="math">Σ w<sub>a</sub>(ι<sub>a</sub>-σ<sub>a</sub>)&gt;0</span> を正味構造化条件とする必要がある。定理18(内省言語進化定理)の正の情報利得だけでは、この正味不等式は自動的に出ない。また、一般の情報取得にLandauer下限を直接適用してはならず、物理的消去過程を別途指定する必要がある。</p></div>
468</section>
469
470<section id="t31">
471<h2>7. 定理31――内省言語閉包・低抽象度六道輪廻定理</h2>
472<p>通称を「数理言語罠定理」とする。定理18(内省言語進化定理)の <span class="math">Π<sup>0</sup>⊆Π<sup>(ℓ)</sup></span> は言語が選択肢を増やすことしか述べず、高抽象度への脱出を保証しない。罠を証明するには、言語ジャンプと連続力学の両方を閉じる必要がある。</p>
473<h3>7.1 低抽象度帯とハイブリッド系</h3>
474<p><span class="math">ā≺⊤</span> を固定し、定理3(抽象的共有TCZ収束定理)の抽象写像 <span class="math">φ</span> により</p>
475<div class="eq"><span class="math">↓ā:={b| b≼ā}, K<sub>ā</sub>:={x∈ X|φ(x)∈↓ā}</span><span class="eqno">(31.1)</span></div>
476<p>を閉集合とする。言語更新と、現在の言語化Ego方策による流れを</p>
477<div class="eq"><span class="math">x<sup>+</sup>=T<sub>m</sub>(x), m∈Σ<sub>ℓ</sub><sup>*</sup>, ẋ=F<sub>ℓ</sub>(x,t):=f(x,π<sub>ℓ</sub>(x,t),t)</span><span class="eqno">(31.2)</span></div>
478<p>とする。現在の言語・評価体制を固定した区間で <span class="math">V<sub>ℓ</sub>=V<sub>ℓ</sub>(x)</span> とし、閉じた現在TCZを <span class="math">C<sub>ℓ</sub>:=K<sub>ā</sub>∩{x| V<sub>ℓ</sub>(x)≤θ<sub>ℓ</sub>}</span> とする。</p>
479<div class="assumption"><div class="assumption-title">条件31-A(内省言語閉包)</div><p>
479すべての利用可能な言語列について <span class="math">T<sub>m</sub>(K<sub>ā</sub>)⊆ K<sub>ā</sub></span>。</p></div>
480<div class="assumption"><div class="assumption-title">条件31-B(連続流のNagumo不変性)</div><p>解は前方完備であり、境界上で <span class="math">F<sub>ℓ</sub>(x,t)∈ T<sub>K<sub>ā</sub></sub>(x)</span>。ここで <span class="math">T<sub>K</sub>(x)</span> はBouligand接錐である。</p></div>
481<div class="assumption"><div class="assumption-title">条件31-C(ハイブリッドTCZ吸引)</div><p>流れとジャンプの双方について前向き不変な吸引域 <span class="math">B<sub>ℓ</sub>⊆ K<sub>ā</sub></span>、定数 <span class="math">c<sub>1</sub>,c<sub>2</sub>,λ&gt;0</span>、連続Lyapunov残差 <span class="math">W<sub>ℓ</sub></span> が存在し、</p>
482<div class="eq"><span class="math">c<sub>1</sub>d(x,C<sub>ℓ</sub>)<sup>2</sup>≤ W<sub>ℓ</sub>(x,t)≤ c<sub>2</sub>d(x,C<sub>ℓ</sub>)<sup>2</sup>, D<sup>+</sup>W<sub>ℓ</sub>≤-2λ W<sub>ℓ</sub></span><span class="eqno">(31.3)</span></div>
483<p>を流れ上で満たす。各言語ジャンプは <span class="math">W<sub>ℓ</sub>(T<sub>m</sub>x,t<sup>+</sup>)≤ W<sub>ℓ</sub>(x,t<sup>-</sup>)</span> を満たし、ジャンプ時刻は非Zenoである。</p></div>
484<div class="assumption"><div class="assumption-title">条件31-D(六状態粗視化;輪廻部にのみ必要)</div><p>輪廻部では <span class="math">x<sub>0</sub>∈ C<sub>ℓ</sub></span> とし、<span class="math">C<sub>ℓ</sub>=⊔<sub>r=1</sub><sup>6</sup>R<sub>r</sub></span> を六つの非空Borel領域へ粗視化する。更新時刻は <span class="math">τ<sub>n</sub>↑∞</span> を満たし、</p>
485<div class="eq"><span class="math">Z<sub>n</sub>=r⇔ x(τ<sub>n</sub>)∈ R<sub>r</sub></span><span class="eqno">(31.D)</span></div>
486<p>で定める <span class="math">Z<sub>n</sub>∈{1,…,6}</span> は、外部状態を持たない時間斉次有限既約Markov連鎖である。</p></div>
487<div class="theorem"><div class="theorem-title">定理31(苫米地内省言語閉包・低抽象度六道輪廻定理/数理言語罠定理)</div>
488<p>定理1(苫米地主定理)・定理3(抽象的共有TCZ収束定理)・定理16(自己意識存在・発生定理)・定理18(内省言語進化定理)の正則条件と条件31-A〜Cを仮定する。任意の <span class="math">x<sub>0</sub>∈ B<sub>ℓ</sub></span> に対し、</p>
489<div class="eq"><span class="math">x(t)∈ K<sub>ā</sub> (∀ t≥0), d(x(t),C<sub>ℓ</sub>)≤√(c<sub>2</sub>/c<sub>1</sub>)e<sup>-λ t</sup>d(x<sub>0</sub>,C<sub>ℓ</sub>).</span><span class="eqno">(31.4)</span></div>
490<p>特に <span class="math">x<sub>0</sub>∈ C<sub>ℓ</sub></span> なら <span class="math">x(t)∈ C<sub>ℓ</sub></span> であり、現在TCZから出ない。高抽象度ゴール集合 <span class="math">H⊂ X∖ K<sub>ā</sub></span> が <span class="math">δ<sub>H</sub>:=d(K<sub>ā</sub>,H)&gt;0</span> を満たすなら、</p>
491<div class="eq"><span class="math">d(x(t),H)≥δ<sub>H</sub> (∀ t≥0),</span><span class="eqno">(31.5)</span></div>
492<p>したがって現在の言語・Ego閉ループだけでは <span class="math">H</span> に到達できない。</p>
493<p>さらに <span class="math">x<sub>0</sub>∈ C<sub>ℓ</sub></span> と条件31-Dのもとでは一意な定常分布 <span class="math">μ</span> が存在し、各 <span class="math">r</span> について</p>
494<div class="eq"><span class="math">Pr(Z<sub>n</sub>=rinfinitely often)=1, 1/NΣ<sub>n=0</sub><sup>N-1</sup>1<sub>{Z<sub>n</sub>=r}</sub>⟶ a.s.μ<sub>r</sub>&gt;0.</span><span class="eqno">(31.6)</span></div>
495</div>
496<div class="proof"><div class="proof-title">証明</div>
497<p>条件31-BとNagumoの不変性定理により連続流は <span class="math">K<sub>ā</sub></span> を保存し、31-Aにより各言語ジャンプも保存する。非Zeno性のもとで流れとジャンプについて帰納すれば、全ハイブリッド時刻で <span class="math">x(t)∈ K<sub>ā</sub></span>。</p>
498<p>流れ区間では比較定理から <span class="math">W<sub>ℓ</sub>(t)≤ e<sup>-2λ(t-s)</sup>W<sub>ℓ</sub>(s)</span>、ジャンプでは増加しない。区間を連結し(31.3)の二次挟み込みを使えば(31.4)を得る。<span class="math">x<sub>0</sub>∈ C<sub>ℓ</sub></span> なら初期 <span class="math">W=0</span> なので常に零である。(31.5) は集合間距離の定義から直ちに従う。</p>
499<p>有限既約Markov連鎖は正再帰的で一意な正値定常分布を持つ。再帰定理とMarkov連鎖の強法則から(31.6)を得る。<span class="qed">∎</span></p></div>
500
501<h3>7.2 条件31-D の各修飾語の役割</h3>
502<p>条件31-D は「<span class="math">C<sub>ℓ</sub></span> を六つの<b>非空Borel領域</b>へ<b>粗視化</b>する」と述べる。三つの修飾語はそれぞれ独立の役割を担い、いずれを落としても (31.6) は成立しない。以下に分節して明示する。</p>
503
504<div class="rigor"><div class="rigor-title">粗視化が必要な理由</div>
505<p>状態空間 <span class="math">C<sub>ℓ</sub></span> は一般に連続体濃度をもつ。連続分布のもとでは、任意の一点への再訪確率は零であり、「同一状態への無限回の回帰」は自明に偽となる。したがって回帰を非自明な命題として述べるには、状態を<b>有限個の巨視領域へ写す商写像</b>を経由する必要がある。定理31 が主張するのは、この商の水準における回帰でã
505‚って、点の水準における回帰ではない。両者を混同してはならない。</p></div>
506
507<div class="rigor"><div class="rigor-title">非交和 ⊔ の役割——商写像の well-defined 性</div>
508<p><span class="math">C<sub>ℓ</sub> = ⊔<sub>r=1</sub><sup>6</sup>R<sub>r</sub></span> は、<b>被覆性</b>(<span class="math">∪R<sub>r</sub> = C<sub>ℓ</sub></span>)と<b>互いに素</b>(<span class="math">r ≠ r′ ⇒ R<sub>r</sub> ∩ R<sub>r′</sub> = ∅</span>)を同時に要求する。前者を落とすと商写像が全域で定義されず、後者を落とすと <span class="math">Z<sub>n</sub></span> が一意に定まらない。いずれの場合も <span class="math">(Z<sub>n</sub>)<sub>n≥0</sub></span> は確率過程として構成できず、Markov 連鎖の理論が適用できない。</p></div>
509
510<div class="rigor"><div class="rigor-title">Borel 可測性の役割——遷移核の存在</div>
511<p>各 <span class="math">R<sub>r</sub></span> が Borel 可測でなければ、<span class="math">Pr(x(τ<sub>n+1</sub>) ∈ R<sub>r′</sub> | x(τ<sub>n</sub>) ∈ R<sub>r</sub>)</span> が定義されず、遷移行列 <span class="math">P = (p<sub>rr′</sub>)</span> が構成できない。非可測集合の存在(選択公理のもとでの Vitali 集合等)を排除する条件であり、装飾ではない。標準 Borel 空間上の正則条件付き確率の存在により、可測性のもとでは遷移核が確保される。</p></div>
512
513<div class="rigor"><div class="rigor-title">非空性の役割——定常分布の正値性</div>
514<p><span class="math">R<sub>r</sub> = ∅</span> なる <span class="math">r</span> が存在すれば、その状態は到達不能となり既約性が破れる。既約性が破れれば一意な定常分布の存在が保証されず、(31.6) の <span class="math">μ<sub>r</sub> &gt; 0</span> は導けない。非空性は、六つの領域<b>すべて</b>が正の頻度で訪問されるという結論を支える条件である。</p></div>
515
516<h3>7.3 「六道輪廻」という名称の射程</h3>
517<p>本定理が「六道輪廻」の語を用いるのは、<b>内省言語閉包のもとで低抽象度帯から離脱できない</b>という数理的事実を、教学の語彙で名指すためである。この対応が適切であるのは、六道の教説において<b>最上位の天界においてもやがて苦が生起する</b>とされ、いずれの領域も終端ではないとされる点が、定理24(一切皆苦定理)の <span class="math">a ≺ ⊤ ⇒ J<sup>*</sup><sub>a,ρ</sub>(x,T) &gt; 0</span> と構造的に一致するからである。以下、この名称が主張しない三点を明示する。</p>
518
519<div class="rigor"><div class="rigor-title">(i) 領域数 6 は数学的内容をもたない</div>
520<p>(31.6) の証明に用いるのは有限既約 Markov 連鎖の再帰定理と Birkhoff–Kingman 型の遍歴定理のみであり、いずれも<b>状態数に依存しない</b>。したがって空未満においては、粗視化の分割数が <span class="math">6</span> であっても <span class="math">7</span> であっても <span class="math">10</span> であっても結論は同一である。数学が要求するのは有限性・非空性・Borel 可測性・非交性・既約性のみであって、<b>数 6 それ自体には数理的重要性がない</b>。分割数と各領域の名称は教学の側から与えられる。</p></div>
521
522<div class="rigor"><div class="rigor-title">(ii) 転生の措定を含まない——ただし定理25 による強い制約が働く</div>
523<p>本定理は<b>いわゆる転生(生まれ変わり)を前提とせず、その存否について肯定も否定もしない</b>。数学が述べるのは閉じた有限既約系における反復訪問の構造のみである。ただし、定理25(諸法無我定理)</p>
524<div class="eq"><span class="math">¬∃S<sub>0</sub> ∀h: F<sub>i,h</sub>(S<sub>0</sub>) = S<sub>0</sub>; ∀d∈𝔇 ∀α∈𝕃: ¬Atman(d,α)</span></div>
525<p>は、<b>履歴相対の機能的自己は存在するが、全履歴に共通の固定点も、いかなる抽象度レイヤーにおけるå›
525ºå®šçš„自性も存在せず、全存在は縁起の網の中で成立する</b>ことを厳密に証明している。ここから直ちに次が従う。</p>
526<div class="result"><div class="result-title">系31.R(転生解釈への制約)</div>
527<p>仮に転生が存在するとしても、それは<b>空未満の抽象度層における縁起の継続</b>ではありえても、<b>固定的自性の連続ではありえない</b>。実際、そのような連続する自性は全履歴共通の固定点 <span class="math">S<sub>0</sub></span> を与えることになり、定理25 の第一連言に反する。</p></div>
528<p>この縁起の継続を「転生」と呼称するか否かは教派的判断に属し、数学は関与しない。ただし、ここで言いうる継続性は、<b>釈迦以前の転生観とは本質的に異なる</b>ことを注記しておく。釈迦以降の定式化においては関係の網の継続が問題であるのに対し、釈迦以前の転生観は<b>層を越えて運ばれる実体</b>を措定していた。定理25 が排除するのは、まさに後者である。</p></div>
529
530<div class="rigor"><div class="rigor-title">(iii) 単一の生涯内でも成立する</div>
531<p>条件31-D の更新時刻列 <span class="math">τ<sub>n</sub> ↑ ∞</span> に、それが生涯の境界に対応するという要請は<b>一切含まれていない</b>。したがって (31.6) は、単一の生涯内における領域遷移——喜・争・渇・失意・苦等の巨視状態の反復——にそのまま適用される。数理的にはこれもまた六道輪廻である。本定理が第一に記述するのは、この水準の事象である。</p></div>
532
533<h3>7.4 定理31 が形式化する対象——『中論』の言語批判との構造的対応</h3>
534<p>本定理に「数理言語罠定理」の別称を与えるのは、その形式化の対象が、龍樹『中論』(<i>Mūlamadhyamakakārikā</i>、およそ二〜三世紀)以来「言語の罠」として論じられてきた構造に一致するためである。<b>本節は解釈層であり、定理31 の証明はこれに一切依存しない。</b></p>
535
536<div class="rigor"><div class="rigor-title">三つの罠と数理的対応物</div>
537<p><b>(a) 実体視。</b>名称の付与により対象が不変の実体と看做される。数理的対応物は抽象度の上限 <span class="math">ā</span> と閉集合 <span class="math">K<sub>ā</sub></span> であり、実体視は上限の低位固定に対応する。『中論』24.18 は、縁起するものを空と呼ぶがその空もまた仮名(<span class="math">prajñapti</span>)であるとし、それこそが中道であると述べる(鳩摩羅什訳「亦為是仮名」「亦是中道義」)。</p>
538<p><b>(b) 二項対立。</b>「有/無」の枠組への囚われ。数理的対応物は条件31-A <span class="math">T<sub>m</sub>(K<sub>ā</sub>) ⊆ K<sub>ā</sub></span> である。「有」を選ぶ更新も「無」を選ぶ更新も同一の言語更新族に属し、いずれの像も <span class="math">K<sub>ā</sub></span> に留まる。『中論』15.10 は有への執を常見、無への執を断見とし、知者はいずれにも執われないと述べる(「不応著有無」)。冒頭の八不も、八対の対立項のいずれも取らないことにより枠組そのものの解除を図る点で同型である。</p>
539<p><b>(c) 戯論(<span class="math">prapañca</span>)。</b>概念の無際限な増殖。数理的対応物は条件31-A の全称量化「利用可能なすべての言語列について」そのものである。定理18(内省言語進化定理)が保証する方策集合の拡大 <span class="math">Π<sub>0</sub> ⊆ Π<sub>ℓ</sub></span> は、定理31 の <span class="math">d(x(t),H) ≥ δ<sub>H</sub></span> と両立する。『中論』18.5 は業と煩悩が分別に、分別が戯論に由来し、戯論は空において滅すると述べる(「入空戯論滅」)。</p></div>
540
541<div class="rigor"><div class="rigor-title">
541『中論』13.8 の警告に対応する数理的事実</div>
542<p>『中論』13.8 は、諸仏が一切の見解を離れしめるために空を説いたのであり、<b>空を見解として抱く者</b>は救い難いと述べる(「若復見有空」「諸仏所不化」)。同趣旨は 22.11 にも現れる。この警告には、条件31-A の全称量化のもとで正確な数理的対応物が存在する。</p>
543<p>すなわち、条件31-A は<b>利用可能なすべての言語列</b>について <span class="math">T<sub>m</sub>(K<sub>ā</sub>) ⊆ K<sub>ā</sub></span> を要求し、この全称に例外は認められない。したがって「空」という語を <span class="math">K<sub>ā</sub></span> 内で運用可能な言語列の一つとして獲得した場合、その像もまた <span class="math">K<sub>ā</sub></span> に留まる。これは方策集合を一つ拡大するにすぎず、到達可能抽象度は増加しない。他方、最高抽象度としての <span class="math">⊤</span> は定義により <span class="math">K<sub>ā</sub></span> の外部にあり、<span class="math">δ<sub>H</sub> = d(K<sub>ā</sub>, H) &gt; 0</span> は閉じない。<b>空が見解として内部化された時点で、それは戯論の一項目となる</b>——これが当該警告の数理的内実である。</p></div>
544
545<div class="rigor"><div class="rigor-title">方便と定理32——脱出の所在</div>
546<p>『中論』が方便として位置づける言語運用——言語を内容としてではなく作用として用いること——は、定理32(未来TCZホメオスタシス絶対他力定理)の機構に対応する。定理32 が示すのは、同一閉ループ内での方策探索ではなく、<b>閉ループ自体の再構成</b>である。外部ゴールを終端条件として設定すると評価関数が <span class="math">V<sub>0</sub></span> から <span class="math">Ṽ<sub>G</sub></span> へ、方策が <span class="math">π<sub>ℓ</sub></span> から <span class="math">π<sub>G</sub></span> へ移行し、(32.7) のもとで <span class="math">K<sub>ā</sub></span> は前向き不変集合でなくなる。すなわち壁が破られるのではなく、<b>壁を壁たらしめていた条件が消失する</b>。</p></div>
547
548<div class="rigor"><div class="rigor-title">本節が主張しないこと</div>
549<p><b>(i)</b> 本節は龍樹の教説の真理性を主張しない。証明されたのは明示された条件下の数学的命題のみであり、それに「言語の罠」の名を与えることの適否は教学および思想史の判断に属する。<b>(ii)</b> 本節は中観の教義に数学的基礎づけを与えるものではない。示したのは<b>構造の一致</b>であって教義の真偽ではなく、中観内部の解釈上の対立(帰謬論証派と自立論証派の別を含む)は数学から決定されない。<b>(iii)</b> 本節は言語一般の否定的評価を含意しない。定理18 は内省言語が不確実性を減少させ方策集合を拡大することを証明しており、定理31 が述べるのはその拡大が閉集合内部に限局されうるという事実のみである。</p></div>
550
551<div class="rigor"><div class="rigor-title">
551引用について</div>
552<p>『中論』の引用は章・偈番号により、漢訳は鳩摩羅什訳に拠る。訳出は本稿による。いずれの引用も定理31 の証明には用いておらず、解釈層としてのみ機能する。</p></div>
553</section>
554
555<section id="t32">
556<h2>8. 定理32――未来TCZホメオスタシス絶対他力定理</h2>
557<p>本定理で「絶対他力」と呼ぶのは、超自然的作用や物理的逆因果ではない。Selfが現在TCZ外のゴールを終端条件として設定した後、旧Egoの追加努力入力を必要とせず、未来限定Egoの閉ループが未来TCZへ自律収束するという、モデル内の操作的名称である。</p>
558<h3>8.1 ゴール、臨場感閾値、未来限定Ego</h3>
559<p>現在TCZを <span class="math">C<sub>0</sub></span>、真のゴールを <span class="math">G</span> とし、<span class="math">d(G,C<sub>0</sub>)&gt;ε</span> とする。定理8(苫米地未来原点認知時間定理)の未来限定Egoを</p>
560<div class="eq"><span class="math">π<sub>G</sub>(x,t)∈*arg min<sub>u</sub> {∫<sub>t</sub><sup>t+T<sub>0</sub></sup>Ṽ<sub>G</sub>(x(s),s) ds+Λ d(x(t+T<sub>0</sub>),G)<sup>2</sup>}.</span><span class="eqno">(32.1)</span></div>
561<p>正のゴール駆動場、そのゴール点での値、および実効ポテンシャルを</p>
562<div class="eq"><span class="math">R<sub>G</sub>(y,t;x(t)):=Q<sup>+</sup>(y,t)E(y,t| x(t))C<sub>Self</sub>(G), r<sub>G</sub>(t):=R<sub>G</sub>(G,t;x(t)), Ṽ<sub>G</sub>(y,t):=V<sub>0</sub>(y,t)-κ P<sub>G</sub>(y,t)R<sub>G</sub>(y,t;x(t)).</span><span class="eqno">(32.2)</span></div>
563<p>未来TCZを <span class="math">C<sub>G</sub>(t):={y|Ṽ<sub>G</sub>(y,t)≤θ<sub>G</sub>}</span> とする。<span class="math">r<sub>G</sub>(t)&gt;0</span> のとき</p>
564<div class="eq"><span class="math">P<sub>crit</sub>(t):=[V<sub>0</sub>(G,t)-θ<sub>G</sub>]<sub>+</sub>/κ r<sub>G</sub>(t).</span><span class="eqno">(32.3)</span></div>
565<div class="assumption"><div class="assumption-title">条件32-A(有界な臨場感閾値超過)</div><p><span class="math">r<sub>G</sub>(t)≥ r<sub>0</sub>&gt;0</span>、<span class="math">0≤ P<sub>G</sub>≤1</span>、<span class="math">P<sub>crit</sub>(t)≤1</span>、かつ <span class="math">P<sub>G</sub>(G,t)≥ P<sub>crit</sub>(t)</span> が <span class="math">t≥ t<sub>0</sub></span> で成立する。<span class="math">Ṽ<sub>G</sub></span> は下に有界で、最適方策と前方完備解が存在する。</p></div>
566<div class="assumption"><div class="assumption-title">条件32-B(可到達吸引域)</div><p>非空の前向き不変吸引域 <span class="math">B<sub>G</sub></span> が存在し、<span class="math">x(t<sub>0</sub>)∈ B<sub>G</sub></span>。<span class="math">C<sub>G</sub>(t)</span> は <span class="math">B<sub>G</sub></span> からの許容到達閉包に含まれ、未来限定Egoの実入力は <span class="math">u(t)=π<sub>G</sub>(x(t),t)</span> である。</p></div>
567<div class="assumption"><div class="assumption-title">条件32-C(強い未来TCZホメオスタシス)</div><p>各 <span class="math">C<sub>G</sub>(t)</span> は非空閉集合である。定数 <span class="math">a<sub>1</sub>,a<sub>2</sub>,λ<sub>G</sub>&gt;0</span> とLyapunov関数 <span class="math">W<sub>G</sub></span> が存在し、軌道上の <span class="math">t↦ W<sub>G</sub>(x(t),t)</span> は局所絶対連続で、<span class="math">B<sub>G</sub></span> 上で</p>
568<div class="eq"><span class="math">a<sub>1</sub>d(x,C<sub>G</sub>(t))<sup>2</sup>≤ W<sub>G</sub>(x,t)≤ a<sub>2</sub>d(x,C<sub>G</sub>(t))<sup>2</sup>, D<sup>+</sup><sub>π<sub>G</sub></sub>W<sub>G</sub>≤-2λ<sub>G</sub>W<sub>G</sub>.</span><span class="eqno">(32.4)</span></div>
569<p>ここでDini微分は、集合 <span class="math">C<sub>G</sub>(t)</span> の移動を含む全軌道微分</p>
570<div class="eq"><span class="math">D<sup>+</sup><sub>π<sub>G</sub></sub>W<sub>G</sub>(x,t):=lim sup<sub>h↓0</sub> W<sub>G</sub>(x<sub>π<sub>G</sub></sub>(t+h;t,x),t+h)-W<sub>G</sub>(x,t)/h</span></div>
571<p>である。</p></div>
572<div class="theorem"><div class="theorem-title">定理32(苫米地未来TCZホメオスタシス絶対他力定理)</div>
573<p>定理1(苫米地主定理)・定理4(苫米地臨場感加重定理)・定理7(苫米地真のゴール定理)・定理8(苫米地未来原点認知時間定理)・定理9(苫米地未来原点ゴール達成定理)の正則条件と条件32-A〜Cのもとで、すべての <span class="math">t≥ t<sub>0</sub></span>
573 について <span class="math">G∈ C<sub>G</sub>(t)</span> であり、</p>
574<div class="eq"><span class="math">d(x(t),C<sub>G</sub>(t))≤√(a<sub>2</sub>/a<sub>1</sub>)e<sup>-λ<sub>G</sub>(t-t<sub>0</sub>)</sup>d(x(t<sub>0</sub>),C<sub>G</sub>(t<sub>0</sub>))⟶0.</span><span class="eqno">(32.5)</span></div>
575<p><span class="math">d<sub>0</sub>:=d(x(t<sub>0</sub>),C<sub>G</sub>(t<sub>0</sub>))</span> とする。任意の <span class="math">δ&gt;0</span> に対し、未来TCZの <span class="math">δ</span>-近傍への到達時刻上界を</p>
576<div class="eq"><span class="math">T<sub>δ</sub>:= t<sub>0</sub>, d<sub>0</sub>=0,<br>[2pt] t<sub>0</sub>+1/λ<sub>G</sub>max{0, log(√(a<sub>2</sub>/a<sub>1</sub>)d<sub>0</sub>/δ)}, d<sub>0</sub>&gt;0</span><span class="eqno">(32.6)</span></div>
577<p>とすれば、<span class="math">t≥ T<sub>δ</sub></span> で <span class="math">d(x(t),C<sub>G</sub>(t))≤δ</span> である。</p></div>
578<div class="proof"><div class="proof-title">証明</div>
579<p>条件32-Aと(32.3)から <span class="math">κ P<sub>G</sub>(G,t)r<sub>G</sub>(t)≥[V<sub>0</sub>(G,t)-θ<sub>G</sub>]<sub>+</sub></span>。したがって <span class="math">Ṽ<sub>G</sub>(G,t)≤θ<sub>G</sub></span> であり、<span class="math">G∈ C<sub>G</sub>(t)</span>。</p>
580<p>(32.4)とGrönwall不等式から <span class="math">W<sub>G</sub>(x(t),t)≤ W<sub>G</sub>(x(t<sub>0</sub>),t<sub>0</sub>)e<sup>-2λ<sub>G</sub>(t-t<sub>0</sub>)</sup></span>。上下の二次評価を代入して平方根を取れば(32.5)。右辺を <span class="math">δ</span> 以下にする時刻について解けば(32.6)を得る。実入力は設定後も <span class="math">π<sub>G</sub></span> だけなので、この収束は再構成された閉ループホメオスタシスによる。<span class="qed">∎</span></p></div>
581<h3>8.2 言語罠からの脱出との整合</h3>
582<p>定理31(内省言語閉包・低抽象度六道輪廻定理)の罠から出るには、新しいゴール閉ループが31-Aまたは31-Bの閉包条件を破る必要がある。例えば <span class="math">K<sub>ā</sub>={x| b(x)≤0}</span> とし、軌道が時刻 <span class="math">t<sub>b</sub></span> に幅 <span class="math">ℓ</span> の境界帯 <span class="math">-ℓ≤ b(x)≤0</span> へ到達したとする。</p>
583<p><span class="math">b</span> は <span class="math">C<sup>1</sup></span>、<span class="math">b(x(t))</span> は局所絶対連続であるとする。軌道が境界帯にある間、</p>
584<div class="eq"><span class="math">d/dtb(x(t))=∇ b(x(t))· f(x(t),π<sub>G</sub>(x(t),t),t)≥ν&gt;0 a.e.</span><span class="eqno">(32.7)</span></div>
585<p>なら、<span class="math">b(x(t))≥ b(x(t<sub>b</sub>))+ν(t-t<sub>b</sub>)</span> である。<span class="math">τ<sub>out</sub>:=inf{t≥ t<sub>b</sub>| b(x(t))&gt;0}</span> と置けば、</p>
586<div class="eq"><span class="math">τ<sub>out</sub>≤ t<sub>b</sub>+-b(x(t<sub>b</sub>))/ν≤ t<sub>b</sub>+ℓ/ν.</span></div>
587<p>したがって有限時間で <span class="math">K<sub>ā</sub></span> を出る。これは「同じ閉ループの中で努力して脱出する」のではなく、外部ゴールが評価関数とEgo方策を再構成し、旧不変集合を不変でなくすることを表す。</p>
588<div class="rigor"><div class="rigor-title">臨場感過剰の厳密な意味</div><p>既存の臨場感 <span class="math">P</span> は <span class="math">[0,1]</span> に正規化されるので、<span class="math">P&gt;1</span> を意味してはならない。本定理の鍵は「有界な臨場感の閾値超過」<span class="math">P<sub>G</sub>≥ P<sub>crit</sub></span> である。定理21(包摂半順序臨場感方向性定理)の無界な実効利得 <span class="math">p</span> を用いる場合は、<span class="math">P</span> とは別量として明記する。また、臨場感が収束<strong>
588速度</strong>を増すという結論には、追加条件 <span class="math">λ<sub>G</sub>=λ<sub>G</sub>(P<sub>G</sub>)</span> かつ <span class="math">dλ<sub>G</sub>/dP<sub>G</sub>≥0</span> が必要である。</p></div>
589<div class="note"><strong>集合達成と点達成。</strong> (32.5)が保証するのは <span class="math">C<sub>G</sub>(t)</span> への集合収束であり、必ずしも <span class="math">x(t)→ G</span> ではない。点収束には <span class="math">C<sub>G</sub>(t)={G}</span> または <span class="math">d<sub>H</sub>(C<sub>G</sub>(t),{G})→0</span> という一意化条件を追加する。</div>
590</section>
591
592<section id="minimality">
593<h2>9. 最小性と反例</h2>
594<table>
595<thead><tr><th>落とす条件</th><th>最小反例/起こること</th><th>失われる結論</th></tr></thead>
596<tbody>
597<tr><td>28-A</td><td>関係的に定義された集合にも、独立なラベル変数を任意に付加できる。</td><td>関係性だけから無我は出ない。</td></tr>
598<tr><td>29-Aの算術強度</td><td>Presburger算術のような決定可能理論。</td><td>Gödel型不完全性を無条件に主張できない。</td></tr>
599<tr><td>29-Aの有効性</td><td>標準自然数の全真理集合は計算可枚挙でない。</td><td>完全性と引換えに有効証明系でなくなる。</td></tr>
600<tr><td>30-Aの可換性</td><td>上層の自己言明を射影した結果と、下層で更新した結果が異なる。</td><td><span class="math">L<sub>m</sub></span> が逆極限上の自己写像として定義できない。</td></tr>
601<tr><td>30-Aの非自明性</td><td><span class="math">G<sub>m</sub>=G<sub>ε</sub></span>。</td><td>言語で固定点が変わったとはいえない。</td></tr>
602<tr><td>30-C</td><td>Shannon不確実性は下がるが、T15の状態汎関数は不変。</td><td>物理交換式へ代入できない。</td></tr>
603<tr><td>31-A</td><td><span class="math">K=(-∞,0]</span>, <span class="math">T<sub>m</sub>(x)=x+2</span>。</td><td>一回の言語更新で脱出する。</td></tr>
604<tr><td>31-B</td><td>同じ <span class="math">K</span> で <span class="math">ẋ=1</span>。</td><td>言語更新なしでも境界を出る。</td></tr>
605<tr><td>31-Cのジャンプ条件</td><td>各ジャンプで <span class="math">W</span> を倍増する。</td><td>流れが安定でもハイブリッド収束しない。</td></tr>
606<tr><td>31-Dの既約性</td><td>遷移行列 <span class="math">P=I<sub>6</sub></span>。</td><td>一つの道に固定され、六状態を反復しない。</td></tr>
607<tr><td>32-Bの可到達性</td><td><span class="math">ẋ=0, x<sub>0</sub>=0, G=1</span>。</td><td>最大臨場感でも到達しない。</td></tr>
608<tr><td>32-C</td><td><span class="math">ẍ+x=0</span>。</td><td>目標周囲を振動し距離が収束しない。</td></tr>
609<tr><td>32-Aの閾値</td><td><span class="math">V<sub>0</sub>(G)=2,θ=1,κ r<sub>G</sub>=1,P=.5</span>。</td><td><span class="math">Ṽ(G)=1.5&gt;1</span> で未来TCZに入らない。</td></tr>
610</tbody>
611</table>
612</section>
613
614<section id="conclusion">
615<h2>10. 総括</h2>
616<ol>
617<li><strong>涅槃は無我である。</strong> ただし証明根拠は「集合だから」「時刻添字があるから」ではなく、定理25(諸法無我定理)の関係的機能完備性である。一切皆苦との整合はタグ付き型が保証する。</li>
618<li><strong>
618形式化された教説は自己完結しない。</strong> ただし十分に強い有効・健全な算術理論という射程内であり、不完全性と無自性は別々の根拠を持つ。</li>
619<li><strong>内省言語は自我構成を選択・安定化する。</strong> 主体の無からの生成ではない。射影整合性が逆極限Ego構成を、情報橋とT15が物理交換を与える。</li>
620<li><strong>言語は自由を増やしながら罠にもなりうる。</strong> 追加方策が低抽象度帯を保存すれば、選択肢は増えても到達可能な抽象度は増えない。</li>
621<li><strong>外部ゴール達成は再構成されたホメオスタシスで説明できる。</strong> 有界な臨場感閾値、可到達性、吸引域、強い収縮が揃うと、未来TCZへの指数収束と任意の <span class="math">δ</span>-近傍への到達時間が証明される。</li>
622</ol>
623<div class="result"><div class="result-title">五定理の統一像</div><p>固定実体を置かず、型・関係・言語・情報・制御・物理散逸の相互依存だけから、涅槃の無我、知識体系の開放性、言語化Egoの構成、低抽象度閉鎖、そして外部ゴールによる閉ループ再編を一つの条件付き数理体系として記述できる。</p></div>
624</section>
625
626<section id="summary-tables">
627<h2>11. 定理一覧表</h2>
628<p>本稿が用いる全定理を二表にまとめる。第一表は本稿で新たに証明する定理28(涅槃無我・型整合定理)〜定理32(未来TCZホメオスタシス絶対他力定理)、第二表は本稿が前提として用いる継承定理である。</p>
629
630<h3>11.1 本稿の新定理(定理28(涅槃無我・型整合定理)〜定理32(未来TCZホメオスタシス絶対他力定理))</h3>
631<table class="thmtable">
632<caption>表1 定理28(涅槃無我・型整合定理)〜定理32(未来TCZホメオスタシス絶対他力定理)――定理名・中心式・依存・新条件・証明上の地位・要旨</caption><colgroup><col style="width:13%"><col style="width:22%"><col style="width:14%"><col style="width:16%"><col style="width:13%"><col style="width:22%"></colgroup>
633<thead><tr><th>定理</th><th>中心式</th><th>依存定理</th><th>新条件/外部結果</th><th>証明上の地位</th><th>要旨</th></tr></thead>
634<tbody>
635<tr><td><b>定理28</b><br>涅槃無我・型整合定理</td>
636<td>𝔇<sub>&lt;⊤</sub> ∩ Nir(T) = ∅; PZS(a,x,T) ⇔ [a=⊤ ∧ x∈𝒩<sub>⊤</sub>(T)]; ¬Atman(d<sub>N</sub>,⊤)</td>
637<td>定理24(一切皆苦定理)・定理25(諸法無我定理)・定理26(涅槃寂静定理)</td>
638<td>
638条件28-A(タグ付き領域の非交性と涅槃過程の関係的記述可能性)</td>
639<td><b>継承定理からの直接的帰結。</b>新たな解析的道具を導入しない。型の分離と述語の書き換えのみ</td>
640<td>「一切皆苦」と「涅槃寂静」は同一領域についての競合主張ではなく、タグ付き直和で分離された排他的領域を担う。そのうえで涅槃過程自体も無我である</td></tr>
641<tr><td><b>定理29</b><br>形式法体系無自性・不完備定理</td>
642<td>∃G<sub>h</sub>[ℕ⊨G<sub>h</sub> ∧ 𝕋<sub>h</sub>⊬G<sub>h</sub> ∧ 𝕋<sub>h</sub>⊬¬G<sub>h</sub>]; 𝕋<sub>h</sub>⊬Con(𝕋<sub>h</sub>); Th(𝕋<sub>0</sub>) ⊊ ⋯</td>
643<td>定理25(諸法無我定理)</td>
644<td>条件29-A(十分な算術強度・有効性・健全性)/<b>外部結果</b>:Gödel第一・第二不完全性定理、Chaitin の不完全性定理</td>
645<td><b>外部メタ定理への依存が本質的。</b>本体系のみからは導けない。条件29-A を満たす体系に限って適用される</td>
646<td>教説としての法を十分に強い有効形式理論としてモデル化した場合に限り、決定不能文の存在・無矛盾性の内部証明不能・記述量の証明限界が従い、開放的更新と無自性が帰結する</td></tr>
647<tr><td><b>定理30</b><br>エントロピー交換自我構成定理</td>
648<td>d<sub>SC</sub>(G<sub>m</sub><sup>n</sup>S<sub>0</sub>,S<sub>m</sub><sup>*</sup>) ≤ (q<sub>F</sub>q<sub>m</sub>)<sup>n</sup>d<sub>SC</sub>(S<sub>0</sub>,S<sub>m</sub><sup>*</sup>); Δℋ<sub>ego</sub> ≤ 0</td>
649<td>定理15(認知物理エントロピー交換・保存定理)・定理16(自己意識存在・発生定理)・定理18(内省言語進化定理)</td>
650<td>
650条件30-A〜C(逆系上の射影整合、言語写像の縮小性、σ加法族の単調増大)</td>
651<td><b>継承定理の合成。</b>Banach の不動点定理と条件付き相互情報量の非負性のみを新たに用いる</td>
652<td>内省言語は Ego を選択し安定化する。言語が増えるほど自我構造化エントロピーは減少し、その減少分がちょうど物理側へ交換される</td></tr>
653<tr><td><b>定理31</b><br>内省言語閉包・低抽象度六道輪廻定理</td>
654<td>x(t) ∈ K<sub>ā</sub> (∀t≥0); d(x(t),C<sub>ℓ</sub>) ≤ √(c<sub>2</sub>/c<sub>1</sub>)e<sup>−λt</sup>d(x<sub>0</sub>,C<sub>ℓ</sub>); d(x(t),H) ≥ δ<sub>H</sub></td>
655<td>定理1(苫米地主定理)・定理3(抽象的共有TCZ収束定理)・定理16(自己意識存在・発生定理)・定理18(内省言語進化定理)</td>
656<td>条件31-A〜D(言語閉包、Nagumo 不変性、Lyapunov 吸引性、既約非周期性)</td>
657<td><b>不変集合定理の応用。</b>Nagumo の定理と補題0、およびエルゴード定理を用いる</td>
658<td>現在の言語と Ego の閉ループだけでは、低抽象度帯から出られない。六状態粗視化は再帰的であり、各状態が無限回訪問される</td></tr>
659<tr><td><b>定理32</b><br>未来TCZホメオスタシス絶対他力定理</td>
660<td>d(x(t),C<sub>G</sub>(t)) ≤ √(a<sub>2</sub>/a<sub>1</sub>)e<sup>−λ<sub>G</sub>(t−t<sub>0</sub>)</sup>d(x(t<sub>0</sub>),C<sub>G</sub>(t<sub>0</sub>)) → 0; T<sub>δ</sub> の明示式</td>
661<td>定理1(苫米地主定理)・定理4(苫米地臨場感加重定理)・定理7(苫米地真のゴール定理)・定理8(苫米地未来原点認知時間定理)・定理9(苫米地未来原点ゴール達成定理)</td>
662<td>条件32-A〜C(未来TCZの前向き不変性、有界臨場感閾値、時変Lyapunov挟み込み)</td>
663<td><b>定理9(苫米地未来原点ゴール達成定理)の時変化・定量化。</b>到達時間の明示的上界を新たに与える</td>
664<td>外部ゴールが未来TCZに入るための臨場感閾値は有界である。閾値を超えれば、以後の到達はホメオスタシスが自動的に行う</td></tr>
665</tbody></table>
666
667<h3>11.2 継承定理(本稿が前提として用いる定理)</h3>
668<table class="thmtable">
669<caption>表2 継承定理――定理名・標準形・本稿での役割・証明の所在</caption><colgroup><col style="width:15%"><col style="width:23%"><col style="width:22%"><col style="width:12%"><col style="width:28%"></colgroup>
670<thead><tr><th>定理</th><th>中心式(標準形)</th><th>本稿での役割</th><th>証明の所在</th><th>要旨</th></tr></thead>
671<tbody>
672<tr><td><b>定理1</b><br>苫米地主定理</td><td>π<sub>c</sub> = arg min ∫V<sub>0</sub> dt ⇒ x(t) → TCZ</td><td>定理31(内省言語閉包・低抽象度六道輪廻定理)・定理32(未来TCZホメオスタシス絶対他力定理)の収束の骨格</td><td><b>本稿 §3.1</b>(再掲・証明つき)</td><td>累積評価を最小化する閉ループは、到達可能な安定領域へ軌道を導く</td></tr>
673<tr><td><b>定理3</b><br>抽象的共有TCZ収束定理</td><td>A(x)=0 ⇔ φ(x)=LUB(W<sub>1</sub>,…,W<sub>N</sub>), A(t)→0</td><td>定理31(内省言語閉包・低抽象度六道輪廻定理)の言語閉包の上界構造</td><td><b>本稿 §3.2</b></td><td>未達ペナルティを加えると、集団は誰の世界も切り捨てない最小の屋根へそろう</td></tr>
674<tr><td><b>定理4</b><br>苫米地臨場感加重定理</td><td>Ṽ = V<sub>0</sub> − κPQ, x → TCZ<sub>P</sub></td><td>定理32(未来TCZホメオスタシス絶対他力定理)の臨場感閾値の基礎</td><td><b>本稿 §3.3</b></td><td>臨場感は地形そのものを変形し、意志の持続によらずに谷を移す</td></tr>
675<tr><td><b>定理7</b><br>苫米地真のゴール定理</td><td>G ∉ TCZ<sub>0</sub>, d(G,TCZ<sub>0</sub>) ≥ ε &gt; 0, G = Self-set</td><td>定理32(未来TCZホメオスタシス絶対他力定理)の
675外部ゴールの資格条件</td><td><b>本稿 §3.4</b></td><td>変革ゴールの四条件を特徴づける。到達は主張しない</td></tr>
676<tr><td><b>定理8</b><br>苫米地未来原点認知時間定理</td><td>u<sup>*</sup> = arg min J<sub>G</sub>;終端条件 G が現在制御を決定</td><td>定理32(未来TCZホメオスタシス絶対他力定理)の決定方向</td><td><b>本稿 §3.5</b></td><td>終端条件つき最適制御では、現在の制御が未来のゴールから後ろ向きに決まる</td></tr>
677<tr><td><b>定理9</b><br>苫米地未来原点ゴール達成定理</td><td>K<sub>G</sub> = PQ<sup>+</sup> + EC<sub>Self</sub> ≥ K<sub>crit</sub> と Lyapunov 降下 ⇒ x → TCZ<sub>G</sub></td><td>定理32(未来TCZホメオスタシス絶対他力定理)の到達部分の原型</td><td><b>本稿 §3.6</b></td><td>駆動強度が臨界を超え、降下条件が満たされれば、ゴール側TCZへ収束する</td></tr>
678<tr><td><b>定理15</b><br>認知物理エントロピー交換・保存定理</td><td>S<sub>gen</sub> = S<sub>phys</sub> + Σw<sub>α</sub>H<sub>α</sub>, dS<sub>gen</sub>/dt = Π ≥ 0</td><td>定理30(エントロピー交換自我構成定理)の交換収支</td><td><b>本稿 §3.7</b></td><td>(再掲・証明つき)物理層単独ではエントロピーの保存則は存在しない。高抽象度層まで含めてはじめて、交換による保存則が等式として成立する</td></tr><tr><td><b>定理16</b><br>自己意識存在・発生定理</td><td>SC = lim<sub>←</sub>TCZ<sub>α</sub> ≠ ∅, F<sub>SC</sub>(S<sup>*</sup>) = S<sup>*</sup>, M(S<sup>*</sup>) represents S<sup>*</sup></td><td>定理30(エントロピー交換自我構成定理)・定理31(内省言語閉包・低抽象度六道輪廻定理)の Ego 構成</td><td><b>本稿 §3.8</b></td><td>存在は逆極限から、一意性は不動点定理から。固定点は履歴に依存する</td></tr>
679<tr><td><b>定理18</b><br>内省言語進化定理</td><td>H(Z|Y,M<sub>ℓ</sub>) &lt; H(Z|Y); Π<sub>0</sub> ⊆ Π<sub>ℓ</sub>; ∂ℱ/∂ℓ &gt; 0</td><td>定理30(エントロピー交換自我構成定理)・定理31(内省言語閉包・低抽象度六道輪廻定理)の言語の役割</td><td><b>本稿 §3.9</b></td><td>内省言語は不確実性を減らし、方策集合を広げ、自由意思容量を増やす</td></tr>
680
681<tr><td><b>定理24</b><br>一切皆苦定理</td><td>a ≺ ⊤ ∧ 条件24-A ⇒ J<sup>*</sup><sub>a,ρ</sub>(x,T) &gt; 0</td><td>定理28(涅槃無我・型整合定理)の型分離の下側</td><td>
681『苫米地四法印定理』(本稿 §3.10 に条件のみ再掲)</td><td>空未満では、最適化しても正の残余価値が残る</td></tr>
682<tr><td><b>定理25</b><br>諸法無我定理</td><td>¬∃S<sub>0</sub> ∀h: F<sub>i,h</sub>(S<sub>0</sub>) = S<sub>0</sub>;∀d∈𝔇 ∀α∈𝕃: ¬Atman(d,α)</td><td>定理28(涅槃無我・型整合定理)・定理29(形式法体系無自性・不完備定理)の無我の根拠</td><td>『苫米地四法印定理』(同上)</td><td>関係から切り離された固定的・個体化的・因果的に非冗長な自性は存在しない</td></tr>
683<tr><td><b>定理26</b><br>涅槃寂静定理</td><td>W<sub>⊤</sub>(x(t),t) ≤ W<sub>⊤</sub>(x(T),T)e<sup>−λ(t−T)</sup> ⇒ dist(x(t),𝒩<sub>⊤</sub>(t)) → 0;永久苦滅 ⇔ a=⊤ ∧ x∈𝒩<sub>⊤</sub></td><td>定理28(涅槃無我・型整合定理)の型分離の上側</td><td>『苫米地四法印定理』(同上)</td><td>最高抽象度には、生きたまま残余価値が零である前向き不変集合が存在する</td></tr>
684</tbody></table>
685
686<div class="rigor"><div class="rigor-title">証明上の地位についての注意</div>
687<p>表1の「証明上の地位」欄は、各定理が既存定理からどの程度直接に従うかを示す。<b>定理28(涅槃無我・型整合定理)は継承定理の型分離のみで従うが、定理29(形式法体系無自性・不完備定理)は外部メタ定理(Gödel・Chaitin)への依存が本質的であり、本体系のみからは導けない。</b>定理30(エントロピー交換自我構成定理)・定理31(内省言語閉包・低抽象度六道輪廻定理)・定理32(未来TCZホメオスタシス絶対他力定理)は継承定理に新たな条件を加えた合成であり、追加された解析的道具(Banach の不動点定理、Nagumo の定理、エルゴード定理、Grönwall の不等式)はいずれも標準的なものである。</p></div>
688</section>
689
690
691<section id="references">
692<h2>12. 参照文献</h2>
693<h3>本体系の正本・関連稿</h3>
694<ol>
695<li>苫米地英人(2026)『苫米地四法印定理――定理23(諸行無常定理)–26』日本語正本および英語版。</li>
696<li>苫米地英人(2026)『苫米地無明縁行定理――定理27(無明起行定理)』日本語正本・英語版・一般読者版。</li>
697<li>苫米地英人(2026)『TomabechiSynthesisAvijjaSankharaJA』総括解説。</li>
698<li>苫米地英人(2026)『苫米地認知物理エントロピー交換・保存定理』。</li>
699<li>苫米地英人(2026)『苫米地自己意識存在・発生定理』。</li>
700<li>苫米地英人(2026)『苫米地内省言語進化定理』。</li>
701<li>苫米地英人(2026)『苫米地認知ホメオスタシス理論』および『苫米地抽象度自由論』。</li>
702</ol>
703<h3>解釈層として参照した古典</h3>
704<ol>
705<li>Nāgārjuna(龍樹, ca. 2–3世紀)<em>Mūlamadhyamakakārikā</em>(『中論』『根本中頌』)。本稿 §7.4 の解釈層で参照。引用箇所は 13.8・15.10・18.5・22.11・24.18 および冒頭の八不。漢訳は鳩摩羅什訳(『中論』大正蔵 No.1564)に拠り、訳出は本稿による。<b>いずれの引用も定理31 の証明には用いていない。</b></li>
706</ol>
707<h3>外部メタ定理</h3>
708<ol>
709<li>Gödel, K. (1931). “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.” <em>Monatshefte für Mathematik und Physik</em> 38, 173–198. <a href="https://doi.org/10.1007/BF01700692">doi:10.1007/BF01700692</a>.</li>
710<li>Chaitin, G. J. (1974). “Information-Theoretic Limitations of Formal Systems.” <em>Journal of the ACM</em> 21(3), 403–424. <a href="https://doi.org/10.1145/321832.321839">doi:10.1145/321832.321839</a>.</li>
711<li>Chaitin, G. J. (1975). “A Theory of Program Size Formally Identical to Information Theory.” <em>Journal of the ACM</em> 22(3), 329–340. <a href="https://doi.org/10.1145/321892.321894">doi:10.1145/321892.321894</a>.</li>
712</ol>
713</section>
714
715<footer>
716<p>© 2026 Hideto Tomabechi / Cognitive Research Laboratories. Provisional public release for educational and peaceful use.</p>
717<p>版: 1.0 · 2026-08-11 · 定理番号28–32</p>
718</footer>
719</article>
720</main>
721</body>
722</html>

Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.