臨界点まわりの平方完成

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

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

閉包の状態

✓ 公理まで証明済み

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

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

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。

源つき Grassmann Gauss 積分✓補題 3.5・Dimock『Multiscale block averaging for QED₃』精読第 1 部
段階的な臨界点✓補題 3.7・Dimock『Multiscale block averaging for QED₃』精読第 1 部
1 段の平均の平方完成（(44)(45)(47)）✓補題 3.10・Dimock『Multiscale block averaging for QED₃』精読第 1 部
臨界点の方程式と公式（(52)〜(54)）✓命題 5.1・Dimock『Multiscale block averaging for QED₃』精読第 1 部
Lemma 2（臨界点での作用）✓補題 5.3・Dimock『Multiscale block averaging for QED₃』精読第 1 部
Lemma 4（平行移動後の 2 次形式）✓補題 6.2・Dimock『Multiscale block averaging for QED₃』精読第 1 部
大域のスケール恒等式（(23)〜(25)）✓命題 9.2・Dimock『Multiscale block averaging for QED₃』精読第 1 部
フェルミオン場の平行移動（原論文 (466)〜(475)）✓命題 7.1・Dimock『Ultraviolet regularity for QED₃』(2018) 第 3 部
臨界点での自由作用（原論文 (169)(170)）✓補題 4.1・Dimock『Ultraviolet stability for QED₃』(2022) 第 2 部