Singular Homology

⚡ Key Takeaways

Singular homology assigns to every topological space $X$ a sequence of abelian groups $H_n(X)$ that measure $n$ -dimensional "holes" using continuous maps of standard simplices. Key result: it is a homotopy-invariant, excisive, functorial sequence of groups satisfying the Eilenberg–Steenrod axioms, computable via the long exact sequence and Mayer–Vietoris. Where it applies: all topological spaces (no manifold or CW structure required). Who/when: crystallized by Eilenberg (1944), building on Poincaré (1895), Vietoris, Čech, and Lefschetz.

💡 The Core Insight

A hole is a cycle that is not a boundary. Probe $X$ with continuous images of solid simplices; the boundary operator $\partial$ sends an $n$ -simplex to the alternating sum of its faces. Then $\partial^2 = 0$ , so boundaries sit inside cycles, and the quotient "cycles modulo boundaries" exactly captures $n$ -dimensional voids that fail to be filled in by an $(n+1)$ -dimensional region. Replacing rigid combinatorial simplices with arbitrary continuous maps frees the theory from any chosen triangulation, buying full topological invariance at the cost of enormous chain groups.

DefinitionStandard simplex and faces

The standard $n$ -simplex is the convex hull

1

\quad \Delta^n = \Big\{ (t_0,\dots,t_n)\in\mathbb{R}^{n+1} : t_i \ge 0,\ \textstyle\sum_{i=0}^n t_i = 1\Big\},

Derivation hint: it is the convex span of the standard basis vectors $e_0,\dots,e_n$ ; each point is a unique barycentric combination. with vertices $e_0,\dots,e_n$ . The $i$ -th face map $d^i:\Delta^{n-1}\to\Delta^n$ is the affine embedding onto the face opposite $e_i$ :

2

\quad d^i(t_0,\dots,t_{n-1}) = (t_0,\dots,t_{i-1},\,0,\,t_i,\dots,t_{n-1}).

Derivation hint: insert a zero in the $i$ -th coordinate slot, skipping vertex $e_i$ , preserving barycentric coordinates.

DefinitionSingular chains and boundary

A singular $n$ -simplex in a space $X$ is a continuous map $\sigma:\Delta^n\to X$ . The group of singular $n$ -chains is the free abelian group on these:

3

\quad C_n(X) = \mathbb{Z}\big\langle\, \sigma:\Delta^n\to X \ \text{continuous}\,\big\rangle,\qquad C_n(X)=0 \text{ for } n<0.

Derivation hint: take formal $\mathbb{Z}$ -linear combinations $\sum_\sigma n_\sigma\,\sigma$ with finitely many nonzero coefficients. The boundary homomorphism $\partial_n:C_n(X)\to C_{n-1}(X)$ is defined on generators by the alternating sum of face restrictions:

4

\quad \partial_n \sigma = \sum_{i=0}^{n} (-1)^i \,\big(\sigma\circ d^i\big).

Derivation hint: each $\sigma\circ d^i:\Delta^{n-1}\to X$ is the $i$ -th face of $\sigma$ ; the signs make $\partial^2=0$ via cancellation of double faces. The singular homology groups are

5

\quad H_n(X) = \frac{\ker(\partial_n:C_n\to C_{n-1})}{\operatorname{im}(\partial_{n+1}:C_{n+1}\to C_n)} = \frac{Z_n(X)}{B_n(X)},

Derivation hint: $Z_n=\ker\partial_n$ (cycles) contains $B_n=\operatorname{im}\partial_{n+1}$ (boundaries) precisely because $\partial^2=0$ ; the quotient is well-defined.

TheoremFundamental properties (Eilenberg–Steenrod)

Singular homology $H_*$ with coefficients in $\mathbb{Z}$ satisfies: 1. Functoriality: a map $f:X\to Y$ induces $f_*:H_n(X)\to H_n(Y)$ with $(g\circ f)_*=g_*f_*$ and $(\mathrm{id})_*=\mathrm{id}$ . 2. Homotopy invariance: $f\simeq g \Rightarrow f_*=g_*$ . 3. Long exact sequence of a pair $(X,A)$ :

6

\quad \cdots \to H_n(A)\xrightarrow{i_*} H_n(X)\xrightarrow{j_*} H_n(X,A)\xrightarrow{\partial} H_{n-1}(A)\to\cdots

