物理学 › 格子ゲージ理論の繰り込み群：Bałaban と Dimock の原論文 › Dimock『Multiscale block averaging for QED₃』(2020) 第 3 部有料章
ゆらぎ積分の Gauss 測度への書き換え（原論文 (254)〜(259)）
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 39 件、定義なども含めて 52 件）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 4 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
面ボンドの寄与✓補題 3.3・Dimock『Multiscale block averaging for QED₃』(2020) 第 3 部
平均作用素の恒等式✓命題 3.2・Dimock『Multiscale block averaging for QED₃』(2020) 第 3 部
- 格子上の Stokes の定理✓補題 2.1・Dimock『Multiscale block averaging for QED₃』(2020) 第 3 部
ゆらぎの 2 次形式の正定値性と L だけによる下界✓補題 7.1・Dimock『Multiscale block averaging for QED₃』(2020) 第 3 部
- 平均作用素の恒等式✓命題 3.2・Dimock『Multiscale block averaging for QED₃』(2020) 第 3 部（上で展開済み）
箱の中の Poincaré 補題✓補題 2.3・Dimock『Multiscale block averaging for QED₃』(2020) 第 3 部
- 格子上の Stokes の定理✓補題 2.1・Dimock『Multiscale block averaging for QED₃』(2020) 第 3 部
制約面での正定値性✓補題 4.7・Dimock『Multiscale block averaging for QED₃』(2020) 第 3 部
- 平均作用素の恒等式✓命題 3.2・Dimock『Multiscale block averaging for QED₃』(2020) 第 3 部（上で展開済み）
- 箱の中の Poincaré 補題✓補題 2.3・Dimock『Multiscale block averaging for QED₃』(2020) 第 3 部（上で展開済み）
- 面ボンドの寄与✓補題 3.3・Dimock『Multiscale block averaging for QED₃』(2020) 第 3 部（上で展開済み）
ガウス関数の Fourier 変換✓補題 7.1・整関数とガンマ関数
ガウス積分✓定理 3.3・広義積分・パラメータ積分とガンマ関数
比較判定法と絶対収束✓定理 2.3・広義積分・パラメータ積分とガンマ関数
- 単調有界定理✓定理 2.1・級数と収束判定
- 広義積分のコーシーの判定法✓定理 2.2・広義積分・パラメータ積分とガンマ関数 この先をたどる →
置換積分✓定理 6.1・積分の基本定理と定積分
- 連続関数は原始関数をもつ✓系 5.3・積分の基本定理と定積分 この先をたどる →
- 連鎖律✓定理 7.2・導関数の定義と基本的な微分法 この先をたどる →
- 連続関数の可積分性と区分求積法✓定理 3.5・積分の基本定理と定積分 この先をたどる →
- 微分積分学の基本定理（第二部・ニュートン–ライプニッツの公式）✓定理 5.4・積分の基本定理と定積分 この先をたどる →
- 格子ガウス測度とガウス畳み込み定義 2.1・厳密くりこみ群
これを使っている定理 証明で参照している 9 件
- ゆらぎの 2 次形式の上下界（原論文 (192)）✓命題 6.10・Dimock『Ultraviolet regularity for QED₃』(2018) 第 1 部
- 弱めた作用素の評価と分離✓補題 2.8・Dimock『Ultraviolet regularity for QED₃』(2018) 第 3 部
- ゲージ場の平行移動のまとめ（原論文 (412)〜(420)）✓命題 5.4・Dimock『Ultraviolet regularity for QED₃』(2018) 第 3 部
- ゆらぎの領域の性質✓補題 6.2・Dimock『Ultraviolet regularity for QED₃』(2018) 第 3 部
- 局所化は対称性を保つ（有界場近似）✓命題 8.4・Dimock『Ultraviolet regularity for QED₃』(2018) 第 3 部
- ゆらぎ共分散の基底での評価（原論文 (134)(135)(141)）✓補題 8.1・Dimock『Ultraviolet stability for QED₃』(2022) 第 1 部
- 局所化は対称性を保つ（大域版）✓命題 7.9・Dimock『Ultraviolet stability for QED₃』(2022) 第 2 部
- 自由な分配関数の表示（原論文 (414)〜(417)）✓補題 3.6・Dimock『Ultraviolet stability for QED₃』(2022) 第 4 部
- Lemma 23（大場の特性関数の利得）✓命題 5.3・Dimock『Ultraviolet stability for QED₃』(2022) 第 4 部