Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In example 2.18 page 118 of Hatcher's Algebraic topology we read :

Applying the long exact sequence of reduced homology groups to a pair $(X,x_0)$ with $x_0\in X$ yields isomorphisms $H_n(X,x_0)=\tilde H_n (X)$ for all $n$ since $\tilde H_n (x_0)=0$ for all $n$.

Actually the long exact sequence gives that $\tilde H_n(X,x_0)=\tilde H_n (X)$ for all $n$, i think it remains to show that $\tilde H_n(X,x_0)=H_n(X,x_0)$ for all $n$ which is equivalent to show that $\tilde H_0(X,x_0)=H_0(X,x_0)$ but how to do it? and is it true more generally that $\tilde H_0(X,A)=H_0(X,A)$ for all non empty $A$?

share|cite|improve this question

Right before Example 2.17 on the same page, Hatcher says

In particular this means that $\tilde{H}_n(X, A)$ is the same as $H_n(X, A)$ for all $n$, when $A \neq \emptyset$.

share|cite|improve this answer
thank you for pointing that out!! why is this true? what is the idea behind that? – palio Sep 26 '12 at 20:00
The idea is explained in that paragraph of the text: essentially, relative chain complexes are already augmented. – John Palmieri Sep 26 '12 at 20:11

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.