Invariant de nœuds

In the mathematical field of knot theory, a knot invariant is a quantity (in a broad sense) defined for each knot which is the same for equivalent knots. The equivalence is often given by ambient isotopy but can be given by homeomorphism. Some invariants are indeed numbers (algebraic), but invariants can range from the simple, such as a yes/no answer, to those as complex as a homology theory (for example, "a knot invariant is a rule that assigns to any knot K a quantity φ(K) such that if K and are equivalent then φ(K) = φ()."). Research on invariants is not only motivated by the basic problem of distinguishing one knot from another but also to understand fundamental properties of knots and their relations to other branches of mathematics. Knot invariants are thus used in knot classification, both in "enumeration" and "duplication removal". A knot invariant is a quantity defined on the set of all knots, which takes the same value for any two equivalent knots. For example, a knot group is a knot invariant. Typically a knot invariant is a combinatorial quantity defined on knot diagrams. Thus if two knot diagrams differ with respect to some knot invariant, they must represent different knots. However, as is generally the case with topological invariants, if two knot diagrams share the same values with respect to a [single] knot invariant, then we still cannot conclude that the knots are the same. From the modern perspective, it is natural to define a knot invariant from a knot diagram. Of course, it must be unchanged (that is to say, invariant) under the Reidemeister moves ("triangular moves"). Tricolorability (and n-colorability) is a particularly simple and common example. Other examples are knot polynomials, such as the Jones polynomial, which are currently among the most useful invariants for distinguishing knots from one another, though currently it is not known whether there exists a knot polynomial which distinguishes all knots from each other. However, there are invariants which distinguish the unknot from all other knots, such as Khovanov homology and knot Floer homology.