Supongamos que M y N son variedades con límites no vacíos y que f,g:M→N con f(∂M),g(∂M)⊆∂N . Además, supongamos que f≃g y que como mapas f|∂M,g|∂M:∂M→∂N tenemos f|∂M≃g|∂M .
¿Es entonces cierto que f puede ser homotopado a g con una homotopía H:M×I→M con Ht(∂M)⊆∂N para todos t∈I ? En particular, me interesa el caso de que M y N son cuerpos de asas.