Homepage › Solution manuals › Sheldon Axler › Linear Algebra Done Right › Exercise 7.C.11
Exercise 7.C.11
Answers
Proof. Let and be orthonormal bases of consisting of eigenvectors of and , respectively, corresponding to the eigenvalues . Define by
for . One easily checks that is an isometry (using the Pythagorean Theorem). Then, because (by 7.42), we have . Thus
Similarly and . Therefore . □