補題A： 状態ベクトルのシュレーディンガ方程式： d/dt |ψ(t)> = -a H |ψ(t)> （aは定数） が成り立つというのは、公理とします。 まず、状態ベクトルから波動関数を導きます。 |ψ(t)> を演算子ｘの固有空間へ射影することを考えます。 この射影演算子は｜x><x| です。 ｜x></x|>…