0
$\begingroup$

Let $\Omega$ be an open subset of $\mathbf{R}^n$. For a mapping $f: \Omega\to \bf{R}^n$, what kind of condition ensures that the one-dimensional Hausdorff measure of $f^{-1}(E)$ is zero whenever $E$ is of zero one-dimensional Hausdorff measure zero. Note that f is not assumed to be a homeomorphism.

$\endgroup$
6
  • 1
    $\begingroup$ What is $\Omega$ here? $\endgroup$ Dec 5, 2012 at 15:02
  • $\begingroup$ Since $f: \Omega \to \mathbb{R}^N$, $f^{-1}:f(\Omega) \to \Omega$, so if $E \subset f(\Omega)$, we should not be measuring the 1-D lebesgue measure, but rather the 1-D Hausdorff measure $H^1$. $\endgroup$ Dec 5, 2012 at 17:32
  • $\begingroup$ Yes, you are right. It is better to use the Hausdorff measure H^1. \Omega is a domain in \bR^n and f is not necessarily to be a homeomorphism here. $\endgroup$ Dec 6, 2012 at 8:11
  • 11
    $\begingroup$ This is the worst question title in the history of Math Overflow. It provides literally no information about what the question is about. $\endgroup$
    – arsmath
    Dec 6, 2012 at 12:14
  • 2
    $\begingroup$ @arsmath after almost 7 years of hard thinking I changed to a more informative title $\endgroup$
    – YCor
    Nov 15, 2019 at 9:10

1 Answer 1

1
$\begingroup$

There may be a name for this, but it seems like a strange condition. Such a function cannot take a constant value on any set of positive Lebesgue measure, otherwise the inverse image of that constant (having zero 1-D Hausdorff measure in the range) would have positive Lebesgue measure, and therefore infinite 1-D Hausdorff measure.

A good start might be to investigate the situation on maps $f:[0,1] \to \mathbb{R}$ with the Lebesgue measure in both places.

There is also a related notion, called Lusin's N property, which means $f$ takes sets of measure zero into sets of measure zero (as opposed to $f^{-1}$, as you desire). This is a quality of Lipschitz functions that Sobolev functions also inherit, and is necessary to satisfy the fundamental theorem of Calculus (along with being differentiable a.e., etc.).

$\endgroup$
1
  • $\begingroup$ In the one-dimensional case suggested in this answer, the image measure (also called push-forward) $f_\ast\lambda (E) = \lambda(f^{-1}(E))$ is dominated by $\lambda$ hence, by Radon-Nikodym, it has a density. This may help to get something more concrete in particular cases. A problem with the higher dimensional case is that the one-dimensional Hausdorff measure is not $\sigma$-finite and Radon-Nikodym is not applicable. $\endgroup$ Dec 7, 2012 at 13:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.