Assouad dimension

In

The Assouad dimension of ${\displaystyle X,d_{A}(X)}$, is the infimum of all ${\displaystyle s}$ such that ${\displaystyle (X,\varsigma )}$ is ${\displaystyle (M,s)}$-homogeneous for some ${\displaystyle M\geq 1}$.[3]

Let ${\displaystyle (X,d)}$ be a metric space, and let E be a non-empty subset of X. For r > 0, let ${\displaystyle N_{r}(E)}$ denote the least number of metric

${\displaystyle \alpha \geq 0}$

${\displaystyle \rho }$

$${\displaystyle 0<r<R\leq \rho ,}$$

$${\displaystyle \sup _{x\in E}N_{r}(B_{R}(x)\cap E)\leq C\left({\frac {R}{r}}\right)^{\alpha }.}$$

The intuition underlying this definition is that, for a set E with "ordinary" integer dimension n, the number of small balls of radius r needed to cover the intersection of a larger ball of radius R with E will scale like (R/r)ⁿ.

Relationships to other notions of dimension

• The Assouad dimension of a metric space is always greater than or equal to its Assouad–Nagata dimension.^[4]
• The Assouad dimension of a metric space is always greater than or equal to its
  upper box dimension, which in turn is greater than or equal to the Hausdorff dimension.^[5]
• The Lebesgue covering dimension of a metrizable space X is the minimal Assouad dimension of any metric on X. In particular, for every metrizable space there is a metric for which the Assouad dimension is equal to the Lebesgue covering dimension.^[5]

References