11.2: Non-Commuting Operators
( \newcommand{\kernel}{\mathrm{null}\,}\)
In the previous section, we saw that if a particle can be in a definite state for two observables, then the two operators associated with those observables will commute. The converse is therefore also true; if two operators do not commute, then it is not possible for a quantum state to have a definite value of the corresponding two observables at the same time.
We’ve already seen examples of this. A particle can’t have a definite x spin and a definite y spin at the same time. If our theory is to be useful, then we would hope that ˆSx and ˆSy would not commute when they operate on a general normalized state |ψ⟩. Let’s try it first in one order:
ˆSxˆSy|ψ⟩=ℏ24[0110][0−ii0][ψ1ψ2]=ℏ24[0110][−iψ2iψ1]=ℏ24[iψ1−iψ2]=iℏ24[ψ1−ψ2]
Now let’s try it in the other order:
ˆSyˆSx|ψ⟩=ℏ24[0−ii0][0110][ψ1ψ2]=ℏ24[0−ii0][ψ2ψ1]=ℏ24[−iψ1iψ2]=−iℏ24[ψ1−ψ2]
Clearly the two are not the same; one is the negative of the other. Therefore, ˆSx and ˆSy do not commute when operating on a general state ψ, as expected.
It is interesting to note the effect of ˆSz on this same general state:
ˆSz|ψ⟩=ℏ2[100−1][ψ1ψ2]=ℏ2[ψ1−ψ2]
Notice that except for the constant out front, the vector produced by ˆSz on this state is the same as the vector produced by ˆSxˆSy and ˆSyˆSx. In fact, we can put the two together:
(ˆSxˆSy−ˆSyˆSx)|ψ⟩=iℏ22|ψ⟩[ˆSx,ˆSy]|ψ⟩=iℏˆSz|ψ⟩
The term in brackets, [ˆSx,ˆSy] is called the commutator of ˆSx and ˆSy. It’s defined by the term in parentheses above it: (ˆSxˆSy−ˆSyˆSx). It works out for the commutators of all three spin angular momentum operators that:
[ˆSx,ˆSy]=iℏˆSz
[ˆSy,ˆSz]=iℏˆSx[ˆSz,ˆSx]=iℏˆSy