While (for good reasons) we have restricted our treatment of combinatorial cell complexes to the two-dimensional case, the theory of
Definition: A simplicial complex is a finite set
(i) For every
(ii) If
An element
A one-dimensional simplicial complex is the same thing as a graph. The one-dimensional simplices of any simplicial complex are called edges, the two-dimensional simplices are called triangles and the three-dimensional ones are called tetrahedra. The picture below shows a graph with
A one-dimensional simplicial complex
Similarly, a two-dimensional simplicial complex can be viewed as a special two-dimensional cell complex. The cell-complex below from the last post arises in this way from a two-dimensional simplicial complex with five points, ten edges and six triangles.
We have not really discussed this, but a two-dimensional cell complex describes a unique topological space. The same holds for general simplicial complexes. However, simplicial complexes are much more powerful for the discrete modeling of physical objects for the following reason: The topological space described by a combinatorial simplicial complex comes with a canonical piecewise affine structure. We now elaborate what this means.
Let
and
For each simplex
The vector space corresponding to the affine space
and each
The whole space
Each point
Theorem: Let
whose restriction to each simplex
In particular, if we have a two-dimensional simplicial complex and are given a position in