Euclidean group

Last updated

In mathematics, a Euclidean group is the group of (Euclidean) isometries of a Euclidean space ; that is, the transformations of that space that preserve the Euclidean distance between any two points (also called Euclidean transformations). The group depends only on the dimension n of the space, and is commonly denoted E(n) or ISO(n), for inhomogeneous special orthogonal group.

Contents

The Euclidean group E(n) comprises all translations, rotations, and reflections of ; and arbitrary finite combinations of them. The Euclidean group can be seen as the symmetry group of the space itself, and contains the group of symmetries of any figure (subset) of that space.

A Euclidean isometry can be direct or indirect, depending on whether it preserves the handedness of figures. The direct Euclidean isometries form a subgroup, the special Euclidean group, often denoted SE(n) and E+(n), whose elements are called rigid motions or Euclidean motions. They comprise arbitrary combinations of translations and rotations, but not reflections.

These groups are among the oldest and most studied, at least in the cases of dimension 2 and 3 – implicitly, long before the concept of group was invented.

Overview

Dimensionality

The number of degrees of freedom for E(n) is n(n + 1)/2, which gives 3 in case n = 2, and 6 for n = 3. Of these, n can be attributed to available translational symmetry, and the remaining n(n − 1)/2 to rotational symmetry.

Direct and indirect isometries

The direct isometries (i.e., isometries preserving the handedness of chiral subsets) comprise a subgroup of E(n), called the special Euclidean group and usually denoted by E+(n) or SE(n). They include the translations and rotations, and combinations thereof; including the identity transformation, but excluding any reflections.

The isometries that reverse handedness are called indirect, or opposite. For any fixed indirect isometry R, such as a reflection about some hyperplane, every other indirect isometry can be obtained by the composition of R with some direct isometry. Therefore, the indirect isometries are a coset of E+(n), which can be denoted by E(n). It follows that the subgroup E+(n) is of index 2 in E(n).

Topology of the group

The natural topology of Euclidean space implies a topology for the Euclidean group E(n). Namely, a sequence fi of isometries of () is defined to converge if and only if, for any point p of , the sequence of points pi converges.

From this definition it follows that a function is continuous if and only if, for any point p of , the function defined by fp(t) = (f(t))(p) is continuous. Such a function is called a "continuous trajectory" in E(n).

It turns out that the special Euclidean group SE(n) = E+(n) is connected in this topology. That is, given any two direct isometries A and B of , there is a continuous trajectory f in E+(n) such that f(0) = A and f(1) = B. The same is true for the indirect isometries E(n). On the other hand, the group E(n) as a whole is not connected: there is no continuous trajectory that starts in E+(n) and ends in E(n).

The continuous trajectories in E(3) play an important role in classical mechanics, because they describe the physically possible movements of a rigid body in three-dimensional space over time. One takes f(0) to be the identity transformation I of , which describes the initial position of the body. The position and orientation of the body at any later time t will be described by the transformation f(t). Since f(0) = I is in E+(3), the same must be true of f(t) for any later time. For that reason, the direct Euclidean isometries are also called "rigid motions".

Lie structure

The Euclidean groups are not only topological groups, they are Lie groups, so that calculus notions can be adapted immediately to this setting.

Relation to the affine group

The Euclidean group E(n) is a subgroup of the affine group for n dimensions, and in such a way as to respect the semidirect product structure of both[ clarification needed ] groups. This gives, a fortiori, two ways of writing elements in an explicit notation. These are:

  1. by a pair (A, b), with A an n × n orthogonal matrix, and b a real column vector of size n; or
  2. by a single square matrix of size n + 1, as explained for the affine group.

Details for the first representation are given in the next section.

In the terms of Felix Klein's Erlangen programme, we read off from this that Euclidean geometry, the geometry of the Euclidean group of symmetries, is, therefore, a specialisation of affine geometry. All affine theorems apply. The origin of Euclidean geometry allows definition of the notion of distance, from which angle can then be deduced.

Detailed discussion

