Een endomorfisme van een euclidische ruimte is een isometrie (of orthogonale afbeelding) wanneer het de norm bewaart: voor alle — equivalent (polarisatie) bewaart het het inwendige product; equivalent voldoet haar matrix in een orthonormale basis aan . De isometrieën vormen een groep, de orthogonale groep .
Voorbeelden
Voorbeeld 23.16 (Een isometrie op het zicht herkennen)
Is orthogonaal? Kolommen: normen en ; product . Ja — en , dus is zij de rotatie met en (de “---rotatie”, waarvan de hoek geen opmerkelijke breuk van is). Daarentegen heeft wel het uiterlijk van een eenheidsdeterminant maar een eerste kolom zonder norm (): niet orthogonaal — een determinant alleen certificeert niets, de kolommen moeten worden gecontroleerd.