1
$\begingroup$

My background in quantum mechanics is minimal, and I had seen the canonical commutation relation $$[\hat x, \hat p_x] = i\hbar\, \mathbb{I}$$ in a course, I took about two years ago. I'm doing pure mathematics, and in Operator Theory, I learned that the commutator of two bounded linear operators on a Hilbert space cannot be a non-zero scalar multiple of the identity. For references, see Halmos' exposition here. The result was first proved by Wintner, though.

Question: What's going wrong in the case of the canonical commutation relation? Is at least one of the two operators not bounded or linear? Also, what's the Hilbert space on which the operators $\hat x$ and $\hat p_x$ act?

$\endgroup$
5

1 Answer 1

3
$\begingroup$

Just to develop what people already said in the comment: in fact, you put your finger on the proof that position and momentum operators can't have bounded spectra.

Since those operators have an infinite number of eigenvalues, their trace is undefined (the sum doesn't converge), so the commutation relation can hold without violating any algebric property.

Such operators actually act inside a space that is larger than a simple Hilbert space, a structure called a rigged Hilbert space.

Fun fact: a pair of operators governed by a relation like $[A,B]=i$, then they also verify a Heisenberg-type property, $\Delta a\,\Delta b\geqslant\frac{\lvert[A,B]\rvert}{2}$.

$\endgroup$
6
  • $\begingroup$ Is there a name for the "rigged" Hilbert space on which these operators act? $\endgroup$ Jun 3 at 19:32
  • 2
    $\begingroup$ In English, I believe that the proper name is rigged Hilbert space. In my language (French), it can be translated as a "Gelfand triplet". $\endgroup$
    – Miyase
    Jun 3 at 19:34
  • $\begingroup$ @connected-subgroup It should really be '"rigged Hilbert" space,' not '"rigged" Hilbert space.' The rigged space is not a Hilbert space, since it contains non-normalizable states: physics.stackexchange.com/a/614466/70245 $\endgroup$
    – Buzz
    Jun 3 at 21:29
  • 1
    $\begingroup$ Minor remark, there are plenty of bounded operators with an infinite number of eigenvalues (even continuum infinite if you pass me the jargon, since in this case they are not eigenvalues). $\endgroup$
    – lcv
    Jun 3 at 23:16
  • 2
    $\begingroup$ No problem. But to be precise there are also plenty of bounded operators with purely continuous spectrum. $\endgroup$
    – lcv
    Jun 3 at 23:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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