The Besicovitch weak-packing property (Q5949357)

In a metric space \((X,d)\), a constituent is an ordered pair \((x,r)\), where \(x\in X\) and \(r> 0\); obviously the constituent \((x,r)\) may be thought of as the ball \(B(x,r)\); for \(E\subseteq X\), a fine cover of \(E\) is a collection of constituents centered in \(E\) such that for every \(x\in E\) and every \(\varepsilon> 0\), there is a constituent \((x,r)\) in the collection with \(r< \varepsilon\); the centralizer of a constituent \(B\) is defined to be the set \(C_B= \{x\in B:\exists r> 0\) with \(B(x,r)= B\}\); a collection \(\Pi\) of constituents centered in \(E\subseteq X\) is a weak-packing iff for every \(B(x,r)\), \(B(y,s)\in \Pi\) with \((x,r)\neq (y,s)\), we must have \(x\not\in B(y,s)\); a Borel measure \(\mu\) on \(X\) is said to satisfy the weak Vitali property iff for every Borel subset \(E\) of \(X\) with \(\mu(E)< \infty\) and any fine cover \(\vartheta\) of \(E\), we can extract a countable weak packing \(\{B_i\}\) from \(\vartheta\) such that \(\mu(E\setminus\cup B_i\}= 0\); a metric space \(X\) has the Besicovitch weak-packing property if there exists an integer \(K\) such that for any \(E\subseteq X\) and any fine cover \(\beta\) of \(E\), we can extract a countable subcover \(\beta'= \{B_i\}\) such that: i) for any \(n\), the constituent \(B_n\) intersects the centralizers of at most \(K-1\) of the previous \(n-1\) constituents; ii) if \(B,B'\in\beta'\), then \(B\cap C_{B'}= \emptyset\Leftrightarrow B'\cap C_B= \emptyset\). The main result of the paper is the following: Let \(X\) be a metric space that has the Besicovitch weak-packing property. Then every finite Borel measure on \(X\) has the weak Vitali property.