スケール変換と平均・Dirac 作用素

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

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

閉包の状態

✓ 公理まで証明済み

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

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

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

Lemma 1（多尺度密度の閉じた表示）✓補題 4.3・Dimock『Multiscale block averaging for QED₃』精読第 1 部
自由な流れの密度の表示（(51)(55)(56)）✓定理 5.2・Dimock『Multiscale block averaging for QED₃』精読第 1 部
1 段のゆらぎ積分と正規化の関係（(79)〜(86)）✓命題 8.1・Dimock『Multiscale block averaging for QED₃』精読第 1 部
自由フェルミオンの分配関数（(27)）✓系 9.3・Dimock『Multiscale block averaging for QED₃』精読第 1 部
尺度の分解（原論文 (110)(111)(119)）✓補題 5.5・Dimock『Multiscale block averaging for QED₃』精読第 2 部
局所作用素の評価（Lemma 7 (1)、原論文 (128)(130)〜(141)）✓補題 6.5・Dimock『Multiscale block averaging for QED₃』精読第 2 部
単位格子の作用（原論文 (24)〜(28)）✓補題 2.3・Dimock『Ultraviolet regularity for QED₃』(2018) 第 1 部