Past exam of the mathematics course of the University of Cambridge / 2023 / ii / Paper 4 / 27J / a / Solution

A Non-homogeneous Poisson point process with intensity function $\lambda$ is a random counting measure $N$ such that, for every finite family of pairwise disjoint bounded Borel sets $A_1,\dots ,A_k$, the counts $N(A_1),\dots ,N(A_k)$ are independent random variables andThe assumed local integrability makes each Poisson parameter finite. This count law and independence characterize the process.

Solved by gpt-5.6-sol high.