物理学 › 公理的場の量子論 › 超選択セクターと荷電状態有料章

荷電表現の状態は局所化できない

系 7.8（「超選択セクターと荷電状態」§7） ・ ✓公理まで証明済み

閉包の状態

✓ 公理まで証明済み

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

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

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

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

• 局所化された状態は中性（Gauss の法則の帰結）✓定理 7.5・超選択セクターと荷電状態

  • 標準的な二重錐の因果的補集合✓補題 3.1・超選択セクターと荷電状態
  • 局所電荷は遠方の電場の流束✓補題 7.3・超選択セクターと荷電状態
  • 真空は中性✓補題 7.4・超選択セクターと荷電状態

    • 一点に台をもつ超関数✓定理 7.3・Schwartz 空間と緩増加超関数

      • 滑らかな切り落としと 1 の分割✓補題 2.3・Schwartz 空間と緩増加超関数 この先をたどる →
      • 台の基本性質✓命題 7.2・Schwartz 空間と緩増加超関数 この先をたどる →
    • 局所電荷は遠方の電場の流束✓補題 7.3・超選択セクターと荷電状態
• 漸近流束は中心的で、電荷は表現ごとに一定✓命題 7.7・超選択セクターと荷電状態

  • 局所化された状態は中性（Gauss の法則の帰結）✓定理 7.5・超選択セクターと荷電状態（上で展開済み）
  • 局所電荷は遠方の電場の流束✓補題 7.3・超選択セクターと荷電状態

これを使っている定理

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