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
4
votes
0
answers
72
views
An algebraic condition possibly related with the Hausdorff measure on $\mathbb{R}$
This is my first time to ask a question here. Please tell me if I can improve it.
I would like to introduce the following definition inspired from a measure theory exercise.
Definition. A subset $K$ ...
5
votes
0
answers
156
views
What is the Hausdorff dimension of the set on which this exponential sum is bounded?
This is a direct follow up to For which rationals is this exponential sum bounded?
Given $x \in [0, 1]$, we denote by $e(x)$ the complex number $e^{2 \pi i x}$.
What is the Hausdorff dimension of the ...
- 6,313
8
votes
1
answer
344
views
How large can the set of turbulent points be?
This question resisted attempts on MSE.
Let $E \subset \mathbb R^n$ be a Lebesgue measurable set. We say that $x \in \mathbb R^n$ is a turbulent point of E if both the following conditions hold:
$$\...
- 6,313
4
votes
1
answer
552
views
Is there an explicit, everywhere surjective $f:\mathbb{R}\to\mathbb{R}$ whose graph has zero Hausdorff measure in its dimension?
Suppose $f:\mathbb{R}\to\mathbb{R}$ is Borel. Let $\text{dim}_{\text{H}}(\cdot)$ be the Hausdorff dimension, and $\mathcal{H}^{\text{dim}_{\text{H}}(\cdot)}(\cdot)$ be the Hausdorff measure in its ...
- 63
3
votes
1
answer
99
views
Intersection of IID fractal sets
Let $A, B \subset \mathbb R$ be IID random closed subset. Suppose that there exists $d \in (1/2, 1]$ such that the Hausdorff dimension of $A$ is equal to $d$ almost surely. Is it true that $\mathbf P\...
- 177
4
votes
1
answer
259
views
Hausdorff dimension of the zero set of the gradient of an eikonal function
Let $f: \mathbb R^n \to \mathbb R$ be a Lipschitz function with $|\nabla f| = 1$ almost everywhere with respect to Lebesgue measure.
What is the supremal Hausdorff dimension of the set on which $f$ is ...
- 6,313
5
votes
2
answers
248
views
Hausdorff dimension of the zero set of $\nabla f$
Let $f: \mathbb R^n \to \mathbb R$ be a Lipschitz function with $\nabla f$ nonzero almost everywhere with respect to Lebesgue measure.
What is the supremal Hausdorff dimension of the set on which $f$ ...
- 6,313
4
votes
1
answer
206
views
Existence of an $\alpha$-Hölder continuous function whose graph has positive Hausdorff measure of maximal dimension
It is standard that if $f:[0,1] \rightarrow \mathbb{R}$ is $\alpha$-Hölder continuous, then its graph has Hausdorff dimension at most $2-\alpha$. My naive expectation was that "most" graphs ...
- 45
6
votes
0
answers
822
views
Is the $L^\infty$ norm of the derivative the same under the Hausdorff and Lebesgue measure?
Note: Here $\mathcal H^k$ denotes the $k$-dimensional Hausdorff measure, and $\|f\|_{L^\infty (\mathcal H^k)}$ denotes the $L^\infty$ norm of a function $f$ with respect to $\mathcal H^k$.
Let $\Omega$...
- 6,313
3
votes
2
answers
142
views
Dimension of the graph of a function $\varphi : \mathbb R^2 \to \mathbb R$
Let $\varphi : \mathbb{R}^2 \to \mathbb{R}$ be a continuous function, and let $G(\varphi)$ be the graph of $\varphi$. Denote $R:=\{(x,0) \in \mathbb{R}^2 | x \in \mathbb{R}\}$ as the real line in $\...
- 661
6
votes
0
answers
147
views
Estimating the Hausdorff dimension of the discontinuity set of a function
Suppose $\sum_{\xi \in \mathbb{Z}^d}{a_{\xi}}e^{i\langle x, \xi\rangle }$ converges spherically pointwise to $0$ for all $x \in \mathbb{T}^d$, i.e. $\lim_{R \to \infty} \sum_{|\xi| < R}{a_{\xi}}e^{...
- 161
0
votes
1
answer
115
views
Fractal sets and dimensions
Can we construct two sets $E$ and $F$ meeting the following criteria
$\dim_H(E) = \dim_H(F) = \dim_H(E ∩ F)$
$\dim_P(E), \dim_P(F)$, and $\dim_P(E ∩ F)$ are distinct?
Here $\dim_H$ denotes the ...
- 39
3
votes
0
answers
49
views
Kaplan-Yorke dimension when all Lyapunov exponents are positive or the system is 1-dimensional
The Lyapunov/Kaplan-Yorke dimension $D_{KY}$ can be calculated using the Lyapunov Exponents of an n-dimensional dynamical system, as shown in the relevant Scholarpedia entry.
If $\lambda_1>\...
8
votes
0
answers
230
views
The Hausdorff dimension of the set of reals of inner models
Suppose that both $M$ and $N$ are models of $ZFC$ with $M\subseteq N$ so that $M$ is definable in $N$.
Question Can $(\mathbb{R})^M$ have Hausdorff dimension strictly between $0$ and $1$ in $N$? How ...
- 4,201
2
votes
1
answer
196
views
Hausdorff dimension of the curve of a continuous nowhere differentiable function
It is of course well-known that there are plenty of functions from $\mathbb R$ into itself which are continuous and nowhere differentiable. Although the Baire Category Theorem is enough to prove the ...
- 16.2k
15
votes
4
answers
1k
views
Steinhaus theorem and Hausdorff dimension
Assume for simplicity that sets $A_i\subset\mathbb{R}$ are compact. If $A_1$ and $A_2$ have positive length, then $A_1+A_2$ contains an interval. That is a variant of the classical Steinhaus theorem ...
- 28k
3
votes
1
answer
105
views
Existence of an $\alpha$-regular measure with positive measure on a binary digits do not have a limiting frequency
let $$X=\left\{ \sum_{n=1}^{\infty}a_{n}2^{-n}:a_{n}\in\left\{ 0,1\right\} ,\liminf\frac{1}{n}\sum_{i=1}^{n}a_{i}<\limsup\frac{1}{n}\sum_{i=1}^{n}a_{i}\right\} $$
I'm studying fractal geometry and ...
0
votes
1
answer
325
views
Finding examples of functions which are infinite or undefined with current extensions of the expected value?
Preliminaries
Consider the expectations desribed in this paper, which is an extension of the Lebesgue density theorem; this paper which is an extension of the Hausdorff measure, using Hyperbolic ...
- 63
2
votes
0
answers
123
views
Are the extensions of the expected value, below, finite for all functions in only a shy subset of all measurable functions?
This is a follow up to this post, where I wish to verify whether one of the statements (in the post) is true but first let's recap the definitions:
Let $(X,d)$ be a metric space. If set $A\subseteq X$,...
- 63
7
votes
1
answer
173
views
Plane curve with continuously increasing Hausdorff dimension
In a recent paper, we required the following fact.
Proposition 1. There exists a simple closed curve $\gamma\subset\mathbb{C}$ with the following property. If $\phi$ is a biholomorphic map, defined on ...
- 6,548
1
vote
0
answers
741
views
Finding a unique and finite expected value for almost all measurable functions?
Let $(X,d)$ be a metric space. If set $A\subseteq X$, let $H^{\alpha}$ be the $\alpha$-dimensional Hausdorff measure on $A$, where $\alpha\in[0,+\infty)$ and $\text{dim}_{\text{H}}(A)$ is the ...
- 63
2
votes
2
answers
850
views
Defining a measure of uniformity for measurable subsets of $[0,1]^2$ w.r.t dimension $\alpha\in[0,2]$
Let $(X,d)$ be a metric space. If set $A\subseteq X$, let $H^{\alpha}$ be the $\alpha$-dimensional Hausdorff measure on $A$, where $\alpha\in[0,2]$ and $\text{dim}_{\text{H}}(A)$ is the Hausdorff ...
- 63
4
votes
0
answers
95
views
Counting fractals modulo "shared complements"
Previously asked at MSE:
Let $\mathscr{H}$ be the space of compact nonempty subsets of $\mathbb{R}^2$ (I'm not especially wedded to dimension $2$, so feel free to tweak that if it would lead to a more ...
- 20.7k
1
vote
1
answer
161
views
Is there a two-dimensional unimodal function with fractal level sets
Is there an open simply connected $U\subset\mathbb{R}^2$ and a continuous non-constant function $f: U\to \mathbb{R}$,
such that for all $c\in \mathbb{R}$ both sets
$$ f_{<c}~=~ f^{-1}\left( (-\...
- 1,676
5
votes
0
answers
160
views
Naïve definition of a measure on a fractal
This question was previously posted on MSE.
Let $K\subset \mathbb R^2$ be a compact fractal of Hausdorff dimension $1<d<2$. I want to define a natural measure on $K$.
One option would be to use ...
- 333
6
votes
0
answers
111
views
A generalized Hausdorff dimension in form of a Lower semi continuous function
Let $(X,d)$ be a compact metric space. Assume that $f:X\to \mathbb{R}$ is a positive continuous function. We say that the $f$-dimension of $(X,d)$ is equal to $0$ if for every $\epsilon>0$ ...
- 366
1
vote
1
answer
296
views
Hausdorff dimension of the non-differentiability set of a locally Lipschitz function
Let $f:\mathbb R^n \to \mathbb R$ and $E := \{x \in X : f \text{ not Fréchet differentiable at }x\}$. Then $E$ is Borel measurable. It is well-known that
Theorem If $f$ is convex, then the Hausdorff ...
- 825
2
votes
1
answer
127
views
Hausdorff dimension and non-empty intersections with lines
Let $A\subseteq [0,1]^d$, $d\geq 2$, a set with Hausdorff dimension $\operatorname{dim}_{\mathcal{H}}A=s$. What is the minimum $s$ (if any) which guarantee that $A$ has non-empty intersections with a ...
- 282
6
votes
1
answer
471
views
Does finite Hausdorff dimension imply finite packing dimension?
In other words, does there exist a metric space $(E,\rho)$ with finite Hausdorff dimension but infinite packing dimension?
Here are my thoughts:
I know that it is generally hard to relate Hausdorff ...
- 223
4
votes
2
answers
254
views
Hausdorff dimension of the non-differentiability set a convex function
Let $X \subset \mathbb R^d$ be open, $f : X \to \mathbb R$ and
$$
E := \{x \in X : f \text{ is not Fréchet differentiable at }x\}.
$$
Then we have the following result which is
Theorem: If $X= \...
- 825
1
vote
0
answers
98
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 ...
- 1,565
6
votes
1
answer
574
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 ...
- 1,565
4
votes
1
answer
196
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: ...
- 6,313
5
votes
1
answer
308
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 ...
- 203
1
vote
0
answers
135
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 ...
- 323
2
votes
1
answer
372
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 ...
- 820
2
votes
0
answers
187
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,405
8
votes
1
answer
866
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 ...
- 675
4
votes
1
answer
245
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 ...
- 4,459
7
votes
3
answers
548
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 supremal Hausdorff dimension of the set on which $f$ and $g$ are both ...
- 6,313
4
votes
2
answers
432
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 ...
- 51
4
votes
1
answer
903
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: ...
- 649
5
votes
0
answers
586
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 ...
- 779
4
votes
1
answer
325
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,565
2
votes
0
answers
222
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 ...
- 543
2
votes
1
answer
158
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 ...
- 1,808
2
votes
0
answers
89
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 ...
- 441
3
votes
1
answer
151
views
For $\mathcal{L}^1$-a.e. $t\in\mathbf R$, is $n-1$ the Hausdorff dimension of level sets of a locally Lipschitz function $f:\mathbf R^n\to\mathbf R$?
Let $f:\mathbf R^n\to\mathbf R$ be a locally Lipchitz function. Denote $\mathrm H^n$ the $n$-dimensional Hausdorff measure. We know that for any $\mathrm H^n$-measurable subset $A\subset\mathbf R^n$, ...
2
votes
0
answers
48
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 ...
- 93
4
votes
2
answers
1k
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, ...
- 10.1k