Math Labs

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

第 1/9 步:贝西科维奇悖论:扫过零面积的针
通俗地说

1919年,贝西科维奇证明一根长度为1的针可以连续转过每一个方向,同时扫过的区域面积可以任意小——针的路径碎片可以像手风琴一样压紧,使其几乎完全重叠。这令人震惊:一个在无穷多个方向上都包含完整单位线段的集合,按面积衡量却可以是“薄”的。

∣E∣=0,E⊂R2 contains a unit segment in every direction(Besicovitch, 1919)|E| = 0,\quad E \subset \mathbb{R}^2 \text{ contains a unit segment in every direction} \qquad \text{(Besicovitch, 1919)}
平面内沿许多分离方向排列的单位线段扇形。
详细分析

Besicovitch (1919) 构造了紧集 E⊂R2E\subset\mathbb{R}^2:Lebesgue 测度为零却包含每个方向的单位线段。该构造 —— “Perron 树”,滑动三角形使副本大量重叠 —— 表明即使对单位线段连续扫过所有方向的集合(Kakeya 原始针问题),零测度结论依然成立。

测度为零意味着:对每个 ϵ>0\epsilon>0,EE 可被总面积 <ϵ<\epsilon 的圆盘覆盖。然而 EE 含不可数个全长线段。于是二维 Lebesgue 测度 —— “集合占多少地方”的朴素量尺 —— 完全无法记录强制每个方向存在的结构。这正是让问题有趣的悖论:集合在面积上可忽略,在方向内容上却极大。

出路是换不变量而非换问题。Hausdorff 与 Minkowski 维数度量覆盖数随分辨率的缩放而非裸面积,故零测集仍可能被迫具有满维数 22。Davies 定理正是此断言;证明其余部分搭建使其定量化的机器(管的离散化、重叠控制、Cauchy–Schwarz)。

本步骤中的术语
挂谷(贝西科维奇)集
包含指向每个方向 e∈Sn−1e \in S^{n-1} 的单位线段的集合 K⊂RnK \subset \mathbb{R}^n。