Teoría de nudos

La definición matemática de nudo pretende dar una descripción rigurosa de lo que es el nudo y, con ello, poder dar respuesta a qué es lo que diferencia un nudo de otro. La idea básica de esta definición es que, para darle cabida a que un nudo no se pueda desanudar, se pegan las puntas extremas del nudo.

• Por ello se dice que un nudo es un encaje o embebimiento de la circunferencia en el espacio ambiente (${\displaystyle R^{3}}$, ${\displaystyle S^{3}}$ o alguna otra 3-variedad).

Por otro lado, el que un nudo se pueda deformar a otro, en matemáticas se describe como la existencia una isotopía del ambiente entre ambos encajes.

• Formalmente hablando, uno puede decir que un nudo en (${\displaystyle R^{3}}$ o en ${\displaystyle S^{3}}$) es una clase de equivalencia de encajes de la 1-esfera ( S¹= {x ${\displaystyle \in }$ R² : |x|=1 } ) en (${\displaystyle R^{3}}$ o en la 3-esfera). La clase está dada por la equivalencia isotópica de funciones. Es decir, dos encajes son equivalentes si existe una isotopía del ambiente entre ambos.

También se pueden estudiar nudos en el Toro: ${\displaystyle S^{1}\times S^{1}}$.

Intrincados nudos celtas en el Libro de Kells] de 1200 años de antigüedad.

Los arqueólogos han descubierto que la práctica de los nudos se remonta a la prehistoria. Además de sus usos como grabar información y unir objetos, los nudos han interesado a los humanos por su estética y simbolismo espiritual. Los nudos aparecen en diversas obras de arte chinas que datan de varios siglos antes de Cristo (véase anudado chino). El nudo sin fin aparece en el budismo tibetano, mientras que los anillos borromeo han hecho repetidas apariciones en diferentes culturas, a menudo representando la fuerza en la unidad. Los monjes del Celta que crearon el Libro de Kells prodigaron páginas enteras con intrincados nudos celtas.

El primer tabulador de nudos, Peter Guthrie Tait

Una teoría matemática de los nudos fue desarrollada por primera vez en 1771 por Alexandre-Théophile Vandermonde, quien señaló explícitamente la importancia de las características topológicas al discutir las propiedades de los nudos relacionadas con la geometría de la posición. Los estudios matemáticos de los nudos comenzaron en el siglo XIX con Carl Friedrich Gauss, que definió el Índice de ligazón (Silver, 2006). En la década de 1860, la teoría del vórtice del átomo de Lord Kelvin llevó a Peter Guthrie Tait a crear las primeras tablas de nudos para una clasificación completa. Tait, en 1885, publicó una tabla de nudos con hasta diez cruces, y lo que llegó a conocerse como las conjeturas de Tait. Este registro motivó a los primeros teóricos del nudo, pero la teoría del nudo acabó formando parte del tema emergente de la topología.

Estos topólogos de principios del siglo XX -Max Dehn, James Waddell Alexander II, y otros- estudiaron los nudos desde el punto de vista del grupo de nudos y de invariantes de la teoría de homología como el polinomio de Alexander. Este sería el principal enfoque de la teoría de nudos hasta que una serie de avances transformaron el tema.

A finales de la década de 1970, William Thurston introdujo la geometría hiperbólica en el estudio de los nudos con la teorema de hiperbolización. Se demostró que muchos nudos eran nudos hiperbólicos, lo que permitió utilizar la geometría para definir nuevas y potentes invariantes de los nudos. El descubrimiento del polinomio de Jones por Vaughan Jones en 1984 (Sossinsky, 2002, pp. 71-89), y las contribuciones posteriores de Edward Witten, Maxim Kontsevich, y otros, revelaron profundas conexiones entre la teoría de nudos y los métodos matemáticos en mecánica estadística y teoría cuántica de campos. Desde entonces se ha inventado una plétora de invariantes de nudos, utilizando herramientas sofisticadas como los grupos cuánticos y la homología de Floer.

En las últimas décadas del siglo XX, los científicos se interesaron por estudiar la nudos físicos para comprender los fenómenos de anudamiento en el ADN y otros polímeros. La teoría de nudos puede utilizarse para determinar si una molécula es chiral (tiene una "handedness") o no (Simon, 1986). Los Tangles, cuerdas con ambos extremos fijos en su lugar, se han utilizado eficazmente en el estudio de la acción de la topoisomerasa sobre el ADN (Flapan, 2000). La teoría de nudos puede ser crucial en la construcción de ordenadores cuánticos, a través del modelo de computación cuántica topológica.(Collins, 2006).

La Teoría de nudos nace al final del siglo XVIII, con los estudios de A.T.Vandermonde, C.F. Gauss y F. Klein.

