随伴演算子

定義 3.1（「演算子と物理量」§3）

演算子 $\hat A$ に対し、すべての $|\phi\rangle, |\psi\rangle \in \mathcal H$ について

\langle \hat A\phi\,|\,\psi\rangle = \langle \phi\,|\,\hat A^{*}\psi\rangle

を満たす演算子 $\hat A^{*}$ を $\hat A$ の随伴演算子と呼びます。

閉包の状態

定義

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

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