相互作用描像

定義 2.4（「時間発展と時間依存摂動論」§2）

状態と演算子を

|\psi_I(t)\rangle = U_0(t)^\dagger|\psi(t)\rangle,\qquad A_I(t) = U_0(t)^\dagger A\,U_0(t)

で定める。とくに摂動は $V_I(t) = U_0(t)^\dagger V(t)\,U_0(t)$ となる。相互作用描像の時間発展演算子を $U_I(t,t_0) = U_0(t)^\dagger U(t,t_0)$ と書く。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

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

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