In
algebraic topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up t ...
, a -chain
is a
formal linear combination In mathematics, a formal sum, formal series, or formal linear combination may be:
*In group theory, an element of a free abelian group, a sum of finitely many elements from a given basis set multiplied by integer coefficients.
*In linear algebra, an ...
of the
-cells in a
cell complex
In mathematics, and specifically in topology, a CW complex (also cellular complex or cell complex) is a topological space that is built by gluing together topological balls (so-called ''cells'') of different dimensions in specific ways. It generali ...
. In
simplicial complex
In mathematics, a simplicial complex is a structured Set (mathematics), set composed of Point (geometry), points, line segments, triangles, and their ''n''-dimensional counterparts, called Simplex, simplices, such that all the faces and intersec ...
es (respectively,
cubical complex In mathematics, a cubical complex (also called cubical set and Cartesian complex) is a Set (mathematics), set composed of Point (geometry), points, line segments, squares, cubes, and their Hypercube, ''n''-dimensional counterparts. They are used ana ...
es), -chains are combinations of -simplices (respectively, -cubes),
but not necessarily connected. Chains are used in
homology; the elements of a homology group are equivalence classes of chains.
Definition
For a
simplicial complex
In mathematics, a simplicial complex is a structured Set (mathematics), set composed of Point (geometry), points, line segments, triangles, and their ''n''-dimensional counterparts, called Simplex, simplices, such that all the faces and intersec ...
, the group
of
-chains of
is given by:
where
are
singular -simplices of
. Note that an element in
is not necessarily a connected simplicial complex.
Integration on chains
Integration is defined on chains by taking the linear combination of integrals over the simplices in the chain with coefficients (which are typically integers).
The set of all ''k''-chains forms a group and the sequence of these groups is called a
chain complex
In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or modules) and a sequence of homomorphisms between consecutive groups such that the image of each homomorphism is contained in the kernel o ...
.
Boundary operator on chains

The boundary of a chain is the linear combination of boundaries of the simplices in the chain. The boundary of a ''k''-chain is a (''k''−1)-chain. Note that the boundary of a simplex is not a simplex, but a chain with coefficients 1 or −1 – thus chains are the closure of simplices under the boundary operator.
Example 1: The boundary of a
path
A path is a route for physical travel – see Trail.
Path or PATH may also refer to:
Physical paths of different types
* Bicycle path
* Bridle path, used by people on horseback
* Course (navigation), the intended path of a vehicle
* Desir ...
is the formal difference of its endpoints: it is a
telescoping sum. To illustrate, if the 1-chain
is a path from point
to point
, where
,
and
are its constituent 1-simplices, then
Example 2: The boundary of the triangle is a formal sum of its edges with signs arranged to make the traversal of the boundary counterclockwise.
A chain is called a cycle when its boundary is zero. A chain that is the boundary of another chain is called a boundary. Boundaries are cycles,
so chains form a
chain complex
In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or modules) and a sequence of homomorphisms between consecutive groups such that the image of each homomorphism is contained in the kernel o ...
, whose homology groups (cycles modulo boundaries) are called simplicial
homology groups.
Example 3: The plane punctured at the origin has nontrivial 1-homology group since the unit circle is a cycle, but not a boundary.
In
differential geometry
Differential geometry is a Mathematics, mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of Calculus, single variable calculus, vector calculus, lin ...
, the duality between the boundary operator on chains and the
exterior derivative
On a differentiable manifold, the exterior derivative extends the concept of the differential of a function to differential forms of higher degree. The exterior derivative was first described in its current form by Élie Cartan in 1899. The re ...
is expressed by the general
Stokes' theorem
Stokes' theorem, also known as the Kelvin–Stokes theorem after Lord Kelvin and George Stokes, the fundamental theorem for curls, or simply the curl theorem, is a theorem in vector calculus on \R^3. Given a vector field, the theorem relates th ...
.
References
{{reflist
Algebraic topology
Integration on manifolds