Tras medir el observable formula_10 a algún estado formula_5, si se ha obtenido el valor propio formula_17, el estado pasa a ser