解法: 平面の場合:$\mathbb{R}^2$ のすべての掛谷集合は次元2をもつ(デイヴィス、1971年)

よくある質問

なぜこの論法は

\mathbb{R}^3

以上で完全な掛谷予想を与えられないのか?

平面では、異なる2方向が交差角を決定し、 $\delta$ -分離された方向は自動的にチューブの重なりを平均的に小さくする——角度にわたる調和和こそが、損失をちょうど対数一つ分に留める要因である。 $\mathbb{R}^3$ 以上では、チューブはどの2本もほぼ平行にならないまま、より低次元のスラブや板の中に集積し得るため、この単純なペア角度の計算を完全に逃れてしまう。その可能性を制御するには、ウルフ、カッツ・タオ、そして最終的にワン・ザールによる、はるかに複雑なマルチスケール・構造的議論が必要であった。

出典

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)$ を得る。 $\bigcup T_i$ を一辺 $\delta$ の正方形 $\sim \delta^{-2}$ 個で覆うと、少なくとも $\gtrsim \delta^{-2}/\log(1/\delta)$ 個が必要であることがわかり、( $K$ の近傍の) $\delta$ -被覆数は $\delta \to 0$ のとき $\delta^{-2+o(1)}$ のように増大する:これはまさに $\dim_M(K) = 2$ という主張である。コルドバの1977年の論文はこの議論を完全に厳密に、鋭い定数とともに実行している。デイヴィスの1971年の原論文は、チューブへの離散化を一切用いず、点と直線の間の射影的双対性とマーストランド型の射影定理を用いる異なる、純粋に測度論的な道筋によって、同じ数値的結論——そして原理的にはより強い主張であるハウスドルフ次元も同時に——到達した。