物理学 › 格子ゲージ理論の繰り込み群：Bałaban と Dimock の原論文 › 準備 3有料章
G 作用素の恒等式（CMP 95 (1.95)–(1.107)、CMP 96 (2.31)–(2.35)、CMP 99 (3.124)–(3.153)）
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 1 件、定義なども含めて 1 件）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 1 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
- 射影 R の表示（CMP 96 (2.17)、CMP 99 (3.25)）✓命題 3.1・準備 3
これを使っている定理 証明で参照している 8 件
- 線形化後の二次形式と準備 3 の二次形式の比較（第 2 段以降）✓補題 4.16・準備 5
- 二次形式のゲージ不変性の破れ✓補題 8.2・準備 3 の 3
- 単位格子の共分散の表示（CMP 99 (3.155)–(3.186)、Theorem 3.15 の表示）✓定理 9.2・準備 3 の 3
- ゲージ不変な拡張（CMP 99 (3.118)–(3.120)）✓命題 3.4・準備 3
- Δₖ の表示・下界と揺らぎの共分散（CMP 95 (1.65)–(1.67)、CMP 96 (2.118)(2.153)–(2.157)）✓命題 5.4・準備 3
- 背景場中の二次形式の展開と下界（CMP 99 (3.7)–(3.12)、§B、Theorem 3.15）✓定理 6.5・準備 3
- プロパゲータのノルム評価（原論文 (46)(130) と Theorem 3.13 [5]）✓補題 2.3・準備 4
- 変換後の二次形式の作用素✓補題 6.1・準備 4