物理学 › 公理的場の量子論 › 超選択セクターと荷電状態有料章
統計パラメタの量子化（DHR の統計定理の 3）
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理（物理では基本仮定）までつながっています（前提の定理類 13 件、定義なども含めて 13 件）。
印の意味: ✓公理まで証明済み ・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義（直接 1 件）
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
Markov 型の正値汎関数✓補題 5.3・超選択セクターと荷電状態
左逆元は交絡作用素の段数を一つ下げる✓補題 5.2・超選択セクターと荷電状態
- 交絡作用素の局所性✓補題 2.2・超選択セクターと荷電状態
統計作用素と置換群✓定理 4.6・超選択セクターと荷電状態
- 交換作用素は配置によらない✓定理 4.4・超選択セクターと荷電状態 この先をたどる →
- 交換作用素は交絡作用素✓補題 4.2・超選択セクターと荷電状態 この先をたどる →
- 自然性と六角関係✓命題 4.5・超選択セクターと荷電状態 この先をたどる →
- 積の規則✓補題 2.4・超選択セクターと荷電状態 この先をたどる →
これを使っている定理 証明で参照している 1 件
- DHR の統計定理✓定理 7.5・Haag–Kastler 公理と局所ネット