Derivation hint: the short exact sequence of chain complexes $0\to C_*(A)\to C_*(X)\to C_*(X,A)\to 0$ yields this via the snake lemma. 4. Excision: if $\overline{Z}\subset \operatorname{int}(A)$ , then $H_n(X\setminus Z,\ A\setminus Z)\cong H_n(X,A)$ . 5. Dimension axiom: $H_n(\mathrm{pt})=\mathbb{Z}$ for $n=0$ and $0$ otherwise. 6. Additivity: $H_n\big(\coprod_\alpha X_\alpha\big)\cong \bigoplus_\alpha H_n(X_\alpha)$ .

ProofThe chain complex condition

\partial^2 = 0

We verify the cornerstone identity that makes homology well-defined.

Step 1 — Face identity. For $i<j$ , composing face maps satisfies the simplicial identity

7

\quad d^j\circ d^i = d^i\circ d^{j-1}\quad(i<j),

Derivation hint: inserting zeros in coordinate slots $i$ then $j$ equals inserting in slot $j-1$ then $i$ , because inserting at the earlier slot shifts later indices.

Step 2 — Expand $\partial^2$ . For a singular simplex $\sigma:\Delta^n\to X$ ,

8

\quad \partial_{n-1}\partial_n\sigma = \sum_{j=0}^{n}\sum_{i=0}^{n-1}(-1)^{i+j}\,\sigma\circ d^j\circ d^i.

Derivation hint: apply [4] twice; the inner $d^i$ ranges over faces of the $(n-1)$ -chain $\sigma\circ d^j$ .

Step 3 — Split and cancel. Separate the double sum into terms with $i<j$ and $i\ge j$ . Using [7] on the $i<j$ block and reindexing the $i\ge j$ block ( $i'=i$ , $j'=j$ with $i'\ge j'$ ) shows the two blocks are negatives of one another. Hence every term cancels:

9

\quad \partial_{n-1}\partial_n = 0.

Derivation hint: the substitution $(i,j)\mapsto(j-1,i)$ on $i<j$ matches the $i\ge j$ terms with opposite sign $(-1)^{i+j}=-(-1)^{i+(j-1)+1}$ flip. Thus $B_n=\operatorname{im}\partial_{n+1}\subseteq \ker\partial_n=Z_n$ , and the quotient $H_n=Z_n/B_n$ in [5] is well-defined. $\qquad\blacksquare$

∎

ProofHomotopy invariance via the prism operator

Let $H:X\times[0,1]\to Y$ be a homotopy from $f=H(-,0)$ to $g=H(-,1)$ . Define a chain homotopy $P:C_n(X)\to C_{n+1}(Y)$ by subdividing the prism $\Delta^n\times[0,1]$ into $(n+1)$ -simplices with vertices $(e_0,0),\dots,(e_i,0),(e_i,1),\dots,(e_n,1)$ :

10

\quad P(\sigma) = \sum_{i=0}^{n}(-1)^i\, H\circ(\sigma\times\mathrm{id})\big|_{[v_0,\dots,v_i,w_i,\dots,w_n]}.

Derivation hint: triangulate the prism by the standard "staircase" decomposition, with $v_k=(e_k,0)$ , $w_k=(e_k,1)$ . A direct boundary computation on the prism's top, bottom, and side faces gives the identity

11

\quad \partial P + P\partial = g_\# - f_\#,

Derivation hint: the top face yields $g_\#$ , the bottom $-f_\#$ , and the interior side faces cancel in $\partial P + P\partial$ . Chain homotopic chain maps induce equal maps on homology, so $f_*=g_*$ . $\qquad\blacksquare$

∎

mathematician · Samuel Eilenberg | 1913–1998

Polish-American topologist who, in his 1944 paper "Singular Homology Theory," gave the modern definition using all continuous maps of simplices, eliminating the dependence on triangulations that plagued earlier combinatorial approaches. With Norman Steenrod he axiomatized homology (1945, book 1952), reducing the subject to a few characterizing properties. Eilenberg co-founded category theory with Mac Lane — partly to make functoriality of homology precise — and later co-authored the Eilenberg–Zilber and Eilenberg–Moore machinery. His insistence on naturality reshaped algebraic topology into its current functorial form.

🧠 Intuition

