Next:
Definition 9.2 (Retraction):
Up:
Exercises:
Previous:
Lemma 9.1:
Proof:
The second part is obvious. To prove the first part, for any loop
in
based at
,
so we get upon passing to equivalence classes,
In particular if
is a homeomorphism then
is an isomorphism of groups.
nisha 2012-03-20