臨界点の方程式と公式（(52)〜(54)）

命題 5.1（「Dimock『Multiscale block averaging for QED₃』精読第 1 部」§5）・ ✓公理まで証明済み

この命題は有料章（研究水準・買い切り ¥200）の中にあります。主張と証明は記事の該当箇所で読めます（料金）。

閉包の状態

✓ 公理まで証明済み

証明が使う定理を前提としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 4 件、定義なども含めて 5 件）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

多尺度作用素の分解✓補題 2.12・Dimock『Multiscale block averaging for QED₃』精読第 1 部
- 平均作用素の右逆と射影✓補題 2.7・Dimock『Multiscale block averaging for QED₃』精読第 1 部
  - ブロックの入れ子✓補題 2.3・Dimock『Multiscale block averaging for QED₃』精読第 1 部
Grassmann 2 次形式と臨界点定義 3.3・Dimock『Multiscale block averaging for QED₃』精読第 1 部
臨界点まわりの平方完成✓補題 3.4・Dimock『Multiscale block averaging for QED₃』精読第 1 部

自由な流れの密度の表示（(51)(55)(56)）✓定理 5.2・Dimock『Multiscale block averaging for QED₃』精読第 1 部
Lemma 2（臨界点での作用）✓補題 5.3・Dimock『Multiscale block averaging for QED₃』精読第 1 部
Lemma 3（次の段の臨界点）✓補題 6.1・Dimock『Multiscale block averaging for QED₃』精読第 1 部
Lemma 4（平行移動後の 2 次形式）✓補題 6.2・Dimock『Multiscale block averaging for QED₃』精読第 1 部
Lemma 18（Γ の多尺度伝播関数による表示）✓補題 7.2・Dimock『Multiscale block averaging for QED₃』精読第 1 部
Lemma 19（2 つの尺度の伝播関数の関係）✓補題 7.3・Dimock『Multiscale block averaging for QED₃』精読第 1 部
ゲージ場の平行移動（原論文 (76)〜(89)）✓命題 6.1・Dimock『Ultraviolet stability for QED₃』(2022) 第 1 部
Lemma 28（近似的な左逆の有界性、原論文 (538)(540)）✓補題 2.10・Dimock『Ultraviolet stability for QED₃』(2022) 第 2 部
臨界点での自由作用（原論文 (169)(170)）✓補題 4.1・Dimock『Ultraviolet stability for QED₃』(2022) 第 2 部