康托尔集的全测度普适性

Full measure universality for Cantor Sets

摘要 Abstract

我们研究了康托尔集的Erdős相似性问题的各种变体。在轻微的Hausdorff或packing对数维数假设下,我们证明了康托尔集不是全测度普适的,这显著改进了已知的事实,即具有正Hausdorff维数的集合不是测度普适的。对于所有的康托尔集$A$,我们证明了一个较弱的结果:存在一个满测度的稠密$G_\delta$集$X\subset\mathbb{R}^d$,使得对于任何双 Lipschitz 函数$f:\mathbb{R}^d\to \mathbb{R}^d$,满足$f(A)+t\subseteq X$的平移$t$构成的集合是零测集。等价地,存在一个零测集$B\subset\mathbb{R}^d$,使得对于所有双Lipschitz函数$f$,$\mathbb{R}^d\setminus (f(A)+B)$也是零测集。

We investigate variants of the Erd\H{o}s similarity problem for Cantor sets. We prove that under a mild Hausdorff or packing logarithmic dimension assumption, Cantor sets are not full measure universal, significantly improving the known fact that sets of positive Hausdorff dimension are not measure universal. We prove a weaker result for all Cantor sets $A$: there is a dense $G_\delta$ set of full measure $X\subset\mathbb{R}^d$, such that for any bi-Lipschitz function $f:\mathbb{R}^d\to \mathbb{R}^d$, the set of translations $t$ such that $f(A)+t\subseteq X$ is of measure zero. Equivalently, there is a null set $B\subset\mathbb{R}^d$ such that $\mathbb{R}^d\setminus (f(A)+B)$ is null for all bi-Lipschitz functions $f$.