## 1 Introduction

### 1.1 Background

In Diophantine Approximation, Dynamical Systems, and Probability Theory, many sets of interest can be characterised as $$\limsup$$ sets. Recall that, given a countable collection of sets $$(E_j)_{j \in \mathbb {N}},$$ we define the corresponding $$\limsup$$ set to be

\begin{aligned} \limsup _{j \rightarrow \infty }{E_j}&:=\bigcap _{j=1}^{\infty }\bigcup _{n=j}^{\infty }E_j\\&=\big \{x:x\in E_j \text { for infinitely many }j\in \mathbb {N}\big \}. \end{aligned}

Often we are interested in determining the metric properties of $$\limsup _{j \rightarrow \infty } E_j.$$ When the sequence $$(E_j)_{j \in \mathbb {N}}$$ is a collection of balls, a powerful tool in determining the metric properties of $$\limsup _{j \rightarrow \infty } E_j$$ is the Mass Transference Principle [5], which allows us to infer Hausdorff measure statements from seemingly less general Lebesgue measure statements.

Given a ball $$B:=B(x,r)$$ in $$\mathbb {R}^n$$ and a dimension function $$f:\mathbb {R}^+ \rightarrow \mathbb {R}^+$$ (see Sect. 3 for definitions), define another corresponding ball $$B^f:=B(x,f(r)^{\frac{1}{n}})$$. Throughout, $$\mathbb {R}^+:=[0,\infty )$$. When $$f(r)=r^s$$ for some real number $$s > 0$$, we write $$B^s$$ in place of $$B^f$$. In particular, $$B^n = B$$ for $$n \in \mathbb {N}$$. The following was established by Beresnevich and Velani in [5].

### Mass Transference Principle

Let $$(B_j)_{j\in \mathbb {N}}$$ be a sequence of balls in $$\mathbb {R}^n$$ with $$r(B_j)\rightarrow 0$$ as $$j\rightarrow \infty$$. Let f be a dimension function such that $$x^{-n}f(x)$$ is monotonic and suppose that, for any ball B in $$\mathbb {R}^n$$,

\begin{aligned} \mathcal {H}^n\big (B\cap \limsup _{j\rightarrow \infty }B^f_j{}\,\big )=\mathcal {H}^n(B). \end{aligned}

Then, for any ball B in $$\mathbb {R}^n$$,

\begin{aligned} \mathcal {H}^f\big (B\cap \limsup _{j\rightarrow \infty }B^n_j\,\big )=\mathcal {H}^f(B). \end{aligned}

Here, $$\mathcal {H}^f(F)$$ denotes the Hausdorff f-measure of a set $$F \subset \mathbb {R}^n$$. More generally, we will also use the notation $$\mathcal {H}^f(F)$$ to denote the Hausdorff f-measure of a set $$F \subset X$$ where $$X=(X,d)$$ is a locally compact metric space. For $$s \ge 0$$, $$\mathcal {H}^s(F)$$ denotes the standard Hausdorff s-measure of F. These notions will be formally introduced in Sect. 3. It is worth noting at this point though that if F is a Borel subset of $$\mathbb {R}^n$$, then $$\mathcal {H}^n(F)$$ is a constant multiple times the n-dimensional Lebesgue measure of F (see [9] for further details). Thus, as discussed previously, the Mass Transference Principle genuinely does enable us to transfer Lebesgue measure statements to Hausdorff measure ones.

A generalisation of the Mass Transference Principle, which is applicable to $$\limsup$$ sets of balls in locally compact metric spaces and not restricted to $$\limsup$$ sets in $$\mathbb {R}^n$$, was also given by Beresnevich and Velani [5]. Furthermore, this generalisation allows for the transference of Hausdorff g-measure (not just Lebesgue measure) statements to Hausdorff f-measure statements, where g and f are dimension functions subject to some mild conditions. Before stating this result formally, we require some preliminaries.

We say that a function $$f: \mathbb {R}^+ \rightarrow \mathbb {R}^+$$ is doubling if there exists a constant $$\lambda >1$$ such that

\begin{aligned} f(2x)<\lambda f(x) \end{aligned}
(1)

for all $$x>0$$.

Let (Xd) be a locally compact metric space and let g be a doubling dimension function. Moreover, suppose that there exist constants $$0<c_1<1<c_2<\infty$$ and $$r_0>0$$ such that

\begin{aligned} c_1 g(r)\le \mathcal {H}^g(B(x,r))\le c_2 g(r) \end{aligned}
(2)

for all $$x\in X$$ and $$0<r<r_0$$. Given another dimension function f and a ball $$B:=B(x,r)$$ in X we define

\begin{aligned} B^{f,g}:=B(x,g^{-1}(f(r))). \end{aligned}

The following theorem was established in [5].

### Theorem MTP*

Let (Xd) and g be as above and let $$(B_j)_{j \in \mathbb {N}}$$ be a sequence of balls in X with $$r(B_j)\rightarrow 0$$ as $$j\rightarrow \infty$$. Let f be a dimension function such that f / g is monotonic and suppose that for any ball B in X we have

\begin{aligned} \mathcal {H}^g(B\cap \limsup _{j \rightarrow \infty } B_j^{f,g})=\mathcal {H}^g(B). \end{aligned}

Then, for any ball B in X,

\begin{aligned} \mathcal {H}^f(B\cap \limsup _{j \rightarrow \infty } B_j)=\mathcal {H}^f(B). \end{aligned}

Compared with the Mass Transference Principle, this general theorem applies to $$\limsup$$ sets of balls in more general metric spaces and deals with a larger class of (Hausdorff) measures. As an example, Theorem MTP* is applicable when X is, say, the middle-third Cantor set. In this case, Theorem MTP* has been utilised in [18] to solve a problem posed by Mahler regarding the existence of very well approximable points in the middle-third Cantor set.

The Mass Transference Principle was originally motivated by a desire to establish a Hausdorff measure analogue of the famous Duffin–Schaeffer Conjecture in Metric Number Theory. Since their initial announcement, the Mass Transference Principle and Theorem MTP* have been shown to have applications in many distinct areas of mathematics. In particular, the fields of Number Theory, Dynamical Systems, and Fractal Geometry have all benefited significantly from these results. For further applications of the Mass Transference Principle and Theorem MTP* see [2, 4, 5, 16, 24].

In the Euclidean setting, Beresnevich and Velani extended the Mass Transference Principle in another direction to allow for the transference of Lebesgue measure statements to Hausdorff measure statements for $$\limsup$$ sets defined via neighbourhoods of “approximating planes” [6]. The result they obtained in this case, [6, Theorem 4.1], was subject to extra technical conditions arising from their particular proof strategy. Recently, the first author and Beresnevich have removed these additional constraints in [1], thus unlocking a number of previously inaccessible applications in Diophantine Approximation. We include here a statement of [1, Theorem 1] to enable ease of comparison of this mass transference principle for planes with the statement of the main result of the present article, namely Theorem 1 below.

Let $$n, m \ge 1$$ and $$l \ge 0$$ be integers such that $$n = m + l$$. Let $$\mathcal {R}:= (R_j)_{j \in \mathbb {N}}$$ be a family of l-dimensional planes in $$\mathbb {R}^n$$. For every $$j \in \mathbb {N}$$ and $$\delta \ge 0$$, define

\begin{aligned} \Delta (R_j,\delta ) := \{\mathbf {x} \in \mathbb {R}^n : {\text {dist}}(\mathbf {x},R_j)<\delta \}, \end{aligned}

where $${\text {dist}}({\mathbf {x}},R_j)=\inf \{\Vert {\mathbf {x}}-{\mathbf {y}}\Vert :{\mathbf {y}}\in R_j\}$$ and $$\Vert \cdot \Vert$$ is any fixed norm on $$\mathbb {R}^n$$.

Let $$\Upsilon := (\Upsilon _j)_{j \in \mathbb {N}}$$ be a sequence of non-negative reals such that $$\Upsilon _j \rightarrow 0$$ as $$j \rightarrow \infty$$. Consider

\begin{aligned} \Lambda (\Upsilon ) := \{\mathbf {x} \in \mathbb {R}^n : \mathbf {x} \in \Delta (R_j, \Upsilon _j) \text { for infinitely many } j \in \mathbb {N}\}. \end{aligned}

The following is shown in [1].

### Theorem AB

Let $$\mathcal {R}$$ and $$\Upsilon$$ be as given above. Let f and $$g : r \rightarrow g(r) := r^{-l}f(r)$$ be dimension functions such that $$r^{-n}f(r)$$ is monotonic and let $$\Omega$$ be a ball in $$\mathbb {R}^n$$. Suppose that, for any ball B in $$\Omega$$,

\begin{aligned} \mathcal {H}^n\left( B \cap \Lambda \left( g(\Upsilon )^{\frac{1}{m}}\right) \right) = \mathcal {H}^n(B). \end{aligned}

Then, for any ball B in $$\Omega$$,

\begin{aligned} \mathcal {H}^f(B \cap \Lambda (\Upsilon )) = \mathcal {H}^f(B). \end{aligned}

While we will be concerned here with generalising the aforementioned variations of the Mass Transference Principle, we remark here, for completeness, that progress has also been made towards mass transference principles in some other settings. For example, progress towards proving a mass transference principle for rectangles in the Euclidean setting has been made by Wang, Wu and Xu in [25] and an implicit multifractal mass transference principle is given by Fan, Schmeling and Troubetzkoy in [10].

In this paper, we extend the results of [1, 5, 6] by proving a general version of the Mass Transference Principle which applies to $$\limsup$$ sets in a locally compact metric space which are defined in terms of neighbourhoods of sets satisfying a certain local scaling property (see Sect. 1.2). Our main result, Theorem 1, extends the known Mass Transference Principles of [1, 5, 6] in several manners. First of all, while it incorporates mass transference principles for balls and planes, Theorem 1 is also applicable to more exotic sets. For example, we are able to consider $$\limsup$$ sets generated by sequences of neighbourhoods of smooth compact manifolds or self-similar fractals satisfying the open set condition. Furthermore, unlike in previously known variants of the Mass Transference Principle, as long as the local scaling property is satisfied, the sets generating the $$\limsup$$ sets in Theorem 1 need not all be of the same type (e.g. all balls or all planes). Secondly, we deal with $$\limsup$$ sets in a locally compact metric space (Xd) and are not confined to the Euclidean setting. Finally, the result we derive allows us to transfer Hausdorff g-measure statements to Hausdorff f-measure statements, where f and g are dimension functions subject to some mild conditions.

Compared with its predecessors, the greater generality of Theorem 1 opens up a number of new possible applications to explore. We include one such application in Sect. 6 where we use Theorem 1 to deduce Hausdorff measure and dimension results for a family of random $$\limsup$$ sets. Within Diophantine Approximation, it is reasonable to expect that Theorem 1 will enable the establishment of further Hausdorff measure statements relating to approximation on manifolds (see [3, 4] and the references therein for more on this problem). Within Dynamical Systems, it is also reasonable to expect that Theorem 1 will allow one to study a wider class of shrinking target problems, in particular when our target is allowed to have a more exotic structure (see [21, 23, 24] and the references therein for more on this problem). We hope to return to these topics in a later work.

### 1.2 The main result

Let (Xd) be a locally compact metric space and let g be a doubling dimension function satisfying (2). Given $$F\subset X$$ and $$\delta \ge 0$$, we define the $$\delta$$-neighbourhood of F to be

\begin{aligned} \Delta (F,\delta ):=\{x\in X:d(x,F)<\delta \}, \end{aligned}

where $$d(x,F):=\min \{d(x,y): y \in F\}$$.

The following local scaling property appears to be the key which enables us to prove a “unifying” mass transference principle which incorporates and extends the results presented in Sect. 1.1.

Local Scaling Property (LSP) Given a sequence of sets $$\mathcal {F}:=(F_j)_{j \in \mathbb {N}}$$ in X and $$0\le \kappa < 1$$, we say that $$\mathcal {F}$$ satisfies the local scaling property (LSP) with respect to $$\kappa$$ if there exist constants $$c_3,c_4,r_1>0$$ such that, for any $$0<r<r_1$$, $$\delta <r$$, $$j \in \mathbb {N}$$ and $$x\in F_j,$$ we have

\begin{aligned} c_3 g(\delta )^{1-\kappa }\cdot g(r)^{\kappa }\le \mathcal {H}^g(B(x,r)\cap \Delta (F_j,\delta ))\le c_4 g(\delta )^{1-\kappa }\cdot g(r)^{\kappa }. \end{aligned}
(3)

If (3) is satisfied for one specific set F, say, we will also say that F satisfies the local scaling property with respect to $$\kappa$$. It should be clear from context when we are referring to an individual set and when we are referring to a sequence of sets.

If we restrict ourselves to the case where $$X=\mathbb {R}^n$$ and $$\mathcal {H}^g=\mathcal {H}^n$$ (that is, essentially, Lebesgue measure), then (3) takes the form

\begin{aligned} c_3 \delta ^{n-\kappa n}\cdot r^{\kappa n}\le \mathcal {H}^n(B(x,r)\cap \Delta (F_j,\delta ))\le c_4 \delta ^{n-\kappa n}\cdot r^{\kappa n}. \end{aligned}
(4)

Many familiar subsets of Euclidean space satisfy (4) for an appropriate choice of $$\kappa$$. For example, in the next section we show that any smooth compact manifold embedded in $$\mathbb {R}^n$$ satisfies (4). In addition, we show that self-similar sets satisfying the open set condition also satisfy the LSP. In these examples we will see that $$\kappa$$ is related to the box counting dimension of the sets we are considering and we offer some discussion as to why this should be the case. In the meantime, we present here two trivial examples of sets satisfying the LSP.

### Example 1

If $$\mathcal {F}$$ were a sequence of points, then it follows from (2) that $$\mathcal {F}$$ satisfies the LSP with respect to $$\kappa =0$$.

### Example 2

Suppose $$F\subset \mathbb {R}^n$$ is a specific set satisfying (4). One can then define a sequence $$\mathcal {F}:= (F_j)_{j \in \mathbb {N}}$$ by defining each $$F_j$$ to be the image of F under some isometry. Clearly $$\mathcal {F}$$ provides us with a sequence of sets satisfying the LSP.

Next, suppose $$\Upsilon :=(\Upsilon _j){j\in \mathbb {N}}$$ is a sequence of non-negative reals such that $$\Upsilon _j \rightarrow 0$$ as $$j \rightarrow \infty .$$ Consider the $$\limsup$$ set

