Euclidean vector space/Isometry/Orthogonal/Fact
Matrix characterization of an isometry
Let be a Euclidean vector space, and let denote an orthonormal basis of . Let
be a linear mapping, and let be the describing matrix of with respect to the given basis.
Then is an
isometry if and only if