Aller au contenu
XiMaths
← Tous les exercices

Premier lemme de Borel-Cantelli

L2L3M1MPMPIPSIdifficulté 2/5Probabilités · Inégalités et théorèmes limitespar XiMaths▲ Exercice utile · 0

Énoncé

Soit (An)n≥1(A_n)_{n \geq 1} une suite d'événements telle que la série ∑n≥1P(An)\displaystyle\sum_{n \geq 1} P(A_n) converge. On note lim sup⁡nAn=⋂n≥1⋃k≥nAk\displaystyle\limsup_{n} A_n = \bigcap_{n \geq 1} \bigcup_{k \geq n} A_k l'événement « une infinité des AnA_n sont réalisés ».

Montrer que P(lim sup⁡nAn)=0P\left(\limsup_{n} A_n\right) = 0 : presque sûrement, seul un nombre fini des événements AnA_n est réalisé.

Indications

Indication 1

Pour tout nn, lim sup⁡nAn⊂⋃k≥nAk\limsup_n A_n \subset \bigcup_{k \geq n} A_k, donc P(lim sup⁡nAn)≤∑k≥nP(Ak)P\left(\limsup_n A_n\right) \leq \displaystyle\sum_{k \geq n} P(A_k) par sous-additivité.

Indication 2

Ce majorant est le reste d'une série convergente.

Ta solution

Connecte-toi pour envoyer ta copie en photos : trois membres la reliront.

PartagerWhatsAppFacebookXPinterestEmail

Questions et remarques

Pour demander une précision, signaler une coquille ou discuter d'une méthode. Pas de solution ici : elle s'envoie en copie, plus haut.

Connecte-toi pour poser une question ou répondre.

Exercices proches

Licence CC BY-SA 4.0.