Théorème d'Extension d'Isotopie

Résultat de topologie géométrique affirmant que, sous des hypothèses de régularité et de compacité appropriées, toute isotopie d'un sous‑espace ou d'une sous‑variété à l'intérieur d'une varié té s'étend en une isotopie ambiante de la variété entière ; autrement dit, une déformation de l'inclusion se réalise par une déformation de l'application identité ambiante supportée dans un voisinage du sous‑