Exercise 1024Linear algebra › Inner product spacesL1Added 3 Nov 2026
Orthogonal matrices and isometries
#orthogonal matrix#isometry#inner product preservation
Statement
Let be a real matrix. Show that is orthogonal () iff for all .
Hint
Compute .
Show solutionHide solution
Solution
If . Then .
Conversely. If for all , then for all . Taking , , we get , so .
Conclusion. Orthogonal matrices are exactly the linear isometries of .
Consequences. , and the columns of form an orthonormal basis.