Subgroup structure, matrix and vector representation

The Euclidean group is a subgroup of the group of affine transformations.

It has as subgroups the translational group T(n), and the orthogonal group O(n). Any element of E(n) is a translation followed by an orthogonal transformation (the linear part of the isometry), in a unique way: where A is an orthogonal matrix

or the same orthogonal transformation followed by a translation: with c = Ab

T(n) is a normal subgroup of E(n): for every translation t and every isometry u, the composition is again a translation.

Together, these facts imply that E(n) is the semidirect product of O(n) extended by T(n), which is written as . In other words, O(n) is (in the natural way) also the quotient group of E(n) by T(n):

Now SO(n), the special orthogonal group, is a subgroup of O(n) of index two. Therefore, E(n) has a subgroup E+(n), also of index two, consisting of direct isometries. In these cases the determinant of A is 1.

They are represented as a translation followed by a rotation, rather than a translation followed by some kind of reflection (in dimensions 2 and 3, these are the familiar reflections in a mirror line or plane, which may be taken to include the origin, or in 3D, a rotoreflection).

This relation is commonly written as: or, equivalently:

Subgroups

Types of subgroups of E(n):

Finite groups.
They always have a fixed point. In 3D, for every point there are for every orientation two which are maximal (with respect to inclusion) among the finite groups: Oh and Ih. The groups Ih are even maximal among the groups including the next category.
Countably infinite groups without arbitrarily small translations, rotations, or combinations
i.e., for every point the set of images under the isometries is topologically discrete (e.g., for 1 ≤ mn a group generated by m translations in independent directions, and possibly a finite point group). This includes lattices. Examples more general than those are the discrete space groups.
Countably infinite groups with arbitrarily small translations, rotations, or combinations
In this case there are points for which the set of images under the isometries is not closed. Examples of such groups are, in 1D, the group generated by a translation of 1 and one of 2, and, in 2D, the group generated by a rotation about the origin by 1 radian.
Non-countable groups, where there are points for which the set of images under the isometries is not closed
(e.g., in 2D all translations in one direction, and all translations by rational distances in another direction).
Non-countable groups, where for all points the set of images under the isometries is closed
e.g.:
  • all direct isometries that keep the origin fixed, or more generally, some point (in 3D called the rotation group)
  • all isometries that keep the origin fixed, or more generally, some point (the orthogonal group)
  • all direct isometries E+(n)
  • the whole Euclidean group E(n)
  • one of these groups in an m-dimensional subspace combined with a discrete group of isometries in the orthogonal (nm)-dimensional space
  • one of these groups in an m-dimensional subspace combined with another one in the orthogonal (nm)-dimensional space

Examples in 3D of combinations:

Overview of isometries in up to three dimensions

E(1), E(2), and E(3) can be categorized as follows, with degrees of freedom:

Isometries of E(1)
Type of isometryDegrees of freedomPreserves orientation?
Identity0Yes
Translation1Yes
Reflection in a point1No
Isometries of E(2)
Type of isometryDegrees of freedomPreserves orientation?
Identity0Yes
Translation2Yes
Rotation about a point3Yes
Reflection in a line2No
Glide reflection 3No
Isometries of E(3)
Type of isometryDegrees of freedomPreserves orientation?
Identity0Yes
Translation3Yes
Rotation about an axis5Yes
Screw displacement 6Yes
Reflection in a plane3No
Glide plane operation5No
Improper rotation 6No
Inversion in a point3No

Chasles' theorem asserts that any element of E+(3) is a screw displacement.

See also 3D isometries that leave the origin fixed, space group, involution.

Commuting isometries

For some isometry pairs composition does not depend on order:

Conjugacy classes

The translations by a given distance in any direction form a conjugacy class; the translation group is the union of those for all distances.

In 1D, all reflections are in the same class.

In 2D, rotations by the same angle in either direction are in the same class. Glide reflections with translation by the same distance are in the same class.

In 3D:

See also

Related Research Articles

