关于Unknotting number作为纽结不变量的性质及环境同痕链环的解结数一致性问题

嘿，这个问题问到点子上了——毕竟拓扑不变量的核心意义，就是在等价变换下能保持不变嘛，咱们掰开揉碎了说清楚：

首先得先明确两个关键定义：

• 解结数（unknotting number）：对于一个纽结，它是把这个纽结变成无结（unknot，也就是完全不打结的圆圈）所需的最少交叉点改变次数——每次改变就是把一个交叉处的上下股翻转一下，算一次操作；对于链环来说，就是变成平凡链环（多个互不缠绕的圆圈）的最少交叉改变次数。
• 环境同痕（ambient isotopy）：这是三维空间里的一种连续变形，你可以把它理解成“拿着纽结/链环揉一揉、转一转、挪个位置”，全程不会剪开绳子、不会粘合端点，也不会凭空创造或消除交叉——只是交叉的位置会跟着变形移动，交叉的类型（谁在上谁在下）也能对应着保留下来。

那为什么环境同痕的两个纽结/链环，解结数一定相同？咱们用逻辑推导一下：
假设纽结K和K'是环境同痕的，K的解结数是n。这意味着我们能通过n次交叉改变把K变成无结。那我们可以把这个操作“平移”到K'上：

1. 先通过环境同痕把K'变形为K；
2. 对K做n次交叉改变，得到无结；
3. 再把这个无结通过逆环境同痕变回到K'对应的变形结果——也就是用n次交叉改变把K'变成了无结。

这就说明K'的解结数不会超过n。反过来，我们也可以用同样的方法，把K'的解结操作平移到K上，证明K的解结数不会超过K'的解结数。既然两边都互相≤，那只能是相等。

举个直观的例子：你手里有个打了结的绳子，你把它拧成另一个形状的结（这就是环境同痕），你原来需要翻2次交叉才能解开的结，拧完之后肯定还是只需要翻2次——因为你只是改变了结的外在形状，没改变它“需要多少次翻转才能变平整”的内在拓扑本质。

备注：内容来源于stack exchange，提问作者Tutusaus