Leçon 407 — Groupe des rotations. SO(n) et ses sous-groupes.

Points clés

• Groupe orthogonal [formule] et groupe spécial orthogonal [formule]
• Structure de [formule] et [formule]
• Paramétrage des rotations : angles d'Euler, quaternions
• Sous-groupes finis de [formule]
• Algèbre de Lie [formule]

Plan

1. Groupe orthogonal et groupe spécial orthogonal
   • Définition : [formule], [formule]
   • Topologie : [formule] compact, [formule] compact connexe
   • Spectre d'une matrice orthogonale : valeurs propres de module [formule]
2. Structure de [formule]
   • Isomorphisme [formule] (cercle unité)
   • Matrice de rotation d'angle [formule] : [formule]
   • Sous-groupes : les sous-groupes fermés de [formule] sont [formule] et les groupes cycliques [formule]
3. Structure de [formule]
   • Théorème d'Euler : toute rotation de [formule] a un axe (vecteur propre pour la valeur propre [formule])
   • Paramétrage par axe et angle : [formule]
   • Angles d'Euler : décomposition [formule]
4. Quaternions et rotations
   • Corps des quaternions [formule] et quaternions unitaires [formule]
   • Revêtement [formule] : [formule], noyau [formule]
   • Application : interpolation de rotations (SLERP)
5. Sous-groupes finis de [formule]
   • Classification : cycliques [formule], diédraux [formule], tétraédrique [formule], octaédrique [formule], icosaédrique [formule]
   • Démonstration par comptage des pôles
   • Lien avec les polyèdres réguliers
6. Algèbre de Lie [formule]
   • Espace tangent à [formule] en [formule] : matrices antisymétriques [formule]
   • Exponentielle matricielle : [formule] pour [formule]
   • Dimension : [formule]

Théorèmes clés

• Théorème d'Euler : toute rotation de [formule] (élément de [formule]) est une rotation d'angle [formule] autour d'un axe orienté
• Classification des sous-groupes finis de [formule] : cycliques [formule], diédraux [formule] ([formule]), [formule] (tétraèdre), [formule] (cube/octaèdre), [formule] (dodécaèdre/icosaèdre)
• Revêtement double : [formule] est un morphisme de groupes surjectif de noyau [formule], i.e. [formule]
• L'application exponentielle [formule] est surjective

Exemples importants

• Groupe des rotations du cube : [formule] éléments, isomorphe à [formule]
• Groupe des rotations de l'icosaèdre : [formule] éléments, isomorphe à [formule]
• Quaternion [formule] pour la rotation d'angle [formule] autour de [formule]
• Matrice antisymétrique [formule] dans [formule] associée au vecteur [formule]

Erreurs courantes

• Confondre [formule] et [formule] (les réflexions ne sont pas dans [formule])
• Oublier que le revêtement [formule] est [formule] (le noyau est [formule])
• Croire que tout sous-groupe fini de [formule] est un sous-groupe fini de [formule]

Conseils du jury

• La classification des sous-groupes finis de [formule] est un développement classique et très apprécié
• Savoir relier les sous-groupes aux polyèdres réguliers
• Le jury apprécie la présentation des quaternions comme outil de paramétrage des rotations

Développements associés

• Sous-groupes finis de SO(3)
• Paramétrage par les quaternions
• Théorème de Cartan-Dieudonné
• Classification des isométries du plan euclidien
• Classification des polyèdres réguliers
• Décomposition polaire
• Formules de Frenet-Serret
• Groupe des rotations de l'icosaèdre
• Théorème de Cartan-Dieudonné

Prérequis

algebre lineaire, groupes structures, espaces euclidiens