Questions tagged [hausdorff-measure]

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

Filter by
Sorted by
Tagged with
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 ...
user avatar
  • 1,441
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 ...
user avatar
  • 302
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 $...
user avatar
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 ...
user avatar
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)\...
user avatar
  • 892
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}\...
user avatar
  • 347
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{...
user avatar
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. ...
user avatar
  • 173
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 ...
user avatar
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 $\...
user avatar
  • 1,639
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 ...
user avatar
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 ...
user avatar
  • 51
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: ...
user avatar
  • 203
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 ...
user avatar
  • 2,465
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 ...
user avatar
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,\ \...
user avatar
  • 892
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,\...
user avatar
  • 892
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(...
user avatar
  • 1,639
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 ...
user avatar
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 ...
user avatar
  • 157
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 ...
user avatar
  • 49.2k
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\...
user avatar
  • 31
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 \...
user avatar
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, ...
user avatar
  • 507
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 \...
user avatar
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}^...
user avatar
  • 11.6k
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 ...
user avatar
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 ...
user avatar
  • 4,875
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 ...
user avatar
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 ...
user avatar
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 $$ \...
user avatar
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 ...
user avatar
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$ ...
user avatar
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}...
user avatar
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\...
user avatar
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$...
user avatar
  • 220
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 ...
user avatar
  • 55
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 ...
user avatar
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 ...
user avatar
  • 13.2k
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 ...
user avatar
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 ...
user avatar
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 &...
user avatar
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 ...
user avatar
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$ ...
user avatar
  • 1,861
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$ ...
user avatar
  • 1,269