Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

$P(\bigcup_{n=1}^\infty A_n)=1$ iff $P(A_n i.o.)=1$

I have always struggled with the "infinitely often" and "all but finitely often" concepts for sequences. My first time through Resnick, I don't think I was equipped with the tools necessary for this exercise using only what I had learned in the text previously, and so I wanted to come back to a few problems.

I still am not sure how to proceed at all here.

I think I understand the question to basically state "The probability that a union of a sequence of events is 1 if and only if the probability of that sequence occurring infinitely often is also 1.

As per the comments below, an additional assumption is that each of the events has $P(A_i)<1$ and each event is independent.

So, to start out, I can define:

$\{A_n i.o.\}=\limsup_{n\to\infty}A_n=\bigcap_{n=1}^\infty\bigcup_{k=n}A_k$

but from here I am not sure where to go (or if I've even begun correctly).

Feel free to be as explicit as possible as these ideas ($\limsup$, etc.) have always seemed to elude me. Thank you for the help.

share|improve this question
    
you are missing something. are they supposed to be independent ? –  mike Oct 23 '12 at 15:09
    
All events in the sequence are supposed to be independent and with probability less than $1$. Otherwise, $\Omega,\emptyset,\emptyset,\ldots$ is a counterexample –  Michael Greinecker Oct 23 '12 at 15:12
    
@MichaelGreinecker, I have updated the question with your comments. I did not see those critical pieces of information. Now that the question is (hopefully) correct, how do I procede? –  Justin Oct 23 '12 at 17:08

2 Answers 2

up vote 1 down vote accepted

Hint Show that (1) $\iff$ (2) $\iff$ (3) $\iff$ (4) $\iff$ (5) $\iff$ (6), where:

(1) $\mathbb P\left(\bigcup\limits_{n\geqslant1}A_n\right)=1$. (2) $\mathbb P\left(\bigcap\limits_{n\geqslant1}(\Omega\setminus A_n)\right)=0$. (3) $\prod\limits_{n\geqslant1}(1-\mathbb P(A_n))=0$. (4) $\sum\limits_{n\geqslant1}\mathbb P(A_n)=+\infty$. (5) $\mathbb P\left(\limsup A_n\right)=1$. (6) $\mathbb P\left(A_n\ \text{i.o.}\right)=1$.

If a step is unclear, please say so.

share|improve this answer
    
Thanks. I believe it all flows and makes sense. –  Justin Oct 24 '12 at 17:16
    
I think $4 \Rightarrow 5$ because of 2nd Borel-Cantelli Lemma But I don't think the other way is true in general. Also Can you explain how $3 \Leftrightarrow 4 $ ? –  Ramana Venkata Jan 29 at 3:33
    
@RamanaVenkata With independence? Of course $5\to4$. –  Did Jan 29 at 6:00

While did's solution is correct and complete, I thought that it needs a little justification that why from the step $\prod_{n \ge 1} (1 - P(A_n))$ we can conclude that $P(lim sup A_n) = 1$. Here is my solution:

We need to show: $\{A_n i.o.\}=\limsup_{n\to\infty}A_n=\bigcap_{n=1}^\infty\bigcup_{k=n}A_k$

Consider $B_i = \bigcup_{k=i}A_k $. We need to show that $\forall i : p(B_i) = 1$ to do that we have:

Based on the assumption $P(\bigcup_{n=1}^\infty A_n)=1 \rightarrow P(\bigcup_{n=1}^{i} A_n \cup \bigcup_{n= i + 1}^\infty A_n)=1 \rightarrow \text{we expand the prob} \rightarrow P(\bigcup_{n=1}^{i} A_n) + P(\bigcup_{n= i + 1}^\infty A_n) - P(\bigcup_{n=1}^{i} A_n)P(\bigcup_{n= i + 1}^\infty A_n) \text{the third part is because events are independent} \rightarrow 1 - P(\bigcup_{n=1}^{i} A_n) = P(\bigcup_{n= i + 1}^\infty A_n)(1 - P(\bigcup_{n=1}^{i} A_n)) \rightarrow \text{not that since $P(A_i)<1$ then $P({A_i}^{c})\ne 1$ so $(1 - P(\bigcup_{n=1}^{i} A_n)) = P({(\bigcup_{n=1}^{i} A_n)}^c) \ne 0$} \rightarrow P(\bigcup_{n= i + 1}^\infty A_n) = p(B_i) = 1 \text{ $\forall i$}$

Now note that because of continuity from above of $p(B_i) = P(\bigcup_{n= i + 1}^\infty A_n)$, we know that $P(B_i) \downarrow p(lim sup A_n)$ and note that $P(B_i) = 1 \text{ $\forall i$}$ $\rightarrow P(\limsup_{n\to\infty}A_n) = 1 \rightarrow P(A_n i.o.) = 1$

Hope it helps.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.