Deje que$D^2 \subset \mathbb{R}^2$ la unidad de disco y$f: D^2 \rightarrow D^2$ un homeomorfismo con la propiedad que$f$ restringido al límite$\partial D^2$ es la identidad. Entonces,$f$ es el ambiente isotópico a la identidad.
Sé que el Teorema de Annulus y puedo usarlo para el isótopo ambiental$f$ de la identidad en cualquier círculo dentro de$D^2$, pero no tengo idea de cómo extenderlo de tal manera que gire f a la identidad en un abra el conjunto alrededor de este círculo o incluso construya la isotopía que funciona para todo el$D^2$.
