Simplicial Homology - Core Definitions

Simplicial homology provides an algebraic approach to studying topological spaces by decomposing them into simple building blocks called simplices.

Definition

A $n$ -simplex is the convex hull of $n+1$ affinely independent points in some Euclidean space. Standard examples:

0-simplex: a point
1-simplex: a line segment
2-simplex: a triangle
3-simplex: a tetrahedron

The standard $n$ -simplex is $\Delta^n = \{(t_0, \ldots, t_n) \in \mathbb{R}^{n+1} : \sum t_i = 1, t_i \geq 0\}$ .

Definition

A simplicial complex $K$ is a finite collection of simplices in some $\mathbb{R}^N$ such that:

If $\sigma \in K$ and $\tau$ is a face of $\sigma$ , then $\tau \in K$
If $\sigma_1, \sigma_2 \in K$ , then $\sigma_1 \cap \sigma_2$ is either empty or a face of both

The geometric realization $|K|$ is the union of all simplices in $K$ with the subspace topology.

Example

The circle can be represented as a simplicial complex with vertices $v_0, v_1, v_2$ and edges $[v_0, v_1], [v_1, v_2], [v_2, v_0]$ . The torus requires more vertices and includes 2-simplices (triangles).

Definition

Let $K$ be a simplicial complex. The $n$ -th chain group $C_n(K)$ is the free abelian group generated by oriented $n$ -simplices of $K$ : $C_n(K) = \mathbb{Z}\langle \sigma : \sigma \text{ is an } n\text{-simplex in } K \rangle$

Elements of $C_n(K)$ are $n$ -chains: formal sums $\sum n_i \sigma_i$ where $n_i \in \mathbb{Z}$ and $\sigma_i$ are $n$ -simplices.

The chain groups form the algebraic foundation. An $n$ -chain represents a formal combination of $n$ -dimensional pieces of the complex.

Definition

The boundary operator $\partial_n : C_n(K) \to C_{n-1}(K)$ is defined on a simplex $\sigma = [v_0, \ldots, v_n]$ by: $\partial_n \sigma = \sum_{i=0}^n (-1)^i [v_0, \ldots, \hat{v}_i, \ldots, v_n]$ where $\hat{v}_i$ denotes omitting $v_i$ . This extends linearly to all chains.

Example

For a 2-simplex (triangle) $\sigma = [v_0, v_1, v_2]$ : $\partial_2 \sigma = [v_1, v_2] - [v_0, v_2] + [v_0, v_1]$ The boundary is the three edges with appropriate orientations.

Theorem

The fundamental property: $\partial_{n-1} \circ \partial_n = 0$ for all $n$ . In other words, the boundary of a boundary is zero.

This property $\partial^2 = 0$ is the cornerstone of homology theory. It means we have a chain complex: $\cdots \to C_{n+1}(K) \xrightarrow{\partial_{n+1}} C_n(K) \xrightarrow{\partial_n} C_{n-1}(K) \to \cdots$

Remark

Simplicial homology captures "holes" of various dimensions: 0-dimensional (connected components), 1-dimensional (loops), 2-dimensional (voids), and higher. The algebraic machinery converts geometric intuition into computable invariants.