Introduction
Homology groups provide a powerful tool for studying the topological properties of spaces, offering a way to classify and distinguish shapes based on their connectivity and voids. In algebraic topology, homology groups are defined as the abelian groups derived from the chain complexes of a space, capturing information about the space's structure through its cycles and boundaries. The construction of homology groups relies on the concept of chains, which are sequences of simplices (or other geometric elements) that form a closed path within the space. By analyzing these chains, one can determine the homology groups, which encode invariants that are invariant under continuous deformations.
The construction of homology groups is deeply rooted in the study of simplicial complexes, which are abstract representations of spaces composed of vertices, edges, and faces. In this framework, a simplicial complex is a set of vertices, edges, and faces where each face is a subset of a higher face, and every face is a subset of the space. The homology groups of a simplicial complex are computed using the boundary operator, which assigns to each face its boundary (i.e., the set of faces that are one step smaller). The homology group $ H_n(X) $ is defined as the kernel of the boundary operator $ \partial_n $ modulo the image of the previous operator $ \partial_{n+1} $, forming an exact sequence:
$$
\cdots \rightarrow H_{n+1}(X) \xrightarrow{\partial_{n+1}} H_n(X) \xrightarrow{\partial_n} H_{n-1}(X) \rightarrow \cdots
$$
This sequence allows for the computation of homology groups by reducing the problem to simpler subspaces.
Construction via Simplicial Complexes
The construction of homology groups begins with a simplicial complex, a combinatorial model of a topological space. A simplicial complex is a set of vertices, edges, and faces where each face is a subset of a higher face, and every face is a subset of the space. The homology groups of a simplicial complex are computed using the boundary operator, which assigns to each face its boundary (i.e., the set of faces that are one step smaller). The homology group $ H_n(X) $ is defined as the kernel of the boundary operator $ \partial_n $ modulo the image of the previous operator $ \partial_{n+1} $, forming an exact sequence:
$$
\cdots \rightarrow H_{n+1}(X) \xrightarrow{\partial_{n+1}} H_n(X) \xrightarrow{\partial_n} H_{n-1}(X) \rightarrow \cdots
$$
This sequence allows for the computation of homology groups by reducing the problem to simpler subspaces.
The boundary operator is a fundamental tool in homology theory, encapsulating the idea of "edges" in a space. For example, in a simplicial complex, the boundary of a 2-simplex (a triangle) consists of its three edges, and the boundary of a 1-simplex (an edge) is its two vertices. The homology group $ H_0(X) $, which corresponds to the 0-dimensional homology, captures the connected components of the space. If a space is connected, $ H_0(X) \cong \mathbb{Z} $, reflecting the single connected component.
The construction of homology groups via simplicial complexes is also extended to singular chains, which are abstract representations of continuous maps from a simplex to the space. Singular homology is defined using the singular chain complex, where each chain is a formal linear combination of singular simplices. The homology group $ H_n(X) $ is then the kernel of the boundary operator $ \partial_n $ modulo the image of the previous operator $ \partial_{n+1} $. This approach provides a more general framework, as it allows for the study of spaces that are not necessarily simplicial, such as manifolds or CW complexes.
Construction via Singular Chains
Singular homology is a foundational approach to homology theory, providing a way to compute homology groups for any topological space. In this framework, a singular chain is a formal linear combination of singular simplices, which are continuous maps from standard simplices to the space. The singular chain complex is defined as $ C_n(X) = \text{Span}{ \sigma \mid \sigma \text{ is a } n\text{-simplex of } X } $, and the boundary operator $ \partial_n $ is defined by:
$$
\partial_n(\sigma) = \sum_{i=0}^n (-1)^i \sigma|i
$$
This operator assigns to each singular simplex its boundary, which is the sum of its faces with alternating signs. The homology group $ H_n(X) $ is then the kernel of $ \partial_n $ modulo the image of $ \partial{n+1} $, forming an exact sequence:
$$
\cdots \rightarrow H_{n+1}(X) \xrightarrow{\partial_{n+1}} H_n(X) \xrightarrow{\partial_n} H_{n-