若尔当曲线定理
在拓扑学中，若尔当曲线（英语：Jordan curve）是平面上的非自交环路（又称为简单闭曲线，英语：simple closed curve）。若尔当曲线定理（英语：Jordan curve theorem）说明每一条若尔当曲线都把平面分成一个“内部”区域和一个“外部”区域，且任何从一个区域到另一个区域的道路都必然在某处与环路相交。它由奥斯瓦尔德·维布伦在1905年证明。
定理和证明
[编辑]准确的数学表述如下：
设c为平面R2上的一条若尔当曲线。那么c的像的补集由两个不同的连通分支组成。其中一个分支是有界的（内部），另外一个是无界的（外部）。c的像就是任何一个分支的边界。
若尔当曲线定理表面上是明显的，但要证明它十分困难。对于较简单的闭曲线，例如多边形，是比较容易证明的，但要把它推广到所有种类的曲线，包括无处可微的曲线如科赫曲线，便十分困难。该定理对于球面上的若尔当曲线也成立，但对于环面上的若尔当曲线不成立。
第一个发现该定理的是伯纳德·波尔查诺，他观察到这不是一个自明的定理，而需要证明。第一个给出证明的是卡米尔·若尔当，该定理就是以它命名的（后来发现他的证明仍有漏洞）。过了超过半个世纪，奥斯瓦尔德·维布伦最终在1905年给出了一个满意和严格的证明。后来又发现了一些其它的证明，有些较为简单（但相对来说仍然复杂）。
推广
[编辑]若尔当曲线定理可以推广到更高的维数：
设X为从球面Sn到Rn+1的一个连续的单射。那么X的像的补集由两个不同的连通分支组成。其中一个分支是有界的（内部），另外一个是无界的（外部）。X的像是它们的公共边界。
若尔当曲线定理还有另外一种推广，它说明平面上的任何若尔当曲线，视为从圆S1到平面R2的映射，都可以延伸到平面的一个同胚。这个表述比若尔当曲线定理更强。这个推广在更高的维数不成立，亚历山大角球就是一个著名的反例。亚历山大角球的补集的无界分支不是单连通的，因此亚历山大角球的映射不能延伸到整个R3。
若尔当曲线定理的另外一个推广说明，如果M是Rn+1的任何紧致、连通、无界的n维子流形，那么M便把Rn+1分成两个区域：一个是紧的，另外一个不是紧的。
参见
[编辑]参考文献
[编辑]- Oswald Veblen, Theory on plane curves in non-metrical analysis situs, Transactions of the American Mathematical Society 6 (1905), pp. 83–98.
- Ryuji Maehara, The Jordan curve theorem via the Brouwer fixed point theorem, American Mathematical Monthly 91 (1984), no. 10, pp. 641–643.
外部链接
[编辑]- 若尔当曲线定理的完整的6,500行正式证明 （页面存档备份，存于互联网档案馆）
- 与若尔当曲线定理有关的历史材料 （页面存档备份，存于互联网档案馆）
- 若尔当曲线定理的一个简单的证明 （页面存档备份，存于互联网档案馆）（PDF）