Automorphisme orthogonal

Modèle:Ébauche En mathématiques, et plus précisément en algèbre linéaire, un automorphisme orthogonal d'un espace préhilbertien Modèle:Mvar est un automorphisme Modèle:Mvar qui conserve le produit scalaire, Modèle:C.-à-d. qui vérifie :

$\mathrm{\forall }x,y\in E⟨f(x)\mid f(y)⟩=⟨x\mid y⟩$.

De façon équivalente, un endomorphisme Modèle:Mvar de Modèle:Mvar est un automorphisme orthogonal si et seulement si Modèle:Mvar est bijectif et admet $f^{-1}$ pour adjoint, autrement dit si $f\circ f^{*}=f^{*}\circ f={\mathrm{i}\mathrm{d}}_E$ .

Sur le corps des complexes, on l'appelle aussi automorphisme unitaire.

Les automorphismes orthogonaux de Modèle:Mvar sont les isométries vectorielles surjectives de Modèle:Mvar dans Modèle:Mvar. En dimension finie, cette surjectivité est automatique.

Propriétés

Soit Modèle:Mvar un endomorphisme orthogonal de Modèle:Mvar.

La conservation du produit scalaire entraîne celle de la norme, Modèle:C.-à-d. pour tout $x\in E$, $\Vert f(x)\Vert =\Vert x\Vert$. Réciproquement, les identités de polarisation assurent que toute isométrie vectorielle conserve le produit scalaire.

En dimension finie, l'injectivité de Modèle:Mvar implique sa bijectivité ; ainsi, toute isométrie vectorielle d'un espace euclidien (respectivement hermitien) est un automorphisme orthogonal (resp. unitaire).

En dimension finie, Modèle:Mvar est une isométrie vectorielle si et seulement si les vecteurs colonnes de sa matrice dans une base orthonormée donnée sont unitaires et orthogonaux deux à deux. Par suite, un endomorphisme d'un espace euclidien (resp. hermitien) est un automorphisme orthogonal (resp. unitaire) si et seulement si sa matrice dans une base orthonormée donnée est orthogonale (resp. unitaire).

Valeurs propres d'une isométrie vectorielle

Si Modèle:Mvar est une isométrie vectorielle d'un espace préhilbertien alors toutes ses valeurs propres sont de module 1 (en particulier ses seules éventuelles valeurs propres réelles sont 1 et –1).

Représentation dans une base orthonormale

En dimension 2 ou 3

Dans un plan euclidien, il existe deux types d'automorphismes orthogonaux :

• les rotations, qui admettent une matrice représentative de la forme suivante en base orthonormale

$\left(\begin{array}{cc}\cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{array}\right)$.

Si l'espace est orienté, θ est l'angle de la rotation ;

• les réflexions ou symétries axiales. Dans une base orthonormale adaptée, elles sont représentées par la matrice

$\left(\begin{array}{cc}1& 0\\ 0& -1\end{array}\right)$.

Dans un espace euclidien de dimension 3, on trouve les trois types suivants :

• les rotations, ayant pour matrice représentative dans une base orthonormale adaptée

$\left(\begin{array}{ccc}1& 0& 0\\ 0& \cos \theta & -\sin \theta \\ 0& \sin \theta & \cos \theta \end{array}\right)$ ;

• les réflexions (symétries orthogonales par rapport à un plan)

$\left(\begin{array}{ccc}-1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right)$ ;

• les roto-réflexions, composées d'une rotation différente de l'identité et de la réflexion par rapport au plan normal à l'axe de cette rotation

$\left(\begin{array}{ccc}-1& 0& 0\\ 0& \cos \theta & -\sin \theta \\ 0& \sin \theta & \cos \theta \end{array}\right)$.

Cas général

Plus généralement, soit Modèle:Mvar un automorphisme orthogonal d'un espace euclidien Modèle:Mvar. Il existe une base orthonormale dans laquelle la matrice de Modèle:Mvar est diagonale par blocs avec deux sortes de blocs :

• des blocs de taille 1 contenant 1 ou –1 (correspondant aux espaces propres réels).
• des blocs de taille 2 de la forme

$\left(\begin{array}{cc}\cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{array}\right)$.

Dans cette décomposition, le nombre de –1 est pair si et seulement si Modèle:Mvar est un automorphisme orthogonal direct (de déterminant 1).

La preuve de ce résultat de décomposition peut se faire dans le cadre plus général des endomorphismes normaux.

Tout automorphisme unitaire d'un espace hermitien est diagonalisable dans une base orthonormée.

Caractérisations d'un automorphisme orthogonal en dimension finie

Soient $E$ espace euclidien (resp. hermitien) et $f\in L(E)$. Les propositions suivantes sont équivalentes :

1. Modèle:Mvar est un automorphisme orthogonal (resp. unitaire) de Modèle:Mvar ;
2. $f{f}^{*}={\mathrm{i}\mathrm{d}}_E$ ;
3. $f^{*}f={\mathrm{i}\mathrm{d}}_E$ ;
4. Modèle:Mvar est inversible et $f^{-1}=f^{*}$ ;
5. Modèle:Mvar transforme au moins une base orthonormée en une base orthonormée ;
6. Modèle:Mvar transforme toute base orthonormée en une base orthonormée.

Article connexe

Groupe orthogonal