Let $s>0$ and $0 < \delta \leq \infty$. For a set $E \subset R^n$ define
$$ H_{s}^{\delta} (E)=\inf \left\{ \sum_i r_{i}^{s}\right\},$$
where the infumum is taken over all coverings of $E$ by balls $B_i$ with diameter $r_i$ no exceeding $\delta$.
Denote by $ H_{s}(E) = \displaystyle\sup_{\delta > 0} H_{s}^{\delta}(E) = \displaystyle\lim_{\delta \rightarrow 0}H_{s}^{\delta}$ the $s$ Hausdorff measure of the set $E\subset R^n$ .
I know this result : if $H_s(E) < \infty$ then $H_r (E) =0$ for $r>s$.
I am trying to prove : if $0<s<n$ and the interior of $E$ is nonempty then $H_s (E) = \infty $ .
I believe that this is the solution for my question :
if $H_s (E) < \infty$ then $H_n(E) = 0$. but this is a contradtion because :
interior of $E$ is nonempty implies $H_n (E) >0$ but I don't know how to prove this last implication..
Someone can help me ?
thanks in advance =)
It's inevitable that in order to prove something about measures on $\mathbb R^n$, you have to use some measure-theoretic fact about $\mathbb R^n$. What's so special about $\mathbb R^n$ that makes $H^n(U)>0$ for nonempty open $U$?
Fact. There exists a Borel measure $\lambda$ on $\mathbb R^n$ that satisfies $0<\lambda(B(x,r))\le Cr^n$ for every ball $B(x,r)$, where $C$ is a constant.
Sketch: construct $\lambda$ on $\mathbb R$ (Lebesgue measure), then take the product.
Once you have the fact, the rest is easy. For any cover of the unit ball $B(0,1)$ with $B(x_i,r_i)$ we have $$\sum r_i^n\ge C^{-1}\sum \lambda(B(x_i,r_i)) \ge C^{-1}\lambda(B(0,1))$$