[论文解读] On the Assouad dimension and convergence of metric spaces

Yoshito Ishiki|arXiv (Cornell University)|Nov 18, 2019

Geometric Analysis and Curvature Flows参考文献 11被引用 4

一句话总结

本文引入伪锥作为度量空间中切锥和渐近锥的推广，证明任意度量空间的Assouad维数下界为其所有伪锥的Assouad维数。文章建立Assouad维数在Gromov–Hausdorff极限与超极限下的稳定性，并构造了一个$(\omega_0+1)$-度量空间，使其包含所有紧致度量空间作为伪锥，从而表明此类维数下界的类比在拓扑维数、Hausdorff维数及共形Hausdorff维数下不成立。

ABSTRACT

We introduce the notion of pseudo-cones of metric spaces as a generalization of both of the tangent cones and the asymptotic cones. We prove that the Assouad dimension of a metric space is bounded from below by that of any pseudo-cone of it. We exhibit a example containing all compact metric spaces as pseudo-cones, and examples containing all proper length spaces as tangent cones or asymptotic cones.

研究动机与目标

• 通过伪锥推广切锥与渐近锥的概念，以研究度量空间的维数。
• 利用伪锥建立度量空间Assouad维数的下界。
• 证明Assouad维数在Gromov–Hausdorff收敛与超极限构造下保持不变。
• 构造一个单一度量空间，使其伪锥包含所有紧致度量空间，另一空间的切锥或渐近锥包含所有恰当长度空间。
• 表明基于切锥或渐近锥的Assouad维数下界类比在拓扑维数、Hausdorff维数或共形Hausdorff维数下不成立。

提出的方法

• 将伪锥定义为度量空间$ X $中缩放子集$ u_i A_i $的Gromov–Hausdorff极限，其中$ u_i \in (0,\infty) $。
• 利用度量缩放下Assouad维数的稳定性：对任意$ h > 0 $，有$ \dim_A(hX) = \dim_A(X) $。
• 应用Mackay与Tyson（2010）关于切空间的技术，将Assouad维数的下界估计推广至伪锥。
• 通过嵌套集合$ G_i $与受控距离和缩放因子$ a_i $构造度量空间$ X $，以确保所需的收敛性质。
• 利用非主超滤子的超极限技术分析缩放子集的极限行为，证明超极限伪锥的维数界。
• 运用组合与几何估计（例如$ \alpha(G_i)/\alpha(G_{i-1}) < 16 $）控制构造中的距离与收敛速率。

实验结果

研究问题

• RQ1 切锥与渐近锥的概念能否在度量空间中推广至更广泛的极限对象类？
• RQ2 度量空间的Assouad维数是否控制其伪锥的Assouad维数？
• RQ3 能否构造一个单一度量空间，使其所有紧致度量空间均作为伪锥出现？
• RQ4 基于切锥或渐近锥的维数界是否可推广至共形Assouad维数？
• RQ5 Assouad维数下界的相关类比是否对拓扑维数、Hausdorff维数或共形Hausdorff维数成立？

主要发现

• 对任意度量空间$ X $，其每个伪锥$ P \in \mathrm{PC}(X) $满足$ \dim_A P \leq \dim_A X $。
• 任意超极限$ \lim_{\mathcal{U}}(u_i A_i, a_i) $的Assouad维数上界为$ \dim_A X $。
• 存在一个$ (\omega_0+1) $-度量空间$ X $，使得$ \mathrm{PC}(X) $包含所有紧致度量空间作为伪锥。
• 存在一个$ (\omega_0+1) $-度量空间$ X $，使得每个恰当长度空间均作为其切锥或渐近锥出现。
• 对所有$ P \in \mathrm{KPC}(X) $（紧致伪锥类），共形Assouad维数满足$ \mathrm{Cdim}_A P \leq \mathrm{Cdim}_A X $。
• 拓扑维数、Hausdorff维数及共形Hausdorff维数不满足类似的下界：存在$ X $与$ P \in \mathrm{PC}(X) $，使得$ \dim_T X < \dim_T P $，$ \dim_H X < \dim_H P $，以及$ \mathrm{Cdim}_H X < \mathrm{Cdim}_H P $。