Translational symmetry

Last updated
For translational invariant functions
f
:
R
2
-
R
{\displaystyle f:\mathbb {R} ^{2}\to \mathbb {R} }
it is
f
(
A
)
=
f
(
A
+
t
)
{\displaystyle f(A)=f(A+t)}
. The Lebesgue measure is an example for such a function. Translation of a set.svg
For translational invariant functions it is . The Lebesgue measure is an example for such a function.

In physics and mathematics, continuous translational symmetry is the invariance of a system of equations under any translation (without rotation). Discrete translational symmetry is invariant under discrete translation.

Contents

Analogously, an operator A on functions is said to be translationally invariant with respect to a translation operator if the result after applying A doesn't change if the argument function is translated. More precisely it must hold that

Laws of physics are translationally invariant under a spatial translation if they do not distinguish different points in space. According to Noether's theorem, space translational symmetry of a physical system is equivalent to the momentum conservation law.

Translational symmetry of an object means that a particular translation does not change the object. For a given object, the translations for which this applies form a group, the symmetry group of the object, or, if the object has more kinds of symmetry, a subgroup of the symmetry group.

Geometry

Translational invariance implies that, at least in one direction, the object is infinite: for any given point p, the set of points with the same properties due to the translational symmetry form the infinite discrete set {p + na | nZ} = p + Za. Fundamental domains are e.g. H + [0, 1] a for any hyperplane H for which a has an independent direction. This is in 1D a line segment, in 2D an infinite strip, and in 3D a slab, such that the vector starting at one side ends at the other side. Note that the strip and slab need not be perpendicular to the vector, hence can be narrower or thinner than the length of the vector.

In spaces with dimension higher than 1, there may be multiple translational symmetries. For each set of k independent translation vectors, the symmetry group is isomorphic with Zk. In particular, the multiplicity may be equal to the dimension. This implies that the object is infinite in all directions. In this case, the set of all translations forms a lattice. Different bases of translation vectors generate the same lattice if and only if one is transformed into the other by a matrix of integer coefficients of which the absolute value of the determinant is 1. The absolute value of the determinant of the matrix formed by a set of translation vectors is the hypervolume of the n-dimensional parallelepiped the set subtends (also called the covolume of the lattice). This parallelepiped is a fundamental region of the symmetry: any pattern on or in it is possible, and this defines the whole object. See also lattice (group).

E.g. in 2D, instead of a and b we can also take a and ab, etc. In general in 2D, we can take pa + qb and ra + sb for integers p, q, r, and s such that psqr is 1 or −1. This ensures that a and b themselves are integer linear combinations of the other two vectors. If not, not all translations are possible with the other pair. Each pair a, b defines a parallelogram, all with the same area, the magnitude of the cross product. One parallelogram fully defines the whole object. Without further symmetry, this parallelogram is a fundamental domain. The vectors a and b can be represented by complex numbers. For two given lattice points, equivalence of choices of a third point to generate a lattice shape is represented by the modular group, see lattice (group).

Alternatively, e.g. a rectangle may define the whole object, even if the translation vectors are not perpendicular, if it has two sides parallel to one translation vector, while the other translation vector starting at one side of the rectangle ends at the opposite side.

For example, consider a tiling with equal rectangular tiles with an asymmetric pattern on them, all oriented the same, in rows, with for each row a shift of a fraction, not one half, of a tile, always the same, then we have only translational symmetry, wallpaper group p1 (the same applies without shift). With rotational symmetry of order two of the pattern on the tile we have p2 (more symmetry of the pattern on the tile does not change that, because of the arrangement of the tiles). The rectangle is a more convenient unit to consider as fundamental domain (or set of two of them) than a parallelogram consisting of part of a tile and part of another one.

In 2D there may be translational symmetry in one direction for vectors of any length. One line, not in the same direction, fully defines the whole object. Similarly, in 3D there may be translational symmetry in one or two directions for vectors of any length. One plane (cross-section) or line, respectively, fully defines the whole object.

Examples

The less-than-relation on the real numbers is invariant under translation. Translation invariance of less-than-relation.svg
The less-than-relation on the real numbers is invariant under translation.

See also

Related Research Articles

<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">Rhombus</span> Quadrilateral with sides of equal length

In plane Euclidean geometry, a rhombus is a quadrilateral whose four sides all have the same length. Another name is equilateral quadrilateral, since equilateral means that all of its sides are equal in length. The rhombus is often called a "diamond", after the diamonds suit in playing cards which resembles the projection of an octahedral diamond, or a lozenge, though the former sometimes refers specifically to a rhombus with a 60° angle, and the latter sometimes refers specifically to a rhombus with a 45° angle.

<span class="mw-page-title-main">Translation (geometry)</span> Planar movement within a Euclidean space without rotation

