物理学 › 構成的場の理論の原論文：反射正値性・クラスター展開・自明性 › Abdesselam–Rivasseau『An explicit large versus small field multiscale cluster expansion』(1997) 部 3有料章

大場条件の段関数の Gevrey 評価

補題 2.3（「Abdesselam–Rivasseau『An explicit large versus small field multiscale cluster expansion』(1997) 部 3」§2） ・ ✓公理まで証明済み

閉包の状態

✓ 公理まで証明済み

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

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

前提をたどる 証明が使う定理・定義（直接 3 件）

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

• コーシーの評価式✓命題 4.1・正則関数の強力な性質

  • コーシーの積分公式（導関数版）✓定理 3.2・正則関数の強力な性質

    • コーシー型積分の微分✓補題 3.1・正則関数の強力な性質
• 初等的な不等式✓補題 2.1・Abdesselam–Rivasseau『An explicit large versus small field multiscale cluster expansion』(1997) 部 3

  • ヘルダーの不等式✓定理 4.2・L^p 空間と関数解析への導入

    • 本質的上限と $L^∞$ 空間定義 3.2・L^p 空間と関数解析への導入
    • チェビシェフの不等式と正定値性✓補題 3.3・L^p 空間と関数解析への導入

      • 本質的上限と $L^∞$ 空間定義 3.2・L^p 空間と関数解析への導入
    • ヤングの不等式✓補題 4.1・L^p 空間と関数解析への導入
• ラグランジュの平均値の定理✓定理 3.3・平均値の定理とテイラーの定理

  • ロルの定理✓定理 3.1・平均値の定理とテイラーの定理

    • 最大値・最小値の定理✓定理 2.3・平均値の定理とテイラーの定理

      • 実数の連続性公理（上限性質）公理 5.1・数とは何か
      • 最大値の原理（ワイエルシュトラスの定理）✓定理 4.2・連続関数と一様連続性 この先をたどる →
      • 極限の四則✓定理 4.2・極限と連続性 この先をたどる →
    • 極大・極小定義 2.1・平均値の定理とテイラーの定理
    • フェルマーの補題✓補題 2.5・平均値の定理とテイラーの定理

      • 極大・極小定義 2.1・平均値の定理とテイラーの定理

これを使っている定理

証明で明示的に参照している定理は、まだありません。