Groupe orthogonalEn mathématiques, le groupe orthogonal réel de degré n, noté O(n), est le groupe des transformations géométriques d'un espace Euclidien de dimension n qui préservent les distances (isométries) et le point origine de l'espace. Formellement, on introduit le groupe orthogonal d'une forme quadratique q sur E, espace vectoriel sur un corps commutatif K, comme le sous-groupe du groupe linéaire GL(E) constitué des automorphismes f de E qui laissent q invariante : pour tout vecteur x de E.
Groupe de symétrieLe groupe de symétrie, ou groupe des isométries, d'un objet (, signal, etc.) est le groupe de toutes les isométries sous lesquelles cet objet est globalement invariant, l'opération de ce groupe étant la composition. C'est un sous-groupe du groupe euclidien, qui est le groupe des isométries de l'espace affine euclidien ambiant. (Si cela n'est pas indiqué, nous considérons ici les groupes de symétrie en géométrie euclidienne, mais le concept peut aussi être étudié dans des contextes plus larges, voir ci-dessous.
IsométrieEn géométrie, une isométrie est une transformation, qui conserve les longueurs et les mesures d’angles, délimités par deux demi‐droites ou bien deux demi‐plans. Autrement dit, une isométrie est une similitude particulière, qui reproduit n’importe quelle figure à l’échelle 1. Ce rapport 1 de longueurs s’appelle le rapport de la similitude. Comme une similitude, une isométrie dite directe conserve l’orientation des figures, tandis qu’une isométrie indirecte inverse leur orientation.
