User:Tomruen/convex uniform polyhedron

From Wikipedia, the free encyclopedia

A convex uniform polyhedron is a polyhedron with regular polygons faces and identical vertices. Furthermore, for every two vertices there is an isometry mapping one into the other, so there is a high degree of reflectional and rotational symmetry. Convex uniform polyhedra are regular or semi-regular.

See also uniform polyhedron for nonconvex forms.

Categories include:

  • {}x{p} Infinite set of uniform prisms (including star prisms)
  • s{}x{p}: Infinite set of uniform antiprisms (including star antiprisms)
  • {p,q}: 5 Platonic solid regular convex polyhedra
  • {p,q}: 3 regular tilings of the plane
    • 8 uniform truncations of the regular tilings
  • {p,q}: infinitely many regular tilings of the hyperbolic plane (and uniform truncations)

The Platonic solids date back to the classical Greeks and were studied by Plato, Theaetetus and Euclid. Johannes Kepler (1571-1630) was the first to publish the complete list of Archimedean solids after the original work of Archimedes was lost.

The convex uniform polyhedra can be named by Wythoff construction operations upon a parent form. You can see in the table below that some of the polyhedra exist from different constructions, and these show different symmetries.

Note: Dihedra are members of an infinite set of two-sided polyhedra (2 identical polygons) which generate the prisms as truncated forms.

Each of these convex forms define set of vertices that can be identified for the nonconvex forms in the next section.

Parent Truncated Rectified Bitruncated
(truncated dual)
Birectified
(dual)
Cantellated Cantitruncated
(Omnitruncated)
Snub
Extended
Schläfli symbol
\begin{Bmatrix} p , q \end{Bmatrix} t\begin{Bmatrix} p , q \end{Bmatrix} \begin{Bmatrix} p \\ q \end{Bmatrix} t\begin{Bmatrix} q , p \end{Bmatrix} \begin{Bmatrix} q , p \end{Bmatrix} r\begin{Bmatrix} p \\ q \end{Bmatrix} t\begin{Bmatrix} p \\ q \end{Bmatrix} s\begin{Bmatrix} p \\ q \end{Bmatrix}
t0{p,q} t0,1{p,q} t1{p,q} t1,2{p,q} t2{p,q} t0,2{p,q} t0,1,2{p,q} s{p,q}
Wythoff symbol
p-q-2
q | p 2 2 q | p 2 | p q 2 p | q p | q 2 p q | 2 p q 2 | | p q 2
Coxeter-Dynkin diagram
(variations)
Image:dynkins-100.png Image:dynkins-110.png Image:dynkins-010.png Image:dynkins-011.png Image:dynkins-001.png Image:dynkins-101.png Image:dynkins-111.png Image:Dynkins-sss.png
(o)-p-o-q-o (o)-p-(o)-q-o o-p-(o)-q-o o-p-(o)-q-(o) o-p-o-q-(o) (o)-p-o-q-(o) (o)-p-(o)-q-(o) ( )-p-( )-q-( )
xPoQo xPxQo oPxQo oPxQx oPoQx xPoQx xPxQx sPsQs
[p,q]:001 [p,q]:011 [p,q]:010 [p,q]:110 [p,q]:100 [p,q]:101 [p,q]:111 [p,q]:111s
Vertex figure pq (q.2p.2p) (p.q.p.q) (p.2q.2q) qp (p.4.q.4) (4.2p.2q) (3.3.p.3.q)
Dihedral
2-3-2

{2,3}

3.4.4
2.3.2.3 2.6.6 {3,2} 2.4.3.4
4.4.6

3.3.3.3.2
Tetrahedral
3-3-2

{3,3}

(3.6.6)

(3.3.3.3)

(3.6.6)

{3,3}

(3.4.3.4)

(4.6.6)

(3.3.3.3.3)
Octahedral
4-3-2

{4,3}

(3.8.8)

(3.4.3.4)

(4.6.6)

{3,4}

(3.4.4.4)

(4.6.8)

(3.3.3.3.4)
Icosahedral
5-3-2

{5,3}

(3.10.10)

(3.5.3.5)

(5.6.6)

{3,5}

(3.4.5.4)

(4.6.10)

(3.3.3.3.5)
Hexagonal
6-3-2

{6,3}

(3.12.12)

(3.6.3.6)

(6.6.6)

{3,6}

(3.4.6.4)

(4.6.12)

(3.3.3.3.6)
Septagonal
(Order 3)
7-3-2

