自由期待値の Schwarz 不等式（原論文 (2.32)(2.33)）

系 4.4（「Brydges–Fröhlich–Seiler (1979) 第 1 部」§4）・ ✓公理まで証明済み

この系は有料章（研究水準・買い切り ¥200）の中にあります。主張と証明は記事の該当箇所で読めます（料金）。

閉包の状態

✓ 公理まで証明済み

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

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

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

自由期待値の分解✓補題 4.1・Brydges–Fröhlich–Seiler (1979) 第 1 部
- θ の性質✓補題 3.6・Brydges–Fröhlich–Seiler (1979) 第 1 部
  - Θ の性質✓補題 6.2・Osterwalder–Seiler (1978) 第 1 部
    Grassmann 代数の基本事実✓補題 4.1・Osterwalder–Seiler (1978) 第 1 部
  - Grassmann 代数の基本事実✓補題 4.1・Osterwalder–Seiler (1978) 第 1 部

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