Mapping Borel sets onto balls and self-similar sets by Lipschitz and nearly Lipschitz maps

2018/02/22 by Zindulka, Ondřej
#Classical Analysis and ODEs (math.CA) #FOS: Mathematics

paper · doi:10.48550/arxiv.1802.08095

Abstract

If X is an analytic metric space satisfying a very mild doubling condition, then for any finite Borel measure μ on X there is a set N⊆ X such that μ(N)>0, an ultrametric space Z and a Lipschitz bijection ϕ:N→ Z whose inverse is nearly Lipschitz, i.e., β-Hölder for all β<1. As an application it is shown that a Borel set in a Euclidean space maps onto [0,1]ⁿ by a nearly Lipschitz map if and only if it cannot be covered by countably many sets of Hausdorff dimension strictly below n. The argument extends to analytic metric spaces satisfying the mild condition. Further generalization replaces cubes with self-similar sets, nearly Lipschitz maps with nearly Hölder maps and integer dimension with arbitrary finite dimension.

Related

• Lipschitz images and dimensions
• Mapping Analytic sets onto cubes by little Lipschitz functions
• Quantitative decompositions of Lipschitz mappings into metric spaces
• A Characterization of Borel Measures which Induce Lipschitz-Free Space Elements
• Infinite dimensional spaces in the set of strongly norm-attaining Lipschitz maps