Namespaces
Variants
Actions

Difference between revisions of "Group of motions"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
 +
{{TEX|done}}
 
A [[Continuous group|continuous group]] of transformations of a space, the elements of which are the motions (cf. [[Motion|Motion]]) of this space, while the group operation is the execution of two motions in a prescribed sequence. In a broad sense, any group of continuous transformations (cf. also [[Transformation group|Transformation group]]) of a space may be realized as the group of motions of this space. This is done by introducing, for the given group, a concept of equality of figures, which leads to a new geometry for which this group serves as the group of motions (cf. [[Erlangen program|Erlangen program]]).
 
A [[Continuous group|continuous group]] of transformations of a space, the elements of which are the motions (cf. [[Motion|Motion]]) of this space, while the group operation is the execution of two motions in a prescribed sequence. In a broad sense, any group of continuous transformations (cf. also [[Transformation group|Transformation group]]) of a space may be realized as the group of motions of this space. This is done by introducing, for the given group, a concept of equality of figures, which leads to a new geometry for which this group serves as the group of motions (cf. [[Erlangen program|Erlangen program]]).
  
 
A group of motions is said to be transitive if for two arbitrary points in the space it is possible to select in the group a motion which maps one of the points to the other; it is said to be intransitive if there exists a pair of points for which a selection of such a motion is not possible.
 
A group of motions is said to be transitive if for two arbitrary points in the space it is possible to select in the group a motion which maps one of the points to the other; it is said to be intransitive if there exists a pair of points for which a selection of such a motion is not possible.
  
A space into which it is possible to introduce a given group of motions is said to be a space admitting this group of motions. If the group of motions of a space is of the highest order (dimension), it is said to be a complete group of motions. For instance, the complete transitive group of motions of the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452701.png" />-dimensional Euclidean space is a group of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452702.png" />, i.e. the group depends on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452703.png" /> parameters. In the particular case of the Euclidean plane, the parameters of the complete group of motions may be the coordinates of the point into which the coordinate origin is transformed, and the angle of rotation — i.e. this group of motions has three parameters. The group of motions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452704.png" /> of the Euclidean plane is a non-commutative [[Solvable group|solvable group]]. Its subgroup of rotations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452705.png" /> is commutative and intransitive, while the subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452706.png" /> of parallel transfers is commutative, transitive and is a [[Normal subgroup|normal subgroup]] of the group of motions. The intersection of these two subgroups is the unit of the group of motions. The quotient group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452707.png" /> is isomorphic to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452708.png" />, and the [[Commutator subgroup|commutator subgroup]] of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g0452709.png" /> is contained in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527010.png" />. Possible parameters of the group of motions of three-dimensional Euclidean space are the coordinates of the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527011.png" /> into which the origin is mapped and the [[Euler angles|Euler angles]], i.e. this group of motions is hexaparametric.
+
A space into which it is possible to introduce a given group of motions is said to be a space admitting this group of motions. If the group of motions of a space is of the highest order (dimension), it is said to be a complete group of motions. For instance, the complete transitive group of motions of the $n$-dimensional Euclidean space is a group of order $n(n+1)/2$, i.e. the group depends on $n(n+1)/2$ parameters. In the particular case of the Euclidean plane, the parameters of the complete group of motions may be the coordinates of the point into which the coordinate origin is transformed, and the angle of rotation — i.e. this group of motions has three parameters. The group of motions $G$ of the Euclidean plane is a non-commutative [[Solvable group|solvable group]]. Its subgroup of rotations $H$ is commutative and intransitive, while the subgroup $N$ of parallel transfers is commutative, transitive and is a [[Normal subgroup|normal subgroup]] of the group of motions. The intersection of these two subgroups is the unit of the group of motions. The quotient group $G/N$ is isomorphic to $H$, and the [[Commutator subgroup|commutator subgroup]] of $G$ is contained in $N$. Possible parameters of the group of motions of three-dimensional Euclidean space are the coordinates of the point $O(a,b,c)$ into which the origin is mapped and the [[Euler angles|Euler angles]], i.e. this group of motions is hexaparametric.
  
 
Studies on groups of motions in generalized differential-geometric spaces are conducted in several directions at the same time, the most important of which are listed below.
 
