Messoperator

Ein Messoperator M_i, der einem bestimmten Messergebnis zugeordnet ist, so dass der (nicht normalisierte) Post-Measurement-Zustand M_i ρ M_i^† ist und die Ergebniswahrscheinlichkeit p(i)=tr(M_i^† M_i ρ) ist. Messoperatoren erfüllen ∑_i M_i^† M_i = I bei vollständigen Messungen.