Concepto en topología
En , el nudo no es
isotópico ambiental respecto al
nudo trébol, ya que uno no puede deformarse en el otro a través de un camino continuo de homeomorfismos del espacio ambiental. Son isotópicos ambientales en .
![{\displaystyle \mathbb {R} ^{3}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {R} ^{4}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En la materia matemática de topología , una isotopía ambiental , también llamada isotopía h , es una especie de distorsión continua de un espacio ambiental , por ejemplo una variedad , llevando una subvariedad a otra subvariedad. Por ejemplo, en la teoría de nudos , se consideran dos nudos iguales si se puede distorsionar un nudo en el otro sin romperlo. Tal distorsión es un ejemplo de isotopía ambiental. Más precisamente, dejemos que y sean múltiples y y sean incrustaciones de en . Un mapa continuo![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle N}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F:M\times [0,1]\rightarrow M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
se define como una isotopía ambiental tomando a if es el mapa de identidad , cada mapa es un homeomorfismo de sí mismo, y . Esto implica que la orientación debe preservarse mediante isotopías ambientales. Por ejemplo, dos nudos que son imágenes especulares entre sí, en general, no son equivalentes.![{\displaystyle g}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle h}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\ Displaystyle F_ {0}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{t}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle M}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F_{1}\circ g=h}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Ver también
Referencias
- MA Armstrong, Topología básica , Springer-Verlag , 1983
- Sasho Kalajdzievski, Introducción ilustrada a la topología y la homotopía , CRC Press, 2010, Capítulo 10: Isotopía y homotopía