{7,3}

(3.14.14)

(3.7.3.7)

(6.7.7)

{3,7}

(3.4.7.4)

(4.6.14)

(3.3.3.3.7)
Parent Truncated Rectified Bitruncated
(truncated dual)
Birectified
(dual)
Cantellated Cantitruncated
(Omnitruncated)
Snub
Vertex figure pq (q.2p.2p) (p.q.p.q) (p.2q.2q) qp (p.4.q.4) (4.2p.2q) (3.3.p.3.q)
Dihedral
4-2-2
{4,2} 2.8.8 2.4.2.4
4.4.4
{2,4} 2.4.4.4
4.4.8

3.3.3.4
Octahedral
4-3-2

{4,3}

(3.8.8)

(3.4.3.4)

(4.6.6)

{3,4}

(3.4.4.4)

(4.6.8)

(3.3.3.3.4)
Square
4-4-2

{4,4}

(4.8.8)

(4.4.4.4)

(4.8.8)

{4,4}

(4.4.4.4)

(4.8.8)

(3.3.4.3.4)
{4,5} hyperbolic
4-5-2

{4,5}

5.8.8

4.5.4.5

4.10.10

{5,4}

5.4.4.4

4.8.10

3.3.4.3.5
Parent Truncated Rectified Bitruncated
(truncated dual)
Birectified
(dual)
Cantellated Cantitruncated
(Omnitruncated)
Snub
Vertex figure pq (q.2p.2p) (p.q.p.q) (p.2q.2q) qp (p.4.q.4) (4.2p.2q) (3.3.p.3.q)
Dihedral
5-2-2
{5,2} 2.10.10 2.5.2.5
4.4.5
{2,5} 2.4.5.4
4.4.10

3.3.3.5
Dihedral
6-2-2

{6,2}
2.12.12 2.6.2.6
4.4.6

{2,6}
2.4.6.4
4.4.12

3.3.3.6

[edit] Definition of operations


Fundamental domains and generating points

Example forms from the cube and octahedron
Operation Extended
Schläfli
symbols
Coxeter-
Dynkin
diagram
Description
Parent t0{p,q} \begin{Bmatrix} p , q \end{Bmatrix} Image:Dynkins-100.png Any regular polyhedron or tiling
Rectified t1{p,q} \begin{Bmatrix} p \\ q \end{Bmatrix} Image:Dynkins-010.png The edges are fully-truncated into single points. The polyhedron now has the combined faces of the parent and dual.
Birectified
Also Dual
t2{p,q} \begin{Bmatrix} q , p \end{Bmatrix} Image:Dynkins-001.png
The birectified (dual) is a further truncation so that the original faces are reduced to points. New faces are formed under each parent vertex. The number of edges is unchanged and are rotated 90 degrees. The dual of the regular polyhedron {p, q} is also a regular polyhedron {q, p}.
Truncated t0,1{p,q} t\begin{Bmatrix} p , q \end{Bmatrix} Image:Dynkins-110.png Each original vertex is cut off, with new faces filling the gap. Truncation has a degree of freedom, which has one solution that creates a uniform truncated polyhedron. The polyhedron has its original faces doubled in sides, and contains the faces of the dual.
Bitruncated t1,2{p,q} t\begin{Bmatrix} q , p \end{Bmatrix} Image:Dynkins-011.png Same as truncated dual.
Cantellated
(or rhombated)
(Also expanded)
t0,2{p,q} r\begin{Bmatrix} p \\ q \end{Bmatrix} Image:Dynkins-101.png Each original edge is beveled with new rectangular faces appearing in their place, as well as the original vertices are also truncated. A uniform cantellation is half way between both the parent and dual forms.
Omnitruncated
(or cantitruncated)
(or rhombitruncated)
t0,1,2{p,q} t\begin{Bmatrix} p \\ q \end{Bmatrix} Image:Dynkins-111.png Thee runcation and cantellation operations are applied together create an omnitruncated form which has the parent's faces doubled in sides, the duals faces doubled in sides, and squares where the original edges existed.
Snub s{p,q} s\begin{Bmatrix} p \\ q \end{Bmatrix} Image:Dynkins-sss.png The snub takes the omnitruncated form and rectifies alternate vertices. (This operation is only possible for polyhedra with all even-sided faces.) All the original faces end up with half as many sides, and the square degenerate into edges. Since the omnitruncated forms have 3 faces/vertex, new triangles are formed.