Lebesgue density and exceptional points

Alessandro Andretta, Riccardo Camerlo, Camillo Costantini

Work in the measure algebra of the Lebesgue measure on the Cantor space: for comeager many $[A]$ the set of points $x$ such that the density of $x$ at $A$ is not defined is $Σ^{0}…