Abstract polytope

In mathematics, an abstract polytope is an algebraic partially ordered set or poset which captures the combinatorial properties of a traditional polytope, but not any purely geometric properties such as angles, edge lengths, etc.

An ordinary geometric polytope is said to be a realization in some real N-dimensional space, typically Euclidean, of the corresponding abstract polytope.

The abstract definition allows some more general combinatorial structures than traditional definitions of a polytope, thus allowing many new objects that have no counterpart in traditional theory.

The term polytope is a generalisation of polygons and polyhedra into any number of dimensions.

In Euclidean geometry, the six quadrilaterals illustrated are all different. Yet they have a common structure in the alternating chain of four vertices and four sides which gives them their name. They are said to be isomorphic or “structure preserving”.

This common structure may be represented in an underlying abstract polytope, a purely algebraic partially-ordered set which captures the pattern of connections or incidences between the various structural elements. The measurable properties of traditional polytopes such as angles, edge-lengths, skewness, straightness and convexity have no meaning for an abstract polytope.

What is true for traditional polytopes (also called classical or geometric polytopes) may not be so for abstract ones, and vice versa. For example, a traditional polytope is regular if all its facets and vertex figures are regular, but this is not necessarily so for an abstract polytope.

A traditional geometric polytope is said to be a realisation of the associated abstract polytope. A realisation is a mapping or injection of the abstract object into a real space, typically Euclidean, to construct a traditional polytope as a real geometric figure.

The six quadrilaterals shown are all distinct realisations of the abstract quadrilateral, each with different geometric properties. Some of them do not conform to traditional definitions of a quadrilateral and are said to be unfaithful realisations. A conventional polytope is a faithful realisation.

...
Wikipedia