Homepage › Solution manuals › Sheldon Axler › Linear Algebra Done Right › Exercise 7.B.6
Exercise 7.B.6
Answers
Proof. Suppose is self-adjoint. Let be an eigenvalue of and a corresponding eigenvector. Then
Therefore , that is, is real.
Conversely, suppose all eigenvalues of are real. Let denote an orthonormal basis consisting of eigenvalues of (which exists by 7.24) and let denote their corresponding eigenvalues (which are real). For any , we can write
for some . Then
Thus, by 7.15, is self-adjoint. □