Math 2.0

Convex and discrete geometry Definition

Simplicial polytope

Builds on Convex polytopeFacetConvex hull

Definition

A kk-simplex is the convex hull of k+1k + 1 affinely independent points. Let PP be a convex polytope of dimension d≥1d \ge 1. PP is simplicial if every facet of PP is a (d−1)(d-1)-simplex.

Remarks

Equivalently, every proper face of PP is a simplex, since each face of a simplex is a simplex. Equivalently again, every facet of PP has exactly dd vertices.

Example: the octahedron conv⁡{±e1,±e2,±e3}\operatorname{conv}\set{\pm e_1, \pm e_2, \pm e_3} in ℝ3\R^3 is simplicial. Its facets are the eight triangles conv⁡{ϵ1e1,ϵ2e2,ϵ3e3}\operatorname{conv}\set{\epsilon_1 e_1, \epsilon_2 e_2, \epsilon_3 e_3} with ϵi∈{1,−1}\epsilon_i \in \set{1, -1}, and each is the hull of 33 affinely independent points.

Non-example: the cube [0,1]3[0,1]^3 is not simplicial, because its facets are squares with 4>34 > 3 vertices.

Every polygon is simplicial, since its facets are segments. The convex hull of finitely many points in general position in ℝd\R^d, with at least d+1d+1 of them, is simplicial.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Convex hull concept
  2. Convex polytope concept
  3. Facet concept
  4. Simplicial polytope definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Simplicial_polytope
About this page
Tag6F4JHFDM19
URIm2://6F4JHFDM19
Kinddefinition
WritingW0 stub
MSC52B05, 52B11, 52B12
DefinesSimplicial polytope
UsesConvex polytope, Facet, Convex hull

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.