[论文解读] Tangential dimensions I. Metric spaces

Daniele Guido, Tommaso Isola|ArXiv.org|May 6, 2003

Geometric Analysis and Curvature Flows参考文献 13被引用 5

一句话总结

本文引入了度量空间的上、下切向维数，作为在某一点处分形振荡的局部度量，其定义基于在 Gromov-Hausdorff 收敛下切集的盒维数的上确界与下确界。主要贡献在于证明了即使局部上、下盒维数相等，这些维数仍可能不同，揭示了更精细尺度的多分形振荡行为。

ABSTRACT

Pointwise tangential dimensions are introduced for metric spaces. Under regularity conditions, the upper, resp. lower, tangential dimensions of X at x can be defined as the supremum, resp. infimum, of box dimensions of the tangent sets, a la Gromov, of X at x. Our main purpose is that of introducing a tool which is very sensitive to the "multifractal behaviour at a point" of a set, namely which is able to detect the "oscillations" of the dimension at a given point. In particular we exhibit examples where upper and lower tangential dimensions differ, even when the local upper and lower box dimensions coincide. Tangential dimensions can be considered as the classical analogue of the tangential dimensions for spectral triples introduced in math.OA/0202108 and math.OA/0404295, in the framework of Alain Connes' noncommutative geometry.

研究动机与目标

• 开发一种对度量空间中单个点处分维振荡行为敏感的局部维数概念。
• 基于 Gromov 的切锥思想，定义上、下切向维数为点处所有切集的盒维数的上确界与下确界。
• 证明切向维数能够检测到标准局部盒维数无法捕捉的多分形振荡。
• 建立 Connes 非交换几何中非交换切向维数的经典类比。
• 提供一个适用于平移分形的框架，其中切向维数与由不变测度导出的维数一致。

提出的方法

• 将度量空间在某一点的切集定义为在缩放参数趋于无穷时，经点式 Gromov-Hausdorff 收敛的缩放版本的极限点。
• 将每个切集的盒维数作为局部维数候选，然后通过所有此类切集的上确界与下确界定义上、下切向维数。
• 使用 Gromov-Hausdorff 距离来形式化在点拓扑下缩放空间的收敛性。
• 分析缩放参数序列及其相关函数 $ g(t,h) $ 和 $ p(t,j) $，以控制覆盖数的增长，并将其与维数界关联。
• 利用涉及 $ S $ 的不等式（即覆盖函数的最大变差）来界定与维数相关集合的上确界之间的差异。
• 使用序列 $ ilde{V}_h^d $ 和 $ ilde{V}^d $ 来表征缩放行为无界的维数集合，将其与切向维数联系起来。

实验结果

研究问题

• RQ1 当标准局部盒维数为常数时，是否存在一种局部维数概念能够检测到点处分形维数的振荡行为？
• RQ2 上、下切向维数与 Gromov-Hausdorff 极限下切集的盒维数之间有何关系？
• RQ3 经典切向维数与 Connes 非交换几何中的非交换对应物之间存在何种关系？
• RQ4 在平移分形中，切向维数是否与由不变测度导出的度量维数一致？
• RQ5 上、下切向维数之间的差异是否可量化，其意义何在？

主要发现

• 即使局部上、下盒维数相等，上、下切向维数仍可能不同，表明其对振荡行为具有高度敏感性。
• 对于交替采用 $ q=2 $ 和 $ q=3 $ 步骤的修改版 Sierpinski 分形，切向维数为 $ rac{\text{log }3}{\text{log }2} < \frac{\text{log }18}{\text{log }6} < \frac{\text{log }6}{\text{log }3} $，显示出非退化的切向维数区间。
• 对于交替采用 $ q=1 $ 和 $ q=2 $ 的修改版 Vicsek 分形，切向维数为 $ \frac{\text{log }5}{\text{log }3} < \frac{\text{log }65}{\text{log }15} < \frac{\text{log }13}{\text{log }5} $，同样表现出非退化的区间。
• 集合 $ V $ 的上确界与集合 $ \tilde{V} $ 的上确界之差被限制在 $ \frac{2S}{\bar{\rho}} $ 以内，其中 $ S $ 为覆盖函数的最大变差。
• 对于任意 $ \bar{\rho} > 0 $，存在一列 $ \bar{t}_n \to \infty $，使得 $ g(t,h)/h $ 的上极限不超过沿 $ \bar{t}_n $ 的下极限加上 $ \frac{2S}{\bar{\rho}} $，表明具有收敛控制性。
• 在 $ \mathbb{R}^n $ 中的平移分形，其切向维数与度量维数及非交换切向维数完全一致，验证了经典方法的有效性。