Rotation en quatre dimensions
En mathématiques, les rotations en quatre dimensions (souvent appelées simplement rotations 4D) sont des transformations de l'espace euclidien , généralisant la notion de rotation ordinaire dans l'espace usuel ; on les définit comme des isométries directes ayant un point fixe (qu'on peut prendre comme origine, identifiant les rotations aux rotations vectorielles) ;  le groupe de ces rotations est noté SO(4) : il est en effet isomorphe au groupe spécial orthogonal d'ordre 4.

Les propriétés des rotations 4D sont assez différentes de celles en trois dimensions ; en particulier, elle n'ont le plus souvent qu'un seul point fixe. Elles possèdent en revanche deux plans invariants orthogonaux, et peuvent toutes s'exprimer comme composées de deux rotations (dites simples) autour de ces deux plans.

Propriétés géométriques

Définitions et notations 
Par analogie avec les rotations du plan (autour d'un point) et les rotations de l'espace (autour d'une droite), on pourrait vouloir définir les rotations de l'espace à quatre dimensions (ou rotations 4D) comme se faisant autour d'un plan ; une analyse plus abstraite de cette question amène à définir une rotation 4D comme une isométrie de cet espace laissant un point fixe ; utilisant ce point comme origine, on se ramène à l'étude des isométries vectorielles, encore appelées transformations unitaires. On montre alors que les rotations autour d'un plan ne sont que des cas très particuliers, appelés rotations simples.

Sauf précision contraire, les rotations de cet article sont toutes des rotations 4D. Les angles sont ramenés à l'intervalle , sauf lorsque le contexte justifie une exception. L'étude algébrique est faite systématiquement dans le cas vectoriel (autrement dit les rotations ont toujours au moins l'origine comme point fixe).

Un plan fixe est un plan (un sous-espace vectoriel ou affine de dimension 2) dont tous les vecteurs (respectivement les points) sont invariants dans la rotation. Un plan invariant est un plan dont tous les vecteurs restent dans le plan après la rotation.

Rotations simples 

 est une rotation simple si elle possède un plan fixe  ; on dit  que  est une rotation autour de . Tout plan  orthogonal à  intersecte  en un point  unique  ;  est un plan invariant et la restriction de  à  est une rotation plane de centre  et d'un angle  ne dépendant pas de  ; on dit que  est la rotation d'angle  autour de .

Rotations doubles 

La plupart des rotations n'ont qu'un point fixe ; on dit que ce sont des rotations doubles. On démontre que pour toute rotation double , il existe au moins un couple de plans orthogonaux  et , passant par ce point, et invariants par  ; la restriction de  à ces plans est une rotation plane, 

Pour presque tous les  (l'ensemble de toutes les rotations, qui est de dimension 6, sauf un  sous-ensemble de dimension 3), les deux angles de ces rotations ( dans le plan  et  dans le plan , supposés tous deux non nuls) sont distinct. Ces deux angles   sont presque uniquement déterminés par  : supposant l'espace orienté, les orientations des deux plans  et  peuvent être choisies de deux façons différentes. L'expression « rotation double » est parfois réservée au cas , les rotations pour lesquelles  s'appelant des rotations isoclines. Si , il n'y a pas d'autres plans invariants que   et .

Chaque rotation double  peut s'écrire comme composée (dans n'importe quel ordre) d'une rotation (simple) d'angle  autour du plan  et d'une rotation d'angle  autour du plan .

Rotations isoclines 
Si , on dit que  est une rotation isocline (ou parfois un déplacement de Clifford).  Toutes les demi-droites  issues de   forment  alors un angle  avec leur image , et tous les plans engendrés par  et  sont invariants (mais les autres plans ne le sont pas).

En orientant l'espace, on peut séparer les rotations isoclines en deux catégories, appelées rotations droites et rotations gauches. Informellement, pour tout couple de plans invariants orthogonaux, la rotation a lieu « dans le même sens » pour une rotation gauche, et « dans des sens opposés » pour une rotation droite. Plus rigoureusement, soit un repère direct  (les quatre demi-droites , , ,  étant donc deux à deux orthogonales) tel que  et   (et donc également  et ) engendrent un plan invariant. Il existe en fait quatre rotations isoclines d'angle  pour lesquelles ces plans sont invariants ; fixant l'orientation de l'espace et des plans, de telle sorte que les angles (, ) et  (, ) soient positifs, les quatre rotations peuvent s'écrire , ,  et .  et  sont inverses l'une de l'autre, comme  et . Choisissant  dans l'intervalle , ces quatre rotations sont distinctes (l'angle  correspond à l'identité, l'angle  correspond à une symétrie centrale).

Les rotations  et  (correspondant à des angles de même signe) sont appelées des rotations gauches ;  les rotations   et  sont des  rotations droites. Elles sont représentées respectivement par la multiplication à gauche et à droite (d'où leur nom) par des quaternions, comme expliqué ci-dessous.

Propriétés algébriques

Le groupe SO(4) 
Le groupe des rotations est isomorphe au groupe SO(4) (le groupe spécial orthogonal en dimension 4); c'est un groupe de Lie compact, non commutatif, de dimension 6.

L'ensemble des rotations simples autour d'un plan donné est un sous-groupe commutatif de SO(4), isomorphe à SO(2) (le groupe des rotations vectorielles du plan) ; tous ces sous-groupes sont conjugués deux à deux, c'est-à-dire qu'il existe une rotation (et même une rotation simple)  telle que .

Plus généralement, chaque couple de plans orthogonaux définit un ensemble de rotations ayant ces plans comme plans invariants, qui sont des rotations doubles sauf si l'un des angles est nul ; cet ensemble est un sous-groupe commutatif de  SO(4) isomorphe à  ; là encore, tous ces sous-groupes sont conjugués deux à deux ; chacun d'eux est un tore maximal de SO(4).

L'ensemble des rotations isoclines gauches est un sous-groupe non commutatif de SO(4), noté 3L, isomorphe au groupe multiplicatif 3 des quaternions unités. De même, les rotations isoclines droites forment un sous-groupe 3R isomorphe à 3. 3L et 3R sont des sous-groupes maximaux de SO(4).

Chaque rotation gauche commute avec chaque rotation droite ; cela implique que le produit direct  a pour sous-groupes normaux 3L et 3R ; ce produit n'est cependant pas isomorphe à SO(4), ni à un de ses sous-groupes, car 3L et 3R ne sont pas disjoints : ils ont en commun, outre l'identité , la symétrie centrale .

Toute rotation  est le produit de deux rotations isoclines  (respectivement gauche et droite)  et , déterminées à symétrie centrale près (autrement dit, les seules solutions sont ). Ce résultat montre que 3L × 3R est le  de SO(4) — son unique revêtement double — et que 3L et  3R sont des sous-groupes normaux de SO(4). L'identité  et la symétrie centrale  forment un groupe d'ordre 2, C2, qui est le centre de SO(4) (ainsi que de  3L et 3R) ; le groupe quotient de SO(4) par C2 est isomorphe à S3L × S3R, et donc à SO(3) × SO(3).

La topologie de SO(4) est la même que celle du groupe de Lie SO(3) × Spin(3) = SO(3) × SU(2), isomorphe à , où  est l'espace projectif de dimension 3 et  est la 3-sphère. Cependant, en tant que groupe de Lie, SO(4) n'est pas un produit direct de groupes de Lie, et n'est donc pas isomorphe à .

Propriétés particulières de SO(4) 
La structure des groupes SO(n) dépend de n : si n est impair, le groupe est simple ; SO(2) est commutatif. Les groupes SO(2n) (avec n >1) contiennent la symétrie centrale , et ont pour centre  ; pour n > 2 (donc à partir de SO(6)), ils sont presque simples, au sens où le groupe quotient SO(2n)/C2 est un groupe simple.

SO(4) est exceptionnel : les sous-groupes  et  (qui se généralisent à SO(2n), mais où les ensembles correspondants ne sont même pas des groupes) ne sont pas conjugués (mais ils le sont dans O(4), le groupe de toutes les isométries, en utilisant des symétries par rapport à un hyperplan), et donc ne sont pas des sous-groupes normaux.

Décomposition isocline 
Les éléments de SO(4) peuvent se représenter par la matrice représentant l'image, par la rotation, d'une base orthonormée dans cette même base ; on démontre que cette matrice est une matrice orthogonale de déterminant +1.

Partant de cette matrice,

on peut construire deux matrices de rotations isoclines gauche et droite (vérifiant ) de la manière suivante :

on détermine la matrice associée

 est de rang 1 et de norme euclidienne 1 (en tant que vecteur de ) si et seulement si   est une matrice de rotation. Il existe alors des réels  et  tels que

et

Si on impose de plus que  et , ces réels sont uniques (au signe près).

On peut alors écrire

Cette formule est due à Van Elfrinkhof (1897).

Utilisation des quaternions 
Les points (ou les vecteurs) de l'espace à quatre dimensions peuvent être représentés par leurs coordonnées cartésiennes  ; on peut donc les identifier au quaternion .

Avec cette convention, une rotation isocline gauche est représentée par la multiplication à gauche par un quaternion unité  :

De même, une rotation isocline droite est représentée par la multiplication à droite par un quaternion unité  :

Dans le langage des quaternions, la formule de la section précédente s'écrit

ou, matriciellement,

Selon Felix Klein, cette formule était déjà connue de Cayley en 1854.

Le produit des quaternions étant associatif, on a  ce qui montre algébriquement que les rotations droites et gauches commutent.

Valeurs propres des matrices de rotation 
Les quatre valeurs propres d'une matrice de rotation forment en général deux couples de complexes conjugués,  et , où  et  sont les deux angles de la rotation (les vecteurs propres correspondants engendrant les plans invariants  et ). Si l'une des valeurs propres est réelle, elle vaut 1 ou -1, et la rotation est simple, ou composée d'une rotation simple et d'une symétrie centrale. Dans le langage des quaternions, la rotation est simple si et seulement si les parties réelles des quaternions  et  sont égales.

La formule d'Euler–Rodrigues 
Interprétant l'espace ordinaire à 3 dimensions comme l'hyperplan  (0XYZ) de l'espace 4D, le groupe de rotations de cet espace, SO(3), s'identifie au sous-groupe de  SO(4) formé des matrices de la forme

La formule de Van Elfrinkhof amène à , , , , et en représentation par les quaternions, .La matrice de rotation 3D se réécrit alors : 

représentation dite d'Euler–Rodrigues avec les paramètres .

La formule correspondante pour les quaternions, , avec , se développant en :
,
est appelée formule de  Hamilton–Cayley.

Coordonnées de Hopf 
 
Les rotations en 3D sont plus facilement représentables en coordonnées sphériques (utilisant en particulier les angles d'Euler). Une représentation analogue des rotations 4D en coordonnées hypersphériques est possible, mais un système de coordonnées plus utile encore est le système des coordonnées de Hopf , représentant les points de la 3-sphère par la donnée de trois angles : le point de la 3-sphère , vérifiant  par conséquent , s'écrit :

Utilisant comme plans de coordonnées les deux plans invariants orthogonaux de la rotation, dans lesquels elle se réduit à deux rotations 2D d'angles  et  , le point  a pour nouvelles coordonnées .

Visualisation des rotations 

Les coordonnées de Hopf  paramètrent la 3-sphère. À  fixé, elles décrivent un tore paramétré par   et ,  correspondant au cas particulier d'un  tore de Clifford  dans les plans  et . La projection stéréographique de ce tore est un tore ordinaire de l'espace 3D ; la trajectoire d'un point de ce tore sous une rotation ayant les plans  et  invariant reste sur ce tore, ce qui permet une visualisation de cette rotation, comme montré à droite.

Constructions des matrices de rotation 
Plusieurs constructions peuvent être obtenues à partir de la formule de Rodrigues et de la formule de Cayley. Partant d'une matrice antisymétrique , on peut l'écrire (de manière unique) , où  et  sont des matrices antisymétriques telles que ,  et ,  and  étant les valeurs propres de  :

et

Alors,  est une matrice de rotation de  (obtenue à l'aide de la formule de Rodrigues), ayant pour valeurs propres 

De même,  est une matrice de rotation de  (obtenue à l'aide de la formule de Cayley), ayant pour valeurs propres 

Une construction plus géométrique part de la diagonalisation de la rotation : si on se place dans une base orthonormée engendrant les plans invariants, la matrice de la rotation est 

 Utilisant alors la matrice de passage  exprimant les vecteurs de la base choisie dans la base canonique, on a (d'après la formule de changement de base) .

Voir aussi 
Groupe de Lorentz
Groupe de Poincaré
Groupe orthogonal
Matrice orthogonale
Quaternions et rotation dans l'espace
Tore de Clifford
Vecteur de Runge-Lenz

Références

Bibliographie 
 L. van Elfrinkhof, Eene eigenschap van de orthogonale substitutie van de vierde orde. Handelingen van het 6e Nederlandsch Natuurkundig en Geneeskundig Congres, Delft, 1897.
 P.H.Schoute: Mehrdimensionale Geometrie. Leipzig: G.J.Göschensche Verlagshandlung. Volume 1 (Sammlung Schubert XXXV): Die linearen Räume, 1902. Volume 2 (Sammlung Schubert XXXVI): Die Polytope, 1905.
 Felix Klein, Elementarmathematik vom höheren Standpunkte aus, 1908.
 Henry Parker Manning, Geometry of four dimensions. The Macmillan Company, 1914.
Gustave Juvet, Les rotations de l'espace euclidien à quatre dimensions, leur expression au moyen des nombres de Clifford et leurs relations avec la théorie des spineurs, Commentarii mathematici Helvetici, 1935 (p. 264-304)
 J. H. Conway et D. A. Smith, On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry. A. K. Peters, 2003.

Rotation en mathématiques
Nombre hypercomplexe