Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In Section 2.3 of the second edition of Modern Quantum Mechanics (which discusses the harmonic oscillator), Sakurai derives the relation $$Na\left|n\right> = (n-1)a\left|n\right>,$$ and states that

this implies that $a\left|n\right>$ and $\left|n-1\right>$ are the same up to a multiplicative constant.

To my sensibilities, this is only implied if the $\lambda$-eigenspace of the number operator $N:=a^{\dagger}a$ corresponding to $\lambda=n-1$ is one-dimensional. If it is multidimensional, then we cannot say that $a\left|n\right>$ and $\left|n-1\right>$ are proportional. So (unless I've made some fundamental error) how do we know that the $\lambda$ eigenspaces of $N$ are one dimensional?

share|cite|improve this question
up vote 4 down vote accepted

OP wrote(v1):

So (unless I've made some fundamental error) how do we know that the $\lambda$-eigenspaces of $N$ are one dimensional?

Yes, OP is right. In general, we cannot know. There exist reducible unitary representations of the Heisenberg algebra $[a,a^\dagger]=1$, where the eigenvalues of $N$ are degenerated.

However, if one assumes that the ket Hilbert space is a non-trivial irreducible unitary representation of the Heisenberg algebra, then one may show that the eigenvalues of $N$ must be non-degenerated. See e.g. this Phys.SE answer.

share|cite|improve this answer
Much appreciated. Thanks for the link. – Nick Thompson Oct 8 '12 at 3:58

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.