\begin{aligned} \Lambda (\Upsilon ):=\{x \in X: x \in \Delta (F_j,\Upsilon _j) \text { for infinitely many } j \in \mathbb {N}\}. \end{aligned}

Our main result is the following theorem.

### Theorem 1

Let (Xd) and g be as above. Let $$\mathcal {F}:=(F_j)_{j \in \mathbb {N}}$$ be a sequence of sets satisfying the LSP with respect to some $$0 \le \kappa < 1,$$ and let $$\Upsilon := (\Upsilon _j)_{j \in \mathbb {N}}$$ be a sequence of non-negative reals such that $$\Upsilon _j \rightarrow 0$$ as $$j \rightarrow \infty$$. Let f be a dimension function such that f / g is monotonic and $$f/g^{\kappa }$$ is a dimension function. Suppose that for any ball B in X we have

\begin{aligned} \mathcal {H}^g\left( B \cap \Lambda \left( g^{-1}\left( \left( \frac{f(\Upsilon )}{g(\Upsilon )^{\kappa }} \right) ^{\frac{1}{1-\kappa }}\right) \right) \right) =\mathcal {H}^g(B). \end{aligned}
(5)

Then, for any ball B in X we have

\begin{aligned} \mathcal {H}^f(B \cap \Lambda (\Upsilon )) = \mathcal {H}^f(B). \end{aligned}

Although the sequence of neighbourhoods defining the $$\limsup$$ set appearing on the left hand side of (5) might at first seem arbitrary, it represents the correct scaling of our initial $$\limsup$$ set which is required to prove a mass transference principle in this generalised setting. Furthermore, this particular choice of “scaled” $$\limsup$$ set naturally incorporates and extends the various mass transference principles discussed in Sect. 1.1.

Taking $$(F_j)_{j \in \mathbb {N}}$$ to be a sequence of points in X and $$\kappa = 0$$, as in Example 1, Theorem 1 coincides with Theorem MTP* given above. If, further, we insist that $$X = \mathbb {R}^n$$ and $$g(r) = r^n$$, we recover the usual Mass Transference Principle. Theorem AB can also be deduced as a special case of Theorem 1 by taking $$X = \Omega$$ to be a suitable ball in $$\mathbb {R}^n$$, $$(F_j)_{j \in \mathbb {N}}$$ to be a sequence of l-dimensional planes $$(R_j)_{j \in \mathbb {N}}$$ in $$\mathbb {R}^n$$, $$\kappa = \frac{l}{n}$$, and $$g(r)=r^n$$.

Restricting our attention to Euclidean space and s-dimensional Hausdorff measures, Theorem 1 takes the following simpler form.

### Corollary 1

Let $$\mathcal {F}:=(F_j)_{j \in \mathbb {N}}$$ be a sequence of subsets of $$\mathbb {R}^n$$ satisfying the LSP with respect to some $$0\le \kappa <1$$ and let $$\Upsilon := (\Upsilon _j)_{j \in \mathbb {N}}$$ be a sequence of non-negative reals such that $$\Upsilon _j \rightarrow 0$$ as $$j \rightarrow \infty$$. Let $$s>\kappa n$$ and suppose that for any ball B in $$\mathbb {R}^n$$ we have

\begin{aligned} \mathcal {H}^n(B\cap \Lambda (\Upsilon ^{\frac{s-\kappa n}{(1-\kappa )n}}) )=\mathcal {H}^n(B). \end{aligned}

Then, for any ball B in $$\mathbb {R}^n$$ we have

\begin{aligned} \mathcal {H}^s(B \cap \Lambda (\Upsilon )) = \mathcal {H}^s(B). \end{aligned}

### 1.3 Structure of the paper

The rest of the paper is arranged as follows. Some examples of sets satisfying the LSP are outlined in Sect. 2. In Sect. 3 we recall some useful preliminaries from geometric measure theory. In Sect. 4 we prove some key technical lemmas which will be required throughout the proof of Theorem 1, which is presented in full in Sect. 5. Finally, in Sect. 6, we use Theorem 1 to deduce the Hausdorff dimension and measure of some random $$\limsup$$ sets.

## 2 Some sets satisfying the local scaling property

In this section we provide some discussion on connections between the LSP and box counting dimension and Minkowski content. Thereafter, we briefly detail two collections of sets that satisfy the LSP for appropriate choices of parameters.

### 2.1 Box counting dimension, Minkowski content and the LSP

In this section, we highlight the connection between (4) and the Minkowski/box counting dimension of a set and why these quantities are likely to be related to $$\kappa$$ for sets satisfying the LSP.

Instead of the usual box counting definition of lower and upper box counting dimension (see, for example, [9]), there is the following equivalent notion that is defined using the volume of a $$\delta$$-neighbourhood of a set. Given a bounded set $$F\subset \mathbb {R}^n$$, the lower and upper box counting dimension of F are defined to be, respectively,

\begin{aligned} {{\,\mathrm{\underline{dim}_B}\,}}(F):=n-\limsup _{\delta \rightarrow 0} \frac{\log \mathcal {H}^{n}(\Delta (F,\delta ))}{\log \delta } \end{aligned}

and

\begin{aligned} {{\,\mathrm{\overline{dim}_B}\,}}(F):=n-\liminf _{\delta \rightarrow 0} \frac{\log \mathcal {H}^{n}(\Delta (F,\delta ))}{\log \delta }. \end{aligned}

When these limits coincide we call the common value the box counting dimension of F and denote it by $${{\,\mathrm{dim_B}\,}}(F)$$. It follows from this definition that if F were a set whose box counting dimension exists, and we were interested in whether (4) held for some $$\kappa$$, then the natural candidate for $$\kappa$$ would be $$\dim _{B}(F)\cdot n^{-1}.$$

Two other useful quantities that describe how the volume of a $$\delta$$-neighbourhood of a set F scales are the lower and upper Minkowski content. Given a bounded set F contained in $$\mathbb {R}^n$$ whose box counting dimension exists, we define the lower and upper Minkowski content to be, respectively,

\begin{aligned} \underline{M}(F):=\liminf _{\delta \rightarrow 0} \delta ^{n-{{\,\mathrm{dim_B}\,}}(F)}\cdot \mathcal {L}^n(\Delta (F,\delta )) \end{aligned}

and

\begin{aligned} \overline{M}(F):=\limsup _{\delta \rightarrow 0} \delta ^{n-{{\,\mathrm{dim_B}\,}}(F)}\cdot \mathcal {L}^n(\Delta (F,\delta )). \end{aligned}

Here $$\mathcal {L}^n$$ is the n-dimensional Lebesgue measure. When $$\underline{M}(F)=\overline{M}(F)$$ we call the common value the Minkowski content and denote it by M(F). Determining conditions under which a set F has both $$\underline{M}(F)$$ and $$\overline{M}(F)$$ positive and finite is a well studied problem, see [17]. Equation (4) does not follow directly from the positivity and finiteness of both $$\underline{M}(F)$$ and $$\overline{M}(F).$$ However, if F were reasonably homogeneous in small neighbourhoods, we would expect this property to be sufficient to deduce (4).

### 2.2 Smooth compact manifolds

Let $$M\subset \mathbb {R}^n$$ be a smooth compact manifold of dimension l. Let us start by remarking that when M is a smooth compact manifold, the tangent space map sending $$x\rightarrow T_x M$$ is a continuous map from M into the Grassmanian of l-dimensional subspaces of $$\mathbb {R}^n$$. Fixing $$x\in M$$, and applying a rotation if necessary, we can identify $$T_x M$$ with $$\mathbb {R}^l \times \{0^{n-l}\}.$$ Since the tangent space map is continuous we know that for any y sufficiently close to x its tangent space $$T_y M$$ is approximately $$\mathbb {R}^l \times \{0^{n-l}\}.$$ As such, we can assert that there exists $$R_x>0$$ such that the following two properties hold:

• For any $$y\in B(x,R_x)\cap M$$ and $$r>0$$ such that $$B(y,r)\subset B(x,R_x),$$ we have

\begin{aligned} \mathcal {H}^l(\pi _l(B(y,r)\cap M))\asymp r^l. \end{aligned}
(6)

Here $$\pi _l$$ is the projection map from $$\mathbb {R}^n$$ to $$\mathbb {R}^l$$ sending $$(x_1,\ldots ,x_n)$$ to $$(x_1,\ldots ,x_l)$$.

• For any $$y\in B(x,R_x)\cap M$$ and $$\delta <R_x$$ we have

\begin{aligned} \mathcal {H}^{n-l}(\{z\in \Delta (M,\delta ):\pi (z)=\pi (y)\})\asymp \delta ^{n-l}. \end{aligned}
(7)

The implied constants in (6) and (7) depend only upon M and x. Via an application of (6), (7), and Fubini’s Theorem, it can be shown that for any $$y\in B(x,R_x/2),$$ $$r\le R_x/2,$$ and $$\delta \le r$$ we have

\begin{aligned} \mathcal {H}^n(B(y,r)\cap \Delta (M,\delta ))\asymp r^l \delta ^{n-l}. \end{aligned}
(8)

Again, the implied constants in (8) depend only upon M and x. Since $$\{B(x,R_x/2)\}_{x\in M}$$ covers M,  it follows by a compactness argument that there exists $$R>0$$ such that for any $$y\in M,$$ $$r\le R$$ and $$\delta \le r$$ we have

\begin{aligned} \mathcal {H}^n(B(y,r)\cap \Delta (M,\delta ))\asymp r^l \delta ^{n-l}. \end{aligned}

Thus, we conclude that M satisfies the LSP with respect to $$\kappa = \frac{l}{n}$$.

### 2.3 Self-similar sets satisfying the open set condition

Let $$\Phi =\{\phi _1,\ldots ,\phi _l\}$$ be a collection of contracting similarities acting on $$\mathbb {R}^n$$; that is, $$\Phi$$ is a collection of maps such that

\begin{aligned} |\phi _i(x)-\phi _i(y)| = r_i|x-y| \quad \text {for all } x,y \in \mathbb {R}^n, \end{aligned}

and $$0< r_i < 1$$ for each $$1 \le i \le l$$. It is well-known (see, for example, [9]) that there exists a unique non-empty compact set $$K\subset \mathbb {R}^n$$ such that

\begin{aligned} K=\bigcup _{i=1}^l\phi _i(K). \end{aligned}

Since all of the maps in $$\Phi$$ are similarities, we refer to K as a self-similar set. We say that $$\Phi$$ satisfies the open set condition if there exists an open set $$O\subset \mathbb {R}^n$$ such that $$\phi _i(O)\subset O$$ for each $$1 \le i \le l$$ and $$\phi _i(O)\cap \phi _j(O)=\emptyset$$ whenever $$i\ne j$$. In [12] it is shown that if $$\Phi$$ satisfies the open set condition then there exist constants $$b_1,b_2>0$$ such that for all $$\delta$$ sufficiently small

\begin{aligned} b_1 \delta ^{n-d}\le \mathcal {H}^n(\Delta (K,\delta ))\le b_2 \delta ^{n-d}, \end{aligned}
(9)

where d is the box counting dimension of K. In [12], (9) was proved for the n-dimensional Lebesgue measure. The statement given above follows since $$\mathcal {H}^n$$ is equal to a scalar multiple of the n-dimensional Lebesgue measure.

We now prove that the local scaling property holds for K with $$\kappa =\frac{d}{n}$$. To this end, fix $$x\in K$$ and some small number $$r > 0$$. Then there exists a sequence $$(a_i)_{i \in \mathbb {N}}\in \{1,\ldots ,l\}^{\mathbb {N}}$$ such that

\begin{aligned} \bigcap _{m=1}^{\infty } (\phi _{a_1}\circ \cdots \circ \phi _{a_m})(K)=x. \end{aligned}

Next, note that there exists $$N\in \mathbb {N}$$ such that

\begin{aligned} (r_{a_1}\ldots r_{a_{N-1}})\cdot Diam K\ge r/2 \end{aligned}

and

\begin{aligned} (r_{a_1}\ldots r_{a_N})\cdot Diam K< r/2. \end{aligned}

For this value of N and $$\delta <r/2$$, we have

\begin{aligned} \mathcal {H}^n(B(x,r)\cap \Delta (K,\delta ))&\ge \mathcal {H}^n(B(x,r)\cap \Delta ((\phi _{a_1}\circ \cdots \circ \phi _{a_{N}})(K),\delta )) \nonumber \\&\ge \mathcal {H}^n(\Delta ((\phi _{a_1}\circ \cdots \circ \phi _{a_{N}})(K),\delta )) \nonumber \\&=\mathcal {H}^n((\phi _{a_1}\circ \cdots \circ \phi _{a_{N}})(\Delta (K,\delta \cdot (r_{a_1}\ldots r_{a_N})^{-1}))) \nonumber \\&=(r_{a_1}\ldots r_{a_N})^n\mathcal {H}^n(\Delta (K,\delta \cdot (r_{a_1}\ldots r_{a_N})^{-1})) \nonumber \\&{\mathop {\ge }\limits ^{\text {(9)}}}b_1 \cdot (r_{a_1}\ldots r_{a_N})^n \cdot \left( \frac{\delta }{r_{a_1}\ldots r_{a_N}}\right) ^{n-d} \nonumber \\&= b_1 \cdot (r_{a_1}\ldots r_{a_N})^d\cdot \delta ^{n-d} \nonumber \\&\asymp b_1 r^{d} \delta ^{n-d}. \end{aligned}
(10)

The last line follows since $$r_{a_1}\ldots r_{a_N} \asymp r$$ by our choice of N. Thus, we have proved that the lower bound in the LSP holds in this case. It remains to prove the upper bound.

Given $$r>0$$ let

\begin{aligned} I_r:=\{(a_1,\ldots ,a_k)\in \mathop {\cup }\limits _{j=0}^{\infty }\{1,\ldots , l\}^j:r_{a_1}\ldots r_{a_k}\le r <r_{a_1}\ldots r_{a_{k-1}}\}. \end{aligned}

Importantly, $$\{(\phi _{a_1}\circ \cdots \circ \phi _{a_k})(K)\}_{(a_1,\ldots ,a_k)\in I_r}$$ forms a cover of K. In [9] it is shown that when the open set condition holds, for any $$x\in K$$ and $$r>0$$ we have

