Hatcher, *Algebraic Topology*, Chapter 2, Section 1

**15. For an exact sequence show that if and only if the map is surjective and is injective. Hence, for a pair of spaces , the inclusion induces isomorphisms on all homology groups if and only if for all .**

*Proof.*