A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Finding subsets of positive measure
[article]
2014
arXiv
pre-print
An important theorem of geometric measure theory (first proved by Besicovitch and Davies for Euclidean space) says that every analytic set of non-zero s-dimensional Hausdorff measure H^s contains a closed subset of non-zero (and indeed finite) H^s-measure. We investigate the question how hard it is to find such a set, in terms of the index set complexity, and in terms of the complexity of the parameter needed to define such a closed set. Among other results, we show that given a (lightface)
arXiv:1408.1999v1
fatcat:zi4s6nw2azatvapyheo7nab6uy