From Linear Algebra by Friedberg, Insel, and Spence, 3rd edition:
"Lemma. letbe a self-adjoint operator on a finite-dimensional inner product spave
. Then
(a) Every eigenvalue ofis real.
(b) Suppose thatis a real inner product space. Then the characteristic polynomial of
splits."
The proof for part (b) is as follows:
"Let,
be an orthonormal basis for
, and
. Then
is self-adjoint. Define
by
. Then
is a linear operator on
. Furthermore,
is self-adjoint because
, where
is the standard ordered (orthonormal) basis for
. So by (a) the eigenvalues of
are real. By the fundamental theorem of algebra the characteristic polynomial of
splits into factors of the form
. Since each
is real, the characteristic polynomial splits over
. But
has the same characteristic polynomial as
, which has the same characteristic polynomial as
. Therefore, the characteristic polynomial of
splits."
I can follow the proof, but I don't understand why all the work inis necessary. Why doesn't the splitting of the characteristic polynomial of
just follow straight from the fact that every eigenvalue of
is real? The eigenvalues are the roots of the characteristic polynomial; if they're real, then shouldn't
split over
?


LinkBack URL
About LinkBacks