The first step towards the definition of simplicial homology is to find a good notion of ‘triangulation’ of a topological space.
The main idea is to construct a model of the topological space from little building blocks called ‘simplices’, like points, edges, triangles etc.
To give a mathematical defintion of simplices, we need to introduce the geometric concepts of affine and convex hull.

M.II.1 Affine- and convex hulls

Affine Combination：Consider points in . A point
with is called an affine combination of the points .

Affine Hull: The affine hull of the points is the subset of consisting of all affine combinations of the given points .

The points are called affinely independent if for any the following holds

We can have at most affinely independent points in because there are at most linearly independent vectors in .
The affine subspace has dimension (and is then called a plane) if and only if: the vectors are linearly independent in .
$\begin{array}{l} \Longleftrightarrow \sum_{i=1}^{p} \mu_{i}\left(u_{i}-u_{0}\right)=0 \text { iff } \mu_{1}=\cdots=\mu_{p}=0 \\ \Longleftrightarrow\left(\sum_{i=0}^{p} \nu_{i} u_{i}=0\ \&\ \sum_{i=0}^{p} \nu_{i}=0\right) \text { iff } \nu_{0}=\cdots=\nu_{p}=0 \end{array}$

To see what the affine hull means geometrically, we write
$\begin{aligned} x &=\sum_{i=0}^{p} \lambda_{i} u_{i} \\ &=\lambda_{0} u_{0}+\lambda_{1} u_{1}+\cdots+\lambda_{p} u_{p} \\ &=u_{0}+\lambda_{1}\left(u_{1}-u_{0}\right)+\cdots+\lambda_{p}\left(u_{p}-u_{0}\right) \end{aligned}$

(use that since . )

image.png

Convex Combination: An affine combination with if for all .

Convex Hull: The convex hull of the points is the subset of consisting of all convex combinations of the given points.

Convex:A subset of is said to be convex if for any two points and in the line segment joining them is contained in .

Exercise 7: Prove that the convex hull of any given points in is a convex subset of .
:

from we know

Show that

since
and
$\begin{array}{l} \sum(t \mu_i+(1-t) \lambda_i) &=\sum( t \mu_{i}+\lambda_{i}-t \lambda_{i}) \\ &=t \cdot \underbrace{\sum \mu_{i}}_{=1}+\underbrace{\sum \lambda_{i}}_{=1}-t \cdot \underbrace{\sum \lambda_i}_{=1}=\Sigma \lambda_{i}=1 \end{array}$
Conclusion:

Example M.II.1

(a)
(b) line segment joining and
$\begin{aligned} \operatorname{conv}\left\{u_{0}, u_{1}\right\} &=\left\{\lambda_{0} u_{0}+\lambda_{1} u_{1} \mid \lambda_{0}, \lambda_{1} \geq 0 \& \lambda_{0}+\lambda_{1}=1\right\} \\ &=\left\{u_{0}+\lambda_{1}\left(u_{1}-u_{0}\right) \mid 0 \leq \lambda_{1} \leq 1\right\} \\ &=\left[u_{0} u_{1}\right]\end{aligned}$
(c) Triangle with vertices and .
$\begin{aligned} \operatorname{conv}\left\{u_{0}, u_{1},u_2\right\} &=\left\{\lambda_{0} u_{0}+\lambda_{1} u_{1} +\lambda_2 u_{2} \mid \lambda_{0}, \lambda_{1}, \lambda_{2}\ \geq 0\ \&\ \lambda_{0}+\lambda_{1}+\lambda_{2}=1\right\} \\ &=\left\{u_{0}+\lambda_{1}(u_{1}-u_{0})+\lambda_{2}(u_2-u_0) \mid 0 \leq \lambda_{1},\lambda_{2} \leq 1\right\} \\ \end{aligned}$

M.II.2 Simplices

Definition M.II.2 Simplices

The -simplex spanned by affinely independent points i n is defined to be the convex hull of the points, given by

