Wythoff symbol

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Example Wythoff construction triangles with the 7 generator points. Lines to the active mirrors are colored red, yellow, and blue with the 3 nodes opposite them as associated by the Wythoff symbol.
The eight forms for the Wythoff constructions from a general triangle (p q r).

In geometry, the Wythoff symbol is a notation representating 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 polyhedra. Later the Coxeter diagram was developed to mark uniform polytopes and honeycombs in n-dimensional space within a fundamental simplex.

A Wythoff symbol consists of three numbers and a vertical bar. It represents one uniform polyhedron or tiling, although the same tiling/polyhedron can have different Wythoff symbols from different symmetry generators. For example, the regular cube can be represented by with Oh symmetry, and as a square prism with 2 colors and D4h symmetry, as well as with 3 colors and symmetry.

With a slight extension, Wythoff's symbol can be applied to all uniform polyhedra. However, the construction methods do not lead to all uniform tilings in Euclidean or hyperbolic space.

Description[edit]

The Wythoff construction begins by choosing a generator point on a fundamental triangle. If the distance of this point from each of the sides is non-zero, the point must be chosen to be an equal distance from each edge. A perpendicular line is then dropped between the generator point and every face that it does not lie on.

The three numbers in Wythoff's symbol, , and , represent the corners of the Schwarz triangle used in the construction, which are , and radians respectively. The triangle is also represented with the same numbers, written . The vertical bar in the symbol specifies a categorical position of the generator point within the fundamental triangle according to the following:

  • indicates that the generator lies on the corner ,
  • indicates that the generator lies on the edge between and ,
  • indicates that the generator lies in the interior of the triangle.

In this notation the mirrors are labeled by the reflection-order of the opposite vertex. The values are listed before the bar if the corresponding mirror is active.

A special use is the symbol which is designated for the case where all mirrors are active, but odd-numbered reflected images are ignored. The resulting figure has rotational symmetry only.

The generator point can either be on or off each mirror, activated or not. This distinction creates 8 (2³) possible forms, neglecting one where the generator point is on all the mirrors.

The Wythoff symbol is functionally similar to the more general Coxeter-Dynkin diagram, in which each node represents a mirror and the arcs between them – marked with numbers – the angles between the mirrors. (An arc representing a right angle is omitted.) A node is circled if the generator point is not on the mirror.

Example spherical, euclidean and hyperbolic tilings on right triangles (r = 2)[edit]

The fundamental triangles are drawn in alternating colors as mirror images. The sequence of triangles (p 3 2) change from spherical (p=3,4,5), to Euclidean (p=6), to hyperbolic (p=7,8,...∞). Hyperbolic tilings are shown as a Poincaré disk projection.

