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.
104
questions
2
votes
1
answer
219
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
910
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
556
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
134
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
81
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
495
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
79
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
202
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
117
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
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 ...
1
vote
0
answers
112
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 ...
4
votes
1
answer
165
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
70
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
240
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
121
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
556
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
113
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
143
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 ...
5
votes
1
answer
471
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 ...
2
votes
1
answer
333
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}^...
4
votes
1
answer
184
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 ...
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 $...
4
votes
0
answers
239
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 ...
2
votes
0
answers
193
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 ...
4
votes
1
answer
864
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
255
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}\,:\,...
3
votes
0
answers
200
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+\...
15
votes
2
answers
874
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 ...
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 ...
3
votes
1
answer
174
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 ...
7
votes
1
answer
443
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$, ...
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").
...
22
votes
3
answers
802
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 ...
7
votes
3
answers
651
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 ...
6
votes
1
answer
635
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 $\...
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)...
25
votes
2
answers
2k
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{...
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$...
14
votes
0
answers
365
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 ...
6
votes
2
answers
470
views
Can Hausdorff dimension make sets into a Tropical Semiring?
If $X$ is a metric space, we construct Hausdorff $d$ measure from the outer measure
\begin{equation}
H^d(U) = \lim_{\delta \to 0}\inf\left\{\sum_{i=1}^\infty \left(\text{diam}(E_i)\right)^d : \...
0
votes
2
answers
291
views
Hausdorff measure of the zero set
Let $f : \mathbb R^n\to \mathbb R$ continuous, for which there exist $x,y\in\mathbb R^n$, such that $f(x)f(y)<0$.
Is it true that the Hausdorff dimension of the zero set of $f$ is at least $n-1$?
3
votes
1
answer
554
views
Are there any good techniques for calculating Hausdorff measure?
I'm aware that many techniques have been developed for the purpose of calculating Hausdorff dimension (although I'm fairly unfamiliar with them), but my question is whether or not we have any good ...
5
votes
1
answer
819
views
Hausdorff metric on C[0,1]
Let us consider $C[0,1]$, the space of continuous functions $f\colon [0,1] \to \mathbb{R}$. It comes usually with the metric of the maximum, or of the supremum, $d_{L^{\infty}}$. Each element $f$ in $...
5
votes
1
answer
190
views
Multifractal Analysis and Dimension Spectrum of Unions
Consider the classical Multifractal Analysis, and the decomposition of the state space $X$ into level sets
$$X=\bigcup_{\alpha}\left\{x\mid d_\mu(x)=\alpha\right\}\cup\left\{x\mid d_\mu(x) \,\mathrm{...
8
votes
2
answers
363
views
Isometrically-invariant measures and dilation of the Cantor set
Let $C$ be the Cantor middle-thirds set. Let $\mu$ be a finitely-additive isometrically-invariant measure on all subsets of $\mathbb R$. Then $\mu(3C)=2\mu(C)$, where $aB = \{ ax : x \in B \}$. ...
4
votes
2
answers
665
views
Hausdorff dimension of Julia sets of quadratics not in the Mandelbrot set.
What are the bounds on the possible values of the Hausdorff dimension of the Julia sets of quadratics not in the Mandelbrot set? In particular, assume we have a quadratic $q_c: z \mapsto z^2 + c$ on ...
5
votes
2
answers
1k
views
Hausdorff dimension of convex set in ${\bf R}^n$
I want to know the smoothness of convex set in ${\bf R}^n$.
Recall the following definition.
Definition : $X$ is a bounded closed convex set in ${\bf R}^n$ if for $x$, $y\in X$, the any $d$-...
2
votes
1
answer
829
views
Hausdorff dimension of a subset of Cantor set
What is the Hausdorff dimension of the subset
$$F := \{ x = \sum^\infty_{n=1} \frac{2 x_n}{3^n} \in [0,1] : x_n \in \{ 0 , 1 \} , x_n = 1 \Rightarrow x_{n+1}=0 \}$$
of the Cantor set? Is it known ...
5
votes
5
answers
2k
views
Fractal questions: Weierstraß-Mandelbrot
Coming from a specific field in algebraic geometry, I am a total noob in Fractal Theory and I'd like to learn it a bit. I hope I am tolerated for my maybe-trivial questions. I just read about the ...