# Questions tagged [hausdorff-measure]

Questions about Hausdorff measures, their variants (such as spherical Hausdorff measures) and generalisations.

45
questions

1
vote

0
answers

69
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 ...

9
votes

0
answers

410
views

### Measure theoretic boundary in arbitrary codimension

NOTE: I had initially posted here the same question you can find on math.stackexchange at Boundary in the sense of currents VS measure theoretic boundary in arbitrary codimension. Later, I decided to ...

3
votes

0
answers

85
views

### Hausdorff measure of the unit ball of a norm on $\mathbb{R}^n$ is a universal constant

In [1], Kirchheim proved the area formula for Lipschitz maps $f\colon \mathbb{R}^n\to X$ where $X$ is an arbitrary metric space, using the notion of metric differentiability. The metric derivative of $...

5
votes

1
answer

231
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 ...

4
votes

2
answers

489
views

### Continuity of Hausdorff measure on level sets

Let $\Omega\subset\mathbb{R}^2$ a open and bounded set with smooth boundary and $\phi:\Omega\to\mathbb{R}$ a smooth function such that:
$\bullet$ $\phi^{-1}(0)\neq\emptyset$;
$\bullet$ $\nabla\phi(x)\...

2
votes

0
answers

61
views

### A counterexample to regular boundary points for minimizers of variational integrals under subquadratic growth

Let $\Omega\subset\mathbb{R}^n$ for some $n\geq 3$ be an open bounded set with at least Lipschitz boundary. Let $p\in (1, 2), N>1$ and $f: \overline{\Omega} \times\mathbb{R}^N\times\mathbb{R}^{Nn}\...

2
votes

0
answers

