{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "FE1VTGF349"
    },
    {
      "field": "defines",
      "target": "FMWGQ0W2X0"
    }
  ],
  "body": "\n## Summary\n\nA finite type invariant, or Vassiliev invariant, is a [[knot invariant|GZQ5ZE3X6G]] whose extension to knots with double points vanishes once there are enough double points.\nThey behave like polynomials on the space of knots, with the number of double points playing the role of the degree.\nMany classical invariants, such as the coefficients of the Conway polynomial and of the suitably expanded [[Jones polynomial|4SPC17FPXE]], are of finite type.\nThe [[Kontsevich integral|727ZEPVSTC]] is universal among rational finite type invariants.\n\n## Explanations\n\n### L1 human\n\nAllow a knot to pass through itself at a point, making a double point.\nAn invariant can be extended to such singular knots by taking the difference of its values on the two ways to resolve the double point.\nAn invariant has finite type $n$ when this extension is always zero on knots with more than $n$ double points.\nThis is like a polynomial of degree $n$, whose $(n+1)$-st differences all vanish.\nIt is open whether finite type invariants can tell apart every pair of different knots.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "kind": "concept",
    "msc": [
      "57K16",
      "57K10"
    ],
    "name": "Finite type invariant",
    "same_as": {
      "wikidata": "Q1443624",
      "wikipedia": "Finite type invariant"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Finite_type_invariant"
      }
    ],
    "specializes": [
      "GZQ5ZE3X6G"
    ],
    "tag": "TWH3WVKFF1"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/TWH3WVKFF1/",
  "links": [
    {
      "field": "specializes",
      "target": "GZQ5ZE3X6G"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/TWH3WVKFF1.md",
  "msc": [
    "57K16",
    "57K10"
  ],
  "name": "Finite type invariant",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/TWH/TWH3WVKFF1.md",
  "status": null,
  "tag": "TWH3WVKFF1",
  "uri": "m2://TWH3WVKFF1",
  "url": "https://math2.tamnd.com/wiki/finite-type-invariant/",
  "writing": {
    "tag": "TWH3WVKFF1",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}