Locatedness, Convexity, and Integrability in $\mathbb{R}^N$

未知之形

想象你是一位试图为一座神秘岛屿绘制地图的制图师。在数学的世界里，这座岛屿是一个被称为“集合”的形状，而环绕它的海洋则是我们称之为 $\mathbb{R}^N$ 的广袤数字空间。有时，这些形状是杂乱、锯齿状的，或者带有难以测量或定位的孔洞。但有时，它们又是平滑、坚实且表现良好的。这篇论文存在于数学中一个特殊的角落，叫做“构造分析”（constructive analysis）。请不要将其视为数学家仅仅说“它一定存在于某处”的地方，而是一个他们坚持要通过一步步实际构建来证明其真实性的“工作坊”。

这个工作坊的主要工具是测度（一种计算形状“大小”或体积的方法，比如多少水能装进一个桶）、凸性（一种性质，即如果你在形状内任取两点，连接它们的直线仍完全留在形状内部——就像一个光滑的弹珠，而不是一颗海星）以及定位性（能够准确说出宇宙中任何一点到你形状边缘的距离）。为什么这很重要？因为在构造性的世界里，你不能仅仅假设一个形状拥有一个你可以找到的边界。你必须证明你可以接近它。如果一个形状是“可定位的”，这意味着它是一个可靠、可用的数学工具箱中的对象。如果不是，它就像一个幽灵：你知道它在那里，但你无法触摸它，也无法测量你到它的距离。

论文的发现

在这篇笔记中，道格拉斯·S·布里奇斯（Douglas S. Bridges）解决了一个关于 $N$ 维空间中这些形状的具体谜题。他想要证明一个先前想法的修正版本：如果你有一个形状 $S$ 是“勒贝格可积的”（意味着你可以计算它的规模而不会陷入困境），且具有正的大小（它不是空的），并且其核心部分 $S_1$ 既是有界的（它不会延伸到无穷远）又是凸的（它是一个光滑、坚实的团块），那么 $S_1$ 不仅仅是一个模糊的概念——它是完全有界的且可定位的。用通俗的话说，这意味着该形状足够紧凑，可以用有限数量的微小点来覆盖，而且你总能计算出宇宙中任何一点到该形状的距离。

为了达到这一目标，布里奇斯利用一些巧妙的技巧搭建了一个逻辑阶梯。首先，他证明了如果你取一个 $N$ 维空间中的平面切片（就像 3D 房间里的一张纸），那个切片的体积为零。这看起来显而易见，但在严格的构造数学规则下，你必须证明你确实能构建出那个切片，并证明它没有“厚度”。接着，他证明了如果你有一个正大小的形状，它必须包含足够的“脊柱”来支撑起整个空间——具体来说，它必须包含 $N$ 个独立的维度方向，就像 3D 房间里的 $x$、$y$ 和 $z$ 轴一样。

真正的魔力发生在他组合这些方向的时候。他展示了如果一个凸形状具有正的大小，它必须拥有一个“核心”或内部，其内部的点密度如此之高，以至于你可以在其中找到一个小球。一旦拥有了这个坚实的内核，他就利用一个涉及“球”（一个完美的球体）的几何技巧，证明了该形状的内部在整个形状中是“一致稠密”的。想象一下这个形状是一个海绵；这个引理证明了无论你从海绵的哪个地方戳下去，你总能在附近找到一小块坚实的、由海绵材质组成的小球。

最后，他利用这种稠密性来证明主要结果。他论证了，因为该形状充满了点，所以你不可能让它的一部分远离有限的点集。如果你试图寻找一个位于形状内且远离你的点阵图的点，数学逻辑就会迫使产生一个矛盾：你的点阵与形状之间的“空白”空间将会变得如此巨大，以至于它会吞噬掉整个形状的体积，而我们已知这是不可能的。因此，该形状必须是“完全有界的”（你可以用有限数量的点来覆盖它）且“可定位的”（你总能测量到它的距离）。

这篇论文不仅暗示这可能是真的，还提供了一个严密的、循序渐进的构造性证明。它排除了一个有界、凸且具有正大小的形状可能是“不可定位的”或无法被近似的可能性。通过遵循引理的逻辑，结论屹立不倒：这类形状是可靠的、可测量的，并且完全在我们的掌控之中。