<span class="mw-page-title-main">Cartesian coordinate system</span> Most common coordinate system (geometry)

In geometry, a Cartesian coordinate system in a plane is a coordinate system that specifies each point uniquely by a pair of real numbers called coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, called coordinate lines, coordinate axes or just axes of the system. The point where they meet is called the origin and has (0, 0) as coordinates.

<span class="mw-page-title-main">Euclidean space</span> Fundamental space of geometry

Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's Elements, it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension n, which are called Euclidean n-spaces when one wants to specify their dimension. For n equal to one or two, they are commonly called respectively Euclidean lines and Euclidean planes. The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics.

<span class="mw-page-title-main">Symmetry group</span> Group of transformations under which the object is invariant

In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the ambient space which takes the object to itself, and which preserves all the relevant structure of the object. A frequent notation for the symmetry group of an object X is G = Sym(X).

<span class="mw-page-title-main">Affine transformation</span> Geometric transformation that preserves lines but not angles nor the origin

In Euclidean geometry, an affine transformation or affinity is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles.

<span class="mw-page-title-main">Dihedral group</span> Group of symmetries of a regular polygon

In mathematics, a dihedral group is the group of symmetries of a regular polygon, which includes rotations and reflections. Dihedral groups are among the simplest examples of finite groups, and they play an important role in group theory, geometry, and chemistry.

In geometry, an improper rotation is an isometry in Euclidean space that is a combination of a rotation about an axis and a reflection in a plane perpendicular to that axis. Reflection and inversion are each a special case of improper rotation. Any improper rotation is an affine transformation and, in cases that keep the coordinate origin fixed, a linear transformation. It is used as a symmetry operation in the context of geometric symmetry, molecular symmetry and crystallography, where an object that is unchanged by a combination of rotation and reflection is said to have improper rotation symmetry.

<span class="mw-page-title-main">Reflection (mathematics)</span> Mapping from a Euclidean space to itself

In mathematics, a reflection is a mapping from a Euclidean space to itself that is an isometry with a hyperplane as a set of fixed points; this set is called the axis or plane of reflection. The image of a figure by a reflection is its mirror image in the axis or plane of reflection. For example the mirror image of the small Latin letter p for a reflection with respect to a vertical axis would look like q. Its image by reflection in a horizontal axis would look like b. A reflection is an involution: when applied twice in succession, every point returns to its original location, and every geometrical object is restored to its original state.

In mathematics, the affine group or general affine group of any affine space is the group of all invertible affine transformations from the space into itself. In the case of a Euclidean space, the affine group consists of those functions from the space to itself such that the image of every line is a line.

<span class="mw-page-title-main">Wallpaper group</span> Classification of a two-dimensional repetitive pattern

A wallpaper is a mathematical object covering a whole Euclidean plane by repeating a motif indefinitely, in manner that certain isometries keep the drawing unchanged. For each wallpaper there corresponds a group of congruent transformations, with function composition as the group operation. Thus, a wallpaper group is a mathematical classification of a two‑dimensional repetitive pattern, based on the symmetries in the pattern. Such patterns occur frequently in architecture and decorative art, especially in textiles, tessellations, tiles and physical wallpaper.

<span class="mw-page-title-main">Rotation (mathematics)</span> Motion of a certain space that preserves at least one point

Rotation in mathematics is a concept originating in geometry. Any rotation is a motion of a certain space that preserves at least one point. It can describe, for example, the motion of a rigid body around a fixed point. Rotation can have a sign (as in the sign of an angle): a clockwise rotation is a negative magnitude so a counterclockwise turn has a positive magnitude. A rotation is different from other types of motions: translations, which have no fixed points, and (hyperplane) reflections, each of them having an entire (n − 1)-dimensional flat of fixed points in a n-dimensional space.

<span class="mw-page-title-main">Glide reflection</span> Geometric transformation combining reflection and translation

