Regular mappings between dimensions (Q1595450)

The aim of the paper is to investigate the notion of \((s,t)\)-regular mapping between metric spaces, extending the notion of regular mapping introduced by the first author in a previous paper. This new class of mappings reduces to the class of regular mappings when \(s=t\); in the case \(s>t\) these mappings can be thought as a generalization of the classical projections from a \(s\)-dimensional Euclidean space to a \(t\)-dimensional one. The definition is the following one. Let \(f:(M,d)\to (N,\rho)\) be a Lipschitz mapping and let \(s\geq t\) be positive real numbers. We say that \(f\) is \((s,t)\)-regular if there is a constant \(C\) with the following property: if \(B_1\) is an arbitrary ball in \(N\) and \(B_2\) is an arbitrary ball in \(M\) with a larger radius, then \(B_2\cap f^{-1}(B_1)\) can be covered by at most \[ C\biggl({\text{ radius\,}(B_2)\over \text{ radius\,}(B_1)} \biggr)^{s-t} \] balls with radius equal to \(C\text{ radius\,} (B_1)\). One of the main results of the paper is the proof of the following property: if \(f:{\mathbb R}^s\to{\mathbb R}^n\) is an \((s,t)\)-regular mapping, then for each ball \(B\) in \({\mathbb R}^s\) there exists a linear map \(\lambda:{\mathbb R}^n\to{\mathbb R}^{s-t}\) and a subset \(E\) of \(B\) of comparable measure such that \((f,\lambda)\) is bilipschitz on \(E\). Eventually this notion is compared to the ``nonlinear quotient mapping'' introduced by \textit{S. M. Bates}, \textit{W. B. Johnson}, \textit{J. Lindenstrauss}, \textit{D. Preiss} and \textit{G.Schechtman} [Geom. Funct. Anal. 9, No. 6, 1092--1127 (1999; Zbl 0954.46014)].