游域研习社
9小时前来自 科学看点

挂谷猜想具体是什么数学问题?

一、挂谷猜想的起源:从“武士持棒避箭”到数学问题

1917年,日本数学家挂谷宗一提出了一个看似简单的几何问题:一位武士需要将一根长度固定的短棒在屋内旋转180度,以避开从各个方向射来的箭矢,问这间屋子至少需要多大面积?

这个问题在数学上被抽象为:一根单位长度的线段在平面上旋转一周(覆盖所有方向),所扫过区域的最小面积是多少?

如果固定线段中点旋转,扫过的区域是一个半圆,面积约为0.785。如果将线段放入一个等边三角形内旋转,面积可缩小至约0.577。

1928年,数学家贝西科维奇证明了一个反直觉的结果:扫过的面积可以无限趋近于零。通过将三角形切分成无数细长小三角形并重叠,可以构造出面积任意小的“挂谷集”。

二、现代挂谷猜想:从面积到维数的跃迁

1. 核心追问

当面积可以被压缩到零之后,数学家们提出了更深层的问题:一个集合如果包含所有方向的单位线段,它的面积或体积可以为零,但它的“分形维数”是否仍然必须等于空间维度?

分形维数衡量的是集合在微观尺度下的“复杂程度”,它不需要是整数。比如科赫雪花的维数约为1.26,介于直线和平面之间。

二维挂谷猜想(1971年已证明): 二维平面上包含所有方向单位线段的集合,虽然面积可以为零,但其豪斯多夫维数必须等于2。

2. 三维挂谷猜想的具体内容

三维挂谷猜想问的是:在三维空间中,如果一个集合在每个方向上都包含一根单位线段,那么即使它的体积可以为零,它的豪斯多夫维数和明可夫斯基维数是否仍然必须等于3?

通俗来说,这些指向各个方向的“针”虽然可以挤进一个体积为零的集合里,但它们在微观尺度上的“毛刺”和“缝隙”会铺满整个三维空间,无法被压缩成二维或2.5维的结构。

1995年沃尔夫证明其维数至少为2.5,2000年卡茨、拉巴和陶哲轩将下限推到更高,但始终未能达到完整的3。

三、王虹的突破:三维挂谷猜想的最终证明

1. 证明历程

2022年,王虹与合作者约书亚·扎尔先解决了“最粘情形”(sticky case),即方向相近的管子在多尺度上彼此靠近的特殊情况。

2025年,两人发表127页预印本论文,彻底证明三维空间中任何挂谷集的豪斯多夫维数和明可夫斯基维数都等于3。

2. 直观类比:洗车场按维数收费

一个广为流传的比喻帮助理解这一结论:

假设洗车场按表面积收费。一辆由“没有宽度的线”组成的车,理论上表面积为零,可以免费洗车。

但洗车场老板发现,这辆车虽然没表面积,却“到处都是缝缝叉叉”,洗起来一点也不省事。

于是老板改为按“铺开的程度”收费——即按分形维数收费。二维挂谷集虽然面积为零,但维数等于2,所以按二维标准全额收费。三维挂谷猜想证明的正是:三维挂谷集虽然体积可以为零,但其维数等于3,必须按三维标准全额收费。

四、挂谷猜想的意义:从纯数学到真实应用

1. 在数学内部的地位

挂谷猜想是调和分析、几何测度论和傅里叶分析的核心问题,与波动方程、信号处理等基础理论深度绑定。

傅里叶分析中,复杂的波会被拆成许多朝不同方向传播的“波包”,这些波包在空间中的形状就像无数根细长的管子。这些管子能重叠到什么程度,决定了波能聚集到什么程度。

王虹的证明确认了三维空间中这些管子无法被压成更低维的结构,为后续研究提供了理论基石。

2. 对现实世界的潜在影响

虽然纯数学突破不会立刻转化为产品,但其应用方向清晰可循:

雷达和遥感信号处理: 挂谷猜想研究的是信号在空间中的“方向性分布”,其结论可为信号处理提供更精准的理论框架。

医学影像(CT、MRI): 成像算法涉及波的传播与反演,挂谷猜想的突破有助于提升重建图像的清晰度。

无线通信(6G): 电磁波的传输与散射效率,也受方向性结构维数的影响。

五、邓煜的另一座高峰:希尔伯特第六问题

虽然邓煜获奖的主攻方向是希尔伯特第六问题,但他与王虹同为北京大学数学科学学院2007级同班同学,两人实现了中国籍数学家菲尔兹奖“零的突破”。

邓煜的贡献是从微观粒子系统(硬球模型)严格推导出宏观玻尔兹曼方程,打通了从牛顿力学到流体力学的数学桥梁。

这一成果与挂谷猜想一样,都属于基础理论中的“底层逻辑”突破,看似远离生活,实则支撑着天气预报、飞机湍流设计等工程应用的计算可靠性。

六、总结

挂谷猜想是一个从“武士转棒”的趣味问题,演化到探究空间结构与维数本质的深刻数学命题。

它的核心是:包含所有方向线段的集合,其维数必须等于所在空间的维数,无法通过压缩体积来降低维度。

王虹的三维证明终结了半个世纪的探索,也为波传播理论、信号处理奠定了更坚实的数学根基。

邓煜则从另一条路径——微观到宏观的推导——同样为数学物理树立了里程碑。

两人同窗摘桂冠,标志着中国基础数学从“跟跑”正式进入“领跑”阶段。