# Hausdorff Dimension of Set of Measure Zero

It's clear that every $A \subset \mathbb R^n$ with $\dim_H(A) < n$ we have $\mathcal H^n(A) = 0$. Is there any $A \subset \mathbb R^n$ with $\mathcal H^n(A) = 0$ but $\dim_H(A) = n$? Thank you.

-
$\mathcal H^n$ means the Lebesgue measure, doesn't it? – Berci Sep 20 '12 at 14:02
$n$-dimensional Hausdorff measure. Yes it's equal to $n$-dimensional Lebesgue measure (with some scaling). – Deco Sep 20 '12 at 14:06
The Hausdorff measure $H^d(X)$ with $d=\dim_H(X)$ can be finite or zero or infinite. (As far as I know) – Rabee Tourky Sep 20 '12 at 14:34
Intuitively, it's hard to imagine a set of measure zero has "full" dimension. But, a proof is still needed. – Deco Sep 21 '12 at 1:46
See a previous answer... math.stackexchange.com/a/132485/442 – GEdgar Sep 22 '12 at 2:18

You can get a concrete example of such a set for the case $n=1$ by making a slight modification to the construction of the ternary Cantor set. Instead of taking away $\frac13$ of every interval at each step, remove $\frac{1}{k+1}$ in step $k$.
We can calculate the $d$-dimensional Hausdorff measure as follows. After $k$ steps we are left with $2^k$ intervals with a total length of $$\frac12 \cdot \frac23 \cdot \frac34 \cdots \frac{k}{k+1} = \frac{1}{k+1}$$ With some hand-waving we can then find the measure as $$\mathcal{H}^d(A) = \lim_{k\to\infty} 2^k \left(\frac{1}{(k+1)2^k}\right)^d = \lim_{k\to\infty} 2^{(1-d)k}(k+1)^{-d}$$ It is clear that for $1-d > 0$ the exponential beats the power function, making the measure infinite, but at $d=1$ the limit is $0$.
Note that this doesn't mean you can't get a nontrivial Hausdorff measure on this set. You just need to use a test function other than $x^d$. In this case I think $-x \log_2 x$ will work.