Community hub
0 subscribers8 pages, 0 posts
Recent from talks
Be the first to start a discussion here.
Be the first to start a discussion here.
Be the first to start a discussion here.
Be the first to start a discussion here.
Contribute something
Welcome to the community hub built to collect knowledge and have discussions related to Digon.
Nothing was collected or created yet.
Digon
View on Wikipediafrom Wikipedia
| Regular digon | |
|---|---|
 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 |    |
| 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".
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 different fields
[edit]In Euclidean geometry
[edit]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.
-
A compound of two "line segment" digons, as the two possible alternations of a square (note the vertex arrangement). -
The apeirogonal hosohedron, containing infinitely narrow digons.
.svg)
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
[edit]
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
[edit]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.
-
A lune on the sphere. -
Six digon faces on a regular hexagonal hosohedron.
In topological structures
[edit]
Digons (bigons) may be used in constructing and analyzing various topological structures,[6] such as incidence structures.
See also
[edit]References
[edit]Citations
[edit]- ^ "ResearchGate".
- ^ The Symmetries of Things 2008, John H. Conway, Heidi Burgiel, Chaim Goodman-Strauss, ISBN 978-1-56881-220-5, p. 263
- ^ Eric T. Eekhoff; Constructibility of Regular Polygons Archived 2015-07-14 at the Wayback Machine, Iowa State University. (retrieved 20 December 2015)
- ^ Coxeter (1973), Chapter 1, Polygons and Polyhedra, p.4
- ^ Coxeter (1973), Chapter 1, Polygons and Polyhedra, pages 4 and 12.
- ^ a b Alex Degtyarev, Topology of Algebraic Curves: An Approach via Dessins d'Enfants, p. 263
Bibliography
[edit]- Herbert Busemann, The geometry of geodesics. New York, Academic Press, 1955
- Coxeter, Regular Polytopes (third edition), Dover Publications Inc, 1973 ISBN 0-486-61480-8
- Weisstein, Eric W. "Digon". MathWorld.
- A.B. Ivanov (2001) [1994], "Digon", Encyclopedia of Mathematics, EMS Press
External links
[edit]
Digon
View on Grokipediafrom Grokipedia
A digon, also known as a bigon or 2-gon, is a degenerate polygon in geometry consisting of two edges and two vertices.[1][2] In Euclidean space, it manifests as a line segment where the two edges coincide, lacking an interior or area, and is thus considered degenerate.[1] The term derives from the prefix di- meaning "two" combined with -gon, the suffix denoting a plane figure with a specified number of angles, rooted in Proto-Indo-European origins for "two" and "angle."[3] A regular digon features two equal-length edges meeting at equal angles, denoted by the Schläfli symbol {2}.[1][2]
While abstract and non-standard in flat geometry, digons gain significance in non-Euclidean contexts such as spherical or elliptic geometry, where they form a lune—a two-sided region bounded by two great circle arcs connecting antipodal points on a sphere.[4] In these spaces, a digon encloses a meaningful area and serves as a foundational element in tilings, polyhedra like hosohedra, and topological studies.[5] For instance, regular digons appear in spherical tilings as the simplest uniform polyhedron components.[5] Beyond geometry, the concept extends to graph theory, where a digon represents a pair of parallel or antiparallel edges in multigraphs.[3]
Introduction and Definition
Basic Definition
A digon, also known as a bigon or 2-gon, is a degenerate polygon consisting of exactly two edges and two vertices.[1] In standard Euclidean geometry, it is degenerate because the two edges coincide along the same line, effectively forming a single line segment traversed twice, once in each direction.[1] Not generally recognised as a polygon in the Euclidean plane, although it can exist as a spherical polygon.[6] The digon exhibits fundamental properties arising from its minimal form, including rotational symmetry of order 2, whereby a 180-degree rotation around the midpoint of the edges maps the figure onto itself.[1] Its interior angle is interpreted as 0 degrees in the Euclidean plane due to the collinear edges.[7] As the limiting case of an n-gon when n approaches 2, the digon represents the boundary of polygonal degeneration, where the formula for the sum of interior angles, (n-2)×180 degrees, yields 0 degrees.[8] Visually, the digon appears as two coincident rays emanating from each vertex, creating a "doubled" line segment.[1] All digons are regular by default, as the two edges must be of equal length to connect the vertices consistently.[1]Etymology
The term "digon" derives from the Greek prefix di-, meaning "two," combined with the suffix -gon, from gōnia ("angle" or "corner"), following the standard nomenclature for polygons such as trigōnon (triangle) and pentagōnon (pentagon).[9] Alternative terms include "bigon," blending the Latin prefix bi- ("two") with the Greek -gon, and the descriptive "2-gon"; while a 1-sided figure is termed a "henagon" or "monogon," the digon remains the conventional designation for the two-sided polygon in contemporary mathematical literature.[1] The earliest recorded uses of "digon" appear in Talmudic and medieval Hebrew geometric texts, where it denotes a biangular figure, such as a semicircular "biangular house," representing a transitional angle-based geometry distinct from ancient Greek traditions that began polygons at three sides. This nomenclature evolved in the 20th century through spherical trigonometry, where the digon equates to a lune bounded by two great-circle arcs, before H.S.M. Coxeter's systematic introduction in his foundational work on regular polytopes, extending polygonal families for theoretical completeness. In this context, the digon corresponds to the Schläfli symbol {2}, underscoring its role in higher-dimensional generalizations.Geometric Constructions
In Euclidean Geometry
In Euclidean geometry, a digon is a degenerate polygon consisting of two vertices connected by two coincident edges that overlap exactly along a single line segment. This construction requires the edges to coincide completely, as distinct straight-line edges between two points cannot form a closed figure without violating the planarity and non-intersecting requirements of simple polygons in the flat plane. Unlike polygons with three or more sides, the digon cannot enclose a positive area, reducing instead to a one-dimensional line segment traversed twice. The properties of the digon in the Euclidean plane reflect its degeneracy: it has zero area and no interior, while its perimeter equals twice the length of the underlying line segment. The boundary is mathematically described as a doubled traversal of the line segment between the two vertices, say points and , where the path proceeds from to and returns along the identical path. This configuration ensures closure but lacks the topological distinction of higher-sided polygons, rendering it invalid as a simple closed curve in standard Euclidean embeddings. Despite its limitations, the digon holds abstract utility in mathematical analysis, such as in limiting processes that collapse an -gon to two sides as approaches 2, providing a foundational case for generalizing polygonal theorems and polytope constructions. In the framework of uniform polytopes, it serves as the 2-dimensional base with Schläfli symbol , facilitating extensions to higher dimensions. Additionally, in computational geometry, digons emerge as artifacts during mesh degeneration, where they indicate collapsed or invalid polygons that algorithms must identify and eliminate to maintain numerical stability and prevent errors in triangulation or rendering processes.In Spherical Geometry
In spherical geometry, the digon appears as a non-degenerate spherical lune, a region on the surface of a sphere bounded by two great circle arcs that intersect at antipodal points, forming a two-sided wedge analogous to a slice of the sphere. These arcs serve as geodesics connecting the two vertices (the poles), with the shape defined by the dihedral angle θ between the planes containing the great circles.[10] The geometric properties of the spherical digon include an area of , where is the dihedral angle in radians and is the sphere's radius; for a unit sphere (), this simplifies to . The two edges are semicircular great circle arcs, each of length , while the vertices coincide with the antipodal poles. The spherical excess of the digon, calculated as the sum of its interior angles minus for sides (yielding ), equals the area divided by , underscoring its role in spherical trigonometry for computing areas via angular measures. This excess is particularly relevant in lune-based triangulations, where overlapping lunes help derive the area-excess relation for more complex spherical polygons, as established in classical proofs like Girard's theorem.[11] The digon serves as a foundational element in spherical polyhedra, providing the basic building block for tilings and structures on the sphere. It also finds practical application in early map projections, such as the globe gores of Martin Waldseemüller's 1507 cosmographic globe, which divided the terrestrial sphere into digon-like sectors for assembly. In astronomy, lunes corresponding to digons divide the celestial sphere along meridians, facilitating coordinate systems like right ascension for tracking stellar positions and timekeeping.[12][13]Polyhedral and Higher-Dimensional Analogues
Hosohedra and Dihedra
A hosohedron is a type of polyhedron consisting of n digonal faces that all meet at two apical vertices, resembling a spindly sphere divided into longitudinal sections. These faces are spherical digons, or lunes, each bounded by two great circle arcs connecting the poles. For n=2, the digonal hosohedron features two such digonal faces, forming a simple division of the sphere along a single great circle into two hemispheres treated as digons. This construction embeds the digons as meridians on the sphere, providing a regular tessellation where the vertex figure is an n-gon.[5][14] The dual of the hosohedron is the dihedron, a polyhedron with two n-gonal faces, each occupying a hemisphere, connected along their boundaries by edges that form digons in the abstract sense. The regular dihedron, denoted in Schläfli notation as {n,2}, has its faces as spherical n-gons separated by n great circle edges of length 2π/n on a unit sphere. In a Euclidean approximation, dihedra can be visualized as two cones joined at their bases, though this loses the spherical regularity. A specific example is the digonal dihedron, which manifests as a lune solid—a wedge-shaped volume bounded by two digonal faces.[15][14] Both hosohedra and dihedra exhibit the Euler characteristic χ = 2, consistent with their spherical topology: for a hosohedron, there are 2 vertices, n edges, and n faces (V − E + F = 2 − n + n = 2); the dihedron, as its dual, shares this property with n vertices, n edges, and 2 faces (V − E + F = n − n + 2 = 2). These structures are employed in the enumeration of uniform polyhedra, serving as limiting cases in classifications of regular figures. However, in Euclidean space, they are degenerate, collapsing to a line segment where the apical vertices coincide and the faces flatten along the axis, rendering them non-convex and unrealizable without spherical curvature.[14][16]Schläfli Symbols in Uniform Polytopes
The Schläfli symbol {2} denotes the digon as a regular 2-gon, serving as the foundational element in the notation for regular polytopes and their uniform variants. This symbol extends naturally to higher dimensions, where {2,p} represents hosohedra—polytopes with p digonal faces meeting at two opposite vertices—and {p,2} denotes dihedra, featuring two p-gonal faces connected by p edges, applicable in three dimensions and beyond.[17] In the context of uniform polytopes, the digon qualifies as a regular polygon with density 1, ensuring vertex-transitivity and regular 2-faces in encompassing structures. Within Coxeter-Dynkin diagrams, the digon manifests as a single node, while integrations into higher-dimensional diagrams incorporate bonds labeled 2, corresponding to dihedral angles of .[17] In four dimensions, digons appear in degenerate uniform polychora, such as the hosohedral polychoron with Schläfli symbol {2,2,p}, where p digons meet at vertices in a higher-dimensional analogue of the spherical lune.[18] These constructions play a key role in Wythoff symbols, enabling the generation of uniform polytopes by reflecting over mirrors in Coxeter groups, where digonal components yield prismatic and antiprismatic figures. The digon's incorporation into Schläfli symbols completes the spectrum of regular polytopes, bridging convex and degenerate cases across dimensions. It further aids in density computations for star polytopes, where digonal elements contribute to winding numbers and intersection densities, as seen in complex uniform figures like the great dirhombicosidodecahedron.[17]Abstract and Topological Interpretations
In Topology
In topology, the digon is realized as a 2-dimensional cell homeomorphic to a closed disk, whose boundary circle is partitioned into two arcs that are identified via a homeomorphism, yielding a quotient space that serves as a fundamental domain for certain surfaces.[19] This structure arises naturally in the construction of closed surfaces through edge identifications on polygonal schemas, where the digon represents the simplest such polygon with two sides. The spherical lune provides a prototypical geometric embedding of this topological object, though the abstract treatment focuses on the quotient topology independent of embedding.[19] In the framework of CW-complexes, the digon is modeled as a single 2-cell attached to a 1-skeleton consisting of a single 0-cell and a single 1-cell forming a loop, with the attaching map determined by the edge labels.[20] For the gluing scheme denoted , where the two boundary arcs are identified with opposite orientations, the attaching map is nullhomotopic (degree 0), resulting in the sphere , which is simply connected with trivial fundamental group.[19] In contrast, the scheme identifies the arcs with matching orientations, yielding the real projective plane , a non-orientable surface whose fundamental group is .[19] Gluing two such digons along their boundaries, as in the case of two hemispherical lunes, reconstructs the sphere, while multiple digons with appropriate twisted gluings can generate higher non-orientable surfaces like the projective plane or Klein bottle via successive identifications.[19] Regarding simplicial homology, the digon contributes a generator to the 2-chains in the cellular chain complex of the resulting surface. The boundary map applied to the digon cycle is given by where and are the 1-chains corresponding to the two boundary edges. Upon identification, and become the same chain (up to sign from orientation), rendering in the degenerate case of the sphere, where the digon generates . For the projective plane under the gluing, the attaching map has degree 2, so , yielding as the kernel of vanishes. The digon plays a key role in classifying surfaces via polygonal schemas, serving as a foundational building block for decomposing closed orientable and non-orientable surfaces into quotients of disks with paired edge identifications.[19] In orbifold theory, digons model regions around singular points, such as cone points of order 2, facilitating the study of quotient spaces with local group actions.[21] Additionally, in computational topology, digons appear as degenerate 2-faces in simplicial meshes and are routinely eliminated during refinement processes to ensure manifold properties and improve numerical stability in geometry processing algorithms.[22]In Graph Theory
In graph theory, a digon is defined as a cycle of length two in a multigraph, formed by two parallel undirected edges connecting the same pair of vertices.[23] This structure arises naturally in multigraphs where multiple edges between vertices are permitted, distinguishing it from simple graphs that prohibit such multiples.[3] The presence of a digon reduces the girth of a graph to 2, as the girth is the length of its shortest cycle, and a digon qualifies as the minimal such cycle in multigraphs allowing parallels.[24] In planar embeddings of multigraphs, digons manifest as faces of degree two, which are often regarded as degenerate because traditional analyses of planar graphs assume minimum face degrees of at least three; nevertheless, Euler's formula remains valid, though it permits looser edge bounds compared to the standard derived under the no-digon assumption.[25] In algebraic graph theory, digons influence the spectrum of the adjacency matrix, where the multiplicity of edges (such as two for a digon) replaces binary entries with higher integers, thereby adjusting eigenvalues to reflect the strengthened connections between vertices.[26] Applications extend to network analysis, where digons enable modeling of multiple interactions between entities, such as repeated ties in social or biological networks, and algorithms for detecting such multiples aid in identifying redundant or intensified links.[27] A basic example is the complete multigraph with exactly two edges between its vertices, which forms a isolated digon.[23] In graph studies like the Petersen graph, which has girth 5 and thus excludes digons, such structures are absent to preserve higher cycle lengths essential for properties like non-Hamiltonicity.[28] Similarly, expander graphs often forbid digons by design to ensure girth greater than 2, enhancing their pseudorandom expansion characteristics in theoretical constructions.[29]References
- https://en.wiktionary.org/wiki/digon