Homepage › Solution manuals › Sheldon Axler › Linear Algebra Done Right › Exercise 10.A.11
Exercise 10.A.11
Answers
Proof. Because is self-adjoint, has a basis consisting of eigenvectors of , by the Spectral Theorems (see 7.24 and 7.29). By 7.35 (b), all eigenvalues of are nonnegative. If their sum equals , then they all equal . Applying to each of the basis vectors (which are eigenvectors of ), we see that . □