MathLabs

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

第 2/4 步:化归为关于管族的有限问题
通俗地说

豪斯多夫维数由一个无穷覆盖过程定义,直接处理颇为棘手。标准做法是离散化:把 KK 的每条单位线段加厚为宽度 δ\delta 的细管,每个 δ\delta-分离方向保留一根管(约 N∼1/δN \sim 1/\delta 根),再问它们的并集能有多小。若能证明该并集面积总是至少为 N2−o(1)δ2N^{2-o(1)}\delta^2——几乎与 NN 根面积为 δ\delta 的管两两不相交时一样大——那么令 δ→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/log⁡(1/δ)⋅δ2=1/log⁡(1/δ)\delta^{-2}/\log(1/\delta) \cdot \delta^2 = 1/\log(1/\delta),该量确实比 δ\delta 的任何正幂都更慢地趋于 00。

常见错误. 离散性很关键:δ\delta-管估计直接控制的只是闵可夫斯基维数。要得到(原则上更弱、但此处相等的)豪斯多夫维数,需要跨尺度的额外论证,这也是戴维斯1971年原始论文——使用射影对偶与马斯特兰德型投影定理,而非下文的管计数——成为通往同一结论的真正不同路径的部分原因。