如何严谨证明仅无结绳圈（Unknot）是能作为圆盘边界的纽结？

首先明确几个核心定义，避免歧义：

• 纽结：三维欧氏空间中与圆周同胚的子集。
• 平凡纽结（无结绳圈）：能通过连续变形（ambient isotopy，即整个空间的连续形变，不撕裂、不粘连）变成标准圆周的纽结。
• 圆盘边界：存在一个嵌入三维空间的无自交二维圆盘，其边界恰好是该纽结。

下面提供两种严谨的证明路径，分别从几何拓扑和代数拓扑角度切入：

路径一：几何拓扑构造法 #

核心思路是：既然纽结是某个嵌入圆盘的边界，我们可以通过空间的连续形变，把这个圆盘「拉平」到平面上，从而将边界纽结转化为标准圆周。

1. 嵌入圆盘的可平坦化
   对于任何嵌入 ( \mathbb{R}^3 ) 的圆盘 ( D )，我们可以构造一个 ambient isotopy 把 ( D ) 移动到 ( xy )-平面上的单位圆盘，这依赖于一般位置定理：

   • 先调整圆盘位置，让它和 ( xy )-平面只有有限个交点，避免大面积重合。
   • 利用三维空间的额外维度，逐步把圆盘上不在平面内的部分「抬升」或「压低」，全程保持圆盘无自交，最终完全贴合到 ( xy )-平面上。

2. 边界纽结的平凡性
   当圆盘被拉平到 ( xy )-平面后，它的边界就是平面上的单位圆周——这是标准的平凡纽结。而 ambient isotopy 是保持纽结等价性的形变，因此原来的纽结 ( K ) 和单位圆周等价，也就是平凡纽结。

路径二：代数拓扑不变量法 #

这个方法利用纽结的**基本群（纽结群）**作为不变量，通过代数性质判断纽结的平凡性：

1. 纽结群的定义
   纽结 ( K ) 的纽结群是 ( \pi_1(\mathbb{R}^3 \setminus K) )，即三维空间去掉纽结后剩余空间的基本群，描述绕纽结的环路等价类：

   • 平凡纽结的纽结群是无限循环群 ( \mathbb{Z} )，只有一种本质的绕圈方式。
   • 所有非平凡纽结的纽结群都不是无限循环群，比如三叶结的纽结群是 \( \langle a,b \mid aba = bab \rangle \)，是非交换群，显然不是 ( \mathbb{Z} )。

2. 边界纽结的纽结群性质
   如果 ( K = \partial D )（( D ) 是嵌入圆盘），那么 ( \mathbb{R}^3 \setminus K ) 可以变形收缩到 ( \mathbb{R}^3 \setminus D )，把圆盘内部的点逐步移到圆盘外，不穿过纽结。而 ( \mathbb{R}^3 \setminus D ) 的基本群是无限循环群 ( \mathbb{Z} )，绕圆盘一周的环路是唯一的本质环路。

   • 这意味着 ( K ) 的纽结群是 ( \mathbb{Z} )，符合平凡纽结的代数特征，因此 ( K ) 是平凡纽结。

内容的提问来源于stack exchange，提问作者Michael Shumate