I'm trying to understand the physicist's proof of the theorem on the spectral structure of angular momentum operators (I'm being told that this proof is due to Dirac). I will refer to Ballentine's book, chap. 3, section 1.
Angular momentum operators $J_x, J_y, J_z$, whatever definition we adopt, are bound to satisfy the commutation relations
$\tag{AMCR} [J_x, J_y]=iJ_z,\ [J_y, J_z]=iJ_x,\ [J_z, J_x]=iJ_y,$ which imply $[J^2, J_z]=0.$ Following Ballentine's book, we claim that from those relations alone we can infer:
- $J^2$ and $J_z$ have pure point spectrum;
- the possibile eigenvalues for $J^2$ are of the form $j(j+1)$ for a half-integer $j$;
- for every eigenvalue $j(j+1)$ of $J^2$, $J_z$ has the corresponding eigenvalues $m=-j, -j+1 \ldots j$. Those eigenvalues are simultaneous, meaning that for each one of them there exists a ket $\lvert j, m\rangle$ such that $J^2\lvert j, m\rangle=j(j+1)\lvert j, m\rangle$ and $J_z\lvert j, m\rangle=m\lvert j, m\rangle$. $J_z$ hasn't got any more simultaneous eigenvalues with $J^2$: in particular the spectrum of both operators is discrete.
I'll give an outline of the proof, stressing the troublesome parts in italic. If necessary, you can follow the complete proof at the link above.
Let $\lvert \beta, m\rangle$ be a simultaneous eigenket of $J^2, J_z$ respectively.
Step 1) We prove that $\beta \ge m^2$.
Step 2) Let $j$ be the maximum allowable value of $m$ for fixed $\beta$. Then, applying a ladder operator $J_+$ to $\lvert \beta, j\rangle$, we see that $J_+\lvert \beta, j\rangle=0$. (*)
Step 3) Turns out that $\beta=j(j+1)$ and that $-j=\min(m)$.
Step 4) Because of the existence of ladder operators, eigenvalues for $J_z$ are integer spaced (!). In particular, the difference between $j$ and $-j$ must be integer and so $j$ must be half integer. $\square$
Step 2 and Step 4 are troublesome. Step 4 seems to assume implicitly that if $\lvert j, m'\rangle$ is an eigenket then it can be reached by successive applications of ladder operators. For example, if $m'>m$ then it is assumed implicitly that $\lvert j, m'\rangle=J_+J_+\ldots J_+\lvert j,m\rangle$. I don't understand why this should be the case.
I would gladly accept any hint or reference on the question. Thank you.
(*) EDIT There used to be a question here, which is now solved. See Peter Taylor's comment and AlbertH answer below. Question was: "To do so the author uses implicitly the fact that $j$ is an eigenvalue of $J^2$ and so that an eigenket $\lvert \beta, j\rangle$ exists. This doesn't look obvious to me". end of edit