Matrice de rotationEn 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.
Catalogue d'étoilesthumb|375px|Une illustration de la constellation de Persée (d'après Persée de la mythologie grecque) tirée du catalogue d'étoiles publié par l'astronome allemand Johannes Hevelius en 1690. Un catalogue d'étoiles est un catalogue astronomique recensant des étoiles. Les étoiles regroupées dans un tel catalogue peuvent couvrir tout le ciel (dans la limite observationnelle de ceux qui le créent), se limiter à une région du ciel, aux étoiles plus brillantes qu'une certaine magnitude ou situées en deçà d'une certaine distance, ou encore aux étoiles doubles et multiples ou aux variables par exemple.
Période de rotationLa période de rotation est soit la durée mise par un astre (étoile, planète, astéroïde) pour faire un tour sur lui-même (environ pour la Terre, par exemple), soit la durée au bout de laquelle une planète retrouve la même orientation par rapport à son étoile ( en moyenne pour la Terre, par exemple). Le terme ne doit pas être confondu avec la période de révolution d'un astre, qui désigne le mouvement orbital d'un corps par rapport à un autre.
Rodrigues' rotation formulaIn the theory of three-dimensional rotation, Rodrigues' rotation formula, named after Olinde Rodrigues, is an efficient algorithm for rotating a vector in space, given an axis and angle of rotation. By extension, this can be used to transform all three basis vectors to compute a rotation matrix in SO(3), the group of all rotation matrices, from an axis–angle representation. In other words, the Rodrigues' formula provides an algorithm to compute the exponential map from so(3), the Lie algebra of SO(3), to SO(3) without actually computing the full matrix exponential.
Infinitesimal rotation matrixAn infinitesimal rotation matrix or differential rotation matrix is a matrix representing an infinitely small rotation. While a rotation matrix is an orthogonal matrix representing an element of (the special orthogonal group), the differential of a rotation is a skew-symmetric matrix in the tangent space (the special orthogonal Lie algebra), which is not itself a rotation matrix.
Alpha Ursae MinorisAlpha Ursae Minoris (α Ursae Minoris / α UMi, selon la désignation de Bayer) est l’étoile la plus brillante de la constellation de la Petite Ourse. Elle est connue pour correspondre avec une bonne précision à la direction du pôle nord céleste, ce qui lui vaut l’appellation commune d’Étoile polaire ou plus simplement de Polaire. Sa distance angulaire au pôle céleste est aujourd’hui d'environ 0°45'. Du fait de cette propriété cruciale pour le repérage, en particulier dans le contexte de la navigation, toutes les civilisations ou presque lui ont donné un nom traditionnel.
