

两个形状酷似甜甜圈的数学曲面,所有可测量的局部几何属性完全相同,却是两个截然不同的形状。这件事在数学上意味着什么?它意味着一条存在了150年的几何直觉,被证明是错的。
来自慕尼黑工业大学、柏林工业大学和北卡罗来纳州立大学的三位数学家,历经多年研究,首次构造出了所谓的"紧致博内对",即两个度量相同、平均曲率相同,却彼此不全等的环形曲面。这项成果发表于数学顶级期刊《高等科学研究院数学出版物》,在几何学界引发了广泛关注。
博内猜想错了150年,还是只错了一部分
故事要从19世纪法国数学家皮埃尔·奥西安·博内说起。
博内在研究曲面几何时提出了一个直觉上极为合理的判断:如果已知一个紧致封闭曲面上每一点的度量和平均曲率,那么这个曲面的整体形状就被唯一确定了。换句话说,只要你知道曲面在局部"长什么样",整体形状就不可能有第二种可能。
这个判断长期被视为微分几何中的基本共识。
所谓度量,是描述曲面上两点之间距离的数学工具,反映的是曲面内部的距离关系。平均曲率则衡量曲面在三维空间中向内或向外弯曲的程度,直观理解就是曲面在空间中的"弯折方式"。直球面和甜甜圈的区别,部分就体现在这两个量上。

经过多年的研究,我们首次找到了一个具体案例,表明即使是封闭的环状曲面,局部测量数据也未必能确定其整体形状。图片来源:Astrid Eckert / TUM
后来,数学家陆续发现,对于非紧致曲面,也就是那些无限延伸、或者带有边界的形状,博内的判断存在例外,可以构造出度量和平均曲率相同但形状不同的曲面对。然而,对于封闭的紧致曲面,比如球面和环面,大家普遍相信博内的结论仍然成立。球面的情况已被严格证明,但环面,也就是甜甜圈形状,始终悬而未决。
理论上,数学家们知道一组度量和平均曲率数据最多可以对应两种不同的环面形状。但"最多两种"并不等于"真的存在两种",在过去几十年里,没有人能找到一个具体的反例。
离散几何是破局的那把钥匙
三位数学家最终找到了这个缺失的反例,过程本身就是一个关于数学工具创新的故事。
慕尼黑工业大学的蒂姆·霍夫曼教授和柏林工业大学的亚历山大·博本科,长期深耕离散微分几何领域,北卡罗来纳州立大学的安德鲁·萨格曼-弗纳斯是他们的合作者。他们的核心策略,是先在离散几何的框架内寻找候选结构,再将离散解转化为连续曲面。
离散微分几何,简单来说,是用有限个点和面来近似连续曲面,就像用很多小三角形拼出一个球,再研究这个拼接球的几何性质。这种方法在计算机图形学和建筑设计领域被广泛应用,但更重要的是,它往往能揭示连续几何中难以察觉的深层结构。
在这种思路的指引下,研究团队发现了一类特殊的等温环面,通过保角变换可以生成曲率相同却形状不同的曲面对。最终,他们成功构造出了两个具体的紧致环面,这两个环面拥有完全相同的度量和平均曲率,但在三维空间中,它们是两个无法重合的不同形状。
霍夫曼教授在接受采访时直接说明了这一发现的分量:"这使我们能够解决曲面微分几何中一个存在了几十年的问题。"他强调,这不是对博内原理的否定,而是一次精确的边界划定,证明了博内猜想在环面情形下不成立,同时也为球面情形的正确性提供了更清晰的对比背景。
这项研究的意义不只停留在纯数学层面。理解曲面的局部信息能在多大程度上决定整体形状,对材料科学、软物质物理乃至生物薄膜的建模都有实际影响。细胞膜、蛋白质折叠等生命现象中涉及的曲面几何,都与平均曲率密切相关。
当一块150年前的基石被轻轻移动,整座大厦的轮廓就变得更加清晰了。
康乾配资提示:文章来自网络,不代表本站观点。