物理学 › 格子ゲージ理論の繰り込み群：Bałaban と Dimock の原論文 › Bałaban『Large field renormalization I』(1989) 第 1 部有料章

Wilson 作用の項の下界

補題 1.1（「Bałaban『Large field renormalization I』(1989) 第 1 部」§1） ・ ✓公理まで証明済み

U∈U(nG)U\in U(n_G) に対して Re⁡tr⁡(1−U)=12tr⁡((1−U)∗(1−U))≥12∣U−1∣2\operatorname{Re}\operatorname{tr}(1-U)=\tfrac12\operatorname{tr}\bigl((1-U)^*(1-U)\bigr)\ge\tfrac12|U-1|^2 が成り立つ。

本文で読む（証明と前後の説明）→

閉包の状態

✓ 公理まで証明済み

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

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

前提をたどる 証明が使う定理・定義

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

これを使っている定理 証明で参照している 4 件