A finales del siglo XIX, se inició un estudio sistemático de la teoría, cuando los matemáticos y físicos se dedicaron a tabular nudos. Lord Kelvin (1867) propuso la idea de que los átomos eran nudos, formados por pequeños vórtices o corrientes cerradas de éter. Creía que, si clasificaba todos los nudos posibles, podría explicar cómo los átomos absorben y emiten luz. Ahora sabemos que esta idea es incorrecta. El físico Peter Tait pasó muchos años realizando una lista de nudos con la creencia de que estaba creando una tabla de elementos. Cuando el éter no fue detectado en el experimento de Michelson y Morley, la teoría de los átomos modelados mediante nudos fue desechada, y la teoría de los nudos perdió parte de su interés para los físicos.

Al principio del siglo XX, junto con el desarrollo de la topología, topólogos como Max Dehn, J. W. Alexander, y Kurt Reidemeister investigaron los nudos.

Pero los desarrollos más importantes de esta teoría se han producido en la segunda parte del siglo XX, gracias a las contribuciones de J.H.Conway, V.F.R.Jones, L.H. Kauffman y muchos otros. Hoy en día, la teoría de nudos tiene aplicaciones en teoría de cuerdas, en la gravedad cuántica, en el estudio de replicación y recombinación del ADN, y en áreas de la mecánica.

Importa recalcar que los complementos de algunos nudos tienen a 3-variedades como complementos y estas son objetos de intenso estudio.

A la izquierda, el nudo deshecho y un nudo equivalente. Puede resultar más difícil determinar si los nudos complejos, como el de la derecha, son equivalentes al nudo de deshacer.

Un nudo se crea comenzando con un segmento de línea de unadimensión, envolviéndolo alrededor de sí mismo de forma arbitraria y, a continuación, fusionando sus dos extremos libres para formar un bucle cerrado (Adams, 2004).(Sossinsky, 2002). De forma sencilla, podemos decir que un nudo ${\displaystyle K}$ es una "curva cerrada simple" (véase Curva) -es decir: una "casi" función inyectiva y continua ${\displaystyle K\colon [0,1]\to \mathbb {R} ^{3}}$, siendo la única "no inyectiva" ${\displaystyle K(0)=K(1)}$. Los topólogos consideran que los nudos y otros enredos como ligaduras y trenzas son equivalentes si el nudo puede ser empujado suavemente, sin intersecarse, para coincidir con otro nudo.

La idea de equivalencia de nudos es dar una definición precisa de cuándo dos nudos deben considerarse iguales aunque estén situados de forma muy diferente en el espacio. Una definición matemática formal es que dos nudos ${\displaystyle K_{1},K_{2}}$ son equivalentes si existe un conservador de orientación homeomorfismo ${\displaystyle h\colon \mathbb {R} ^{3}\to \mathbb {R} ^{3}}$ con ${\displaystyle h(K_{1})=K_{2}}$.

Lo que significa esta definición de equivalencia de nudos es que dos nudos son equivalentes cuando existe una familia continua de homeomorfismos ${\displaystyle \{h_{t}:\mathbb {R} ^{3}\rightarrow \mathbb {R} ^{3}\ \mathrm {for} \ 0\leq t\leq 1\}}$ del espacio sobre sí mismo, tal que el último de ellos lleva el primer nudo sobre el segundo nudo. (En detalle: Dos nudos ${\displaystyle K_{1}}$ y ${\displaystyle K_{2}}$ son equivalentes si existe un mapeo continuo ${\displaystyle H:\mathbb {R} ^{3}\times [0,1]\rightarrow \mathbb {R} ^{3}}$ tal que a) para cada ${\displaystyle t\in [0,1]}$ el mapa que lleva ${\displaystyle x\in \mathbb {R} ^{3}}$ a ${\displaystyle H(x,t)\in \mathbb {R} ^{3}}$ es un homeomorfismo de ${\displaystyle \mathbb {R} ^{3}}$ sobre sí mismo; b) ${\displaystyle H(x,0)=x}$ para todo ${\displaystyle x\in \mathbb {R} ^{3}}$; y c) ${\displaystyle H(K_{1},1)=K_{2}}$. Tal función ${\displaystyle H}$ se conoce como una isotopía del ambiente).

Estas dos nociones de equivalencia de nudos coinciden exactamente en qué nudos son equivalentes: Dos nudos que son equivalentes bajo la definición de homeomorfismo conservador de la orientación son también equivalentes bajo la definición de isotopía ambiental, porque cualquier homeomorfismo conservador de la orientación de ${\displaystyle \mathbb {R} ^{3}}$ hacia sí mismo es la etapa final de una isotopía ambiental que parte de la identidad. A la inversa, dos nudos equivalentes bajo la definición de isotopía ambiental son también equivalentes bajo la definición de homeomorfismo que preserva la orientación, porque la etapa ${\displaystyle t=1}$ (final) de la isotopía ambiental debe ser un homeomorfismo que preserva la orientación que lleva un nudo al otro.

