Questions tagged [hausdorff-measure]

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

Filter by
Sorted by
Tagged with
3 votes
3 answers
236 views

Extending a $C^1$ function on $\mathbb R^n$ to a set of finite $\mathcal H^{n-2}$ measure

Note: Here $\mathcal H^k$ denotes the $k$-dimensional Hausdorff measure. Let $n \geq 2$ be an integer, and $E \subset \mathbb R^n$ be a set of finite $\mathcal H^{n-2}$ measure. Suppose $f: \mathbb R^...
Nate River's user avatar
  • 3,640
1 vote
1 answer
173 views

If $\mathcal{H}^{n-1}(E)=0$ then $\mathbb{R}^n\setminus E$ is connected

Let $E\subset \mathbb{R}^n$ be a (measurable) subset with $\mathcal{H}^{n-1}(E)=0$, where $\mathcal H^{n - 1}$ is the ($n - 1$)-dimensional Hausdorff measure. I want to know if $\mathbb{R}^n\setminus ...
No-one's user avatar
  • 888
1 vote
2 answers
190 views

If $\mathcal{H}^{n-1}(K)=0$ then $\mathcal{H}^n(K\times \mathbb{R})=0$

I am reading a paper Simon and Wickramasekera - A Frequency Function and Singular Set Bounds for Branched Minimal Immersions where the authors seem to claim that if $K\subset\mathbb{R}^n$ is a compact ...
No-one's user avatar
  • 888
1 vote
0 answers
39 views

Existence of an $\alpha$-regular measure with positive measure on a binary digits do not have a limiting frequency

let $$X=\left\{ \sum_{n=1}^{\infty}a_{n}2^{-n}:a_{n}\in\left\{ 0,1\right\} ,\liminf\frac{1}{n}\sum_{i=1}^{n}a_{i}<\limsup\frac{1}{n}\sum_{i=1}^{n}a_{i}\right\} $$ I'm studying fractal geometry and ...
Simple Conjugate's user avatar
3 votes
1 answer
86 views

Surface integration w.r.t Hausdorff measure

I am reading at Evans' book Measure Theory and Fine Properties of Functions, Revised Edition, p. 165 and I can't see how one gets the transition from the first dotted (­čö┤) integral to the second one --...
user43389's user avatar
  • 245
3 votes
0 answers
111 views

Convergence of the perimeter of level sets

I have already posted this question on Math StackExchange. Suppose you have a sequence of $C^1$ functions $\{\phi_n\}_{n\in \mathbb{N}}$ defined on $\mathbb{R}^n$ that converges in $C^{1}_{\mathrm{loc}...
totallyimmersed9's user avatar
0 votes
1 answer
273 views

Finding examples of functions which are infinite or undefined with current extensions of the expected value?

Preliminaries Consider the expectations desribed in this paper, which is an extension of the Lebesgue density theorem; this paper which is an extension of the Hausdorff measure, using Hyperbolic ...
Arbuja's user avatar
  • 1
1 vote
0 answers
52 views

Cardinality of intersections of lines with irregular 1-sets in the plane

From Falconer's book (The geometry of fractal sets), Lemma 3.2 says that the intersection of irregular 1-sets with straight lines is of zero $H^1$ measure. What do we know about the cardinality of ...
ru0xffian's user avatar
0 votes
0 answers
65 views

Using programming to measure the uniformity of measurable subsets of the unit square?

This is a follow up to this post using this answer: Let $S:=[0,1]^2$ be the unit square. "Partition" $S$ naturally into four congruent squares $S_{1,j}$ (with side length $1/2$ each), where ...
Arbuja's user avatar
  • 1
1 vote
0 answers
109 views

Are the extensions of the expected value, below, finite for all functions in only a shy subset of all measurable functions?

This is a follow up to this post, where I wish to verify whether one of the statements (in the post) is true but first let's recap the definitions: Let $(X,d)$ be a metric space. If set $A\subseteq X$,...
Arbuja's user avatar
  • 1
1 vote
0 answers
711 views

Finding a unique and finite expected value for almost all measurable functions?

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,+\infty)$ and $\text{dim}_{\text{H}}(A)$ is the ...
Arbuja's user avatar
  • 1
2 votes
2 answers
750 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 ...
Arbuja's user avatar
  • 1
