点相互作用の分類と Krein のレゾルベント公式

定理 3.2（「ゼロ距離相互作用」§3）・ ✓公理まで証明済み

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

閉包の状態

✓ 公理まで証明済み

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

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

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

不足指数✓命題 2.3・ゼロ距離相互作用
- Green 関数の性質✓補題 2.2・ゼロ距離相互作用
- 値域と核の双対性✓補題 4.2・対称作用素と自己共役拡大
  - 共役の基本性質✓命題 5.6・非有界作用素
Green 関数の性質✓補題 2.2・ゼロ距離相互作用
擬レゾルベントから自己共役作用素へ✓補題 3.1・ゼロ距離相互作用
- 自己共役性の基本判定✓定理 4.3・対称作用素と自己共役拡大
  - 対称作用素の基本評価✓補題 4.1・対称作用素と自己共役拡大
    閉性の言い換え✓命題 4.2・非有界作用素
  - 値域と核の双対性✓補題 4.2・対称作用素と自己共役拡大（上で展開済み）

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