Yes. Take , the circle, and . The constant function is a continuous map and satisfies , so is a retract of .
However, their fundamental groups areA homotopy equivalence between path-connected spaces induces a group isomorphism of their fundamental groups, allowing the usual change of base point. The infinite cyclic group is not the trivial group. Therefore a retract need not have the homotopy type of its ambient space.
Articles by others on the same topic
There are currently no matching articles.