【シリーズ一覧】
第一回「定義」
第二回「表示」
第三回「同値」
第四回「不変量」
第五回「ジョーンズ多項式(1)」
第六回「ジョーンズ多項式(2)」
この全同位変形は例えばゴムひもの伸び縮みを想像してください.すると結び目の同値は素直に感覚を反映したものと言えるでしょう.このような結び目の同値性は図形の分類基準としての要請を満たしたもの(同値関係という)になっています.初回の問題意識に照らせば,結び目がほどけるとは自明な結び目と同値であることと解釈すればよさそうです.以降は結び目と言ったら同値なものは同一視することにしましょう.
さて,ここで前回扱った正則射影図による結び目の表示と絡めて,結び目の同値性の大変に有用な言い換えを与えようと思います.そのためにまずは次のような射影図の変形を考えます.
結び目の正則射影図に対し,次の局所変形RI〜RIIIをライデマイスター移動という.ただし,点線の円の外側は変えないものとする.
この
ライデマイスター移動に関して,次の重要な定理が成り立ちます.
注) 標準的な証明は各変形の軌跡が作る曲面に対し三角形分割を行います.
つまり,ライデマイスター移動による違いを同一視した正則射影図と結び目に