La proposición: no Hay ningún mapa continuo de la unidad de disco $D^2$ a su límite de $S^1$ cuya restricción a $S^1$ es la identidad en $S^1$.
Mi prueba: Supongamos que hay un $f$. Deje $g: S^1\to S^1$ ser un mapa continuo. A continuación, $g\circ f: D^2 \to S^1$ es una extensión de $g$ a $D^2$. Por lo tanto $\pi_1(S^1)=0$. Contradicción.
La simplicidad de mi solución me hace sospechoso. Es todo correcto?