relative homology is the reduced homology of the quotient

I read in Hatcher page 124 that

relative homology can be expressed as reduced absolute homology in the case of good pairs $(X,A)$, but in fact there is a way of doing this for arbitrary pairs.

His argument goes as follows: $\displaystyle \tilde{H_n}(X/A)= \tilde{H_n}(X ∪ CA) = H_n(X ∪ CA,CA) = H_n(X ∪ CA − \{p\},CA − \{p\}) = H_n(X,A)$

Where $p$ is the apex of $CA$ the cone on $A$.

So I understand that the relation $\tilde{H_n}(X/A)=H_n(X,A)$ holds without any condition on the pair $(X,A)$ where $X$ is a topological space and $A$ is any non empty subset of $X$. Is my understanding correct ? thank you for your help!


Solution 1:

No, this is a misunderstanding.

Hatcher says that you can identify the relative homology group $H_n(X,A)$ of a good pair $(X,A)$ with the reduced homology group $\tilde{H}_n(X/A)$ of the space $X/A$. Good pairs are defined as those satisfying the hypothesis of Theorem 2.13. For example, CW-pairs are good.

This means that the homology groups of good pairs can be expressed as the (reduced) homology groups of suitable single spaces. This is possible for arbitrary pairs, though in general not in the form $\tilde{H}_n(X/A)$, but in the form $\tilde{H}_n(X \cup CA)$ with the single space $X \cup CA$. There is an obvious quotient map $X \cup CA \to X/A$ which is a homotopy equivalence for good pairs (but not for general pairs).