On a question of Kolmogorov

Attila Gáspár
2024-12-31
Abstract:Kolmogorov asked the following question: can every bounded measurable set in the plane be mapped onto a polygon by a 1-Lipschitz map with arbitrarily small measure loss? The answer is negative in general, however, the case of compact sets is still open. We present an equivalent form of the question for compact sets. To do this, we prove a variant of Kirszbraun's Lipschitz extension theorem where the supremum distance from the identity is preserved. Furthermore, we give a positive answer to Kolmogorov's question for specific classes of sets, most importantly, for planar sets with tube-null boundary. In particular, we show that the Sierpiński carpet can be mapped into the union of finitely many line segments by a 1-Lipschitz map with arbitrarily small displacements, answering a question of Balka, Elekes and Máthé.
Metric Geometry
What problem does this paper attempt to address?