挂谷集合

这幅图展示了一个在三尖瓣线的内部旋转的转针。 在它转动的每一阶段（除了一个端点是在三尖瓣线的一个顶点时），转针与三尖瓣线相交于三个点：两个端点（蓝色）和一切点（黑色）。 转针的中点（红色）描绘了一个直径等于转针一半的长度的圆。

在数学中，挂谷集合（Kakeya set）或者贝西科维奇集合，是一个在欧几里德空间中的点的集合，包含了在任何方向上的单位线段。例如，欧几里德平面中的一个半径为 ${\dfrac {1}{2}}$ 的圆盘，或在三维空间中一个半径为 ${\dfrac {1}{2}}$ 的球，形成了一个挂谷集。许多在此方面的研究已经研究了这样的点集可以有多小。贝西科维奇證明了贝西科维奇集之測度可以为 $0$。

挂谷转针集合（有时也称为挂谷集合）是一个要求更强的挂谷集，单位线段在其中可以连续旋转 $180^{\circ }$，以颠倒的方位回到原来的位置。半径为 ${\dfrac {1}{2}}$ 的圆盘也是挂谷转针集合的一个例子。

挂谷转针问题

挂谷转针问题，询问在平面上是否有一个面积最小的区域 $D$，在其中针可以旋转 $360^{\circ }$。挂谷宗一于 1917 年首次对于凸集提出此问题。朱拉·帕爾的研究显示，凸集的最小面积可以通过一个高为 $1$ 且面积为 ${\dfrac {1}{\sqrt {3}}}$ 的 等边三角形达到。

挂谷似乎认为面积最小的没有凸性限制的挂谷集 $D$ 将是一个三尖瓣线。然而这是错误的；还有更小的非凸挂谷集合。

贝西科维奇集合

一种“萌芽”方法，用于构造一个小尺度的挂谷集合。这里展示了两种可能的方法来分割三角形并重叠部分以得到较小的集合，第一种方法分割成两个三角形，第二种方法分割成八个三角形。此方法可藉由分割成$2^{n}$個三角形來建構任意小的集合。

亚伯兰·贝西科维奇成功证明，容許单位长度的针旋转一周的区域 $D$，其面积没有一个大于 $0$ 的下界。也許是說，對任何 $\varepsilon >0$，存在面積為 $\varepsilon$ 的區域，可供針在裡面連續的移動並將其方向旋轉 $360^{\circ }$。这个结论建立于他早期对于包含各向单位線段之平面集的研究，这样的集合现在被称作贝西科维奇集合。贝西科维奇在 1919 年的工作證明了，这样的点集可以有无限小的面积 。在此之前，分析学家可能已经考虑过这个问题。

奧斯卡·佩龍简化了贝西科维奇构造贝西科维奇集合的方法，此法被稱之為「佩龙树」（相关图形见图右）： 作一个高为 $1$ 的三角形，分為兩個小三角形，将其中一部分平移到另一部分上，使底部份重合。此新图形有更小的面积。

现在，把三角形分成八个三角形。对于每对相邻的三角形，重演如上所述的重叠过程，获得四个新图形，每个包括两个重叠的三角形。接着，将相邻的新图形移动，使其底部分重合，所以我们只剩下两个图形，最后用同样方法将这两个图形重合。最后得到一个看上去像是树之类的图形，但面积远小于原来的三角形。

为了构造更小的点集，将三角形细分为 $2^{n}$ 个三角形，每个三角形的底长度为 $2^{-n}$，并执行与我们之前相同的操作。如果我们在每个三角形上所做的重叠量足够小，并且我们三角形的细分区域的大小 $n$ 足够大，我们就可以形成一棵我们想要的面积最小的树。一个贝西科维奇集合可以由等边三角形产生的佩隆树的三个旋转组合而成。

进一步采用该方法，我们可以构造一个集合序列，其交集是一个测度零的贝西哥维奇集合。这样做的一种方法是观察，如果我们有一个平行四边形，两个边在 $x=0$ 和 $x=1$ 线上，那么我们就可以找到一个平行四边形的并集，这些平行四边形的边也在这些线上，它们的总面积是任意小的，并且包含了平行四边形中将 $x=0$ 上的一个点连接到 $x=1$ 上的一个点的所有直线的平移。这可由贝西奥维奇的构造方法稍变化而得。重复以上，我们可以找到一个集合序列

