View source for Motion

<!--
m0650301.png
$#A+1 = 39 n = 0
$#C+1 = 39 : ~/encyclopedia/old_files/data/M065/M.0605030 Motion
Automatically converted into TeX, above some diagnostics.
Please remove this comment and the {{TEX|auto}} line below,
if TeX found to be correct.
-->

{{TEX|auto}}
{{TEX|done}}

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  $  ( x , y ) $
by the formulas

$$ 
\widetilde{x}   =  x  \cos  \phi - y  \sin  \phi + a ,
$$

$$ 
\widetilde{y}   =  x  \sin  \phi + y  \cos  \phi + b ,
$$

which show that the totality of all proper motions on a plane depends on three parameters  $  a , b , \phi $. 
The first two parameters characterize the [[Parallel displacement(2)|parallel displacement]] of the plane by the vector  $  ( a , b ) $, 
while the parameter  $  \phi $
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  $  \phi $
and parallel displacement by a vector  $  ( a , b ) $. 
Any proper motion can be represented as a parallel displacement or as a rotation around some point.

Improper motions are expressed by the formulas

$$ 
\widetilde{x}   =  x  \cos  \phi + y  \sin  \phi + a ,
$$

$$ 
\widetilde{y}   =  x  \sin  \phi - y  \cos  \phi + b ,
$$

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  $  ( x, y, z) $
in space, the analytic expression of a motion is:

$$ 
\widetilde{x}   =  a _ {11} x + a _ {12} y + a _ {13} z + a,
$$

$$ 
\widetilde{y}   =  a _ {21} x + a _ {22} y + a _ {23} z + b,
$$

$$ 
\widetilde{z}   =  a _ {31} x + a _ {32} y + a _ {33} z + c,
$$

where the elements of the matrix  $  \| a _ {ij} \| $
satisfy the following orthogonality conditions:

$$ 
a _ {1r} a _ {1s} + a _ {2r} a _ {2s} + a _ {3r} a _ {3s}  = \ 
\delta _ {rs}  $$

( $  \delta _ {rs} = 1 $
if  $  r= s $, 
$  \delta _ {rs} = 0 $
if  $  r \neq s $). 
A motion is proper or improper depending on whether the determinant of this matrix is  $  1 $
or  $  - 1 $. 
Cf. [[Orthogonal transformation|Orthogonal transformation]].

In  $  n $-dimensional Euclidean spaces a motion is analytically expressed, in a similar manner, in rectangular coordinates, using an orthogonal matrix  $  A= \| a _ {ij} \| $, 
as:

$$ 
a _ {1r} a _ {1s} + \dots + a _ {nr} a _ {ns}  =  \delta _ {rs} ,
$$

$$ 
s  =  1, \dots, n.
$$

A motion of a Riemannian space is a one-to-one continuously-differentiable mapping of class  $  C  ^ {s} $, 
$  s \geq  2 $, 
under which the lengths of the respective lines are preserved. The line element of the space,

$$ 
ds  ^ {2}  =  g _ {\alpha \beta }  ( x  ^ {1}, \dots, x
 ^ {n} )  d x  ^  \alpha   d x  ^  \beta  ,
$$

where the summation is over the indices  $  \alpha , \beta $, 
is invariant under a motion. Analytically, a motion is defined by formulas which express the coordinates of a point  $  \widetilde{M}  ( {\widetilde{x}  } {}  ^ {i} ) $
after transformation in terms of the coordinates of  $  M ( x  ^ {i} ) $, 
the initial point, using functions  $  f ^ { i } ( x) $
of class  $  C  ^ {s} $:

$$ \tag{* }
{\widetilde{x}  } {}  ^  \alpha   =  f ^ { \alpha } ( x  ^ {1}, \dots,
x  ^ {n} ) ,\ \ 
\alpha = 1, \dots, n.
$$

The condition of invariance of the line element means that

$$ 
g _ {\alpha \beta }  ( {\widetilde{x}  } ^ {1}, \dots,
{\widetilde{x}  } ^ {n} ) 
\frac{\partial  {\widetilde{x}  } {}  ^  \alpha  }{\partial  x  ^ {i} }

\frac{\partial  {\widetilde{x}  } {}  ^  \beta  }{\partial  x  ^ {j} }
  =  g _ {ij} ( x  ^ {1}, \dots, x  ^ {n} ) .
$$

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  $  C  ^ {s} $, 
$  s \geq  2 $, 
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  $  \Gamma _ {\beta \gamma }   ^  \alpha  ( x) $ (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>