En mathématiques, et plus précisément en algèbre linéaire, une matrice de rotation Q est une matrice orthogonale de déterminant 1, ce qui peut s'exprimer par les équations suivantes : QtQ = I = QQt et det Q = 1, où Qt est la matrice transposée de Q, et I est la matrice identité. Ces matrices sont exactement celles qui, dans un espace euclidien, représentent les isométries (vectorielles) directes.
En géométrie, une antirotation est un type particulier d'antidéplacement ( d'isométrie qui renverse l'orientation) de l'espace euclidien de dimension 3 (espace affine euclidien ou espace vectoriel euclidien, suivant le contexte) : c'est la composée de deux transformations qui commutent : une rotation d'angle autour d'un axe et d'une réflexion par rapport à un plan perpendiculaire à cet axe, ce qui lui vaut aussi le nom de roto-réflexion, ou rotation-réflexion.
En cinématique, l'étude des corps en rotation est une branche fondamentale de la physique du solide et particulièrement de la dynamique, y compris de la dynamique des fluides, qui complète celle du mouvement de translation. L'analyse du mouvement de rotation se prolonge y compris aux échelles atomiques, avec la dynamique moléculaire et l'étude de la fonction d'onde en mécanique quantique.
La symétrie est une propriété d'un système : c'est lorsque deux parties sont semblables. L'exemple le plus connu est la symétrie en géométrie. De manière générale, un système est symétrique quand on peut permuter ses éléments en laissant sa forme inchangée. Le concept d'automorphisme permet de préciser cette définition. Un papillon, par exemple, est symétrique parce qu'on peut permuter tous les points de la moitié gauche de son corps avec tous les points de la moitié droite sans que son apparence soit modifiée.
Soit E un espace vectoriel euclidien. Une rotation vectorielle de E est un élément du groupe spécial orthogonal SO(E). Si on choisit une base orthonormée de E, sa matrice dans cette base est orthogonale directe. Matrice de rotation Dans le plan vectoriel euclidien orienté, une rotation vectorielle est simplement définie par son angle . Sa matrice dans une base orthonormée directe est : Autrement dit, un vecteur de composantes a pour image le vecteur de composantes que l'on peut calculer avec l'égalité matricielle : c'est-à-dire que l'on a : et Si par exemple et , désigne un des angles du triangle rectangle de côtés 3, 4 et 5.