In the mathematical theory of knots, a finite type invariant is a knot invariant that can be extended (in a precise manner to be described) to an invariant of certain singular knots that vanishes on singular knots with m + 1 singularities and does not vanish on some singular knot with 'm' singularities. It is then said to be of type or order m.
We give the combinatorial definition of finite type invariant due to Goussarov, and (independently) Joan Birman and Xiao-Song Lin. Let V be a knot invariant. Define V1 to be defined on a knot with one transverse singularity.
Consider a knot K to be a smooth embedding of a circle into . Let K' be a smooth immersion of a circle into with one transverse double point. Then, where is obtained from K by resolving the double point by pushing up one strand above the other, and K_- is obtained similarly by pushing the opposite strand above the other. We can do this for maps with two transverse double points, three transverse double points, etc., by using the above relation. For V to be of finite type means precisely that there must be a positive integer m such that V vanishes on maps with m + 1 transverse double points.
Furthermore, note that there is notion of equivalence of knots with singularities being transverse double points and V should respect this equivalence. There is also a notion of finite type invariant for 3-manifolds.
Read more about Finite Type Invariant: Examples, Invariants Representation, The Universal Vassiliev Invariant
Famous quotes containing the words finite and/or type:
“Any language is necessarily a finite system applied with different degrees of creativity to an infinite variety of situations, and most of the words and phrases we use are “prefabricated” in the sense that we don’t coin new ones every time we speak.”
—David Lodge (b. 1935)
“Histories of the world omitted China; if a Chinaman invented compass or movable type or gunpowder we promptly “forgot it” and named their European inventors. In short, we regarded China as a sort of different and quite inconsequential planet.”
—W.E.B. (William Edward Burghardt)