Intensity measure of a point process ($\mu (A)=\mathbb{E}\Pi (A)$)

The intensity measure of a point process $\Pi$ is its expected counting measure:It may take the value $+\infty$.^[ref] Countable additivity follows by applying the monotone convergence theorem to the counts of finite unions of pairwise disjoint observation windows. If $\mu$ is locally finite and absolutely continuous with respect to Lebesgue measure, its Radon-Nikodym derivative is the intensity function of a point process $\lambda$: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 $\mu ={\delta }_0$, a Dirac measure, and no Lebesgue measure density. The density representation requires its own assumption.^[ref]

For a bounded Borel set $W$, $\mathbb{E}[N_W]=\mu (W)$, but local finiteness alone does not ensure that this expected value is finite. Conversely, $\mu (W)<\infty$ implies $N_W<\infty$ almost surely, even when $W$ is unbounded. A constant finite intensity function of a point process on all of ${\mathbb{R}}^d$ has infinite total intensity measure, although every bounded window has finite expected value.

Here is an explicit example even within simple point processes. Let $K$ be a positive integer with probability mass function $\mathbb{P}(K=k)=1/[k(k+1)]$. The telescoping series sums to one, $K$ is finite almost surely, but $\mathbb{E}[K]={\sum }_{k\ge 1}1/(k+1)=\infty$. Conditional on $K$, sample $K$ independent points with the uniform distribution on $(0,1)$. The resulting point process has finitely many distinct points almost surely, while $\mu ((0,1))=\infty$. Thus finite counts in each realization and finite mean counts are separate requirements; local finiteness of the intensity measure is an integrability assumption.

The same intensity measure can belong to very different point processes. A Poisson point process with a locally finite intensity measure $\mu$ adds two requirements: each finite-intensity window count has the Poisson distribution of mean $\mu (W)$, and counts in pairwise disjoint observation windows are mutually independent. These requirements determine its probability law; they do not follow from the formula for $\mu$.^[ref]

A randomly shifted lattice point process, a unit-rate Poisson point process, and the shared random rate gives dependent point counts construction all satisfy $\mu (A)=|A|$ on the real line. Nevertheless, their counts in $[0,1)$ have respectively variance zero, one, and two. Counts in the disjoint observation windows $[0,1/2)$ and $[1/2,1)$ have respectively covariance $-1/4$, zero, and $1/4$. These exact calculations show why measuring mean density cannot identify a spacing or statistical dependence model.

Let $U$ have the uniform distribution on $[0,1)$ and place a point at every $k+U$, $k\in \mathbb{Z}$. This is a simple point process, locally finite, and a stationary point process: a translation only changes the phase modulo one, preserving its uniform distribution. For every Borel set $A$, the Tonelli theorem givesIts consecutive points are exactly one unit apart, despite having the same intensity measure as a unit-rate Poisson point process. This is the one-dimensional translated-grid construction.^[ref]

Every half-open interval of length one contains exactly one point. For $A=[0,1/2)$ and $B=[1/2,1)$, $\Pi (A)+\Pi (B)=1$, each count has the Bernoulli distribution with parameter $1/2$, andMore generally, an interval of length $L=m+r$, with $m$ a nonnegative integer and $0\le r<1$, contains $m$ or $m+1$ points with probabilities $1-r$ and $r$. Its count variance is $r(1-r)$, while a unit-rate Poisson point process has count variance $L$.

Draw one random variable $R$, taking values zero and two with equal probabilities. Conditional on $R$, generate a Poisson point process on the real line with constant rate $R$. This is a Cox process directed by the random measure $Rdx$: the same rate is shared by every window. It is a locally finite simple point process and a stationary point process. The law of total expectation gives $\mu (A)=\mathbb{E}[R]|A|=|A|$; the law of total variance and law of total covariance give, for bounded Borel sets $A,B$ with $A\cap B=\varnothing$,The conditional covariance vanishes by independence, but the shared conditional means fluctuate together. This distinguishes conditional from unconditional independence.^[ref]

For a window of length $L$, the exact probability mass function isIn particular, its void probability functional is $(1+e^{-2L})/2$, compared with $e^{-L}$ for the unit-rate Poisson point process. Whole realizations can be empty or comparatively crowded, while their mean density remains one. This example demonstrates shared-rate statistical dependence, rather than a model of short-range offspring clusters.