# Simplex

n -simplex | |
---|---|

Rank | n |

Type | Regular |

Notation | |

Coxeter diagram | x3o3o3...3o (...) |

Schläfli symbol | {3,3,3, ..., ,3} |

Elements | |

Vertices | |

Vertex figure | (n – 1)-simplex, edge length 1 |

Petrie polygons | simplicially embedded n -gons |

Measures (edge length 1) | |

Circumradius | |

Inradius | |

Volume | |

Height | |

Central density | 1 |

Number of external pieces | |

Level of complexity | 1 |

Related polytopes | |

Dual | n -simplex |

Conjugate | None |

Abstract & topological properties | |

Flag count | |

Euler characteristic | 0 if n even 2 if n odd |

Orientable | Yes |

Properties | |

Symmetry | A_{n }, order |

Flag orbits | 1 |

Convex | Yes |

Nature | Tame |

A **simplex** (plural **simplices** or **simplexes**) is a polytope generalizing the notion of the triangle, tetrahedron, pentachoron, etc. to arbitrary dimensions. It is the simplest possible non-degenerate *n*-polytope in *n*-dimensional Euclidean space.

The n -dimensional simplex, or simply **n -simplex**, consists of n + 1 vertices, with each n of them joined in the unique manner by a simplex of the lower dimension. Alternatively, one may construct an n -simplex as the pyramid of the (n – 1)-simplex. All possible realizations of simplexes in Euclidean space produce convex and self-dual polytopes.

Every simplex is abstractly regular and can also be realized as geometrically regular. As such, the simplexes comprise one of the three infinite families of regular polytopes that exist in every dimension, the other two being the hypercubes and the orthoplexes.

## Elements[edit | edit source]

All of the elements of a simplex are simplexes themselves. The number of d -dimensional elements in an n -dimensional simplex is given by the binomial coefficient . This is because any choice of d +1 vertices defines a unique d -dimensional simplex. In particular, an n -dimensional simplex has n +1 vertices and n +1 facets (each shaped like an (n -1)-dimensional simplex), and its vertex figure is also the simplex of the previous dimension.

In total, an n -simplex has 2^{n } elements, including the nullitope and the bulk of the polytope.

## Examples[edit | edit source]

Excluding the degenerate nullitope and the point, the simplexes up to 10D are the following:

Dimension | Name | Picture | Dimension | Name | Picture | |
---|---|---|---|---|---|---|

1 | Dyad | 6 | Heptapeton | |||

2 | Triangle | 7 | Octaexon | |||

3 | Tetrahedron | 8 | Enneazetton | |||

4 | Pentachoron | 9 | Decayotton | |||

5 | Hexateron | 10 | Hendecaxennon |

## Vertex coordinates[edit | edit source]

Coordinates for the vertices of an n -simplex of edge length 1, centered at the origin, are given by:

- ,
- ,
- ,
- ,
- ,
- .

Alternatively, there are simpler coordinates but the simplex is not centered at the origin:

- all permutations of
- where .

Much simpler coordinates can be given in n + 1 dimensions, as all permutations of

- .

## Related polytopes[edit | edit source]

The pyramid product of an m -dimensional simplex and an n -dimensional simplex is an (m + n + 1)-dimensional simplex.

In even dimensions greater than 2, simplexes can be thought of as step prisms, such as the pentachoron (5-2 step prism) and the heptapeton (7-2-3 step prism). In odd dimensions greater than 1, simplexes can be thought of as disphenoids of an -dimensional simplex, such as the tetrahedron (digonal disphenoid) and the hexateron (triangular disphenoid).

## Measures[edit | edit source]

The values below, except for the last one, are rational if and only if n is a member of A001108.

- The circumradius of a regular n -dimensional simplex of unit edge length is given by .
- Its inradius is given by
- Its height from a vertex to the opposite facet is given by .
- Its hypervolume is given by .
- The angle between two facet hyperplanes is .

## External links[edit | edit source]

- Wikipedia contributors. "Simplex".