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**

Join Physics Forums Today!

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

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**