nLab rotation

Redirected from "rotations".
Contents

Contents

Idea

A rotation of the Euclidean plane is an isometry which leaves exactly one point fixed or is the identity map. This point, if unique, is called the center of rotation.

A rotation of an nn-dimensional Euclidean space, n2n\geq 2, is an isometry which either leaves exactly one (n2)(n-2)-dimensional hyperplane (e.g. a line in dimension 33) fixed or is the identity map. This line or plane is called the axis of rotation.

If we fix a point, this identifies the Euclidean space as a set with a vector space VV and the group of all isometries fixing this point is the special orthogonal group SO(V)SO(V).

Moreover, any choice of linear coordinates induces an identification of rotations with orthogonal matrices with determinant 11. Therefore, in a basis, we may identify rotations with operators realizing action of a special orthogonal group SO(n,)SO(n,\mathbb{R}) on n\mathbb{R}^n.

Properties

Recall that SO(n,R)SO(n,\mathbf{R}) is a real Lie group of dimension n(n1)2\frac{n(n-1)}{2}, in particular of dimension 33 for n=3n=3. A particular global choice of parameters (giving also smooth coordinates on an open dense subset) in 3 dimensions are the Euler angles.

In 2d every nonidentity rotation sends any ray from the center of rotation to another ray from the center of rotation. The pair of the original ray and its image is constituting an ordered pair of rays, hence an oriented angle whose measure and orientation does not depend on a choice of the original ray; the corresponding signed measure is called the (oriented) angle of rotation. The rotation in 2d is determined by its center and the oriented angle of rotation. In 2d every nonidentity rotation may be represented as a composition of two reflections around axes which intersect in the center of rotation. Conversely, a composition of two reflections is a rotation iff the intersection of axes of reflection is exactly one point, or the axes are the same (when we obtain the identity). The angle of rotation is the double of the (measure of the) angle between the axes of reflections. Any two reflections with the same center and oriented angle between their axes determine the same rotation in 2d.

In general, the orthogonal complement to the axis of rotation, passing through a given point on the (n2)(n-2)-dimensional fixed point axis, is a 2-plane. The restriction of a rotation to this subspace is a rotation of the plane. The measure or the angle of the nn-dimensional rotation is the measure of the angle of the rotation in such an orthogonal section plane and it does not depend on the choice of the section plane, that is on the point on the axis. A rotation in nn dimensions is determined by its (n2)(n-2)-axis and its oriented angle of rotation. (Orientation should be discussed here.)

The group of rotations is SO(3,R)SO(3,\mathbf{R}), below just called SO(3)SO(3).

Euler’s theorem on rotations: a composition of rotations of a sphere is a rotation of a sphere. It is trivial that it is an isometry (when viewed as a transformation of the space), the nontrivial part of the theorem is that there is a (n2)(n-2)-hyperplane fixed by the composition, the statement which itself is also called the Euler’s theorem. This is trivial in dimension 2 and nontrivial in dimension 3 proved by Euler and in higher dimension. Each orthogonal transformation in odd dimensional real space has an invariant (1-dimensional) axis, the statement also called the Euler’s theorem (this boils down to the statement that the eigenvalues of the orthogonal matrix are on the unit circle).

Relation to quaternions in 3d and 4d

Consider the vector space R 3H\mathbf{R}^3\subset\mathbf{H} of imaginary quaternions. Let sR 3\{0}s\in\mathbf{R}^3\backslash\{0\}. Then σ s :qsqs 1\sigma_{s^\perp}:q\mapsto -s q s^{-1} is a reflection with respect to the plane through origin and orthogonal to qq. If sHs\in\mathbf{H} is a quaternion the map ρ s:qsqs 1\rho'_s:q\mapsto s q s^{-1} leaves the space R 3\mathbf{R}^3 of imaginary quaternions invariant and the restriction ρ s=ρ s| R 3\rho_s = \rho'_s|_{\mathbf{R}^3} is a rotation. Every rotation arises in that way and the map sρ ss\mapsto\rho_s factorizes as the quotient map to the space of real rays HRP 3\mathbf{H}\to\mathbf{R}P^3 and a homeomorphism RP 3SO(3)\mathbf{R}P^3\cong SO(3). The composition of rotations corresponds to the multiplication of quaternions. Components a,b,c,da,b,c,d of quaternions involved fixing sHs\in\mathbf{H} at the unit sphere S 3HS^3\subset\mathbf{H} are called Euler-Rodrigues parameters. There is a redundancy of 1 parameter (plus the matter of 2-element kernel in the map S 3RP 3S^3\to\mathbf{R}P^3), but this choice has its advantage in numerical modeling as it avoids the special role of the boundaries for the Euler angles.

There is a similar construction for SO(4) (e.g. Berger 87, Thm 8.9.8). Indeed, there is an epimorphism of Lie groups (see at Spin(4) – exceptional isomorphisms)

τcolonbS 3×S 3SO(4),(s,r){qsqr¯} \tau \;\colonb\; S^3\times S^3\to SO(4),\,\,\,\,(s,r)\mapsto \{q\mapsto s q\overline{r}\}

with kernel {(1,1),(1,1)}\{(1,1),(-1,-1)\}. The direct product structure of the domain can be used to easily exhibit some nontrivial subgroups in SO(4)SO(4).

Literature

Last revised on June 19, 2021 at 14:17:06. See the history of this page for a list of all contributions to it.