Image of the Cartesian product of Cantor \(\tau\)-sets under a smooth map (Q5959472)

If \({\mathcal I}\subset \mathbb{R}\) is a line segment, a compact set \({\mathcal F}\subset{\mathcal I}\) is called a \(\tau\)-set \((\tau\geq 0)\) in \({\mathcal I}\) if it can be obtained form \({\mathcal I}\) by successive deletion of a countable (or finite) set of open intervals \(\Delta_\nu\subset{\mathcal I}\), \(\nu= 1,2,\dots\), so that every time an interval \(\Delta_\nu\) is deleted from a certain segment \(M_\nu\subset{\mathcal I}\), it partitions \(M_\nu\) in such a way that \(M_\nu= N_1\sqcup \Delta_\nu\sqcup N_2\) and for the lengths it holds \(\min\{|N_1|,|N_2|\}\geq \tau|\Delta_\nu|\). Given \(\tau_j\)-sets \({\mathcal F}_j\) in \({\mathcal I}_j\), \(j=1,\dots, d\) and a real-valued \(C^1\)-function \(G\) defined on \({\mathcal I}_1\times \dots\times {\mathcal I}_d\), conditions are found which guarantee that \(G({\mathcal F}_1,\dots, {\mathcal F}_d)= G({\mathcal I}_1,\dots, {\mathcal I}_d)\). The result strengthens a previous result by the author [\textit{N. G. Moshchevitin}, Russ. Math. Surv. 52, 1312-1313 (1997); translation from Usp. Mat. Nauk 52, 145-146 (1997; Zbl 1010.11037)] and several older results by other authors. For \(G(x_1,\dots, x_d)= x_1+\cdots+ x_d\), an analogous result has been obtained by \textit{S. Astels} [Trans. Am. Math. Soc. 352, No. 1, 133-170 (2000; Zbl 0967.11026)].