Un endomorfismo de un espacio euclídeo es una isometría (o aplicación ortogonal) cuando conserva la norma: para todo — equivalentemente (por polarización), conserva el producto escalar; equivalentemente, su matriz en una base ortonormal cumple . Las isometrías forman un grupo, el grupo ortogonal .
Ejemplos
Ejemplo 23.16 (Reconocer una isometría a simple vista)
¿Es ortogonal ? Columnas: normas y ; producto . Sí — y , así que es la rotación con , (la «rotación --», cuyo ángulo no es ninguna fracción notable de ). En cambio, tiene aspecto de estar escalada para tener determinante unidad, pero su primera columna no es unitaria (): no es ortogonal — el determinante por sí solo no certifica nada, hay que comprobar las columnas.