多尺度作用素の分解

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

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

閉包の状態

✓ 公理まで証明済み

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

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

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

平均作用素の右逆と射影✓補題 2.7・Dimock『Multiscale block averaging for QED₃』精読第 1 部
- ブロックの入れ子✓補題 2.3・Dimock『Multiscale block averaging for QED₃』精読第 1 部

1 段の平均の平方完成（(44)(45)(47)）✓補題 3.10・Dimock『Multiscale block averaging for QED₃』精読第 1 部
Lemma 1（多尺度密度の閉じた表示）✓補題 4.3・Dimock『Multiscale block averaging for QED₃』精読第 1 部
臨界点の方程式と公式（(52)〜(54)）✓命題 5.1・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 部
B の表示と α・β の恒等式（(379)〜(382)）✓補題 7.1・Dimock『Multiscale block averaging for QED₃』精読第 1 部
Lemma 19（2 つの尺度の伝播関数の関係）✓補題 7.3・Dimock『Multiscale block averaging for QED₃』精読第 1 部
1 段のゆらぎ積分と正規化の関係（(79)〜(86)）✓命題 8.1・Dimock『Multiscale block averaging for QED₃』精読第 1 部
ゲージ共変性✓補題 4.2・Dimock『Multiscale block averaging for QED₃』精読第 2 部