$K_{0}\supseteq K_{1}\supseteq K_{2}\cdots$

每一个直线 $x=0$ 和 $x=1$ 之间的平行四边形的有限并集，其面积趋向于零，并且每一条都包含单位面积中连接 $x=0$ 和 $x=1$ 的所有直线的平移。这些集合的交集是一个包含所有这些线的转换的测度零集，因此这个交集的两个副本的并集是一个测度零的贝西科维奇集。

除了“萌芽”方法之外，还有其他方法可以构造贝西科维奇的测度零集。例如让·皮埃尔·卡汉使用康托尔集在二维平面中构造一个贝西科维奇测度零点集。

一个由佩龙树构造的挂谷转针集合

挂谷转针集合

通过使用帕爾的技巧，即所谓的帕爾连接（给定两条平行线，任何单位线段都可以在任意小尺寸的集合上从一个连续移动到另一个），可以从由佩龙树组成的贝西科维奇集合创建一个单位线段可以在其中连续旋转 $180^{\circ }$ 的集合。

1941 年，H. J. 范·阿爾芬（H. J. van Alphen）证明在半径为 $2+\varepsilon$（任意 $\varepsilon \geq 0$）的圆内存在任意小的挂谷转针集合。1965 年，人们发现了面积比三尖瓣线小的单连通的挂谷转针集合。梅爾文·布魯姆（Melvin Bloom）和艾薩克·雅各布·舍恩貝格各自独立证明了挂谷转针集合的面积趋近于布卢姆·勋伯格数 ${\dfrac {\pi }{24}}(5-2{\sqrt {2}})$。勋伯格推测这个数字是单连通挂谷转针集合面积的下限。然而，在 1971 年，F. 坎寧安（F. Cunningham）指出，当 $\epsilon \geq 0$ 时，半径为 $1$ 的圆内存在一个面积小于 $\varepsilon$ 的单连通的挂谷转针集合。

虽然存在测度为任意小正数的挂谷转针集合和测度为 $0$ 的贝西科维奇转针集，但不存在测度为 $0$ 的挂谷转针集。

挂谷猜想

猜想敍述

贝西科维奇集合可以有多小的問題，也可以在更高维度中探究。此問題衍生了一系列猜想，統称为挂谷猜想，并开拓了几何测度论這個数学领域。特别是，如果存在测度为零的贝西科维奇集，那麼若要求它們的 $s$ 维豪斯多夫测度為零，$s$ 是否可以小於原空間的維度？这个问题产生了以下猜想：

挂谷集合猜想：定义 $\mathbb {R} ^{n}$ 中的贝西科维奇集合为包含每个方向的单位线段的集合。此集合的豪斯多夫维数的維度必為 $n$.

已知这对于 $n=1,2$ 是正确的，但是在更高维度中仅知道部分结果。

2025年2月26日，王虹和喬舒亞·札爾（Joshua Zahl）的一篇论文，聲稱證明了掛谷集合猜想在三维空间中的情形，被視為幾何測度論中的重大突破。

挂谷极大值函数

一种解决这个问题的现代方法，是考虑一种特別的最大函数，我们将其构造如下：将 $\mathbb {S} ^{n-1}\subset \mathbb {R} ^{n}$ 表示为 $n$ 维空间中的单位球。定义$T_{e}^{\delta }(a)$为长度为 $1$，半径 $\delta >0$的圆柱体，並以点 $a\in \mathbb {R} ^{n}$ 为中心，其长边平行于单位矢量 $e\in \mathbb {S} ^{n-1}$ 的方向。然后对于局部可积函数 $f$，我们定义 $f$ 的挂谷极大值函数

$f_{*}^{\delta }(e)=\sup _{a\in \mathbf {R} ^{n}}{\frac {1}{m(T_{e}^{\delta }(a))}}\int _{T_{e}^{\delta }(a)}|f(y)|dm(y)$

其中 $m$ 表示 $n$ 维勒贝格测度。请注意$f_{*}^{\delta }$只定义在球体 $\mathbb {S} ^{n-1}$ 中的向量 $e$ 上。

