7
$\begingroup$

Consider a map $f: \mathbb{R}^n \to \mathbb{R}^m$ that is differentiable (usually even smooth). If $B \subset \mathbb{R}^m$ has measure zero (Lebesgue measure), then what types of maps $f$ satisfy $A = f^{-1}(B)$ also has measure zero?

To provide some context: I have a property $\mathcal{P}$ that holds almost everywhere in $\mathbb{R}^m$; now I want to characterize the class of maps $f$ such that $\mathcal{P}(f(\cdot))$ holds almost everywhere in $\mathbb{R}^n$

  • 2
    If the Jacobian $Df$ has rank $n$ (which necessarily implies $n \leq m$) at each point, then $f$ is locally a diffeomorphism, and hence, locally, has Lipschitz inverse. A Lipschitz function takes zero sets to zero sets, so $f^{-1}$ takes zero sets to zero sets (since we can break up the pre-image into countably many pieces contained in small open sets where $f$ is invertible).2012-04-05
  • 0
    I'm no expert, and certainly cannot provide an exhaustive list, but I know that *absolutely continuous* functions have this property2013-10-15
  • 2
    Actually, they do not. Consider for instance the constant function. Preimage of a single point (value of the function) is the entire space and, hence, has positive (infinite) measure. You are confusing images and preimages: AC functions $R\to R$ map measure zero sets to measure zero sets. In higher dimensions this is called "Luzin N Property".2013-10-15
  • 0
    @Lord_Farin: This condition is clearly not sufficient, think about constant functions. Amin was confusing images and preimages. OP was asking about maps such that the _preimage_ of a measure zero set again has measure zero.2013-10-15
  • 0
    @studiosus You are correct. I was in a review queue, so I had limited opportunity or motivation to verify the correctness of the assertion beyond that it didn't answer the question.2013-10-15

1 Answers 1