Let and be
euclidean vector spaces,
and let
-
denote a
linear mapping. Then the following statements are equivalent.
- is an
isometry.
- For every
orthonormal basis
, ,
of ,
, ,
is part of an orthonormal basis of .
- There exists an
orthonormal basis
, ,
of such that
, ,
is part of an orthonormal basis of .