Porous sets that are Haar null, and nowhere approximately differentiable functions

Abstract

HP-smallness is defined, stronger both than sigma-porosity and Haar nullness. The sets of all (somewhere) approximately differentiable continuous, all (somewhere) Hoelder functions on [0,1] and all Besicovitch functions are HP-small.