Homepage › Solution manuals › Sheldon Axler › Linear Algebra Done Right › Exercise 7.B.14
Exercise 7.B.14
Answers
Proof. Suppose has a basis consisting of eigenvectors of . We can assume without loss of generality that this list is normalized (we can divide each vector by its norm if it isn’t). Define by
Since every vector in can be uniquely written as linear combination of , this function is well defined. Moreover, one easily checks that this function is an inner product. Note that
Therefore is also orthonormal. The Real Spectral Theorem (7.29) now implies that is self-adjoint.
The converse follows directly from 7.29. □