Invariant de nœuds
From Wikipedia, the free encyclopedia
En théorie des nœuds, un invariant de nœuds est une quantité définie pour chaque nœud qui est la même pour tous les nœuds équivalents. On parlera d'équivalence lorsque l'on peut passer d'un nœud à un autre par une isotopie ou, ce qui revient au même, si on peut passer du (d'un) diagramme de l'un au (à un) diagramme de l'autre par un nombre fini de mouvements de Reidemeister.

Ces invariants topologiques peuvent être de tout type : des booléens, des scalaires, des polynômes (polynôme d'Alexander, le polynôme de Jones, le polynôme HOMFLY (en)) ou encore le groupe fondamental du complément d'un nœud, l'un des invariants de type fini (en) de Vassiliev ou l'intégrale de Kontsevich (en).
Par exemple, la tricolorabilité est un invariant de nœuds booléen.