\begin{aligned} \#\{(a_1,\ldots ,a_k)\in I_r:B(x,r)\cap (\phi _{a_1}\circ \cdots \circ \phi _{a_k})(K)\ne \emptyset \}\le C \end{aligned}
(11)

for some $$C>0$$ independent of r.

Fixing $$x\in K$$ and $$r>0$$ and using (9) and (11), for $$\delta < \frac{r}{2}$$ we obtain

\begin{aligned}&\mathcal {H}^n(B(x,r)\cap \Delta (K,\delta ))\le \sum _{\begin{array}{c} (a_1,\ldots ,a_k)\in I_{2r}\\ B(x,2r)\cap (\phi _{a_1}\circ \cdots \circ \phi _{a_k})(K)\ne \emptyset \end{array}}\mathcal {H}^n(\Delta ((\phi _{a_1}\circ \cdots \circ \phi _{a_k})(K),\delta )) \nonumber \\&\quad = \sum _{\begin{array}{c} (a_1,\ldots ,a_k)\in I_{2r}\\ B(x,2r)\cap (\phi _{a_1}\circ \cdots \circ \phi _{a_k})(K)\ne \emptyset \end{array}}\mathcal {H}^n((\phi _{a_1}\circ \cdots \circ \phi _{a_k})(\Delta (K,\delta \cdot (r_{a_1}\ldots r_{a_k})^{-1}))) \nonumber \\&\quad =\sum _{\begin{array}{c} (a_1,\ldots ,a_k)\in I_{2r}\\ B(x,2r)\cap (\phi _{a_1}\circ \cdots \circ \phi _{a_k})(K)\ne \emptyset \end{array}} (r_{a_1}\ldots r_{a_k})^n \mathcal {H}^n(\Delta (K,\delta \cdot (r_{a_1}\ldots r_{a_k})^{-1})) \nonumber \\&\quad {\mathop {\le }\limits ^{\text {(9)}}}b_2 \sum _{\begin{array}{c} (a_1,\ldots ,a_k)\in I_{2r}\\ B(x,2r)\cap (\phi _{a_1}\circ \cdots \circ \phi _{a_k})(K)\ne \emptyset \end{array}}(r_{a_1}\ldots r_{a_k})^n \left( \frac{\delta }{r_{a_1}\ldots r_{a_k}}\right) ^{n-d} \nonumber \\&\quad \le b_2 \sum _{\begin{array}{c} (a_1,\ldots ,a_k)\in I_{2r}\\ B(x,2r)\cap (\phi _{a_1}\circ \cdots \circ \phi _{a_k})(K)\ne \emptyset \end{array}} (2r)^d \delta ^{n-d} \nonumber \\&\quad {\mathop {\le }\limits ^{(11)}}b_2C2^d r^d \delta ^{n-d}. \end{aligned}
(12)

Combining (10) and (12), we see that K satisfies (4) for $$\delta <r/2$$. Equation (4) trivially holds for $$\delta \in [r/2,r)$$ since, in that case, $$B(x,r)\cap \Delta (K,\delta )$$ contains a ball of radius r / 2 and is contained in a ball of radius r. Therefore (4) holds for all $$\delta <r$$ and K satisfies the LSP with respect to $$\kappa = \frac{d}{n}$$ as claimed.

## 3 Preliminaries

In this section we state some definitions and recall some well known facts from geometric measure theory. Throughout this paper we will say that $$f : \mathbb {R}^+ \rightarrow \mathbb {R}^+$$ is a dimension function if f is a continuous, non-decreasing function such that $$f(r)\rightarrow 0$$ as $$r\rightarrow 0 \,$$. Given a ball $$B:=B(x,r)$$ in X and a dimension function f, we define

\begin{aligned} V^f(B)\,:=\,f(r). \end{aligned}

Recall that $$X=(X,d)$$ is a locally compact metric space.

The Hausdorff f-measure with respect to the dimension function f is defined as follows. Suppose $$F \subset X$$, let f be a dimension function and let $$\rho >0$$. A $$\rho$$-cover for F is any countable collection of balls $$\{B_i\}_{i \in \mathbb {N}}$$ with $$r(B_i) < \rho$$ for every $$i \in \mathbb {N}$$ and $$F \subset \bigcup _{i \in \mathbb {N}}{B_i}$$. We define

\begin{aligned} {\mathcal {H}}^{f}_{\rho } (F) := \inf \left\{ \sum _{i} V^f(B_i): \left\{ B_{i} \right\} \text {is a }\rho {-}\text {cover for }F\right\} . \end{aligned}

The Hausdorff f-measure of F with respect to the dimension function f is then defined as

\begin{aligned} {\mathcal {H}}^{f} (F) := \lim _{ \rho \rightarrow 0} {\mathcal {H}}^{f}_{\rho } (F). \end{aligned}

A simple consequence of the definition of $${\mathcal {H}}^f$$ is the following useful fact (see, for example, [9]).

### Lemma 1

Let (Xd) be as above. Suppose f and g are dimension functions such that the ratio $$f(r)/g(r) \rightarrow 0$$ as $$r \rightarrow 0$$, then $${\mathcal {H}}^{f} (F) =0$$ whenever $$\mathcal {H}^g (F) < \infty$$.

When $$f(r) = r^s$$ ($$s \ge 0$$), the measure $$\mathcal {H}^f$$ is the familiar s-dimensional Hausdorff measure, which we denote by $$\mathcal {H}^s$$. The Hausdorff dimension, $${{\,\mathrm{dim_H}\,}}F$$, of a set F is defined as

\begin{aligned} {{\,\mathrm{dim_H}\,}}(F) \, := \, \inf \left\{ s \ge 0 : {\mathcal {H}}^{s} (F) =0 \right\} . \end{aligned}

When calculating the Hausdorff dimension of a set, a usual strategy is to obtain upper and lower bounds separately. It is often the case that calculating an upper bound is relatively straightforward while determining a lower bound is much more difficult. Nevertheless, a standard tool which can frequently be employed in obtaining lower bounds for Hausdorff dimension is the following Mass Distribution Principle.

### Lemma 2

(Mass Distribution Principle) Let $$\mu$$ be a probability measure supported on a subset F of X. Suppose there are positive constants c and $$r_0$$ such that

\begin{aligned} \mu ( B ) \le \, c \; V^f(B) \end{aligned}

for any ball B with radius $$r \le r_0$$. If E is a subset of F with $$\mu (E) = \lambda > 0$$ then $${\mathcal {H}}^{f} (E) \ge \lambda /c$$.

For this precise statement of the Mass Distribution Principle, see [5, Section 2]. For further general information regarding Hausdorff measures and dimension we refer the reader to [9, 19].

Let $$B:=B(x,r)$$ be a ball in X. For any $$\alpha >0$$, we denote by $$\alpha B$$ the ball B scaled by a factor $$\alpha$$; i.e. $$\alpha B(x,r):= B(x, \alpha r)$$. A useful covering lemma which we will use throughout is the following (see [13, Theorem 1.2] for the case of general metric spaces or [19, Theorem 2.1] for a constructive proof when the metric space is boundedly compact).

### Lemma 3

(The 5r-Covering Lemma) Let (Xd) be a metric space. Every family $${\mathcal {F}}$$ of balls of uniformly bounded diameter in X contains a disjoint subfamily $${\mathcal {G}}$$ such that

\begin{aligned} \bigcup _{B \in {\mathcal {F}} } B \ \subset \ \bigcup _{B \in {\mathcal {G}} } 5B. \end{aligned}

We will also make use of the following adaptation of [7, Lemma 4].

### Lemma 4

Let B be a ball in a metric space $$X=(X,d)$$ and let g be a doubling dimension function such that (2) holds. Let $$(S_i)_{i \in \mathbb {N}}$$ be a sequence of subsets in B and let $$(\delta _i)_{i \in \mathbb {N}}$$ be a sequence of positive real numbers such that $$\delta _i \rightarrow 0$$ as $$i \rightarrow \infty$$. Let

\begin{aligned} \Delta (S_i,\delta _i):=\{x \in X: d(S_i,x)<\delta _i\}. \end{aligned}

Then, for any real number $$C > 1$$,

\begin{aligned} \mathcal {H}^g(\limsup _{i \rightarrow \infty }{\Delta (S_i,\delta _i))} = \mathcal {H}^g(\limsup _{i \rightarrow \infty }{\Delta (S_i, C\delta _i))}. \end{aligned}

Note that [7, Lemma 4] is stated in the setting of Euclidean space. Going through the steps in the proof of this lemma one can verify that the above analogue holds in our setting. To prove this analogue we require a notion of the Lebesgue Density Theorem that holds for our metric space (Xd) equipped with the measure $$\mathcal {H}^g$$. Such an analogue is known to exist when g is a doubling dimension function and (2) holds. See for example [22, Theorems 2.5 and 3.1].

In what follows we use the Vinogradov notation, writing $$A \ll B$$ if $$A \le cB$$ for some positive constant c and $$A \gg B$$ if $$A \ge c'B$$ for some positive constant $$c'$$. If $$A \ll B$$ and $$A \gg B$$ we write $$A \asymp B$$ and say that A and B are comparable.

## 4 The $$K_{G,B}$$-Lemma

Before proving Theorem 1, we formulate suitable analogues of [1, Lemma 4] and [1, Lemma 5] which will be required in the present setting. Let

\begin{aligned} \tilde{\Upsilon }_j:=g^{-1}\left( \left( \frac{f(\Upsilon _j)}{g(\Upsilon _j)^{\kappa }}\right) ^{\frac{1}{1-\kappa }}\right) . \end{aligned}

Given a ball B in X and $$j \in \mathbb {N},$$ we define

\begin{aligned} \Phi _j(B):=\{B(x,\tilde{\Upsilon }_j)\subset B:x\in F_j\}. \end{aligned}

The following is the analogue of [1, Lemma 4] or [5, Lemma 5], the so-called $$K_{G,B}$$-Lemma, we obtain in the setting currently under consideration.

### Lemma 5

Let (Xd), $$\mathcal {F}$$, $$\Upsilon$$, g and f be as given in Theorem 1 and assume that the hypotheses of Theorem 1 hold. Then, for any ball B in X and any $$G \in \mathbb {N}$$, there exists a finite collection

\begin{aligned} K_{G,B} \subset \{(A;j): j \ge G, A \in \Phi _j(B)\} \end{aligned}

satisfying the following properties:

1. (i)

if $$(A;j) \in K_{G,B}$$ then $$3A \subset B$$;

2. (ii)

if $$(A;j), (A',j') \in K_{G,B}$$ are distinct then $$3A \cap 3A' = \emptyset$$; and

3. (iii)

there exists a constant $$c_5\ge 0$$ independent of our choice of ball B such that

\begin{aligned} \displaystyle {\mathcal {H}^g\left( \bigcup _{(A;j) \in K_{G,B}}{A}\right) \ge c_5 \mathcal {H}^g(B).} \end{aligned}

Similarly to [1, Lemma 4], the collection $$K_{G,B}$$ here is a collection of balls drawn from the families $$\Phi _j(B)$$. These balls correspond to the $$\limsup$$ set $$\Lambda (\tilde{\Upsilon })$$. From each of these balls what we are actually interested in is extracting a suitable collection of balls corresponding to the $$\limsup$$ set $$\Lambda (\Upsilon )$$. We adopt the notation from [1] and write $$(A;j)$$ for a generic ball from $$K_{G,B}$$ to “remember” the index j of the family $$\Phi _j(B)$$ that the ball A comes from, but just write A if we are referring only to the ball A (as opposed to the pair $$(A;j)$$). Making such a distinction is necessary for us to be able to choose the “right” collection of balls within A that at the same time lie in an $$\Upsilon _j$$-neighbourhood of the relevant $$F_j$$. Indeed, for $$j\ne j'$$ we could have $$A = A'$$ for some $$A \in \Phi _j(B)$$ and $$A' \in \Phi _{j'}(B)$$.

### Proof of Lemma 5

For $$j \in \mathbb {N}$$ and a fixed ball B in X, consider the set of balls

\begin{aligned} \Phi _j^3(B) := \{B(x,3\tilde{\Upsilon }_j) \subset B: x \in F_j\}. \end{aligned}

It follows from our assumption (5) that for any $$G\ge 1$$ we have

\begin{aligned} \mathcal {H}^g\left( \bigcup _{j \ge G}{(\Delta (F_j, 3\tilde{\Upsilon }_j) \cap B)}\right) = \mathcal {H}^g(B). \end{aligned}

Observe that $$\tilde{\Upsilon }_j \rightarrow 0$$ as $$j \rightarrow \infty$$ because g and $$f/g^{\kappa }$$ are dimension functions. Therefore for $$j \in \mathbb {N}$$ sufficiently large,

\begin{aligned} {\bigcup _{L \in \Phi _j^3(B)}{L}} \supset \Delta (F_j, 3\tilde{\Upsilon }_j) \cap \frac{1}{2}B. \end{aligned}

Therefore for any sufficiently large $$G \in \mathbb {N}$$, we have

\begin{aligned} \mathcal {H}^g\left( \bigcup _{j \ge G}{\bigcup _{L\in \Phi _j^3(B)}{L}}\right) \ge \mathcal {H}^g\left( \bigcup _{j \ge G}{\left( \Delta (F_j, 3\tilde{\Upsilon }_j) \cap \frac{1}{2}B\right) }\right) = \mathcal {H}^g\left( \frac{1}{2}B\right) . \end{aligned}

Suppose $$G' \in \mathbb {N}$$ is large enough that the above inequality holds for any $$G \ge G'$$. Clearly for any $$G < G'$$ we also have

