真正的挂谷猜想，比转针问题更深一层

前面说的，是1917年挂谷宗一提出的挂谷转针问题。后来人们发现了一个极其惊人的事实：让一根单位长度的针连续转过一周，所需区域的面积竟然可以做得任意小。

但这还不是今天所说的挂谷猜想。现代挂谷猜想是在20世纪70年代前后逐渐形成的。它问的是：一个集合只要在每个方向都容得下一根单位线段，虽然它的面积或体积可以为零，它的分形维数是不是仍然一点都不能少？

描述分形复杂程度的一种重要概念，叫做分形维数。它并不直接衡量面积或体积，而是衡量一个集合在不断放大时，需要多少个越来越小的方块（二维）或小立方体（三维）才能覆盖它。具体地说，就是随着观察尺度越来越细，覆盖整个集合所需的小方块数量会越来越多，而这种增长速度所对应的幂指数，就是分形维数，它不需要是整数。根据定义的精细程度不同，有Minkowski维数和Hausdorff维数，后者更精细严格，数值小于等于前者。

挂谷猜想的二维情形在1971年就由 Roy Davies 证明了：这样的集合虽然面积可以为零，但分形维数一定等于2。粗略地说，就是虽然可以用各种怪招把面积压到零，那些细线和毛刺却在小尺度上密密麻麻地伸得到处生长。

好比一个洗车场按车表面积收洗车费。忽然来了一家怪人，说：我们家的车全是没有宽度的线，表面积为零，所以洗车免费。

洗车场老板说：你们车虽然没有表面积，可到处都是缝缝叉叉，一点也不比普通车省事，还是得收费！

于是洗车场改按铺开的程度精确收费。衡量标准就是分形维数：一维按一维收费，二维按满额收费，中间的按比例酌收。二维挂谷集虽然面积为零，但维数等于2，因此仍然按满额收费。

三维挂谷猜想问的也是同一件事：如果一个三维集合在空间中的每个方向都包含一根单位线段，那么即使它的体积可以为零，它的维数是否仍然必须等于3？也就是说，尺度越细，它越表现出接近三维的空间复杂度。

2025年，王虹（Hong Wang）和 Joshua Zahl 证明了答案确实是肯定的：三维挂谷集的 Hausdorff 维数和 Minkowski 维数都等于3，这是近年来调和分析和几何测度论最重要的突破之一。

洗车场老板终于发现：面积可以钻空子，维数钻不了空子。