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

holds.