Remarque. Si on utilise la d´efinition 3, l’une des preuves naturelles exploite la pro-
pri´et´e d’absence de m´emoire de la loi exponentielle.
Th´eor`eme 4.2 (Distribution des points) On consid`ere un processus de Poisson ho-
mog`ene d’intensit´e λ > 0. Alors, pour tout t > 0:
1. Ntsuit une loi P(λt).
2. Pour tout entier n≥0, conditionnellement `a Nt=n,{T1, . . . , Tn}a la mˆeme loi
que {U1, . . . , Un}o`u les Uisont i.i.d. uniformes sur [0, t].
Remarque. Le r´esultat pr´ec´edent est utile, entre autres choses, pour la simulation.
Th´eor`eme 4.3 (Amincissement) On consid`ere un processus de Poisson homog`ene (Ti)i
d’intensit´e λ > 0. On se donne une suite ind´ependante (Bi)ide v.a.i.i.d. de loi Bernoulli
de param`etre po`u p∈]0,1[. On consid`ere
χp={Ti:i≥1et Bi= 1}et χ1−p={Ti:i≥1et Bi= 0}.
Alors
—χpest un processus de Poisson homog`ene d’intensit´e λp.
—χ1−pest un processus de Poisson homog`ene d’intensit´e λ(1 −p).
—χpet χ1−psont ind´ependants.
Remarques.
— Ce r´esultat est fortement reli´e au r´esultat ´el´ementaire suivant. Soit Nune v.a. de
loi de Poisson de param`etre λ > 0. Soit (Bi)iune suite ind´ependante de v.a.i.i.d.
de loi Bernoulli de param`etre po`u p∈]0,1[. On consid`ere
Np=
N
X
i=1
Biet N1−p=
N
X
i=1
(1 −Bi).
Alors
—Npsuit une loi de Poisson de param`etre λp.
—N1−psuit une loi de Poisson de param`etre λ(1 −p).
—Npet N1−psont ind´ependants.
— Ces r´esultats ne sont-ils pas surprenants ?
Th´eor`eme 4.4 (Superposition) Soit χun processus de Poisson homog`ene d’intensit´e
λ > 0. Soit χ0un processus de Poisson homog`ene d’intensit´e λ0>0. On suppose ces deux
processus ind´ependants. Alors χ∪χ0est un processus de Poisson homog`ene d’intensit´e
λ+λ0.
Remarques.
— Ce r´esultat se d´emontre relativement facilement `a partir des d´efinitions 1 et 3. La
d´efinition 3 permet de montrer que, avec probabilit´e 1, χet χ0sont disjoints. On
a alors, pour tout 0 ≤s≤t,
card(χ∪χ0)∩[s, t]= cardχ∩[s, t]+ cardχ0∩[s, t].
5