rectification (geometry)
   HOME

TheInfoList



OR:

In
Euclidean geometry Euclidean geometry is a mathematical system attributed to ancient Greek mathematics, Greek mathematician Euclid, which he described in his textbook on geometry: the ''Euclid's Elements, Elements''. Euclid's approach consists in assuming a small ...
, rectification, also known as critical truncation or complete-truncation, is the process of truncating a
polytope In elementary geometry, a polytope is a geometric object with flat sides (''faces''). Polytopes are the generalization of three-dimensional polyhedra to any number of dimensions. Polytopes may exist in any general number of dimensions as an -d ...
by marking the midpoints of all its
edges Edge or EDGE may refer to: Technology Computing * Edge computing, a network load-balancing system * Edge device, an entry point to a computer network * Adobe Edge, a graphical development application * Microsoft Edge, a web browser developed by ...
, and cutting off its vertices at those points. The resulting polytope will be bounded by
vertex figure In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a polyhedron or polytope is sliced off. Definitions Take some corner or Vertex (geometry), vertex of a polyhedron. Mark a point somewhere along each connect ...
facets and the rectified facets of the original polytope. A rectification operator is sometimes denoted by the letter with a
Schläfli symbol In geometry, the Schläfli symbol is a notation of the form \ that defines regular polytopes and tessellations. The Schläfli symbol is named after the 19th-century Swiss mathematician Ludwig Schläfli, who generalized Euclidean geometry to more ...
. For example, is the rectified
cube In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. Viewed from a corner it is a hexagon and its net is usually depicted as a cross. The cube is the only r ...
, also called a
cuboctahedron A cuboctahedron is a polyhedron with 8 triangular faces and 6 square faces. A cuboctahedron has 12 identical vertices, with 2 triangles and 2 squares meeting at each, and 24 identical edges, each separating a triangle from a square. As such, it ...
, and also represented as \begin 4 \\ 3 \end. And a rectified cuboctahedron is a
rhombicuboctahedron In geometry, the rhombicuboctahedron, or small rhombicuboctahedron, is a polyhedron with eight triangular, six square, and twelve rectangular faces. There are 24 identical vertices, with one triangle, one square, and two rectangles meeting at eac ...
, and also represented as r\begin 4 \\ 3 \end.
Conway polyhedron notation In geometry, Conway polyhedron notation, invented by John Horton Conway and promoted by George W. Hart, is used to describe polyhedra based on a seed polyhedron modified by various prefix operations. Conway and Hart extended the idea of using op ...
uses for ambo as this operator. In
graph theory In mathematics, graph theory is the study of ''graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conne ...
this operation creates a
medial graph In the mathematical discipline of graph theory, the medial graph of plane graph ''G'' is another graph ''M(G)'' that represents the adjacencies between edges in the faces of ''G''. Medial graphs were introduced in 1922 by Ernst Steinitz to study ...
. The rectification of any regular
self-dual In mathematics, a duality translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a Injective function, one-to-one fashion, often (but not always) by means of an Involution (mathematics), involutio ...
polyhedron or tiling will result in another regular polyhedron or tiling with a
tiling order Tiling may refer to: *The physical act of laying tiles *Tessellations Computing *The compiler optimization of loop tiling *Tiled rendering, the process of subdividing an image by regular grid *Tiling window manager People *Heinrich Sylvester The ...
of 4, for example the
tetrahedron In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the o ...
becoming an
octahedron In geometry, an octahedron (plural: octahedra, octahedrons) is a polyhedron with eight faces. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at ea ...
As a special case, a
square tiling In geometry, the square tiling, square tessellation or square grid is a regular tiling of the Euclidean plane. It has Schläfli symbol of meaning it has 4 squares around every vertex. Conway called it a quadrille. The internal angle of the s ...
will turn into another square tiling under a rectification operation.


Example of rectification as a final truncation to an edge

Rectification is the final point of a truncation process. For example, on a cube this sequence shows four steps of a continuum of truncations between the regular and rectified form:


Higher degree rectifications

Higher degree rectification can be performed on higher-dimensional regular polytopes. The highest degree of rectification creates the
dual polytope In geometry, every polyhedron is associated with a second dual structure, where the Vertex (geometry), vertices of one correspond to the Face (geometry), faces of the other, and the edges between pairs of vertices of one correspond to the edges b ...
. A rectification truncates edges to points. A birectification truncates faces to points. A trirectification truncates cells to points, and so on.


Example of birectification as a final truncation to a face

This sequence shows a ''birectified cube'' as the final sequence from a cube to the dual where the original faces are truncated down to a single point: :


In polygons

