I've been trying to find an example of a not too obscure space for which one needs the excision theorem to compute the homology groups:
Excision: If $Z \subset A \subset X$ where $A, U$ are subspaces of $X$ and $U$ is a subspace of $A$ then if $\bar{Z} \subset int(A)$ the following map is an isomorphism:
$i_\ast : H(X,A) \rightarrow H(X-Z, A-Z)$.
Example: For example if $X=D^2$ and $A=D^2 - \partial D^2$ and $Z = \{ \ast \}$ then this tells me that H(D^2, A) = H(S^1, \{ \ast \}) = \tilde{H}(S^1) which is $\tilde{H_1}(S^1) = \mathbb{Z}$ and $\tilde{H_n}(S^1) = 0$ for $n \neq 1$.
But I can also compute this using exactness:
$H_n(D^2, S^1) = 0$ for $n \neq 2$ and
$H_2(D^2, S^1) = \mathbb{Z}$.
I have two questions about this: What am I doing wrong? They should be the same.
And do you have an example where I actually need excision? It seems to me there is always a different way to get the homology groups and I don't actually need excision at all.
Many thanks for your help.