four-dimensional Four-dimensional space (4D) is the mathematical extension of the concept of three-dimensional space (3D). Three-dimensional space is the simplest possible abstraction of the observation that one needs only three numbers, called ''dimensions'' ...

geometry Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician w ...

, the rectified

5-cell In geometry, the 5-cell is the convex 4-polytope with Schläfli symbol . It is a 5-vertex four-dimensional space, four-dimensional object bounded by five tetrahedral cells. It is also known as a C5, hypertetrahedron, pentachoron, pentatope, pe ...

is 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 polyhedron, uniform polyhedra, and faces are regular polygons. There are 47 non-Prism (geometry), prism ...

composed of 5 regular tetrahedral and 5 regular octahedral

cells Cell most often refers to: * Cell (biology), the functional basic unit of life * Cellphone, a phone connected to a cellular network * Clandestine cell, a penetration-resistant form of a secret or outlawed organization * Electrochemical cell, a d ...

. Each edge has one tetrahedron and two octahedra. Each vertex has two tetrahedra and three octahedra. In total it has 30 triangle faces, 30 edges, and 10 vertices. Each vertex is surrounded by 3 octahedra and 2 tetrahedra; the

vertex figure In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a general -polytope is sliced off. Definitions Take some corner or Vertex (geometry), vertex of a polyhedron. Mark a point somewhere along each connected ed ...

is a

triangular prism In geometry, a triangular prism or trigonal prism is a Prism (geometry), prism with 2 triangular bases. If the edges pair with each triangle's vertex and if they are perpendicular to the base, it is a ''right triangular prism''. A right triangul ...

. Topologically, under its highest symmetry, ,3,3 there is only one geometrical form, containing 5 regular tetrahedra and 5 rectified tetrahedra (which is geometrically the same as a regular octahedron). It is also topologically identical to a tetrahedron-octahedron segmentochoron. The

of the ''rectified 5-cell'' is a uniform

, formed by three

octahedra In geometry, an octahedron (: octahedra or octahedrons) is any polyhedron with eight faces. One special case is the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at each vertex. Many types of i ...

around the sides, and two

