Digon

Last updated
Regular digon
Digon.svg
On a circle, a digon is a tessellation with two antipodal points, and two 180° arc edges.
Type Regular polygon
Edges and vertices 2
Schläfli symbol {2}
Coxeter–Dynkin diagrams CDel node 1.pngCDel 2x.pngCDel node.png
Symmetry group D2, [2], (*2•)
Internal angle (degrees)0° (convex)
Dual polygon Self-dual

In geometry, a bigon, [1] digon, or a 2-gon, is a polygon with two sides (edges) and two vertices. Its construction is degenerate in a Euclidean plane because either the two sides would coincide or one or both would have to be curved; however, it can be easily visualised in elliptic space. It may also be viewed as a representation of a graph with two vertices, see "Generalized polygon".

Contents

A regular digon has both angles equal and both sides equal and is represented by Schläfli symbol {2}. It may be constructed on a sphere as a pair of 180 degree arcs connecting antipodal points, when it forms a lune.

The digon is the simplest abstract polytope of rank 2.

A truncated digon, t{2} is a square, {4}. An alternated digon, h{2} is a monogon, {1}.

In Euclidean geometry

The digon can have one of two visual representations if placed in Euclidean space.

One representation is degenerate, and visually appears as a double-covering of a line segment. Appearing when the minimum distance between the two edges is 0, this form arises in several situations. This double-covering form is sometimes used for defining degenerate cases of some other polytopes; for example, a regular tetrahedron can be seen as an antiprism formed of such a digon. It can be derived from the alternation of a square (h{4}), as it requires two opposing vertices of said square to be connected. When higher-dimensional polytopes involving squares or other tetragonal figures are alternated, these digons are usually discarded and considered single edges.

A second visual representation, infinite in size, is as two parallel lines stretching to (and projectively meeting at; i.e. having vertices at) infinity, arising when the shortest distance between the two edges is greater than zero. This form arises in the representation of some degenerate polytopes, a notable example being the apeirogonal hosohedron, the limit of a general spherical hosohedron at infinity, composed of an infinite number of digons meeting at two antipodal points at infinity. [2] However, as the vertices of these digons are at infinity and hence are not bound by closed line segments, this tessellation is usually not considered to be an additional regular tessellation of the Euclidean plane, even when its dual order-2 apeirogonal tiling (infinite dihedron) is.

Any straight-sided digon is regular even though it is degenerate, because its two edges are the same length and its two angles are equal (both being zero degrees). As such, the regular digon is a constructible polygon. [3]

Some definitions of a polygon do not consider the digon to be a proper polygon because of its degeneracy in the Euclidean case. [4]

In elementary polyhedra

A nonuniform rhombicuboctahedron with blue rectangular faces that degenerate into digons in the cubic limit. Near uniform polyhedron-43-t0.png
A nonuniform rhombicuboctahedron with blue rectangular faces that degenerate into digons in the cubic limit.

A digon as a face of a polyhedron is degenerate because it is a degenerate polygon. But sometimes it can have a useful topological existence in transforming polyhedra.

As a spherical lune

A spherical lune is a digon whose two vertices are antipodal points on the sphere. [5]

A spherical polyhedron constructed from such digons is called a hosohedron.

In topological structures

Bibigon: Insertion of a bigon into a bigon Bibigon.png
Bibigon: Insertion of a bigon into a bigon

Digons (bigons) may be used in constructing and analyzing various topological structures, [6] such as incidence structures.

See also

Related Research Articles

In geometry, an octahedron is a polyhedron with eight faces. An octahedron can be considered as a square bipyramid. When the edges of a square bipyramid are all equal in length, it produces a regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at each vertex. It is also an example of a deltahedron. An octahedron is the three-dimensional case of the more general concept of a cross polytope.

<span class="mw-page-title-main">Star polygon</span> Regular non-convex 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 on regular simple or star polygons.

A regular polyhedron is a polyhedron whose symmetry group acts transitively on its flags. A regular polyhedron is highly symmetrical, being all of edge-transitive, vertex-transitive and face-transitive. In classical contexts, many different equivalent definitions are used; a common one is that the faces are congruent regular polygons which are assembled in the same way around each vertex.

In Euclidean geometry, a regular polygon is a polygon that is direct equiangular and equilateral. Regular polygons may be either convex, star or skew. In the limit, a sequence of regular polygons with an increasing number of sides approximates a circle, if the perimeter or area is fixed, or a regular apeirogon, if the edge length is fixed.

<span class="mw-page-title-main">Schläfli symbol</span> Notation that defines regular polytopes and tessellations

