3
$\begingroup$

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. Under which assumptions on $X$ and $p$ is $H^p(\Bbb B(x,r))< + \infty$? Is this always the case even if the Hausdorff dimension of $X$ is infinite?

$\endgroup$
8
$\begingroup$

As a counterexample, let $X$ be an infinite-dimensional normed space. For $\varepsilon<r/2$ it follows from Borsuk-Ulam that you need more than $n$ closed sets of diameter $\varepsilon$ to cover the intersection of the boundary $B(0,r)$ with an $n$-dimensional subspace (because these sets are free of antipodal points). Hence, the Hausdorff measure of $B(0,r)$ (actually already of its boundary) is infinite for every $p\ge0$.

$\endgroup$
3
  • $\begingroup$ Thanks for the answer! Follow up question: are you aware of a general method to define a finite(nontrivial) measure on the Borel sigma algebra of an arbitrary metric space? $\endgroup$ – John D Jun 20 at 11:05
  • 1
    $\begingroup$ @JohnD: If your space is countable, then take counting measure. If it is uncountable and separable, then you can pull back Lebesgue measure via a Polish-space isomorphism to $\mathbb{R}$. If it is inseparable, then that sounds like a hard problem. (Do you consider a nontrivial measure on a separable strict subspace trivial?) $\endgroup$ – Jacob Manaker Jun 21 at 0:37
  • 1
    $\begingroup$ An infinite-dimensional normed space is a famous example where no natural approach is known. In practice, all "usable" measures on such spaces have the property that most sets have infinite measure. If you want to have a ball with a finite measure in such a space, the measure becomes very unnatural (not translation invariant, extremely weighted, most sets have measure 0, etc.). $\endgroup$ – Martin Väth Jun 21 at 17:56

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.