\begin{aligned} \bigcup _{j \ge G}{\bigcup _{L \in \Phi _j^3(B)}{L}} \supset \bigcup _{j \ge G'}{\bigcup _{L \in \Phi _j^3(B)}{L}}. \end{aligned}

Therefore for any $$G \in \mathbb {N}$$ it follows that

\begin{aligned} \mathcal {H}^g\left( \bigcup _{j \ge G}{\bigcup _{L \in \Phi _j^3(B)}{L}}\right)&\ge \mathcal {H}^g\left( \frac{1}{2}B\right) . \end{aligned}
(13)

Next, by the 5r-Covering Lemma (Lemma 3), there exists a disjoint subcollection $$\mathcal {G}\subset \{(L;j):j\ge G,~L\in \Phi _j^3(B)\}$$ satisfying

\begin{aligned} \bigcup _{(L;j) \in \mathcal {G}}^{\circ }{L} \subset \bigcup _{j \ge G}{\bigcup _{L \in \Phi _j^3(B)}{L}} \subset \bigcup _{(L;j) \in \mathcal {G}}{5L}. \end{aligned}

Let $$\mathcal {G}':=\{(\tfrac{1}{3}L;j):(L;j)\in \mathcal {G}\}$$ be the balls from the collection $$\mathcal {G}$$ all scaled by a factor of 1 / 3. Note that the balls in $$\mathcal {G}'$$ are still disjoint when scaled by 3. By the above, we have that

\begin{aligned} \bigcup _{(A;j)\in \mathcal {G}'}^{\circ }{A} ~\subset ~ \bigcup _{j \ge G}~{\bigcup _{L\in \Phi _j^3(B)}{L}} \subset \bigcup _{(A;j)\in \mathcal {G}'}{15A}. \end{aligned}
(14)

It follows from (1), (2), and the disjointness of the balls in $$\mathcal {G}'$$ that

\begin{aligned} \mathcal {H}^g\left( \bigcup _{(A;j)\in \mathcal {G}'}{A}\right) = \sum _{(A;j)\in \mathcal {G}'}{\mathcal {H}^g(A)}&{\mathop {\asymp }\limits ^{(2)}}\sum _{(A;j)\in \mathcal {G}'}g(r(A))\\&{\mathop {\gg }\limits ^{(1)}}\sum _{(A;j)\in \mathcal {G}'}g(r(15A))\\&{\mathop {\asymp }\limits ^{(2)}}\sum _{(A;j)\in \mathcal {G}'}\mathcal {H}^g(15A) \\&\ge \mathcal {H}^g\left( \bigcup _{(A;j)\in \mathcal {G}'}{15A}\right) . \end{aligned}

Now also using (13) and (14), we see that

\begin{aligned} \mathcal {H}^g\left( \bigcup _{(A;j)\in \mathcal {G}'}{A}\right)&{\mathop {\gg }\limits ^{(14)}}\mathcal {H}^g\left( \bigcup _{j \ge G}{\bigcup _{L \in \Phi _j^3(B)}{L}}\right) \\&{\mathop {\ge }\limits ^{(13)}}\mathcal {H}^g\left( \frac{1}{2}B\right) \\&{\mathop {\asymp }\limits ^{(2)}}g(r(\frac{1}{2}B))\\&{\mathop {\asymp }\limits ^{(1)}}g(r(B))\\&{\mathop {\asymp }\limits ^{(2)}}\mathcal {H}^g(B). \end{aligned}

Thus, there exists a constant $$c'>0$$ such that

\begin{aligned} c'\cdot \mathcal {H}^g(B)\le \mathcal {H}^g\left( \bigcup _{(A;j)\in \mathcal {G}'}{A}\right) . \end{aligned}

Since the balls in $$\mathcal {G}'$$ are disjoint and contained in B, it follows that

\begin{aligned} \mathcal {H}^g\left( {\bigcup _{\begin{array}{c} (A;j)\in \mathcal {G}' \\ j \ge N \end{array}}A}\right) \rightarrow 0 \quad \text {as } N \rightarrow \infty . \end{aligned}

Consequently, there must exist $$N_0 \in \mathbb {N}$$ such that

\begin{aligned} \mathcal {H}^g\left( {\bigcup _{\begin{array}{c} (A;j)\in \mathcal {G}' \\ j \ge N_0 \end{array}}A}\right) < \frac{c'}{2} \mathcal {H}^g(B). \end{aligned}

We define $$K_{G,B}$$ to be the subcollection of $$(A;j)\in \mathcal {G}'$$ with $$G\le j < N_0.$$ By the above we see that $$K_{G,B}$$ is a finite collection of balls while still satisfying the required properties (i)–(iii) with $$c_5 = \frac{c'}{2}$$. $$\square$$

As mentioned previously, from each of the balls in $$K_{G,B}$$ we wish to extract a collection of balls corresponding to $$\Lambda (\Upsilon )$$. The desired properties and existence of such collections are summarised in the following lemma, which constitutes the required analogue of [1, Lemma 5] in this setting.

### Lemma 6

Let (Xd), $$\mathcal {F}$$, $$\Upsilon$$, f, g, and B be as in Lemma 5 and assume that the hypotheses of Theorem 1 hold. Furthermore, assume that $$f(r)/g(r) \rightarrow \infty$$ as $$r \rightarrow 0$$. Let $$K_{G,B}$$ be as in Lemma 5. Then, provided that G is sufficiently large, for any $$(A;j)\in K_{G,B}$$ there exists a collection $$\mathcal {C}(A;j)$$ of balls satisfying the following properties:

1. (i)

each ball in $$\mathcal {C}(A;j)$$ is of radius $$\Upsilon _j$$ and is centred on $$F_j;$$

2. (ii)

if $$L \in \mathcal {C}(A;j)$$ then $$3L \subset A;$$

3. (iii)

if $$L, M \in \mathcal {C}(A;j)$$ are distinct then $$3L \cap 3M = \emptyset ;$$

4. (iv)

$$\displaystyle \mathcal {H}^g\big (\Delta (F_j,\Upsilon _j)\cap \tfrac{1}{2}A \big )~\ll ~\mathcal {H}^g\left( \bigcup _{L \in \mathcal {C}(A;j)}{L}\right) ~\le ~ \,\mathcal {H}^g\big (\Delta (F_j,\Upsilon _j)\cap A \big )$$; and

5. (v)

there exist some constants $$d_1,d_2 > 0$$ such that

\begin{aligned} d_1\times \left( \frac{f(\Upsilon _j)}{g(\Upsilon _j)}\right) ^{\frac{\kappa }{1-\kappa }} \le \# \mathcal {C}(A;j)&\le d_2\left( \frac{f(\Upsilon _j)}{g(\Upsilon _j)}\right) ^{\frac{\kappa }{1-\kappa }}. \end{aligned}
(15)

### Proof

We begin by showing that

\begin{aligned} \frac{\Upsilon _j}{\tilde{\Upsilon }_j}\rightarrow 0\quad \text {as }j\rightarrow \infty . \end{aligned}
(16)

To this end, suppose that $$N \in \mathbb {N}$$. We aim to show that for all sufficiently large $$j \in \mathbb {N}$$ we have

\begin{aligned} \Upsilon _j < \frac{\tilde{\Upsilon }_j}{2^N}. \end{aligned}
(17)

Observe that (17) holds if

\begin{aligned} g(\Upsilon _j) < g\left( \frac{\tilde{\Upsilon }_j}{2^N}\right) . \end{aligned}
(18)

Furthermore, by repeated application of (1), we see that

\begin{aligned} g\left( \frac{\tilde{\Upsilon }_j}{2^N}\right) > \frac{g(\tilde{\Upsilon }_j)}{\lambda ^N} = \frac{1}{\lambda ^N}\left( \frac{f(\Upsilon _j)}{g(\Upsilon _j)^{\kappa }}\right) ^{\frac{1}{1-\kappa }}, \end{aligned}

where $$\lambda$$ is the doubling constant. Consequently, (18) holds if

\begin{aligned} g(\Upsilon _j) < \frac{1}{\lambda ^N}\left( \frac{f(\Upsilon _j)}{g(\Upsilon _j)^{\kappa }}\right) ^{\frac{1}{1-\kappa }}. \end{aligned}

Rearranging the above we get

\begin{aligned} \lambda ^{N(1-\kappa )} < \frac{f(\Upsilon _j)}{g(\Upsilon _j)}. \end{aligned}

By the assumptions that $$\frac{f(r)}{g(r)} \rightarrow \infty$$ as $$r \rightarrow 0$$ and $$\Upsilon _j \rightarrow 0$$ as $$j \rightarrow \infty$$, we see that this inequality holds for sufficiently large $$j \in \mathbb {N}$$, thus verifying (16).

In light of (16) we can assume that G is sufficiently large so that

\begin{aligned} 6\Upsilon _j<\tilde{\Upsilon }_j \quad \text {for any }j\ge G. \end{aligned}
(19)

Let $$x_1,\dots , x_t\in F_j\cap \tfrac{1}{2}A$$ be a maximal collection of points such that

\begin{aligned} d(x_i,x_{i'})> 6\Upsilon _j\quad \text {if }i\ne i'. \end{aligned}
(20)

Define $$\mathcal {C}(A;j)$$ to be the collection of balls

\begin{aligned} \mathcal {C}(A;j):=\{B( x_1,\Upsilon _j),\dots ,B( x_t,\Upsilon _j)\}. \end{aligned}

By construction, property (i) is satisfied by the collection $$\mathcal {C}(A;j)$$. Next, recall that $$A\in \Phi _j(B)$$ and so $$\tfrac{1}{2}A$$ has radius $$\tfrac{1}{2}\tilde{\Upsilon }_j$$. If $$L:=B( x_i,\Upsilon _j)\in \mathcal {C}(A;j)$$ then any $$y\in 3L$$ satisfies $$d(y,x_i)<3\Upsilon _j$$. Supposing $$x_0$$ is the centre of A, we also have $$d(x_i,x_0)\le \tfrac{1}{2}\tilde{\Upsilon }_j$$. Combining (19) and the triangle inequality we obtain

\begin{aligned} d(y,x_0)\le d(y,x_i)+d(x_i,x_0)\le 3\Upsilon _j+\tfrac{1}{2}\tilde{\Upsilon }_j<\tilde{\Upsilon }_j. \end{aligned}

Therefore property (ii) follows. In addition property (iii) follows from (20).

It is a consequence of the maximality of $$x_1,\dots , x_t$$ that for any $$x \in F_j\cap \tfrac{1}{2}A,$$ there exists an $$x_i$$ from this collection such that $$d(x,x_i)\le 6\Upsilon _j$$. Consequently

\begin{aligned} \Delta (F_j,\Upsilon _j)\cap \tfrac{1}{2}A~\subset ~\bigcup _{L\in \mathcal {C}(A;j)}7L. \end{aligned}

Therefore, by (1) and (2),

\begin{aligned} \mathcal {H}^g(\Delta (F_j,\Upsilon _j)\cap \tfrac{1}{2}A)&\le \mathcal {H}^g\left( \bigcup _{L \in \mathcal {C}(A;j)}{7L}\right) \\&\le \sum _{L\in \mathcal {C}(A;j)}\mathcal {H}^g(7L)\\&\ll \sum _{L\in \mathcal {C}(A;j)}\mathcal {H}^g(L)\\&\ll \mathcal {H}^g\left( \bigcup ^\circ _{L\in \mathcal {C}(A;j)}L\right) . \end{aligned}

However, by property (ii), we have

\begin{aligned} \bigcup ^\circ _{L\in \mathcal {C}(A;j)}L~\subset ~\Delta (F_j,\Upsilon _j)\cap A. \end{aligned}

This together with the previous inequality proves property (iv).

As a byproduct of (19) we have that $$\Upsilon _j < \frac{\tilde{\Upsilon }_j}{2}$$ for all $$j \ge G.$$ Therefore, by the LSP we have

\begin{aligned} \mathcal {H}^g\left( \Delta (F_j,\Upsilon _j)\cap \frac{1}{2}A \right) ~\asymp ~ g\left( \frac{\tilde{\Upsilon }_j}{2}\right) ^{\kappa }\cdot g(\Upsilon _j)^{1-\kappa }. \end{aligned}

Combining this with the doubling property (1) and the LSP we obtain

\begin{aligned} \mathcal {H}^g\left( \Delta (F_j,\Upsilon _j)\cap \frac{1}{2}A \right) ~\asymp ~ g(\tilde{\Upsilon }_j)^{\kappa }\cdot g(\Upsilon _j)^{1-\kappa } ~\asymp ~ \mathcal {H}^g\left( \Delta (F_j,\Upsilon _j)\cap A \right) . \end{aligned}
(21)

By (2) and the disjointness of the balls in $$\mathcal {C}(A;j)$$ we have

\begin{aligned} \mathcal {H}^g\left( \bigcup _{L \in \mathcal {C}(A;j)}{L}\right) = \sum _{L \in \mathcal {C}(A;j)}\mathcal {H}^g\left( L\right) ~\asymp ~ \sum _{L \in \mathcal {C}(A;j)}g(\Upsilon _j) = \#\mathcal {C}(A;j)\,g(\Upsilon _j). \end{aligned}

Combining the above with (21) and property (iv) we get

\begin{aligned} \# \mathcal {C}(A;j)\asymp \frac{ g(\tilde{\Upsilon }_j)^{\kappa }\cdot g(\Upsilon _j)^{1-\kappa }}{g(\Upsilon _j)} = \left( \frac{ g(\tilde{\Upsilon }_j)}{g(\Upsilon _j)}\right) ^{\kappa } = \left( \frac{f(\Upsilon _j)}{g(\Upsilon _j)}\right) ^{\frac{\kappa }{1-\kappa }} \end{aligned}

So property (v) holds. $$\square$$

## 5 Proof of Theorem 1

### 5.1 Strategy

Fix an arbitrary ball $$B_0$$ in X and suppose the assumptions of Theorem 1 hold. Our goal is to show that

\begin{aligned} \mathcal {H}^f(B_0 \cap \Lambda (\Upsilon ))=\mathcal {H}^f(B_0). \end{aligned}
(22)

Since f / g is monotonic, there are three situations to consider:

1. (a)

$$\frac{f(r)}{g(r)} \rightarrow \infty$$ as $$r \rightarrow 0$$;

2. (b)

$$\frac{f(r)}{g(r)} \rightarrow 0$$ as $$r \rightarrow 0$$; and

3. (c)

$$\frac{f(r)}{g(r)} \rightarrow \ell$$ as $$r \rightarrow 0$$, where $$0< \ell < \infty$$.

If we are in situation (b) it follows from Lemma 1 that $$\mathcal {H}^f(B_0) = 0$$. Since $$B_0 \cap \Lambda (\Upsilon ) \subset B_0$$ the result follows.

If we are in case (c) it can be shown that $$\tilde{\Upsilon }_j\asymp \Upsilon _j$$. It then follows from Lemma 4 that $$\mathcal {H}^g(B_0\cap \Lambda (\tilde{\Upsilon }))=\mathcal {H}^g(B_0\cap \Lambda (\Upsilon ))$$. In turn, it follows from (5) that $$\mathcal {H}^g(B_0\cap \Lambda (\Upsilon ))=\mathcal {H}^g(B_0)$$. Finally, the proof is completed in this case by noting that $$\mathcal {H}^f=\ell \cdot \mathcal {H}^g$$ and therefore

\begin{aligned} \mathcal {H}^f(B_0\cap \Lambda (\Upsilon ))=\ell \cdot \mathcal {H}^g(B_0\cap \Lambda (\Upsilon ))= \ell \cdot \mathcal {H}^g(B_0)= \mathcal {H}^f(B_0). \end{aligned}

It remains to address case (a). Thus, from now on we will assume that $$\frac{f(r)}{g(r)} \rightarrow \infty$$ as $$r \rightarrow 0$$. In this case, it is a consequence of Lemma 1 that $$\mathcal {H}^f(B_0) = \infty$$. So, to prove Theorem 1 it suffices to show that

\begin{aligned} \mathcal {H}^f(B_0 \cap \Lambda (\Upsilon ))=\infty . \end{aligned}

To achieve this goal we will show that for any $$\eta >1$$, we can construct a Cantor set $$\mathbb {K}_\eta$$ contained in $$B_0 \cap \Lambda (\Upsilon )$$ which supports a probability measure $$\mu$$ satisfying

\begin{aligned} \mu (D)\ll \frac{V^f(D)}{\eta }, \end{aligned}
(23)

for all balls D with sufficiently small radii, where the implicit constants are independent of D and $$\eta$$. The result then follows from the Mass Distribution Principle (Lemma 2) upon taking $$\eta$$ to be arbitrarily large since the Mass Distribution Principle yields $$\mathcal {H}^f(\mathbb {K}_{\eta }) \gg \eta$$ and $$\mathbb {K}_{\eta } \subset B_0 \cap \Lambda (\Upsilon )$$.

### 5.2 Desired properties of $$\mathbb {K}_\eta$$

The construction of the Cantor set we present here is an adaptation of that given in [1, 5]. For ease of comparison we will generally adopt the notation used in [1].

Fix $$\eta > 1$$. Our Cantor set $$\mathbb {K}_\eta$$ will take the form

\begin{aligned} \mathbb {K}_\eta =\bigcap _{n=1}^{\infty } \mathbb {K}(n) \end{aligned}

where $$\mathbb {K}(n)\supset \mathbb {K}(n+1)$$. The fact that (Xd) is a locally compact metric space guarantees that $$\mathbb {K}_\eta$$ is non empty.

Each level $$\mathbb {K}(n)$$ of the Cantor set will be a union of balls and we will denote the corresponding set of level n balls by K(n). For each ball $$B\in K(n-1)$$ we will construct an (n, B)-local level, henceforth denoted by K(nB), which will consist of balls contained in B. The set of level n balls, K(n),  will then be defined by

\begin{aligned} K(n):=\bigcup _{B\in K(n-1)}K(n,B). \end{aligned}

Each (nB)-local level will be constructed of local sub-levels and will take the form

\begin{aligned} K(n,B):=\bigcup _{i=1}^{l_B}K(n,B,i), \end{aligned}
(24)

where K(nBi) denotes the ith local sub-level and $$l_B$$ is the number of local sub-levels forming K(nB). What is more, each local sub-level will take the form

\begin{aligned} K(n,B,i):=\bigcup _{B'\in \mathcal {G}(n,B,i)}\bigcup _{(A;j)\in K_{G',B'}}\mathcal {C}(A;j). \end{aligned}
(25)

Here, $$\mathcal {G}(n,B,i)$$ will be a suitable collection of balls contained in B and, for each ball $$B' \in \mathcal {G}(n,B,i)$$, $$K_{G',B'}$$ will be the corresponding finite collection whose existence is asserted by Lemma 5. The collections $$\mathcal {C}(A;j)$$ will be those arising from Lemma 6. The set of pairs (Aj) included in (25) will be denoted by $$\tilde{K}(n,B,i)$$. As such

\begin{aligned} \tilde{K}(n,B,i):=\bigcup _{B'\in \mathcal {G}(n,B,i)}K_{G',B'}\quad \text {and}\quad K(n,B,i)=\bigcup _{(A;j)\in \tilde{K}(n,B,i)}\mathcal {C}(A;j). \end{aligned}
(26)

We will also require that $$\mathbb {K}_\eta$$ satisfies the following properties.

### 5.3 The properties of levels and sub-levels of $$\mathbb {K}_\eta$$

(P0) :

$$K(1)=\{B_0\}$$.

(P1) :

For any $$n\ge 2$$ and $$B\in K(n-1)$$ the balls

\begin{aligned} \{3L: L\in K(n,B)\} \end{aligned}

are disjoint and contained in B.

(P2) :

For any $$n\ge 2$$, $$B\in K(n-1),$$ and $$i\in \{1,\ldots , l_B\},$$ the local sub-level K(nBi) is a finite union of some collections $$\mathcal {C}(A;j)$$ of balls satisfying properties (i)–(v) of Lemma 6. Moreover, the balls 3A are disjoint and contained in B.

(P3) :

For any $$n\ge 2$$, $$B\in K(n-1),$$ and $$i\in \{1,\ldots ,l_B\},$$ we have

\begin{aligned} \sum _{(A;j)\in \tilde{K}(n,B,i)}V^g(A) \ge c_6 V^g(B) \end{aligned}

where

\begin{aligned} c_6:=\frac{1}{2\lambda } \left( \frac{c_1}{c_2}\right) ^2\frac{c_5}{c_7}. \end{aligned}

The constants $$c_1$$ and $$c_2$$ are those appearing in (2), $$c_5$$ comes from Lemma 5 (iii), $$\lambda$$ is the doubling constant associated with g, and $$c_7$$ is a fixed constant such that

\begin{aligned} g(r(5B)) \le c_7g(r(B)) \end{aligned}

for any ball B in X. Note that the existence of $$c_7$$ is guaranteed by the doubling property (1).

(P4) :

For any $$n\ge 2$$, $$B\in K(n-1)$$, $$i\in \{1,\ldots , l_B -1\}$$, $$L\in K(n,B,i),$$ and $$M\in K(n,B,i+1),$$ we have

\begin{aligned} f(r(M))\le \frac{f(r(L))}{2} \quad \text {and} \quad \frac{f(r(M))}{g(r(M))^{\kappa }}\le \frac{f(r(L))}{2g(r(L))^{\kappa }}. \end{aligned}
(P5) :

The number of sub-levels is defined by

\begin{aligned} l_B := \left\{ \begin{array}{ll} \left[ \dfrac{c_2 \eta }{c_6 \mathcal {H}^g(B)}\right] +1 &{}{}\quad \text { if } B=B_0:=\mathbb {K}(1),\\ \left[ \dfrac{V^f(B)}{c_6 V^g(B)}\right] +1 &{}{}\quad \text { if } B\in K(n) \text { with } n\ge 2, \end{array} \right. \end{aligned}

and $$l_B\ge 2$$ for $$B\in K(n)$$ with $$n\ge 2$$.

### 5.4 Existence of $$\mathbb {K}_\eta$$

We now prove that it is possible to construct a set $$\mathbb {K}_\eta \subset B_0 \cap \Lambda (\Upsilon )$$ satisfying properties (P0)–(P5). To this end, let

\begin{aligned} K_l(n,B):=\bigcup _{i=1}^l K(n,B,i) \quad \text { and } \quad \tilde{K}_l(n,B):= \bigcup _{i=1}^l \tilde{K}(n,B,i). \end{aligned}
(27)

Level 1 Let $$\mathbb {K}(1):=B_0$$ so (P0) holds.

All other levels of $$\mathbb {K}_\eta$$ are defined inductively. Therefore, assume levels $$\mathbb {K}(1),\ldots , \mathbb {K}(n-1)$$ have been constructed. To construct the nth level, we need to construct (nB)-local levels for all balls $$B \in K(n-1)$$.

Level n Fix $$B\in K(n-1)$$ and let $$\varepsilon :=\varepsilon (B)$$ be a small constant which will be explicitly determined later. Let G be sufficiently large so Lemmas 5 and 6 can be invoked. We may also assume that G is large enough that

\begin{aligned} 3g(\Upsilon _j)^{1-{\kappa }}< & {} \frac{f(\Upsilon _j)}{g(\Upsilon _j)^{\kappa }}\, \quad \text {for all } j\ge G, \end{aligned}
(28)
\begin{aligned} \frac{g(\Upsilon _j)}{f(\Upsilon _j)}< & {} \varepsilon \, \frac{g(r(B))}{f(r(B))}\, \quad \text {for all } j\ge G, \end{aligned}
(29)

and

\begin{aligned} \left[ \frac{f(\Upsilon _j)}{c_6 g(\Upsilon _j)}\right] \ge 1\, \quad \text {for all } j\ge G. \end{aligned}
(30)

Here, $$c_6$$ is the constant appearing in (P3). Inequalities (28)–(30) are achievable since $$f(r)/g(r)\rightarrow \infty$$ as $$r\rightarrow 0.$$

Recall that the (nB)-local level, K(nB), consists of local sub-levels. These are defined as follows.

Sub-level 1 For B and G as above let $$K_{G,B}$$ be the collection of balls arising from Lemma 5. We define the first sub-level of K(nB) to be

\begin{aligned} K(n,B,1):=\bigcup _{(A;j)\in K_{G,B}} \mathcal {C}(A;j). \end{aligned}

Hence,

\begin{aligned} \tilde{K}(n,B,1)= K_{G,B} \quad \text { and } \quad \mathcal {G}(n,B,1)=\{B\}. \end{aligned}

Higher sub-levels The higher sub-levels are defined inductively. Suppose the first l sub-levels $$K(n,B,1),\ldots , K(n,B,l)$$ have been constructed and properties (P1)–(P4) hold with l in place of $$l_B$$. Since we require fairly stringent separation conditions between balls in $$\mathbb {K}_{\eta }$$, we first verify that there is “space” left over in B for the sub-level $$K(n,B,l+1)$$ after the first l sub-levels, $$K(n,B,1),\dots ,K(n,B,l)$$, have been constructed. Let

\begin{aligned} A^{(l)}:=\frac{1}{2}B {\setminus } \bigcup _{L\in K_{l}(n,B)}4L. \end{aligned}

We will show that

\begin{aligned} \mathcal {H}^g(A^{(l)})\ge \frac{1}{2}\mathcal {H}^g\left( \frac{1}{2}B\right) . \end{aligned}
(31)

Using (1), (2), and the upper bound for $$\#\mathcal {C}(A;j)$$ given in (15), we obtain

\begin{aligned} \mathcal {H}^g\left( \bigcup _{L\in K_{l}(n,B)}4L\right)&\le \sum _{L\in K_{l}(n,B)} \mathcal {H}^g(4L)\\ {}&{\mathop {\le }\limits ^{(2)}}\sum _{L\in K_{l}(n,B)} c_2g(r(4L))\\ {}&{\mathop {\le }\limits ^{(1)}}\sum _{L\in K_{l}(n,B)} c_2 \lambda ^2 g(r(L))\\ {}&= \sum _{i=1}^l \sum _{L\in K(n,B,i)} c_2 \lambda ^2 g(r(L))\\ {}&= \sum _{i=1}^l \sum _{(A;j)\in \tilde{K}(n,B,i)} c_2 \lambda ^2 \# \mathcal {C}(A;j) g(\Upsilon _j)\\ {}&{\mathop {\le }\limits ^{(15)}}\sum _{i=1}^l \sum _{(A;j)\in \tilde{K}(n,B,i)} c_2 \lambda ^2 d_2 \left( \frac{f(\Upsilon _j)}{g(\Upsilon _j)}\right) ^{\frac{\kappa }{1-\kappa }} g(\Upsilon _j)\\ {}&= c_2 \lambda ^2 d_2 \sum _{i=1}^l \sum _{(A;j)\in \tilde{K}(n,B,i)} \frac{f(\Upsilon _j)^{\frac{1}{1-\kappa }}}{g(\Upsilon _j)^{\frac{\kappa }{1-\kappa }}}\cdot \frac{g(\Upsilon _j)}{f(\Upsilon _j)}. \end{aligned}

Recalling condition (29) and property (P2) we further see that

\begin{aligned} \mathcal {H}^g\left( \bigcup _{L\in K_{l}(n,B)}4L\right)&{\mathop {<}\limits ^{(29)}} \varepsilon c_2 \lambda ^2 d_2 \cdot \frac{g(r(B))}{f(r(B))} \sum _{i=1}^l \sum _{(A;j)\in \tilde{K}(n,B,i)} \frac{f(\Upsilon _j)^{\frac{1}{1-\kappa }}}{g(\Upsilon _j)^{\frac{\kappa }{1-\kappa }}} \nonumber \\&= \varepsilon c_2 \lambda ^2 d_2 \cdot \frac{g(r(B))}{f(r(B))} \sum _{i=1}^l \sum _{(A;j)\in \tilde{K}(n,B,i)} g(\tilde{\Upsilon }_j) \nonumber \\&{\mathop {\le }\limits ^{(2)}}\varepsilon \frac{c_2 \lambda ^2 d_2}{c_1} \cdot \frac{g(r(B))}{f(r(B))} \sum _{i=1}^l \sum _{(A;j)\in \tilde{K}(n,B,i)} \mathcal {H}^g(A) \nonumber \\&{\mathop {\le }\limits ^{\mathbf{(P2)}}}\varepsilon \frac{c_2 \lambda ^2 d_2}{c_1} \cdot \frac{g(r(B))}{f(r(B))}l \mathcal {H}^g(B) \nonumber \\&\le \varepsilon \frac{c_2 \lambda ^2 d_2}{c_1} \cdot \frac{g(r(B))}{f(r(B))}(l_B-1) \mathcal {H}^g(B) \nonumber \\&{\mathop {\le }\limits ^{(2)}}\varepsilon \frac{c_2^2 \lambda ^2 d_2}{c_1} \cdot \frac{g(r(B))^2}{f(r(B))}(l_B-1). \end{aligned}
(32)

To establish (31) we will show that

\begin{aligned} \mathcal {H}^g\left( \bigcup _{L\in K_{l}(n,B)}4L\right) < \frac{1}{2} \mathcal {H}^g\left( \frac{1}{2}B\right) . \end{aligned}

By (2) we have

\begin{aligned} \frac{1}{2} \mathcal {H}^g\left( \frac{1}{2}B\right) \ge \frac{c_1}{2}g\left( \frac{1}{2}B\right) \end{aligned}

and by (1) we have

\begin{aligned} g\left( \frac{1}{2}B\right) > \frac{1}{\lambda }g(r(B)). \end{aligned}

Therefore it suffices to show that

\begin{aligned} \mathcal {H}^g\left( \bigcup _{L\in K_{l}(n,B)}4L\right) < \frac{c_1}{2\lambda }g(r(B)). \end{aligned}
(33)

It follows from (32) that (33) is implied by

\begin{aligned} \varepsilon \frac{c_2^2 \lambda ^2 d_2}{c_1} \cdot \frac{g(r(B))^2}{f(r(B))}(l_B-1)<\frac{c_1}{2\lambda }g(r(B)). \end{aligned}
(34)

Taking

\begin{aligned} \varepsilon (B):=\frac{c_1}{4\lambda }\Big (\frac{c_2^2 \lambda ^2 d_2}{c_1} \cdot \frac{g(r(B))}{f(r(B))}(l_B-1)\Big )^{-1} \end{aligned}

we see that (34) is satisfied and, thus, (33) and (31) both hold.

Next, observe that the quantity

\begin{aligned} d_{min}:=\min \{r(L):L\in K_l(n,B)\} \end{aligned}

is well-defined and positive since the collection $$K_l(n,B)$$ is finite. Let

\begin{aligned} \mathcal {A}(n,B,l):=\{B(x,d_{\min }):x\in A^{(l)}\}. \end{aligned}

By Lemma 3 there exists a disjoint subcollection $$\mathcal {G}(n,B,l+1)$$ of $$\mathcal {A}(n,B,l)$$ such that

\begin{aligned} A^{(l)}\subset \bigcup _{B'\in \mathcal {A}(n,B,l)} B'\subset \bigcup _{B'\in \mathcal {G}(n,B,l+1)} 5B'. \end{aligned}
(35)

Note that each element of the collection $$\mathcal {G}(n,B,l+1)$$ is a subset of B. Since the balls in this collection are disjoint and all have the same radius, $$\mathcal {G}(n,B,l+1)$$ must be finite. Furthermore, by our construction,

\begin{aligned} B'\cap \bigcap _{L\in K_{l}(n,B)}3L=\emptyset \quad \text {for any } B'\in \mathcal {G}(n,B,l+1). \end{aligned}
(36)

By (35) and (31) above we have

\begin{aligned} \mathcal {H}^g\left( \bigcup _{B'\in \mathcal {G}(n,B,l+1)} 5B'\right) \ge \mathcal {H}^g(A^{(l)})\ge \frac{1}{2}\mathcal {H}^g\left( \frac{1}{2}B\right) . \end{aligned}
(37)

Since $${\mathcal {G}}(n,B,l+1)$$ is a disjoint collection of balls we have the following

\begin{aligned} \mathcal {H}^g \left( \bigcup _{B' \in {\mathcal {G}}(n,B,l+1) } 5 B' \right)&\le \sum _{B' \in {\mathcal {G}}(n,B,l+1)}{\mathcal {H}^g(5 B')} \\&{\mathop {\le }\limits ^{(2)}}c_2 \sum _{{B'\in {\mathcal {G}}(n,B,l+1)}}{g(r(5B'))} \\&\le c_2 c_7 \sum _{{B'\in {\mathcal {G}}(n,B,l+1)}}{g(r(B'))} \\&{\mathop {\le }\limits ^{(2)}}\frac{c_2c_7}{c_1} \sum _{{B'\in {\mathcal {G}}(n,B,l+1)}}{\mathcal {H}^g(B')} \\&= \frac{c_2c_7}{c_1} \mathcal {H}^g\left( \bigcup ^\circ _{B' \in {\mathcal {G}}(n,B,l+1)} B' \right) . \end{aligned}

Combining this with (37) from above implies

\begin{aligned} \mathcal {H}^g \left( \bigcup ^\circ _{B' \in {\mathcal {G}}(n,B,l+1) } B' \right) \,\ge \,\frac{c_1}{2 c_2 c_7} \ \ \mathcal {H}^g\Big (\frac{1}{2}B\Big ). \end{aligned}
(38)

Now, to construct the $$(l+1)$$th sub-level $$K(n,B,l+1)$$, let $$G'\ge G$$ be sufficiently large so that we can apply Lemmas 5 and 6 to each ball $$B'\in \mathcal {G}(n,B,l+1)$$. Moreover, we assume that $$G'$$ is sufficiently large so that for every $$j \ge G'$$,

\begin{aligned} f(\Upsilon _j) \le \frac{1}{2}\min _{L \in K_l(n,B)}{f(r(L))} \quad \text {and} \quad \frac{f(\Upsilon _j)}{g(\Upsilon _j)^{\kappa }} \le \frac{1}{2}\min _{L \in K_l(n,B)}\frac{f(r(L))}{g(r(L))^{\kappa }} . \end{aligned}
(39)

Such a $$G'$$ exists since there are only finitely many balls in $$K_l(n,B)$$, $$\Upsilon _j \rightarrow 0$$ as $$j \rightarrow \infty$$, and because f and $$f/g^{\kappa }$$ are dimension functions.

To each ball $$B'\in \mathcal {G}(n,B,l+1)$$ we apply Lemma 5 to obtain a collection of balls $$K_{G',B'}.$$ We then define

\begin{aligned} K(n,B,l+1) := \bigcup _{B'\in \mathcal {G}(n,B,l+1)}~{\bigcup _{(A;j)\in K_{G',B'}}}~\mathcal {C}(A;j). \end{aligned}

Consequently,

\begin{aligned} \widetilde{K}(n,B,l+1)=\bigcup _{B'\in \mathcal {G}(n,B,l+1)}~~K_{G',B'}\,. \end{aligned}

As $$G' \ge G$$, properties (28)–(30) remain valid. We now verify that properties (P1)(P5) hold for this local sub-level.

To prove (P1) holds we first observe that it is satisfied for balls in $$\bigcup _{(A;j)\in K_{G',B'}}\mathcal {C}(A;j)$$ by the properties of $$\mathcal {C}(A;j)$$ and the fact that the balls in $$K_{G',B'}$$ are disjoint. The balls in $$K_{G',B'}$$ are by definition contained in $$B'$$ and the balls $$B' \in \mathcal {G}(n,B,l+1)$$ are disjoint, therefore (P1) is satisfied for all balls L in $$K(n,B,l+1)$$. Last of all, combining this observation with (36) we can conclude that (P1) is satisfied for all balls L in $$K_{l+1}(n,B)$$. Property (P2) is satisfied for this sub-level because of Lemma 5 (i) and (ii) and because the balls $$B' \in \mathcal {G}(n,B,l+1)$$ are disjoint.

We now prove that (P3) still holds for $$i = l+1$$. Recalling (2), we have

\begin{aligned} \sum _{(A;j)\in \widetilde{K}(n,B,l+1)}{V^g(A)}&= \sum _{B' \in \mathcal {G}(n,B,l+1)}~{\sum _{(A;j)\in K_{G',B'}}{V^g(A)}} \\&{\mathop {\ge }\limits ^{(2)}}\frac{1}{c_2}\sum _{B' \in \mathcal {G}(n,B,l+1)}~{\sum _{(A;j)\in K_{G',B'}}{\mathcal {H}^g(A)}}. \\ \end{aligned}

Combining this with Lemma 5 (iii) and the fact that the balls in $$\mathcal {G}(n,B,l+1)$$ are disjoint, we see that

\begin{aligned} \sum _{(A;j)\in \widetilde{K}(n,B,l+1)}{V^g(A)}&\ge \frac{1}{c_2}\sum _{B' \in \mathcal {G}(n,B,l+1)}{c_5\mathcal {H}^g\left( B'\right) } \\&= \frac{c_5}{c_2} \mathcal {H}^g\left( \bigcup _{B' \in \mathcal {G}(n,B,l+1)}{B'}\right) \\&{\mathop {\ge }\limits ^{(38)}}\frac{c_1}{2c_2c_7}\frac{c_5}{c_2}\mathcal {H}^g\left( \tfrac{1}{2}B\right) \\&{\mathop {\ge }\limits ^{(2)}}\frac{c_1}{2c_2c_7}\frac{c_5}{c_2}c_1g\left( r(\tfrac{1}{2}B)\right) \\&{\mathop {\ge }\limits ^{(1)}}\frac{1}{2\lambda }\left( \frac{c_1}{c_2}\right) ^2 \frac{c_5}{c_7}g(r(B)) \\&= c_6 V^g(B). \end{aligned}

Property (P4) is satisfied because of (39). Finally, property (P5), that $$l_L \ge 2$$ for any ball L in $$K(n,B,l+1)$$, follows from (30).

Therefore properties (P1)(P5) are satisfied up to the local sub-level $$K(n,B,l\,{+}\,1).$$ This establishes the existence of the local level $$K(n,B) = K_{l_B}(n,B)$$ for each $$B \in K(n-1)$$. This then establishes the existence of the nth level K(n) (and also $$\mathbb {K}(n)$$).

### 5.5 The measure $$\mu$$ on $$\mathbb {K}_\eta$$

In what follows we adopt the notation:

\begin{aligned} h:=\frac{f}{g^{\kappa }}. \end{aligned}

We now define our measure on $$\mathbb {K}_\eta$$ which we will eventually see satisfies (23). For each level we distribute mass according to the following rules.

When $$n=1$$ we have that $$L = B_0 := \mathbb {K}(1)$$ and let $$\mu (L):=1$$.

For balls in K(n), with $$n \ge 2$$, we distribute mass inductively. Therefore, let $$n \ge 2$$ and suppose $$\mu (B)$$ is defined for each $$B\in K(n-1)$$. Let L be a ball in K(n). Since the balls in $$K(n-1)$$ are disjoint there is a unique ball $$B\in K(n-1)$$ satisfying $$L\subset B$$. By (24), (26) and (27), we know that

\begin{aligned} K(n,B) := \bigcup _{(A;j)\in \widetilde{K}_{l_B}(n,B)}\mathcal {C}(A;j). \end{aligned}

Therefore, L is contained in one of the collections $$\mathcal {C}(A';j')$$ appearing in the above union. We define the mass on L to be

\begin{aligned} \mu (L):=\frac{1}{\#\mathcal {C}(A';j')}\times \frac{h(\Upsilon _{j'})^{\frac{1}{1-{\kappa }}}}{\sum \nolimits _{(A;j)\in \widetilde{K}_{l_B}(n,B)}{h(\Upsilon _{j})^{\frac{1}{1-{\kappa }}}}}\times \mu (B). \end{aligned}

This quantity is well-defined in light of the preceding comment.

Proceeding inductively we see that $$\mu$$ is defined for each ball appearing in the construction of $$\mathbb {K}_{\eta }$$. We can extend $$\mu$$ uniquely in a standard way to all Borel subsets of X to give a probability measure $$\mu$$ supported on $$\mathbb {K}_{\eta }$$ (see, for example, [9, Proposition 1.7] for further details). Given a Borel subset of X, say F, we let

\begin{aligned} \mu (F):= \mu (F \cap \mathbb {K}_{\eta }) = \inf \;\sum _{L\in {\mathcal {C}}(F)}\mu (L), \end{aligned}

where the infimum is taken over all covers $${\mathcal {C}}(F)$$ of $$F \cap \mathbb {K}_{\eta }$$ by balls $$L \in \bigcup \limits _{n\in \mathbb {N}}K(n)$$.

Let us conclude this section by observing that for any $$L\in K(n)$$ we have

\begin{aligned} \mu (L)&\le \frac{1}{d_1\left( \frac{f(\Upsilon _{j'})}{g(\Upsilon _{j'})}\right) ^{\frac{\kappa }{1-\kappa }}}\times \frac{h(\Upsilon _{j'})^{\frac{1}{1-\kappa }}}{\sum \nolimits _{(A;j)\in \widetilde{K}_{l_B}(n,B)}{h(\Upsilon _{j})^{\frac{1}{1-\kappa }}}}\times \mu (B) \nonumber \\&= \frac{f(\Upsilon _{j'})}{d_1\sum \nolimits _{(A;j)\in \widetilde{K}_{l_B}(n,B)}{h(\Upsilon _{j})^{\frac{1}{1-{\kappa }}}}}\times \mu (B). \end{aligned}
(40)

This follows from (15) and the definition of h.

### 5.6 The measure of a ball in the Cantor set construction

Our ultimate goal is to prove that (23) is satisfied for any ball D of sufficiently small radius. Moving towards that goal, we first prove that

\begin{aligned} \mu (L) \ll \frac{V^f(L)}{\eta } \end{aligned}
(41)

for any ball $$L\in K(n)$$ for $$n \ge 2$$. We start with $$n=2$$ and then tackle higher levels of the Cantor set by induction. Let us fix a ball $$L \in K(2)=K(2,B_0)$$. Now, let $$(A';j')\in \widetilde{K}_{l_{B_0}}(2,B_0)$$ be such that $$L\in \mathcal {C}(A';j')$$. Using the upper bound given by (40), the definition of $$\mu$$, and the fact that $$\mu (B_0)=1$$, we obtain

\begin{aligned} \mu (L)&\le \frac{f(\Upsilon _{j'})}{d_1\sum \limits _{(A;j)\in \widetilde{K}_{l_{B_0}}(2,B_0)}{h(\Upsilon _{j})^{\frac{1}{1-\kappa }}}}~~. \end{aligned}
(42)

Using properties (P3) and (P5) of the Cantor set construction we obtain

\begin{aligned} \sum \limits _{(A;j)\in \widetilde{K}_{l_{B_0}}(2,B_0)}{h(\Upsilon _{j})^{\frac{1}{1-{\kappa }}}}&= \sum \limits _{(A;j)\in \widetilde{K}_{l_{B_0}}(2,B_0)}{V^g(A)} \\&=\sum _{i=1}^{l_{B_0}}{\sum _{(A;j)\in \widetilde{K}(2,B_0,i)}{V^g(A)}} \\&{\mathop {\ge }\limits ^\mathbf{(P3) }}\sum _{i=1}^{l_{B_0}}{c_6V^g(B_0)} \\&= l_{B_0}c_6V^g(B_0) \\&{\mathop {\ge }\limits ^{(2)}}l_{B_0}\frac{c_6}{c_2}\mathcal {H}^g(B_0) \\&{\mathop {\ge }\limits ^\mathbf{(P5) }}\frac{c_2\eta }{c_6\mathcal {H}^g(B_0)}\frac{c_6}{c_2}\mathcal {H}^g(B_0) ~=~ \eta . \end{aligned}

Combining this estimate with (42), and observing that $$f(\Upsilon _{j'}) = V^f(L)$$, we obtain (41) as required.

We now consider $$n>2$$. Assume that (41) holds for all balls in $$K(n-1)$$. Let L be an arbitrary ball in K(n) and let $$B\in K(n-1)$$ be the unique ball such that $$L\in K(n,B)$$. Moreover, suppose $$(A';j')\in \widetilde{K}_{l_{B}}(n,B)$$ is the unique $$(A';j')$$ such that $$L\in \mathcal {C}(A';j')$$. By (40) and our induction hypothesis we have

\begin{aligned} \mu (L)&\ll \frac{f(\Upsilon _{j'})}{d_1\sum \nolimits _{(A;j)\in \widetilde{K}_{l_B}(n,B)}{h(\Upsilon _{j})^{\frac{1}{1-\kappa }}}}\times \frac{V^f(B)}{\eta }. \end{aligned}
(43)

Bounding the denominator of (43) we have

\begin{aligned} \sum \limits _{(A;j)\in \widetilde{K}_{l_B}(n,B)}{h(\Upsilon _{j})^{\frac{1}{1-\kappa }}}&= \sum _{i=1}^{l_{B}}{\sum _{(A;j)\in \widetilde{K}(n,B,i)}{V^g(A)}}\nonumber \\&{\mathop {\ge }\limits ^\mathbf{(P3) }}\sum _{i=1}^{l_{B}}{c_6V^g(B)} \nonumber \\&= l_Bc_6V^g(B) \nonumber \\&{\mathop {\ge }\limits ^\mathbf{(P5) }}\frac{V^f(B)}{c_6V^g(B)}c_6V^g(B) \nonumber \\&=V^f(B). \end{aligned}
(44)

Combining (43) and (44) we see that (41) holds for L. By induction (41) holds for all $$L\in K(n)$$ for $$n\ge 2$$.

### 5.7 The measure of an arbitrary ball

Let $$r_0 := \min \{r(B): B \in K(2)\}$$ and take an arbitrary ball D such that $$r(D) < r_0$$. To conclude our proof of Theorem 1 it suffices to prove (23) for D, that is we wish to show that

\begin{aligned} \mu (D) \ll \frac{V^f(D)}{\eta }, \end{aligned}

where the implied constant is independent of D and $$\eta$$. To prove this bound we will make use of the following lemma from [5]. This statement was originally (implicitly) proved in the setting of Euclidean space equipped with the usual metric. With virtually no change required to the proof, the same statement holds in an arbitrary metric space.

### Lemma 7

Let $$A:=B(x_A,r_A)$$ and $$M:=B(x_M,r_M)$$ be arbitrary balls in a metric space (Xd) such that $$A\cap M\not =\emptyset$$ and $$A{\setminus }(cM)\not =\emptyset$$ for some $$c\ge 3$$. Then $$r_M\,\le \,r_A$$ and $$cM\subset 5A$$.

Recall that our measure $$\mu$$ is supported on $$\mathbb {K}_\eta$$ and we proved in the previous section that it satisfies the above inequality whenever D is a ball in our Cantor set construction. Consquently, without loss of generality, we may assume that D satisfies the following two properties:

• $$D \cap \mathbb {K}_{\eta } \ne \emptyset$$;

• for every n large enough D intersects at least two balls in K(n).

If $$D \cap \mathbb {K}_{\eta } = \emptyset$$ then $$\mu (D)=0$$ since $$\mu$$ is supported on $$\mathbb {K}_\eta .$$ If the second assumption were false then D would intersect exactly one ball, say $$L_{n_i}$$, at level $$n_i$$ for infinitely many $$i \in \mathbb {N}$$. Then, by (41), we would have $$\mu (D) \le \mu (L_{n_i}) \rightarrow 0$$ as $$i\rightarrow \infty .$$ So, if either of the above two assumptions fail we have $$\mu (D)=0$$ and (23) holds trivially.

By these two assumptions there exists a well-defined maximal integer n such that

\begin{aligned} D\text { intersects at least 2 balls from }K(n) \end{aligned}
(45)

and

\begin{aligned} D\text { intersects only one ball }B\text { from }K(n-1). \end{aligned}

Since $$r_0 = \min \{r(B): B \in K(2)\}$$ it follows that $$n > 2$$. Suppose $$B\in K(n-1)$$ is the unique ball which has non-empty intersection with D, then we may also assume that $$r(D) < r(B)$$. To see why, suppose otherwise that $$r(B) \le r(D)$$. Since $$D \cap \mathbb {K}_\eta \subset B$$ and f is increasing, it would follow from (41) that

\begin{aligned} \mu (D) \le \mu (B) \ll \frac{V^f(B)}{\eta } = \frac{f(r(B))}{\eta } \le \frac{f(r(D))}{\eta } = \frac{V^f(D)}{\eta }, \end{aligned}

and (23) would be satisfied.

Note that, since K(nB) forms a cover of $$D \cap \mathbb {K}_{\eta }$$, we have

\begin{aligned} \mu (D)&\le \sum _{i=1}^{l_B}{\sum _{L \in K(n,B,i): L \cap D \ne \emptyset }{\mu (L)}} \nonumber \\&= \sum _{i=1}^{l_B}{\sum _{(A;j)\in \widetilde{K}(n,B,i)}~{\sum _{\begin{array}{c} L \in \mathcal {C}(A;j)\\ L \cap D \ne \emptyset \end{array}}{\mu (L)}}} \nonumber \\&{\mathop {\ll }\limits ^{41}}~ \sum _{i=1}^{l_B}{\sum _{(A;j)\in \widetilde{K}(n,B,i)}~{\sum _{\begin{array}{c} L \in \mathcal {C}(A;j)\\ L \cap D \ne \emptyset \end{array}}{\frac{V^f(L)}{\eta }}}}. \end{aligned}
(46)

The remainder of the proof of Theorem 1 will be concerned with showing that (46) is suitably bounded. In order to perform this task, it is useful to partition sub-levels into the following cases:

Case 1 Sub-levels K(nBi) for which

\begin{aligned} \#\{L \in K(n,B,i): L \cap D \ne \emptyset \} = 1. \end{aligned}

Case 2 Sub-levels K(nBi) for which

\begin{aligned}&\#\{L \in K(n,B,i): L \cap D \ne \emptyset \} \ge 2\quad \text {and} \\&\#\{(A;j)\in \widetilde{K}(n,B,i) \text { with } D \cap L\ne \emptyset ~\text {for some }L\in \mathcal {C}(A;j)\} \ge 2. \end{aligned}

Case 3 Sub-levels K(nBi) for which

\begin{aligned}&\#\{L \in K(n,B,i): L \cap D \ne \emptyset \} \ge 2\quad \text {and} \\&\#\{(A;j)\in \widetilde{K}(n,B,i) \text { with } D \cap L\ne \emptyset ~\text {for some }L\in \mathcal {C}(A;j)\} = 1. \end{aligned}

Technically we should also consider those sub-levels K(nBi) for which $$\#\{L \in K(n,B,i): L \cap D \ne \emptyset \} = 0$$. However, these sub-levels make no contribution to the sum on the right-hand side of (46) and can therefore be omitted.

Dealing with Case 1 Let $$K(n,B,i^*)$$ be the first sub-level whose intersection with D is described by Case 1. There is a unique ball $$L^*$$ in $$K(n,B,i^*)$$ satisfying $$L^* \cap D \ne \emptyset$$. We know by (45) that there exists another ball $$M \in K(n,B)$$ such that $$M \cap D \ne \emptyset$$. Moreover, we also know that $$3L^*\cap 3M=\emptyset$$ by property (P1). Therefore $$D {\setminus } 3L^* \ne \emptyset$$ and so, applying Lemma 7, we have $$r(L^*) \le r(D)$$. Consequently, since f is a dimension function and hence increasing,

\begin{aligned} V^f(L^*) \le V^f(D). \end{aligned}
(47)

Using property (P4) we know that for $$i\in \{i^*+1,\ldots ,l_B\}$$ and $$L\in K(n,B,i)$$, we have

\begin{aligned} V^f(L)=f(r(L))\le 2^{-(i-i^*)}\ f(r(L^*))=2^{-(i-i^*)}\ V^f(L^*). \end{aligned}

Combining this inequality with (47), we see that the contribution to the right-hand side of (46) from Case 1 is:

\begin{aligned} \sum _{i \in \text {Case 1}}~~{\sum _{\begin{array}{c} L \in K(n,B,i)\\ L \cap D \ne \emptyset \end{array}}{\frac{V^f(L)}{\eta }}}&\le \sum _{i\ge i^*}~2^{-(i-i^*)}{\frac{V^f(L^*)}{\eta }} \le 2{\frac{V^f(L^*)}{\eta }}\le 2\frac{V^f(D)}{\eta }. \end{aligned}
(48)

Dealing with Case 2 Let K(nBi) be a sub-level whose intersection with D is described by Case 2. Thus, there exist distinct balls $$(A;j)$$ and $$(A';j')$$ in $$\widetilde{K}(n,B,i),$$ and corresponding balls $$L\in \mathcal {C}(A;j)$$ and $$L'\in \mathcal {C}(A';j')$$ satisfying $$L \cap D \ne \emptyset$$ and $$L' \cap D \ne \emptyset$$. Since $$L\subset A$$ and $$L'\subset A'$$ we have $$A\cap D\ne \emptyset$$ and $$A'\cap D\ne \emptyset$$. By property (P2) of our construction we know that the the balls 3A and $$3A'$$ are disjoint and contained in B. Therefore $$D {\setminus } 3A \ne \emptyset$$ and, applying Lemma 7, we see that $$r(A) \le r(D)$$ and $$A\subset 3A \subset 5D$$. By the same reasoning we also have $$A'\subset 3A' \subset 5D$$. Hence, on using (15) we get that the contribution to the right-hand side of (46) from Case 2 is estimated as follows

\begin{aligned} \sum _{i \in \text {Case 2}}~{\sum _{(A;j)\in \widetilde{K}(n,B,i)}~{\sum _{\begin{array}{c} L \in \mathcal {C}(A;j)\\ L \cap D \ne \emptyset \end{array}}{\frac{V^f(L)}{\eta }}}}&\le \sum _{i \in \text {Case 2}}~~{\sum _{\begin{array}{c} (A;j)\in \widetilde{K}(n,B,i) \\ A \subset 5D \end{array}}{\#\mathcal {C}(A;j)\frac{f(\Upsilon _j)}{\eta }}} \\&{\mathop {\ll }\limits ^{15}}\sum _{i \in \text {Case 2}}~{\sum _{\begin{array}{c} (A;j)\in \widetilde{K}(n,B,i) \\ A \subset 5D \end{array}}{\left( \frac{f(\Upsilon _j)}{g(\Upsilon _j)}\right) ^\frac{\kappa }{1-\kappa } \frac{f(\Upsilon _j)}{\eta }}}\\&= \sum _{i \in \text {Case 2}}~{\sum _{\begin{array}{c} (A;j)\in \widetilde{K}(n,B,i) \\ A \subset 5D \end{array}}{\frac{f(\Upsilon _j)^{\frac{\kappa }{1-\kappa }+1}}{g(\Upsilon _j)^{\frac{\kappa }{1-\kappa }}}\times \frac{1}{\eta }}}\\&= \sum _{i \in \text {Case 2}}~{\sum _{\begin{array}{c} (A;j)\in \widetilde{K}(n,B,i) \\ A \subset 5D \end{array}}{\frac{f(\Upsilon _j)^{\frac{1}{1-\kappa }}}{g(\Upsilon _j)^{\frac{\kappa }{1-\kappa }}}\times \frac{1}{\eta }}}\\&= \sum _{i \in \text {Case 2}}~{\sum _{\begin{array}{c} (A;j)\in \widetilde{K}(n,B,i) \\ A \subset 5D \end{array}}{\frac{V^g(A)}{\eta }}}. \end{aligned}

It follows upon combining this estimate with (1), (2), and the disjointness of balls in $$\widetilde{K}(n,B,i)$$ guaranteed by property (P2), that

\begin{aligned} \sum _{i \in \text {Case 2}}~{\sum _{(A;j)\in \widetilde{K}(n,B,i)}~{\sum _{\begin{array}{c} L \in \mathcal {C}(A;j)\\ L \cap D \ne \emptyset \end{array}}{\frac{V^f(L)}{\eta }}}}&{\mathop {\ll }\limits ^{(2)}}\frac{1}{\eta }\sum _{i \in \text {Case 2}}~{\sum _{\begin{array}{c} (A;j)\in \widetilde{K}(n,B,i) \\ A\subset 5D \end{array}}{\mathcal {H}^g(A)}} \\&{\mathop {=}\limits ^\mathbf{(P2) }} \frac{1}{\eta }\sum _{i \in \text {Case 2}}~{\mathcal {H}^g\left( \bigcup _{\begin{array}{c} (A;j)\in \widetilde{K}(n,B,i) \\ A\subset 5D \end{array}}A\right) } \\&\le \frac{1}{\eta }\sum _{i \in \text {Case 2}}{\mathcal {H}^g(5D)} \\&{\mathop {\ll }\limits ^{(2)}}\frac{1}{\eta }\sum _{i \in \text {Case 2}}{V^g(5D)} \\&{\mathop {\ll }\limits ^{(1)}}\frac{1}{\eta }\sum _{i \in \text {Case 2}}{V^g(D)} \\&\le \frac{1}{\eta }l_BV^g(D). \end{aligned}

Finally, it follows from the above estimate together with property (P5) that

\begin{aligned} \sum _{i \in \text{ Case } \text{2 }}~{\sum _{(A;j)\in \widetilde{K}(n,B,i)}~{\sum _{\begin{array}{c} L \in \mathcal {C}(A;j)\\ L \cap D \ne \emptyset \end{array}}}{\frac{V^f(L)}{\eta }}}&{\mathop {\ll }\limits ^\mathbf {(P5) }}\frac{1}{\eta }\left( \frac{V^f(B)}{V^g(B)}\right) V^g(D) \nonumber \\ {}&\ll \frac{1}{\eta }\frac{V^f(D)}{V^g(D)}V^g(D) \nonumber \\&= \frac{V^f(D)}{\eta }. \end{aligned}
(49)

To deduce the penultimate inequality we used the facts that f / g is decreasing and $$r(D) < r(B)$$.

Dealing with Case 3 For each sub-level i whose intersection with D is described by Case 3 there exists a unique $$(A_i;j_i)\in \widetilde{K}(n,B,i)$$ such that D has non-empty intersection with balls in $$\mathcal {C}(A_i;j_i)$$. Let $$K(n,B,i^{**})$$ denote the first sub-level described by Case 3. There exists a ball $$L^{**}$$ in $$K(n,B,i^{**})$$ such that $$L^{**} \cap D \ne \emptyset$$. By the assumption in (45) there must exist another ball $$M \in K(n,B)$$ such that $$M \cap D \ne \emptyset$$. It follows from property (P1) that $$3L^{**}$$ and 3M are disjoint and so $$D {\setminus } 3L^{**} \ne \emptyset .$$ Applying Lemma 7, we have that $$r(L^{**}) \le r(D).$$ As h is a dimension function it follows that

\begin{aligned} h(r(L^{**})) \le h(r(D)). \end{aligned}
(50)

By property (P4) we know that for any $$i\in \{i^{**}+1,\ldots ,l_B\}$$ and $$L\in K(n,B,i)$$ we have

\begin{aligned} h(r(L))\le 2^{-(i-i^{**})}\ h(r(L^{**})). \end{aligned}
(51)

Recall that, by Lemma 6, each $$L\in \mathcal {C}(A_i;j_i)$$ is centred on $$F_{j_i}.$$ Combining this fact with the LSP, the relations given by (2), and the fact that the elements of $$\mathcal {C}(A_i;j_i)$$ are disjoint, by straightforward measure theoretic considerations we have the following estimate

\begin{aligned} \#\{L \in \mathcal {C}(A_i;j_i): L \cap D \ne \emptyset \}\ll \frac{g(\Upsilon _{j_i})^{1-\kappa }g(r(D))^{\kappa }}{g(\Upsilon _{j_i})}. \end{aligned}
(52)

Therefore, the contribution to the right-hand side of (46) from Case 3 can be bounded above as follows:

\begin{aligned} \sum _{i \in \text {Case 3}}~{\sum _{(A;j)\in \widetilde{K}(n,B,i)}~{\sum _{\begin{array}{c} L \in \mathcal {C}(A;j)\\ L \cap D \ne \emptyset \end{array}}{\frac{V^f(L)}{\eta }}}}&\le \sum _{i \in \text {Case 3}}~{\sum _{\begin{array}{c} L \in \mathcal {C}(A_i;j_i) \\ L \cap D \ne \emptyset \end{array}}{\frac{V^f(L)}{\eta }}} \\&= \sum _{i \in \text {Case 3}}~{\sum _{\begin{array}{c} L \in \mathcal {C}(A_i;j_i) \\ L \cap D \ne \emptyset \end{array}}{\frac{f(\Upsilon _{j_i})}{\eta }}} \\&{\mathop {\ll }\limits ^{(52)}}\sum _{i \in \text {Case 3}}~{\frac{g(\Upsilon _{j_i})^{1-\kappa }g(r(D))^{\kappa }}{g(\Upsilon _{j_i})}\times \frac{f(\Upsilon _{j_i})}{\eta }}\\&= \frac{g(r(D))^{\kappa }}{\eta }\sum _{i \in \text {Case 3}}{\frac{f(\Upsilon _{j_i})}{g(\Upsilon _{j_i})^{\kappa }}}\\&= \frac{g(r(D))^{\kappa }}{\eta }\sum _{i \in \text {Case 3}}{h(\Upsilon _{j_i})} \\&{\mathop {\ll }\limits ^{(51)}}\frac{g(r(D))^{\kappa }}{\eta }\sum _{i \ge i^{**}}{\frac{h(\Upsilon _{j_{i^{**}}})}{2^{i-i^{**}}}} \\&\le 2\frac{g(r(D))^{\kappa }}{\eta }h(\Upsilon _{j_{i^{**}}}). \end{aligned}

Recalling (50) and noting that $$\Upsilon _{j_{i^{**}}} = r(L^{**})$$, we observe that

\begin{aligned} \sum _{i \in \text {Case 3}}~{\sum _{(A;j)\in \widetilde{K}(n,B,i)}~{\sum _{\begin{array}{c} L \in \mathcal {C}(A;j)\\ L \cap D \ne \emptyset \end{array}}{\frac{V^f(L)}{\eta }}}}&\ll 2\frac{g(r(D))^{\kappa }}{\eta }h(r(D)) \nonumber \\&= 2\frac{f(r(D))}{\eta } \ll \frac{V^f(D)}{\eta }. \end{aligned}
(53)

Combining estimates (48), (49) and (53) with (46) gives $$\mu (D) \ll \frac{V^f(D)}{\eta }$$, thus proving (23) as desired. This completes the proof of Theorem 1.

## 6 An application of Theorem 1: random $$\limsup$$ sets

In this section we give an application of Theorem 1 to the study of random $$\limsup$$ sets, which is a classical topic of interest within Probability Theory. We refer the reader to [14] and the references therein for more on this problem.

We start by imposing the additional assumptions that (Xd) is a compact metric space and $$g(r):=r^s$$ for some $$s> 0$$. By rescaling if necessary, we may assume without loss of generality that $$\mathcal {H}^s(X)=1.$$ Let $$(F_j)_{j \in \mathbb {N}}$$ be a sequence of sets satisfying the LSP with respect to some $$0\le \kappa <1$$. Assume that we are given a set of isometries $$\Phi$$ that are chosen randomly according to some law $$\mathbb {P}$$. Given a sequence of non-negative real numbers $$\Upsilon :=(\Upsilon _j)_{j \in \mathbb {N}}$$ and a randomly chosen sequence $$(\phi _j)_{j \in \mathbb {N}} \in \Phi ^\mathbb {N},$$ we define the corresponding random $$\limsup$$ set as follows:

\begin{aligned} \Lambda ((\phi _j),\Upsilon ):=\{x\in \Delta (\phi _j(F_j),\Upsilon _j) \text { for infinitely many } j\in \mathbb {N}\}. \end{aligned}

We are interested in determining the $$\mathbb {P}$$-almost sure Hausdorff dimension and Hausdorff measure of $$\Lambda ((\phi _j),\Upsilon ).$$ When $$(F_j)_{j \in \mathbb {N}}$$ is a sequence of points, then the $$\mathbb {P}$$-almost sure Hausdorff dimension and Hausdorff measure of $$\Lambda ((\phi _j),\Upsilon )$$ is well understood. When $$(F_j)_{j \in \mathbb {N}}$$ is a more exotic sequence of sets, the problem of determining the $$\mathbb {P}$$-almost sure metric properties of $$\Lambda ((\phi _j),\Upsilon )$$ is more difficult. That being said, in the Euclidean setting a comprehensive description of the $$\mathbb {P}$$-almost sure metric properties of $$\Lambda ((\phi _j),\Upsilon )$$ is given in [11]. See also [15] and [20]. Our application below holds in the more general metric space setting and also provides an alternative proof for some of the important results appearing in [11]. In what follows we assume that $$\mathbb {P}$$ satisfies the following properties:

• For any $$j\in \mathbb {N}$$ and $$\delta > 0$$ sufficiently small:

\begin{aligned} \mathbb {P}(x\in \Delta (\phi _j(F_j),\delta ))=\mathcal {H}^s(\Delta (F_j,\delta )). \end{aligned}
(54)
• For any sequence $$(\delta _j)_{j \in \mathbb {N}}$$ of sufficiently small numbers, we have that the sequence of events $$(E_j)_{j=1}^{\infty }=(\{x\in \Delta (\phi _j(F_j),\delta _j)\})_{j=1}^{\infty }$$ are independent, i.e. for any finite set $$S\subset \mathbb {N}$$ we have

\begin{aligned} \mathbb {P}\left( \bigcap _{j\in S}E_j\right) =\prod _{j\in S}\mathbb {P}(E_j). \end{aligned}

The main result of this section is Theorem 2 below. For convenience it is stated for $$(\Upsilon _j)_{j \in \mathbb {N}}$$ of the form $$(j^{-\tau })_{j \in \mathbb {N}}$$, although it holds in greater generality. To prove this theorem we will make use of the following well known result from Probability Theory known as the Second Borel–Cantelli Lemma, see [8].

### Lemma 8

(Second Borel–Cantelli Lemma) Let $$(X,\mathcal {A},\mu )$$ be a probability space. Let $$(E_j)_{j \in \mathbb {N}}$$ be an independent sequence of events such that $$\sum _{j=1}^{\infty }\mu (E_j)=\infty ,$$ then $$\mu (\limsup _{j \rightarrow \infty } E_j)=1.$$

### Theorem 2

Let (Xd),  $$\Phi ,$$ and $$\mathbb {P}$$ be as above. Suppose $$(F_j)_{j \in \mathbb {N}}$$ satisfies the LSP with respect to some $$0\le \kappa <1$$ and let $$\tau >\frac{1}{s-\kappa s}$$. Then, for $$\mathbb {P}$$-almost every $$(\phi _j)_{j \in \mathbb {N}} \in \Phi ^{\mathbb {N}}$$, we have

\begin{aligned} {{\,\mathrm{dim_H}\,}}(\Lambda ((\phi _j),(j^{-\tau })))=\kappa s+\frac{1}{\tau } \quad \text {and} \quad \mathcal {H}^{\kappa s+1/\tau }(\Lambda ((\phi _j),(j^{-\tau })))=\infty . \end{aligned}

### Proof

It follows from the LSP that for any $$j \in \mathbb {N}$$ and $$\delta >0$$ sufficiently small we have

\begin{aligned} \mathcal {H}^s(\Delta (F_j,\delta )) \asymp \delta ^{s-\kappa s}. \end{aligned}
(55)

Using the notation of Sect. 4, we see that when $$f(r)=r^t$$ we have $$\tilde{\Upsilon }_j=j^{\frac{\tau (\kappa s-t)}{s-\kappa s}}$$. When $$t=\kappa s+1/\tau$$ we have

\begin{aligned} \sum _{j=1}^{\infty }\mathbb {P}(x\in \Delta (\phi _j(F_j),\tilde{\Upsilon }_j)) {\mathop {=}\limits ^{(54)}}\sum _{j=1}^{\infty }\mathcal {H}^s(\Delta (F_j, \tilde{\Upsilon }_j)){\mathop {\asymp }\limits ^{(55)}}\sum _{j=1}^{\infty }j^{-1}=\infty . \end{aligned}

Applying Lemma 8, we may assert that for a fixed $$x\in X$$ we have

\begin{aligned} \mathbb {P}(x\in \Lambda ((\phi _j),\tilde{\Upsilon }))=1. \end{aligned}

Applying Fubini’s Theorem, we obtain that for $$\mathbb {P}$$-almost every $$(\phi _j)_{j \in \mathbb {N}}\in \Phi ^{\mathbb {N}}$$ we have

\begin{aligned} \mathcal {H}^s(\Lambda ((\phi _j),\tilde{\Upsilon }))=1, \end{aligned}
(56)

i.e. our random $$\limsup$$ set has full measure. Equation (56) tells us that for almost every $$(\phi _j)_{j \in \mathbb {N}}\in \Phi ^{\mathbb {N}}$$ the assumptions of Theorem 1 are satisfied. Therefore, we may apply Theorem 1 and conclude that for almost every $$(\phi _j)_{j \in \mathbb {N}}\in \Phi ^{\mathbb {N}}$$ we have

\begin{aligned} \mathcal {H}^{\kappa s+1/\tau }(\Lambda ((\phi _j),(j^{-\tau })))=\infty , \end{aligned}

since we assumed that $$\mathcal {H}^s(X)=1$$ and $$\kappa s + 1/\tau < s$$.

To complete our proof, it suffices to show that $$\mathcal {H}^{t}(\Lambda ((\phi _j),(j^{-\tau })))=0$$ for any $$(\phi _j)_{j \in \mathbb {N}}\in \Phi ^{\mathbb {N}}$$ and $$t>\kappa s + 1/\tau .$$ Therefore fix $$(\phi _j)_{j \in \mathbb {N}}\in \Phi ^{\mathbb {N}}$$. Applying the 5r-Covering Lemma (Lemma 3) we may construct for each $$j\in \mathbb {N}$$ a finite disjoint collection of balls $$\{B(x_{l,j},j^{-\tau })\}_{l\in Y_j}$$ such that $$\{B(x_{l,j},5j^{-\tau })\}_{l\in Y_j}$$ covers $$\Delta (\phi (F_j),j^{-\tau })$$. Notice that the collection $$\{B(x_{l,j},5j^{-\tau })\}_{l\in Y_j,j\ge N}$$ covers $$\Lambda ((\phi _j),(j^{-\tau }))$$ for any $$N\in \mathbb {N}$$. Furthermore, combining (2) and (55) we see that

\begin{aligned} \# Y_j \ll \frac{\mathcal {H}^s(\Delta (\phi _{j}(F_j),j^{-\tau }))}{j^{-\tau s}}\asymp \frac{j^{-\tau (s-\kappa s)}}{j^{-\tau s}}=j^{\tau \kappa s}. \end{aligned}
(57)

Taking $$\rho >0$$, $$\varepsilon >0$$ and $$t>\kappa s+1/\tau ,$$ we may choose N sufficiently large such that

\begin{aligned} \mathcal {H}^t_{\rho }(\Lambda ((\phi _j),(j^{-\tau })))\le \sum _{j=N}^{\infty }\sum _{l\in Y_j}(5j^{-\tau })^t {\mathop {\ll }\limits ^{(57)}}5^t \sum _{j=N}^{\infty }j^{\tau \kappa s-\tau t}<\varepsilon . \end{aligned}

Since $$\varepsilon$$ and $$\rho$$ were arbitrary we may deduce that $$\mathcal {H}^{t}(\Lambda ((\phi _j),(j^{-\tau })))=0$$ as required. Therefore, for $$\mathbb {P}$$-almost every $$(\phi _j)_{j \in \mathbb {N}} \in \Phi ^{\mathbb {N}}$$, we have

\begin{aligned} {{\,\mathrm{dim_H}\,}}(\Lambda ((\phi _j),(j^{-\tau }))) = \kappa s + \frac{1}{\tau }. \end{aligned}

$$\square$$