Homepage › Solution manuals › Sheldon Axler › Linear Algebra Done Right › Exercise 7.D.1
Exercise 7.D.1
Answers
Proof. A quick calculation shows that for every . The map defined by
is a square root of . Moreover, it is easy to check that for all . We but need to prove that is self-adjoint. Let be an orthonormal basis of . We can write
for some . Note that
Therefore, the matrix of with respect to the basis has entries defined by
Thus , that is, . Hence is self-adjoint. □