Think of $H_n(X)$ as cataloguing " $n$ -dimensional surfaces in $X$ that enclose nothing yet bound nothing." A 1-cycle is a loop; if it cannot be filled by a disk in $X$ , it survives in $H_1$ . The torus has two independent loops (the meridian and longitude), so $H_1(T^2)=\mathbb{Z}^2$ . The 2-sphere has no nontrivial loops ( $H_1=0$ ) but a genuine 2-dimensional void enclosed by its surface, so $H_2(S^2)=\mathbb{Z}$ . The "singular" adjective signals that we allow degenerate, crumpled, even constant maps of simplices — the simplices are probes, not pieces of a rigid mesh. Most probes are boundaries (uninteresting); homology extracts only the equivalence classes that resist being filled.

Figure

A 1-cycle on the torus that is not a boundary — generator of

H_1(T^2)

```svg

```

ExampleReduced homology of the

n

-sphere

Given: Compute $H_k(S^n)$ for all $k,n\ge 1$ using Mayer–Vietoris.

Step 1. Cover $S^n$ by two open hemispheres $U,V$ , each contractible, with $U\cap V \simeq S^{n-1}$ (an equatorial band).

Step 2. Reduced Mayer–Vietoris gives

12

\quad \widetilde{H}_k(U)\oplus\widetilde{H}_k(V)\to \widetilde{H}_k(S^n)\to \widetilde{H}_{k-1}(S^{n-1})\to \widetilde{H}_{k-1}(U)\oplus\widetilde{H}_{k-1}(V).

Derivation hint: the Mayer–Vietoris sequence of $\{U,V\}$ with $U,V$ contractible kills the outer terms.

Step 3. Since $U,V$ contractible, $\widetilde H_*(U)=\widetilde H_*(V)=0$ , so the connecting map is an isomorphism:

13

\quad \widetilde{H}_k(S^n)\cong \widetilde{H}_{k-1}(S^{n-1}).

Derivation hint: a map flanked by zeros is an isomorphism by exactness.

Step 4. Base case $S^0$ = two points: $\widetilde H_0(S^0)=\mathbb{Z}$ , else $0$ . Induct.

Boxed answer:

\boxed{\,H_k(S^n)=\mathbb{Z}\ \text{ for } k=0 \text{ and } k=n\ (n\ge1);\quad H_k(S^n)=0 \text{ otherwise.}\,}

(For $n=0$ , $H_0(S^0)=\mathbb{Z}^2$ .)

Example

H_*

of the real projective plane

\mathbb{RP}^2

via cellular chains

Given: $\mathbb{RP}^2$ has a CW structure with one cell each in dimensions $0,1,2$ . The cellular chain complex is $\mathbb{Z}\xrightarrow{d_2}\mathbb{Z}\xrightarrow{d_1}\mathbb{Z}$ .

Step 1. The 1-cell is a loop, so $d_1=0$ .

Step 2. The 2-cell attaches along the loop traversed twice (degree 2 map $S^1\to S^1$ ), so the cellular boundary is

14

\quad d_2 = \times 2 :\ \mathbb{Z}\to\mathbb{Z}.

Derivation hint: the attaching map of the top cell of $\mathbb{RP}^2$ wraps the 1-skeleton circle twice, giving degree $2$ .

Step 3. Compute homology of $0\to\mathbb{Z}\xrightarrow{2}\mathbb{Z}\xrightarrow{0}\mathbb{Z}\to 0$ :

$H_2=\ker(\times 2)=0$ ,
$H_1=\mathbb{Z}/2\mathbb{Z}$ (image of $\times 2$ is $2\mathbb{Z}$ ),
$H_0=\mathbb{Z}$ (connected).

By the equivalence of cellular and singular homology, these are the singular groups.

Boxed answer:

\boxed{\,H_0(\mathbb{RP}^2)=\mathbb{Z},\quad H_1(\mathbb{RP}^2)=\mathbb{Z}/2,\quad H_n(\mathbb{RP}^2)=0\ (n\ge2).\,}

The torsion class $\mathbb{Z}/2$ is invisible to rational homology but real in $\mathbb{Z}$ — a hallmark of nonorientability.

⚠️ Common mistake

Singular chains are not "loops" or "surfaces." A singular simplex can be degenerate (e.g., a constant map), wildly self-intersecting, or measure-zero. Geometric intuition ("a 2-cycle is an embedded surface") is heuristic only; cycles are algebraic combinations.

$H_0$ counts path-components, not points. For a space with $k$ path-components, $H_0(X)\cong\mathbb{Z}^k$ (free). Reduced homology $\widetilde H_0$ has rank $k-1$ .

