Measure and dimension functions: measurability and densities (Q4357739)

Let \((X, d)\) be a Polish space and \(({\mathcal K}(X),\rho)\) the space of non-empty compact subsets of \(X\) with the Hausdorff metric \(\rho\). The authors show that 1) the Hausdorff dimension \(\dim_H:{\mathcal K}(X)\to [0, \infty]\) (as well as Hausdorff measure) is a Borel function with respect to the topology of \(({\mathcal K}(X),\rho)\). More precisely, it is of Baire class 2, but not of Baire class 1 in the general case. 2) The packing dimension (as well as the packing measure in the radii based setting with doubling condition) \(\dim_p:{\mathcal K}(X)\to [0,\infty]\) is not a Borel function in the general setting, as an extensive example shows, but it is measurable with respect to the \(\sigma\)-algebra of analytic sets in \(({\mathcal K}(X),\rho)\). The authors show that the difference in behavior of packing dimension depends on the two stage construction of a packing measure. Thus, prepacking measure is still of Baire class 2 provided that the radii based construction with doubling condition for the Hausdorff measure function is preferred. The authors ask whether the result is also true without doubling condition. On the other side for the diameter based construction of packing measure, the above measurability result holds for the related packing dimension, but it is open for the underlying packing measure itself. The measurability of sections w.r.t. to both kinds of dimension is comparable with the general situation. The last section of the paper is concerned with densities. It shows that Saint-Raymond and Tricot's theorem is true in a Hilbert space \(X\). If \(s>0\) and \(A\subset X\) has positive finite \(s\)-dimensional packing measure, then \(s\)-dimensional Hausdorff measure and \(s\)-dimensional packing measure of \(A\) are equal iff \(s\) is an integer and \(A\) is rectifiable with respect to the packing measure.