Teorema de Extensión de Isotopía

Resultado de topología geométrica que afirma que, bajo hipótesis adecuadas de regularidad y compacidad, cualquier isotopía de un subespacio o subvariedad dentro de una variedad se extiende a una isotopía ambiente de la variedad entera; es decir, una deformación de la inclusión puede realizarse por una deformación de la identidad ambiente con soporte en un vecindario del subespacio.