Regular polytope in the context of Geometric combinatorics

In mathematics, a regular 4-polytope or regular polychoron 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 regular 4-polytopes, giving a total of sixteen.

This article lists the regular polytopes in Euclidean, spherical and hyperbolic spaces.

In hyperbolic geometry, the order-4 dodecahedral honeycomb is one of four compact regular space-filling tessellations (or honeycombs) of hyperbolic 3-space. With Schläfli symbol {5,3,4}, it has four dodecahedra around each edge, and 8 dodecahedra around each vertex in an octahedral arrangement. Its vertices are constructed from 3 orthogonal axes. Its dual is the order-5 cubic honeycomb.

A geometric honeycomb is a space-filling of polyhedral or higher-dimensional cells, so that there are no gaps. It is an example of the more general mathematical tiling or tessellation in any number of dimensions.

In geometry, a cross-polytope, hyperoctahedron, orthoplex, staurotope, or cocube is a regular, convex polytope that exists in n-dimensional Euclidean space. A 2-dimensional cross-polytope is a square, a 3-dimensional cross-polytope is a regular octahedron, and a 4-dimensional cross-polytope is a 16-cell. Its facets are simplexes of the previous dimension, while the cross-polytope's vertex figure is another cross-polytope from the previous dimension.

The vertices of a cross-polytope can be chosen as the unit vectors pointing along each co-ordinate axis – i.e. all the permutations of (±1, 0, 0, ..., 0). The cross-polytope is the convex hull of its vertices. The n-dimensional cross-polytope can also be defined as the closed unit ball (or, according to some authors, its boundary) in the ℓ₁-norm on R, those points x = (x₁, x₂..., x_n) satisfying