First, some definitions:(adsbygoogle = window.adsbygoogle || []).push({});

An n-simplex is defined as the convex hull of n+1 affinely independent vectors inR^{d}(its vertices). A face of a simplex is defined to be the convex hull of any subset of its vertices. A facet of a n-simplex is a face that is an (n-1)-simplex. A triangulation T of an n-simplex S is a finite collection of n-simplices {S', S'', ...} (called the subsimplices of T) such that (i) their union equals S and (ii) the intersection of any two of them is either empty or a common face.

Now for the question:

Let S be a simplex and let T be a triangulation of S. Let F be a facet of a subsimplex S' of T. Then either F is contained in a facet of S or F is the facet of exactly one other simplex S''.

The question is, how does one prove the above statement? All the books I have checked consider this a trivial fact or leave it as an exercise to the reader. In trying to prove it, I was forced to use a lot of topological facts about simplices that I have not seen proved anywhere (e.g. a point in a simplex is an interior point if and only if its barycentric coordinates are all positive). Since the definition of a triangulation makes no use of any topology, it bugs me that I have had to use so much topology in trying to prove it. If anybody supplies me with a reference with a full proof, I would greatly appreciate it.

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Simplices and Triangulations

**Physics Forums | Science Articles, Homework Help, Discussion**