Theorem

Let be a Poisson process of rate . Each event is independently classified as type I with probability or type II with probability .

Let and count type I and type II events respectively. Then:

  1. is a Poisson process with rate
  2. is a Poisson process with rate
  3. and are independent

Interpretation

Splitting a Poisson process randomly produces two independent Poisson processes. The independence is non-obvious — you might expect that more type I events means fewer type II events, but the randomness of the total count balances this out.

Proof Sketch

Verify satisfies the axiomatic definition of a Poisson process:

  1. (inherited from )
  2. Independent and stationary increments inherited from

Independence follows because the classification of each event is independent of everything else, so knowledge of type II event times gives no information about type I events.

Example

Immigrants arrive at rate 10/week. Each is of English descent with probability . The number of English immigrants in February (4 weeks) is .