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

Dear all,

Is there any possible way to construct a set $A \subseteq \mathbb{R}^n $ for which $ H^{n-1} (\partial A) > Leb^ + (A ) $?

Where $ H^{n-1} (\partial A) $ is the Hausdorff measure of the boundary of $A$ and: $ Leb^{+} (A) = \lim_{\epsilon \to 0 } \frac{ Leb(A_ \epsilon) - Leb(A) }{\epsilon} $ , $A_\epsilon := \{ x \in \mathbb{R} ^n | d(x,A) \leq \epsilon \} $ =Minkowski's content with respect to Lebesgue measure.

Thanks in advance !

share|cite|improve this question
up vote 3 down vote accepted

So, $A$ is just a "set"? Say $A$ is an open square minus a mid-line: $$ A = \{ (x,y): 0 \lt x \lt 1 \text{ and (} 0 \lt y \lt 1/2 \text{ or } 1/2 \lt y \lt 1\text{)}\} $$ Then $\partial A$ consists of 5 line-segments of length $1$ (the 4 sides and the mid-line), so $H^1(\partial A) = 5$. But $\mathrm{Leb}^+(A) = 4$, missing the mid-line.

share|cite|improve this answer
Thanks a lot ! The problem is that I can't understand the calculation of such thing: By definition : $H^1 ( \partial A) = lim _{\delta \to 0} inf \{ \sum C diam(U_i) | \partial A \subseteq \cup U_i , diam(U_i ) \leq \delta \} $ Can you please detail a bit about how you deduced that $H^1 (\partial A) = 5$ in this case? Thanks a lot @! – Jason Mraz Jul 12 '12 at 20:18
First: For a line segment of length $a$, the one-dimensional Hausdorff measure is $a$. Hausdorff measure is additive on Borel sets, so the measure for the 5-segment set is $5$. – Gerald Edgar Jul 12 '12 at 21:13

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.