$H_0(X,A) = 0 \iff A \cap X_i \neq \emptyset \forall $ path-components $X_i$ I've been doing some more exercises in Hatcher, in particular the following:
Show that $H_0(X,A) = 0$ iff $A$ meets each path-component of $X$.
"$\Leftarrow$": Let $x_i \in A \cap X_i \neq \emptyset \forall $ path-components $X_i$. Then for any $x \in X_i$ there is a path $\gamma$ from $x_i$ to $x$. They therefore differ by a boundary: $\partial \gamma = x - x_i$ and therefore $\{ x \} = \{ x_i \}$ in $H_0(X,A) $. Therefore $H_0(X,A) = 0$.
"$\Rightarrow$" Now for this direction I'm not so sure and I'd be glad if you could give me a hint. Let $H_0(X,A) = 0$. By definition, the relative homology group is calculated from the following sequence of chain groups:
$$ 0 \rightarrow C_0(A) \rightarrow C_0(X) \xrightarrow{\partial_1} C_0(X) / C_0(A) \xrightarrow{\partial_0} 0$$
Then $H_0(X, A) = H_0(C_0(X) / C_0(A)) = ker \partial_0 / im \partial_0 = (C_0(X) / C_0(A) ) / im \partial_1 = 0$.
There are two cases where this equality holds:
(i) $C_0(X) / C_0(A) = 0$
(ii) $im \partial_1 = C_0(X) / C_0(A)$
In case (i), $A \cap X_i \neq \emptyset$ for all $X_i$.
In case (ii) I'm not sure how to proceed. Can you give me a hint? Many thanks for your help!
Edit
Or maybe I could do the second direction like this:
$$0 = H_0(X,A) = \oplus_i H_0(X_i, A) \implies  H_0(X_i, A) = 0 \forall i$$
$$ \implies A \cap X_i \neq \emptyset \forall i$$?
 A: You can reduce the problem before you start, as follows: Suppose the path components of $X$ are the spaces $X_i$ with $i\in I$. For each $i$, let $A_i=X_i\cap A$, and show that $$H_p(X,A)\cong\bigoplus_{i\in I}H_p(X_i,A_i).$$ Using this, you are left with proving the statement

If $X$ is a non-empty path connected space and $A\subseteq X$, then $H_0(X,A)=0$ iff $A$ is not-empty.

One way to prove this is to consider the end of the long exact sequence for the pair $(X,A)$, namely $$H_0(A)\to H_0(X)\to H_0(X,A)\to 0$$ By our hypothesis, $H_0(X)\cong\mathbb Z$, and you should know/check that it is generated by the homology class of any point in $X$. If $A$ is empty, then exactness immediately tells you wat $H_0(X,A)$ is non-zero. If $A$ is non-empty, pick a point $a\in A$ and consider the homology class $[a]\in H_0(A)$. The image of $[a]$ under $H_0(A)\to H_0(X)$ is the homology class of a point, which generates the codomain. Exactness now implies that $H_0(X,A)=0$.
A: I'm not sure if this answer is correct but I'll give it a try. Suppose that $H_0(X,A) = 0$. Then we know that $i_\ast H_0(A) \hookrightarrow H_0(X)$ is surjective. Now choose some $x \in X$ that is in some path component $x_i$. Then we can consider an associated singular $0$ - simplex $\sigma : \Delta^0 \to X$ that maps $\Delta^0$ to $x$. Surjectivity  of $i_\ast$ implies that I can find a $\tau : \Delta^0 \to A$ such that
$$[\tau \circ i] = [\sigma]$$ so that $\tau \circ i- \sigma$ is the boundary of a singular $1$ - chain  in $X$. Now I think from here you can say that this singular $1$ - chain is actually a singular $1$ - simplex $\rho$. Since the image of $\rho$ is always path - connected, we have that the image of $i \circ \tau$ and $\sigma$ are both in the same path - component. Since $\sigma : \Delta^0 \to x$ with $x$ in an arbitrary path - component, we are done.
