114 4.
SPECTRAL
DECOMPOSITION
Proof
Suppose M reduces A.Then by Theorem 4.2.3, M is invariant under both
Aand At. Lemma4.2.4 then implies
AP = PAP and
Atp
= PAtp. (4.4)
Taking the adjoint of the second equation yields
(Atp)t
=
(PAtp)t,
or PA =PAP.
This equation together with the first equation
of
(4.4) yields PA = AP.
Conversely, suppose that PA
= AP. Then p
2A
= PAP, whence PA = PAP.
Taking adjoints gives
Atp
= PAtp, because P is hermitian. By Lemma 4.2.4, M
is invariant under At. Similarly, from PA
= AP, we get PAP = Ap
2
,
whence
PAP
= AP. Once again by Lemma 4.2.4, M is invariant under A. By Theorem
4.2.3, M rednces A. D
The main goal of the remaining part
of
this chapter is to prove that certain
operators, e.g. hermitian operators, are diagonalizable, that is, that we can always
find an (orthonormal) basis in which they are represented by a diagonal matrix.
4.3 Eigenvalues
and
Eigenvectors
eigenvalue
and
eigenvector
Let us begin by considering eigenvaluesand eigenvectors, which are generaliza-
tions
of
familiar concepts in two and three dimensions. Consider the operation of
rotation aboutthe z-axis by an angle 0 denotedby Rz(O).Such a rotationtakes any
vector
(x, y) in the xy-plane to a new vector (x cos 0 - y sin 0, x sin 0 +y cos 0).
Thus, unless (x, y) =
(0,0)
or 0 is an integer multiple of
2n,
the vector will
change. Is there a nonzero vector that is so special (eigen,in German) that it does
not change when acted on by Rz(O)? As long as we confine ourselves to two di-
mensions, the answer is no. But
if
we lift ourselves up from the two-dimensional
xy-plane, we encounter many such vectors, alI
of
which lie along the z-axis.
The foregoing example can be generalized to any rotation (normally specified
by EuIer angles).
In fact, the methods developed in this section can be used to
show that a general rotation, given by Euler angles, always has an unchanged
vector lying along the axis around which the rotation takes place. This concept is
further generalized in the following definition.
4.3.1. Definition. A scalar A is an eigenvalue and a nonzero vector la} is an
eigenvector
of
the linear transformation A E
J:.,
(V) if
Ala}
=
Ala).
(4.5)
4.3.2. Proposition.
Add
the zerovector to the set
of
all eigenvectors
of
Abelonging
to the same eigenvalue
A,and denote the span
of
the resulting set by M
A
. Then
M
A
is a subspace
of
V,
and
every (nonzero) vector in M
A
is an eigenvector
of
A
with eigenvalue
A.
Proof
The prooffollows immediately from the above definition and the definition
of a subspace. D