正の演算子値測定によって表される観測量の互換性

境界のない観測量の場合に、Koelmanとde Muynckの結果に類似した結果の証明が与えられます。境界が必ずしもあるとは限らない二つの観測量が正の演算子値測定によって表される場合、それらのいずれかの測定は、両者が可換である場合に限り、妨げられることはありません。スペクトル関数の膨張に関するNaimark定理が利用されます。ウィグナーの定理のより強いバージョンが示されています。