Past exam of the mathematics course of the University of Cambridge / 2021 / ii / Paper 1 / 28K / a

Let $N_j(A)$ be the number of particles of gas $j$ in a bounded Lebesgue measurable set $A$. Because Lebesgue measure is diffuse, two independent spatial Poisson point processes have no common particle almost surely. Hence the mixture count isWriting ${\lambda }_j=z_j|A|$, independence gives the probability generating functionThus

If $A_1,\dots ,A_m$ are pairwise disjoint, the familyis independent: counts in disjoint sets are independent within each gas, and the two gases are independent. Therefore the sums $N(A_r)$ are independent. These two facts prove directly that the mixture is a Poisson point process. By the Superposition theorem for Poisson point processes, its activity is