Local finiteness does not imply finite intensity
ID: local-finiteness-does-not-imply-finite-intensity
Here is an explicit example even within simple point processes. Let be a positive integer with probability mass function . The telescoping series sums to one, is finite almost surely, but . Conditional on , sample independent points with the uniform distribution on . The resulting point process has finitely many distinct points almost surely, while . Thus finite counts in each realization and finite mean counts are separate requirements; local finiteness of the intensity measure is an integrability assumption.
New to topics? Read the docs here!