Analytic sets of reals and the density function in the Cantor space

  • Alessandro Andretta
  • Riccardo Camerlo
Research Article


We study the density function of measurable subsets of the Cantor space. Among other things, we identify a universal set Open image in new window for \(\varvec{\varSigma }^{1}_{1}\) subsets of Open image in new window in terms of the density function; specifically Open image in new window is the set of all pairs (Kr) with K compact and Open image in new window being the density of some point with respect to K. This result yields that the set of all K such that the range of their density function is Open image in new window , for some fixed uncountable analytic set \(S\subseteq (0;1)\), is \(\varvec{\varPi }^{1}_{2}\)-complete.


Density function Cantor space Analytic sets 

Mathematics Subject Classification

03E15 28A05 



The authors would like to thank Vassilios Gregoriades, Alain Louveau, and John Steel for illuminating discussions.


  1. 1.
    Andretta, A., Camerlo, R.: The descriptive set theory of the Lebesgue density theorem. Adv. Math. 234, 1–42 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Andretta, A., Camerlo, R., Costantini, C.: Lebesgue density and exceptional points (2015). arXiv:1510.04193
  3. 3.
    Camerlo, R., Darji, U.B.: Construction of Borel inseparable coanalytic sets. Real Anal. Exchange 28(1), 163–180 (2002/03)Google Scholar
  4. 4.
    Camerlo, R., Gao, S.: The completeness of the isomorphism relation for countable Boolean algebras. Trans. Amer. Math. Soc. 353(2), 491–518 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Kechris, A.S.: Classical Descriptive Set Theory. Graduate Texts in Mathematics, vol. 156. Springer, New York (1995)Google Scholar
  6. 6.
    Kechris, A.S.: On the concept of \({\varvec {\varPi }}^{1}_{1}\)-completeness. Proc. Amer. Math. Soc. 125(6), 1811–1814 (1997)MathSciNetCrossRefGoogle Scholar
  7. 7.
    Moschovakis, Y.N.: Descriptive Set Theory. 2nd edn. Mathematical Surveys and Monographs, vol. 155. American Mathematical Society, Providence (2009)Google Scholar
  8. 8.
    Steel, J.R.: Determinateness and the separation property. J. Symbolic Log. 46(1), 41–44 (1981)MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Dipartimento di MatematicaUniversita di TorinoTurinItaly
  2. 2.Dipartimento di MatematicaPolitecnico di TorinoTurinItaly

Personalised recommendations