Chirality (mathematics)

Last updated
The footprint here demonstrates chirality. Individual left and right footprints are chiral enantiomorphs in a plane because they are mirror images while containing no mirror symmetry individually. 2 parallel footprints.png
The footprint here demonstrates chirality. Individual left and right footprints are chiral enantiomorphs in a plane because they are mirror images while containing no mirror symmetry individually.

In geometry, a figure is chiral (and said to have chirality) if it is not identical to its mirror image, or, more precisely, if it cannot be mapped to its mirror image by rotations and translations alone. An object that is not chiral is said to be achiral.

Contents

A chiral object and its mirror image are said to be enantiomorphs. The word chirality is derived from the Greek χείρ (cheir), the hand, the most familiar chiral object; the word enantiomorph stems from the Greek ἐναντίος (enantios) 'opposite' + μορφή (morphe) 'form'.

Examples

Left and right-hand rules in three dimensions 3D Cartesian Coodinate Handedness.jpg
Left and right-hand rules in three dimensions
The tetrominos S and Z are enantiomorphs in 2-dimensions
Tetromino S.svg
S
Tetromino Z.svg
Z

Some chiral three-dimensional objects, such as the helix, can be assigned a right or left handedness, according to the right-hand rule.

Many other familiar objects exhibit the same chiral symmetry of the human body, such as gloves and shoes. Right shoes differ from left shoes only by being mirror images of each other. In contrast thin gloves may not be considered chiral if you can wear them inside-out.[ citation needed ]

The J-, L-, S- and Z-shaped tetrominoes of the popular video game Tetris also exhibit chirality, but only in a two-dimensional space. Individually they contain no mirror symmetry in the plane.

Chirality and symmetry group

