Range of the Hausdorff dimension

  • Context: Graduate 
  • Thread starter Thread starter OB1
  • Start date Start date
  • Tags Tags
    Dimension Range
Click For Summary
SUMMARY

The range of the Hausdorff dimension encompasses all nonnegative real numbers, meaning for every nonnegative real number 'a', there exists a compact subset of R^n with a Hausdorff dimension of exactly 'a'. To construct a set with a Hausdorff dimension between 0 and n, one can create a set E that has a d-Hausdorff measure satisfying 0 < \mathcal{H}^{(d)}(E) < ∞. An effective method involves using Cantor-like sets in \mathbb{R}^n, where one starts with a closed box and iteratively removes sections, retaining only the corners, leading to a set with the desired dimension.

PREREQUISITES
  • Understanding of Hausdorff dimension and measure theory
  • Familiarity with compact subsets in \mathbb{R}^n
  • Knowledge of Cantor sets and their properties
  • Basic principles of fractal geometry
NEXT STEPS
  • Study the properties of Hausdorff measures in detail
  • Explore the construction and properties of Cantor sets in \mathbb{R}^n
  • Learn about the implications of the Hausdorff dimension in fractal geometry
  • Investigate examples of sets with specific Hausdorff dimensions
USEFUL FOR

Mathematicians, students of analysis, and researchers interested in measure theory and fractal geometry will benefit from this discussion.

OB1
Messages
25
Reaction score
0
My analysis textbook mentioned in passing that the range of the Hausdorff dimension is all nonnegative real numbers, i.e. for any nonnegative real number a, there's some compact subset of R^n whose Hausdorff dimension is exactly a. The problem is that I don't see how to prove this (and my oh-so-concise book doesn't bother proving it). Does anyone know how to go about proving this?
 
Physics news on Phys.org
in \mathbb{R}^n, you will not find any set that has a dimension &gt;n ! To construct a set with Hausdorf dimension 0 &lt; d &lt; n, it suffices to construct a set E that has a d-Hausdorf measure 0 &lt; \mathcal{H}^{(d)}(E) &lt; \infty. If you know the example of Cantor-like sets in \mathbb{R}, you can adapt the idea in \mathbb{R}^n.
 
Last edited:
So, suppose I start with the closed box in \mathbb{R}^{n} and delete everything except the corners of the box with side length l, and then repeat this so the ith iteration leaves boxes of side length l^{i}. So I have a Cantor-like set in \mathbb{R}^{n}. I'm still a bit puzzled on finding the dimension of this object, any further hints?
 

Similar threads

Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 28 ·
Replies
28
Views
4K
  • · Replies 2 ·
Replies
2
Views
5K
  • · Replies 26 ·
Replies
26
Views
5K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 100 ·
4
Replies
100
Views
12K
  • · Replies 24 ·
Replies
24
Views
6K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 10 ·
Replies
10
Views
4K