A dihedron is a type of polyhedron, made of two polygon faces which share the same set of ''n''

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

. In three-dimensional Euclidean space, it is

degenerate Degeneracy, degenerate, or degeneration may refer to: Arts and entertainment * ''Degenerate'' (album), a 2010 album by the British band Trigger the Bloodshed * Degenerate art, a term adopted in the 1920s by the Nazi Party in Germany to descr ...

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 A lens space is an example of a topological space, considered in mathematics. The term often refers to a specific class of 3-manifolds, but in general can be defined for higher dimensions. In the 3-manifold case, a lens space can be visualize ...

L(''p'',''q''). Dihedra have also been called bihedra, flat polyhedra, or doubly covered polygons. As a

spherical tiling In geometry, a spherical polyhedron or spherical tiling is a tiling of the sphere in which the surface is divided or partitioned by great arcs into bounded regions called spherical polygons. Much of the theory of symmetrical polyhedra is most c ...

, a dihedron can exist as nondegenerate form, with two ''n''-sided faces covering the sphere, each face being a

hemisphere Hemisphere refers to: * A half of a sphere As half of the Earth * A hemisphere of Earth ** Northern Hemisphere ** Southern Hemisphere ** Eastern Hemisphere ** Western Hemisphere ** Land and water hemispheres * A half of the (geocentric) celestia ...

, and vertices on a

great circle In mathematics, a great circle or orthodrome is the circular intersection of a sphere and a plane passing through the sphere's center point. Any arc of a great circle is a geodesic of the sphere, so that great circles in spherical geomet ...

. It is regular if the vertices are equally spaced. The

dual Dual or Duals may refer to: Paired/two things * Dual (mathematics), a notion of paired concepts that mirror one another ** Dual (category theory), a formalization of mathematical duality *** see more cases in :Duality theories * Dual (grammatical ...

of an ''n''-gonal dihedron is an ''n''-gonal

hosohedron In spherical geometry, an -gonal hosohedron is a tessellation of lunes on a spherical surface, such that each lune shares the same two polar opposite vertices. A regular -gonal hosohedron has Schläfli symbol with each spherical lune havin ...

, where ''n'' digon faces share two vertices.

As a flat-faced polyhedron

A dihedron can be considered a degenerate prism whose two (planar) ''n''-sided polygon bases are connected "back-to-back", so that the resulting object has no depth. The polygons must be congruent, but glued in such a way that one is the mirror image of the other. This applies only if the distance between the two faces is zero; for a distance larger than zero, the faces are infinite polygons (a bit like the

apeirogonal hosohedron In geometry, an apeirogonal hosohedron or infinite hosohedronConway (2008), p. 263 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 ...

's digon faces, having a width larger than zero, are infinite stripes). Dihedra can arise from Alexandrov's uniqueness theorem, which characterizes the distances on the surface of any convex polyhedron as being locally Euclidean except at a finite number of points with positive

angular defect In geometry, the (angular) defect (or deficit or deficiency) means the failure of some angles to add up to the expected amount of 360° or 180°, when such angles in the Euclidean plane would. The opposite notion is the excess. Classically the defe ...

summing to 4π. This characterization holds also for the distances on the surface of a dihedron, so the statement of Alexandrov's theorem requires that dihedra be considered as convex polyhedra. Some dihedra can arise as lower limit members of other polyhedra families: a prism with digon bases would be a square dihedron, and a pyramid with a digon base would be a triangular dihedron. A regular dihedron, with Schläfli symbol , is made of two regular polygons, each with

Schläfli symbol In geometry, the Schläfli symbol is a notation of the form \ that defines regular polytopes and tessellations. The Schläfli symbol is named after the 19th-century Swiss mathematician Ludwig Schläfli, who generalized Euclidean geometry to more ...

As a tiling of the sphere

A spherical dihedron is made of two spherical polygons which share the same set of ''n'' vertices, on a

equator; each polygon of a spherical dihedron fills a

. A regular spherical dihedron is made of two regular spherical polygons which share the same set of ''n'' vertices, equally spaced on a

equator. The regular polyhedron is self-dual, and is both a

and a dihedron.

Apeirogonal dihedron

As ''n'' tends to infinity, an ''n''-gonal dihedron becomes an

apeirogonal dihedron In geometry, an order-2 apeirogonal tiling, apeirogonal dihedron, or infinite dihedronConway (2008), p. 263 is a tiling of the plane consisting of two apeirogons. It may be considered an improper regular tiling of the Euclidean plane, with Sch ...

as a 2-dimensional tessellation:
Apeirogonal tiling

Ditopes

A regular ''ditope'' is an ''n''-dimensional analogue of a dihedron, with Schläfli symbol . It has two facets, , which share all ridges, in common.

References

External links