Inscribing compact non-sigma-porous sets into analytic non-sigma-porous sets

Abstract

The main aim of this paper is to give a simpler proof of the following assertion. Let A be an analytic non-sigma-porous subset of a locally compact metric space E.

Then there exists a compact non-sigma-porous subset of A.