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é.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is related to a problem proposed by Kolmogorov in 1932, as follows:
**Problem Description**:
Kolmogorov proposed the following problem: For any bounded measurable set \(A \subseteq \mathbb{R}^2\) in the plane, its Lebesgue measure \(\lambda(A)\) is finite. Is it true that for any \(\varepsilon > 0\), there exists a 1 - Lipschitz mapping \(f\) such that \(f(A)\) is a polygon and \(\lambda(f(A))\geq\lambda(A)-\varepsilon\)?
**Problem Background**:
- **1 - Lipschitz mapping**: Refers to a mapping that satisfies \(\|f(x) - f(y)\|\leq\|x - y\|\).
- **Polygon**: In two - dimensional cases, it refers to a planar region whose boundary can be represented by a finite number of line segments.
**Known Results**:
- Balka, Elekes and Máté [3] have proven that for general bounded, open and simply - connected sets \(A\), the answer is negative. In particular, they constructed a counterexample in which \(\lambda(\partial A)>\lambda(A)\), thus proving that when \(\varepsilon\) is small enough, the image \(f(A)\) cannot even be Jordan - measurable.
- However, for compact sets \(A\), there are no known counterexamples so far, that is, Kolmogorov's problem for compact sets is still open.
**Main Objectives of This Paper**:
The author attempts to give a positive answer to Kolmogorov's problem under certain additional assumptions and consider similar problems in higher dimensions. In addition, the author also studies the variant problem of replacing small measure loss with small displacement.
**Main Contributions**:
- The author proves an equivalent form of the problem to deal with the case of compact sets.
- The author improves Kirszbraun's Lipschitz extension theorem and maintains the supremum distance from the identity mapping to the target mapping.
- The author gives a positive answer for specific types of sets, in particular, for planar sets with tubular zero - boundaries, such as the Sierpiński carpet, which can be mapped into the union of a finite number of line segments with arbitrarily small displacement.
In summary, this paper aims to explore different aspects of Kolmogorov's problem and provide positive answers for certain special classes of sets.