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

I consider a bounded open set $A$ in ${\mathbb R}^d$. Is the Hausdorff dimension of the boundary of $A$ at least $d-1$ ? I thought I would have found a result on this problem in any textbook about Hausdorff dimension but I failed. As you may guess I have never work with Hausdorff dimension.

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

If a compact set $C$ separates a connected space $X$ of dimension $d$ (with some homogeneity properties, for example, an euclidean space) in two connected components, then it must have topological dimension at least $d-1$ (see for example the book by Hurewicz and Wallman on topological dimension, Theorem IV.4). In general, Hausdorff dimension exceeds (or is equal to) topological dimension (see chapter VII.2 of the book by Hurewicz-Wallman mentioned above).

share|cite|improve this answer
Sorry, english is not my native language. I shall correct it. – rpotrie Sep 30 '10 at 11:21
Thank you very much for your answer ! – Hugh J Sep 30 '10 at 11:52
By definition (in Hurewicz and Wallman, if I remember correctly), the topological dimension of separable metric space $A$ is the dimension of the boundary (frontier) of $A$ plus one. Since an open set in $\mathbb{R}^d$ has dimension $d$, you are done. But if you start with the definition of topological dimension as Lebesgue's covering dimension, then you might use the theorem above. – Robert Bell Sep 30 '10 at 12:09
rbell: Actually that is usually called the "inductive dimension". – Pietro Majer Sep 30 '10 at 15:42

Here is a simple proof for the Hausdorff dimension. Consider the orthogonal projection to $\mathbb R^{d-1}$. Since $A$ is bounded, the projection of the boundary contains the projection of $A$. The latter is open in $\mathbb R^{d-1}$ and hence has Hausdorff dimension $d-1$. On the other hand, the projection map does not increase Hausdorff dimension since it does not increase distances.

share|cite|improve this answer
That's great ! This is really simple. Thank you ! – Hugh J Sep 30 '10 at 19:54

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.