Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
0 answers
76 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$ ...
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$, ...
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 ...
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 ...
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}^...
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 ...
2 votes
1 answer
388 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}^...
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
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: ...
23 votes
3 answers
1k views

Existence of subset with given Hausdorff dimension

Let $A\subseteq \mathbb{R}$ be Lebesgue-measurable and let $0<\alpha<1$ be its Hausdorff dimension. For a given $0<\beta <\alpha$ can we find a subset $B\subset A$ with Hausdorff ...
3 votes
1 answer
230 views

Hausdorff dimension and $W^{1,1}$ functions

What can be said about the Hausdorff dimension of the image of a set by a $W^{1,1}$ map? In other words, what is the relationship between $\mathrm{dim}_H f(A)$ and $\mathrm{dim}_H A$, where $f \in ...
13 votes
1 answer
577 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 $\...
4 votes
0 answers
119 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 ...
1 vote
0 answers
114 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 ...
9 votes
1 answer
637 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 ...
4 votes
1 answer
969 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)...
7 votes
3 answers
679 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 ...
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 ...
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"). ...
6 votes
1 answer
670 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 $\...
6 votes
2 answers
483 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 : \...
3 votes
1 answer
581 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 ...
8 votes
2 answers
388 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 \}$. ...