Finding subsets of positive measure

Publication date 8 August 2014

Computability and recursion theory (03Dxx)

Abstract: 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

m a t h c a l H^{s}

contains a closed subset of non-zero (and indeed finite)

m a t h c a l 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)

S i g m a_{1}^{1}

set of reals in Cantor space, there is always a

P i_{1}^{0} (m a t h c a l O)

subset on non-zero

m a t h c a l H^{s}

-measure definable from Kleene's

m a t h c a l O

. On the other hand, there are

P i_{2}^{0}

sets of reals where no hyperarithmetic real can define a closed subset of non-zero measure.

This page was built for publication: Finding subsets of positive measure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6253789)