Skip to main content
added 422 characters in body
Source Link
Piotr Hajlasz
  • 28k
  • 5
  • 85
  • 184

Let ${\rm dim}_H X$ and ${\rm dim}_d X$ denote the Hausdorff and the doubling dimension respectively. It is easy so see that ${\rm dim}_H X\leq {\rm dim}_d X$. Indeed, if ${\rm dim}_d X=s$, then we can cover a ball of radius $r$ by at most $2^{s}$ balls of radius $r/2.$ Therefore we can cover a ball of radius $1$ by $2^{ks}$ balls of radius $2^{-k}$ so we can estimate the Hausdorff measure $H^s(B(x,1))\leq C 2^{ks}2^{-ks}= C<\infty$ and hence ${\rm dim}_H X\leq s={\rm dim}_d X$. On the other hand by Theorem 8.14 in [1][1] (the proof is very short) we have that the Hausdorff dimension is greater than equal to the topological dimension so finally we get $$ \text{dim }X = \text{Ind }X = \text{ind }X\leq \text{dim}_H X\leq \text{dim}_d X. $$ As pointed by Igor Rivin the Hausdorff dimension of a rapidly branching tree can be arbitrarily large.

[1][1] J. Heinonen, Lectures on analysis on metric spaces.Lectures on analysis on metric spaces. Universitext. Springer-Verlag, New York, 2001. MathSciNet review.

Let ${\rm dim}_H X$ and ${\rm dim}_d X$ denote the Hausdorff and the doubling dimension respectively. It is easy so see that ${\rm dim}_H X\leq {\rm dim}_d X$. Indeed, if ${\rm dim}_d X=s$, then we can cover a ball of radius $r$ by at most $2^{s}$ balls of radius $r/2.$ Therefore we can cover a ball of radius $1$ by $2^{ks}$ balls of radius $2^{-k}$ so we can estimate the Hausdorff measure $H^s(B(x,1))\leq C 2^{ks}2^{-ks}= C<\infty$ and hence ${\rm dim}_H X\leq s={\rm dim}_d X$. On the other hand by Theorem 8.14 in [1] (the proof is very short) we have that the Hausdorff dimension is greater than equal to the topological dimension so finally we get $$ \text{dim }X = \text{Ind }X = \text{ind }X\leq \text{dim}_H X\leq \text{dim}_d X. $$ As pointed by Igor Rivin the Hausdorff dimension of a rapidly branching tree can be arbitrarily large.

[1] J. Heinonen, Lectures on analysis on metric spaces. Universitext. Springer-Verlag, New York, 2001.

Let ${\rm dim}_H X$ and ${\rm dim}_d X$ denote the Hausdorff and the doubling dimension respectively. It is easy so see that ${\rm dim}_H X\leq {\rm dim}_d X$. Indeed, if ${\rm dim}_d X=s$, then we can cover a ball of radius $r$ by at most $2^{s}$ balls of radius $r/2.$ Therefore we can cover a ball of radius $1$ by $2^{ks}$ balls of radius $2^{-k}$ so we can estimate the Hausdorff measure $H^s(B(x,1))\leq C 2^{ks}2^{-ks}= C<\infty$ and hence ${\rm dim}_H X\leq s={\rm dim}_d X$. On the other hand by Theorem 8.14 in [1] (the proof is very short) we have that the Hausdorff dimension is greater than equal to the topological dimension so finally we get $$ \text{dim }X = \text{Ind }X = \text{ind }X\leq \text{dim}_H X\leq \text{dim}_d X. $$ As pointed by Igor Rivin the Hausdorff dimension of a rapidly branching tree can be arbitrarily large.

[1] J. Heinonen, Lectures on analysis on metric spaces. Universitext. Springer-Verlag, New York, 2001. MathSciNet review.

Source Link
Piotr Hajlasz
  • 28k
  • 5
  • 85
  • 184

Let ${\rm dim}_H X$ and ${\rm dim}_d X$ denote the Hausdorff and the doubling dimension respectively. It is easy so see that ${\rm dim}_H X\leq {\rm dim}_d X$. Indeed, if ${\rm dim}_d X=s$, then we can cover a ball of radius $r$ by at most $2^{s}$ balls of radius $r/2.$ Therefore we can cover a ball of radius $1$ by $2^{ks}$ balls of radius $2^{-k}$ so we can estimate the Hausdorff measure $H^s(B(x,1))\leq C 2^{ks}2^{-ks}= C<\infty$ and hence ${\rm dim}_H X\leq s={\rm dim}_d X$. On the other hand by Theorem 8.14 in [1] (the proof is very short) we have that the Hausdorff dimension is greater than equal to the topological dimension so finally we get $$ \text{dim }X = \text{Ind }X = \text{ind }X\leq \text{dim}_H X\leq \text{dim}_d X. $$ As pointed by Igor Rivin the Hausdorff dimension of a rapidly branching tree can be arbitrarily large.

[1] J. Heinonen, Lectures on analysis on metric spaces. Universitext. Springer-Verlag, New York, 2001.