Porosity, -porosity and measures
Porosity, -porosity and measures
We show that given a σ-finite Borel regular measure μ in a metric space X, every σ-porous subset of X of finite measure can be approximated by strongly porous sets. It follows that every σ-porous set is the union of a σ-strongly porous set and a μ-null set. This answers …