Wythoff symbol 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 diagram CDel node 1.pngCDel p.pngCDel node.pngCDel q.pngCDel node.png CDel node 1.pngCDel p.pngCDel node 1.pngCDel q.pngCDel node.png CDel node.pngCDel p.pngCDel node 1.pngCDel q.pngCDel node.png CDel node.pngCDel p.pngCDel node 1.pngCDel q.pngCDel node 1.png CDel node.pngCDel p.pngCDel node.pngCDel q.pngCDel node 1.png CDel node 1.pngCDel p.pngCDel node.pngCDel q.pngCDel node 1.png CDel node 1.pngCDel p.pngCDel node 1.pngCDel q.pngCDel node 1.png CDel node h.pngCDel p.pngCDel node h.pngCDel q.pngCDel node h.png
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
Fund. triangles 7 forms and snub
(4 3 2)
Octahedral reflection domains.png
3 | 4 2
Uniform tiling 432-t0.png
43
2 3 | 4
Uniform tiling 432-t01.png
3.8.8
2 | 4 3
Uniform tiling 432-t1.png
3.4.3.4
2 4 | 3
Uniform tiling 432-t12.png
4.6.6
4 | 3 2
Uniform tiling 432-t2.png
34
4 3 | 2
Uniform tiling 432-t02.png
3.4.4.4
4 3 2 |
Uniform tiling 432-t012.png
4.6.8
| 4 3 2
Spherical snub cube.png
3.3.3.3.8
(5 3 2)
Icosahedral reflection domains.png
3 | 5 2
Uniform tiling 532-t0.png
53
2 3 | 5
Uniform tiling 532-t01.png
3.10.10
2 | 5 3
Uniform tiling 532-t1.png
3.5.3.5
2 5 | 3
Uniform tiling 532-t12.png
5.6.6
5 | 3 2
Uniform tiling 532-t2.png
35
5 3 | 2
Uniform tiling 532-t02.png
3.4.5.4
5 3 2 |
Uniform tiling 532-t012.png
4.6.10
| 5 3 2
Spherical snub dodecahedron.png
3.3.3.3.5
(6 3 2)
Tile V46b.svg
3 | 6 2
Uniform tiling 63-t0.png
63
2 3 | 6
Uniform tiling 63-t01.png
3.12.12
2 | 6 3
Uniform tiling 63-t1.png
3.6.3.6
2 6 | 3
Uniform tiling 63-t12.png
6.6.6
6 | 3 2
Uniform triangular tiling 111111.png
36
6 3 | 2
Uniform tiling 63-t02.png
3.4.6.4
6 3 2 |
Uniform tiling 63-t012.svg
4.6.12
| 6 3 2
Uniform tiling 63-snub.png
3.3.3.3.6
(7 3 2)
H2checkers 237.png
3 | 7 2
H2 tiling 237-1.png
73
2 3 | 7
H2 tiling 237-3.png
3.14.14
2 | 7 3
H2 tiling 237-2.png
3.7.3.7
2 7 | 3
H2 tiling 237-6.png
7.6.6
7 | 3 2
H2 tiling 237-4.png
37
7 3 | 2
H2 tiling 237-5.png
3.4.7.4
7 3 2 |
H2 tiling 237-7.png
4.6.14
| 7 3 2
Uniform tiling 73-snub.png
3.3.3.3.7
(8 3 2)
H2checkers 238.png
3 | 8 2
H2 tiling 238-1.png
83
2 3 | 8
H2 tiling 238-3.png
3.16.16
2 | 8 3
H2 tiling 238-2.png
3.8.3.8
2 8 | 3
H2 tiling 238-6.png
8.6.6
8 | 3 2
H2 tiling 238-4.png
38
8 3 | 2
H2 tiling 238-5.png
3.4.8.4
8 3 2 |
H2 tiling 238-7.png
4.6.16
| 8 3 2
Uniform tiling 83-snub.png
3.3.3.3.8
(∞ 3 2)
H2checkers 23i.png
3 | ∞ 2
H2 tiling 23i-1.png
3
2 3 | ∞
H2 tiling 23i-3.png
3.∞.∞
2 | ∞ 3
H2 tiling 23i-2.png
3.∞.3.∞
2 ∞ | 3
H2 tiling 23i-6.png
∞.6.6
∞ | 3 2
H2 tiling 23i-4.png
3
∞ 3 | 2
H2 tiling 23i-5.png
3.4.∞.4
∞ 3 2 |
H2 tiling 23i-7.png
4.6.∞
| ∞ 3 2
Uniform tiling i32-snub.png
3.3.3.3.∞

See also[edit]

References[edit]

  • Coxeter Regular Polytopes, Third edition, (1973), Dover edition, ISBN 0-486-61480-8 (Chapter V: The Kaleidoscope, Section: 5.7 Wythoff's construction)
  • Coxeter The Beauty of Geometry: Twelve Essays, Dover Publications, 1999, ISBN 0-486-40919-8 (Chapter 3: Wythoff's Construction for Uniform Polytopes)
  • Coxeter, Longuet-Higgins, Miller, Uniform polyhedra, Phil. Trans. 1954, 246 A, 401–50.
  • Wenninger, Magnus (1974). Polyhedron Models. Cambridge University Press. ISBN 0-521-09859-9. pp. 9–10.

External links[edit]