SymmetrySymmetry () in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, the term has a more precise definition and is usually used to refer to an object that is invariant under some transformations, such as translation, reflection, rotation, or scaling. Although these two meanings of the word can sometimes be told apart, they are intricately related, and hence are discussed together in this article.
Euclidean plane isometryIn 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 (see below under ). The set of Euclidean plane isometries forms a group under composition: the Euclidean group in two dimensions. It is generated by reflections in lines, and every element of the Euclidean group is the composite of at most three distinct reflections.
Symmetry groupIn 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). For an object in a metric space, its symmetries form a subgroup of the isometry group of the ambient space.
Chirality (mathematics)In geometry, a figure is chiral (and said to have chirality) if it is not identical to its , 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. 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'.
Infinite dihedral groupIn mathematics, the infinite dihedral group Dih∞ is an infinite group with properties analogous to those of the finite dihedral groups. In two-dimensional geometry, the infinite dihedral group represents the frieze group symmetry, p1m1, seen as an infinite set of parallel reflections along an axis. Every dihedral group is generated by a rotation r and a reflection; if the rotation is a rational multiple of a full rotation, then there is some integer n such that rn is the identity, and we have a finite dihedral group of order 2n.
Discrete groupIn mathematics, a topological group G is called a discrete group if there is no limit point in it (i.e., for each element in G, there is a neighborhood which only contains that element). Equivalently, the group G is discrete if and only if its identity is isolated. A subgroup H of a topological group G is a discrete subgroup if H is discrete when endowed with the subspace topology from G. In other words there is a neighbourhood of the identity in G containing no other element of H.
Point groups in two dimensionsIn geometry, a two-dimensional point group or rosette group is a group of geometric symmetries (isometries) that keep at least one point fixed in a plane. Every such group is a subgroup of the orthogonal group O(2), including O(2) itself. Its elements are rotations and reflections, and every such group containing only rotations is a subgroup of the special orthogonal group SO(2), including SO(2) itself. That group is isomorphic to R/Z and the first unitary group, U(1), a group also known as the circle group.