Homology does not determine the space. Non-homotopy-equivalent spaces can share all homology groups (e.g., a space with the homology of a sphere need not be a sphere). Homology is invariant but not complete.

Coefficients matter. $H_n(X;\mathbb{Q})$ destroys all torsion. Always specify the coefficient group; the universal coefficient theorem relates them.

CounterexampleHomology is not a complete invariant

The Poincaré homology sphere $\Sigma$ (quotient $S^3/I^*$ by the binary icosahedral group) has exactly the integral homology of $S^3$ :

H_0(\Sigma)=\mathbb{Z},\quad H_1(\Sigma)=0,\quad H_2(\Sigma)=0,\quad H_3(\Sigma)=\mathbb{Z}.

Yet $\Sigma$ is not homeomorphic (nor homotopy equivalent) to $S^3$ : its fundamental group $\pi_1(\Sigma)$ is the binary icosahedral group of order $120$ , while $\pi_1(S^3)=1$ . Homology, being abelian, cannot see this nonabelian fundamental group. This counterexample motivated Poincaré to invent $\pi_1$ and refine his conjecture.

connection

Singular homology sits at the hub of algebraic topology. It is isomorphic to Simplicial Homology on triangulable spaces and to Cellular Homology on CW complexes, and to Čech Cohomology's dual on nice spaces. Its abelianized shadow of Fundamental Group is captured by the Hurewicz theorem: $H_1(X)\cong \pi_1(X)^{\mathrm{ab}}$ for path-connected $X$ . Dualizing the chain complex with $\operatorname{Hom}(-,G)$ produces Singular Cohomology, linked to homology by the Universal Coefficient Theorem and endowed with the cup-product ring structure. The interaction of homology with maps and fiber bundles is organized by Spectral Sequences, while Poincaré Duality relates $H_k$ and $H_{n-k}$ on closed oriented $n$ -manifolds. Through the Eilenberg–Steenrod Axioms, singular homology is one instance of a generalized homology theory, a family that includes K-Theory and Cobordism.

🔬 Where this appears

⏳ History

- 1895 — Henri Poincaré, Analysis Situs: introduces homology via "Betti numbers" and torsion coefficients of manifolds; intuitive, manifold-bound.

- 1900s — Poincaré discovers the homology sphere, realizing homology fails to characterize

S^3

; invents the fundamental group.

- 1920s — Veblen, Alexander, and Lefschetz develop combinatorial (simplicial) homology rigorously; the boundary operator formalized.

- 1926–1932 — Heinz Hopf and Emmy Noether reframe homology in terms of abelian groups rather than mere Betti numbers and torsion coefficients — the decisive algebraic turn.

- 1933 — Čech and (independently) Vietoris develop homology theories for general spaces; Vietoris–Rips complexes appear.

- 1935 — Lefschetz coins "singular" and explores singular chains; foundations still shaky (issues with degenerate simplices).

- 1944 — Samuel Eilenberg, Singular Homology Theory: gives the clean, fully functorial modern definition; resolves earlier difficulties.

- 1945–1952 — Eilenberg & Steenrod axiomatize homology; Foundations of Algebraic Topology (1952) proves uniqueness on triangulable spaces.

- 1950s onward — Cup products, spectral sequences (Serre, Leray), and generalized theories (K-theory, cobordism) extend the framework; persistent homology emerges around 2000 (Edelsbrunner–Letscher–Zomorodian).

open-problem

Where singular homology strains.

Pathological spaces. For non-CW spaces (e.g., the Warsaw circle, the Hawaiian earring) singular and Čech homology disagree; singular homology can miss "wild" structure. The Hawaiian earring has uncountable, non-free $H_1$ behavior — its $\pi_1$ is famously non-free and not finitely generated.
Computability. Although homology is "computable in principle," for an arbitrary space presented abstractly there is no algorithm; computation requires combinatorial models (CW/simplicial), and even then the word problem in resulting group presentations can be undecidable when extracting finer invariants.
Failure to detect homotopy type. Beyond the homology sphere, the broader question of which algebraic invariants suffice to classify spaces up to homotopy drives stable and chromatic homotopy theory; the full structure (Steenrod operations, $k$ -invariants, Postnikov towers) is needed, and much remains open in unstable contexts.
Generalized theories. Whether a given exotic homology theory satisfies a desired form of excision or duality on broad classes of spaces remains an active research interface with $\infty$ -categories and motivic homotopy theory.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also