ノイマン型
このノイマン型測定演算子が作用した後の状態すなわちformula_9が2.の測定後の状態である。このような状態は演算子のテンソル積および指数の定義から