Matrices orthogonales

Définition 9 Une matrice réelle carrée d'ordre est dite orthogonale si elle vérifie l'une des propriétés équivalentes suivantes :

$\tr{A}A=I_n$ ;
$A\tr{A}=I_n$ ;
est inversible et $A^{-1}=\tr{A}$ .

Interprétation : La propriété 1 (resp. 2) signifie que les vecteurs colonnes (resp. lignes) de la matrice

constituent un système orthonormé pour le produit scalaire canonique de $\mathbb{R}^n$ . Ainsi une matrice est orthogonale si et seulement si ses vecteurs colonnes (resp. ses vecteurs lignes) constituent une base orthonormale de $\mathbb{R}^n$ pour le produit scalaire canonique.

Autrement dit, une matrice est orthogonale si et seulement si c'est la matrice de passage de la base canonique de $\mathbb{R}^n$ à une base orthonormale de $\mathbb{R}^n$ . Plus généralement :

Proposition 9 Soit un espace vectoriel euclidien et $(e_1,\dots,e_n)$ une base orthonormée de . Une base $(v_1,\dots,v_n)$ de est orthonormée si et seulement si la matrice de passage de la base $(e_1,\dots,e_n)$ à la base $(v_1,\dots,v_n)$ est orthogonale.

Proposition 10 La transposée et l'inverse d'une matrice orthogonale sont des matrices orthogonales.

Démonstration : La proposition découle immédiatement de la définition et de la relation $(\tr{A})^{-1}=\tr{(A^{-1}})$ . $\square$

Proposition 11 Toute matrice orthogonale a un déterminant égal à $\pm 1$ .

$\displaystyle \mathrm{det}(\tr{A}A)=\mathrm{det}(\tr{A})\mathrm{det}(A)=\mathrm{det}(A)^2=\mathrm{det}(I_n)=1$

Attention : la réciproque est fausse : une matrice de déterminant $\pm 1$ n'est pas nécesairement orthogonale.

Proposition 12 L'ensemble des matrices orthogonales d'ordre constitue un sous-groupe du groupe multiplicatif $GL(n,\mathbb{R})$ des matrices réelles carrées inversibles d'ordre . Ce sous-groupe est appelé groupe orthogonal d'ordre et noté .

Démonstration : Cet ensemble n'est pas vide, puisqu'il contient la matrice identité, il est stable par passage à l'inverse (proposition 10) et par produit, puisque si

sont orthogonales d'ordre

, alors $\tr{(AB)}AB=\tr{B}\tr{A}AB=\tr{B}I_n B=I_n$ . $\square$

Proposition 13 L'ensemble des matrices orthogonales d'ordre de déterminant constitue un sous-groupe distingué du groupe orthogonal d'ordre . Ce groupe est appelé groupe spécial orthogonal d'ordre et noté ou .

Démonstration : Cet ensemble est le noyau de l'homomorphisme de groupes de

dans $\{+1,-1\}$ qui à toute matrice orthogonale associe son déterminant. $\square$

L'ensemble des matrices orthogonales d'ordre

de déterminant -1 est noté

. Ce n'est pas un sous-groupe de

puisque le produit de deux matrices de

appartient à

Pour tout espace vectoriel réel

de dimension finie, on définit une relation binaire $\mathcal R$ sur l'ensemble des bases de

de la façon suivante : deux bases $\mathcal B$ et $\mathcal B'$ de

sont en relation par $\mathcal R$ si et seulement si le déterminant de la matrice de passage de $\mathcal B$ à $\mathcal B'$ est strictement positif. On montre que cette relation est une relation d'équivalence qui divise l'ensemble des bases de

en exactement deux classes. Orienter

consiste à choisir l'une de ces classes : toutes les bases qui lui appartiennent sont dites directes, les autres indirectes. Deux bases en relation par $\mathcal R$ sont dites de même sens.

Dans le cas d'un espace vectoriel euclidien, deux bases orthonormées sont de même sens si et seulement si la matrice de passage de l'une à l'autre est de déterminant +1.

Le déterminant $\mathrm{det}_{\mathcal B}(v_1,\dots,v_n)$ d'une famille $(v_1,\dots,v_n)$ de

vecteurs relativement à une base $\mathcal B$ d'un espace vectoriel

de dimension

est par définition le déterminant de la matrice carrée d'ordre

dont les colonnes sont les coordonnées de ces vecteurs dans la base $\mathcal B$ . Ce déterminant dépend de la base $\mathcal B$ . Plus précisément, si $\mathcal B$ et $\mathcal B'$ sont deux bases de

, les déterminants d'une famille de

vecteurs de

relativement à ces deux bases sont reliés par la relation :

$\displaystyle \mathrm{det}_{\mathcal B}(v_1,\dots,v_n)=\mathrm{det}(P) \, \mathrm{det}_{\mathcal B'}(v_1,\dots,v_n)$

est un espace vectoriel euclidien de dimension

, le déterminant dans deux bases orthonormées de même sens d'une famille de

vecteurs est le même, puisque la matrice de passage de l'une de ces bases à l'autre est orthogonale de déterminant +1. C'est ce qui permet de donner la définition suivante :

Définition 10 Soit un espace vectoriel euclidien orienté de dimension . On appelle produit mixte d'une famille $(v_1,\dots,v_n)$ de vecteurs de le déterminant de $(v_1,\dots,v_n)$ dans une base orthonormée directe. Ce réel ne dépend pas du choix d'une telle base et on le notera simplement $\mathrm{det}(v_1,\dots,v_n)$ .

Remarque : Sans avoir à supposer l'espace vectoriel euclidien

orienté, on remarque que la valeur absolue du déterminant de

vecteurs est la même dans toute base orthonormée de

. Cette valeur absolue ne dépend pas de l'ordre dans lequel sont écrits ces vecteurs et représente, en dimension 2, l'aire du parallélogramme construit sur les 2 vecteurs, en dimension 3, le volume du parallélépipède construit sur les 3 vecteurs.