Postulat de Projection

Règle de mise à jour d'un état quantique après une mesure projective idéale : si une mesure correspondant à un projecteur P est effectuée et que l'issue associée à P est observée, l'état après mesure est ρ' = PρP / Tr(Pρ) et la probabilité de l'issue est Tr(Pρ). Dans la forme de Lüders, pour des valeurs propres dégénérées l'état est mis à jour par le projecteur sur l'espace propre correspondant.