Sea formula_17 el estado inicial de un cierto sistema cuántico en notación bra-ket.