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