5-polytope

Last updated
Graphs of three regular and three uniform 5-polytopes.
5-simplex t0.svg
5-simplex (hexateron)
5-cube t4.svg
5-orthoplex, 211
(Pentacross)
5-cube t0.svg
5-cube
(Penteract)
5-simplex t04 A4.svg
Expanded 5-simplex
5-cube t3.svg
Rectified 5-orthoplex
5-demicube t0 D5.svg
5-demicube. 121
(Demipenteract)

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.

Contents

Definition

A 5-polytope is a closed five-dimensional figure with vertices, edges, faces, and cells, and 4-faces. A vertex is a point where five or more edges meet. An edge is a line segment where four or more faces meet, and a face is a polygon where three or more cells meet. A cell is a polyhedron, and a 4-face is a 4-polytope. Furthermore, the following requirements must be met:

  1. Each cell must join exactly two 4-faces.
  2. Adjacent 4-faces are not in the same four-dimensional hyperplane.
  3. The figure is not a compound of other figures which meet the requirements.

Characteristics

The topology of any given 5-polytope is defined by its Betti numbers and torsion coefficients. [1]

The value of the Euler characteristic used to characterise polyhedra does not generalize usefully to higher dimensions, whatever their underlying topology. This inadequacy of the Euler characteristic to reliably distinguish between different topologies in higher dimensions led to the discovery of the more sophisticated Betti numbers. [1]

Similarly, the notion of orientability of a polyhedron is insufficient to characterise the surface twistings of toroidal polytopes, and this led to the use of torsion coefficients. [1]

Classification

5-polytopes may be classified based on properties like "convexity" and "symmetry".

Regular 5-polytopes

Regular 5-polytopes can be represented by the Schläfli symbol {p,q,r,s}, with s {p,q,r} polychoral facets around each face.

There are exactly three such convex regular 5-polytopes:

  1. {3,3,3,3} - 5-simplex
  2. {4,3,3,3} - 5-cube
  3. {3,3,3,4} - 5-orthoplex

For the 3 convex regular 5-polytopes and three semiregular 5-polytope, their elements are:

Name Schläfli
symbol
(s)
Coxeter
diagram
(s)
Vertices Edges Faces Cells 4-faces Symmetry (order)
5-simplex {3,3,3,3}CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png61520156A5, (120)
5-cube {4,3,3,3}CDel node 1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png3280804010BC5, (3820)
5-orthoplex {3,3,3,4}
{3,3,31,1}
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png
1040808032 BC5, (3840)
2×D5

Uniform 5-polytopes

For three of the semiregular 5-polytope, their elements are:

Name Schläfli
symbol
(s)
Coxeter
diagram
(s)
Vertices Edges Faces Cells 4-faces Symmetry (order)
Expanded 5-simplex t0,4{3,3,3,3}CDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node 1.png301202101801622×A5, (240)
5-demicube {3,32,1}
h{4,3,3,3}
CDel nodes 10ru.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
CDel node h.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png
168016012026D5, (1920)
½BC5
Rectified 5-orthoplex t1{3,3,3,4}
t1{3,3,31,1}
CDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png
CDel node.pngCDel 3.pngCDel node 1.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png
4024040024042BC5, (3840)
2×D5

The expanded 5-simplex is the vertex figure of the uniform 5-simplex honeycomb, CDel node 1.pngCDel split1.pngCDel nodes.pngCDel 3ab.pngCDel nodes.pngCDel split2.pngCDel node.png. The 5-demicube honeycomb, CDel nodes 10ru.pngCDel split2.pngCDel node.pngCDel 3.pngCDel node.pngCDel split1.pngCDel nodes.png, vertex figure is a rectified 5-orthoplex and facets are the 5-orthoplex and 5-demicube.

Pyramids

Pyramidal 5-polytopes, or 5-pyramids, can be generated by a 4-polytope base in a 4-space hyperplane connected to a point off the hyperplane. The 5-simplex is the simplest example with a 4-simplex base.

See also

Related Research Articles

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 n as an n-dimensional polytope or n-polytope. For example, a two-dimensional polygon is a 2-polytope and a three-dimensional polyhedron is a 3-polytope. In this context, "flat sides" means that the sides of a (k + 1)-polytope consist of k-polytopes that may have (k – 1)-polytopes in common.

<span class="mw-page-title-main">4-polytope</span> Four-dimensional geometric object with flat sides

In geometry, a 4-polytope is a four-dimensional polytope. It is a connected and closed figure, composed of lower-dimensional polytopal elements: vertices, edges, faces (polygons), and cells (polyhedra). Each face is shared by exactly two cells. The 4-polytopes were discovered by the Swiss mathematician Ludwig Schläfli before 1853.

<span class="mw-page-title-main">Schläfli symbol</span> Notation that defines regular polytopes and tessellations

In geometry, the Schläfli symbol is a notation of the form that defines regular polytopes and tessellations.

