解法:平面情形:$\mathbb{R}^2$ 中每个挂谷集的维数均为2(戴维斯,1971年)
通俗地说豪斯多夫维数由一个无穷覆盖过程定义,直接处理颇为棘手。标准做法是离散化:把 K 的每条单位线段加厚为宽度 δ 的细管,每个 δ-分离方向保留一根管(约 N∼1/δ 根),再问它们的并集能有多小。若能证明该并集面积总是至少为 N2−o(1)δ2——几乎与 N 根面积为 δ 的管两两不相交时一样大——那么令 δ→0 便迫使 K 本身具有闵可夫斯基维数 2,再加以细致处理,豪斯多夫维数也同样为 2。
详细分析具体而言,所用的等价关系是:dimM(K)=2⟺ 对任意 ε>0,存在 δ0,使得对所有 δ<δ0,K 的 δ-邻域面积 ≥δε;由于 K 在 N∼δ−1 个方向中的每一个都含有一条单位线段,其 δ-邻域包含相应的 N 根管 T1,…,TN 的并集(这正是猜想的线段版本蕴含管版本之处)。因此只需将 ∣⋃iTi∣ 从下方用某个幂 δo(1) 控制住即可,而接下来两步恰好给出 δ−2/log(1/δ)⋅δ2=1/log(1/δ),该量确实比 δ 的任何正幂都更慢地趋于 0。
常见错误. 离散性很关键:δ-管估计直接控制的只是闵可夫斯基维数。要得到(原则上更弱、但此处相等的)豪斯多夫维数,需要跨尺度的额外论证,这也是戴维斯1971年原始论文——使用射影对偶与马斯特兰德型投影定理,而非下文的管计数——成为通往同一结论的真正不同路径的部分原因。