La teoría de nudos es el estudio de las incrustaciones de variedades unidimensionales en el espacio euclidiano tridimensional o en una esfera . En un sentido más amplio, el tema de la teoría de nudos son las incrustaciones de esferas en variedades y las incrustaciones de variedades en general.
La incrustación (más a menudo, su imagen) de una suma desconectada de instancias de un círculo en o se denomina enlace de multiplicidad .
El enlace de multiplicidad se llama nudo .
Los nodos que componen un enlace dado se denominan sus componentes .
Las clases de enlaces de isotopía de volumen se denominan tipos de enlaces . Los enlaces del mismo tipo se denominan equivalentes .
Un enlace que consta de algunos de los componentes del enlace se denomina enlace parcial .
Se dice que un enlace se divide (o se divide ) si sus dos enlaces parciales están separados por una esfera bidimensional.
Por lo general, los enlaces se definen por medio de los llamados diagramas de nudos y enlaces . Este método está muy relacionado con el concepto de trenzas . Si en una trenza de hilos conectamos en la parte superior e inferior de pares de extremos adyacentes con segmentos, obtenemos un enlace llamado plexo.
Otra forma de construir enlaces a partir de trenzas es cerrar las trenzas. Si entre dos planos paralelos y en tomamos segmentos ortogonales a ellos y conectamos sus extremos en pares con arcos en y arcos en sin intersecciones, entonces la suma de todos los arcos y segmentos dará un enlace. Un enlace que admite tal representación se llama enlace puente .
Para clasificar los nodos, se compilan tablas de nodos [1] : una lista de diagramas de todos los nodos simples que permiten proyecciones en un plano.
Para facilitar la búsqueda y la unificación, los nodos tienen una designación estándar: el primer dígito indica el número de puntos dobles y el segundo (ubicado en el índice) indica el número ordinal del nodo.
Además de la designación estándar, varios de los nodos más simples tienen nombres especiales. Por ejemplo:
Para nudos de múltiples componentes, el número de componentes se indica en el superíndice: por ejemplo, la unión de dos anillos tiene la notación simbólica .
Casi la única forma de probar que los nudos no son isomorfos es usar invariantes : números o expresiones asociadas con un nudo (o enlace) que no cambian con su isotopía. Entonces basta con probar la no isomorfismo encontrando un invariante cuyos valores en dos nudos o enlaces dados sean diferentes. (Vale la pena señalar que la coincidencia de uno o más invariantes en dos nodos aún no prueba su isomorfismo).
La mayoría de las veces, las invariantes se determinan solo para nudos domesticados (y enlaces), construyéndolos de acuerdo con el diagrama de nudos; comprobar la invariancia en este caso se reduce a comprobar que el objeto construido se conserva bajo las tres transformaciones de Reidemeister .
Algunas invariantes de nudos y enlaces:
El estudio de las invariantes de nudos es parte de un problema más general sobre el anillo de cohomología del espacio de nudos. Invariantes de nudo numérico : clases de cohomología de dimensión 0 Cualquier invariante se describe en términos de un discriminante: a cada componente conectado del conjunto de sus puntos no singulares se le puede asignar su índice igual a la diferencia entre los valores del invariante de dos cierre los nudos separados por esta sección. Para que los índices determinen la invariante del nudo, es necesario que la suma de las secciones (con los coeficientes correspondientes) no tenga límite en el espacio de aplicaciones La teoría de la homología se ocupa del listado de coeficientes permisibles . Los conjuntos de índices se pueden representar mediante una secuencia espectral, que se genera mediante la estratificación del discriminante por los tipos de degeneración de los mapeos correspondientes. Si on está en el dominio Más generalmente, cualquier elemento de un grupo corresponde a una clase de cohomología bidimensional del espacio de nudos.
Podemos considerar espacios de nudos en su totalidad como A medida que crecen los anillos de cohomología (filtrados) de estos espacios , se mantienen las propiedades de estabilización y periodicidad. Cualquier clase de cohomología (de dimensión finita) del espacio de nudos se realiza mediante un índice de enlace con algún ciclo (de dimensión infinita pero codimensión finita) en el discriminante que consiste en aplicaciones suaves o que no son nudos (tienen singularidades, es decir, autointersección ).
Si cualquier sección del discriminante consta de funciones que tienen exactamente un punto de autointersección (en el que los vectores tangentes a dos componentes locales generan un plano bidimensional), entonces debe tener una orientación transversal invariablemente definida en el espacio de todos mapeos suaves (una forma de nombrar uno de los dos componentes adyacentes del espacio de nudo positivo y el otro negativo) [2] .
La importancia de la teoría de nudos para el estudio de variedades tridimensionales está determinada, en primer lugar, por el hecho de que cualquier variedad tridimensional cerrada orientable puede representarse como una esfera envolvente ramificada sobre algún vínculo ( teorema de Alexander ). Además, cada 3-variedad orientable conexa de género 1 (es decir, un espacio de lente) es homeomorfo a una cubierta ramificada de dos hojas de algún enlace con dos puentes, y los enlaces con dos puentes son equivalentes si y solo si sus dos hojas las cubiertas ramificadas son homeomorfas. Este hecho es útil tanto para describir 3-variedades como para clasificar nudos.
Otra herramienta importante que proporciona la teoría de nudos para el estudio de 3 variedades es el cálculo de enlaces de Kirby enmarcados.
Además de estas y muchas otras aplicaciones de la teoría de nudos en topología, sus aplicaciones también incluyen el estudio de singularidades de curvas algebraicas planas y, en una situación multidimensional, singularidades aisladas de hipersuperficies complejas, estructuras suaves en esferas y la construcción de sistemas dinámicos. y foliaciones. Hay intentos de aplicar la teoría de los nudos en la dinámica simbólica [3] y la teoría matemática de la turbulencia [4] .
Al parecer, Gauss fue el primero en considerar el nudo como un objeto matemático. Creía que el análisis de los fenómenos de anudamiento y enredo es una de las principales tareas de "geometris situs". El propio Gauss escribió poco sobre nudos y eslabones, pero su alumno Listing dedicó una parte importante de su monografía a los nudos.
A fines del siglo XIX, Tet y K. Little compilaron tablas de nudos simples con no más de 10 intersecciones y tablas de nudos simples alternos con no más de 11 intersecciones.
En 1906 , Tietz fue el primero en utilizar el grupo fundamental para demostrar la no trivialidad de un nudo. En 1927, J. Alexander y L. Briguet, utilizando los coeficientes de torsión de homología de cubiertas cíclicas ramificadas de dos y tres hojas, distinguieron todos los nudos tabulados con 8 cruces y todos los nudos, a excepción de tres pares, con 9 cruces.
En 1928, Alexander propuso un polinomio que lleva su nombre , pero incluso con su ayuda no fue posible verificar la diferencia de los 84 nodos con no más de 9 intersecciones. Este último paso fue dado por Reidemeister , quien consideró los coeficientes de enlace en recubrimientos diédricos ramificados.