View source for Motion

A transformation of a space which preserves the geometrical properties of figures (dimension, shape, etc.). The concept of a motion has been formulated as an abstraction of real displacements of solid bodies in Euclidean space. Motion is sometimes accepted as the basic concept in the axiomatic construction of geometry.

A motion of Euclidean space is a transformation of the space which preserves the distances between points. It is called proper (a motion of the first kind) or improper (a motion of the second kind), depending on whether or not the [[Orientation|orientation]] of the space is preserved.

Proper motions of a plane are analytically expressed in an orthogonal coordinate system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m0650301.png" /> by the formulas

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m0650302.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m0650303.png" /></td> </tr></table>

which show that the totality of all proper motions on a plane depends on three parameters <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m0650304.png" />. The first two parameters characterize the [[Parallel displacement(2)|parallel displacement]] of the plane by the vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m0650305.png" />, while the parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m0650306.png" /> describes the [[Rotation|rotation]] of the plane around the coordinate origin. A proper motion is the product (composite) of rotation around the coordinate origin through an angle <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m0650307.png" /> and parallel displacement by a vector <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m0650308.png" />. Any proper motion can be represented as a parallel displacement or as a rotation around some point.

Improper motions are expressed by the formulas

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m0650309.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503010.png" /></td> </tr></table>

which show that an improper motion is the product of a proper motion by a [[Symmetry|symmetry]] with respect to some straight line. Any improper motion is the product of a parallel displacement in some direction and a symmetry with respect to a straight line having the same direction.

A proper motion in three-dimensional space is either a rotation around an axis or a parallel displacement, or else can be represented as the product of a rotation around an axis and a parallel displacement in the direction of the axis (helical motion). An improper motion is either a symmetry with respect to a plane or can be represented as the product of a symmetry with respect to a plane and a rotation around an axis normal to that plane, or as the product of a symmetry with respect to a plane by a displacement in the direction of a vector parallel to this plane.

In a rectangular coordinate system <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503011.png" /> in space, the analytic expression of a motion is:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503012.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503013.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503014.png" /></td> </tr></table>

where the elements of the matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503015.png" /> satisfy the following orthogonality conditions:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503016.png" /></td> </tr></table>

(<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503017.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503018.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503019.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503020.png" />). A motion is proper or improper depending on whether the determinant of this matrix is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503021.png" /> or <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503022.png" />. Cf. [[Orthogonal transformation|Orthogonal transformation]].

In <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503023.png" />-dimensional Euclidean spaces a motion is analytically expressed, in a similar manner, in rectangular coordinates, using an orthogonal matrix <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503024.png" />, as:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503025.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503026.png" /></td> </tr></table>

A motion of a Riemannian space is a one-to-one continuously-differentiable mapping of class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503027.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503028.png" />, under which the lengths of the respective lines are preserved. The line element of the space,

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503029.png" /></td> </tr></table>

where the summation is over the indices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503030.png" />, is invariant under a motion. Analytically, a motion is defined by formulas which express the coordinates of a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503031.png" /> after transformation in terms of the coordinates of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503032.png" />, the initial point, using functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503033.png" /> of class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503034.png" />:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503035.png" /></td> <td valign="top" style="width:5%;text-align:right;">(*)</td></tr></table>

The condition of invariance of the line element means that

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503036.png" /></td> </tr></table>

The concept of a motion in the Riemannian spaces of the general theory of relativity is of importance: In strong asymmetric gravitational fields solid bodies may become displaced to a very limited extent only; cases in which all motion is impossible may also occur, in which case the metric does not remain invariant under any transformation of space or, in other words, any displacement is accompanied by a deformation of the body.

A motion of a space with an affine connection is a one-to-one continuously-differentiable mapping of class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503037.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503038.png" />, under which any field of parallel vectors along any smooth curve becomes a field of parallel vectors of the transformed curve. Under a motion the object of affine connection <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/m/m065/m065030/m06503039.png" /> (cf. [[Geometric objects, theory of|Geometric objects, theory of]]) is mapped to itself. Conversely, any mapping (*) which maps the affine connection to itself is a motion.

The motions constitute a group of transformations (cf. [[Group of motions|Group of motions]]). They are the simplest transformations of a space.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  I.P. Egorov,   "Lectures on the axiomatics of Weyl in non-Euclidean geometry" , Ryazan'  (1973)  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  I.P. Egorov,   "Motions in a space with an affine connection" , Kazan'  (1965)  (In Russian)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  V.T. Bazylev,   K.I. Dunichev,   V.P. Ivanitskaya,   "Geometry" , '''1''' , Moscow  (1974)  (In Russian)</TD></TR></table>



====Comments====
A motion of a Euclidean space is thus an [[Isometric mapping|isometric mapping]] of the space onto itself. For detailed information on groups of motions admitted by various kinds of Riemannian manifolds see [[#References|[a3]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  H. Eves,   "A survey of geometry" , Allyn &amp; Bacon  (1972)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  S. Kobayashi,   K. Nomizu,   "Foundations of differential geometry" , '''1–2''' , Interscience  (1963–1969)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  S. Kobayashi,   "Transformation groups in differential geometry" , Springer  (1972)</TD></TR></table>