A figure is achiral if and only if its symmetry group contains at least one orientation-reversing isometry. (In Euclidean geometry any isometry can be written as with an orthogonal matrix and a vector . The determinant of is either 1 or 1 then. If it is 1 the isometry is orientation-reversing, otherwise it is orientation-preserving.

A general definition of chirality based on group theory exists. [1] It does not refer to any orientation concept: an isometry is direct if and only if it is a product of squares of isometries, and if not, it is an indirect isometry. The resulting chirality definition works in spacetime. [2] [3]

Chirality in two dimensions

The colored necklace in the middle is chiral in two dimensions; the two others are achiral.
This means that as physical necklaces on a table the left and right ones can be rotated into their mirror image while remaining on the table. The one in the middle, however, would have to be picked up and turned in three dimensions. Bracelets33.svg
The colored necklace in the middle is chiral in two dimensions; the two others are achiral.
This means that as physical necklaces on a table the left and right ones can be rotated into their mirror image while remaining on the table. The one in the middle, however, would have to be picked up and turned in three dimensions.
A scalene triangle does not have mirror symmetries, and hence is a chiral polytope in 2 dimensions. Triangle.Scalene.svg
A scalene triangle does not have mirror symmetries, and hence is a chiral polytope in 2 dimensions.

In two dimensions, every figure which possesses an axis of symmetry is achiral, and it can be shown that every bounded achiral figure must have an axis of symmetry. (An axis of symmetry of a figure is a line , such that is invariant under the mapping , when is chosen to be the -axis of the coordinate system.) For that reason, a triangle is achiral if it is equilateral or isosceles, and is chiral if it is scalene.

Consider the following pattern:

Krok 6.png

This figure is chiral, as it is not identical to its mirror image:

Krok 6 mirrored.png

But if one prolongs the pattern in both directions to infinity, one receives an (unbounded) achiral figure which has no axis of symmetry. Its symmetry group is a frieze group generated by a single glide reflection.

Chirality in three dimensions

Pair of chiral dice (enantiomorphs) Chiralitat von Wurfeln V.1.svg
Pair of chiral dice (enantiomorphs)

In three dimensions, every figure that possesses a mirror plane of symmetry S1, an inversion center of symmetry S2, or a higher improper rotation (rotoreflection) Sn axis of symmetry [4] is achiral. (A plane of symmetry of a figure is a plane , such that is invariant under the mapping , when is chosen to be the --plane of the coordinate system. A center of symmetry of a figure is a point , such that is invariant under the mapping , when is chosen to be the origin of the coordinate system.) Note, however, that there are achiral figures lacking both plane and center of symmetry. An example is the figure

which is invariant under the orientation reversing isometry and thus achiral, but it has neither plane nor center of symmetry. The figure

also is achiral as the origin is a center of symmetry, but it lacks a plane of symmetry.

Achiral figures can have a center axis.

Knot theory

A knot is called achiral if it can be continuously deformed into its mirror image, otherwise it is called a chiral knot. For example, the unknot and the figure-eight knot are achiral, whereas the trefoil knot is chiral.

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">Group theory</span> Branch of mathematics that studies the properties of groups

In abstract algebra, group theory studies the algebraic structures known as groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as rings, fields, and vector spaces, can all be seen as groups endowed with additional operations and axioms. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra. Linear algebraic groups and Lie groups are two branches of group theory that have experienced advances and have become subject areas in their own right.

<span class="mw-page-title-main">Mirror image</span> Reflected duplication of an object

A mirror image is a reflected duplication of an object that appears almost identical, but is reversed in the direction perpendicular to the mirror surface. As an optical effect it results from reflection off from substances such as a mirror or water. It is also a concept in geometry and can be used as a conceptualization process for 3-D structures.

<span class="mw-page-title-main">Lorentz group</span> Lie group of Lorentz transformations

In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicist Hendrik Lorentz.

<span class="mw-page-title-main">Modular group</span> Orientation-preserving mapping class group of the torus

In mathematics, the modular group is the projective special linear group of 2 × 2 matrices with integer coefficients and determinant 1. The matrices A and A are identified. The modular group acts on the upper-half of the complex plane by fractional linear transformations, and the name "modular group" comes from the relation to moduli spaces and not from modular arithmetic.

<span class="mw-page-title-main">Trefoil knot</span> Simplest non-trivial closed knot with three crossings

In knot theory, a branch of mathematics, the trefoil knot is the simplest example of a nontrivial knot. The trefoil can be obtained by joining the two loose ends of a common overhand knot, resulting in a knotted loop. As the simplest knot, the trefoil is fundamental to the study of mathematical knot theory.

<span class="mw-page-title-main">Rigid body</span> Physical object which does not deform when forces or moments are exerted on it

In physics, a rigid body, also known as a rigid object, is a solid body in which deformation is zero or negligible. The distance between any two given points on a rigid body remains constant in time regardless of external forces or moments exerted on it. A rigid body is usually considered as a continuous distribution of mass.

<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">Euclidean group</span> Isometry group of Euclidean space

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

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.

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

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.

<span class="mw-page-title-main">Symmetry in mathematics</span>

Symmetry occurs not only in geometry, but also in other branches of mathematics. Symmetry is a type of invariance: the property that a mathematical object remains unchanged under a set of operations or transformations.

<span class="mw-page-title-main">Octahedral symmetry</span> 3D symmetry group

A regular octahedron has 24 rotational symmetries, and 48 symmetries altogether. These include transformations that combine a reflection and a rotation. A cube has the same set of symmetries, since it is the polyhedron that is dual to an octahedron.

<span class="mw-page-title-main">Tetrahedral symmetry</span> 3D symmetry group

A regular tetrahedron has 12 rotational symmetries, and a symmetry order of 24 including transformations that combine a reflection and a rotation.

<span class="mw-page-title-main">Lissajous knot</span> Knot defined by parametric equations defining Lissajous curves

In knot theory, a Lissajous knot is a knot defined by parametric equations of the form

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

<span class="mw-page-title-main">Chirality</span> Difference in shape from a mirror image

Chirality is a property of asymmetry important in several branches of science. The word chirality is derived from the Greek χείρ (kheir), "hand", a familiar chiral object.

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

The Laguerre transformations or axial homographies are an analogue of Möbius transformations over the dual numbers. When studying these transformations, the dual numbers are often interpreted as representing oriented lines on the plane. The Laguerre transformations map lines to lines, and include in particular all isometries of the plane.

References

  1. Petitjean, M. (2020). "Chirality in metric spaces. In memoriam Michel Deza". Optimization Letters. 14 (2): 329–338. doi: 10.1007/s11590-017-1189-7 .
  2. Petitjean, M. (2021). "Chirality in geometric algebra". Mathematics. 9 (13). 1521. doi: 10.3390/math9131521 .
  3. Petitjean, M. (2022). "Chirality in affine spaces and in spacetime". arXiv: 2203.04066 [math-ph].
  4. "2. Symmetry operations and symmetry elements". chemwiki.ucdavis.edu. 3 March 2014. Retrieved 25 March 2016.

Further reading