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 ...

, a five-dimensional polytope (or 5-polytope or polyteron) is 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 ...

five-dimensional space A five-dimensional (5D) space is a mathematical or physical concept referring to a space (mathematics), space that has five independent dimensions. In physics and geometry, such a space extends the familiar three spatial dimensions plus time ( ...

, bounded by (

4-polytope In geometry, a 4-polytope (sometimes also called a polychoron, polycell, or polyhedroid) is a four-dimensional polytope. It is a connected and closed figure, composed of lower-dimensional polytopal elements: Vertex (geometry), vertices, Edge (geo ...

) facets, pairs of which share a polyhedral cell.

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 In geometry, a line segment is a part of a line (mathematics), straight line that is bounded by two distinct endpoints (its extreme points), and contains every Point (geometry), point on the line that is between its endpoints. It is a special c ...

where four or more faces meet, and a face is a

polygon In geometry, a polygon () is a plane figure made up of line segments connected to form a closed polygonal chain. The segments of a closed polygonal chain are called its '' edges'' or ''sides''. The points where two edges meet are the polygon ...

where three or more cells meet. A cell is a

polyhedron In geometry, a polyhedron (: polyhedra or polyhedrons; ) is a three-dimensional figure with flat polygonal Face (geometry), faces, straight Edge (geometry), edges and sharp corners or Vertex (geometry), vertices. The term "polyhedron" may refer ...

, and a 4-face is a

. Furthermore, the following requirements must be met: # Each cell must join exactly two 4-faces. # Adjacent 4-faces are not in the same four-dimensional

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 ...

. # 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 number In algebraic topology, the Betti numbers are used to distinguish topological spaces based on the connectivity of ''n''-dimensional simplicial complexes. For the most reasonable finite-dimensional spaces (such as compact manifolds, finite simplicia ...

s and

torsion coefficient A torsion spring is a spring that works by twisting its end along its axis; that is, a flexible elastic object that stores mechanical energy when it is twisted. When it is twisted, it exerts a torque in the opposite direction, proportional ...

s.Richeson, D.; ''Euler's Gem: The Polyhedron Formula and the Birth of Topoplogy'', Princeton, 2008. The value of the

Euler characteristic In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological space's ...

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. 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.

Classification

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

symmetry Symmetry () in everyday life refers to a sense of harmonious and beautiful proportion and balance. In mathematics, the term has a more precise definition and is usually used to refer to an object that is Invariant (mathematics), invariant und ...

". * A 5-polytope is ''

convex Convex or convexity may refer to: Science and technology * Convex lens, in optics Mathematics * Convex set, containing the whole line segment that joins points ** Convex polygon, a polygon which encloses a convex set of points ** Convex polytop ...

'' if its boundary (including its cells, faces and edges) does not intersect itself and the line segment joining any two points of the 5-polytope is contained in the 5-polytope or its interior; otherwise, it is ''non-convex''. Self-intersecting 5-polytopes are also known as

star polytope In geometry, a star polyhedron is a polyhedron which has some repetitive quality of nonconvexity giving it a star-like visual quality. There are two general kinds of star polyhedron: *Polyhedra which self-intersect in a repetitive way. *Concave ...

s, from analogy with the star-like shapes of the non-convex Kepler-Poinsot polyhedra. * A uniform 5-polytope has a

symmetry group In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the amb ...

under which all vertices are equivalent, and its facets are

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. The faces of a uniform polytope must be regular. * A semi-regular 5-polytope contains two or more types of regular 4-polytope facets. There is only one such figure, called a

demipenteract 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 ...

. * A regular 5-polytope has all identical regular 4-polytope facets. All regular 5-polytopes are convex. * A prismatic 5-polytope is constructed by a

Cartesian product In mathematics, specifically set theory, the Cartesian product of two sets and , denoted , is the set of all ordered pairs where is an element of and is an element of . In terms of set-builder notation, that is A\times B = \. A table c ...

of two lower-dimensional polytopes. A prismatic 5-polytope is uniform if its factors are uniform. The

hypercube In geometry, a hypercube is an ''n''-dimensional analogue of a square ( ) and a cube ( ); the special case for is known as a ''tesseract''. It is a closed, compact, convex figure whose 1- skeleton consists of groups of opposite parallel l ...

is prismatic (product of a

square In geometry, a square is a regular polygon, regular quadrilateral. It has four straight sides of equal length and four equal angles. Squares are special cases of rectangles, which have four equal angles, and of rhombuses, which have four equal si ...

and a

cube A cube or regular hexahedron is a three-dimensional space, three-dimensional solid object in geometry, which is bounded by six congruent square (geometry), square faces, a type of polyhedron. It has twelve congruent edges and eight vertices. It i ...

), but is considered separately because it has symmetries other than those inherited from its factors. * A ''4-space

tessellation A tessellation or tiling is the covering of a surface, often a plane, using one or more geometric shapes, called ''tiles'', with no overlaps and no gaps. In mathematics, tessellation can be generalized to higher dimensions and a variety ...

'' is the division of four-dimensional

Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces ...

into a regular grid of polychoral facets. Strictly speaking, tessellations are not polytopes as they do not bound a "5D" volume, but we include them here for the sake of completeness because they are similar in many ways to polytopes. A ''uniform 4-space tessellation'' is one whose vertices are related by a

space group In mathematics, physics and chemistry, a space group is the symmetry group of a repeating pattern in space, usually in three dimensions. The elements of a space group (its symmetry operations) are the rigid transformations of the pattern that ...

and whose facets are uniform 4-polytopes.

Regular 5-polytopes

Regular 5-polytopes can be represented by the

Schläfli symbol In geometry, the Schläfli symbol is a notation of the form \ that defines List of regular polytopes and compounds, regular polytopes and tessellations. The Schläfli symbol is named after the 19th-century Swiss mathematician Ludwig Schläfli, wh ...

, with ''s'' polychoral facets around each

face The face is the front of the 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 affect th ...

. There are exactly three such convex regular 5-polytopes: # –

5-simplex In five-dimensional geometry, a 5-simplex is a self-dual regular 5-polytope. It has six vertices, 15 edges, 20 triangle faces, 15 tetrahedral cells, and 6 5-cell facets. It has a dihedral angle of cos−1(), or approximately 78.46°. The ...

# – 5-cube # –

5-orthoplex In five-dimensional geometry, a 5-orthoplex, or 5- cross polytope, is a five-dimensional polytope with 10 vertices, 40 edges, 80 triangle faces, 80 tetrahedron cells, 32 5-cell 4-faces. It has two constructed forms, the first being regula ...

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

Uniform 5-polytopes

For three of the semiregular 5-polytope, their elements are: The ''expanded 5-simplex'' is 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 ...

of the uniform 5-simplex honeycomb, . The 5-demicube honeycomb, , 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.

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 * A. Boole Stott: ''Geometrical deduction of semiregular from regular polytopes and space fillings'', Verhandelingen of the Koninklijke academy van Wetenschappen width unit Amsterdam, Eerste Sectie 11,1, Amsterdam, 1910 * H.S.M. Coxeter: ** H.S.M. Coxeter, M.S. Longuet-Higgins und J.C.P. Miller: ''Uniform Polyhedra'', Philosophical Transactions of the Royal Society of London, Londne, 1954 ** 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* N.W. Johnson: ''The Theory of Uniform Polytopes and Honeycombs'', Ph.D. Dissertation, University of Toronto, 1966 *

External links

Polytopes of Various Dimensions
Jonathan Bowers

Jonathan Bowers

Garrett Jones {{DEFAULTSORT:5-Polytope