MathLabs
定理已证明

若尔当曲线定理

命题陈述

设 γ\gamma 是平面 R2\mathbb{R}^2 中的一条简单闭曲线(圆的连续单射像)。那么 R2∖γ\mathbb{R}^2 \setminus \gamma 恰好有两个连通分支:一个有界的内部区域和一个无界的外部区域,并且 γ\gamma 是这两个区域共同的边界。

为什么成立?

对于一个圆或手绘的弯曲闭合圈来说,这似乎是显然的:内部的一只昆虫若不穿过曲线就无法到达外部。这个定理之所以困难,正是因为“简单闭曲线”也包括那些处处不光滑、无限曲折的“野性”曲线(例如科赫雪花的边界),对这些曲线,“内部”与“外部”仍需要严格定义并证明。

证明思路

现代的严格证明(1905年由维布伦首先给出,此前若尔当本人1887年的论证被发现存在漏洞)通过用多边形逼近曲线,再用纯组合的奇偶性论证进行(从一点出发的射线与曲线相交的次数是偶数还是奇数,取决于该点在外部还是内部);或者从代数拓扑的角度,利用亚历山大对偶性、补集的约化同调,计算出 R2\mathbb{R}^2 去掉曲线后恰好有两个道路连通分支。

用到此定理的主题

相关定理

分步证明

该定理暂无分步证明。

参考文献

  1. Oswald Veblen (1905). Theory of Plane Curves in Non-Metrical Analysis Situs
  2. James R. Munkres (2000). Topology