
Consider the vector space L2x of square integrable functions. We have earlier identified two orthonormal, continuously labeled bases for L2x,
,
and
.
We can generalize to three dimensions. Then the bases are
,
and
.
Let us associate the kets |p0> with
and |r0> with
, and the ket |y> with the
wave function y(r).
Then
denotes the components of |y> in the {|p0>} basis and
denotes the components
of |y> in the {|r0>}
basis.
Recall:
For the {|p>} basis we have
,
and for the {|r>} basis we have
.
The scalar product of two vectors |y> and |f> can be calculated on the{ |r>} basis and the {|p>} basis.
![]()
and
.
We use the transformation matrix U to change from the {|r>} basis to the {|p>} basis.
![]()
.
For any change of basis with U we have shown
,
where dk denotes the coordinates in the new basis and ci denotes the coordinates in the old basis.
Therefore
.
denotes
the coordinates of |y> in the {|p>}
basis and
denotes
the coordinates of |y> in the {|r>}
basis. If we denote the matrix elements of the operator A, <r|A|r>,
by A(r,r) and the matrix elements <p|A|p>
by A(p,p) then
,
which corresponds to
.
![]()
Let X be the operator whose eigenvectors are {|r>}.
Let X|r>=x|r>,
with x a real number.
Let Px be the operator whose eigenvectors are {|p>}.
Let Px|p>=px|p>, with px
a real number.
Make similar definitions for Y an Z and for Py and Pz.
Let |y> and |f>
be arbitrary kets.
Calculate
.
X is Hermitian. In the {|r>} representation operating with the operator X just amounts to multiplying by the number x.
Similarly:
.
Px is Hermitian. In the {|p>} representation operating with the operator Px just amounts to multiplying by the number px.
But we may also write
![]()
,
since Px is Hermitian.
is the Fourier transform
of y(r).
![]()
But what is pxy(p)?
The Fourier transform of
is
![]()
.
,
using ![]()
We therefore have
![]()
![]()
.
Therefore
![]()
since
.
We have
.
In the {|r>} representation the operator Px
coincides with the differential operator
.
Similarly,
.
In the {|p>} representation the operator X coincides with the
differential operator
, etc.
![]()
.
=
![]()
![]()
for any
and
any |r>. Therefore
.
We proceed similarly for the y and z
components. We write
.
The operators Ri and Pi do not commute. A common eigenbasis of Ri and Pi does not exist.