Science 版 (精华区)
发信人: emacs (In the Name of Love), 信区: Science
标 题: 《阿基米德的报复》第七章 遗漏了的带一把手的三孔�
发信站: 哈工大紫丁香 (2002年07月31日18:09:43 星期三), 站内信件
第七章 遗漏了的带一把手的三孔空心球形问题
在40年代和50年代期间，许多在数学上思维敏捷的人曾经热情地工作，研制
出第一部电子计算机。当然，他们成功了，而且在过去30年内，数学家们在电子
方面的脑力成果已使许多科学领域发生了巨大的变革，然而，可笑的是，数学本
身却没有进展。美国斯坦福大学的数学家约瑟夫·凯勒说道：“看看我们这个系，
我们拥有的计算机比学校其他系，包括法国文学系在内，都要少。”
“这是很可笑的事，”罗伯特·奥泽曼这样说，他是凯勒的同事，已在斯坦
福大学工作了30年。“我们缺乏计算机显然是有几种原因，一是由于一些数学家
的保守性——他们不愿意花时间去真正学习如何有效使用计算机——另外，他们
认为使用计算机要花很多时间，这正是他们自己不愿努力思考的托词。”
然而这些日子，由于前斯坦福大学学生、现在美国阿默斯特市马萨诸塞州立
大学工作的戴维·霍夫曼有了一项引人注意的新发现，使凯勒和霍夫曼对计算机
在数学中应用的未来更有信心了，借助于改革了的计算机绘图系统，霍夫曼及其
同行、美国赖斯大学几何学家威廉·米克斯第三发现了无穷无尽的优美曲面，这
些曲面遵循某些严格的标准。而目前已知的只有3种曲面符合这些标准。这些奇
异的曲面已使麦比乌斯带似乎显得世俗而又平凡。无疑，他们填补了数学上的一
项空白，而且还证明了这些曲面像麦比乌斯带一样可以用于数学之外的一些学科，
诸如胚胎学与牙科学等多种学科。
计算机对基础数学做出的最著名的贡献是一项“10岁”的成果，它打乱了老
规律。1976年，美国伊利诺斯大学肯尼思·阿佩尔和沃尔夫冈·哈肯证明了著名
的四色地图定理，该定理阐明了用这种方法至多只需4种颜色，就能把许多想象
到的国家绘制在一张彩色平面地图内，而其中的任何两个邻国颜色不同。
当时，我还是美国哈佛大学的一名大学生，当该证明的消息传到坎布里奇市
时，我的微分方程老师中断了讲课，打开香槟酒瓶，热烈庆贺。124年来，四色
地图定理（以简单的辞藻形容，就是多么的诱人）曾经搞乱了著名数学家与献身
数学的业余爱好者的步伐，他们都曾徒劳地探索这项证明（或许可以预料地得到
了反证）。我和穿着漂亮服装的同学都跟随着我们的老师，高举酒杯，为阿佩尔
与哈肯已经攀登上数学的珠穆朗玛峰而干杯。
几天以后，我们知道了阿佩尔与哈肯使用的未曾有过的高速计算机取得的这
项证明：1，200小时的工作量仅用3小时就记录完。这项证明若用手工检验，简
直是太长了。（好奇的读者可消磨10年的时间去研究《伊利诺斯数学杂志》第二
十一卷中460多页的检验表。）
我还能回忆起当时我们的心绪是多么的烦恼。这项证明不符合那时保罗·厄
尔多斯所赞同的数学观点，他是一位到处走动的古稀老人，世界上最多产的数学
家之一。厄尔多斯认为，上帝有一本很薄的小册子，书中含有所有重要数学定理
的简明的第一流的证明。毫无疑问，四色地图定理包含在该书内，而阿佩尔与哈
肯的证明肯定不在其列。
我们的老师和我们都感到沮丧，有些人担心计算机会出差错，因而造成微妙
的误差。另一些人承认计算机有助于定理的证明，但还希望众所周知的聪明的中
学生有朝一日会不用计算机就能做出简明漂亮的证明，一项像厄尔多斯心目中上
帝所赋予的证明。还有一些人则想知道，那冗长乏味的证明是否就是论题的最后
定论；不过，他们都曾猜想过，四色地图定理是整个令人感兴趣的定理中的代表，
简单的证明不会存在，也不可能存在。
今天，10多年过去了，对阿佩尔与哈肯的工作还是没有定论，当然也没有宣
告计算机证明的时代的到来。计算机固然已经发现了新素数，而且解出了阿基米
德的关于牛的问题，但这不是证明一个定理。事实上，自从四色地图定理以来，
还没有一个著名的定理要由机器来证明，霍夫曼和米克斯曾用另一方式使用计算
机，它可能是未来的出路。他们曾利用计算机的数字捣弄能力获得洞察力，使他
们无须计算机的帮助就能不断取得进展，并证明了一项基本结果。
150年来，许多数学家都曾研究肥皂膜的形状，而且霍夫曼和米克斯发现的
许多曲面都是与这些形状有关的。如果把一铁丝圆环浸没在肥皂液中，然后取出，
那么横跨在铁环上的肥皂膜形状是平圆盘状的。这种形状被认为是极小的曲面，
因为在可能横跨铁环的所有曲面中，平圆盘形具有最小的面积。
如果再用两个相距很短的铁丝圆环，一个放在另一个上方，再浸入肥皂液后
取出，那么跨过两个铁环的肥皂膜形状叫做悬索曲面，它类似核电厂冷却塔的形
状。
这种形状也是一种极小曲面；因为连接两个铁环的所有曲面中，没有其他曲
面具有更小的面积。自然界总是偏爱极小曲面，是因为它们在物理上稳定：最小
的面积意味着贮存的能量最小。
可以把极小曲面的概念从肥皂膜的厨房物理学世界扩展到无限的超自然领域，
我们把这个工作留给数学家们去做。无限小的曲面的说法似乎像是矛盾的，因为
任何曲面要在一个方向或多个方向无限向外扩展，必须有一个无界的面积。如果
一位数学家说一个无限的曲面是极小的，也就是说用制作肥皂膜的方法把该曲面
充分缩小到有限范围内的最小面积，换句话说，如果你在该无限曲面上任何处做
一魔术标记，并画一条非常小的闭合曲线，那么，在该曲线作为边界的前提下，
曲线内的曲面将有最小的可能面积。
平面就是无限小曲面的最简单例子；平圆盘状肥皂膜正是一个平面。如果悬
索曲面的两端永远扩展，结果也成为另一个无限极小曲面。平面和无限扩展的悬
索曲面都是本身不会相交的曲面。它们也都不会自身形成双重曲面，也不会无限
接近。
诸如平面和无界的悬索曲面等曲面都可变形，成为一个简单的有限物体：一
个具有一些微孔和一些空心把手的空心球形。（不妨在皮箱上画出一个空心把手，
它就可以使皮箱中的空气流过空心把手，再回到皮箱。从数学角度来说，每种空
心把手都可以用来增加曲面的“连通度”，因为剪断空心把手将不会把曲面分成
几块。）数学家们以他们丰富的想象力认为曲面都是由超柔性的橡胶制成。如果
用拉长、压缩、扭转或其他手段，但不包括撕开、穿孔或填孔等方法使这些曲面
之一变形成为另一种曲面，那么这两种曲面被认为具有同样的拓扑学结构。
例如空心球形就可以拉伸成为卵形曲面，因此这两种曲面具有同样的拓扑结
构。
从拓扑学角度来看，平面与穿有单一微孔的球形相同，因为在这种奇特世界
里，微孔可以无限地扯开，形成平面，这将使查尔斯·古德伊尔感到悲哀。
悬索曲面与带有两个微孔的空心球形具有同样的拓扑结构；每个微孔都能拓
宽并拉伸到无限大。（总的说来，多孔空心球形的每一个微孔都可以扩展成为无
限大。）
当霍夫曼和米克斯开始研究时，数学家们都知道，除了平面和无界的悬索曲
面外，仅有另外一种无限极小曲面，它本身不会相交，在有孔的空心球形（带或
不带把手）上，能用橡胶片的变形来模拟。这种曲面就是无界的螺旋面，它类似
于扩展成无限大的螺旋。和平面一样，螺旋面与单孔空心球形具有同样的拓扑结
构。
人们知晓的这3种极小曲面几乎存在200年了，而且过去10年的一系列成果也
都说明，似乎不太可能有第四种存在。例如，1981年，美国圣地亚哥市加利福尼
亚大学的里克·舍恩就曾证明，带有两孔的空心球形仅能作为悬索曲面的模型，
而不能作为无自身相交的其他无限小曲面的模型。同一年，巴西数学家卢奎西奥·
豪尔赫则证明了，带有3孔、4孔或5孔和不带把手的空心球形都不能成为适宜的
模型。
霍夫曼说道：“由于在所有特殊情况下都已排除了新极小曲面的存在的可能
性，许多人认为，而且试图证明没有新的例子能够存在。他们未能获得成功，但
是大家却有一种共同的感觉，认为他们未能成功不是因为他们在无效地试图证明
实际上是错误的东西，而是由于他们没有足够先进的数学工具。”
1983年11月，霍夫曼获悉，一位名叫塞尔索·科斯塔的巴西研究生，在其博
士论文中讨论了提及的曲面的疑难方程问题。科斯塔已能证明无限的、极小的曲
面在拓扑学上可与带一把手的3孔空心球形相同。
但是，科斯塔和其他任何人都不知道提及的曲面看起来像是什么，因为定义
曲面的方程似乎都是相当复杂。况且，也没有人知道曲面是否本身相交。如果该
曲面要加入平面、无界悬索曲面和无界螺旋面的极小曲面的神圣行列，那么它是
不容许本身相交的。
自身相交的问题不是一个简单的问题。霍夫曼解释说：“当你有一组曲面方
程时，你不能计算出某些量，说‘是，它自身相交’或‘不，它自身不相交’。
而从本质上说，你只能证明曲面的某一块不能与另一块相交。”然而，对于一个
无限曲面，这是远远不够的，因为你还必须与无数块曲面相比较。
霍夫曼计划使用计算机去计算曲面核心部分的坐标，然后绘制出曲面核心图。
但是，常规的计算机制图学软件爱莫能助，因为它们所包括的主要是工程师们使
用的立方形、球形和其他现有的形状，而不包括自身相交或扩展成无限大等奥秘
的数学曲面。碰巧，他又获悉，美国马萨诸塞大学研究生詹姆斯·霍夫曼开发了
一种计算机图形学的新软件。
戴维·霍夫曼说道：“我们的对策计划是使用计算机观察面。如果我们看到
了它们自身相交，那么我们打算发表一篇有关这个实例的简短论文，排除该曲面
可能是无限小曲面的看法。也许我们必须在一本低等的杂志上发表，因为在数学
杂志上很难发表这类问题的否定结果。要是我们看不到它们自身相交，那么我们
也不知道我们要做什么，只能说证明曲面本身不相交的工作实在太难了。”
然而，计算机生成的图形使他们的预料落空。它不仅显示出自身不相交，而
且还显示出具有高度的对称性。它含有两条成直角相交的直线。霍夫曼在从不同
角度“观看”曲面核心并经过长期艰苦的思考后，终于认识到曲面可以分解成为
相同的8块。
在物理学中，眼见为实；而在数学中，就不够了。霍夫曼和米克斯看到了对
称图形之后，把图形搁置一边，仅根据方程就证明了曲面本身不相交。出乎他们
意料，竟然发现了第四种无限小曲面，这种曲面由两个悬索曲面和一个平面构成，
整体像从“瑞士硬干酪心”中发出来似的。3个月后，他们证实了存在着无限多
的这种曲面，每一个曲面在拓扑学上都与带几个把手的3孔空心球形等价。
在霍夫曼和米克斯发表第一个新曲面核心的图片之后，英国剑桥大学的一位
生物学家就和他们联系，他认为，发育中的胚胎可能呈现这种形状。最小面积曲
面往往会自然地存在于有机与无机材料之间的界面中，因为这样的曲面可使表面
张力降到最低程度。美国纽约市的一位牙外科医师打电话给霍夫曼，并且说明该
图形看来正好像他们用于移植在假牙上固定假牙的骨质物，霍夫曼说，他认为
“极小曲面的破坏性较小，因为它与骨质物的接触面较小。而且，还有许多‘把
手’为骨质物履行使命”。
即使极小曲面在现实世界中未得到应用，而霍夫曼与米克斯的发现仍然是不
朽的。不过它却暴露出有关无限小曲面的最新知识是多么的贫乏，而且它也证实
了可以在纯数学研究中利用计算机。但对于将近200年来搞不清楚的问题，很难
对其在计算机帮助下所取得的惊人进展提出异议。
--
What a friend we have in EMACS,
All our text-problems to halt!
What a privilege to keypress
Control-meta-ESC-shift-alt!
※ 来源:·哈工大紫丁香 bbs.hit.edu.cn·[FROM: 天外飞仙]
Powered by KBS BBS 2.0 (http://dev.kcn.cn)
页面执行时间：3.554毫秒