Mapping theorem (point process)

The mapping theorem is a theorem in the theory of point processes, a sub-discipline of probability theory. It describes how a Poisson point process is altered under measurable transformations. This allows to construct more complex Poisson point processes out of homogeneous Poisson point processes and can for example be used to simulate these more complex Poisson point processes in a similar manner than inverse transform sampling.

Statement

Let be locally compact and polish and let

be a measurable function. Let be a Radon measure on and assume that the pushforward measure

of under the function is a Radon measure on .

Then the following holds: If is a Poisson point process on with intensity measure , then is a Poisson point process on with intensity measure .[1]

gollark: Yes, do so.
gollark: No. I'm busy adding to server lists directly.
gollark: I got a cheap USB HDMI input thing which is very helpful for debugging Pis without having to get an actual screen.
gollark: I was half joking.
gollark: "Active Steam Cooler. I don't even know. This makes no sense."

References

  1. Klenke, Achim (2008). Probability Theory. Berlin: Springer. p. 531. doi:10.1007/978-1-84800-048-3. ISBN 978-1-84800-047-6.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.