物理学 › 公理的場の量子論 › Wightman 公理と再構成定理有料章
局所作用素は真空を消さない
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 161 件、定義なども含めて 183 件）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 1 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
Reeh–Schlieder の定理✓定理 7.1・Wightman 公理と再構成定理
スペクトル条件と前方管への解析接続✓定理 5.3・Wightman 公理と再構成定理
錐に台をもつ超関数の Fourier–Laplace 変換✓定理 3.1・Wightman 関数の解析性
- 軟化と稠密性✓補題 2.2・Schwartz 空間と緩増加超関数 この先をたどる →
- 双対錐の元は錐の内点と鋭角をなす✓補題 2.2・Wightman 関数の解析性
- 連続性の半ノルムによる判定✓補題 3.4・Schwartz 空間と緩増加超関数
- 台の基本性質✓命題 7.2・Schwartz 空間と緩増加超関数 この先をたどる →
- 多変数の正則関数定義 2.1・多変数複素関数論
- Wightman 関数の基本性質✓命題 5.2・Wightman 公理と再構成定理
錐に Fourier 台をもつ超関数の一意性✓系 4.6・Wightman 関数の解析性
- 錐に台をもつ超関数の Fourier–Laplace 変換✓定理 3.1・Wightman 関数の解析性（上で展開済み）
edge-of-the-wedge の定理（超関数の境界値）✓定理 4.5・Wightman 関数の解析性
- edge-of-the-wedge の定理（連続な境界値）✓定理 4.4・Wightman 関数の解析性 この先をたどる →
- 𝒮′ の弱 * 列完備性✓定理 6.6・Schwartz 空間と緩増加超関数 この先をたどる →
- edge-of-the-wedge（象限・連続版・局所形）✓補題 4.3・Wightman 関数の解析性 この先をたどる →
- 円板の幾何✓補題 4.2・Wightman 関数の解析性
これを使っている定理 証明で参照している 3 件
- 真空を消す場は 0✓補題 5.2・PCT 定理・スピン統計定理・Haag の定理
- 場が真空から作る状態✓補題 7.1・Wightman 関数の解析性
- 交換子は c 数✓定理 7.6・Wightman 関数の解析性