In geometry, the Schläfli symbol is a notation of the form that defines regular polytopes and tessellations.

In geometry, a pentahedron is a polyhedron with five faces or sides. There are no face-transitive polyhedra with five sides and there are two distinct topological types.

<span class="mw-page-title-main">Abstract polytope</span> Poset representing certain properties of a 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.

<span class="mw-page-title-main">Hosohedron</span> Spherical polyhedron composed of lunes

In spherical geometry, an n-gonalhosohedron is a tessellation of lunes on a spherical surface, such that each lune shares the same two polar opposite vertices.

<span class="mw-page-title-main">Uniform polyhedron</span> Isogonal polyhedron with regular faces

In geometry, a uniform polyhedron has regular polygons as faces and is vertex-transitive—there is an isometry mapping any vertex onto any other. It follows that all vertices are congruent. Uniform polyhedra may be regular, quasi-regular, or semi-regular. The faces and vertices need not be convex, so many of the uniform polyhedra are also star polyhedra.

<span class="mw-page-title-main">Alternation (geometry)</span> Removal of alternate vertices

In geometry, an alternation or partial truncation, is an operation on a polygon, polyhedron, tiling, or higher dimensional polytope that removes alternate vertices.

<span class="mw-page-title-main">Monogon</span> Polygon with one edge and one vertex

In geometry, a monogon, also known as a henagon, is a polygon with one edge and one vertex. It has Schläfli symbol {1}.

<span class="mw-page-title-main">Apeirogon</span> Polygon with an infinite number of sides

In geometry, an apeirogon 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.

<span class="mw-page-title-main">Dihedron</span> Polyhedron with 2 faces

A dihedron is a type of polyhedron, made of two polygon faces which share the same set of n edges. In three-dimensional Euclidean space, it is degenerate if its faces are flat, while in three-dimensional spherical space, a dihedron with flat faces can be thought of as a lens, an example of which is the fundamental domain of a lens space L(p,q). Dihedra have also been called bihedra, flat polyhedra, or doubly covered polygons.

In geometry, a uniform tiling is a tessellation of the plane by regular polygon faces with the restriction of being vertex-transitive.

<span class="mw-page-title-main">Uniform honeycombs in hyperbolic space</span> Tiling of hyperbolic 3-space by uniform polyhedra

In hyperbolic geometry, a uniform honeycomb in hyperbolic space is a uniform tessellation of uniform polyhedral cells. In 3-dimensional hyperbolic space there are nine Coxeter group families of compact convex uniform honeycombs, generated as Wythoff constructions, and represented by permutations of rings of the Coxeter diagrams for each family.

<span class="mw-page-title-main">Order-4 apeirogonal tiling</span> Regular tiling in geometry

In geometry, the order-4 apeirogonal tiling is a regular tiling of the hyperbolic plane. It has Schläfli symbol of {∞,4}.

<span class="mw-page-title-main">Apeirogonal hosohedron</span> Geometric tiling of the plane

In geometry, an apeirogonal hosohedron or infinite hosohedron is a tiling of the plane consisting of two vertices at infinity. It may be considered an improper regular tiling of the Euclidean plane, with Schläfli symbol {2,∞}.

In geometry, many uniform tilings on sphere, euclidean plane, and hyperbolic plane can be made by Wythoff construction within a fundamental triangle,, defined by internal angles as π/p, π/q, and π/r. Special cases are right triangles. Uniform solutions are constructed by a single generator point with 7 positions within the fundamental triangle, the 3 corners, along the 3 edges, and the triangle interior. All vertices exist at the generator, or a reflected copy of it. Edges exist between a generator point and its image across a mirror. Up to 3 face types exist centered on the fundamental triangle corners. Right triangle domains can have as few as 1 face type, making regular forms, while general triangles have at least 2 triangle types, leading at best to a quasiregular tiling.

References

Citations

  1. "ResearchGate".
  2. The Symmetries of Things 2008, John H. Conway, Heidi Burgiel, Chaim Goodman-Strauss, ISBN   978-1-56881-220-5, p. 263
  3. Eric T. Eekhoff; Constructibility of Regular Polygons Archived 2015-07-14 at the Wayback Machine , Iowa State University. (retrieved 20 December 2015)
  4. Coxeter (1973), Chapter 1, Polygons and Polyhedra, p.4
  5. Coxeter (1973), Chapter 1, Polygons and Polyhedra, pages 4 and 12.
  6. 1 2 Alex Degtyarev, Topology of Algebraic Curves: An Approach via Dessins d'Enfants, p. 263

Bibliography