107
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{...

3
votes

1
answer

251
views

### Finiteness of Hausdorff measure of balls

Let $(X,d)$ be an arbitrary metric space and let $\Bbb B(x,r)$ denote the closed ball with center $x \in X$ and radius $r>0$. For $p\geq 0$, let $H^p$ denote the $p$- dimensional Hausdorff measure. ...

5
votes

1
answer

394
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 ...

5
votes

3
answers

300
views

### Recovering the length metric from Hausdorff measure

The metric cannot be recovered from its Hausdorff measure in general. Now, assume that $(X,d_X)$ and $(Y, d_Y)$ are connected compact length spaces and induce $n$-dimensional Hausdorff measures $\...

2
votes

0
answers

116
views

### Green's identity with a different norm

Let $\Omega \subset \mathbb{R}^n$ be a domain with a smooth boundary $\Gamma$. Suppose that $f, g \colon \mathbb{R}^n \to \mathbb{R}$ are of class $C^\infty( \overline{\Omega})$. Then Green's first ...

4
votes

2
answers

250
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 ...

3
votes

1
answer

269
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: ...

3
votes

1
answer

198
views

### Average of the sum of dirac measures

Let $(M^n,g)$ be a closed smooth Riemannian manifold. Consider a set $\mathcal B_{\epsilon}$ which consists of a maximal number of points in $M$ with pairwise distance no smaller than $\epsilon$.
We ...

4
votes

0
answers

248
views

### Equality of Hausdorff measure and Lebesgue measure on manifolds (reference)

Let $\mathcal{M} \subset \mathbb{R}^N$ be an $n$-dimensional $C^1$ submanifold (connected). We have two metric functions on $\mathcal{M}$:
The Euclidean distance inherited from $\mathbb{R}^N$.
The ...

1
vote

1
answer

258
views

### Why is the Hausdorff measure of this set zero?

Let $\Omega\subseteq\mathbb{R}^N$ be an open and bounded set, and let $\phi:\Omega\to\mathbb{R}^N$ be a $C^1$ function with the property that $\phi^{-1}(0)\neq\emptyset$, and $\nabla\phi(x)\neq 0,\ \...

0
votes

0
answers

111
views

### Signed distance function

Let $\Omega\subseteq\mathbb{R}^N$ be an open and bounded set with uniform Lipschitz boundary. Consider the signed distance function:
$d:\mathbb{R}^N\to\mathbb{R},\ d(x)=\begin{cases} \mathrm{dist}(x,\...

5
votes

1
answer

299
views

### The product of two Hausdorff measures

Let $(X,d_X)$ and $(Y,d_Y)$ be two compact metric space with Hausdorff dimensions $\dim_H(X)=n$ and $\dim_H(Y)=m$ and Hausdorff measures $\mathcal{H}^{n}$ and $\mathcal{H}^{m}$.
Assume that $\dim_H(...

1
vote

1
answer

207
views

### Finding the dimension of the intersection of two real algebraic varieties

Suppose we have two polynomials $p, q \in \mathbb{R}^3$ and we are interested in their simultaneous zeros. Parameter counting tells us that the zero set most probably is going to be a one dimensional ...

4
votes

0
answers

150
views

### Continuity of the Lebesgue measure w.r.t the Hausdorff metric

I have a question linked to Interplay of Hausdorff metric and Lebesgue measure. Let us denote as $\mathcal K(\mathbb R^n)$ the space of compact subsets of $\mathbb R^n$ endowed with the Hausdorff ...

4
votes

0
answers

166
views

### Classification of Euclidean-invariant measures?

Is there a classification of measures on $\mathbb R^n$ which are invariant under (Euclidean) isometries? Hausdorff measures of all kinds are examples -- could that be all of them? More precisely,
By ...

1
vote

0
answers

86
views

### Continuity haussdorff measure w.r.t level set and coarea formula

Let $M$ be a smooth compact riemannian manifold of dimension $n$ without boundary, and $A$ a measurable subset of $M$. Let $f:M\mapsto\mathbb{R}$ be a $C^1$ function and $\varphi:\mathbb{R}\mapsto\...

6
votes

1
answer

369
views

### Bounding an "integral" from below by the Hausdorff measure of the domain

Let $(X,d)$ be an arbitrary metric space and $E \subset X$ also arbitrary. Fix $s \in (0,\infty)$.
Is it true that for any $ \delta > 0 $ and any collection of pairs $\{(A_i,a_i)\}_{i \in \...

4
votes

1
answer

133
views

### Can passing to a length metric increase Hausdorff measure?

For concreteness, let's say that $(X,d)$ is a metric space homeomorphic to $\mathbb{R}^2$ whose Hausdorff 2-measure $\mathcal{H}_d^2$ is locally finite.
We can pass from $(X,d)$ to the length metric, ...

6
votes

1
answer

227
views

### Is Hausdorff Measure equal to Hausdorff Content on rectifiable (metric) spaces?

Let $(X,d)$ be an $\mathcal{H}^n$-rectifiable metric space, i.e. there exits a collection of Lipschitz maps from measurable subsets of $\mathbb{R}^n$ to $X$ such that $ \mathcal{H}^n(X \backslash \...

5
votes

0
answers

99
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

1
answer

294
views

### Gromov-Hausdorff distance between weighted tree graphs

I would like to measure the similarity between a pair of weighted tree graphs. According to this post, this can be done by regarding the trees as metric spaces and then applying the Gromov-Hausdorff ...

5
votes

0
answers

246
views

### How to calculate the volume of a parallelepiped in a normed space?

Let $E$ be a real normed space, and let $v_1,...,v_n\in E$ be linearly independent. The parallelepiped defined by these vectors is $P=\{\sum_{i=1}^{n}\alpha_i v_i|~0\le\alpha_i\le 1\}$. Since $E$ is a ...

2
votes

0
answers

101
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

227
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
...

11
votes

1
answer

730
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 $$
\...

1
vote

0
answers

133
views

### How to show that this function is continuous (Geometric Measure Theory)

I want to prove that the function $F: \mathbb{R}_+ \to \mathbb{R}$ defined by
$$F(t)=\int_{\{d=t\}} g \, d\mathcal{H}^{n-1}$$
is continuous if $g:\Omega \subset \mathbb{R}^n\to \mathbb{R}$ is ...

7
votes

1
answer

178
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$ ...

16
votes

0
answers

482
views

### Isoperimetric inequality and geometric measure theory

The following version of the isoperimetric inequality can be easily deduced from the Brunn-Minkowski inequality:
Theorem. If $K\subset\mathbb{R}^n$ is compact, then $$ |K|^{\frac{n-1}{n}}\leq n^{-1}...

3
votes

0
answers

97
views

### Converse on the rectifiability of products of rectifiable sets

Let $1\leq k\leq m$ and $1\leq l\leq n$ fixed integers, $\mathscr{H}^k$ the $k$ dimensional Hausdorff measure and $E\subset \mathbb{R}^m$. We say that :
(1) $E$ is $k$ rectifiable if there exists $C\...

3
votes

0
answers

246
views

### When is Hausdorff measure locally finite?

Let $(X,d)$ be a metric space and let $H^\alpha$ denote the $\alpha$-dimensional Hausdorff Borel measure on $X$, where $\alpha$ is the Hausdorff dimension of $X$. Are there any simple conditions on $X$...

3
votes

1
answer

119
views

### volume of region between two manifolds

The question is motivated by a simple example: the area of a ring is $\pi(R^2-r^2)$, where $R$ and $r$ are the radii of the outer and inner circles respectively. Let $C$ be the 'middle circle' with ...

5
votes

1
answer

556
views

### Hausdorff approximating measures and Borel sets

Suppose $ 1 \leq m \leq n $ are integers and for each $ 0 < \delta < \infty $ let $\mathscr{H}^{m}_{\delta} $ be the size $ \delta $ approximating measure of the $ m $ dimensional Hausdorff ...

11
votes

2
answers

2k
views

### Radon-Nikodym theorem for non-sigma finite measures

Let $(X,\mathcal M, \mu)$ be a measured space where $\mu$ is a positive measure.
Let $\lambda$ be a complex measure on $(X,\mathcal M)$. When $\mu$ is sigma-finite, the Radon-Nikodym theorem provides ...

7
votes

1
answer

649
views

### Generalization of area and coarea formula for fractional Hausdorff measures

Let $X,Y$ be Polish spaces, $s,t>0$ and $F:X\to Y$ locally Lipschitz continuous such that $X$ is $\sigma$-finite w.r.t. the $(s+t)$-dimensional Hausdorff measure $\mathcal{H}^{s+t}$.
The Eilenberg ...

6
votes

2
answers

185
views

### Subsets $X$ such that their Hausdorff outer measure is not finite

Let $H^d:\mathcal{P}(\mathbf{R}^n) \to \mathbf{R}\cup \{\infty\}$ be the $d$-dimensional Hausdorff outer measure on $\mathbf{R}^n$, for some $0<d<n$ with $n$ integer, which is constructed in the ...

2
votes

1
answer

575
views

### Results for Hausdorff Measure after Linear Transformation

For the Sierpinski Triangle, $S$, the $d$ dimensional Hausdorff measure is given by, $H^{d}(S)$. If a linear transformation, $W$ is applied to $S$, with
$$W(x,y)=\begin{bmatrix} 1/2 & 0 \\ 0 &...

11
votes

2
answers

1k
views

### Are there any exact results for Hausdorff Measure?

The computation of the Hausdorff measure is extremely difficult due to the infimum appearing in its definition. This has made the calculation of the Hausdorff measure for nearly all fractals difficult ...

0
votes

1
answer

442
views

### One-dimensional Hausdorff measure of preimages

Let $\Omega$ be an open subset of $\mathbf{R}^n$. For a mapping $f: \Omega\to \bf{R}^n$, what kind of condition ensures that the one-dimensional Hausdorff measure of $f^{-1}(E)$ is zero whenever $E$ ...

16
votes

1
answer

2k
views

### Hausdorff measure and the volume form

There are two tools, generalizing a concept of a volume to the case of submanifolds in $\mathbb{R}^n$, namely the Hausdorff measure $H^k$ and the volume form. The question is how to show that if $M$ ...