This post is on the Spectral Theorem. This is something that I should have been clear on a long time ago, but for reasons unknown to me, I was not. I hope to be able to rectify that now. The proof was discussed today in class. I am only recording my thoughts on it.
The spectral theorem states that a self-adjoint operator in an dimensional vector space has
orthogonal eigenvectors, and all its
eigenvalues are real.
Let be the
-dimensional vector space under consideration, and let
. A self adjoint operator is one that satisfies the following condition:
. If the inner product is defined in the conventional way in this setting, which is a sesquilinear product, then
has to be a hermitian matrix. For motivation, we’re going to assume this inner product for the rest of the proof.
As we’re working in ,
has at least one eigenvalue, and consequently and eigenvector. Let
, where
is the eigenvalue and
is the eigenvector.
. We know that
(it is in fact greater than $0$). Hence,
, which shows that
is real valued.
How do we contruct the basis of orthogonal eigenvectors though? We start with one eigenvector . Now consider the orthogonal complement of
. Let this be
. We claim that
. This is because for
,
(remember that
). Hence, if we write
in terms of the new basis which has
and elements from its orthogonal complement, then the first row and column will be all
‘s except for the the top left position, which will have
.
Now the action of on the orthogonal complement, or
, is the same as the action of
. The determinant of this again will have at least one solution, which ensures that we have an eigenvalue to work with. In this way, through an iterative process which ends after
iterations, we can generate
eigenvectors.