J2 und Jz haben gemeinsame Eigenvektoren. Wir notieren uns zwei wichtige Sätze, auf deren Herleitung wir aber verzichten wollen:
Die Eigenwerte von J2 sind von der Form j(j + 1)![]() ![]() ![]() |
Sind |![]() ![]() ![]() |
Damit haben wir bewiesen, daß J2 ein positiv semidefiniter Operator ist. So sind dessen Eigenwerte > 0. Wir schreiben diese als j(j + 1) mit j > 0. Für einen beliebigen Vektor |j,m> folgt mit den Identitäten 1.) und 2.), daß -j < m < j ist. Dies ergibt sich unter anderem daraus, daß die Norm nie kleiner als Null sein darf! Mit den Leiteroperatoren L± erhalten wir für einen Vektor |j,j>:
Daraus resultiert dann schließlich j = 0, , 1,
, ....