Wallpaper groupA wallpaper is a mathematical object covering a whole Euclidean plane by repeating a motif indefinitely, in manner that certain isometries keep the drawing unchanged. To a given wallpaper there corresponds a group of such congruent transformations, with function composition as the group operation. Thus, a wallpaper group (or plane symmetry group or plane crystallographic group) is in a mathematical classification of a two‐dimensional repetitive pattern, based on the symmetries in the pattern.
Covering spaceA covering of a topological space is a continuous map with special properties. Let be a topological space. A covering of is a continuous map such that there exists a discrete space and for every an open neighborhood , such that and is a homeomorphism for every . Often, the notion of a covering is used for the covering space as well as for the map . The open sets are called sheets, which are uniquely determined up to a homeomorphism if is connected. For each the discrete subset is called the fiber of .
Upper half-planeIn mathematics, the upper half-plane, is the set of points in the Cartesian plane with The lower half-plane is defined similarly, by requiring that be negative instead. Each is an example of two-dimensional half-space. The affine transformations of the upper half-plane include shifts , , and dilations , . Proposition: Let and be semicircles in the upper half-plane with centers on the boundary. Then there is an affine mapping that takes to . Proof: First shift the center of to . Then take and dilate.
One-dimensional symmetry groupA one-dimensional symmetry group is a mathematical group that describes symmetries in one dimension (1D). A pattern in 1D can be represented as a function f(x) for, say, the color at position x. The only nontrivial point group in 1D is a simple reflection. It can be represented by the simplest Coxeter group, A1, [ ], or Coxeter-Dynkin diagram . Affine symmetry groups represent translation. Isometries which leave the function unchanged are translations x + a with a such that f(x + a) = f(x) and reflections a − x with a such that f(a − x) = f(x).
