Automorphisme Orthogonal

Automorphisme orthogonal

En mathématiques, en algèbre linéaire, une isométrie vectorielle d'un espace préhilbertien est un automorphisme qui conserve le produit scalaire. Sur le corps des réels, on dit aussi automorphisme orthogonal ; sur le corps des complexes on dit aussi automorphisme unitaire.

Soit E un espace préhilbertien. Alors un automorphisme f est une isométrie vectorielle si et seulement si, pour tous x,y\in E, f vérifie

\langle f(x) | f(y) \rangle = \langle x | y \rangle.

De façon équivalente, un automorphisme f est une isométrie vectorielle si et seulement si f est un automorphisme et admet f − 1 pour endomorphisme adjoint. Autrement dit un endomorphisme f est une isométrie vectorielle si et seulement si f\,f^*=\mathrm{id}_E .

Sommaire

Propriétés

Soit f un endomorphisme de E.

La conservation du produit scalaire entraîne celle de la norme, c-à-d pour tout x\in E, \|f(x)\|=\|x\|. Réciproquement, les identités de polarisation assurent que si f conserve la norme, alors elle conserve le produit scalaire.

En dimension finie, l'injectivité de f implique sa bijectivité ; ainsi, tout endomorphisme E qui conserve la norme est une isométrie vectorielle.

En dimension finie, f est une isométrie vectorielle si et seulement si les vecteurs colonnes de sa matrice dans une base orthonormale donnée sont des vecteurs unitaires et orthogonaux entre eux deux à deux. Par suite dans le cas réel, f est un automorphisme orthogonal si et seulement si sa matrice dans une base orthonormale donnée est une matrice orthogonale. Dans le cas complexe, f est un automorphisme unitaire si et seulement si sa matrice dans une base orthonormale donnée est une matrice unitaire.

Représentation dans une base orthonormale

En dimension deux ou trois

Soit E un espace euclidien de dimension deux. Il existe deux types d'automorphismes orthogonaux

  • les rotations qui admettent une matrice représentative de la forme suivante en base orthonormale
\begin{pmatrix} \cos{\theta} & - \sin{\theta} \\ \sin{\theta} & \cos{\theta} \end{pmatrix}

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

\begin{pmatrix}1&0 \\ 0&-1 \end{pmatrix}

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

  • les rotations ayant pour matrice représentative dans une base orthonormale adaptée
\begin{pmatrix} 1 &0&0 \\0& \cos{\theta} &  -\sin{\theta} \\ 0& \sin{\theta} & \cos{\theta} \end{pmatrix}
  • les réflexions (symétries orthogonales par rapport à un plan)
\begin{pmatrix}-1&0&0 \\0&1&0\\0& 0&1 \end{pmatrix}
  • les composées d'une rotation et d'une réflexion par rapport au plan normal à l'axe
\begin{pmatrix} -1 &0&0 \\0& \cos{\theta} & - \sin{\theta} \\ 0& \sin{\theta} & \cos{\theta} \end{pmatrix}

Cas général

Plus généralement, soit f un automorphisme orthogonal d'un espace euclidien E. Il existe une base orthonormale dans laquelle, la matrice de f est diagonale par bloc avec trois 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
\begin{pmatrix} \cos \theta & -\sin\theta\\
\sin\theta & \cos\theta\end{pmatrix}.

Dans cette décomposition, le nombre de -1 est pair si et seulement si f 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.

Caractérisations d'un automorphisme orthogonal d'un espace euclidien

Soient \ E espace euclidien, \ f \in L(E). Les propositions suivantes sont équivalentes :

i) \ f est un automorphisme orthogonal de \  E
ii) \ ff^{*}=\mathrm{id}_{E}
iii) \  f^{*}f=\mathrm{id}_{E}
iv) \ f est inversible et \ f^{-1}=f^{*}

Caractérisations d'un automorphisme unitaire d'un espace hermitien

Soient \ E espace hermitien, \ f \in L(E). Les propositions suivantes sont équivalentes :

i) \ f est un automorphisme unitaire de \  E
ii) \ ff^{*}=\mathrm{id}_{E}
iii) \  f^{*}f=\mathrm{id}_{E}
iv) \ f est inversible et \ f^{-1}=f^{*}

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Automorphisme orthogonal ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Automorphisme Orthogonal de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Automorphisme orthogonal — En mathématiques, et plus précisément en algèbre linéaire, une isométrie vectorielle d un espace préhilbertien dans lui même est un automorphisme qui conserve le produit scalaire. Sur le corps des réels, on dit aussi automorphisme… …   Wikipédia en Français

  • Groupe Orthogonal — Généralités Soit E un espace vectoriel de dimension finie n sur un corps , muni d une forme quadratique q. Un automorphisme orthogonal pour cette forme quadratique est un automorphisme linéaire f du espace vectoriel E laissant invariant q.… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • SO(3) — Groupe orthogonal Généralités Soit E un espace vectoriel de dimension finie n sur un corps , muni d une forme quadratique q. Un automorphisme orthogonal pour cette forme quadratique est un automorphisme linéaire f du espace vectoriel E laissant… …   Wikipédia en Français

  • Isométrie affine — Une isométrie affine est une transformation bijective d un espace affine euclidien dans un autre qui est à la fois une application affine et une isométrie (c est à dire une bijection conservant les distances). Si cette isométrie conserve aussi l… …   Wikipédia en Français

  • Liste des articles de mathematiques — Projet:Mathématiques/Liste des articles de mathématiques Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou probabilités et statistiques via l un des trois bandeaux suivants  …   Wikipédia en Français

  • Icosaedre — Icosaèdre Icosaèdre Type Polyèdre régulier Faces Triangle Éléments :  · Faces  · Arêtes  · Sommets  · Caractéristique   20 30 12 2 Faces par sommet 5 Sommets par face …   Wikipédia en Français

  • Icosaèdre — Type Polyèdre régulier Faces Triangle Éléments :  · Faces  · Arêtes  · Sommets  · Caractéristique …   Wikipédia en Français

  • Icosaédre — Icosaèdre Icosaèdre Type Polyèdre régulier Faces Triangle Éléments :  · Faces  · Arêtes  · Sommets  · Caractéristique   20 30 12 2 Faces par sommet 5 Sommets par face …   Wikipédia en Français

  • Isocaèdre — Icosaèdre Icosaèdre Type Polyèdre régulier Faces Triangle Éléments :  · Faces  · Arêtes  · Sommets  · Caractéristique   20 30 12 2 Faces par sommet 5 Sommets par face …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”