新浪博客

球面外翻问题

2016-07-28 04:50阅读:
三维空间中的一个球面,如果允许穿过自身,但是不能撕裂或产生尖锐边缘,能否通过平滑的变形,把内表面翻过来朝外?
为了进一步说明规则,我们先看一个简单的情形。 平面上的一个圆圈,如果允许穿过自身,但不能断开或产生尖点,能否通过平滑的变形,把内侧变为外侧?
一个容易产生的误解是,认为只需将圆圈的左右两侧靠拢并互相穿过,即可把内侧变为外侧。但事实上,在我们的规则下,两侧互相穿过时产生的两个小圈是无法消除的。一种似是而非的论证是,可以把两个小圈无限缩小最终变成一个点进而消除它们。但这一过程实际上并不平滑。想象一个在圆圈上以固定速度运动的物体,随着小圈无限缩小,它通过小圈时的离心力趋于无穷大,但在小圈变为一点的一瞬间,它在该点的离心力突变为大圈上的离心力。这一过程显然是不平滑的。我们的规则排除了这种情况。
事实上,在上述规则下,不可能把圆圈内侧变为外侧。为证明这一点,我们引入一个概念——有向闭曲线的旋转数。
首先,我们把圆圈变成一条“单行道”,比如规定为逆时针方向。那么此时内侧就是定向的左侧。然后,我们让圆圈按照规则任意变形,并在变形过程中保持“单行道”的定向。这样我们得到一条有向闭曲线。现在,我们选定一个方向,比如正右方向(正东方向),然后找到该曲线上所有定向朝向正右方向的点。考虑在这些点处的离心力方向,我们规定:
旋转数=【离心力方向向下的点的个数】—【离心力方向向上的点的个数】。
一点处离心力方向向下,即在该点附近的曲线像一个笑容;反之,则像一个愁容。旋转数等于笑容的个数减去愁容的个数。
不难想象,当一个“笑容”点和一个“愁容”点相互靠近,它们可以合为一个离心力为零的点,然后消失。即在这段曲线上没有定向朝向正右方向的点。反过来,当变形产生一个“笑容”点时,必定也同时产生一个“愁容”点。因此,旋转数在变形中保持不变。初始的圆圈定向为逆时针方向,不难看出它的旋转数为1。因此,它只能变形为旋转数为1的有向闭曲线。然而,把内侧变为外侧即是说把定向的左侧变为外侧,这相当于新的圆圈的定向为顺时针。然而定向为顺时针的圆圈旋转数为-1。因此,在我们的规则下,不可能把圆圈内侧变为外侧。
那么,平面上的圆圈不能把内侧翻为外侧,难道三维空间中的球面却可以吗?是的,这确实是个令人惊异的事实。但实际上,有许多几何性质都与空间的维度有关。例如,
只需旋转180度,就可以把一个圆上的每个点移动到其对径点;但是无论怎样转动一个球面,都不可能同时把球面上的每个点移动到其对径点。这两件事情本质上都是由于空间维数的奇偶性不同。
1958年,美国数学家Smale证明了球面外翻的可行性,因此这个问题常常以他的名字命名。后来,数学家们给出了各种各样具体的方法来实现球面外翻,有的甚至用动画来展现这一过程。http://v.youku.com/v_show/id_XMjYzNDY0NzY=.html中的视频就是其中之一。该视频的动画非常漂亮,解说也很详尽。它所表现的球面外翻方法可能是最炫酷的,但并不是最简单易懂的。这里我们将展示一种在本人看来最容易理解的球面外翻方法。
第一步,让球面的赤道凸起、伸长,然后向上弯曲没入球面内,这样做会产生一个环面(红色部分),把它记做第一环面,如图1. 球面外翻问题
第二步,把凸出部向下移动,并穿过第一环面。这时第一环面暴露在球面外,同时又在球面的内部产生了一个环面(蓝色部分),把它记做第二环面,如图2. 球面外翻问题
注:图1、图2只画出了球面在垂直截面上的形状,通过想象该图案绕中心轴旋转,即可知道整体的形状。
第三步,把第一环面通过变形分裂成两个。这是整个外翻过程中最为奥妙的一步,让我们仔细领会一下这是如何做到的。首先,把第一环面拉长,并将中间部分向一起靠拢,直到有一段重合在一起,如下图。 球面外翻问题
球面外翻问题
球面外翻问题
收缩右上至左下的环面,得到图6中的红色部分,它沿螺旋线穿过中间的“管道”。 球面外翻问题
下图为图6中的绿色截面从上向下“扫描”出的图像,从中我们可以更清晰的看出红色细管如何贴着白色粗管的内壁沿螺旋线穿过。 球面外翻问题
不难想象,图6中的红色部分可以变形为图7中的红色部分。需要指出的是,在变形过程中的某一时刻,螺旋形红色细管变为白色粗管内壁上的一个环面。继而它穿过自身,螺旋线旋转方向改变,最后变为图7中的形状。 球面外翻问题
把红色部分恢复到原来的粗细,并调整环面的形状,即可得到图8. 球面外翻问题
这时只需将两个环面拉开,就完成了第三步,第一环面分裂为两个,如图9. 球面外翻问题
第四步,将一个在球面外侧的环面与之前在球面内侧的第二环面相抵消。由第一步和第二步的逆过程,我们知道这是可以做到的。
第五步,让球面的南北极互相靠近并穿过对方,剩下的一个在外侧的环面也随之消失。至此球面外翻完成。
球面外翻问题一直以来作为数学可视化的经典对象,推动着这个领域的发展。谨以此文向为更好的展现数学之美而努力的人们致敬。
扩展阅读:
• Stephen Smale, A Classification of Immersions of the Two-Sphere, Transactions of the American Mathematical Society, Feb. 1959
• Anthony Phillips, Turning a sphere inside out, Scientific American, May 1966
• Nelson Max and Bernard Morin, Turning a Sphere Inside Out, 1977
• Nelson Max and William Clifford Jr, Computer Animation of the Sphere Eversion, 1975
• George Francis and Bernard Morin, Arnold Shapiro's eversion of the sphere, Mathematical Intelligencer, 1979
• François Apéry, An algebraic halfway model for the eversion of the sphere, Tohoku Mathematical Journal, 1992
• Outside In (1994) uses Bill Thurston's corrugation method
• George Francis, John Sullivan, Rob Kusner, Ken Brakke, Chris Hartman, and Glenn Chappell, The minimax sphere eversion, Visualization and Mathematics, 1996
• Erik de Neve, Sphere Eversion, 1997
• John Sullivan, George Francis, and Stuart Levy, The Optiverse, 1998
• John Sullivan, “The Optiverse” and other sphere eversions, 1999
• J. Scott Carter and Sarah Gelsinger, A Sphere Eversion, 2007
• Iain Aitchison, The holiverse sphere eversion, The 'Holiverse': holistic eversion of the 2-sphere in ℝ³, 2010
• Arnaud Chéritat, Sphere Eversion, Yet another sphere eversion, 2014
• Chris Hills and Erik de Neve, The deNeve/Hills sphere eversion, also on YouTube, and in 3D, 2016
• Michael J. McGuffin, Sphere Eversion Program
• Wikipedia, Sphere eversion

我的更多文章

下载客户端阅读体验更佳

APP专享