Intensity measure of a point process

ID: intensity-measure-of-a-point-process

The intensity measure of a point process is its expected counting measure:
It may take the value .[ref] Countable additivity follows by applying the monotone convergence theorem to the counts of finite unions of pairwise disjoint observation windows. If is locally finite and absolutely continuous with respect to Lebesgue measure, its Radon-Nikodym derivative is the intensity function of a point process :
This is an expected number per unit volume, not a probability density function for a randomly selected point. For example, a single deterministic point has , a Dirac measure, and no Lebesgue measure density. The density representation requires its own assumption.[ref]
For a bounded Borel set , , but local finiteness alone does not ensure that this expected value is finite. Conversely, implies almost surely, even when is unbounded. A constant finite intensity function of a point process on all of has infinite total intensity measure, although every bounded window has finite expected value.

New to topics? Read the docs here!