定理已证明
若尔当曲线定理
命题陈述
设 是平面 中的一条简单闭曲线(圆的连续单射像)。那么 恰好有两个连通分支:一个有界的内部区域和一个无界的外部区域,并且 是这两个区域共同的边界。
为什么成立?
对于一个圆或手绘的弯曲闭合圈来说,这似乎是显然的:内部的一只昆虫若不穿过曲线就无法到达外部。这个定理之所以困难,正是因为“简单闭曲线”也包括那些处处不光滑、无限曲折的“野性”曲线(例如科赫雪花的边界),对这些曲线,“内部”与“外部”仍需要严格定义并证明。
证明思路
现代的严格证明(1905年由维布伦首先给出,此前若尔当本人1887年的论证被发现存在漏洞)通过用多边形逼近曲线,再用纯组合的奇偶性论证进行(从一点出发的射线与曲线相交的次数是偶数还是奇数,取决于该点在外部还是内部);或者从代数拓扑的角度,利用亚历山大对偶性、补集的约化同调,计算出 去掉曲线后恰好有两个道路连通分支。
用到此定理的主题
相关定理
分步证明
该定理暂无分步证明。
参考文献
- Oswald Veblen (1905). Theory of Plane Curves in Non-Metrical Analysis Situs
- James R. Munkres (2000). Topology