geometry Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...

, a five-dimensional polytope (or 5-polytope) 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 space is a space with five dimensions. In mathematics, a sequence of ''N'' numbers can represent a location in an ''N''-dimensional space. If interpreted physically, that is one more than the usual three spatial dimensions ...

, 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: vertices, edges, faces ( polygons), ...

)

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

, pairs of which share a polyhedral cell.

Definition

A 5-polytope is a closed five-dimensional figure with vertices, edges, faces, and

cells Cell most often refers to: * Cell (biology), the functional basic unit of life Cell may also refer to: Locations * Monastic cell, a small room, hut, or cave in which a religious recluse lives, alternatively the small precursor of a monastery w ...

, and

4-face In solid geometry, a face is a flat surface (a planar region) that forms part of the boundary of a solid object; a three-dimensional solid bounded exclusively by faces is a ''polyhedron''. In more technical treatments of the geometry of polyhedra ...

s. 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 straight line that is bounded by two distinct end points, and contains every point on the line that is between its endpoints. The length of a line segment is given by the Euclidean distance between ...

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

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

where three or more cells meet. A cell is a

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

, 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 subspace whose dimension is one less than that of its '' ambient space''. For example, if a space is 3-dimensional then its hyperplanes are the 2-dimensional planes, while if the space is 2-dimensional, its hype ...

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

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

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". *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 p ...

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 polyhedra, and faces are regular polygons. There are 47 non-prismatic convex uniform 4-polytopes. There ...

s. The faces of a uniform polytope must be

regular The term regular can mean normal or in accordance with rules. It may refer to: People * Moses Regular (born 1971), America football player Arts, entertainment, and media Music * "Regular" (Badfinger song) * Regular tunings of stringed instrum ...

. *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 geometry, a demipenteract or 5-demicube is a semiregular 5-polytope, constructed from a ''5-hypercube'' ( penteract) with alternated vertices removed. It was discovered by Thorold Gosset. Since it was the only semiregular 5- ...

. *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 ''A'' and ''B'', denoted ''A''×''B'', is the set of all ordered pairs where ''a'' is in ''A'' and ''b'' is in ''B''. In terms of set-builder notation, that is : A\ ...

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 (). It is a closed, compact, convex figure whose 1-skeleton consists of groups of opposite parallel line segments aligned in each of the space's dimensions ...

is prismatic (product of a

square In Euclidean geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles (90-degree angles, π/2 radian angles, or right angles). It can also be defined as a rectangle with two equal-length a ...

and a

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

), 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 of ge ...

'' is the division of four-dimensional

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

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 an object in space, usually in three dimensions. The elements of a space group (its symmetry operations) are the rigid transformations of an object that leave it ...

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 regular polytopes and tessellations. The Schläfli symbol is named after the 19th-century Swiss mathematician Ludwig Schläfli, who generalized Euclidean geometry to mor ...

, with s polychoral

around each

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

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

# -

5-cube In five-dimensional geometry, a 5-cube is a name for a five-dimensional hypercube with 32 vertices, 80 edges, 80 square faces, 40 cubic cells, and 10 tesseract 4-faces. It is represented by Schläfli symbol or , constructed as 3 tesseracts ...

# -

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

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 polyhedron or polytope is sliced off. Definitions Take some corner or vertex of a polyhedron. Mark a point somewhere along each connected edge. Draw lines ...

of the uniform 5-simplex honeycomb, . The 5-demicube honeycomb, , vertex figure is a ''rectified 5-orthoplex'' and

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

, 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 Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century. Biography Coxeter was born in Kensington t ...

: ** 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