9-orthoplex

In geometry, a 9-orthoplex or 9-cross polytope, is a regular 9-polytope with 18 vertices, 144 edges, 672 triangle faces, 2016 tetrahedron cells, 4032 5-cells 4-faces, 5376 5-simplex 5-faces, 4608 6-simplex 6-faces, 2304 7-simplex 7-faces, and 512 8-simplex 8-faces.

Regular 9-orthoplex

Ennecross


Orthogonal projection
inside Petrie polygon
TypeRegular 9-polytope
Familyorthoplex
Schläfli symbol{37,4}
{36,31,1}
Coxeter-Dynkin diagrams
8-faces512 {37}
7-faces2304 {36}
6-faces4608 {35}
5-faces5376 {34}
4-faces4032 {33}
Cells2016 {3,3}
Faces672 {3}
Edges144
Vertices18
Vertex figureOctacross
Petrie polygonOctadecagon
Coxeter groupsC9, [37,4]
D9, [36,1,1]
Dual9-cube
Propertiesconvex

It has two constructed forms, the first being regular with Schläfli symbol {37,4}, and the second with alternately labeled (checkerboarded) facets, with Schläfli symbol {36,31,1} or Coxeter symbol 611.

It is one of an infinite family of polytopes, called cross-polytopes or orthoplexes. The dual polytope is the 9-hypercube or enneract.

Alternate names

  • Enneacross, derived from combining the family name cross polytope with ennea for nine (dimensions) in Greek
  • Pentacosidodecayotton as a 512-facetted 9-polytope (polyyotton)

Construction

There are two Coxeter groups associated with the 9-orthoplex, one regular, dual of the enneract with the C9 or [4,37] symmetry group, and a lower symmetry with two copies of 8-simplex facets, alternating, with the D9 or [36,1,1] symmetry group.

Cartesian coordinates

Cartesian coordinates for the vertices of a 9-orthoplex, centered at the origin, are

(±1,0,0,0,0,0,0,0,0), (0,±1,0,0,0,0,0,0,0), (0,0,±1,0,0,0,0,0,0), (0,0,0,±1,0,0,0,0,0), (0,0,0,0,±1,0,0,0,0), (0,0,0,0,0,±1,0,0,0), (0,0,0,0,0,0,±1,0,0), (0,0,0,0,0,0,0,±1,0), (0,0,0,0,0,0,0,0,±1)

Every vertex pair is connected by an edge, except opposites.

Images

orthographic projections
B9 B8 B7
[18] [16] [14]
B6 B5
[12] [10]
B4 B3 B2
[8] [6] [4]
A7 A5 A3
[8] [6] [4]
gollark: Rust emoji WHEN?!?!?!?!
gollark: You can express them as `list.iter().filter().map().collect()` which I prefer.
gollark: Plus, it is inelegant because it requires dedicated syntax.
gollark: imagine linked liststhis meme made by Vec gang
gollark: So how do you want to do long chains of mapping or something?

References

  • H.S.M. Coxeter:
    • H.S.M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York, 1973
    • Kaleidoscopes: Selected Writings of H.S.M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication, 1995, ISBN 978-0-471-01003-6
      • (Paper 22) H.S.M. Coxeter, Regular and Semi Regular Polytopes I, [Math. Zeit. 46 (1940) 380-407, MR 2,10]
      • (Paper 23) H.S.M. Coxeter, Regular and Semi-Regular Polytopes II, [Math. Zeit. 188 (1985) 559-591]
      • (Paper 24) H.S.M. Coxeter, Regular and Semi-Regular Polytopes III, [Math. Zeit. 200 (1988) 3-45]
  • Norman Johnson Uniform Polytopes, Manuscript (1991)
    • N.W. Johnson: The Theory of Uniform Polytopes and Honeycombs, Ph.D.
  • Klitzing, Richard. "9D uniform polytopes (polyyotta) x3o3o3o3o3o3o3o4o - vee".
Fundamental convex regular and uniform polytopes in dimensions 2–10
Family An Bn I2(p) / Dn E6 / E7 / E8 / F4 / G2 Hn
Regular polygon Triangle Square p-gon Hexagon Pentagon
Uniform polyhedron Tetrahedron OctahedronCube Demicube DodecahedronIcosahedron
Uniform 4-polytope 5-cell 16-cellTesseract Demitesseract 24-cell 120-cell600-cell
Uniform 5-polytope 5-simplex 5-orthoplex5-cube 5-demicube
Uniform 6-polytope 6-simplex 6-orthoplex6-cube 6-demicube 122221
Uniform 7-polytope 7-simplex 7-orthoplex7-cube 7-demicube 132231321
Uniform 8-polytope 8-simplex 8-orthoplex8-cube 8-demicube 142241421
Uniform 9-polytope 9-simplex 9-orthoplex9-cube 9-demicube
Uniform 10-polytope 10-simplex 10-orthoplex10-cube 10-demicube
Uniform n-polytope n-simplex n-orthoplexn-cube n-demicube 1k22k1k21 n-pentagonal polytope
Topics: Polytope familiesRegular polytopeList of regular polytopes and compounds
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.