Dejar denote el disco cerrado y denota su interior. Si tengo un homeomorfismo está claro que no es necesariamente extensible a todo el disco. Como ejemplo intuitivo, tome un homeomorfismo que haga girar el disco infinitamente rápido, cuanto más se acerque al límite. ¿Qué es sin embargo, si es isotópica a la identidad? ¿Se puede extender a ? ¡Muchas gracias!
El mapa que gira más rápido a medida que se acerca al límite es isotópica a la identidad, a través de , .