Talk:Borel conjecture in dimensions 1 and 2 (Ex)
Let us do the case of dimension first. Here it follows from the classification that every connected closed -manifold is homeomorphic to a circle . Moreover we know that up to homotopy every self map of is of the from for some . Moreover homotopy equivalences have to fulfill and those maps are homeomorphisms, so every homotopy equivalence is homotopic to a homeomorphism.
For the case of dimension , first we note that by handle body decomposition it follows that two orientable surfaces are homotopy equivalent if and only if they are homeomorphic. For any space let us denote by the space of homeomorphisms of and by the space of homotopy equivalences of , each equipped with the compact open topology. We now claim that for an orientable surface, the natural inclusion
induces a surjection on path components which follows from a theorem that this is even a bijection on path components.