To use all functions of this page, please activate cookies in your browser.
my.chemeurope.com
With an accout for my.chemeurope.com you can always see everything at a glance – and you can configure your own website and individual newsletter.
- My watch list
- My saved searches
- My saved topics
- My newsletter
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 classification of Euclidean plane isometries). The set of Euclidean plane isometries forms a group under composition, which is the two-dimensional case of the Euclidean group. Additional recommended knowledge
Informal discussionInformally, a Euclidean plane isometry is any way of transforming the plane without "deforming" it. For example, suppose that the Euclidean plane is represented by a sheet of transparent plastic sitting on a desk. Examples of isometries include:
These are examples of translations, rotations, and reflections respectively. There is one further type of isometry, called a glide reflection (see below under classification of Euclidean plane isometries). However, folding, cutting, or melting the sheet are not considered isometries. Neither are less drastic alterations like bending, stretching, or twisting. Formal definitionAn isometry of the Euclidean plane is a distance-preserving transformation of the plane. That is, it is a map such that for any points p and q in the plane, where d(p, q) is the usual Euclidean distance between p and q. Classification of Euclidean plane isometriesIt can be shown that there are four types of Euclidean plane isometries (five if we include the identity). (Note: the notations for the types of isometries listed below are not completely standardised.)
The combination of rotations about the origin and reflections about a line through the origin is obtained with all orthogonal matrices (i.e. with determinant 1 and -1) forming orthogonal group O(2). In the case of a determinant of -1 we have: which is a reflection in the x-axis followed by a rotation by an angle θ, or equivalently, a reflection in a line making an angle of θ/2 with the x-axis. Reflection in a parallel line corresponds to adding a vector perpendicular to it.
The identity isometry, defined by I(p) = p for all points p, can be considered a fifth kind. Thus there are five mutually exclusive categories. Alternatively, we can consider the identity a special case of a translation, and also a special case of a rotation. Similarly we can consider every reflection to be a special case of a glide reflection. In that case we have only three categories: rotations, translations, and glide reflections, which are mutually exclusive except for the identity. In all cases we multiply the position vector by an orthogonal matrix and add a vector; if the determinant is 1 we have a rotation, a translation, or the identity, and if it is -1 we have a glide reflection or a reflection. A "random" isometry, like taking a sheet of paper from a table and randomly laying it back, "almost surely" is a rotation or a glide reflection (they have three degrees of freedom). This applies regardless of the details of the probability distribution, as long as θ and the direction of the added vector are independent and uniformly distributed and the length of the added vector has a continuous distribution. A pure translation and a pure reflection are special cases with only two degrees of freedom, while the identity is even more special, with no degrees of freedom. Isometries as reflection groupReflections, or mirror isometries, can be combined to produce any isometry. Thus isometries are an example of a reflection group. Mirror combinationsIn the Euclidean plane, we have the following possibilities.
Three mirrors sufficeAdding more mirrors does not add more possibilities (in the plane), because they can always be rearranged to cause cancellation.
RecognitionWe can recognize which of these isometries we have according to whether it preserves hands or swaps them, and whether it has at least one fixed point or not, as shown in the following table (omitting the identity).
Group structureIsometries requiring an odd number of mirrors — reflection and glide reflection — always reverse left and right. The even isometries — identity, rotation, and translation — never do; they correspond to rigid motions, and form a normal subgroup of the full Euclidean group of isometries. Neither the full group nor the even subgroup are abelian; for example, reversing the order of composition of two parallel mirrors reverses the direction of the translation they produce.
Since the even subgroup is normal, it is the kernel of a homomorphism to a quotient group, where the quotient is isomorphic to a group consisting of a reflection and the identity. However the full group is not a direct product, but only a semidirect product, of the even subgroup and the quotient group. CompositionComposition of isometries mixes kinds in assorted ways. We can think of the identity as either two mirrors or none; either way, it has no effect in composition. And two reflections give either a translation or a rotation, or the identity (which is both, in a trivial way). Reflection composed with either of these could cancel down to a single reflection; otherwise it gives the only available three-mirror isometry, a glide reflection. A pair of translations always reduces to a single translation; so the challenging cases involve rotations. We know a rotation composed with either a rotation or a translation must produce an even isometry. Composition with translation produces another rotation (by the same amount, with shifted fixed point), but composition with rotation can yield either translation or rotation. It is often said that composition of two rotations produces a rotation, and Euler proved a theorem to that effect in 3D; however, this is only true for rotations sharing a fixed point. Translation, rotation, and orthogonal subgroupsWe thus have two new kinds of isometry subgroups: all translations, and rotations sharing a fixed point. Both are subgroups of the even subgroup, within which translations are normal. Because translations are a normal subgroup, we can factor them out leaving the subgroup of isometries with a fixed point, the orthogonal group.
Nested group constructionThe subgroup structure suggests another way to compose an arbitrary isometry:
This works because translations are a normal subgroup of the full group of isometries, with quotient the orthogonal group; and rotations about a fixed point are a normal subgroup of the orthogonal group, with quotient a single reflection. Discrete subgroupsThe subgroups discussed so far are not only infinite, they are also continuous (Lie groups). Any subgroup containing at least one non-zero translation must be infinite, but subgroups of the orthogonal group can be finite. For example, the symmetries of a regular pentagon consist of rotations by integer multiples of 72° (360° / 5), along with reflections in the five mirrors which perpendicularly bisect the edges. This is a group, D5, with 10 elements. It has a subgroup, C5, of half the size, omitting the reflections. These two groups are members of two families, Dn and Cn, for any n > 1. Together, these families constitute the rosette groups. Translations do not fold back on themselves, but we can take integer multiples of any finite translation, or sums of multiples of two such independent translations, as a subgroup. These generate the lattice of a periodic tiling of the plane. We can also combine these two kinds of discrete groups — the discrete rotations and reflections around a fixed point and the discrete translations — to generate the frieze groups and wallpaper groups. Curiously, only a few of the fixed-point groups are found to be compatible with discrete translations. In fact, lattice compatibility imposes such a severe restriction that, up to isomorphism, we have only 7 distinct frieze groups and 17 distinct wallpaper groups. For example, the pentagon symmetries, D5, are incompatible with a discrete lattice of translations. (Each higher dimension also has only a finite number of such crystallographic groups, but the number grows rapidly; for example, 3D has 320 groups and 4D has 4783.) Isometries in the complex planeIn terms of complex numbers, the isometries of the plane are addition of a complex constant (translation), multiplication by a complex constant with modulus 1 (rotation), complex conjugation (reflection in the real axis), and combinations. See also
|
||||||||||||||||
This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Euclidean_plane_isometry". A list of authors is available in Wikipedia. |