En la Sección 2.3 de la segunda edición de Modern Quantum Mechanics (que analiza el oscilador armónico), Sakurai deriva la relación
esto implica que y son iguales salvo una constante multiplicativa.
Para mi sensibilidad, esto sólo está implícito si el -espacio propio del operador numérico correspondiente a es unidimensional. Si es multidimensional, entonces no podemos decir que y son proporcionales. Entonces (a menos que haya cometido algún error fundamental) ¿cómo sabemos que el espacios propios de son unidimensionales?
OP escribió (v1):
Entonces (a menos que haya cometido algún error fundamental) ¿cómo sabemos que el -espacios propios de son unidimensionales?
Sí, OP tiene razón. En general, no podemos saber. Existen representaciones unitarias reducibles del álgebra de Heisenberg , donde los valores propios de están degenerados.
Sin embargo, si se supone que el espacio de ket Hilbert es una representación unitaria irreductible no trivial del álgebra de Heisenberg, entonces se puede demostrar que los valores propios de debe ser no degenerado. Ver, por ejemplo, esta respuesta Phys.SE.