El problema básico de la teoría de nudos, el problema de reconocimiento, consiste en determinar la equivalencia de dos nudos. Existen Algoritmoss para resolver este problema, siendo el primero dado por Wolfgang Haken a finales de los años 60 (Hass, 1998). Sin embargo, estos algoritmos pueden consumir mucho tiempo, y una cuestión importante en la teoría es entender lo difícil que es realmente este problema (Hass, 1998). El caso especial de reconocer el nudo, llamado el problema de desanudar, es de particular interés (Hoste, 2005). En febrero de 2021 Marc Lackenby anunció un nuevo algoritmo de reconocimiento de nudos que se ejecuta en tiempo cua| sipolinomial.[1].

Diagrama de un nudo.

Un nudo se describe generalmente por medio de su diagrama, que representa su proyección sobre el plano, destacando en cada cruce la diferencia entre el tramo que está encima y el que está debajo (que normalmente aparece marcado con una interrupción).

Es posible que al proyectar dos nudos diferentes en determinada dirección, se pierda información y se obtenga la misma proyección. Para que esto no suceda se trabaja siempre con las llamadas proyecciones regulares, que contienen toda la información necesaria.

Pero el mismo nudo admitirá distintas representaciones en forma de diagrama, así que surge el primer problema fundamental, ¿cuándo dos diagramas representarán el mismo nudo?

En 1927, el teorema de Reidemeister resolverá parcialmente este problema. Dicho teorema permite decidir si un nudo es igual otro tan sólo haciendo dibujos y es una fuerte herramienta para la prueba de algunos invariantes.

El teorema de Reidemeister dice lo siguiente: Para pasar de una proyección regular de un nudo a otra proyección sólo se necesitan realizar sucesivamente movimientos de alguno de los siguientes tipos:

Tipo 1.

Tipo 2.

Tipo 3.

Aunque aparentemente resuelve el problema, no proporciona un algoritmo para determinar si dos nudos son equivalentes. Así, a priori no se conoce el número de movimientos necesarios para transformar un diagrama en otro. Tampoco es posible saber con certeza en un tiempo finito si dos nudos no son equivalentes. Un avance significativo en esta dirección fue la introducción en 1929 de los primeros invariantes.

Un invariante de nudos es una "cantidad" que es la misma para nodos equivalentes. Aun así, un solo invariante puede tomar el mismo valor para dos nudos diferentes, siendo insuficiente para distinguirlos.

En la lista de invariantes clásicos debemos incluir:

• La tricoloreabilidad
• El grupo de un nudo, que es el grupo fundamental de su complemento.
• El polinomio de Alexander.

Al final del siglo XX se descubrieron nuevos invariantes como:

• Los invariantes hiperbólicos.
• El polinomio de Jones y sus dos generalizaciones más conocidas, el polinomio HOMFLY y el polinomio de Kauffman, ambos generados por grupos cuánticos.

De todos modos, los invariantes nombrados son solo la punta del iceberg de la moderna teoría de nudos.

Un nudo tiene importancia como determinador de cierto tipo de 3-variedades que son los complementos de nudos.

En cuatro dimensiones, cualquier circunferencia anudada es equivalente al nudo trivial. Sin embargo, la teoría de los nudos se puede generalizar a embebimientos de subvariedades en variedades. Por ejemplo, una 2-esfera embebida en una 4-esfera. Tal embebimiento se considerará no anudado si existe un homeomorfismo del espacio ambiente (la 4-esfera) en sí misma que lleve la 2-esfera considerada en la 2-esfera canónica. Lo mismo puede decirse para superficies compactas, orientables o no. Podemos pensar que una botella de Klein intersectándose consigo misma en el espacio es el diagrama de una superficie anudada en la 4-esfera.

También podemos considerar enlaces de subvariedades.

Un enlace con tres componentes, cada uno de los cuales es un nudo trivial.

Friso formado por una 3-trenza

Tanto los enlaces como las trenzas comparten muchos puntos teóricos con los nudos:

• Enlace (teoría de nudos)
• Teoría de trenzas

Sobre el uso de los nudos en la antigüedad:

• Los Quipus
• Cabuyería

• Colin Adams, The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots, 2001, ISBN 0-7167-4219-5
• M.A. Armstrong, Topología Básica, Ed. Reverté, 1987. ISBN 84-291-5018-8. (capítulo X)
• Dale Rolfsen, Knots and Links, Berkeley: Publish or Perish, Inc. 1976. ISBN 0-914098-16-0

• Revisión sobre nudos, enlaces y su papel en el estudio de variedades tridimensionales
• KnotInfo: Tabla de nudos invariantes y recursos sobre la teoría de nudos.
• La wiki atlas de nudos: detallada información acerca de nudos
• KnotPlot: software para investigar las propiedades geométricas de los nudos.