Leçon 401 — Isométries d'un espace affine euclidien. Classification en dimension 2 et 3.
Points clés
- Isométrie : définition et partie linéaire
- Groupe des isométries et décomposition en réflexions
- Classification en dimension 2 : translations, rotations, réflexions, réflexions glissées
- Classification en dimension 3 : ajout des vissages
- Isométries directes et indirectes
Plan
- Isométries d'un espace affine euclidien
- Définition : [formule] affine telle que [formule] pour tout [formule]
- Partie linéaire [formule] : isométrie vectorielle associée
- Décomposition : [formule] avec [formule] isométrie fixant un point et [formule] translation
- Théorème de Cartan-Dieudonné
- Énoncé : toute isométrie de [formule] est composée d'au plus [formule] réflexions
- Conséquence : le groupe [formule] est engendré par les réflexions
- Application à la décomposition en réflexions d'une rotation
- Classification en dimension 2
- Isométries directes ([formule]) : translations et rotations
- Isométries indirectes ([formule]) : réflexions et réflexions glissées
- Recherche d'éléments fixes et classification complète
- Classification en dimension 3
- Isométries directes : translations, rotations d'axe [formule], vissages (rotation + translation parallèle à l'axe)
- Isométries indirectes : réflexions par rapport à un plan, anti-rotations, anti-déplacements
- Résumé : toute isométrie de [formule] est un vissage ou un anti-vissage
- Sous-groupes du groupe des isométries
- Groupe diédral [formule] : isométries d'un polygone régulier à [formule] côtés
- Groupes de symétrie des polyèdres réguliers
- Sous-groupes finis de [formule] : classification
Théorèmes clés
- Théorème de Cartan-Dieudonné : toute isométrie vectorielle de [formule] est composée d'au plus [formule] réflexions (hyperplans)
- Classification en dimension [formule] : toute isométrie du plan euclidien est une translation, une rotation, une réflexion ou une réflexion glissée
- Classification en dimension [formule] : toute isométrie directe de [formule] est une translation, une rotation ou un vissage ; toute isométrie indirecte est une réflexion, une anti-rotation ou un anti-vissage
- Toute isométrie affine est la composée d'une isométrie fixant un point et d'une translation
Exemples importants
- Groupe diédral [formule] : [formule] isométries du triangle équilatéral ([formule] rotations, [formule] réflexions)
- Rotation d'angle [formule] autour de l'origine dans [formule] : matrice [formule]
- Vissage de [formule] : rotation d'angle [formule] autour de l'axe [formule] composée avec la translation [formule]
- Réflexion glissée : réflexion par rapport à une droite suivie d'une translation le long de cette droite
Erreurs courantes
- Oublier les réflexions glissées dans la classification en dimension [formule]
- Confondre isométrie affine et isométrie vectorielle (linéaire)
- Croire que toute isométrie directe de [formule] est une rotation (il y a aussi les vissages)
Conseils du jury
- La preuve de Cartan-Dieudonné est un développement classique et apprécié
- Savoir retrouver la classification à partir de l'étude des points fixes
- Le jury attend des exemples géométriques concrets illustrant chaque type d'isométrie
Développements associés
Prérequis
espaces euclidiens, groupe orthogonal, espaces affines