Studies on groups of motions in generalized differential-geometric spaces are conducted in several directions at the same time, the most important of which are listed below.
Line 13: Line 14:
 
3) A direction on the interface of the other two, viz. the study of lacunas and lacunary spaces (cf. [[Lacunary space|Lacunary space]]), i.e. the construction of spaces admitting a complete group of motions of a given order or a demonstration of the non-existence of spaces of a given type which would admit some given group of motions.
 
3) A direction on the interface of the other two, viz. the study of lacunas and lacunary spaces (cf. [[Lacunary space|Lacunary space]]), i.e. the construction of spaces admitting a complete group of motions of a given order or a demonstration of the non-existence of spaces of a given type which would admit some given group of motions.
  
For instance, an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527012.png" />-dimensional affine space admits a group of motions of maximal order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527013.png" />. The order of the groups of motions of other spaces of affine connection belong to the segment of the natural number series <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527014.png" />, but not every number of this segment can be an order of the complete group of motions.
+
For instance, an $n$-dimensional affine space admits a group of motions of maximal order $r=n^2+n$. The order of the groups of motions of other spaces of affine connection belong to the segment of the natural number series $[1,n^2+n]$, but not every number of this segment can be an order of the complete group of motions.
  
Intervals of greatest length constituted by numbers that are not orders of complete groups of motions are known as lacunas, and their complements in the series of natural numbers are said to be condensation segments. A space is said to be a space of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527016.png" />-th lacunarity if the order of its complete group of motions forms part of the condensation segment with sequence number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527017.png" />. A principal problem is the distribution of lacunas and condensation segments of possible orders of complete groups of motions defined for the last groups of motions themselves and for their corresponding lacunary spaces. This problem is closely connected with the study of the degrees of freedom of solid bodies.
+
Intervals of greatest length constituted by numbers that are not orders of complete groups of motions are known as lacunas, and their complements in the series of natural numbers are said to be condensation segments. A space is said to be a space of $k$-th lacunarity if the order of its complete group of motions forms part of the condensation segment with sequence number $k$. A principal problem is the distribution of lacunas and condensation segments of possible orders of complete groups of motions defined for the last groups of motions themselves and for their corresponding lacunary spaces. This problem is closely connected with the study of the degrees of freedom of solid bodies.
  
Riemannian spaces of constant curvature are the only spaces admitting a complete group of motions of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527018.png" />. In all other cases the group of motions of a space has a smaller number of parameters. A manifold with an affine connection admits a complete group of motions (of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/g/g045/g045270/g04527019.png" />) if and only if the connection is symmetric, while the curvature is equal to zero; in such a case the group of motions is a [[General linear group|general linear group]].
+
Riemannian spaces of constant curvature are the only spaces admitting a complete group of motions of order $n(n+1)/2$. In all other cases the group of motions of a space has a smaller number of parameters. A manifold with an affine connection admits a complete group of motions (of order $n(n+1)$) if and only if the connection is symmetric, while the curvature is equal to zero; in such a case the group of motions is a [[General linear group|general linear group]].
  
 
====References====
 
====References====

Latest revision as of 09:43, 11 August 2014

A continuous group of transformations of a space, the elements of which are the motions (cf. Motion) of this space, while the group operation is the execution of two motions in a prescribed sequence. In a broad sense, any group of continuous transformations (cf. also Transformation group) of a space may be realized as the group of motions of this space. This is done by introducing, for the given group, a concept of equality of figures, which leads to a new geometry for which this group serves as the group of motions (cf. Erlangen program).

