110
4.
SPECTRAL
DECOMPOSITION
Thisdecomposition is not
unique:
Wecouldalsowrite(x, y, z) = (x, h,0) +(0,
~y,
z),
andahostof
other
relations.
l1li
4.1.2. Definition. Let U and W be subspaces
of
a vector space Vsuch that V=
U+
Wand
the only vector common to both U
and
W is the zero vector. Then we
direct
sum
defined
say that Vis the direct sum
ofU
and
Wand
write
uniqueness
of
direct
4.1.3. Proposition. Let U and W be subspaces
ofV.
Then V = U
Ell
W ifand only
sum
ifany vector in Vcan be written
uniquely
as a vector in
11
plus a vector in W.
Proof Assume V = U
Ell
W, and let Iv) E V be written as a sum of a vector in U
and a vector in W in two different ways:
Iv) = lu) +Iw) = lu') +Iw')
{}
lu) - lu') = Iw') - Iw).
The LHS is in U. Since it is equal to the
RHS-which
is in
W-it
must be in
W as well. Therefore, the LHS must equal zero, as must the RHS. Thus,
lu) =
lu') , Iw') = Iw), and there is only one way that [u) can be written as a sum of a
vector in U and a vector in W.
Conversely,
if
la) E U and also la) E W, then one can write
la) = la) +
10)
and
--
in'lL
inW
la) =
10)
+ la) .
--
in'lL
inW
Uniqueness of the decomposition of la) implies that la) =
10).
Therefore, the
only vector corumon to both U and W is the zero vector. This implies that V =
UEilW. D
dimensions
ina 4.1.4. Proposition.
If
V =U
Ell
W, then dim V = dim U +dim W.
direct
sum
Proof
Let llui)
}~I
be a basis for U and
Ilwi)J~=I
a basis for W. Then it is easily
verified that
IluI)
,lu2),
...
, lu
m
) ,
IWI)
,lw2),
...
,
IWk)J
is a basis for V. The
details are left as an exercise. D
Wecan generalize the notion of the direct sum to more than two subspaces. For
example, we can write
R'
=
XEIl'IJEIlZ,
where X,
'IJ,
and Z are the one-dimensional
subspaces corresponding to the three axes. Now assume that
(4.1)
i.e., V is the direct sum of r
of
its subspaces that have no common vectors among
themselves exceptthe zero vector and have the propertythat any vector in Vcan be
written (uniquely) as a sum
of
vectors one from each subspace. Define the linear
operator
Pj
by Pj lu) = lu
j)
where lu) =
LJ=I
lu
j),
lu
j)
E U
j
.
Then it is readily