<span class="mw-page-title-main">Regular polytope</span> Polytope with highest degree of symmetry

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 j-faces — cells, faces and so on — are also transitive on the symmetries of the polytope, and are regular polytopes of dimension n.

<span class="mw-page-title-main">Vertex figure</span> Shape made by slicing off a corner of a polytope

In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a polyhedron or polytope is sliced off.

<span class="mw-page-title-main">Runcinated 5-cell</span>

In four-dimensional geometry, a runcinated 5-cell is a convex uniform 4-polytope, being a runcination of the regular 5-cell.

<span class="mw-page-title-main">Uniform 8-polytope</span>

In eight-dimensional geometry, an eight-dimensional polytope or 8-polytope is a polytope contained by 7-polytope facets. Each 6-polytope ridge being shared by exactly two 7-polytope facets.

<span class="mw-page-title-main">Uniform 7-polytope</span>

In seven-dimensional geometry, a 7-polytope is a polytope contained by 6-polytope facets. Each 5-polytope ridge being shared by exactly two 6-polytope facets.

<span class="mw-page-title-main">Uniform 9-polytope</span>

In nine-dimensional geometry, a nine-dimensional polytope or 9-polytope is a polytope contained by 8-polytope facets. Each 7-polytope ridge being shared by exactly two 8-polytope facets.

<span class="mw-page-title-main">Uniform 6-polytope</span>

In six-dimensional geometry, a uniform 6-polytope is a six-dimensional uniform polytope. A uniform polypeton is vertex-transitive, and all facets are uniform 5-polytopes.

<span class="mw-page-title-main">Uniform polytope</span> Isogonal polytope with uniform facets

In geometry, a uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform facets. The uniform polytopes in two dimensions are the regular polygons.

In geometry, a uniform k21 polytope is a polytope in k + 4 dimensions constructed from the En Coxeter group, and having only regular polytope facets. The family was named by their Coxeter symbol k21 by its bifurcating Coxeter–Dynkin diagram, with a single ring on the end of the k-node sequence.

<span class="mw-page-title-main">Uniform 5-polytope</span> Five-dimensional geometric shape

In geometry, a uniform 5-polytope is a five-dimensional uniform polytope. By definition, a uniform 5-polytope is vertex-transitive and constructed from uniform 4-polytope facets.

<span class="mw-page-title-main">Uniform 10-polytope</span>

In ten-dimensional geometry, a 10-polytope is a 10-dimensional polytope whose boundary consists of 9-polytope facets, exactly two such facets meeting at each 8-polytope ridge.

<span class="mw-page-title-main">Rectified 5-simplexes</span>

In five-dimensional geometry, a rectified 5-simplex is a convex uniform 5-polytope, being a rectification of the regular 5-simplex.

1<sub> 22</sub> polytope

In 6-dimensional geometry, the 122 polytope is a uniform polytope, constructed from the E6 group. It was first published in E. L. Elte's 1912 listing of semiregular polytopes, named as V72 (for its 72 vertices).

<span class="mw-page-title-main">Rectified 5-orthoplexes</span>

In five-dimensional geometry, a rectified 5-orthoplex is a convex uniform 5-polytope, being a rectification of the regular 5-orthoplex.

<span class="mw-page-title-main">6-polytope</span>

In six-dimensional geometry, a six-dimensional polytope or 6-polytope is a polytope, bounded by 5-polytope facets.

In geometry, the 521 honeycomb is a uniform tessellation of 8-dimensional Euclidean space. The symbol 521 is from Coxeter, named for the length of the 3 branches of its Coxeter-Dynkin diagram.

References

  1. 1 2 3 Richeson, D.; Euler's Gem: The Polyhedron Formula and the Birth of Topoplogy, Princeton, 2008.
Family An Bn I2(p) / Dn E6 / E7 / E8 / F4 / G2 Hn
Regular polygon Triangle Square p-gon Hexagon Pentagon
Uniform polyhedron Tetrahedron OctahedronCube Demicube DodecahedronIcosahedron
Uniform polychoron Pentachoron 16-cellTesseract Demitesseract 24-cell 120-cell600-cell
Uniform 5-polytope 5-simplex 5-orthoplex5-cube 5-demicube
Uniform 6-polytope 6-simplex 6-orthoplex6-cube 6-demicube 122221
Uniform 7-polytope 7-simplex 7-orthoplex7-cube 7-demicube 132231321
Uniform 8-polytope 8-simplex 8-orthoplex8-cube 8-demicube 142241421
Uniform 9-polytope 9-simplex 9-orthoplex9-cube 9-demicube
Uniform 10-polytope 10-simplex 10-orthoplex10-cube 10-demicube
Uniform n-polytope n-simplex n-orthoplexn-cube n-demicube 1k22k1k21 n-pentagonal polytope
Topics: Polytope familiesRegular polytopeList of regular polytopes and compounds