Some preliminary terminology.
Before making the question let me introduce some terminology.
Notation. Let $X$ be a set and $A$ a subset of $X$. I denote by $\chi_A\colon X\to\{0,1\}$ the characteristic function of $A$.
Definition $1$. We say that a metric space $(X,d)$ satisfies the Weak Besicovitch Covering Property $1$ (WBCP1) if there exists a constant $K\in\mathbb{N}^+$ such that every finite Besicovitch family of balls of $(X,d)$ has cardinality $\le K$.
Recall that a Besicovitch family of balls of $(X,d)$ is a family $\mathcal{F}$ of closed balls of $(X,d)$ such that the centre of each ball does not belong to any other ball of the family and such that $\bigcap\mathcal{F}\ne\emptyset$.
Proposition $a$. The WBCP$1$ is equivalent to require that there exists a constant $K\in\mathbb{N}^+$ such that for every finite family of closed balls of $(X,d)$ there exists a subfamily $\mathcal{G}\subseteq\mathcal{F}$ such that \begin{equation} \chi_C\le\sum_{G\in\mathcal{G}}\chi_G\le K \end{equation} where $C$ is the set of all the centres of the balls of $\mathcal{F}$.
Definition $2$. We say that a metric space $(X,d)$ satisfies the Weak Besicovitch Covering Property $2$ (WBCP2) if there exists a constant $N\in\mathbb{N}^+$ such that for every bounded set $A$ of $X$ and for every family of closed balls $\mathcal{F}$ of $(X,d)$ such that each point of $A$ is the centre of some ball of $\mathcal{F}$ and such that
- either $\sup\{r_B\mid B\in\mathcal{F}\}=+\infty$
- or $\{r_B\mid B\in\mathcal{F}\}$ is a discrete subset of $(0,+\infty)$,
there exists a countable subfamily $\mathcal{G}\subseteq\mathcal{F}$ such that it holds \begin{equation} \chi_A\le\sum_{G\in\mathcal{G}}\chi_G\le N. \end{equation}
Now, we are ready for the question.
How can I prove the following proposition? It is taken from page 109 of the " New Trends on Analysis and Geometry in Metric Spaces ", Levico Terme, Italy 2017.
Proposition $b$. The WBCP$1$ implies the WBCP$2$ in every metric space $(X,d)$.
A possible way to prove it could be to follow the idea of the proof of the fact that in every doubling metric space $(X,d)$ the WBCP$1$ is equivalent to the BCP (see Proposition 3.7 of the Article " BESICOVITCH COVERING PROPERTY ON GRADED GROUPS AND APPLICATIONS TO MEASURE DIFFERENTIATION " of Le Donne and Rigot.). I recall the BCP in the following definition.
Definition 3. We say that a metric space $(X,d)$ satisfies the Besicovitch Covering Property (BCP) if there exists a constant $N\in\mathbb{N}^+$ such that for every bounded set $A$ of $X$ and for every family of closed balls $\mathcal{F}$ of $(X,d)$ such that each point of $A$ is the centre of some ball of $\mathcal{F}$, there exists a countable subfamily $\mathcal{G}\subseteq\mathcal{F}$ such that it holds \begin{equation} \chi_A\le\sum_{G\in\mathcal{G}}\chi_G\le N. \end{equation}
Why I need the proof of Proposition b?
Because I'm trying to prove the implication 1 $\implies$ 2 of the Preiss Theorem that is the following one.
Theorem. Let $(X,d)$ be a separable complete metric space. Then the following are equivalent.
- $(X,d)$ is $\sigma$-finite dimensional, that is to say, there exists a sequence $\{X_n\}_{n\in\N}$ of subsets of $X$ such that $X=\bigcup_{n=0}^{+\infty}X_n$ and a sequence $\{s_n\}_{n\in\N}\subseteq(0,+\infty]$ such that every set $X_n$ has finite Nagata dimension inside $X$ on scale $s_n$.
- $(X,d)$ has the Lebesegue Differentation Property, that is to say, for every locally finite Borel measure $\mu$ on $X$ it exists \begin{equation} \lim_{r\to0^+}\frac{1}{\mu(\mathbb{B}(x,r))}\int_{\mathbb{B}(x,r)}f\,d\mu=f(x)\quad\text{ for }\mu-a.e.\, x\in X \end{equation} for every $\mu$-measurable function $f\colon X\to\overline{\mathbb{R}}$ such that \begin{equation} \int_{A}|f|\,d\mu<+\infty\text{ for all $\mu$-measurable bounded set $A\subseteq X$}. \end{equation}
If anyone knows where I can find a detalied Proof of the latter theorem, please let me know becasuse it would be very usefull for me. I know that David Preiss proved it the "Dimension of metrics and differentiation of measures", General topology and its relations to modern analysis and algebra, V (Prague, 1981), Sigma Ser. Pure Math., vol. 3, Heldermann, Berlin, 1983, pp. 565–568. But I cannot find this article anywhere.