# Eigenstates of a harmonic oscillator

Using ladder operators, I can find eigenstates $\psi_n$ with eigenenergies $$E_n=\hbar\omega\left(n+\frac{1}{2}\right).$$ In my textbook, ladder operators work like $$a\psi_n = c_n \psi_{n-1}$$ $$a^\dagger \psi_n = d_n \psi_{n+1}$$ where $c_n$ and $d_n$ are propotional constants.

But, how do I assure that the difference between eigenstates is just $\hbar\omega$ and there is no other eigenstates between them? In other words, how do I assure that ladder operators make the right next eigenstate?

Observe that the number operator $N := a^\dagger a$ is positive-semidefinite because $$\langle \psi \vert N \psi \rangle = \lvert a \lvert \psi \rangle \rvert^2 \ge 0$$ and hence has no negative eigenvalues.
Since $a\lvert n \rangle = \sqrt{n}\lvert n - 1 \rangle$ for a normalized eigenstate of $N$ with eigenvalue $n$ (which one can derive from the commutation relation $[a,a^\dagger] = 1$), non-integer eigenvalues $q$ would make it possible to create a state with negative eigenvalue by applying $a^{\lceil q \rceil}$ to it, where $\lceil q \rceil$ is the smallest integer larger than $q$.