El conjunto de matrices ortogonales constituyen una representación lineal del grupo ortogonal formula_1.