A covering construction of labelled packing measure and content

Abstract

We introduce labelled packing measure by a covering construction in which each set has an independent positive label bounding its diameter and the radii in its local packing cost. Letting the labels tend to zero defines a metric outer measure $M^s$. For every $s>0$ and every metric space $(X,d)$, we prove \[ 2^{-s}{P}^s(F)\le{M}^s(F) \le C(s) P^s(F)\qquad(F\subset X), \] where $ P^s(F)$ is the classical packing measure and $C(s)$ depends only on $s$. Thus labelled packing measure and classical packing measure have the same null sets and critical exponent. Allowing arbitrary finite positive labels defines labelled packing content. At the common positive Hausdorff and packing dimension, this content and the labelled packing measure agree on cylinders associated with irreducible subshifts of finite type. In particular, equality holds for non-singleton self-similar attractors and components of finite strongly connected graph-directed systems, without separation assumptions.