Nudo (matemáticas)

En matemáticas, y más concretamente en topología, un nudo es una clase de equivalencia de encajes de la circunferencia ( S¹= {x ε R² : |x|=1 } ) en R³ o en la tres esfera S³.

Intuitivamente, un nudo es una curva cerrada en ${displaystyle Re ^{3}}$ sin autointersecciones.

Más formalmente, se puede definir como una aplicación ${displaystyle f:S^{1} ightarrow Re ^{3}}$ continua e inyectiva, y suele identificarse con la imagen de esta aplicación. Muchas de las aplicaciones de la Teoría de nudos necesitan distinguir los nudos, problema aún no resuelto hoy en día.

Intuitivamente, diremos que dos nudos son equivalentes si podemos deformar uno en el otro de forma continua sin romperlos. Dos intentos infructuosos de plasmar en una definición esta realidad física son:

Observamos que no basta con tener un homeomorfismo F de R³ que lleve f en f'. Ese sería el último paso de una película de la que necesitamos todos los pasos intermedios. Matemáticamente, esta película se plasma con una isotopía del ambiente F(-,t) que comienza con t=0 como identidad en R³ y termina en t=1 llevando la imagen del primer nudo en el segundo.

Dos nudos ${displaystyle f,f':S^{1} o Re ^{3}}$ son equivalentes cuando existe una aplicación continua ${displaystyle F:Re ^{3} imes [0,1] o Re ^{3}}$ tal que:

Cuando se cumplen las condiciones anteriores decimos que existe una isotopía del ambiente que lleva f en f'.

El nudo más simple es el llamado nudo trivial o a veces no-nudo, es una circunferencia geométrica canónica embebida (mediante la aplicación inclusión) en el espacio euclídeo R³. En un sentido coloquial, el nudo trivial no está anudado en absoluto. Los nudos no triviales más sencillos son el nudo de trébol y el nudo con figura de ocho.

Con la definición anterior, pueden aparecer ejemplos patológicos denominados nudos salvajes. que no se corresponden con nudos que podamos construir en la realidad (como casos con infinitos anudamientos).

Restringiremos nuestro estudio a una clase de nudos con buen comportamiento: estos son los llamados nudos poligonales. Llamamos nudo poligonal a aquel nudo cuya imagen está formada por un número finito de segmentos de recta. Un nudo equivalente a un nudo poligonal se denominará dócil o manso (en inglés tame). Todos los ejemplos anteriores son de nudos dóciles.

Definiremos como nudo salvaje a todo aquel que no es dócil. Hasta la fecha no se ha iniciado un estudio sistemático de los nudos salvajes.

El adjetivo dócil es omitido con frecuencia en teoría de nudos. Así, de no indicarse expresamente, se sobreentiende que se está trabajando con nudos dóciles.

Con frecuencia se trabaja con nudos diferenciables de clase C¹ (aquellos que corresponden a embebimientos de clase C¹). Se demuestra que todo nudo de clase C¹ es dócil.

A menudo los matemáticos prefieren considerar nudos embebidos en la 3-esfera, S³, más que en R³, dada la compacidad de ésta. La 3-esfera es la compactificación por un punto de R³ .