1. 基本的な設定 (H, ⟨·|·⟩)を可分なヒルベルト空間とし、B(H)をH上の有界線形作用素の集合とする。 2. 量子状態と観測量 S(H) = {ρ ∈ B(H) : ρ ≥ 0, Tr(ρ) = 1}を密度作用素の集合とする...