4.7
REAL
VECTOR
SPACES
131
(this is the fundamental theorem of algebra). A polynomial over the reals, on the
otherhand, does not necessarily have all its roots in the real number system.
It
may therefore seem that vectorspaces over the reals will not satisfythe nseful
theorems and results developed for complex spaces. However, through a process
called
complexification of a real vector space, in which an imaginarypartis added
to such a space, it is possible
to prove (see, for example, [Balm 58]) practically all
the results obtained for complex vector spaces. Only the resnlts are given here.
4.7.1.
Theorem.
Arealsymmetricoperatorhasaspectraldecompositionasstated
in Theorem4.4.6.
This theorem is especially useful in applications of classical physics, which
deal mostly with real vector spaces. A typical situation involves a vector that
is related to another vector by a symmetric matrix.
It
is then convenient to find
a coordinate system in which the two vectors are related in a simple mauner.
This involves diagonalizing the symmetric mattix by a rotation (a real orthogonal
matrix). Theorem 4.7.1 reassures us that such a diagonalization is possible.
4.7.2.
Example.
For a systemof N pointparticles constituting a rigid body,the total
angular momentum L =
'Lf::l
mj(rj
x Vi) is related to the angular frequency via L =
'Lf::l
mi[rj
x (w x Ii)] =
'Lf::l
mj[wfj
.
fj
-
fieri
. W)], or
(
Z;)
=
(~;:
~;~
t.,
I
zx
/zy
where
IX,)
(WX)
I
yz
Wy.
I
zz
{Oz
N
i..
=
L:mjC
rl-
xl>.
;=1
N
I
xy
=
-LmjXiYi,
i=1
N
I
yy
=L mi
(r1-
Y1),
i=1
N
[xz
= -
LmjXjZi.
i=1
N
I
zz
=
EmjC
r
l- zf),
i=1
N
I
yz
=-
LmiYiZi,
i=1
with I
xy
= I
yx
•
[xz
=
[zx.
and I
yz
=
flY'
The 3 x 3 matrix is denoted by I and is called the moment
of
inertia matrix. It is
symmetric,andTheorem4.7.1permitsits diagonalizationby anorthogonal transformation
(the counterpart of a unitary transformation in a real vector space). But an orthogonal
transformation in threedimensions is merely a rotation of coordinares.? Thus, Theorem
4.7.1 says that
it
is always possible to choose coordinate systems in which the moment of
inertia matrix is diagonal.
In such a coordinate system we have
Lx
= Ixxwx. L
y
= Iyywy,
and
L
z
= Izzwz,simplifying the equations considerably.
Similarly, thekineticenergyof therigidrotatingbody,
N. N N
T = L !mjVr = L
!miVj
. (w x
rj)
= L
!mjw.
(r,
x Vj) =
!W.
L = !wt!W,
i=1 i=1
i=1
71bis is not entirely true! There are orthogonal transformations that are composed
of
a rotationfollowedby a reflection about
the origin. See Example 3.5.8.