 Solution

The mapping theorem for Poisson point processes applies provided $f$ is a measurable function and its pushforward measureis locally finite, meaningfor every bounded Borel set $B\subseteq {\mathbb{R}}^s$. If “Poisson process” means a simple point process, one also requires $f_{\ast }\Lambda$ to be atomless, equivalentlyUnder these conditions, $f(\Pi )$ is a Poisson point process with mean measure