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

I am trying to do the stated problem in Hatcher:

Show $H_1(X,A) = 0$ iff $H_1(A) \to H_1(X)$ is surjective and each path component of $X$ contains at most one path component of $A$.

Now I have reduced the problem to showing that $i_\ast : H_0(A) \to H_0(X)$ injective iff each path component of $X$ contains at most one path component of $A$. This comes from looking at the end of the LES of the pair $(X,A)$:

$$\ldots \to H_1(X) \to H_1(X,A) \to H_0(A) \to H_0(X) \to H_0(X,A) \to 0$$

Now one direction I have shown, the other that is giving me trouble is the converse. That is if $i_\ast$ is not injective then there is a path component of $X$ that contains at least two path components of $A$. I have the following:

Suppose $i_\ast$ is not injective. Then there is a $\tau \in C_0(A)$ such that $[\tau \circ i] = 0$ but $[\tau] \neq 0$. That is to say, $\tau \circ i = \partial(\sigma)$ for some $\sigma \in C_1(X)$ but $\tau$ is not the boundary of any $\sigma'\in C_1(A)$. However I'm confused because to me the only way for $\tau \circ i$ to be the boundary of a singular $1$ - simplex $\sigma$ in $X$ is if $\sigma$ is a loop. What's wrong here?


share|cite|improve this question
Teri Hatcher? – miracle173 Nov 10 '12 at 7:04
Why do you assume $\sigma'\in H_1(A)$ in contrast to $\sigma\in C_1(X)$? Homology classes are always represented by cycles, so this would mean that $\partial(\sigma')=0$. If it's just a typo, maybe you could correct it along with the map in the quote which is $H_1(A)\to H_1(X)$. – Stefan Hamcke Nov 10 '12 at 17:41
@StefanH. I have corrected the first point in the comment. I don't understand which map you're talking about in the second. – user38268 Nov 10 '12 at 22:40
Why must $\sigma$ be a loop? Are you assuming that $\tau$ is a single vertex rather than an arbitrary 0-chain in $A$? – John Palmieri Nov 10 '12 at 23:49
@BenjaLim. I was talking about the map $H_1(A)\to H_1(X)$ in the quotation of the problem, where you switched $A$ and $X$. – Stefan Hamcke Nov 11 '12 at 13:06

There is no need to use long exact sequence. I suggest you go with definitions. This problem should be quite straightforward.

share|cite|improve this answer

Your Answer


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