Mathématiques · Glossaire

Qu'est-ce que « isométrie » ?

Définition 23.15 Mathématiques universitaires — Licence 1 · Chapitre 23 — Espaces euclidiens

Un endomorphisme uu d’un espace euclidien est une isométrie (ou application orthogonale) lorsqu’il conserve la norme : u(x)=x\norm{u(x)} = \norm x pour tout xx — de façon équivalente (polarisation), il conserve le produit scalaire ; de façon équivalente, sa matrice AA dans une base orthonormale vérifie ATA=IA^{\mathsf T} A = I. Les isométries forment un groupe, le groupe orthogonal O(E)O(E).

Deux réflexions font une rotation : en réfléchissant M = (2, 0.5) par rapport à l’axe des x, puis par rapport à la droite y = x, on arrive en (-0.5, 2) — l’image de M par la rotation d’angle π2 de centre l’origine, soit deux fois l’angle π4 entre les axes. Le devoir maison transforme cette image en la loi de composition de toutes les isométries planes.
Deux réflexions font une rotation : en réfléchissant M=(2,0.5)M = (2, 0.5) par rapport à l’axe des xx, puis par rapport à la droite y=xy = x, on arrive en (0.5,2)(-0.5, 2) — l’image de MM par la rotation d’angle π2\frac\pi2 de centre l’origine, soit deux fois l’angle π4\frac\pi4 entre les axes. Le devoir maison transforme cette image en la loi de composition de toutes les isométries planes.

Exemples

Exemple 23.16 (Reconnaître une isométrie à vue)

La matrice A=15(3443)A = \dfrac15\begin{pmatrix} 3 & -4\\ 4 & 3\end{pmatrix} est-elle orthogonale ? Les colonnes : normes 159+16=1\frac15\sqrt{9 + 16} = 1 et 1516+9=1\frac15\sqrt{16 + 9} = 1 ; produit 125(3(4)+43)=0\frac1{25}(3\cdot(-4) + 4\cdot3) = 0. Oui — et detA=9+1625=1\det A = \frac{9 + 16}{25} = 1, c’est donc la rotation RθR_\theta avec cosθ=35\cos\theta = \frac35, sinθ=45\sin\theta = \frac45 (la « rotation 33-44-55 », dont l’angle n’est aucune fraction remarquable de π\pi). En revanche B=12(1101)B = \frac{1}{\sqrt2}\begin{pmatrix} 1 & 1\\ 0 & 1\end{pmatrix} a un faux air de matrice normalisée, mais sa première colonne n’est pas unitaire (12\frac1{\sqrt2}) : elle n’est pas orthogonale — un déterminant ±1\pm1 ne certifie rien à lui seul, il faut vérifier les colonnes.

Lire dans le chapitre →