![Regular 2-apeirogon](https://upload.wikimedia.org/wikipedia/commons/6/62/Regular_2-apeirogon.png)
In
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 ...
, an apeirogon () or infinite polygon is a generalized
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 toge ...
with a
countably infinite
In mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function from it into the natural numbers; ...
number of sides. Apeirogons are the two-dimensional case of
infinite polytopes.
In some literature, the term "apeirogon" may refer only to the
regular apeirogon, with an
infinite dihedral group
In mathematics, the infinite dihedral group Dih∞ is an infinite group with properties analogous to those of the finite dihedral groups.
In two-dimensional geometry, the infinite dihedral group represents the frieze group symmetry, ''p1m1'', s ...
of
symmetries
Symmetry (from grc, συμμετρία "agreement in dimensions, due proportion, arrangement") in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, "symmetry" has a more precise definiti ...
.
Definitions
Classical constructive definition
Given a point ''A
0'' in a
Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
and a
translation
Translation is the communication of the Meaning (linguistic), meaning of a #Source and target languages, source-language text by means of an Dynamic and formal equivalence, equivalent #Source and target languages, target-language text. The ...
''S'', define the point ''A
i'' to be the point obtained from ''i'' applications of the translation ''S'' to ''A
0'', so ''A
i = S
i(A
0)''. The set of vertices ''A
i'' 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.
A regular apeirogon can be defined as a partition of the Euclidean line ''E
1'' into infinitely many equal-length segments, generalizing the regular
''n''-gon, which can be defined as a partition of the circle ''S
1'' into finitely many equal-length segments.
Modern abstract definition
An
abstract polytope
In mathematics, an abstract polytope is an algebraic partially ordered set which captures the dyadic property of a traditional polytope without specifying purely geometric properties such as points and lines.
A geometric polytope is said to be ...
is a
partially ordered set
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a Set (mathematics), set. A poset consists of a set toget ...
''P'' (whose elements are called ''faces'') with properties modeling those of the inclusions of faces of
convex polytope
A convex polytope is a special case of a polytope, having the additional property that it is also a convex set contained in the n-dimensional Euclidean space \mathbb^n. Most texts. use the term "polytope" for a bounded convex polytope, and the wo ...
s. 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.
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
In mathematics, the empty set is the unique set having no elements; its size or cardinality (count of elements in a set) is zero. Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set, while in other ...
), one vertex, two vertices (an
edge
Edge or EDGE may refer to:
Technology Computing
* Edge computing, a network load-balancing system
* Edge device, an entry point to a computer network
* Adobe Edge, a graphical development application
* Microsoft Edge, a web browser developed by ...
), 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
In discrete mathematics, and more specifically in graph theory, a graph is a structure amounting to a set of objects in which some pairs of the objects are in some sense "related". The objects correspond to mathematical abstractions called '' v ...
formed by the vertices and edges is connected.
An abstract polytope is called an abstract
apeirotope
In geometry, an apeirotope or infinite polytope is a generalized polytope which has infinitely many facets.
Definition Abstract apeirotope
An abstract ''n''-polytope is a partially ordered set ''P'' (whose elements are called ''faces'') such tha ...
if it has infinitely many elements; an abstract 2-apeirotope is called an abstract apeirogon.
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
In mathematics, the infinite dihedral group Dih∞ is an infinite group with properties analogous to those of the finite dihedral groups.
In two-dimensional geometry, the infinite dihedral group represents the frieze group symmetry, ''p1m1'', s ...
.
Pseudogon
The regular pseudogon is a partition of the
hyperbolic line ''H
1'' (instead of the Euclidean line) into segments of length 2λ, as an analogue of the regular apeirogon.
[
]
Realizations
Definition
A realization of an abstract apeirogon is defined as a mapping from its vertices to a finite-dimensional geometric space (typically a Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
) such that every symmetry of the abstract apeirogon corresponds to an isometry
In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' mea ...
of the images of the mapping. Two realizations are called congruent if the natural bijection between their sets of vertices is induced by an isometry of their ambient Euclidean spaces. The classical definition of an apeirogon as an equally-spaced subdivision of the Euclidean line is a realization in this sense, as is the convex subset in the hyperbolic plane
In mathematics, hyperbolic geometry (also called Lobachevskian geometry or Bolyai– Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with:
:For any given line ''R'' and point ''P'' ...
formed by the convex hull
In geometry, the convex hull or convex envelope or convex closure of a shape is the smallest convex set that contains it. The convex hull may be defined either as the intersection of all convex sets containing a given subset of a Euclidean space ...
of equally-spaced points on a horocycle
In hyperbolic geometry, a horocycle (), sometimes called an oricycle, oricircle, or limit circle, is a curve whose normal or perpendicular geodesics all converge asymptotically in the same direction. It is the two-dimensional case of a horospher ...
. Other realizations are possible in higher-dimensional spaces.
Symmetries of a realization
The infinite dihedral group ''G'' of symmetries of a realization ''V'' of an abstract apeirogon ''P'' is generated by two reflections, the product of which translates each vertex of ''P'' to the next. 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.
Moduli space of realizations
Generally, the moduli space
In mathematics, in particular algebraic geometry, a moduli space is a geometric space (usually a scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of such objects. Such spac ...
of realizations of an abstract polytope is a convex cone
In linear algebra, a ''cone''—sometimes called a linear cone for distinguishing it from other sorts of cones—is a subset of a vector space that is closed under scalar multiplication; that is, is a cone if x\in C implies sx\in C for every .
...
of infinite dimension. The realization cone of the abstract apeirogon has uncountably infinite algebraic dimension and cannot be closed in the Euclidean topology
In mathematics, and especially general topology, the Euclidean topology is the natural topology induced on n-dimensional Euclidean space \R^n by the Euclidean distance, Euclidean metric.
Definition
The Euclidean norm on \R^n is the non-negative f ...
.
Classification of Euclidean apeirogons
The realizations of two-dimensional abstract polytopes (including both polygons and apeirogons), in Euclidean space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's Elements, Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics ther ...
s of at most three dimensions, can be classified into six types:
*convex polygon
In geometry, a convex polygon is a polygon that is the boundary of a convex set. This means that the line segment between two points of the polygon is contained in the union of the interior and the boundary of the polygon. In particular, it is a ...
s,
*star polygon
In geometry, a star polygon is a type of non-convex polygon. Regular star polygons have been studied in depth; while star polygons in general appear not to have been formally defined, certain notable ones can arise through truncation operations ...
s,
*regular apeirogons in the Euclidean line,
*infinite skew polygon
In geometry, an infinite skew polygon or skew apeirogon is an infinite 2-polytope with vertices that are not all colinear. Infinite zig-zag skew polygons are 2-dimensional infinite skew polygons with vertices alternating between two parallel lin ...
s (infinite zig-zag polygons in the Euclidean plane),
*antiprism
In geometry, an antiprism or is a polyhedron composed of two parallel direct copies (not mirror images) of an polygon, connected by an alternating band of triangles. They are represented by the Conway notation .
Antiprisms are a subclass o ...
s (including star prism
In geometry, a prism is a polyhedron comprising an polygon base, a second base which is a translated copy (rigidly moved without rotation) of the first, and other faces, necessarily all parallelograms, joining corresponding sides of the two b ...
s and star antiprisms), and
*infinite helical polygons (evenly spaced points along a helix
A helix () is a shape like a corkscrew or spiral staircase. It is a type of smooth space curve with tangent lines at a constant angle to a fixed axis. Helices are important in biology, as the DNA molecule is formed as two intertwined helices, ...
).
Abstract apeirogons may be realized in all of these ways, in some cases mapping infinitely many different vertices of an abstract apeirogon onto finitely many points of the realization. An apeirogon also admits star polygon realizations and antiprismatic realizations with a non-discrete set of infinitely many points.
Generalizations
Higher dimension
Apeirohedra are the 3-dimensional analogues of apeirogons, and are the infinite analogues of polyhedra
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 t ...
. More generally, ''n''-apeirotope
In geometry, an apeirotope or infinite polytope is a generalized polytope which has infinitely many facets.
Definition Abstract apeirotope
An abstract ''n''-polytope is a partially ordered set ''P'' (whose elements are called ''faces'') such tha ...
s or infinite ''n''-polytopes are the ''n''-dimensional analogues of apeirogons, and are the infinite analogues of ''n''-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 -d ...
s.
See also
*Apeirogonal tiling In geometry, an apeirogonal tiling is a tessellation of the Euclidean plane, hyperbolic plane, or some other two-dimensional space by apeirogons. Tilings of this type include:
*Order-2 apeirogonal tiling, Euclidean tiling of two half-spaces
*Order- ...
*Apeirogonal prism
In geometry, an apeirogonal prism or infinite prism is the arithmetic limit of the family of prisms; it can be considered an infinite polyhedron or a tiling of the plane.Conway (2008), p.263
Thorold Gosset called it a ''2-dimensional semi-check ...
*Apeirogonal antiprism
In geometry, an apeirogonal antiprism or infinite antiprismConway (2008), p. 263 is the arithmetic limit of the family of antiprisms; it can be considered an infinite polyhedron or a tiling of the plane.
If the sides are equilateral triangles, i ...
*Teragon
A teragon is a polygon with an infinite number of sides, the most famous example being the Koch snowflake ("triadic Koch teragon"). The term was coined by Benoît Mandelbrot from the words Classical Greek (''teras'', monster) + (''gōnía'' ...
, a fractal generalized polygon that also has infinitely many sides
References
External links
*
*
{{Polygons
Polygons by the number of sides
Infinity