然后对这些函数进行猜想，如果猜想是真的，将推得更高维度的挂谷集猜想：

挂谷极大函数猜想：对于所有 $\varepsilon \geq 0$，存在一个常数 $C_{\varepsilon }>0$，使得对于任何函数 $f$ 和所有 $\delta \geq 0$，（参见L^p 空间的符號）

$\left\|f_{*}^{\delta }\right\|_{L^{n}(\mathbb {S} ^{n-1})}\leq C_{\varepsilon }\delta ^{-\varepsilon }\|f\|_{L^{n}(\mathbb {R} ^{n})}.$

成果

以下是一些有利于证明挂谷猜想的成果：

• 挂谷猜想在 $n=1$ (平凡地)和 $n=2$ (戴维斯)时成立。
• 湯瑪斯·沃爾夫表明在任何 $n$ 维空间中，挂谷集的维数必须至少为 ${\dfrac {n+2}{2}}$。
• 2000 年，內茨·卡茨、伊莎貝拉·拉巴和陶哲轩证明挂谷集合的闵科夫斯基维数在维数为3时严格地大于 ${\dfrac {5}{2}}$。
• 2000 年，讓·布爾甘将挂谷问题与算术组合学联系起来， 其中包括谐波分析和加法理论。
• 2002 年，卡茨和陶哲轩范围缩小到了$(2-{\sqrt {2}})(n-4)+3$，在 $n>4$ 時優於沃爾夫給出的下限。
• 2017 年，卡茨和札爾 将 $3$ 维中贝西科维奇集合的豪斯多夫维数的下限推进到 ${\dfrac {5}{2}}+\varepsilon$，其中 $\varepsilon$ 為一絕對且 $>0$ 的常數。
• 2025 年，王虹與札爾 在arXiv發表了 $n=3$ 时的挂谷猜想研究。

在分析学的应用

有些令人惊讶的是，这些猜想已经被证明与其他领域的一些问题有关，特别是在谐波分析中。例如，在 1971 年，查爾斯·費夫曼能够使用贝西科维奇集构造来证明，在大于 $1$ 的维度中，当 $p\neq 2$ 时，在球心在原點，半徑趨近無窮大的球上做截断傅立叶积分，其 L^p 范数不需要收敛（这与一维情况相反，在这种情况下，截断的積分确实收敛）。

挂谷问题的类比和推廣

包含圆和球体的集合

挂谷问题的一個類推，是要求集合包含其他形狀，例如圆形或球面，而非原問題的線段。

• 在 1997 年和 1999 年，沃尔夫证明了：若一個集合包含每個半径的球面，則該集合的维度必須等於等于它所处的空间的维度。其證明方式是先給出圆形最大函数（类似挂谷最大函数）的一個界限。

• 有人猜想，存在一個零測集，其包含以每個點為中心的球面。然而，埃利亚斯·施泰因的结果证明，当 $n\geq 3$ 时，所有这些集合必须具有正测度，而对于 $n=2$ 的情况，約翰·馬斯特蘭（John Marstrand）证明了同樣的結論。

包含k维圆盘的集合

挂谷猜想的一个推广是考虑包含每個k维子空间的一部分的集合，而不是每个方向的线段。定義 $(n,k)$-贝西科维奇集 $K$ 为 $\mathbb {R} ^{n}$ 中的紧致集，其勒貝格测度为零，且包含每个方向的 $k$ 维单位圆盘的平移，即：若以 $B$ 表示以零为中心的单位球，則对于每个 $k$ 维子空间 $P$，存在 $x\in \mathbb {R} ^{n}$ 使得 $P\cap B+x\subseteq K$。因此，$(n,1)$-貝西科維奇集就是前面描述的标准貝西科維奇集。

$(n,k)$-貝西科維奇猜想：对于 $k>1$，不存在 $(n,k)$-貝西科維奇集。

1979年，馬斯特蘭证明了不存在 $(3,2)$-貝西科維奇集。大约在同一时间，肯尼斯·福爾科納证明了當 $2k>n$ 时，不存在 $(n,k)$-貝西科維奇集。截至2020年，最優的成果是，讓·布爾甘证明了当 $2^{k-1}+k>n$ 时，不存在这样的集。

在有限域的向量空间的挂谷集

