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 ...
, a hemipolyhedron is a
uniform star polyhedron
In geometry, a uniform star polyhedron is a self-intersecting uniform polyhedron. They are also sometimes called nonconvex polyhedra to imply self-intersecting. Each polyhedron can contain either star polygon faces, star polygon vertex figures, ...
some of whose faces pass through its center. These "hemi" faces lie parallel to the faces of some other symmetrical polyhedron, and their count is half the number of faces of that other polyhedron – hence the "hemi" prefix.
The prefix "hemi" is also used to refer to certain
projective polyhedra
In geometry, a (globally) projective polyhedron is a tessellation of the real projective plane. These are projective analogs of spherical polyhedra – tessellations of the sphere – and toroidal polyhedra – tessellations of the toroids.
Projec ...
, such as the
hemi-cube, which are the image of a 2 to 1 map of a
spherical polyhedron
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 ...
with
central symmetry
In geometry, a point reflection (point inversion, central inversion, or inversion through a point) is a type of isometry of Euclidean space. An object that is invariant under a point reflection is said to possess point symmetry; if it is invari ...
.
Wythoff symbol and vertex figure
Their
Wythoff symbol
In geometry, the Wythoff symbol is a notation representing a Wythoff construction of a uniform polyhedron or plane tiling within a Schwarz triangle. It was first used by Coxeter, Longuet-Higgins and Miller in their enumeration of the uniform pol ...
s are of the form
''p''/
(''p'' − ''q'') ''p''/
''q'' , ''r''; their
vertex figure
In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a polyhedron or polytope is sliced off.
Definitions
Take some corner or vertex of a polyhedron. Mark a point somewhere along each connected edge. Draw line ...
s are
crossed quadrilateral
In geometry a quadrilateral is a four-sided polygon, having four edges (sides) and four corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''latus'', meaning "side". It is also called a tetragon, ...
s. They are thus related to the
cantellated polyhedra, which have similar Wythoff symbols. The
is
''p''/
''q''.2''r''.
''p''/
(''p'' − ''q'').2''r''. The 2''r''-gon faces pass through the center of the model: if represented as faces of
spherical polyhedra
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 ...
, they cover an entire hemisphere and their edges and vertices lie along a
great circle. The
''p''/
(''p'' − q) notation implies a
face turning backwards around the vertex figure.
The nine forms, listed with their Wythoff symbols and vertex configurations are:
Note that Wythoff's kaleidoscopic construction generates the nonorientable hemipolyhedra (all except the octahemioctahedron) as double covers (two coincident hemipolyhedra).
In the Euclidean plane, the sequence of hemipolyhedra continues with the following four star tilings, where
apeirogon
In geometry, an apeirogon () or infinite polygon is a generalized polygon with a countably infinite number of sides. Apeirogons are the two-dimensional case of infinite polytopes.
In some literature, the term "apeirogon" may refer only to th ...
s appear as the aforementioned equatorial polygons:
Of these four tilings, only 6/5 6 ∞ is generated as a double cover by Wythoff's construction.
Orientability
Only the
octahemioctahedron
In geometry, the octahemioctahedron or allelotetratetrahedron is a nonconvex uniform polyhedron, indexed as . It has 12 faces (8 triangles and 4 hexagons), 24 edges and 12 vertices. Its vertex figure is a crossed quadrilateral.
It is one of n ...
represents an
orientable
In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "counterclockwise". A space i ...
surface; the remaining hemipolyhedra have non-orientable or single-sided surfaces. This is because proceeding around an equatorial 2''r''-gon, the
''p''/
''q''-gonal faces alternately point "up" and "down", so any two consecutive ones have opposite senses. This is equivalent to demanding that the
''p''/
''q''-gons in the corresponding quasiregular polyhedra below can be alternatively given positive and negative orientations. But that is only possible for the triangles of the cuboctahedron (corresponding to the triangles of the octahedron, the only regular polyhedron with an ''even'' number of faces meeting at a vertex), which are precisely the non-hemi faces of the octahemioctahedron.
Duals of the hemipolyhedra
Since the hemipolyhedra have
faces
The face is the front of an animal's head that features the eyes, nose and mouth, and through which animals express many of their emotions. The face is crucial for human identity, and damage such as scarring or developmental deformities may affe ...
passing through the center, the
dual figures have corresponding
vertices at infinity; properly, on the
real projective plane
In mathematics, the real projective plane is an example of a compact non-orientable two-dimensional manifold; in other words, a one-sided surface. It cannot be embedded in standard three-dimensional space without intersecting itself. It has b ...
at infinity.
In
Magnus Wenninger
Father Magnus J. Wenninger OSB (October 31, 1919Banchoff (2002)– February 17, 2017) was an American mathematician who worked on constructing polyhedron models, and wrote the first book on their construction.
Early life and education
Born to Ge ...
's ''Dual Models'', they are represented with intersecting
prisms, each extending in both directions to the same vertex at infinity, in order to maintain symmetry. In practice the model prisms are cut off at a certain point that is convenient for the maker. Wenninger suggested these figures are members of a new class of
stellation figures, called ''stellation to infinity''. However, he also suggested that strictly speaking they are not polyhedra because their construction does not conform to the usual definitions.
There are 9 such duals, sharing only 5 distinct outward forms, four of them existing in outwardly identical pairs. The members of a given visually identical pair differ in their arrangements of true and false vertices (a false vertex is where two edges cross each other but do not join). The outward forms are:
Relationship with the quasiregular polyhedra
The hemipolyhedra occur in pairs as
facetings of the
quasiregular polyhedra with four faces at a vertex. These quasiregular polyhedra have vertex configuration ''m''.''n''.''m''.''n'' and their edges, in addition to forming the ''m''- and ''n''-gonal faces, also form hemi-faces of the hemipolyhedra. Thus, the hemipolyhedra can be derived from the quasiregular polyhedra by discarding either the ''m''-gons or ''n''-gons (to maintain two faces at an edge) and then inserting the hemi faces. Since either ''m''-gons or ''n''-gons may be discarded, either of two hemipolyhedra may be derived from each quasiregular polyhedron, except for the
octahedron
In geometry, an octahedron (plural: octahedra, octahedrons) is a polyhedron with eight faces. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at ea ...
as a
tetratetrahedron
In geometry, an octahedron (plural: octahedra, octahedrons) is a polyhedron with eight faces. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at ea ...
, where ''m'' = ''n'' = 3 and the two facetings are congruent. (This construction does not work for the quasiregular polyhedra with six faces at a vertex, also known as the
ditrigonal polyhedra, as their edges do not form any regular hemi-faces.)
Since the hemipolyhedra, like the quasiregular polyhedra, also have two types of faces alternating around each vertex, they are sometimes also considered to be quasiregular.
Here ''m'' and ''n'' correspond to
''p''/
''q'' above, and ''h'' corresponds to 2''r'' above.
References
*
* (Wenninger models: 67, 68, 78, 89, 91, 100, 102, 106, 107)
*{{Citation , last1=Wenninger , first1=Magnus , author1-link=Magnus Wenninger , title=Dual Models , publisher=
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by King Henry VIII in 1534, it is the oldest university press in the world. It is also the King's Printer.
Cambridge University Pre ...
, isbn=978-0-521-54325-5 , mr=730208 , year=1983
* Har'El, Z
''Uniform Solution for Uniform Polyhedra.'' Geometriae Dedicata 47, 57-110, 1993
Zvi Har’El(Page 10, 5.2. Hemi polyhedra p p', r.)
External links
Stella Polyhedral Glossaryin Visual Polyhedra
Uniform polyhedra