关于库拉托夫斯基定理证明中阻碍结构仅存在4种情形的证明问询

我完全懂你卡在这儿的感受——库拉托夫斯基定理的证明本来就依赖一堆引理铺垫，突然抛出“只有4种阻碍结构”但不给推导，确实让人挠头。咱们一步步拆解这个问题：

首先得锚定这个证明环节的核心语境：我们正在处理的是圈C内部无法嵌入连接C上两点u、v的路径P的情况，所谓“阻碍结构”就是导致这个嵌入失败的极小内部子图（极小的意思是不能再删掉任何边/顶点，否则阻碍就消失了）。

为什么只有这4种？核心是从极小阻碍的顶点连接关系+Jordan曲线定理出发分类：

• 第一种：内部存在两条不相交的路径，分别连接C上两对完全不重叠的顶点（比如C上的a-c和b-d，内部路径a-b、c-d不相交）。这种交叉结构直接把C内部的空间分割成无法让P穿过的区域，是最直观的阻碍。
• 第二种：内部有一个顶点，同时连接到C上三个互不相邻的顶点。这个星型结构会把C内部分成三个扇形区域，不管u、v在C上的位置如何，P都无法避开这个顶点的分支完成嵌入。
• 第三种：内部有一条路径连接C上两个顶点，同时这条路径上还有一个分支顶点，连接到C上的第三个顶点。这种带“分叉”的路径结构，会在C内部形成一个类似爪形的障碍，封锁了u-v路径的可能嵌入空间。
• 第四种：内部有两个顶点，各自连接到C上的一对顶点，且这两个内部顶点之间还有一条路径相连。这种结构相当于把前两种的部分特征结合，形成了一个封闭的子障碍，同样无法让P嵌入。

至于你提到有的文献少了右上角的第四种，其实是因为不同资料对“极小阻碍”的归类标准略有差异——有些会把它看作前几种的组合，但从不可约性（不能再拆成更小的阻碍）来看，它确实是独立的一类。

要严格证明“只有这4种”，可以用反证法：假设存在第五种极小阻碍结构，那它要么可以通过删除边/顶点简化成上述4种之一，要么会包含$K_5$或$K_{3,3}$的子式——而库拉托夫斯基定理的核心就是非平面图必然包含这两个子式，反过来推导，所有能阻碍路径嵌入的极小结构，都只能是这4种形态。

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