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) は、あらゆる方向の単位線分を含みながら Lebesgue 測度零のコンパクト集合 E⊂R2E\subset\mathbb{R}^2 を構成した。その構成 — 「Perron 木」、三角形を滑らせてコピー同士を大きく重ねる — は、単位線分が全方向を連続的に動く集合(Kakeya の元の針問題)でも測度零の結論が生き残ることを示す。

測度零とは:任意の ϵ>0\epsilon>0 に対し EE は総面積 <ϵ<\epsilon の円盤で覆えるということ。それでも EE は非可算個の全長線分を含む。つまり2次元 Lebesgue 測度 — 「集合がどれだけ場所を占めるか」の素朴な物差し — は、全方向の存在を強制する構造を全く記録しない。これこそがこの問題を面白くするパラドックス:集合は面積的には無視できるのに、方向的内容では極大なのである。

出口は問題ではなく不変量を変えること。Hausdorff・Minkowski 次元は生の面積ではなく被覆数の解像度に対するスケーリングを測るので、測度零の集合でも次元 22 を強制されうる。Davies の定理はまさにその主張であり、証明の残りはそれを定量化する機械(管の離散化、重なり制御、Cauchy–Schwarz)を組み立てる。

このステップの用語
掛谷(ベシコヴィッチ)集合
あらゆる方向 e∈Sn−1e \in S^{n-1} を向く単位線分を含む集合 K⊂RnK \subset \mathbb{R}^n。