20世纪30年代,雷德梅斯特首次严格证明节存在不同于未知的.他做到了通过展示这一切结变形可以减少到三种“动作”的序列,称为(I)扭曲移动,(二)戳动、和(III)滑动移动这些动作通常被称为Reidemister动作,尽管有时也会使用“对等动作”(Aneziris 1999,第29页)。
雷德米斯特定理确保移动I、II和III与环境同位素(移动II和III单独对应于常规同位素).然后,他定义了着色性,这在雷德米斯特移动下是不变的。
更多需要尝试的事情:
埃里克·魏斯坦(Eric W.Weisstein)。“帝国主义运动。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/ReidemeisterMoves.html