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.

Filter by
Sorted by
Tagged with
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\...
Thomas Yang's user avatar
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 $$ \...
Piotr Hajlasz's user avatar
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 $\...
Gro-Tsen's user avatar
  • 29.9k
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?
Dopax's user avatar
  • 1
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 ...
ljjpfx's user avatar
  • 175
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$ ...
user128943's user avatar
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-...
DavidHume's user avatar
  • 741
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$ ...
Jacob Denson's user avatar
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 ...
Jörg Neunhäuserer's user avatar
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 ...
Nikita Sidorov's user avatar
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 ...
Guo's user avatar
  • 11
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=\{...
Dominik Kwietniak's user avatar
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 ...
Thomas Yang's user avatar
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 ...
Andrea's user avatar
  • 11
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}(...
Thomas Yang's user avatar
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 ...
Phil-W's user avatar
  • 975
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)....
Loreno Heer's user avatar
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}\ ...
Hee Kwon Lee's user avatar
  • 1,070
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 ...
Bjørn Kjos-Hanssen's user avatar
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 ...
Fabian Wirth's user avatar
  • 1,167
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}^...
PIP's user avatar
  • 193
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 ...
quarague's user avatar
  • 622
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 $...
timofei's user avatar
  • 297
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 ...
Nikita M's user avatar
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 ...
Rob F's user avatar
  • 21
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)...
Zachary W. Robertson's user avatar
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}\,:\,...
Ian Short's user avatar
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+\...
user avatar
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 ...
Moritz Firsching's user avatar
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 ...
Silvia Ghinassi's user avatar
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 ...
John B's user avatar
  • 424
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$, ...
Lazward's user avatar
  • 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"). ...
vizietto's user avatar
  • 373
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 ...
Pietro Majer's user avatar
  • 56.5k
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 ...
Joonas Ilmavirta's user avatar
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 $\...
Johannes Hahn's user avatar
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)...
Lewis Zhang's user avatar
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{...
dg.jan's user avatar
  • 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$...
Dirk's user avatar
  • 12.3k
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 ...
James E. Reid's user avatar
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 : \...
Greg Zitelli's user avatar
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$?
smyrlis's user avatar
  • 2,873
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 ...
Nick's user avatar
  • 173
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 $...
calc's user avatar
  • 243
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{...
Dave Naughton's user avatar
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 \}$. ...
Alexander Pruss's user avatar
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 ...
uncooltoby's user avatar
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$-...
Hee Kwon Lee's user avatar
  • 1,070
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 ...
MichaelNgelo's user avatar
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 ...
Jose Capco's user avatar
  • 2,175