What is the difference between a cycle and a boundary?

A cycle is a chain whose boundary is zero (a closed loop or surface); a boundary is a chain that is itself the boundary of a higher-dimensional chain. Homology measures cycles that are not boundaries — genuine holes.

Why is homology easier to compute than homotopy?

Homology satisfies excision and fits into long exact sequences, so the homology of a space can be assembled from simpler pieces; homotopy groups satisfy no such cutting principle and resist systematic computation.

Homology

Homology measures the holes of a space in each dimension by counting cycles that are not boundaries, producing a sequence of abelian groups that are computable and robust under continuous deformation.

Definition

Homology assigns to a space a sequence of abelian groups defined as the quotient of cycles (chains with zero boundary) by boundaries (images of the boundary map) in a chain complex; its ranks, the Betti numbers, count independent holes in each dimension.

Scope

This topic develops chain complexes and the algebraic notion of homology as cycles modulo boundaries, realized concretely through simplicial, singular, and cellular homology and shown to agree on reasonable spaces. It covers the foundational properties — homotopy invariance, the long exact sequence of a pair, excision, and the Mayer-Vietoris sequence — that make homology computable, along with degree theory, Betti numbers, and the Euler characteristic. The equivalence of the various constructions and computation for spheres, surfaces, and CW complexes are included.

Core questions

How do cycles modulo boundaries formalize the intuitive idea of an n-dimensional hole?
Why do simplicial, singular, and cellular homology agree, and which is best for computation?
How do excision and the Mayer-Vietoris sequence reduce homology of a space to that of simpler pieces?
What topological information do Betti numbers and the Euler characteristic capture?

Key concepts

Chain complexes, cycles, and boundaries
Simplicial, singular, and cellular homology and their agreement
Long exact sequence of a pair and excision
Mayer-Vietoris sequence
Betti numbers, Euler characteristic, and degree of a map

Clinical relevance

Homology is the workhorse invariant of topology: it powers fixed-point and intersection theory, the classification of manifolds, the Euler characteristic in geometry and combinatorics, and modern applications such as persistent homology in topological data analysis.

History

Poincaré's Betti numbers and torsion coefficients were reinterpreted as quotient groups after Emmy Noether emphasized the group structure in the 1920s; the singular and axiomatic (Eilenberg-Steenrod) formulations of the 1940s and 1950s gave homology the functorial, axiomatic shape used today.

Key figures

Henri Poincaré
Emmy Noether
Leopold Vietoris

Seminal works

hatcher2002
bredon1993

Frequently asked questions

What is the difference between a cycle and a boundary?: A cycle is a chain whose boundary is zero (a closed loop or surface); a boundary is a chain that is itself the boundary of a higher-dimensional chain. Homology measures cycles that are not boundaries — genuine holes.
Why is homology easier to compute than homotopy?: Homology satisfies excision and fits into long exact sequences, so the homology of a space can be assembled from simpler pieces; homotopy groups satisfy no such cutting principle and resist systematic computation.