In algebraic topology, a branch of mathematics, the (singular) homology of a topological space relative to a subspace is a construction in singular homology, for pairs of spaces. The relative homology is useful and important in several ways. Intuitively, it helps determine what part of an absolute homology group comes from which subspace.
Definition Given a subspace A ⊆ X {\displaystyle A\subseteq X} , one may form the short exact sequence
0 → C ∙ ( A ) → C ∙ ( X ) → C ∙ ( X ) / C ∙ ( A ) → 0 , {\displaystyle 0\to C_{\bullet }(A)\to C_{\bullet }(X)\to C_{\bullet }(X)/C_{\bullet }(A)\to 0,}
where C ∙ ( X ) {\displaystyle C_{\bullet }(X)} denotes the singular chains on the space X. The boundary map on C ∙ ( X ) {\displaystyle C_{\bullet }(X)} descendsa to C ∙ ( A ) {\displaystyle C_{\bullet }(A)} and therefore induces a boundary map ∂ ∙ ′ {\displaystyle \partial '_{\bullet }} on the quotient. If we denote this quotient by C n ( X , A ) := C n ( X ) / C n ( A ) {\displaystyle C_{n}(X,A):=C_{n}(X)/C_{n}(A)} , we then have a complex
⋯ ⟶ C n ( X , A ) → ∂ n ′ C n − 1 ( X , A ) ⟶ ⋯ . {\displaystyle \cdots \longrightarrow C_{n}(X,A)\xrightarrow {\partial '_{n}} C_{n-1}(X,A)\longrightarrow \cdots .}
By definition, the nth relative homology group of the pair of spaces ( X , A ) {\displaystyle (X,A)} is
H n ( X , A ) := ker ∂ n ′ / im ∂ n + 1 ′ . {\displaystyle H_{n}(X,A):=\ker \partial '_{n}/\operatorname {im} \partial '_{n+1}.}
One says that relative homology is given by the relative cycles, chains whose boundaries are chains on A, modulo the relative boundaries (chains that are homologous to a chain on A, i.e., chains that would be boundaries, modulo A again).
Properties The above short exact sequences specifying the relative chain groups give rise to a chain complex of short exact sequences. An application of the snake lemma then yields a long exact sequence
⋯ → H n ( A ) → i ∗ H n ( X ) → j ∗ H n ( X , A ) → ∂ H n − 1 ( A ) → ⋯ . {\displaystyle \cdots \to H_{n}(A){\stackrel {i_{*}}{\to }}H_{n}(X){\stackrel {j_{*}}{\to }}H_{n}(X,A){\stackrel {\partial }{\to }}H_{n-1}(A)\to \cdots .}
… excerpt ends here. Continue reading the full article.

