強グラフ極限

補題 6.2（「形式和・単調収束定理・Trotter–加藤の積公式」§6）・ ✓公理まで証明済み

定理 6.1 の状況で、 $\psi_n\in D(H_n)$ が $\psi_n\to\psi$ 、 $H_n\psi_n\to\eta$ を満たすとする。このとき $\psi\in D(H)$ （特に $\psi\in\mathcal{K}$ ）かつ $H\psi=P\eta$ 。

閉包の状態

✓ 公理まで証明済み

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

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

証明は Rikai の他の定理を参照していません（定義と論理だけで示されています）。