The Hausdorff measure of the intersection of sets of positive Lebesgue measure

Abstract

Erdos, Kestelman and Rogers [1[ showed that, if A1, A2,… is any sequence of Lebesgue measurable subsets of the unit interval [0, 1] each of Lebesgue measure at least η > 0, then there is a subsequence {Ani} (i = 1, 2,…) such that the intersection contains a perfect subset (and is therefore of power ). They asked for what Hausdorff measure functions φ(t) is it possible to choose the subsequence to make the intersection set ∩Ani of positive φ-measure. In the present note we show that the strongest possible result in this direction is true. This is given by the following theorem.