tetrahedra In geometry, a tetrahedron (: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular Face (geometry), faces, six straight Edge (geometry), edges, and four vertex (geometry), vertices. The tet ...

on the opposite ends. Despite having the same number of vertices as cells (10) and the same number of edges as faces (30), the rectified 5-cell is not self-dual because the vertex figure (a uniform triangular prism) is not a dual of the polychoron's cells.

Wythoff construction

Seen in a configuration matrix, all incidence counts between elements are shown. The diagonal

f-vector Polyhedral combinatorics is a branch of mathematics, within combinatorics and discrete geometry, that studies the problems of counting and describing the faces of convex polyhedra and higher-dimensional convex polytopes. Research in polyhedral com ...

numbers are derived through the

Wythoff construction In geometry, a Wythoff construction, named after mathematician Willem Abraham Wythoff, is a method for constructing a uniform polyhedron or plane tiling. It is often referred to as Wythoff's kaleidoscopic construction. Construction process ...

, dividing the full group order of a subgroup order by removing one mirror at a time.

Structure

Together with the simplex and

24-cell In four-dimensional space, four-dimensional geometry, the 24-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol . It is also called C24, or the icositetrachoron, octaplex (short for "octa ...

, this shape 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 number, a nu ...

(a polytope with ten vertices and ten

triangular bipyramid A triangular bipyramid is a hexahedron with six triangular faces constructed by attaching two tetrahedra face-to-face. The same shape is also known as a triangular dipyramid or trigonal bipyramid. If these tetrahedra are regular, all faces of a t ...

facets) was one of the first 2-simple 2-simplicial 4-polytopes known. This means that all of its two-dimensional faces, and all of the two-dimensional faces of its dual, are triangles. In 1997, Tom Braden found another dual pair of examples, by gluing two rectified 5-cells together; since then, infinitely many 2-simple 2-simplicial polytopes have been constructed.

Semiregular polytope

It is one of three

semiregular 4-polytopes In geometry, by Thorold Gosset's definition a semiregular polytope is usually taken to be a polytope that is isogonal figure, vertex-transitive and has all its facet (geometry), facets being regular polytopes. E.L. Elte compiled a Emanuel_Lodewij ...

made of two or more cells which are

Platonic solid In geometry, a Platonic solid is a Convex polytope, convex, regular polyhedron in three-dimensional space, three-dimensional Euclidean space. Being a regular polyhedron means that the face (geometry), faces are congruence (geometry), congruent (id ...

s, discovered by

Thorold Gosset John Herbert de Paz Thorold Gosset (16 October 1869 – December 1962) was an English lawyer and an amateur mathematician. In mathematics, he is noted for discovering and classifying the semiregular polytopes in dimensions four and higher, a ...

in his 1900 paper. He called it a ''tetroctahedric'' for being made of

tetrahedron In geometry, a tetrahedron (: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular Face (geometry), faces, six straight Edge (geometry), edges, and four vertex (geometry), vertices. The tet ...

and

octahedron In geometry, an octahedron (: octahedra or octahedrons) is any polyhedron with eight faces. One special case is the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at each vertex. Many types of i ...

cells.Gosset, 1900

E. L. Elte Emanuel Lodewijk Elte (16 March 1881 in Amsterdam – 9 April 1943 in Sobibór) Emanuël Lodewijk Elte
...

identified it in 1912 as a semiregular polytope, labeling it as tC₅.

Alternate names

* Tetroctahedric (Thorold Gosset) * Dispentachoron * Rectified 5-cell ( Norman W. Johnson) * Rectified 4-simplex * Fully truncated 4-simplex * Rectified pentachoron (Acronym: rap) (Jonathan Bowers) * Ambopentachoron (Neil Sloane &

John Horton Conway John Horton Conway (26 December 1937 – 11 April 2020) was an English mathematician. He was active in the theory of finite groups, knot theory, number theory, combinatorial game theory and coding theory. He also made contributions to many b ...

) * (5,2)-

hypersimplex In polyhedral combinatorics, the hypersimplex \Delta_ is a convex polytope that generalizes the simplex. It is determined by two integers d and k, and is defined as the convex hull of the d-dimensional vector (mathematics), vectors whose coefficien ...

(the convex hull of five-dimensional (0,1)-vectors with exactly two ones)

Images

Coordinates

The

Cartesian coordinate In geometry, a Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of real numbers called ''coordinates'', which are the signed distances to the point from two fixed perpendicular o ...

s of the vertices of an origin-centered rectified 5-cell having edge length 2 are: More simply, the vertices of the ''rectified 5-cell'' can be positioned on a

hyperplane In geometry, a hyperplane is a generalization of a two-dimensional plane in three-dimensional space to mathematical spaces of arbitrary dimension. Like a plane in space, a hyperplane is a flat hypersurface, a subspace whose dimension is ...

in 5-space as permutations of (0,0,0,1,1) ''or'' (0,0,1,1,1). These construction can be seen as positive

orthant In geometry, an orthant or hyperoctant is the analogue in ''n''-dimensional Euclidean space of a quadrant in the plane or an octant in three dimensions. In general an orthant in ''n''-dimensions can be considered the intersection of ''n'' mutu ...

facets of the rectified pentacross or birectified penteract respectively.

Related 4-polytopes

The rectified 5-cell is the

of the

5-demicube In Five-dimensional space, five-dimensional geometry, a demipenteract or 5-demicube is a semiregular 5-polytope, constructed from a ''5-hypercube'' (penteract) with Alternation (geometry), alternated vertices removed. It was discovered by Thorold ...

, and the

edge figure In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a general -polytope is sliced off. Definitions Take some corner or vertex of a polyhedron. Mark a point somewhere along each connected edge. Draw lines acr ...

of the uniform 2₂₁ polytope.

Compound of the rectified 5-cell and its dual

The convex hull the rectified 5-cell and its dual (of the same long radius) is a nonuniform polychoron composed of 30 cells: 10

, 20

(as triangular antiprisms), and 20 vertices. Its vertex figure is a

triangular bifrustum In geometry, the triangular bifrustum is the second in an infinite series of bifrustum polyhedra. It has 6 trapezoid and 2 triangle faces. It may also be called the truncated triangular bipyramid; however, that term is ambiguous, as it may also r ...

Pentachoron polytopes

The rectified 5-cell is one of 9

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 polyhedron, uniform polyhedra, and faces are regular polygons. There are 47 non-Prism (geometry), prism ...

s constructed from the ,3,3

Coxeter group In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...

Semiregular polytopes

The rectified 5-cell is second in a dimensional series of

semiregular polytope In geometry, by Thorold Gosset's definition a semiregular polytope is usually taken to be a polytope that is vertex-transitive and has all its facets being regular polytopes. E.L. Elte compiled a longer list in 1912 as ''The Semiregular Polyto ...

s. Each progressive

uniform polytope In geometry, a uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform Facet (mathematics), facets. Here, "vertex-transitive" means that it has symmetries taking every vertex to every other vertex; the sam ...

is constructed as the

of the previous polytope.

identified this series in 1900 as containing all

regular polytope In mathematics, a regular polytope is a polytope whose symmetry group acts transitive group action, transitively on its flag (geometry), flags, thus giving it the highest degree of symmetry. In particular, all its elements or -faces (for all , w ...

facets, containing all

simplex In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. ...

es and

orthoplex In geometry, a cross-polytope, hyperoctahedron, orthoplex, staurotope, or cocube is a regular polytope, regular, convex polytope that exists in ''n''-dimensions, dimensional Euclidean space. A 2-dimensional cross-polytope is a square, a 3-dimensi ...

es (

s and

s in the case of the rectified 5-cell). The

Coxeter symbol Harold Scott MacDonald "Donald" Coxeter (9 February 1907 – 31 March 2003) was a British-Canadian geometer and mathematician. He is regarded as one of the greatest geometers of the 20th century. Coxeter was born in England and educated ...

for the rectified 5-cell is 0₂₁.

Isotopic polytopes

Notes

References

* T. Gosset: ''On the Regular and Semi-Regular Figures in Space of n Dimensions'',

Messenger of Mathematics The ''Messenger of Mathematics'' is a defunct British mathematics journal. The founding editor-in-chief was William Allen Whitworth with Charles Taylor and volumes 1–58 were published between 1872 and 1929. James Whitbread Lee Glaisher was t ...

, Macmillan, 1900 *

J.H. Conway John Horton Conway (26 December 1937 – 11 April 2020) was an English mathematician. He was active in the theory of finite groups, knot theory, number theory, combinatorial game theory and coding theory. He also made contributions to many br ...

and M.J.T. Guy: ''Four-Dimensional Archimedean Polytopes'', Proceedings of the Colloquium on Convexity at Copenhagen, page 38 and 39, 1965 *

H.S.M. Coxeter Harold Scott MacDonald "Donald" Coxeter (9 February 1907 – 31 March 2003) was a British-Canadian geometer and mathematician. He is regarded as one of the greatest geometers of the 20th century. Coxeter was born in England and educated ...

: ** H.S.M. Coxeter, ''Regular Polytopes'', 3rd Edition, Dover New York, 1973 ** Kaleidoscopes: Selected Writings of H.S.M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995,

*** (Paper 22) H.S.M. Coxeter, ''Regular and Semi Regular Polytopes I'', ath. Zeit. 46 (1940) 380–407, MR 2,10*** (Paper 23) H.S.M. Coxeter, ''Regular and Semi-Regular Polytopes II'', ath. Zeit. 188 (1985) 559-591*** (Paper 24) H.S.M. Coxeter, ''Regular and Semi-Regular Polytopes III'', ath. Zeit. 200 (1988) 3-45* Norman Johnson ''Uniform Polytopes'', Manuscript (1991) ** N.W. Johnson: ''The Theory of Uniform Polytopes and Honeycombs'', Ph.D. (1966) * John H. Conway, Heidi Burgiel,

Chaim Goodman-Strauss Chaim Goodman-Strauss (born June 22, 1967 in Austin, Texas) is an American mathematician who works in convex geometry, especially aperiodic tiling. He retired from the faculty of the University of Arkansas and currently serves as outreach mathem ...

, ''The Symmetries of Things'' 2008, (Chapter 26)

External links

Rectified 5-cell
- data and images ** * {{Polytopes Uniform 4-polytopes