Questions tagged [hausdorff-measure]

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

Filter by
Sorted by
Tagged with
4
votes
0answers
153 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
0answers
47 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\...
2
votes
1answer
190 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
1answer
99 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
1answer
167 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
0answers
81 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{...
1
vote
1answer
124 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
0answers
156 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
0answers
37 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
1answer
201 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 ...
9
votes
1answer
484 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 sapces and $A\subset X$, $0\leq m\leq n$, then $$ ...
1
vote
0answers
130 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 ...
8
votes
1answer
152 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$ ...
14
votes
0answers
373 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
0answers
81 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\...
2
votes
0answers
181 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
1answer
114 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
1answer
430 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 ...
10
votes
2answers
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 ...
6
votes
1answer
310 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
2answers
158 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
1answer
539 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
2answers
885 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
1answer
373 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$ ...