物理学 › 格子ゲージ理論の繰り込み群：Bałaban と Dimock の原論文 › Bałaban『Renormalization group approach to lattice gauge field theories I』精読 第 2 部有料章
積分剰余つきの Taylor の公式
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 18 件、定義なども含めて 24 件）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 1 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
n 変数のテイラーの定理（2 次まで）✓定理 9.10・多変数関数の微分と偏微分
C¹ 級ならば全微分可能（n 変数・ベクトル値）✓定理 9.3・多変数関数の微分と偏微分
- 全微分可能性の基本性質（n 変数・ベクトル値）✓命題 9.2・多変数関数の微分と偏微分
- 全微分可能（n 変数・ベクトル値）定義 9.1・多変数関数の微分と偏微分
連鎖律（ヤコビ行列の積）✓定理 9.4・多変数関数の微分と偏微分
連鎖律（曲線に沿った微分）✓定理 6.1・多変数関数の微分と偏微分
- 全微分可能定義 4.1・多変数関数の微分と偏微分
- 全微分可能性から出てくるもの✓命題 4.3・多変数関数の微分と偏微分 この先をたどる →
- 全微分可能性の基本性質（n 変数・ベクトル値）✓命題 9.2・多変数関数の微分と偏微分
テイラーの定理（ラグランジュの剰余）✓定理 5.3・平均値の定理とテイラーの定理
コーシーの平均値の定理✓定理 3.7・平均値の定理とテイラーの定理
これを使っている定理 証明で参照している 3 件
- 方向微分の Cauchy 評価✓補題 2.6・Bałaban『Renormalization group approach to lattice gauge field theories I』精読 第 2 部
- 5 次までの展開と剰余の評価（原論文 (3.33)–(3.35)、(3.54)）✓命題 6.4・Bałaban『Renormalization group approach to lattice gauge field theories I』精読 第 2 部
- 3 次で消える周期関数の表示✓補題 6.5・Bałaban『Renormalization group approach to lattice gauge field theories I』精読 第 3 部