If , then
, and we say ``
and
commute;'' otherwise,
gives us a measure of the
error we make if we assume
and
do commute. As an example,
consider our operators
and
. Then,
Thus and
do not commute and the extent of
their non-commutivity is measured by
. The extent of this
non-commutivity is
directly related to the Heisenberg uncertainty principle
. Note that in the classical limit (
),
,
and
do commute. This
corresponds directly to the fact that in classical physics
there is no limit to how precisely x and p may be defined so that
.
As a final exercise, we verify that we get this same result for the commutator when carried out in the momentum representation,