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.
114 questions
2
votes
0
answers
99
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 ...
- 9,340
8
votes
1
answer
213
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}^...
- 12.7k
6
votes
1
answer
205
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$?
- 325
2
votes
0
answers
267
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 ...
- 21
2
votes
1
answer
216
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 ...
- 366
11
votes
0
answers
337
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
66
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 ...
- 187
3
votes
1
answer
230
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 ...
- 839
7
votes
1
answer
272
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
...
- 1,045
23
votes
3
answers
1k
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 ...
- 1,045
2
votes
1
answer
254
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\...
- 751
11
votes
1
answer
962
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 $$
\...
- 28k
13
votes
1
answer
577
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 $\...
- 32.5k
0
votes
0
answers
151
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?
- 1
2
votes
0
answers
83
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 ...
- 207
6
votes
3
answers
541
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$ ...
- 181
2
votes
0
answers
85
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-...
- 743
7
votes
1
answer
209
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$ ...
- 455
4
votes
0
answers
119
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 ...
- 1,648
7
votes
1
answer
1k
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 ...
- 2,135
1
vote
0
answers
114
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 ...
- 11
4
votes
1
answer
176
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=\{...
- 1,658
2
votes
0
answers
73
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 ...
- 751
1
vote
0
answers
251
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 ...
- 11
0
votes
0
answers
122
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}(...
- 751
9
votes
1
answer
637
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 ...
- 1,035
3
votes
1
answer
114
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)....
- 447
1
vote
1
answer
148
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}\ ...
- 1,100
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 ...
- 24.8k
5
votes
1
answer
511
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 ...
- 1,167
2
votes
1
answer
388
views
Construction of null sets with prescribed Hausdorff dimension and generalizations
Given $h:\mathbb{R}_0^+ \to \mathbb{R}_0^+$ increasing and right continuous, the outer measure $\mathcal{H}^h$ in $\mathbb{R}^d$ that assigns to every $E\subset\mathbb{R}^d$ the measure $$\mathcal{H}^...
- 193
4
votes
1
answer
196
views
Is there a concept of uniform Hausdorff dimension?
Let $M$ be a metric space and let $U \subset M$ be open. Then the Hausdorff dimension of $U$ is defined in the usual way. If there is a single dimension number $d$ that is the Hausdorff dimension of ...
- 687
7
votes
2
answers
2k
views
Haar measure on the Grassmannian space
The grassmannian space $G(n,m)$ may be identified with the quotient space $O(n)/(O(m)\times O(n-m)$. As such, it is endowed with a natural invariant probability measure which I call "Haar measure on $...
- 287
4
votes
0
answers
255
views
Controlling the size of the balls in Hausdorff dimension/measure
Let $X$ be a compact metric space, and let
$$
\nu_s(X):=\sup\limits_{\varepsilon>0} \inf\limits_{\mathcal{E}} \sum\limits_{E \in \mathcal E} \mathrm{diam}(E)^s
$$
be the $s$-dimensional Hausdorff ...
- 41
3
votes
0
answers
199
views
Hausdorff Dimension of Exceptional Set for Carleson's Theorem
In Mattila's book Fourier Analysis and Hausdorff Dimension, Mattila presents a result of Barcelo, Bennett, Carbery, and Rogers about convergence of solutions of the Schrodinger equation to the initial ...
- 31
4
votes
1
answer
969
views
Usable Change-of-Variables Formula for Hausdorff Measure
Let $H^{s}$ be the $s$-dimensional Hausdorff measure, let $D$ be a nonsingular matrix. Consider the change of measure formula:
$$
\int\limits_{A} f(Dx) \; \mathrm{d}H^{s}(x) = \int\limits_{ D A} f(y)...
4
votes
2
answers
279
views
Hausdorff dimension of sequence space
Let $\Omega =\{0,1\}^{\mathbb{N}}$ denote the set of infinite sequences with elements $0$ or $1$. Let $d$ be the metric on $\Omega$ given by $d((x_n),(y_n))=1/2^m$, where $m=\min\{i\in\mathbb{N}\,:\,...
- 83
3
votes
0
answers
204
views
Product Fractals
Here is a theorem found in the Falconer's book on fractal geometry:
Theorem: For any sets $E\subset \mathbb{R}^n$ and $F\subset \mathbb{R}^m$
$$
\dim_HF+\dim_HE\leq \dim_H(E\times F)\leq \dim_HE+\...
user11178
15
votes
2
answers
1k
views
Hausdorff dimension of Apollonian circle packing, 1.305686729, 1.305688 or yet something else?
I am interested in the Hausdorff dimension of the Apollonian circle packing.
There seem to be two numerical calculations of the value:
1.305686729(10)
from P.B ...
- 10.7k
9
votes
1
answer
1k
views
When is Hausdorff measure a Frostman measure?
Let $(X,d)$ be a metric space and let $\mathcal{H}^s$ be the $s$-dimensional Hausdorff measure on $X$.
For a measure $\mu$ on $X$, we say that $\mu$ is a Frostman measure (sometimes referred as ...
- 398
3
votes
1
answer
181
views
Packing measure and Kleinian groups
There has been "some" debate on the notion of fractal (as an illustration, see for example the discussion in this link). One of the possible notions includes relating Hausdorff dimension and packing ...
- 424
7
votes
1
answer
494
views
Jarník-Besicovitch and outer measure
The set $A_\tau$ of irrational numbers $x$ which are $\tau$-approximable, i.e., that satisfy the estimate
$$\left|x - \frac{p}{q}\right| \leq \frac{1}{q^\tau}$$
for infinitely many rationals $p/q$, ...
- 295
6
votes
2
answers
1k
views
Hausdorff dimension of a Cantor-like set
Suppose $K$ is a subset of $[0,1]$ with the following property: for almost $x,y \in K$, we have
$$\frac{x+y}{2} \not\in K.$$
(Here, "almost in $K$" means "in $K$ except for a countable subset").
...
- 373
23
votes
3
answers
872
views
Best Hölder exponents of surjective maps from the unit square to the unit cube
The Peano's square-filling curve $p:I\to I^2$ turn's out to be Hölder continuous with exponent $1/2$ on the unit interval $I$ (a quick way to see it, is to note that $p$ is a fixed point of a ...
- 60.6k
7
votes
3
answers
679
views
How can dimension depend on the point?
Let $M$ be a metric space.
For any subset $A\subset M$ let $\dim(A)$ denote its Hausdorff dimension.
For $x\in M$, define the dimension of $M$ at $x$ by $\dim(x)=\lim_{r\to0}\dim(B(x,r))$; this limit ...
- 8,086
6
votes
1
answer
670
views
Calculate Hausdorff measure with Frostman measures
Fix a metrix space $(X,d)$ and consider the Hausdorff (outer) measures $\mathcal{H}^s$ on $X$.
A Frostman measure on $X$ is a finite Borel measure $\mu$ such that there exists $C,t,r_0>0$ with $\...
- 9,650
7
votes
1
answer
2k
views
The relation between Hausdorff dimension of an $n$-manifold and $n$
It is known that for a topological space with different metrics, the Hausdorff dimensions may not be equal in general.
For the case of manifolds, suppose $M$ is a $n$-manifold with a metric(distance)...
- 285
25
votes
2
answers
3k
views
Hausdorff dimension of R x X
In general, the Hausdorff dimension of a product is at least the sum of the dimensions of the two spaces. Does equality hold if one space is Euclidian?
So let $X$ be a metric space and let $\mathit{...
- 571
11
votes
1
answer
1k
views
Geometric measures different from Hausdorff
$\newcommand{\RR}{\mathbb{R}}\newcommand{\calF}{\mathcal{F}}\newcommand{\diam}{\mathrm{diam}}$
In geometric measure theory there are various notions of $m$-dimensional measure for sets $A\subset \RR^n$...
- 12.7k
14
votes
0
answers
402
views
Are there additive subgroups of reals of dimension 1 with no subgroups of dimension strictly between 0 and 1?
I will use $dimA$ to denote the Hausdorff dimension of a set $A \subseteq \mathbb{R}$. Being a null set means having Lebesgue measure zero.
In the 1966 paper "Additive gruppen mit vorgegebener ...
- 241