# Questions tagged [hausdorff-dimension]

Questions about dimensions of possibly highly irregular or "rough" sets, Hausdorff–Besicovitch dimension and related concepts such as box-counting or Minkowski–Bouligand dimension.

84
questions

1
vote

0
answers

69
views

### Lower bound estimate for the sum $\sum \text{diam}(U)^d$ over all countable covers of a cube

This question is inspired from the definition of Hausdorff measure. Let $C$ be a closed unit hypercube in $\mathbb R^d$ (side length equal to one, including boundary. The cube itself is at top ...

6
votes

1
answer

263
views

### Direct proof that the set of badly approximable numbers have full Hausdorff dimension without using Schmidt games

A badly approximable number is an $x$ for which there is a positive constant $c$ such that for all rational $p/q$ we have
$$\left|{ x - \frac{p}{q} }\right| > \frac{c}{q^2} \ . $$
The set of badly ...

4
votes

1
answer

153
views

### On the set on which $|Df|$ is maximal for Lipschitz $f$

Let $f: \mathbb R^n \to \mathbb R$ be a Lipschitz continuous function with strict Lipschitz constant $L > 0$.
That is, $|f(x) - f(y)| < L|x - y|$ for all $x \neq y$ in $\mathbb R^d$.
Question: ...

5
votes

1
answer

232
views

### Hausdorff measure

Let $(X,d)$ be a metric space and let $H^\alpha$ denote the $\alpha$-dimensional Hausdorff measure on $X$, where $\alpha$ is the Hausdorff dimension of $X$. Is there any simple condition on $X$ that ...

1
vote

0
answers

93
views

### Hausdorff dimension of a compact Lie group [closed]

Let $G$ be a compact Lie group (for simplicity assume $G=SO(3)$). Equip $G$ with a left-invariant Riemannian metric and let $m$ be left-invariant Haar measure on $G$.
Now that $G$ is a metric space ...

2
votes

1
answer

296
views

### Fraction dimensional "Euclidean" space

The “dimension” of Euclidean space $\mathbb{E}^n$ can be explained as an algebraic property, simply as a dimension of a vector space over the field $\mathbb{R}$. It also can be understood as a ...

2
votes

0
answers

107
views

### Relationship between Hausdorff dimension and covering number

Let $(X,d)$ be a compact metric space and recall that the $\epsilon$-external covering number $\mathcal{N}^{\epsilon}(X)$ of $X$ is defined by:
$$
\mathcal{N}^{\epsilon}(X) := \inf\left\{
N\in \mathbb{...

5
votes

1
answer

395
views

### Fubini's theorem for Hausdorff measures

$B\subset \mathbb{R}^2$ is a Borel set. Define the slices $B_x:= \{y \in \mathbb{R}: (x,y) \in B \}$.
If $\lambda$ denotes the Lebesgue measure on $\mathbb{R}$, presentations of Fubini's theorem often ...

1
vote

0
answers

98
views

### Hausdorff dimension and critical exponent of words

What is the Hausdorff dimension of the subset $S_c \subset [0,1]$ of points such that the critical exponent of their binary expansion is $c$? It's clear that $\dim_H S_{\infty}=1$, but what can be ...

3
votes

2
answers

249
views

### Maximal Hausdorff dimension of the set on which derivatives do not agree

Let $f, g: [0, 1] \to \mathbb R$ be functions that are differentiable a.e. with $f’ = g’$ almost everywhere. What is the maximal Hausdorff dimension $d$ (and corresponding Hausdorff $d$-measure) of ...

4
votes

2
answers

250
views

### Hausdorff dimension of Julia set

Can anyone show me the proof "Hausdorff dimension of Julia set is strictly positive"?
For purpose to prove this we might have to prove the green function of basin of attraction to infinity ...

3
votes

1
answer

273
views

### Hausdorff dimension and surface measure

Could someone please indicate me some reference that contains the proof of the following theorem?
Below $\mathcal{H}^n$ denotes the $n$-dimensional Hausdorff outer measure in $\mathbb{R}^n$.
Theorem: ...

5
votes

0
answers

502
views

### On the Hausdorff dimension of a Cantor set

In what follows I refer to this paper by Orevkov.
I am writing a paper on this, so if somebody is interested we could consider to write a joint paper.
Consider a sequence $R=\{R_n\}_n$ of strictly ...

3
votes

1
answer

179
views

### The Hausdorff codimension of singular matrices vs. the Hausdorff codimension of points with divergent trajectories

Let $G:=SL(m+n,\mathbb R)$ and $\Gamma :=SL(m+n,\mathbb Z)$ and $X:=G/\Gamma$.
(1) Let $M$ denote the set of all $m \times n$ matrices with real entries. A matrix $A \in M$ is called $\textit{singular}...

1
vote

0
answers

166
views

### Is Kakeya conjecture open with some additional regularity condition on Kakeya map?

in the paper, ON KAKEYA MAPS WITH REGULARITY ASSUMPTIONS, the author of the paper consider the Kakeya conjecture with some regularity on Kakeya map,
Kekeya conjecture[Hausdorff dimension version]
If ...

2
votes

1
answer

104
views

### Natural way to thicken Brownian motion to 2D?

If we have a smooth plane curve (Hausdorff dimension 1), we can thicken it by a small amount to get a 2D set (all points within distance $\epsilon$ to the curve).
What if we start with the graph of a ...

2
votes

0
answers

83
views

### Bounds on convergence of two orbits in the limit set of a Schottky group

Suppose we have two points in the limit set of a Schottky group, $x,y\in \Lambda(\Gamma)$. Consider the orbits of those points under a primitive subset $\Gamma'$ of $\Gamma,$ that is, one that does ...

3
votes

0
answers

63
views

### For $\mathcal{L}^1$-a.e. $t\in R$, Hausdorff dimension of level sets of a locally Lipschitz function $f:R^n\to R$ is $n-1$?

Let $f:R^n\to R$ be a locally Lipchitz function. Denote $H^n$ the n-dimensional Hausdorff measure. We know that for any $H^n$-measurable subset $A\subset R^n$, for $\mathcal{L}^1$-a.e. $t\in R$, $A\...

2
votes

0
answers

43
views

### (1, 2) stability and Hausdorff dimension

Recall that a set $E \subset \mathbb{R}^n$ is called (1,2) stable if it satisfies the following:
$$
W_0^{1,2}(E) = W_0^{1,2}(E^0),
$$
where $E^0$ is the interior of $E$ and $W_0^{1,2}(E)$ is defined ...

3
votes

2
answers

931
views

### A set whose Hausdorff dimension gradually changes?

Can there be a set whose Hausdorff dimension gradually changes?
For instance, a set of real numbers contained in an interval, whose Hausdorff dimension is 0 at the beginning and 1 closer to the end, ...

2
votes

0
answers

83
views

### Hausdorff dimension between $(1,2)$

Is there a number $c \in (1,2)$ for which there exist some interesting geometric property/properties which hold for every set of Hausdorff dimension in $(1,c)$ and does not hold for any set of ...

5
votes

0
answers

99
views

### How do sets with unit fractional Hausdorff measure of dimension $>1$ look like?

Triggered by the recent question How can we not know the measure of the Sierpiński triangle? I would like to ask:
Let $s>1$ and $s$ not be an integer. How to construct a set $A$ with $\mathfrak{H}^...

6
votes

1
answer

190
views

### Subspaces of metric spaces having prescribed dimension

Let $(X,d)$ be a metric space having Hausdorff dimension $\alpha>0$ and let $0<\beta<\alpha$. Is there a metric subspace of $X$ having Hausdorff dimension $\beta$?

2
votes

0
answers

102
views

### Examples of essentially sub-linear functions

A dimension function is an increasing, continuous function $%
f:\mathbb R_{+}\rightarrow \mathbb R_{+}$ such that $f(r)\to 0$ as $r\to 0$.
Say that a dimension function $f$ is essentially sub-linear ...

1
vote

1
answer

164
views

### Does fractallity depend on the Riemannian metric?

Edit: According to comment of Andre Henriques we revise the question:
In this question a fractal is a metric space whose topological and Hausdorff dimensions are different. So we would like that ...

10
votes

0
answers

252
views

### Hausdorff dimension and von Neumann dimension

There are two subjects in which non-integral dimensions appear:
fractal geometry: consider the well-known Hausdorff dimension of fractals.
von Neumann algebra: consider a type ${\rm II_1}$ ...

2
votes

0
answers

61
views

### Universal structure of fractal spaces

In the same way that we can say manifolds are made of pieces that look like $\mathbb{R}^n$, is there any way to say that spaces with the same hausdorff dimension are made up of pieces that look the ...

3
votes

1
answer

196
views

### Hausdorff dimension and $W^{1,1}$ functions

What can be said about the Hausdorff dimension of the image of a set by a $W^{1,1}$ map?
In other words,
what is the relationship between
$\mathrm{dim}_H f(A)$ and $\mathrm{dim}_H A$, where $f \in ...

7
votes

1
answer

227
views

### Hausdorff dimension of the boundary of fibres of Lipschitz maps

Let $f: \mathbb{R}^m\rightarrow \mathbb{R}^{m-k}$ be a Lipschitz map.
Can we get a uniform estimate on the Hausdorff dimension of the boundaries of fibres of $f$? I.e. do we have an upper bound for
...

22
votes

3
answers

851
views

### Existence of subset with given Hausdorff dimension

Let $A\subseteq \mathbb{R}$ be Lebesgue-measurable and let $0<\alpha<1$ be its Hausdorff dimension.
For a given $0<\beta <\alpha$ can we find a subset $B\subset A$ with Hausdorff ...

2
votes

1
answer

150
views

### Failure of Falconer distance problem in one dimension

I am told that the Falconer distance conjecture fails trivially in one dimension, but I really cannot find any reference for that. Precisely, I am asking the following question:
For a compact set $E\...

11
votes

1
answer

730
views

### Coarea inequality, Eilenberg inequality

The general statement of the coarea inequality known also as the Eilenberg inequality is:
Theorem. If $f:X\to Y$ is a Lipschitz map between metric spaces and $A\subset X$, $0\leq m\leq n$, then $$
\...

13
votes

1
answer

492
views

### Are Hausdorff measures on the real line Haar measures for some locally compact topology?

For $0\leq d\leq 1$, let $\lambda_d$ be the $d$-dimensional Hausdorff measure on $\mathbb{R}$. Note that it is translation-invariant. Does there exist a locally compact topology $\mathscr{T}_d$ on $\...

0
votes

0
answers

79
views

### Set with modified lower box counting dimension strictly less than Hausdorff dimension

Please, can someone give (as simple as possible) example of the set for which modified lower box counting dimension is strictly smaller than Hausdorff dimension?

2
votes

0
answers

67
views

### The Hausdorff dimensions of variations of Jarnik sets

For $\alpha, \beta>3,$ define
$$\{(x,y)\in[0,1]\times [0,1]: \|qx\|\le q^{1-\alpha}, \|qy\|\le q^{1-\beta} \quad \text{for infinitely many $ q\in \mathbb{N}$}\}.$$
This set can be regarded as a two ...

6
votes

3
answers

429
views

### About the Hausdorff dimension of removable singularities of PDE

There are some interesting phenomenons about removable singularities (or extension problems).
In the theory of functions of several complex variables, we know the classical Hartogs theorem:
Let $f$ ...

2
votes

0
answers

64
views

### Intersections of Sierpinski carpets with lines

Let $S$ be the Sierpinski carpet contained in the square $[0,1]^2$. For Lebesgue almost every $a\in [0,1]^2$ and every $\theta\in\mathbb Q$ the intersection of the line $L_{a,\theta}$ with equation $y-...

7
votes

1
answer

178
views

### Examples of probability measures with `fake' decay

To be concise, I am wondering whether there are natural examples of probability measures $\mu$ compactly supported on the real line which satisfy $\mu(I) \lesssim l_n^\alpha$ for all intervals $I$ ...

4
votes

0
answers

110
views

### A quantity that distinguishes finer than Hausdorff dimension

Consider sets $A\subseteq \mathbb{R}$ with Lebesgue measure zero and Hausdorff dimension one. For instance the set of real numbers with bounded entries in their continued fraction expansion have ...

7
votes

1
answer

877
views

### Hausdorff dimension of the graph of an increasing function

Let $f$ be a continuous, strictly increasing function from $[0,1]$ to itself with $f(0)=0, f(1)=1$. Let $\Gamma_f$ denote its graph. What can be said about the Hausdorff dimension of $\Gamma_f$? In ...

1
vote

0
answers

94
views

### density of fractal measures

Let $s\in (0, 1)$ be a real number. Let $E\subset [0, 1]$ be a Borel set whose Hausdorff dimension is given by $s$. Assume that $\mathcal{H}^s(E)=+\infty$, that is, the $s$-dimensional Hausdorff ...

3
votes

1
answer

141
views

### Measures maximizing entropy in a set of measures with fixed average for some observable

Let $\Omega$ be the set of all infinite binary sequences $(x_i)_{i\ge 0}$ endowed with the product topology coming from discrete topology on $\{0,1\}$.
Consider $0<\alpha<1$ and let $$K_\alpha=\{...

2
votes

0
answers

52
views

### Closed set containing infinite arithmetic progressions of ANY gap

Let $A\subseteq [0,\infty)$ be a set containing infinite arithmetic progressions of ANY gap, that is, for any $d>0$, there is $t>0$ such that $t+kd\in A$ for all $k\in \mathbb N$.
Molter and ...

1
vote

0
answers

204
views

### Compact sets of Hausdorff dimension zero

I have a question about Hausdorff dimension. Suppose S is a compact subset of $\mathbb{R}^n$ whose Hausdorff dimension is zero. Does it follow that S can be covered by a finite DISJOINT union of ...

0
votes

0
answers

116
views

### Hausdorff dimension of $X\times X$

I am thinking of the following question:
Let $X\subseteq \mathbb R$. Is it true that
$$
\mathrm{dim_H}(X\times X)=2\mathrm{dim_H}(X)?
$$
My thoughts:
We know that $\mathrm{dim_H}(X)+\mathrm{dim_H}(...

9
votes

1
answer

411
views

### Is there a characterization of the Hausdorff measures?

It is known that there is a unique measure on the Borel $\sigma$-algebra of $\mathbb{R}^n$ such that the measure of the rectangle $\prod_i [a_i,b_i[$ is $\prod_i (b_i-a_i)$. This is the Lebesgue ...

3
votes

1
answer

102
views

### volume entropy and Hausdoff dimension

In relation to this question: Relation between volume entropy and Hausdorff dim of limit set?
Given a metric space $Z$ and a hyperbolic approximation $X := hyp_{r_0}(Z)$ (as defined for example here)....

1
vote

1
answer

133
views

### Dimension of quotient of compact totally disconnected group action

Assume that $X$ is a compact metric space and $G$ is compact
totally disconnected group. And $X$ has isometric free $G$-action
i.e. $gx=x\Rightarrow g=e$.
Then the following holds $${\rm dim}\ ...

6
votes

5
answers

1k
views

### Fractals of dimension zero

Are there any famous examples of fractals, or other closed sets, of cardinality continuum but Hausdorff dimension 0?
I can think of something ad hoc like a Cantor middle $\frac13$ set where the ...

4
votes

1
answer

378
views

### Hausdorff dimension of boundaries of open sets diffeomorphic to $\mathbb{R}^n$

Let $B$ be a bounded open subset of $\mathbb{R}^n$ which is diffeomorphic to $\mathbb{R}^n$. (I am not sure how important the diffeomorphism is but this is the case I am interested in.) Let $C$ be its ...