解法：平面情形:$\mathbb{R}^2$ 中每个挂谷集的维数均为2(戴维斯,1971年)

常见问题

为什么这一论证无法给出

\mathbb{R}^3

及更高维的完整挂谷猜想?

在平面上,两个不同方向确定一个夹角,而 $\delta$ -分离的方向自动使管的重叠平均而言很小——对角度求调和和正是把损失控制在恰好一个对数因子的原因。在 $\mathbb{R}^3$ 及更高维中,管可以聚集在较低维的薄片或平板内,而任意两根都不必接近平行,从而完全绕开了这种简单的两两夹角记账;要控制这种可能性,需要沃尔夫、卡茨–陶,以及最终王虹–扎尔所用的复杂得多的多尺度与结构性论证。

来源

Roy O. Davies (theorem); standard proof exposition after A. Córdoba, 1971

Some remarks on the Kakeya problem

精简版

第 4/4 步：柯西–施瓦茨迫使并集保持较大

上一步下一步

通俗地说

平凡的求和 $\int f = \sum_i|T_i| \sim N\delta \sim 1$ 只是说,若 $N$ 根管完全不重叠,其总面积约为 $1$ 。柯西–施瓦茨把这个平凡求和、上一步的重叠积分 $\int f^2$ 以及并集面积联系起来: $f$ 恰好支撑在 $\bigcup T_i$ 上,故 $\int f = \int_{\cup T_i} f\cdot 1 \le |\cup T_i|^{1/2}(\int f^2)^{1/2}$ 。平方并整理后,重叠的上界就直接转化为并集面积的下界——与完全不相交这一不可能达到的最优情形相比,只损失了单独一个对数因子。

\Big(\int f\Big)^{2} \le |{\textstyle\bigcup_i T_i}| \cdot \int f^2 \quad\Longrightarrow\quad \Big|\bigcup_{i=1}^N T_i\Big| \gtrsim \frac{1}{\log(1/\delta)}

详细分析

由第3步, $\int f^2 \lesssim \log(1/\delta)$ (在 $\delta$ -管归一化下),且 $\int f \sim 1$ 。在区域 $\bigcup T_i$ 上应用柯西–施瓦茨得 $1 \sim (\int f)^2 \le |\bigcup T_i|\cdot \int f^2 \lesssim |\bigcup T_i|\cdot \log(1/\delta)$ ,因此 $|\bigcup T_i| \gtrsim 1/\log(1/\delta)$ 。用 $\sim \delta^{-2}$ 个边长为 $\delta$ 的方块覆盖 $\bigcup T_i$ 可知至少需要 $\gtrsim \delta^{-2}/\log(1/\delta)$ 个,故( $K$ 的邻域的) $\delta$ -覆盖数当 $\delta \to 0$ 时按 $\delta^{-2+o(1)}$ 增长:这正是 $\dim_M(K) = 2$ 的陈述。科尔多瓦1977年的论文以精确常数完整严格地完成了这一论证;戴维斯1971年的原始论证则完全不做管的离散化,而是通过点与直线之间的射影对偶结合马斯特兰德型投影定理这一不同的、纯测度论的路径,同时得到相同的数值结论——以及原则上更强的豪斯多夫维数结论。