In geometry, a glide reflection or transflection is a geometric transformation that consists of a reflection across a hyperplane and a translation ("glide") in a direction parallel to that hyperplane, combined into a single transformation. Because the distances between points are not changed under glide reflection, it is a motion or isometry. When the context is the two-dimensional Euclidean plane, the hyperplane of reflection is a straight line called the glide line or glide axis. When the context is three-dimensional space, the hyperplane of reflection is a plane called the glide plane. The displacement vector of the translation is called the glide vector.

<span class="mw-page-title-main">Space group</span> Symmetry group of a configuration in space

In mathematics, physics and chemistry, a space group is the symmetry group of a repeating pattern in space, usually in three dimensions. The elements of a space group are the rigid transformations of the pattern that leave it unchanged. In three dimensions, space groups are classified into 219 distinct types, or 230 types if chiral copies are considered distinct. Space groups are discrete cocompact groups of isometries of an oriented Euclidean space in any number of dimensions. In dimensions other than 3, they are sometimes called Bieberbach groups.

<span class="mw-page-title-main">Rotational symmetry</span> Property of objects which appear unchanged after a partial rotation

Rotational symmetry, also known as radial symmetry in geometry, is the property a shape has when it looks the same after some rotation by a partial turn. An object's degree of rotational symmetry is the number of distinct orientations in which it looks exactly the same for each rotation.

In geometry, a Euclidean plane isometry is an isometry of the Euclidean plane, or more informally, a way of transforming the plane that preserves geometrical properties such as length. There are four types: translations, rotations, reflections, and glide reflections.

In geometry, a point group in three dimensions is an isometry group in three dimensions that leaves the origin fixed, or correspondingly, an isometry group of a sphere. It is a subgroup of the orthogonal group O(3), the group of all isometries that leave the origin fixed, or correspondingly, the group of orthogonal matrices. O(3) itself is a subgroup of the Euclidean group E(3) of all isometries.

In a group, the conjugate by g of h is ghg−1.

<span class="mw-page-title-main">Hyperboloid model</span> Model of n-dimensional hyperbolic geometry

In geometry, the hyperboloid model, also known as the Minkowski model after Hermann Minkowski, is a model of n-dimensional hyperbolic geometry in which points are represented by points on the forward sheet S+ of a two-sheeted hyperboloid in (n+1)-dimensional Minkowski space or by the displacement vectors from the origin to those points, and m-planes are represented by the intersections of (m+1)-planes passing through the origin in Minkowski space with S+ or by wedge products of m vectors. Hyperbolic space is embedded isometrically in Minkowski space; that is, the hyperbolic distance function is inherited from Minkowski space, analogous to the way spherical distance is inherited from Euclidean distance when the n-sphere is embedded in (n+1)-dimensional Euclidean space.

<span class="mw-page-title-main">Point reflection</span> Geometric symmetry operation

In geometry, a point reflection is a transformation of affine space in which every point is reflected across a specific fixed point. When dealing with crystal structures and in the physical sciences the terms inversion symmetry, inversion center or centrosymmetric are more commonly used.

The Banach–Tarski paradox is a theorem in set-theoretic geometry, which states the following: Given a solid ball in three-dimensional space, there exists a decomposition of the ball into a finite number of disjoint subsets, which can then be put back together in a different way to yield two identical copies of the original ball. Indeed, the reassembly process involves only moving the pieces around and rotating them without changing their shape. However, the pieces themselves are not "solids" in the usual sense, but infinite scatterings of points. The reconstruction can work with as few as five pieces.

<span class="mw-page-title-main">Symmetry (geometry)</span> Geometrical property

In geometry, an object has symmetry if there is an operation or transformation that maps the figure/object onto itself. Thus, a symmetry can be thought of as an immunity to change. For instance, a circle rotated about its center will have the same shape and size as the original circle, as all points before and after the transform would be indistinguishable. A circle is thus said to be symmetric under rotation or to have rotational symmetry. If the isometry is the reflection of a plane figure about a line, then the figure is said to have reflectional symmetry or line symmetry; it is also possible for a figure/object to have more than one line of symmetry.

References