
The postulates
of
quantum mechanics
47
Furthermore,
as a result
of
this property
of
the
operator
(called
hermiticity) any two eigenfunctions are also orthogonal,
i.e.
(2.16)
If
the eigenfunctions are also separately normalized, so that
I
"':;"'m
dr
=
jlf:""d7
=
J,
then
(2. J
7)
where
oorn
= 0 when n * m and I when n =
m.
Eigenfunctions that lire
both
orthogonal
and
normalized
are
said
to
be
orthonormal.
The
first three postulates capture the essence
of
the operator form
of
quantum
mechanics. There are further postulates,
but
these three are
the most
important.
They
firmly establish the existence
of
the wavefunc-
lion
and
its status as a complete description
of
the state
of
a quantum
particle, the replacement
of
the values
of
observable quantities (classical
mechanics) with their corresponding operators (quantum mechanics)
and
they provide a recipe for using the wavefunctions and operators to
calculate the values
of
the observables. All the rest follows.
Complementary observables
We
saw above
that
if
the
expectation value
of
an operator is calculated
using
one
of
its eigenfunctions, the result
is
equal to the correspond-
,ing eigenvalue.
If
the
quantum
system
of
interest is specified
by
the
. normalized wavefunction
"'.,
then the measurement
of
some properly
•
I
(A,
> (position,
momentum,
energy etc) requires the evaluation
of
the
. integral I .;,:)ilfn
dr
which,
as
we
have seen, is equal to
Q,
if
"'n
is an
eigenfunction
of
)i.
There
is
nothing inherent in this process to limit the
precision with which
(An)
(which is equal to
a.)
can
be
determined, i.e.
there is
in
principle
no
uncertainty associated with
(A.).
Suppose
we
wish to determine a second property, say
(B,),
of
tne
state described by the wavefunction
"'n.
Clearly, from postulate 3,
A A
(B
n
> =
I.;,:
B""
d,
where B
is
the operator corresponding
to
this second
observable (we have
assumed
that
If, is normalized).
If
we
wish
to
determine
(Bn)
simultaneously with the same arbitrarily high preci-
sion
as
we determined
(A,),
then
we
require
(En)
= b, where b,
is
the
corresponding eigenvalue. Hence,
"'n
must be a simultaneous eigenfunc-
. A
lion
of
B.
We
condude
that
in
order
to measure simultaneously two different
observables
of
a
quantum
state to arbitrary precision,
tne
wavefunction