1999年，沃爾夫提出了挂谷问题的有限域模拟，希望解决这一猜想的技术可以推广到欧几里德情形。

有限域挂谷猜想：令 $\mathbb {F}$为有限域，令 $K\subseteq \mathbb {F} ^{n}$为挂谷集，即对于每个向量 $y\in \mathbb {F} ^{n}$ 存在 $x\in \mathbb {F} ^{n}$ 使 $K$ 包含一条直线 $\left\{x+ty\colon t\in \mathbb {F} \right\}$。集合 $K$ 的大小至少为 $c_{n}\left|\mathbb {F} \right|^{n}$，其中 $c_{n}>0$ 是只与 $n$ 有关的常量。

泽夫-德维尔在 2008 年证明了这个猜想，並說明此敘述對 $c_{n}={\dfrac {1}{n!}}$ 成立。 在他的证明中，他观察到 $n$ 元且次数低于 $\left|\mathbb {F} \right|$ 的多项式，若在挂谷集上值為零，則此多項式必为零。另一方面，次数低于 $\left|\mathbb {F} \right|$ 的 $n$ 元多项式，形成的向量空间有维数 $k$：

$k={|\mathbb {F} |+n-1 \choose n}\geq {\frac {|\mathbb {F} |^{n}}{n!}}.$

因此，至少有一个次数小于 $\left|\mathbb {F} \right|$ 的非平凡多项式，在任何点数小于 $k$的集合上為零。结合这两个观察结果，挂谷集必须至少有${\dfrac {\left|\mathbb {F} \right|^{n}}{n!}}$ 个点。

现在仍未清楚这些證明技巧是否可延伸到证明原始挂谷猜想，但这一证明确实使基本代数反例不太可能，从而为原始猜想提供了可信度。德维尔撰写了一篇关于有限域挂谷问题及其与随机抽取器关系的综述文章。

参见

• 移动沙发问题

参考文献

• Besicovitch, Abram. The Kakeya Problem. American Mathematical Monthly. 1963, 70 (7): 697–706. JSTOR 2312249. MR 0157266. doi:10.2307/2312249. 
• Dvir, Zeev. On the size of Kakeya sets in finite fields. Journal of the American Mathematical Society. 2009, 22 (4): 1093–1097. Bibcode:2009JAMS...22.1093D. MR 2525780. arXiv:0803.2336 . doi:10.1090/S0894-0347-08-00607-3. 
• Falconer, Kenneth J. The Geometry of Fractal Sets. Cambridge Tracts in Mathematics 85. Cambridge: Cambridge University Press. 1985. ISBN 0-521-25694-1. MR 0867284. 
• Kakeya, Soichi. Some problems on maximum and minimum regarding ovals. Tohoku science reports. 1917, 6: 71–88. 
• Katz, Nets Hawk; Łaba, Izabella; Tao, Terence. An improved bound on the Minkowski dimension of Besicovitch sets in $\mathbf {R} ^{3}$ (PDF). Annals of Mathematics. 2000, 152 (2): 383–446. JSTOR 2661389. MR 1804528. doi:10.2307/2661389. 

• Wolff, Thomas. Recent work connected with the Kakeya problem. Rossi, Hugo (编). Prospects in Mathematics: Invited Talks on the Occasion of the 250th Anniversary of Princeton University. Providence, RI: American Mathematical Society. 1999: 129–162. ISBN 978-0-8218-0975-4. MR 1660476. 
• Wolff, Thomas. Łaba, Izabella; Shubin, Carol , 编. Lectures on Harmonic Analysis. University Lecture Series 29. With a foreword by Charles Fefferman and preface by Izabella Łaba. Providence, RI: American Mathematical Society. 2003. ISBN 0-8218-3449-5. MR 2003254. doi:10.1090/ulect/029. 

外部链接

• Kakeya at University of British Columbia （页面存档备份，存于互联网档案馆）
• Besicovitch at UCLA （页面存档备份，存于互联网档案馆）
• Kakeya needle problem at mathworld （页面存档备份，存于互联网档案馆）
• Dvir’s proof of the finite field Kakeya conjecture at Terence Tao's blog （页面存档备份，存于互联网档案馆）
• An Introduction to Besicovitch-Kakeya Sets （页面存档备份，存于互联网档案馆）