En la teoría de nudos, una rama de las matemáticas, el nudo de trébol es el ejemplo más simple de un nudo no trivial. El trébol se puede obtener uniendo los dos extremos sueltos de un nudo simple común, dando como resultado un lazo anudado. Como el nudo más simple, el trébol es fundamental para el estudio de la teoría matemática del nudo.
El nudo del trébol lleva el nombre de la planta del trébol de tres hojas (o Trifolium).
El (2,3)-nudo toroidal también es un nudo de trébol. Las siguientes ecuaciones paramétricas dan un (2,3)-nudo toroidal que se encuentra sobre un toro (geometría):
Cualquier deformación continua de la curva anterior también se considera un nudo de trébol. Específicamente cualquier curva isotópica a un nudo de trébol también se considera un trébol. Además, la imagen especular de un nudo de trébol también se considera un trébol. En topología y teoría de nudos, el trébol se define usando un diagrama de nudos en lugar de una ecuación paramétrica explícita.
El nudo del trébol es quiral, en el sentido de que un nudo del trébol se puede distinguir de su propia imagen especular. Las dos variantes resultantes se conocen como trébol para zurdos y trébol para diestros. No es posible deformar un trébol de mano izquierda continuamente en un trébol de mano derecha, o viceversa. (Es decir, los dos tréboles no son isotópicos ambientales).
Aunque quiral, el nudo del trébol también es invertible, lo que significa que no hay distinción entre un trébol orientado en sentido contrario a las agujas del reloj y uno orientado en el sentido de las agujas del reloj. Es decir, la quiralidad de un trébol depende solo de los cruces por encima y por debajo, no de la orientación de la curva.
No trivialidad
El nudo de trébol no es trivial, lo que significa que no es posible “desatar” un nudo de trébol en tres dimensiones sin cortarlo. Matemáticamente, esto significa que un nudo de trébol no es isotópico al Nudo trivial. En particular, no hay una secuencia de Movimiento de Reidemeister que desate un trébol.
Probar esto requiere la construcción de un nudo invariante que distingue el trébol del desanudado. El invariante más simple es tricoloreabilidad: el trébol es tricoloreable, pero el nudo trivial no lo es. Además, prácticamente todos los polinomios de nudos principales distinguen el trébol de un nudo, al igual que la mayoría de los otros invariantes de nudos fuertes.
El trébol se puede describir como el (2,3)-nudo del toro. También es el nudo que se obtiene al cerrar el trenza σ13.
El trébol es un nudo alterno. Sin embargo, no es un nudo de corte, lo que significa que no une un disco bidimensional liso en la bola de 4 dimensiones; una forma de probar esto es notar que su firma no es cero. Otra prueba es que su polinomio de Alexander no satisface la condición de Fox-Milnor.
El trébol es un nudo de fibra, lo que significa que su complemento de nudo en es un paquete de fibras sobre el círculo. El trébol K puede verse como el conjunto de pares de números complejos tal que and . Entonces este paquete de fibras tiene el mapa de Milnor como la proyección del haz de fibras del complemento de nudo al círculo . La fibra es una Punción (topología)toroide. Dado que el complemento de nudo también es un Espacio de fibra de Seifert con límite, tiene una superficie horizontal incompresible; esta es también la fibra del mapa de Milnor. (Esto supone que el nudo se ha engrosado para convertirse en un toroide sólido Nε(K), y que el interior de este toroide sólido se ha eliminado para crear un complemento de nudo compacto .)
Este grupo es isomorfo al grupo trenzado con tres hilos.
En religión y cultura
Como el nudo no trivial más simple, el trébol es un motivo común en la iconografía y las artes visuales. Por ejemplo, la forma común del símbolo triquetra es un trébol, al igual que algunas versiones del germánico Valknut.
Superficie matemática en la que el límite es el nudo del trébol en diferentes ángulos.
En el arte moderno, el grabado en madera Nudos de M. C. Escher representa tres nudos de trébol cuyas formas sólidas están torcidas de diferentes maneras.[5]