Les Rotations vectorielles constituent une classe fondamentale d’isométries directes au sein des espaces euclidiens de dimension finie. Ces transformations linéaires préservent rigoureusement la norme des vecteurs ainsi que l’orientation de l’espace.
Définition formelle des Rotations vectorielles
Soit $(E, \langle \cdot, \cdot \rangle)$ un espace euclidien de dimension finie $n$. Une rotation vectorielle est un endomorphisme orthogonal dont le déterminant est égal à l’unité.
L’ensemble de ces transformations forme le groupe spécial orthogonal de $E$. On le note classiquement $SO(E)$ ou $O^+(E)$.
$$ SO(E) = \{ f \in \mathcal{L}(E) \mid f^* \circ f = Id_E \text{ et } \det(f) = 1 \} $$Cas de la dimension 2
Dans un plan euclidien orienté, une rotation est entièrement déterminée par un angle $\theta \in \mathbb{R}$. Sa matrice dans toute base orthonormée directe est unique.
$$ R_\theta = \begin{pmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{pmatrix} $$Théorèmes et Propriétés fondamentales
Les rotations possèdent des propriétés algébriques remarquables liées à la structure de groupe et à la conservation des produits scalaires. Ces caractéristiques assurent la stabilité des mesures angulaires.
Conservation du produit scalaire
Toute rotation $r \in SO(E)$ est une isométrie. Par conséquent, elle préserve le produit scalaire entre deux vecteurs quelconques $u$ et $v$.
$$ \forall (u, v) \in E^2, \quad \langle r(u), r(v) \rangle = \langle u, v \rangle $$Stabilité des sous-espaces en dimension 3
Le théorème d’Euler stipule que toute rotation en dimension 3 possède un axe fixe. Cet axe est un sous-espace vectoriel de dimension 1 invariant par $r$.
$$ \exists \vec{k} \in E \setminus \{0\}, \quad r(\vec{k}) = \vec{k} $$Démonstrations et Preuves rigoureuses
L’analyse des valeurs propres permet de démontrer la structure des rotations. Nous prouvons ici la conservation de la norme.
Preuve de la conservation de la norme
Preuve : Soit $r \in SO(E)$ et $u \in E$ un vecteur quelconque. Utilisons la définition de l’adjoint $r^*$ pour exprimer le carré de la norme de l’image $r(u)$.
$$ \|r(u)\|^2 = \langle r(u), r(u) \rangle = \langle u, r^*(r(u)) \rangle $$Par définition d’un endomorphisme orthogonal, nous avons la relation $r^* \circ r = Id_E$. Substituons cette égalité dans l’expression précédente.
$$ \|r(u)\|^2 = \langle u, (r^* \circ r)(u) \rangle = \langle u, Id_E(u) \rangle $$En simplifiant l’application de l’identité, nous retrouvons le produit scalaire originel du vecteur $u$ avec lui-même.
$$ \|r(u)\|^2 = \langle u, u \rangle = \|u\|^2 $$Puisque les normes sont positives, l’égalité des carrés implique l’égalité des normes. Ainsi, toute rotation préserve la longueur des vecteurs. $\blacksquare$
Exemples et Contre-exemples mathématiques
L’identification correcte d’une rotation nécessite la vérification simultanée de l’orthogonalité et du déterminant positif. Les exemples suivants illustrent cette distinction cruciale.
Exemple : La rotation d’angle $\pi$
Considérons l’application $f$ définie dans $\mathbb{R}^2$ par $f(u) = -u$. Sa matrice associée dans la base canonique est la suivante :
$$ M = \begin{pmatrix} -1 & 0 \\ 0 & -1 \end{pmatrix} $$Vérifions le déterminant : $\det(M) = (-1)(-1) – 0 = 1$. L’application préserve l’orientation. De plus, $M^T M = I$. C’est donc une rotation vectorielle d’angle $\pi$ (symétrie centrale).
Contre-exemple : La réflexion axiale
Soit $s$ la symétrie orthogonale par rapport à l’axe des abscisses dans $\mathbb{R}^2$. Sa matrice est définie par :
$$ S = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} $$Calculons le déterminant : $\det(S) = (1)(-1) – 0 = -1$. Bien que $s$ préserve les distances, elle inverse l’orientation du plan. Par conséquent, $s$ est une isométrie indirecte mais n’est absolument pas une rotation.
Contre-exemple : L’homothétie de rapport $k \neq 1$
Soit $h$ une homothétie vectorielle définie par $h(u) = 2u$. Sa matrice est diagonale avec des coefficients égaux à 2.
$$ H = \begin{pmatrix} 2 & 0 \\ 0 & 2 \end{pmatrix} $$Bien que $\det(H) = 4 > 0$, cette application ne préserve pas le produit scalaire car $\|h(u)\| = 2\|u\|$. L’orthogonalité n’est pas respectée. Ce n’est donc pas une rotation.