In Abschnitt 2.3 der zweiten Ausgabe von Modern Quantum Mechanics (der den harmonischen Oszillator behandelt) leitet Sakurai die Beziehung her
das impliziert das Und bis auf eine multiplikative Konstante gleich sind.
Für mein Empfinden ist dies nur impliziert, wenn die -Eigenraum des Zahlenoperators korrespondierend zu ist eindimensional. Wenn es mehrdimensional ist, dann können wir das nicht sagen Und sind proportional. Also (es sei denn, ich habe einen grundlegenden Fehler gemacht), woher wissen wir, dass die Eigenräume von sind eindimensional?
OP schrieb (v1):
Also (es sei denn, ich habe einen grundlegenden Fehler gemacht), woher wissen wir, dass die -Eigenräume von sind eindimensional?
Ja, OP hat Recht. Im Allgemeinen können wir es nicht wissen. Es gibt reduzierbare einheitliche Darstellungen der Heisenberg-Algebra , wobei die Eigenwerte von sind degeneriert.
Wenn man jedoch annimmt, dass der Ket-Hilbert-Raum eine nicht-triviale irreduzible einheitliche Darstellung der Heisenberg-Algebra ist, dann kann man zeigen, dass die Eigenwerte von muss nicht degeneriert sein. Siehe zB diese Phys.SE-Antwort.