|
Theorem 11.6:
If
is a homotopy equivalence then the groups
and
are isomorphic.
Proof:
There exists
such that and are respectively homotopic to
id and
id . By theorem 11.5
differs from the identity map on
by a composition
with the isomorphism
where is a path joining and . In particular
is bijective and so is surjective and is injective. Likewise, working with one concludes that is surjective and is injective.
Hence is an isomorphism between
and
. |
|