Poisson random measure

Let $(E, \mathcal A, \mu)$ be some measure space with $\sigma$-finite measure $\mu$. The Poisson random measure with intensity measure $\mu$ is a family of random variables $\{N_A\}_{A\in\mathcal{A}}$ defined on some probability space $(\Omega, \mathcal F, \mathrm{P})$ such that

i) $\forall A\in\mathcal{A},\quad N_A$ is a Poisson random variable with rate $\mu(A)$.

ii) If sets $A_1,A_2,\ldots,A_n\in\mathcal{A}$ don't intersect then the corresponding random variables from i) are mutually independent.

iii) $\forall\omega\in\Omega\;N_{\bullet}(\omega)$ is a measure on $(E, \mathcal {A})$

Existence

If $\mu\equiv 0$ then $N\equiv 0$ satisfies the conditions i)–iii). Otherwise, in the case of finite measure $\mu$, given $Z$, a Poisson random variable with rate $\mu(E)$, and $X_{1}, X_{2},\ldots$, mutually independent random variables with distribution $\frac{\mu}{\mu(E)}$, define Failed to parse (Missing <code>texvc</code> executable. Please see math/README to configure.): N_{\cdot}(\omega) = \sum\limits_{i=1}^{Z(\omega)} \delta_{X_i(\omega)}(\cdot)

where $\delta_{c}(A)$ is a degenerate measure located in $c$. Then $N$ will be a Poisson random measure. In the case $\mu$ is not finite the measure $N$ can be obtained from the measures constructed above on parts of $E$ where $\mu$ is finite.

Applications

This kind of random measure is often used when describing jumps of stochastic processes, in particular in Lévy–Itō decomposition of the Lévy processes.