Prove that if A is a symmetric n x n matrix, then A has a set of n orthonormal eigenvectors.

http://ltcconline.net/greenl/courses/203/MatrixOnVectors/symmetricMatrices.htm

I've read the entire page and while it's on the correct topic, it doesn't prove what I'm looking to prove.

I think you want proof of the "completeness" property, i.e. that there are n orthonormal eigenvectors, not that if there are two eigenvectors then they must be orthogonal (or in the degenerate case that you can choose orthonormal eigenspaces corresponding to different eigenvalue).

Put differently this means that the eigenvectors span the entire linear space the matrix is acting on.

You can prove this using induction. If an n-by n matrix A has one eigenvector V with eigenvalue lambda, then you consider the linear operator defined as:

A dot x - lambda (V dot x) V

Here x is a vector on which we let the operator act on. A dot x is the action of A on x. The second term is the inner product of x with V we then multiply that by the vector V times lambda. This is just like what the matrix A does with V. By subtracting this term you map V to zero.

This means that the linear operator you obtained maps the orthogonal complement of vectors proportional to V, which is an n-1 dimensional space onto itself.

You can iterate this procedure until you encounter the trivial case of a linear operator acting on a 1 dimensional space.

All you need in this proof is the fact that a symmetric linear operator has at least one eigenvector.

can an inner product space v have a t invariant subspace U but also have an orthogonal complement that is NOT t-invariant???

Yes, it is possible for an inner product space V to have a T-invariant subspace U, but its orthogonal complement may not be T-invariant. Let me explain how such a situation can exist.

Let's consider an example. Suppose we have a linear operator T on a 3-dimensional inner product space V. Let U be a T-invariant subspace of V. This means that for any vector u in U, T(u) is also in U.

Now, the orthogonal complement of U, denoted as U⊥, consists of all vectors in V that are orthogonal to every vector in U. In other words, U⊥ is the set of all vectors v in V such that v is orthogonal to every u in U.

It's important to note that U⊥ is not a subspace of V. However, U⊥ is still a meaningful concept in terms of orthogonal complements. Now, suppose we have a vector v in U⊥. Because v is orthogonal to every u in U, T(v) must also be orthogonal to every u in U, since T preserves orthogonality.

However, T(v) may not necessarily be in U⊥. In other words, the orthogonal complement of U, U⊥, may not be T-invariant. This is because T(v) might have a component in U, which means it is not orthogonal to every u in U.

To summarize, while it is possible for an inner product space V to have a T-invariant subspace U, its orthogonal complement U⊥ may not be T-invariant.