Sujet : Algèbre linéaire, L'anneau des quaternions

David Delaunay Http://Mpsiddl.Free.Fr

Description

Calcul matriciel. Espaces euclidiens.

Sujets

• Classe préparatoire aux grandes écoles
• Mathématiques, physique et sciences de l'ingénieur
• Public Readiness and Emergency Preparedness Act
• exercices

Informations

• Publié par: algebre-mpsi
• Nombre de lectures: 59
• Licence : En savoir +
  Paternité, pas d'utilisation commerciale, partage des conditions initiales à l'identique
• Langue: Français

Extrait

L’anneau des quaternions

ℝdésigne le corps des nombres réels etℂle corps des nombres complexes.
2(ℂ) désigne l’ensemble des matrices carrées d’ordre 2 à coefficients complexes.
1 0  
On pose=0 1,=0−0,=−0110et=00.

Partie I : Etude d’une symétrie

Dans cette partie2(ℂ) est vu comme un espace vectoriel sur le corpsℂ.
Pour  
=∈2(ℂ) , on poseσ()=−−.
1.a Montrer queσest une symétrie duℂ-espace vectoriel2(ℂ) .
1.b Etablir que (,,,) est une base duℂ-espace vectoriel2(ℂ) ,
puis donner la matrice de l’endomorphismeσdans cette base.
2. On considèreetdans2(ℂ) .
2.a Montrer queσ()=σ()σ() .

2.b
2.c

3.

Calculerσ() .
Justifier que siest inversible alorsσ( aussi) l’est
et exprimer alors−1en fonction de la matriceσ( det du complexe) et.
Exprimerσ() en fonction des matriceset tr(et du complexe) .
Partie II : Anneau des quaternions

Dans cette partie2(ℂ vu comme un espace vectoriel sur le corps) estℝ.
Pour=∈2(ℂ) , on note=.

On désigne parl’ensemble des matrices∈2(ℂ que) telleσ()=.
Les éléments desont appelés quaternions.
1.a Montrer que les matrices desont les matrices pouvant s’écrire :α+β+γ+δ
avecα,β,γ,δdes réels.
1.b En déduire queest un sous-espace vectoriel duℝ-espace vectoriel2(ℂ) .
Préciser une base et la dimension duℝ-espace vectoriel.
2.a Montrer queest stable pour le produit matriciel.
2.b Calculer2,2,2,,,,,et.
2.c Conclure que (est un sous-anneau de l’anneau2(ℂ),+,×) .
Le produit matriciel est-il commutatif sur?
3.a Vérifier que∀∈,σ()∈, tr∈ℝet det∈ℝ+
3.b Montrer qu’une matrice non nulle deest inversible et que son inverse est dans.
Ce qui précède permet de dire queest un corps non commutatif.

Partie III : Etude euclidienne

Pouretdans (, on pose :|)=t(4r1σ()+σ()) .
1. On considèreetdans.

1.a

1.b

1.c

2.

3.

3.a

3.b

3.c

4.

Prouver, sans calculs, que (|)∈ℝ.

Montrer que (|)=det.

Etablir que (. | .) est un produit scalaire sur leℝ-espace vectoriel.

Vérifier que (,,,) est une base orthonormée de.

On pose=Vect() et= {∈/ tr=0}.
est appelée droite des réels etespace des quaternions purs.
Montrer queest un hyperplan duℝ-espace vectorieldontest la droite normale.
Donner une base orthonormée de.
On désigne parla projection orthogonale sur=Vect() etcelle sur.

Pour∈, exprimer() et() en fonction de, deet du réel tr() .
Observer queσest une symétrie orthogonale d’axe.
Pour tout∈,σ( appelé conjugué du quaternion) est.

On oriente l’espacede sorte que la famille (,,) soit directe.

Montrer que pour tout,∈, on a :
()=()()−(() |())et()=()()+()()+()∧() .