Non σ-finite closed subsets of analytic sets

Abstract

A set is said to be σ-finite (with respect to Λs-measure) if it can be expressed as a countable sum of sets of finite Λs-measure. I have proved(1) that every non σ-finite analytic set in a Euclidean space contains a closed set of infinite measure, and Prof. Besicovitch asked me whether the closed subset could itself be chosen to be non σ-finite. In this paper an affirmative answer is given.