Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
2 answers
210 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 ...
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 ...
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$...
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 ...
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}^...
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 ...
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$,...
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 ...
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 ...
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 ...
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 ...
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 ...
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{...
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 ...
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 ...
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: ...
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 $$ \...
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 ...
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$ ...
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 ...