Intermediate value property for the Assouad dimension of measures (Q2210627)

Let \(X\) be a metric space. For \(x\in X\) and \(r>0\) let \(B(x,r)\) denote the closed \(r\)-ball with center \(x\). For \(x\in X\) and \(0<r<R\) let \(N(x,R,r)\) denote the minimal number of closed \(r\)-balls which cover \(B(x,R)\). The Assouad dimension of \(X\) is \(\operatorname{dim}_AX=\inf\bigl\{a\ge0:\exists C>0\) \(\forall x\in X\) \(\forall r>0\) \(\forall R>r\) \(N(x,R,r)\le C\bigl(\frac Rr\bigr)^a\bigr\}\). If \(\mu\) is a Borel regular outer measure on \(X\), the Assouad dimension of \(\mu\) is \(\operatorname{dim}_A\mu=\inf\bigl\{a\ge0: \exists C>0\) \(\forall x\in X\) \(\forall r>0\) \(\forall R>r\) \(\frac{\mu(B(x,R))}{\mu(B(x,r))}\le C\bigl(\frac Rr\bigr)^a\bigr\}\). Recently, \textit{K. E. Hare} et al. [Proc. Am. Math. Soc. 148, No. 9, 3881--3895 (2020; Zbl 1443.28004)] have shown that if \(X\) is a compact set of reals with \(0<\operatorname{dim}_AX<\infty\), then for every real \(s>\operatorname{dim}_AX\), \(X\) supports a measure with Assouad dimension \(s\). In the paper under review the author proves this theorem for all complete metric spaces \(X\).