The dual of a polygon is the same as its rectified form. New vertices are placed at the center of the edges of the original polygon.


In polyhedra and plane tilings

Each
platonic solid In geometry, a Platonic solid is a convex, regular polyhedron in three-dimensional Euclidean space. Being a regular polyhedron means that the faces are congruent (identical in shape and size) regular polygons (all angles congruent and all edges c ...
and its
dual Dual or Duals may refer to: Paired/two things * Dual (mathematics), a notion of paired concepts that mirror one another ** Dual (category theory), a formalization of mathematical duality *** see more cases in :Duality theories * Dual (grammatical ...
have the same rectified polyhedron. (This is not true of polytopes in higher dimensions.) The rectified polyhedron turns out to be expressible as the intersection of the original platonic solid with an appropriated scaled concentric version of its dual. For this reason, its name is a combination of the names of the original and the dual: # The rectified
tetrahedron In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the o ...
, whose dual is the tetrahedron, is the ''tetratetrahedron'', better known as the
octahedron In geometry, an octahedron (plural: octahedra, octahedrons) is a polyhedron with eight faces. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at ea ...
. # The rectified
octahedron In geometry, an octahedron (plural: octahedra, octahedrons) is a polyhedron with eight faces. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at ea ...
, whose dual is the
cube In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. Viewed from a corner it is a hexagon and its net is usually depicted as a cross. The cube is the only r ...
, is the
cuboctahedron A cuboctahedron is a polyhedron with 8 triangular faces and 6 square faces. A cuboctahedron has 12 identical vertices, with 2 triangles and 2 squares meeting at each, and 24 identical edges, each separating a triangle from a square. As such, it ...
. # The rectified
icosahedron In geometry, an icosahedron ( or ) is a polyhedron with 20 faces. The name comes and . The plural can be either "icosahedra" () or "icosahedrons". There are infinitely many non- similar shapes of icosahedra, some of them being more symmetrica ...
, whose dual is the
dodecahedron In geometry, a dodecahedron (Greek , from ''dōdeka'' "twelve" + ''hédra'' "base", "seat" or "face") or duodecahedron is any polyhedron with twelve flat faces. The most familiar dodecahedron is the regular dodecahedron with regular pentagon ...
, is the
icosidodecahedron In geometry, an icosidodecahedron is a polyhedron with twenty (''icosi'') triangular faces and twelve (''dodeca'') pentagonal faces. An icosidodecahedron has 30 identical vertices, with two triangles and two pentagons meeting at each, and 60 id ...
. # A rectified
square tiling In geometry, the square tiling, square tessellation or square grid is a regular tiling of the Euclidean plane. It has Schläfli symbol of meaning it has 4 squares around every vertex. Conway called it a quadrille. The internal angle of the s ...
is a
square tiling In geometry, the square tiling, square tessellation or square grid is a regular tiling of the Euclidean plane. It has Schläfli symbol of meaning it has 4 squares around every vertex. Conway called it a quadrille. The internal angle of the s ...
. # A rectified
triangular tiling In geometry, the triangular tiling or triangular tessellation is one of the three regular tilings of the Euclidean plane, and is the only such tiling where the constituent shapes are not parallelogons. Because the internal angle of the equilater ...
or
hexagonal tiling In geometry, the hexagonal tiling or hexagonal tessellation is a regular tiling of the Euclidean plane, in which exactly three hexagons meet at each vertex. It has Schläfli symbol of or (as a truncated triangular tiling). English mathemat ...
is a
trihexagonal tiling In geometry, the trihexagonal tiling is one of 11 uniform tilings of the Euclidean plane by regular polygons. See in particular Theorem 2.1.3, p. 59 (classification of uniform tilings); Figure 2.1.5, p.63 (illustration of this tiling), Theorem 2. ...
. Examples


In nonregular polyhedra

If a polyhedron is not regular, the edge midpoints surrounding a vertex may not be coplanar. However, a form of rectification is still possible in this case: every polyhedron has a
polyhedral graph In geometric graph theory, a branch of mathematics, a polyhedral graph is the undirected graph formed from the vertices and edges of a convex polyhedron. Alternatively, in purely graph-theoretic terms, the polyhedral graphs are the 3-vertex-con ...
as its
1-skeleton In mathematics, particularly in algebraic topology, the of a topological space presented as a simplicial complex (resp. CW complex) refers to the subspace that is the union of the simplices of (resp. cells of ) of dimensions In other word ...
, and from that graph one may form the
medial graph In the mathematical discipline of graph theory, the medial graph of plane graph ''G'' is another graph ''M(G)'' that represents the adjacencies between edges in the faces of ''G''. Medial graphs were introduced in 1922 by Ernst Steinitz to study ...
by placing a vertex at each edge midpoint of the original graph, and connecting two of these new vertices by an edge whenever they belong to consecutive edges along a common face. The resulting medial graph remains polyhedral, so by
Steinitz's theorem In polyhedral combinatorics, a branch of mathematics, Steinitz's theorem is a characterization of the undirected graphs formed by the edges and vertices of three-dimensional convex polyhedra: they are exactly the 3-vertex-connected planar grap ...
it can be represented as a polyhedron. The
Conway polyhedron notation In geometry, Conway polyhedron notation, invented by John Horton Conway and promoted by George W. Hart, is used to describe polyhedra based on a seed polyhedron modified by various prefix operations. Conway and Hart extended the idea of using op ...
equivalent to rectification is ambo, represented by a. Applying twice aa, (rectifying a rectification) is Conway's expand operation, e, which is the same as Johnson's
cantellation In geometry, a cantellation is a 2nd-order truncation in any dimension that bevels a regular polytope at its edges and at its vertices, creating a new facet in place of each edge and of each vertex. Cantellation also applies to regular tiling ...
operation, t0,2 generated from regular polyhedral and tilings.


In 4-polytopes and 3D honeycomb tessellations

Each
Convex regular 4-polytope In mathematics, a regular 4-polytope is a regular four-dimensional polytope. They are the four-dimensional analogues of the regular polyhedra in three dimensions and the regular polygons in two dimensions. There are six convex and ten star regu ...
has a rectified form as a
uniform 4-polytope In geometry, a uniform 4-polytope (or uniform polychoron) is a 4-dimensional polytope which is vertex-transitive and whose cells are uniform polyhedra, and faces are regular polygons. There are 47 non-prismatic convex uniform 4-polytopes. There ...
. A regular 4-polytope has cells . Its rectification will have two cell types, a rectified polyhedron left from the original cells and polyhedron as new cells formed by each truncated vertex. A rectified is not the same as a rectified , however. A further truncation, called
bitruncation In geometry, a bitruncation is an operation on regular polytopes. It represents a truncation beyond rectification. The original edges are lost completely and the original faces remain as smaller copies of themselves. Bitruncated regular polyto ...
, is symmetric between a 4-polytope and its dual. See Uniform 4-polytope#Geometric derivations. Examples


Degrees of rectification

A first rectification truncates edges down to points. If a polytope is regular, this form is represented by an extended
Schläfli symbol In geometry, the Schläfli symbol is a notation of the form \ that defines regular polytopes and tessellations. The Schläfli symbol is named after the 19th-century Swiss mathematician Ludwig Schläfli, who generalized Euclidean geometry to more ...
notation t1 or r. A second rectification, or birectification, truncates
faces The face is the front of an animal's head that features the eyes, nose and mouth, and through which animals express many of their emotions. The face is crucial for human identity, and damage such as scarring or developmental deformities may affe ...
down to points. If regular it has notation t2 or 2r. For
polyhedra In geometry, a polyhedron (plural polyhedra or polyhedrons; ) is a three-dimensional shape with flat polygonal faces, straight edges and sharp corners or vertices. A convex polyhedron is the convex hull of finitely many points, not all on t ...
, a birectification creates a
dual polyhedron In geometry, every polyhedron is associated with a second dual structure, where the vertices of one correspond to the faces of the other, and the edges between pairs of vertices of one correspond to the edges between pairs of faces of the other. ...
. Higher degree rectifications can be constructed for higher dimensional polytopes. In general an n-rectification truncates ''n-faces'' to points. If an n-polytope is (n-1)-rectified, its
facets A facet is a flat surface of a geometric shape, e.g., of a cut gemstone. Facet may also refer to: Arts, entertainment, and media * ''Facets'' (album), an album by Jim Croce * ''Facets'', a 1980 album by jazz pianist Monty Alexander and his tri ...
are reduced to points and the polytope becomes its
dual Dual or Duals may refer to: Paired/two things * Dual (mathematics), a notion of paired concepts that mirror one another ** Dual (category theory), a formalization of mathematical duality *** see more cases in :Duality theories * Dual (grammatical ...
.


Notations and facets

There are different equivalent notations for each degree of rectification. These tables show the names by dimension and the two type of
facet Facets () are flat faces on geometric shapes. The organization of naturally occurring facets was key to early developments in crystallography, since they reflect the underlying symmetry of the crystal structure. Gemstones commonly have facets cut ...
s for each.


Regular

polygon In geometry, a polygon () is a plane figure that is described by a finite number of straight line segments connected to form a closed ''polygonal chain'' (or ''polygonal circuit''). The bounded plane region, the bounding circuit, or the two toge ...
s

Facet Facets () are flat faces on geometric shapes. The organization of naturally occurring facets was key to early developments in crystallography, since they reflect the underlying symmetry of the crystal structure. Gemstones commonly have facets cut ...
s are edges, represented as .


Regular

polyhedra In geometry, a polyhedron (plural polyhedra or polyhedrons; ) is a three-dimensional shape with flat polygonal faces, straight edges and sharp corners or vertices. A convex polyhedron is the convex hull of finitely many points, not all on t ...
and
tiling Tiling may refer to: *The physical act of laying tiles *Tessellations Computing *The compiler optimization of loop tiling *Tiled rendering, the process of subdividing an image by regular grid *Tiling window manager People *Heinrich Sylvester The ...
s

Facet Facets () are flat faces on geometric shapes. The organization of naturally occurring facets was key to early developments in crystallography, since they reflect the underlying symmetry of the crystal structure. Gemstones commonly have facets cut ...
s are regular polygons.


Regular

Uniform 4-polytope In geometry, a uniform 4-polytope (or uniform polychoron) is a 4-dimensional polytope which is vertex-transitive and whose cells are uniform polyhedra, and faces are regular polygons. There are 47 non-prismatic convex uniform 4-polytopes. There ...
s and
honeycomb A honeycomb is a mass of Triangular prismatic honeycomb#Hexagonal prismatic honeycomb, hexagonal prismatic Beeswax, wax cells built by honey bees in their beehive, nests to contain their larvae and stores of honey and pollen. beekeeping, Beekee ...
s

Facet Facets () are flat faces on geometric shapes. The organization of naturally occurring facets was key to early developments in crystallography, since they reflect the underlying symmetry of the crystal structure. Gemstones commonly have facets cut ...
s are regular or rectified polyhedra.


Regular

5-polytope In geometry, a five-dimensional polytope (or 5-polytope) is a polytope in five-dimensional space, bounded by (4-polytope) facets, pairs of which share a polyhedral cell. Definition A 5-polytope is a closed five-dimensional figure with vertices ...
s and 4-space honeycombs

Facet Facets () are flat faces on geometric shapes. The organization of naturally occurring facets was key to early developments in crystallography, since they reflect the underlying symmetry of the crystal structure. Gemstones commonly have facets cut ...
s are regular or rectified 4-polytopes.


See also

*
Dual polytope In geometry, every polyhedron is associated with a second dual structure, where the Vertex (geometry), vertices of one correspond to the Face (geometry), faces of the other, and the edges between pairs of vertices of one correspond to the edges b ...
*
Quasiregular polyhedron In geometry, a quasiregular polyhedron is a uniform polyhedron that has exactly two kinds of regular faces, which alternate around each vertex. They are vertex-transitive and edge-transitive, hence a step closer to regular polyhedra than the sem ...
*
List of regular polytopes This article lists the regular polytopes and regular polytope compounds in Euclidean geometry, Euclidean, spherical geometry, spherical and hyperbolic geometry, hyperbolic spaces. The Schläfli symbol describes every regular tessellation of an ' ...
*
Truncation (geometry) In geometry, a truncation is an operation in any dimension that cuts polytope vertices, creating a new Facet (geometry), facet in place of each vertex. The term originates from Kepler's names for the Archimedean solids. Uniform truncation In ge ...
*
Conway polyhedron notation In geometry, Conway polyhedron notation, invented by John Horton Conway and promoted by George W. Hart, is used to describe polyhedra based on a seed polyhedron modified by various prefix operations. Conway and Hart extended the idea of using op ...


References

* Coxeter, H.S.M. ''
Regular Polytopes In mathematics, a regular polytope is a polytope whose symmetry group acts transitively on its flags, thus giving it the highest degree of symmetry. All its elements or -faces (for all , where is the dimension of the polytope) — cells, f ...
'', (3rd edition, 1973), Dover edition, (pp. 145–154 Chapter 8: Truncation) * Norman Johnson ''Uniform Polytopes'', Manuscript (1991) ** N.W. Johnson: ''The Theory of Uniform Polytopes and Honeycombs'', Ph.D. Dissertation, University of Toronto, 1966 *
John H. Conway John Horton Conway (26 December 1937 – 11 April 2020) was an English people, English mathematician active in the theory of finite groups, knot theory, number theory, combinatorial game theory and coding theory. He also made contributions to ...
, Heidi Burgiel, Chaim Goodman-Strauss, ''The Symmetries of Things'' 2008, (Chapter 26)


External links

* {{Polyhedron_operators Polytopes