mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...

, the isometry group of a

metric space In mathematics, a metric space is a Set (mathematics), set together with a notion of ''distance'' between its Element (mathematics), elements, usually called point (geometry), points. The distance is measured by a function (mathematics), functi ...

is the

set Set, The Set, SET or SETS may refer to: Science, technology, and mathematics Mathematics *Set (mathematics), a collection of elements *Category of sets, the category whose objects and morphisms are sets and total functions, respectively Electro ...

of all

bijective In mathematics, a bijection, bijective function, or one-to-one correspondence is a function between two sets such that each element of the second set (the codomain) is the image of exactly one element of the first set (the domain). Equival ...

isometries (that is, bijective, distance-preserving maps) from the metric space onto itself, with the

function composition In mathematics, the composition operator \circ takes two function (mathematics), functions, f and g, and returns a new function h(x) := (g \circ f) (x) = g(f(x)). Thus, the function is function application, applied after applying to . (g \c ...

as group operation. Its

identity element In mathematics, an identity element or neutral element of a binary operation is an element that leaves unchanged every element when the operation is applied. For example, 0 is an identity element of the addition of real numbers. This concept is use ...

is the

identity function Graph of the identity function on the real numbers In mathematics, an identity function, also called an identity relation, identity map or identity transformation, is a function that always returns the value that was used as its argument, unc ...

. The elements of the isometry group are sometimes called

motion In physics, motion is when an object changes its position with respect to a reference point in a given time. Motion is mathematically described in terms of displacement, distance, velocity, acceleration, speed, and frame of reference to an o ...

s of the space. Every isometry group of a metric space is a

subgroup In group theory, a branch of mathematics, a subset of a group G is a subgroup of G if the members of that subset form a group with respect to the group operation in G. Formally, given a group (mathematics), group under a binary operation ...

of isometries. It represents in most cases a possible set of symmetries of objects/figures in the space, or functions defined on the space. See

symmetry group 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 amb ...

. A discrete isometry group is an isometry group such that for every point of the space the set of images of the point under the isometries is a

discrete set In mathematics, a point (topology), point is called an isolated point of a subset (in a topological space ) if is an element of and there exists a Neighborhood (mathematics), neighborhood of that does not contain any other points of . This i ...

. In

pseudo-Euclidean space In mathematics and theoretical physics, a pseudo-Euclidean space of signature is a finite- dimensional real -space together with a non- degenerate quadratic form . Such a quadratic form can, given a suitable choice of basis , be applied to a vect ...

the metric is replaced with an isotropic quadratic form; transformations preserving this form are sometimes called "isometries", and the collection of them is then said to form an isometry group of the pseudo-Euclidean space.

Examples

* The isometry group of the subspace of a

consisting of the points of a scalene triangle is the trivial group. A similar space for an

isosceles triangle In geometry, an isosceles triangle () is a triangle that has two Edge (geometry), sides of equal length and two angles of equal measure. Sometimes it is specified as having ''exactly'' two sides of equal length, and sometimes as having ''at le ...

is the

cyclic group In abstract algebra, a cyclic group or monogenous group is a Group (mathematics), group, denoted C_n (also frequently \Z_n or Z_n, not to be confused with the commutative ring of P-adic number, -adic numbers), that is Generating set of a group, ge ...

of order two, C₂. A similar space for an

equilateral triangle An equilateral triangle is a triangle in which all three sides have the same length, and all three angles are equal. Because of these properties, the equilateral triangle is a regular polygon, occasionally known as the regular triangle. It is the ...

is D₃, the dihedral group of order 6. * The isometry group of a two-dimensional

sphere A sphere (from Ancient Greek, Greek , ) is a surface (mathematics), surface analogous to the circle, a curve. In solid geometry, a sphere is the Locus (mathematics), set of points that are all at the same distance from a given point in three ...

is the

orthogonal group In mathematics, the orthogonal group in dimension , denoted , is the Group (mathematics), group of isometry, distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by ...

O(3). * The isometry group of the ''n''-dimensional

Euclidean space 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 ...

is the

Euclidean group In mathematics, a Euclidean group is the group of (Euclidean) isometries of a Euclidean space \mathbb^n; that is, the transformations of that space that preserve the Euclidean distance between any two points (also called Euclidean transformati ...

E(''n''). * The isometry group of the Poincaré disc model of the hyperbolic plane is the projective special unitary group PSU(1,1). * The isometry group of the Poincaré half-plane model of the hyperbolic plane is PSL(2,R). * The isometry group of

Minkowski space In physics, Minkowski space (or Minkowski spacetime) () is the main mathematical description of spacetime in the absence of gravitation. It combines inertial space and time manifolds into a four-dimensional model. The model helps show how a ...

is the Poincaré group.. * Riemannian symmetric spaces are important cases where the isometry group is a

Lie group In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. A manifold is a space that locally resembles Eucli ...

References

{{reflist Metric geometry

Examples

See also

References