사전

数学の結び目理論において有限型不変量(finite type invariant)とは、結び目または絡み目の不変量で特異結び目の不変量に拡張可能であり、かつ高い次数を持つ特異結び目では値として 0 をとるもののことを言う。結び目の多項式不変量や量子不変量の係数は全て有限型であり、結び目の不変量の中でも重要な位置を占める。