|
We show that for every subset X of a closed surface
M2 and every x0 in X, the natural homomorphism
φ:π1(X,x0)→ˇπ1(X,x0), from
the fundamental group to the first shape homotopy group, is injective.
In particular, if X⊂M2 is a proper compact subset, then
π1(X,x0) is isomorphic to a subgroup of the limit of an inverse
sequence of finitely generated free groups; it is therefore locally free,
fully residually free and residually finite.
|