Agreg Quater

Université de Rennes 1
Préparation à l’agrégation
de mathématiques
Auteur du document :
Y. Coudène
Quaternions et rotations
Yves Coudene 09/03
J’explique briévement comment employer les quaternions pour étudier les
rotations de R3 . Les démonstrations sont laissées en exercice.
1 Quaternions
Soit C = R + i0 R l’ensemble des nombres complexes. On considère les matrices
de M2 (C) suivantes, appelées matrices de Pauli :
0 −i0

1 0 0 1 1 0
1= , σ1 = , σ2 = , σ 3 =
0 1 1 0 i0 0 0 −1
Ces matrices obéissent aux règles de commutation suivantes :
∀i, j, σi σj = −σj σi si i 6= j ; ∀i, σi2 = 1.
Théorème :
Les matrices 1, σ1 , σ2 , σ3 , σ1 σ2 , σ2 σ3 , σ3 σ1 , σ1 σ2 σ3 forment une base de
l’ensemble des matrices 2x2 à coefficients complexes, M2 (C).
L’algèbre M2 (C) se décompose donc en :

– un espace vectoriel de dimension 3, E = V ect(σ1 , σ2 , σ3 ) ; Un vecteur ~a ∈ E
s’écrit ~a = a1 σ1 + a2 σ2 + a3 σ3 ;
– une sous-algèbre de dimension 4, H = V ect(1, σ1 σ2 , σ2 σ3 , σ3 σ1 ) ;
– un sous-espace de dimension 1 engendré par σ1 σ2 σ3 .
On pose i = σ1 σ2 σ3 = i0 ( 10 01 ). On a bien i2 = −1. On a également :

σ1 σ2 = iσ3 , σ2 σ3 = iσ1 , σ3 σ1 = iσ2 . Attention : i 6∈ H.
Par conséquent, tout élément de H peut se mettre sous la forme :
q = α + i ~a, α ∈ R, ~a ∈ E.
La loi de composition induite sur H par le produit matriciel peut se reécrire :
(α + i ~a)(α0 + i ~a0 ) = αα0 + i (α ~a0 + α0 ~a) − ~a ~a0
avec ~a ~a0 = ~a | ~a0 + i ~a × ~a0 , | prod.scalaire, × prod.vectoriel.
Remarques : i commute avec les vecteurs de E. Le produit de deux vecteurs
de E donne un élément de H. Enfin le carré d’un vecteur est égal au carré de
sa norme.
On pose : q̄ = α − i ~a et on vérifie la formule : q q̄ = α2 + a21 + a22 + a23 .
Tout élément non nul de H est donc inversible. Le corps H est appelé corps des
quaternions. Il vient d’ être construit comme sous-algèbre de M2 (C).
1
2 Rotations
La construction précédente peut être utilisée pour étudier les rotations de R3 .
Pour cela, on remarque que l’exponentielle de matrices se restreint aux quater-
nions :
~a
ei ~a = 1 + i ~a − 1/2 k ~a k2 +... = cos k ~a k + i sin k ~a k .
k ~a k
en posant k ~a k2 = a21 + a22 + a23 , pour ~a ∈ E. En particulier le quaternion ei ~a
est de norme 1.
Théorème:
Soit ~a ∈ E un vecteur unitaire et θ un nombre réel. La rotation d’axe dirigé par
~a et d’angle θ est donnée par :
E → E
1 1
~x → e− 2 i θ ~
a
~x e 2 i θ ~
a
Ceci se vérifie en décomposant ~x selon un vecteur proportionnel à ~a et un vecteur

orthogonal à ~a. Un calcul direct redonne l’expression classique des rotations :
1 1
e− 2 i θ ~
a
~x e 2 i θ ~
a
= cos θ ~x + (1 − cos θ)(~x| ~a) ~a + ~a × ~x sin θ.
De là, il est facile de composer les rotations. On obtient, par exemple , une
expression pour le cosinus de l’angle ω de la rotation composée d’une rotation
d’angle θ d’axe ~a suivie d’une rotation d’angle φ d’axe ~b :
1 1
φ ~b − 21 i θ ~
e− 2 i ω ~
u
= e− 2 i e a
− 21 i ω ~
u
e = cos(ω/2) − i ~u sin(ω/2)
1
φ ~b 1
e− 2 i e− 2 i θ ~a = ( cos(φ/2) − i ~b sin(φ/2) )( cos(θ/2) − i ~a sin(θ/2) )
= cos(φ/2) cos(θ/2) − ~a| ~b sin(φ/2) sin(θ/2)...
... − i (b sin(φ/2) cos(θ/2) + ~a cos(φ/2) sin(θ/2) + ~b × ~a sin(φ/2) sin(θ/2)).
~
Donc
1 1 1 1 1
cos ω = cos φ cos θ − (~a| ~b) sin φ sin θ.
2 2 2 2 2
Exercices :
– Montrez que le groupe des quaternions de norme 1 s’identifie à SU2 (C).
– Explicitez le morphisme de SU2 (C) dans SO3 (R) donné par le théorème plus
haut. Quel est son noyau ?
– Démontrez l’égalité : (~x × ~y ) × ~z = (~z|~x)~y − (~z|~y )~x par un calcul direct avec
les quaternions.
– Soit ~u un vecteur unitaire. A quoi correspond la transformation de E donnée
par ~x 7→ −~u~x~u ?
– Montrez que l’application ~a 7→ ei~a , définie de E dans l’ensemble des quater-
nions de norme 1, est surjective. Est-ce un morphisme ?
Référence : G. Casanova, Que-sais-je ? 1657 “L’algèbre vectorielle”.

Agreg Quater

Transféré par

Droits d'auteur :

Formats disponibles

Agreg Quater

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Agreg Quater

Transféré par

Droits d'auteur :

Formats disponibles

Université de Rennes 1

L’algèbre M2 (C) se décompose donc en :

On pose i = σ1 σ2 σ3 = i0 ( 10 01 ). On a bien i2 = −1. On a également :

Ceci se vérifie en décomposant ~x selon un vecteur proportionnel à ~a et un vecteur

Référence : G. Casanova, Que-sais-je ? 1657 “L’algèbre vectorielle”.

Vous aimerez peut-être aussi