4 votes
0 answers
144 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 ...
Matheus Manzatto's user avatar
6 votes
2 answers
471 views

Computing a limit on the unit sphere: Riemann Lebesgue?

Let $u\in L^1(\mathbb{S}^{d-1})$. I want to show that \begin{align*} \lim_{|\xi|\to \infty} \int_{\mathbb{S}^{d-1}}(1-\cos(\xi\cdot w))u(w)d \sigma_{d-1}(w) = \int_{\mathbb{S}^{d-1}}u(w)d \sigma_{d-1}(...
Guy Fsone's user avatar
  • 985
0 votes
1 answer
54 views

If $ \mathcal{H}^k(B_1(0)\cap S)\leq A\omega_k $ when $ \mathcal{H}^k(B_r(x)\cap S)\leq A\omega_kr^k $ for all $ 0<r<\delta $, $ x\in\mathbb{R}^n $?

Let $ S\subset\mathbb{R}^n $ is of finite $ k $-dimensional Hausdorff and $ 0<\delta<1 $ is a constant. If for any $ x\in\mathbb{R}^n $ and $ r>0 $, we hae $$ \mathcal{H}^k(S\cap B_r(x))\leq ...
Luis Yanka Annalisc's user avatar
0 votes
0 answers
159 views

Continuous dependence of the (infinite) roots of a polynomial on its coefficients

I'm trying to show the continuous dependence of the roots of a polynomial on its coefficients when the root number can be infinite (e.g., $x-y$). I don't know much about algebraic geometry but after I ...
Kryvtsov's user avatar
1 vote
0 answers
88 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 ...
No One's user avatar
  • 1,543
3 votes
0 answers
167 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 $...
Behnam Esmayli's user avatar
5 votes
1 answer
280 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 ...
Wreck it Ralph's user avatar
5 votes
2 answers
788 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)\...
Bogdan's user avatar
  • 1,226
2 votes
0 answers
62 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}\...
Nirav's user avatar
  • 347
2 votes
0 answers
162 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{...
ABIM's user avatar
  • 5,001
3 votes
1 answer
373 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. ...
John D's user avatar
  • 175
6 votes
1 answer
646 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 ...
Liron Atia's user avatar
5 votes
3 answers
336 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 $\...
Jialong Deng's user avatar
  • 1,699
2 votes
0 answers
131 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 ...
Kacper Kurowski's user avatar
4 votes
2 answers
333 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 ...
matthew's user avatar
  • 51
3 votes
1 answer
604 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: ...
rfloc's user avatar
  • 431
3 votes
1 answer
328 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 ...
Totoro's user avatar
  • 2,515
4 votes
0 answers
565 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 ...
Behnam Esmayli's user avatar
1 vote
1 answer
363 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,\ \...
Bogdan's user avatar
  • 1,226
0 votes
0 answers
182 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,\...
Bogdan's user avatar
  • 1,226
5 votes
1 answer
552 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(...
Jialong Deng's user avatar
  • 1,699
2 votes
1 answer
293 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 ...
mathuser's user avatar
4 votes
0 answers
235 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 ...
Redeldio's user avatar
  • 171
4 votes
0 answers
186 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 ...
Tim Campion's user avatar
  • 58.3k
8 votes
1 answer
449 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 \...
Behnam Esmayli's user avatar
4 votes
1 answer
144 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, ...
mdr's user avatar
  • 527
6 votes
1 answer
282 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 \...
Behnam Esmayli's user avatar
8 votes
1 answer
179 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}^...
Dirk's user avatar
  • 12.2k
2 votes
1 answer
355 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 ...
edelburg's user avatar
5 votes
0 answers
309 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 ...
erz's user avatar
  • 5,273
2 votes
0 answers
168 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 ...
user48633's user avatar
7 votes
1 answer
252 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 ...
Severin Schraven's user avatar
11 votes
1 answer
881 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 $$ \...
Piotr Hajlasz's user avatar
1 vote
0 answers
139 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 ...
HighLiuk's user avatar
7 votes
1 answer
200 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$ ...
Jacob Denson's user avatar
16 votes
0 answers
566 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}...
Piotr Hajlasz's user avatar
4 votes
0 answers
108 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\...
Paul-Benjamin's user avatar
3 votes
0 answers
312 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$...
nullUser's user avatar
  • 270