generalizes the “dot product” in
is coordinate-free
makes it possible in abstract contexts to speak of
lengths
angles
is an orthogonal matrix.
is invertible and .
The columns of form an orthonormal basis of relative to the standard inner product (the “dot” product).
The rows of form an orthonormal basis of relative to the standard inner product.