In mathematics, a Legendrian knot often refers to a smooth embedding of the circle into , which is tangent to the standard contact structure on . It is the lowest-dimensional case of a Legendrian submanifold, which is an embedding of a k-dimensional manifold into a (2k+1)-dimensional that is always tangent to the contact hyperplane.
Two Legendrian knots are equivalent if they are isotopic through a family of Legendrian knots. There can be inequivalent Legendrian knots that are isotopic as topological knots. Many inequivalent Legendrian knots can be distinguished by considering their Thurston-Bennequin invariants and rotation number, which are together known as the "classical invariants" of Legendrian knots. More sophisticated invariants have been constructed, including one constructed combinatorially by Chekanov and using holomorphic discs by Eliashberg. This Chekanov-Eliashberg invariant yields an invariant for loops of Legendrian knots by considering the monodromy of the loops. This has yielded noncontractible loops of Legendrian knots which are contractible in the space of all knots.