Skip to main content
2 of 2
added 1 character in body
Paolo Leonetti
  • 1.5k
  • 1
  • 11
  • 20

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 following way:

For each $\delta>0$ and $X \subseteq \mathbf{R}^n$, define $$ H_\delta^d(X)=\inf\left\{\sum_{n=1}^\infty \left(\mathrm{diam}\,S_n\right)^d: \bigcup_{n=1}^\infty S_n \supseteq X, \mathrm{diam}\,S_n< \delta \right\}, $$ where $\mathrm{diam}\,S_n$ stands for the diameter of $S_n$. Then, $H^d$ is defined by $$ X\mapsto \lim_{\delta\to 0^+} H_\delta^d(X). $$

(The limit is meaningful because the function $\delta\mapsto H_\delta^d(X)$ is nonincreasing; moreover, it is well known that $H^d(X) \le H^d(Y)$ whenever $X\subseteq Y$.)

Question: Let $X\subseteq \mathbf{R}^n$ such that $H^d(X)=\infty$ and fix a constant $c$. Does there exist a subset $Y\subseteq X$ such that $$ H^d(Y) \in [c,\infty[\,\,\,? $$

Paolo Leonetti
  • 1.5k
  • 1
  • 11
  • 20