Homotopy Group is Homeomorphism Invariant

Theorem
Let $$X$$ and $$Y$$ be two manifolds.

Let there exist a homeomorphism $$\phi: X \to Y$$.

Then:
 * $$\forall n \in \N: \pi_n (X) = \pi_n(Y) $$

where the $$\pi_n \ $$ are the $$n^{th} \ $$ homotopy groups.

Proof
Let $$\phi \ $$ be any homeomorphism $$\phi:X\to Y \ $$. We must show that:


 * 1) If $$c:[0,1]^n \to X \ $$ is a continuous mapping, then $$ \phi \circ c:[0,1]^n \to Y \ $$ is as well;
 * 2) If $$c,d:[0,1]^n \to X \ $$ are homotopic, then $$\phi\circ c, \phi\circ d:[0,1]^n \to Y \ $$ are homotopic as well;
 * 3) If $$c,d:[0,1]^n \to X \ $$ are not homotopic, there can be no homotopy between $$\phi\circ c \ $$ and $$\phi \circ d \ $$;
 * 4) The image of the concatenation of two maps, $$\phi(c * d) \ $$, is the concatenation of the images, $$\phi(c)*\phi(d) \ $$.