MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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.

share|cite|improve this question
What is $\Omega$ here? – Tom Leinster Dec 5 '12 at 15:02
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$. – Daniel Spector Dec 5 '12 at 17:32
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. – Changyu Guo Dec 6 '12 at 8:11
This is the worst question title in the history of Math Overflow. It provides literally no information about what the question is about. – arsmath Dec 6 '12 at 12:14

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.).

share|cite|improve this answer
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. – Jochen Wengenroth Dec 7 '12 at 13:05

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.