A group of motions is said to be transitive if for two arbitrary points in the space it is possible to select in the group a motion which maps one of the points to the other; it is said to be intransitive if there exists a pair of points for which a selection of such a motion is not possible.

A space into which it is possible to introduce a given group of motions is said to be a space admitting this group of motions. If the group of motions of a space is of the highest order (dimension), it is said to be a complete group of motions. For instance, the complete transitive group of motions of the $n$-dimensional Euclidean space is a group of order $n(n+1)/2$, i.e. the group depends on $n(n+1)/2$ parameters. In the particular case of the Euclidean plane, the parameters of the complete group of motions may be the coordinates of the point into which the coordinate origin is transformed, and the angle of rotation — i.e. this group of motions has three parameters. The group of motions $G$ of the Euclidean plane is a non-commutative solvable group. Its subgroup of rotations $H$ is commutative and intransitive, while the subgroup $N$ of parallel transfers is commutative, transitive and is a normal subgroup of the group of motions. The intersection of these two subgroups is the unit of the group of motions. The quotient group $G/N$ is isomorphic to $H$, and the commutator subgroup of $G$ is contained in $N$. Possible parameters of the group of motions of three-dimensional Euclidean space are the coordinates of the point $O(a,b,c)$ into which the origin is mapped and the Euler angles, i.e. this group of motions is hexaparametric.

Studies on groups of motions in generalized differential-geometric spaces are conducted in several directions at the same time, the most important of which are listed below.

1) The group-theoretic direction [3]: To construct a connection or an invariant metric in the space on which the group of transformations is acting.

2) The study of groups of motions in given spaces, i.e. groups admitted by a space with a given metric or a given connection [1], [2].

3) A direction on the interface of the other two, viz. the study of lacunas and lacunary spaces (cf. Lacunary space), i.e. the construction of spaces admitting a complete group of motions of a given order or a demonstration of the non-existence of spaces of a given type which would admit some given group of motions.

For instance, an $n$-dimensional affine space admits a group of motions of maximal order $r=n^2+n$. The order of the groups of motions of other spaces of affine connection belong to the segment of the natural number series $[1,n^2+n]$, but not every number of this segment can be an order of the complete group of motions.

Intervals of greatest length constituted by numbers that are not orders of complete groups of motions are known as lacunas, and their complements in the series of natural numbers are said to be condensation segments. A space is said to be a space of $k$-th lacunarity if the order of its complete group of motions forms part of the condensation segment with sequence number $k$. A principal problem is the distribution of lacunas and condensation segments of possible orders of complete groups of motions defined for the last groups of motions themselves and for their corresponding lacunary spaces. This problem is closely connected with the study of the degrees of freedom of solid bodies.

Riemannian spaces of constant curvature are the only spaces admitting a complete group of motions of order $n(n+1)/2$. In all other cases the group of motions of a space has a smaller number of parameters. A manifold with an affine connection admits a complete group of motions (of order $n(n+1)$) if and only if the connection is symmetric, while the curvature is equal to zero; in such a case the group of motions is a general linear group.

References

[1] I.P. Egorov, "Motions in generalized differential-geometric spaces" Itogi Nauk. Algebra Topol. Geom. 1965 (1967) pp. 375–428 (In Russian)
[2] I.P. Egorov, "Motions in a space with an affine connection" , Kazan' (1965) (In Russian)
[3] P.K. [P.K. Rashevskii] Rashewski, "Riemannsche Geometrie und Tensoranalyse" , Deutsch. Verlag Wissenschaft. (1959) (Translated from Russian)
[4] I.P. Egorov, "Geometry" , Moscow (1972) (In Russian)


Comments

References

[a1] S. Kobayashi, "Transformation groups" , Springer (1972)
[a2] G. Bredon, "Introduction to compact transformation groups" , Acad. Press (1972)
How to Cite This Entry:
Group of motions. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Group_of_motions&oldid=16960
This article was adapted from an original article by I.P. Egorov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article