The points are called the vertices of .
The number is called the dimension of the simplex and is denoted by .

There are special names for simplices in small dimensions.

dimension	name
0	vertex
1	edge
2	triangle
3	tetrahedron

Barycentric Coordinates: The coefficients in are called the barycentric coordinates of the points in the simplex with respect to the points .
They are uniquely determined by the point since the points are assumed to be affinely independent.

Standard p-simplex: The -simplex in spanned by the unit vectors.

Using barycentric coordinates, the standard -simplex is mapped to any given -simplex that is spanned by the points in by the following affine transformation:

which defines a homeomorphism between the standard -simplex and the simplex spanned by the points

Exercise 8: Prove that this map defines a homeomorphism between the standard simplex and the simplex spanned by the points
T is well defined:
T is continuous: (ex4) all affine transformation is continuous
T is bijective
T inverse is continuous?
:
T(U) open if U is open?
:

Face and Coface: A simplex spanned by a (proper) subset of the vertex set is called a (proper) face of , denoted by
In this case, is also called a (proper) coface of .

Boundary: The union of all proper faces of the simplex is called the boundary of , denoted by.
Interior: Boundary's complement in is the interior of , denoted by .
The boundary and the interior of are related by .

Observation M.II.3 basic facts about simplices

(a) Every simplex is convex
convex hull is convex set: from ex7

(b) A -simplex has faces
p-simplex has p+1 vertices, means faces.

(c) For a -simplex in . If then the interior of is an open subset of .(No longer true if )
any point in , its distance to the boundary is larger than zero, then we can define a number smaller than the distance as the radius of the open ball

(d) The interior and the boundary in form of barycentric coordinates: A point in belongs to the unique face of spanned by those vertices for which .

In particular, we have
if and only if for all
if and only if for some

(e) For a -simplex, there is a homeomorphism between and the -ball that maps the boundary onto the -sphere .

image.png

M.II.3 Geometric Simplicial Complexes

Definition M.II.4: Geometric simplicial complex

A geometric simplcial comlpex in is a finite collection of simplices in with the following two properties.

(1) Every face of a simplex in is contained in .
(2) The intersection of any two simplices in is either empty or a face of each of them. or

Dimension: is the maximum dimension of any its simplices. If , then is a geometric simplicial -complex.

(full) Subcomplex: A simplicial complex . It is said to be full when it contains all simplices in that are spanned by vertices in .

Skeleton: The subcomplex of consisting of all simplicies of dimension at most is called the -skeleton of and is denoted by .
The 0-skelekton is also called vertex set of and is denoted by

Underlying space: For a simplicial complex in , the union of all its simplices is the underlying space of , denoted by .
By endowing a underlying space with the subspace topology induced from the standard topology on , we can get a topological space, which is also called a polyhedron

Remark M.II.6

(a) A geometric simplicial complex is a subset of some ambient space .
(b) Assume to be finite, because point cloud data sets are finite sets,
(c) often label the simplices in

Example M.II.5 Geometric simplicial complexes

(a) Take a bunch of points and consider the collection
(b) Take 2 points and consider the collection
(c) Take 3 points and consider the collection
(e) Not a simplicial complex

Definition M.II.7 Triangulation

A triangulation of a topological space is a geometric simplicial complex together with a homeomorphism
A topological space is said to be triangulable if it admits a triangulaiton.

Example M.II.8 Triangulations

(a) The circle again

Exercise 10: Give 2 triangulations of the 2-sphere with different simplicial cimplexes. Write down explicity the simplices in each simplcial complex and draw it.

Remark M.II.9

Not every space admits a triangulation. But triangulations do exist as long as the topological space is 'sufficient nice'. Our example will always be of that sort.

If we admit infinite simplicial complexes, the following is true:

Every smooth manifold admits a triangulation
Topological manifolds always admit triangulations in dimensionat most 3

Topological Data Analyze M.II.1-3