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•)
Dual polygon Self-dual

In geometry, a 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. [1] 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. [2]

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

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. [4]

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

Theoretical significance

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

The digon is an important construct in the topological theory of networks such as graphs and polyhedral surfaces. Topological equivalences may be established using a process of reduction to a minimal set of polygons, without affecting the global topological characteristics such as the Euler value. The digon represents a stage in the simplification where it can be simply removed and substituted by a line segment, without affecting the overall characteristics.

The cyclic groups may be obtained as rotation symmetries of polygons: the rotational symmetries of the digon provide the group C2.

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

See also

Related Research Articles

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.

<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.

<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. It follows that all vertices are congruent.

<span class="mw-page-title-main">Hexagonal tiling</span> Regular tiling of a two-dimensional space

In geometry, the hexagonal tiling or hexagonal tessellation is a regular tiling of the Euclidean plane, in which exactly three hexagons meet at each vertex. It has Schläfli symbol of {6,3} or t{3,6} .

<span class="mw-page-title-main">Square tiling</span> Regular tiling of the Euclidean plane

In geometry, the square tiling, square tessellation or square grid is a regular tiling of the Euclidean plane. It has Schläfli symbol of {4,4}, meaning it has 4 squares around every vertex. Conway called it a quadrille.

<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.

<span class="mw-page-title-main">Uniform polytope</span> Isogonal polytope with uniform facets

In geometry, a uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform facets. The uniform polytopes in two dimensions are the regular 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">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">Triangular tiling honeycomb</span>

The triangular tiling honeycomb is one of 11 paracompact regular space-filling tessellations in hyperbolic 3-space. It is called paracompact because it has infinite cells and vertex figures, with all vertices as ideal points at infinity. It has Schläfli symbol {3,6,3}, being composed of triangular tiling cells. Each edge of the honeycomb is surrounded by three cells, and each vertex is ideal with infinitely many cells meeting there. Its vertex figure is a hexagonal tiling.

<span class="mw-page-title-main">Order-4 square tiling honeycomb</span>

In the geometry of hyperbolic 3-space, the order-4 square tiling honeycomb is one of 11 paracompact regular honeycombs. It is paracompact because it has infinite cells and vertex figures, with all vertices as ideal points at infinity. Given by Schläfli symbol {4,4,4}, it has four square tilings around each edge, and infinite square tilings around each vertex in a square tiling vertex figure.

<span class="mw-page-title-main">Order-5 apeirogonal tiling</span>

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

<span class="mw-page-title-main">Order-6 apeirogonal tiling</span>

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

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

Bibliography