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
. 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
.
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, t
0,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 t
1 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 t
2 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