Este documento explora la teoría de nudos, una rama de la topología que estudia objetos matemáticos que se asemejan a nudos hechos con cuerda. Comienza definiendo un nudo como una curva cerrada simple en el espacio tridimensional. Dos nudos se consideran equivalentes si pueden deformarse uno en el otro sin cortar ni pegar la cuerda. Un concepto crucial es la noción de 'nudos tamés', aquellos que pueden representarse como curvas poligonales simples, evitando complicaciones que podrían hacerlos indistinguibles. La representación de un nudo se realiza a través de un diagrama, que es una proyección del nudo en un plano. Dos diagramas representan el mismo nudo si pueden transformarse entre sí mediante una serie de movimientos de Reidemeister, que son operaciones específicas que preservan la equivalencia del nudo. El nudo sin cruces, llamado 'unknot', es el más simple.
La teoría de nudos se extiende a los enlaces, que son la unión disjunta de múltiples nudos entrelazados. Se puede definir una operación de 'suma' de nudos, análoga a la suma de caminos, lo que permite descomponer cualquier nudo en una combinación de nudos primos (nudos que no pueden expresarse como la suma de otros nudos). Un concepto importante para clasificar nudos es la superficie de Seifert, una superficie compacta que tiene el nudo como su borde. La 'generación' de un nudo, relacionada con la superficie de Seifert, proporciona información sobre su complejidad.
Para distinguir nudos inequivalentes, se utilizan invariantes, propiedades que permanecen constantes bajo transformaciones equivalentes. El grupo fundamental del complemento del nudo (el espacio que queda al quitar el nudo) es un invariante poderoso. El polinomio de Kauffman y el polinomio de Jones son ejemplos de invariantes algebraicos que asignan un polinomio a cada nudo o enlace, permitiendo su diferenciación. Estos invariantes se basan en la manipulación de diagramas de nudos y el cálculo de ciertas propiedades. Finalmente, el documento introduce el concepto de trenzas, que son colecciones de cuerdas entrelazadas, y su relación con la teoría de nudos a través del teorema de Alexander, que establece que todo enlace puede representarse como una trenza.