このノイマン型測定演算子が作用した後の状態すなわちformula_9が2.の測定後の状態である。