Skip to main content

All Questions

Filter by
Sorted by
Tagged with
5 votes
1 answer
245 views

Are singular functions dense in the space of Hölder continuous functions?

We say a non-constant function $f$ on $[0, 1]$ is singular if it is continuous, and in addition differentiable almost everywhere with $f' = 0$ a.e. For every positive $\alpha < 1$, is the set of ...
Nate River's user avatar
  • 6,155
2 votes
1 answer
211 views

Macroscopic sets - a notion of largeness for Lebesgue null sets

Let $E$ be a measurable subset of $\mathbb R$. We say $E$ is $\alpha$-macroscopic, for $0 \leq \alpha \leq 1$, if there exists an $\alpha$-Holder continuous function $f: \mathbb R \to \mathbb R$ such ...
Nate River's user avatar
  • 6,155
1 vote
0 answers
60 views

Cardinality of intersections of lines with irregular 1-sets in the plane

From Falconer's book (The geometry of fractal sets), Lemma 3.2 says that the intersection of irregular 1-sets with straight lines is of zero $H^1$ measure. What do we know about the cardinality of ...
ru0xffian's user avatar
6 votes
0 answers
309 views

Have we discovered constructions for natural fractional dimensional spheres?

I have been thinking about a couple different problems in fractal geometry (including I one deleted because it was ill posed) and realize they all depend in a fundamental way on the problem of: Can we ...
Sidharth Ghoshal's user avatar
3 votes
1 answer
400 views

Local dimension of measures

For a Borel prob measure $\mu$ in $\mathbb{R}^n$, define the local dimension of $\mu$ at $x$ by $$ {\rm dim}_*(\mu, x)=\liminf_{r\to 0} \frac{\log \mu(B(x,r))}{\log r}, {\rm dim}^*(\mu, x)=\limsup_{r\...
user119197's user avatar
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}^...
Dirk's user avatar
  • 12.7k
27 votes
1 answer
1k views

How can we not know the $s$-measure of the Sierpiński triangle?

I'm preparing a presentation that would enable high-school level students to grasp that the (self-similarity) dimension of an object needs not be an integer. The first example we look at is the ...
Rami Luisto's user avatar
7 votes
1 answer
233 views

Hausdorff dimension and sigma finiteness

If a function $ f : \mathbf{R} \to \mathbf{R} $ is $\mathscr{C}^{0,\alpha}$ for every $ 0 < \alpha < 1 $ then its graph has Hausdorff dimension $1$. I would like to see an example of such a ...
Longyearbyen's user avatar
2 votes
0 answers
108 views

Quantitative estimates on space filling curves

To my understanding, quantitative topology/geometry makes statements quantitative. Examples: 1. a quantitative version of Invariance of Dimension is waist inequality. 2. Lusternik-Fet says a closed ...
random_shape's user avatar
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
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+\...
user avatar
13 votes
2 answers
964 views

What is the Hausdorff dimension of this fractal?

Let $\sum_{i=h}^\infty d_i/b^i $ be the base $b$ representation of $x \geq 0,$ where $b>1$ and the $d_i$ are uniquely determined by the greedy algorithm. For fixed $c>1,$ let $f(x)= \sum_{i=h}^\...
Clark Kimberling's user avatar
4 votes
1 answer
212 views

Subsets of sets of positive Hausdorff dimension with controlled upper Minkowski dimension

Call a Borel set $A \subseteq [0,1]$ good if $$0 < \dim(A) \leq \overline{\dim_\text{M}}(A) < 2 \dim(A),$$ where $\dim(A)$ is the Hausdorff dimension of $A$ and $\overline{\dim_\text{M}}(A)$ is ...
Dan Glasscock's user avatar
7 votes
1 answer
953 views

Precise density estimates for Cantor sets

Let $C_\lambda$ be the classical Cantor set associated to a real number $0<\lambda<\frac{1}{2}$, as defined for example in the book of K. J. Falconer The geometry of fractal sets. I recall ...
Paul-Benjamin's user avatar
5 votes
1 answer
305 views

boundary density of the Von Koch flake

Given a measurable set $K\subset \mathbb{R}^d$ we consider the occupation ratio $$f_r(x)=vol(K\cap B(x,r))/r^d$$ and especially the asymptotics when $r\to 0$. When $K$ has a fractal boundary and $x$ ...
kaleidoscop's user avatar
  • 1,352
9 votes
3 answers
934 views

local behavior of a finite Borel measure

Let $\mu$ be a finite Borel measure on $\mathbb{R}^n$. I am interested in how does $\mu(B(x,r))$ behave, where $B(x,r)$ is the open ball of radius $r$ centered at $x$. For instance, as far as I recall,...
gondolier's user avatar
  • 1,839