Apeirogon

Apeirogon (regular)
Edges and vertices
Schläfli symbol{∞}
Coxeter–Dynkin diagrams
Internal angle (degrees)180°
Dual polygonSelf-dual
A partition of the Euclidean line into infinitely many equal-length segments can be understood as a regular apeirogon.

In geometry, an apeirogon (from Ancient Greek ἄπειρος apeiros 'infinite, boundless' and γωνία gonia 'angle') or infinite polygon is a polygon with an infinite number of sides. Apeirogons are the rank 2 case of infinite polytopes. In some literature, the term "apeirogon" may refer only to the regular apeirogon, with an infinite dihedral group of symmetries.[1]

Definitions

[edit]

Geometric apeirogon

[edit]

Given a point A0 in a Euclidean space and a translation S, define the point Ai to be the point obtained from i applications of the translation S to A0, so Ai = Si(A0). The set of vertices Ai with i any integer, together with edges connecting adjacent vertices, is a sequence of equal-length segments of a line, and is called the regular apeirogon as defined by H. S. M. Coxeter.[1]

A regular apeirogon can be defined as a partition of the Euclidean line E1 into infinitely many equal-length segments. It generalizes the regular n-gon, which may be defined as a partition of the circle S1 into finitely many equal-length segments.[2]

Hyperbolic pseudogon

[edit]

The regular pseudogon is a partition of the hyperbolic line H1 (instead of the Euclidean line) into segments of length 2λ, as an analogue of the regular apeirogon.[2]

Abstract apeirogon

[edit]

An abstract polytope is a partially ordered set P (whose elements are called faces) with properties modeling those of the inclusions of faces of convex polytopes. The rank (or dimension) of an abstract polytope is determined by the length of the maximal ordered chains of its faces, and an abstract polytope of rank n is called an abstract n-polytope.[3]: 22–25 

For abstract polytopes of rank 2, this means that: A) the elements of the partially ordered set are sets of vertices with either zero vertex (the empty set), one vertex, two vertices (an edge), or the entire vertex set (a two-dimensional face), ordered by inclusion of sets; B) each vertex belongs to exactly two edges; C) the undirected graph formed by the vertices and edges is connected.[3]: 22–25 [4]: 224 

An abstract polytope is called an abstract apeirotope if it has infinitely many elements; an abstract 2-apeirotope is called an abstract apeirogon.[3]: 25 

A realization of an abstract polytope is a mapping of its vertices to points a geometric space (typically a Euclidean space).[3]: 121  A faithful realization is a realization such that the vertex mapping is injective.[3]: 122 [note 1] Every geometric apeirogon is a realization of the abstract apeirogon.

Symmetries

[edit]
The order-3 apeirogonal tiling, {∞,3}, fills the hyperbolic plane with apeirogons whose vertices lie along horocyclic paths.

The infinite dihedral group G of symmetries of a regular geometric apeirogon is generated by two reflections, the product of which translates each vertex of P to the next.[3]: 140–141 [4]: 231  The product of the two reflections can be decomposed as a product of a non-zero translation, finitely many rotations, and a possibly trivial reflection.[3]: 141 [4]: 231 

In an abstract polytope, a flag is a collection of one face of each dimension, all incident to each other (that is, comparable in the partial order); an abstract polytope is called regular if it has symmetries (structure-preserving permutations of its elements) that take any flag to any other flag. In the case of a two-dimensional abstract polytope, this is automatically true; the symmetries of the apeirogon form the infinite dihedral group.[3]: 31 

A symmetric realization of an abstract apeirogon is defined as a mapping from its vertices to a finite-dimensional geometric space (typically a Euclidean space) such that every symmetry of the abstract apeirogon corresponds to an isometry of the images of the mapping.[3]: 121 [4]: 225 

Moduli space

[edit]

Generally, the moduli space of a faithful realization of an abstract polytope is a convex cone of infinite dimension.[3]: 127 [4]: 229–230  The realization cone of the abstract apeirogon has uncountably infinite algebraic dimension and cannot be closed in the Euclidean topology.[3]: 141 [4]: 232 

Classification of Euclidean apeirogons

[edit]

The symmetric realization of any regular polygon in Euclidean space of dimension greater than 2 is reducible, meaning it can be made as a blend of two lower-dimensional polygons.[3] This characterization of the regular polygons naturally characterizes the regular apeirogons as well. The discrete apeirogons are the results of blending the 1-dimensional apeirogon with other polygons.[4]: 231  Since every polygon is a quotient of the apeirogon, the blend of any polygon with an apeirogon produces another apeirogon.[3]

In two dimensions the discrete regular apeirogons are the infinite zigzag polygons,[5] resulting from the blend of the 1-dimensional apeirogon with the digon, represented with the Schläfli symbol {∞}#{2}, {∞}#{}, or .[3]

In three dimensions the discrete regular apeirogons are the infinite helical polygons,[5] with vertices spaced evenly along a helix. These are the result of blending the 1-dimensional apeirogon with a 2-dimensional polygon, {∞}#{p/q} or .[3]

Generalizations

[edit]

Higher rank

[edit]

Apeirohedra are the rank 3 analogues of apeirogons, and are the infinite analogues of polyhedra.[6] More generally, n-apeirotopes or infinite n-polytopes are the n-dimensional analogues of apeirogons, and are the infinite analogues of n-polytopes.[3]: 22–25 

See also

[edit]

Notes

[edit]
  1. ^ McMullen & Schulte (2002) provide a stricter definition, requiring that the induced maps on higher rank faces be injective as well. However a regular polytope is either degenerate in which case it has no faithful realizations, or every vertex-faithful realization is faithful. The apeirogon is not degenerate and thus this condition is sufficient to show its realizations are faithful.

References

[edit]
  1. ^ a b Coxeter, H. S. M. (1948). Regular polytopes. London: Methuen & Co. Ltd. p. 45.
  2. ^ a b Johnson, Norman W. (2018). "11: Finite Symmetry Groups". Geometries and transformations. Cambridge University Press. p. 226. ISBN 9781107103405.
  3. ^ a b c d e f g h i j k l m n o p McMullen, Peter; Schulte, Egon (December 2002). Abstract Regular Polytopes (1st ed.). Cambridge University Press. ISBN 0-521-81496-0.
  4. ^ a b c d e f g McMullen, Peter (1994), "Realizations of regular apeirotopes", Aequationes Mathematicae, 47 (2–3): 223–239, doi:10.1007/BF01832961, MR 1268033, S2CID 121616949
  5. ^ a b Grünbaum, B. (1977). "Regular polyhedra – old and new". Aequationes Mathematicae. 16: 1–20. doi:10.1007/BF01836414. S2CID 125049930.
  6. ^ Coxeter, H. S. M. (1937). "Regular Skew Polyhedra in Three and Four Dimensions". Proc. London Math. Soc. 43: 33–62.
[edit]