MathLabs

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

ステップ 2/4: チューブに関する有限の問いへの帰着
ざっくり言うと

ハウスドルフ次元は無限の被覆過程によって定義されるため、直接扱うのは難しい。標準的な手法は離散化である:KK の各単位線分を幅 δ\delta の細いチューブへと太らせ、δ\delta-分離された各方向につき1本のチューブを残し(およそ N∼1/δN \sim 1/\delta 本)、それらの和集合がどれほど小さくなり得るかを問う。この和集合が常に面積 N2−o(1)δ2N^{2-o(1)}\delta^2 以上——面積 δ\delta の NN 本のチューブが完全に互いに素であった場合とほぼ同じ大きさ——であることを示せれば、δ→0\delta \to 0 とすることで KK 自身がミンコフスキー次元 22 をもつことが強制され、さらに注意を払えばハウスドルフ次元も 22 であることが従う。

T={T1,…,TN},N∼δ−1,Ti: δ×1 tube,∣θi−θj∣≳∣i−j∣ δ\mathbb{T} = \{T_1,\dots,T_N\},\quad N \sim \delta^{-1},\quad T_i:\ \delta \times 1 \text{ tube},\quad |\theta_i - \theta_j| \gtrsim |i-j|\,\delta
詳しい解説

具体的には、用いられる同値性は次の通りである:dim⁡M(K)=2  ⟺  \dim_M(K) = 2 \iff 任意の ε>0\varepsilon>0 に対しある δ0\delta_0 が存在し、すべての δ<δ0\delta<\delta_0 について KK の δ\delta-近傍の面積が ≥δε\ge \delta^{\varepsilon} となる。KK は N∼δ−1N\sim\delta^{-1} 個の方向それぞれに単位線分を含むため、その δ\delta-近傍は対応する NN 本のチューブ T1,…,TNT_1,\dots,T_N の和集合を含む(これが予想の線分版がチューブ版を導く箇所である)。したがって ∣⋃iTi∣|\bigcup_i T_i| を何らかのべき δo(1)\delta^{o(1)} で下から評価すれば十分であり、続く2つのステップはまさに δ−2/log⁡(1/δ)⋅δ2=1/log⁡(1/δ)\delta^{-2}/\log(1/\delta) \cdot \delta^2 = 1/\log(1/\delta) を与え、これは実際に δ\delta のいかなる正のべきよりも遅く 00 に近づく。

よくある間違い. 離散性は重要である:δ\delta-チューブの評価は直接的にはミンコフスキー次元しか制御しない。(原理的にはより弱いが、ここでは等しい)ハウスドルフ次元を得るにはスケールをまたぐ追加の議論が必要であり、これはデイヴィスの1971年の原論文——以下のチューブ数え上げではなく射影的双対性とマーストランド型の射影定理を用いる——が同じ結論への本質的に異なる道筋である理由の一部である。