Un nudo, para nuestros propósitos, es un (buen comportamiento) "bucle" en el espacio 3-dimensional. Matemáticamente hablando, se podría pensar en una nudos como (inyectiva, diferenciable) funciones de la unidad de círculo a $\Bbb R^3$ (o, equivalentemente, la imagen de esta función en $\Bbb R^3$). Sin perder ninguna estructura real, vamos a suponer que estos bucles de ajuste dentro de la esfera de radio $1$.
Esa es la parte fácil. Ahora, la parte difícil: ¿qué significa para dos nudos a ser realmente el "mismo nudo"? Intuitivamente, nos gustaría que los dos nudos a ser "el mismo" si usted puede strech/aplastar/giro a la otra sin "rotura de la cuerda" o pasar la cuerda a través de la misma. La manera en que valoramos este matemáticamente, es decir que dos de los nudos son el mismo nudo si son de ambiente isotópica (o, para los más débiles de la condición ambiental isomorfo). En particular, dos nudos $K_1,K_2 \subset B$ ($B$ es la bola unidad cerrada) son del ambiente isomorfos si su complementa $B \setminus K_1$ $B \setminus K_2$ puede ser continuamente deformada de la una a la otra (que son del ambiente isomorfos si estos complementos son homeomórficos).
Nota: no es suficiente para comprobar si dos nudos son homeomórficos, ya que todos los nudos son homeomórficos para el círculo unidad. Creo que el ambiente isomorfismo implica ambiente isotopía en este caso, pero no estoy seguro.
Con eso, el nudo central de la teoría de las preguntas son
- ¿Cómo podemos saber si $K_1$ es el mismo nudo como $K_2$
- ¿Cómo podemos romper complicados nudos hacia abajo en pequeños nudos que entendemos
Otra manera útil de pensar acerca de los nudos es en términos de su nudo diagramas. En particular: tomamos un nudo, una mirada en su proyección sobre un adecuado plano, y mantener un seguimiento de todos los más de/menos de cruces. Resulta que dos nudo diagramas corresponden a la misma nudo si y sólo si uno puede conseguir a partir de un diagrama a otro con movimientos de Reidemeister.
Así que, ¿cómo saber nudos aparte? Generalmente, lo hacemos utilizando nudo invariantes, las propiedades que un nudo se conserva no importa cómo exactamente se extendía, torcido, o smooshed. Por ejemplo, sabemos que el trébol es distinta de la "unknot" debido a que el trébol es tricolorable, pero la unknot no lo es.