In Euclidean geometry, a translation is a geometric transformation that moves every point of a figure, shape or space by the same distance in a given direction. A translation can also be interpreted as the addition of a constant vector to every point, or as shifting the origin of the coordinate system. In a Euclidean space, any translation is an isometry.

In geometry, biology, mineralogy and solid state physics, a unit cell is a repeating unit formed by the vectors spanning the points of a lattice. Despite its suggestive name, the unit cell does not necessarily have unit size, or even a particular size at all. Rather, the primitive cell is the closest analogy to a unit vector, since it has a determined size for a given lattice and is the basic building block from which larger cells are constructed.

<span class="mw-page-title-main">Frieze group</span> Type of symmetry group

In mathematics, a frieze or frieze pattern is a two-dimensional design that repeats in one direction. The term is derived from architecture and decorative arts, where such repeating patterns are often used. Frieze patterns can be classified into seven types according to their symmetries. The set of symmetries of a frieze pattern is called a frieze group.

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

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, tiles, and wallpaper.

<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">Lattice (group)</span> Periodic set of points

In geometry and group theory, a lattice in the real coordinate space is an infinite set of points in this space with the properties that coordinate-wise addition or subtraction of two points in the lattice produces another lattice point, that the lattice points are all separated by some minimum distance, and that every point in the space is within some maximum distance of a lattice point. Closure under addition and subtraction means that a lattice must be a subgroup of the additive group of the points in the space, and the requirements of minimum and maximum distance can be summarized by saying that a lattice is a Delone set. More abstractly, a lattice can be described as a free abelian group of dimension which spans the vector space . For any basis of , the subgroup of all linear combinations with integer coefficients of the basis vectors forms a lattice, and every lattice can be formed from a basis in this way. A lattice may be viewed as a regular tiling of a space by a primitive cell.

Given a topological space and a group acting on it, the images of a single point under the group action form an orbit of the action. A fundamental domain or fundamental region is a subset of the space which contains exactly one point from each of these orbits. It serves as a geometric realization for the abstract set of representatives of the orbits.

In mathematics, an amenable group is a locally compact topological group G carrying a kind of averaging operation on bounded functions that is invariant under translation by group elements. The original definition, in terms of a finitely additive measure on subsets of G, was introduced by John von Neumann in 1929 under the German name "messbar" in response to the Banach–Tarski paradox. In 1949 Mahlon M. Day introduced the English translation "amenable", apparently as a pun on "mean".

<span class="mw-page-title-main">Bravais lattice</span> Geometry and crystallography point array

In geometry and crystallography, a Bravais lattice, named after Auguste Bravais, is an infinite array of discrete points generated by a set of discrete translation operations described in three dimensional space by

In geometry, a zonohedron is a convex polyhedron that is centrally symmetric, every face of which is a polygon that is centrally symmetric. Any zonohedron may equivalently be described as the Minkowski sum of a set of line segments in three-dimensional space, or as a three-dimensional projection of a hypercube. Zonohedra were originally defined and studied by E. S. Fedorove, a Russian crystallographer. More generally, in any dimension, the Minkowski sum of line segments forms a polytope known as a zonotope.

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

The crystallographic restriction theorem in its basic form was based on the observation that the rotational symmetries of a crystal are usually limited to 2-fold, 3-fold, 4-fold, and 6-fold. However, quasicrystals can occur with other diffraction pattern symmetries, such as 5-fold; these were not discovered until 1982 by Dan Shechtman.

A one-dimensional symmetry group is a mathematical group that describes symmetries in one dimension (1D).

<span class="mw-page-title-main">Symmetry (physics)</span> Feature of a system that is preserved under some transformation

The symmetry of a physical system is a physical or mathematical feature of the system that is preserved or remains unchanged under some transformation.

In geometry, orbifold notation is a system, invented by the mathematician William Thurston and promoted by John Conway, for representing types of symmetry groups in two-dimensional spaces of constant curvature. The advantage of the notation is that it describes these groups in a way which indicates many of the groups' properties: in particular, it follows William Thurston in describing the orbifold obtained by taking the quotient of Euclidean space by the group under consideration.

A fixed point of an isometry group is a point that is a fixed point for every isometry in the group. For any isometry group in Euclidean space the set of fixed points is either empty or an affine space.

Geometry is a branch of mathematics concerned with questions of shape, size, relative position of figures, and the properties of space. Geometry is one of the oldest mathematical sciences.

In geometry, a plesiohedron is a special kind of space-filling polyhedron, defined as the Voronoi cell of a symmetric Delone set. Three-dimensional Euclidean space can be completely filled by copies of any one of these shapes, with no overlaps. The resulting honeycomb will have symmetries that take any copy of the plesiohedron to any other copy.

References