[论文解读] Ahlfors-David regular sets and bilipschitz maps

Pertti Mattila, Pirjo Saaranen|ArXiv.org|Sep 29, 2008

Advanced Topology and Set Theory参考文献 5被引用 50

一句话总结

本文研究了维度为 $ s $ 的Ahlfors-David正则集是否能包含一个与维度 $ t < s $ 的正则集双Lipschitz等价的子集。研究证明，当 $ s < 1 $ 时，任意 $ s $-正则集均包含所有 $ t < s $ 的 $ t $-正则子集；对于 $ \mathbb{R}^n $ 中的标准Cantor集，当 $ s < t $ 时，此类子集也存在。此外，本文进一步表明，在某些条件下，双Lipschitz映射可被延拓至整个空间 $ \mathbb{R}^n $。

ABSTRACT

Given two Ahlfors-David regular sets in metric spaces, we study the question whether one of them has a subset bilipschitz equivalent with the other.

研究动机与目标

• 确定一个 $ s $-正则集是否包含一个与维度 $ t < s $ 的正则集双Lipschitz等价的子集，解决几何测度论中的一个基本问题。
• 分析度量空间中正则集之间双Lipschitz映射的存在性，特别关注维度约束与拓扑障碍。
• 在某些正则性和维度条件下，将定义在子集上的双Lipschitz映射延拓至整个环境空间 $ \mathbb{R}^n $。
• 构造 $ \mathbb{R} $ 的一个紧子集，其Lebesgue测度为正，但不包含任何 $ s > 0 $ 的非平凡 $ s $-正则子集，从而证明‘无正则性’集合的存在。

提出的方法

• 使用覆盖定理和测度论估计，构造中心位于正则集 $ E $ 上、半径为 $ r $ 的不相交球，确保覆盖和测度增长受控。
• 采用嵌套区间 $ I_{k,i} $ 的递归构造，其长度满足 $ \sim \lambda_k(1-\lambda_k)^{k-1} $，确保交集 $ F $ 的总测度为正。
• 基于正则性条件使用反证法：假设 $ E \subset F $ 为 $ s $-正则，则导出 $ \lambda_m $ 的下界，但该下界与 $ \lambda_m \to 0 $ 矛盾。
• 利用Lebesgue密度定理和对 $ \mathcal{L}^1(F \cap B(x,r))/(2r) $ 的一致下界，证明 $ F $ 的任意子集均无法满足 $ s $-正则性所需的统一下界。
• 在 $ F $ 上定义BoreI测度 $ \nu $，作为dyadic立方体上Hausdorff型测度的缩放限制之和，通过几何覆盖和测度比较证明其上、下正则性。
• 应用标准覆盖定理（如Vitali型），选取不相交球 $ B(x_i, r) $ 覆盖 $ E \cap B(p,R) $，并以 $ (R/r)^s $ 表示此类球的数量 $ m $ 的界。

实验结果

研究问题

• RQ1 每个 $ s $-正则集是否都包含所有 $ t < s $ 的 $ t $-正则子集？本文在 $ s < 1 $ 时确认了这一点。
• RQ2 当 $ s < t $ 时，能否将从 $ s $-正则集到 $ t $-正则集的双Lipschitz映射延拓至整个空间 $ \mathbb{R}^n $？本文在某些条件下证明了这是可能的。
• RQ3 是否存在一个 $ \mathbb{R} $ 中的紧集，其Lebesgue测度为正，但不包含任何 $ s > 0 $ 的 $ s $-正则子集？本文构造了这样的集合。
• RQ4 正则集之间的双Lipschitz等价性是否仅由维度决定？本文表明维度不足以决定，因为存在拓扑和测度论障碍。
• RQ5 在何种条件下，正则集的双Lipschitz像仍是正则的？本文确认双Lipschitz像保持正则性，但反之不成立。

主要发现

• 对任意 $ 0 < s < 1 $，每个 $ s $-正则集均包含所有 $ t < s $ 的 $ t $-正则子集，如定理3.3所证明。
• 对于 $ \mathbb{R}^n $ 中的标准 $ s $-维Cantor集（$ s < n $），以及任意 $ t > s $，该集合包含一个与 $ s $-Cantor集双Lipschitz等价的子集，如定理3.1所示。
• 若 $ E \subset \mathbb{R}^n $ 为 $ s $-正则集，$ F \subset \mathbb{R}^n $ 为 $ t $-正则集，且 $ s < t $，且 $ s $ 足够小，则存在双Lipschitz映射 $ f: \mathbb{R}^n \to \mathbb{R}^n $，使得 $ f(E) \subset F $，如第4节所确立。
• 存在一个紧子集 $ F \subset \mathbb{R} $，满足 $ \mathcal{L}^1(F) > 0 $，但对任意 $ s > 0 $，其不包含任何非空的 $ s $-正则子集，如例5.3所构造。
• 在构造的集合 $ F $ 上定义的测度 $ \nu $ 满足上、下 $ t $-正则性界，证明了 $ F $ 支持一个 $ t $-正则测度（$ t < 1 $），但 $ F $ 的任意子集均非 $ s $-正则（$ s > 0 $）。
• 构造 $ F $ 依赖于趋于零的序列 $ \lambda_k \to 0 $，确保在第 $ m $ 代构造中，任何区间均无法包含任何 $ s $-正则子集的点，若此类子集存在则导致矛盾。