Borel-Cantelli Theorem of a Finite Series of Independent Events
up vote
0
down vote
favorite
Let ${A_n}_{n=1}^{infty}$ be a independent sequence of events such that $sum_{n=1}^{infty}P(A_n) <infty$, then $P(A_n i.o.) =0 $.
We have that $P(A_n i.o.) =bigcap_{m=1}^{infty} bigcup_{n=m}^{infty} P(A_n)$ which I understand, its the definition.
However part of most of the proofs I have read do additional step where
$bigcap_{m=1}^{infty} bigcup_{n=m}^{infty} P(A_n)= lim_{mrightarrow infty} P(bigcup_{n=m}^{infty} A_n) $.
I don't understand why those two values are equal.
probability-theory statistics proof-explanation
asked Nov 15 at 16:28
kpr62
153
add a comment |
up vote
0
down vote
favorite
Let ${A_n}_{n=1}^{infty}$ be a independent sequence of events such that $sum_{n=1}^{infty}P(A_n) <infty$, then $P(A_n i.o.) =0 $.
We have that $P(A_n i.o.) =bigcap_{m=1}^{infty} bigcup_{n=m}^{infty} P(A_n)$ which I understand, its the definition.
However part of most of the proofs I have read do additional step where
$bigcap_{m=1}^{infty} bigcup_{n=m}^{infty} P(A_n)= lim_{mrightarrow infty} P(bigcup_{n=m}^{infty} A_n) $.
I don't understand why those two values are equal.
probability-theory statistics proof-explanation
asked Nov 15 at 16:28
kpr62
153
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Let ${A_n}_{n=1}^{infty}$ be a independent sequence of events such that $sum_{n=1}^{infty}P(A_n) <infty$, then $P(A_n i.o.) =0 $.
We have that $P(A_n i.o.) =bigcap_{m=1}^{infty} bigcup_{n=m}^{infty} P(A_n)$ which I understand, its the definition.
However part of most of the proofs I have read do additional step where
$bigcap_{m=1}^{infty} bigcup_{n=m}^{infty} P(A_n)= lim_{mrightarrow infty} P(bigcup_{n=m}^{infty} A_n) $.
I don't understand why those two values are equal.
probability-theory statistics proof-explanation
asked Nov 15 at 16:28
kpr62
153
Let ${A_n}_{n=1}^{infty}$ be a independent sequence of events such that $sum_{n=1}^{infty}P(A_n) <infty$, then $P(A_n i.o.) =0 $.
We have that $P(A_n i.o.) =bigcap_{m=1}^{infty} bigcup_{n=m}^{infty} P(A_n)$ which I understand, its the definition.
However part of most of the proofs I have read do additional step where
$bigcap_{m=1}^{infty} bigcup_{n=m}^{infty} P(A_n)= lim_{mrightarrow infty} P(bigcup_{n=m}^{infty} A_n) $.
I don't understand why those two values are equal.
probability-theory statistics proof-explanation
probability-theory statistics proof-explanation
asked Nov 15 at 16:28
kpr62
153
asked Nov 15 at 16:28
kpr62
153
asked Nov 15 at 16:28
kpr62
153
asked Nov 15 at 16:28
kpr62
153
asked Nov 15 at 16:28
kpr62
153
153
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
up vote
0
down vote
Let $B_m=bigcup_{n=m}^{infty}A_n$ and $$B:=bigcap_{m=1}^{infty}B_mtag1$$
This with: $$B_1supseteq B_2supseteq B_3supseteqcdotstag2$$
Based on $(1)$ and $(2)$ that in can be shown that $P(B_n)downarrow P(B)$.
Can you figure out why yourself?
answered Nov 15 at 16:42
drhab
94.7k543125
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
0
down vote
Let $B_m=bigcup_{n=m}^{infty}A_n$ and $$B:=bigcap_{m=1}^{infty}B_mtag1$$
This with: $$B_1supseteq B_2supseteq B_3supseteqcdotstag2$$
Based on $(1)$ and $(2)$ that in can be shown that $P(B_n)downarrow P(B)$.
Can you figure out why yourself?
answered Nov 15 at 16:42
drhab
94.7k543125
add a comment |
up vote
0
down vote
Let $B_m=bigcup_{n=m}^{infty}A_n$ and $$B:=bigcap_{m=1}^{infty}B_mtag1$$
This with: $$B_1supseteq B_2supseteq B_3supseteqcdotstag2$$
Based on $(1)$ and $(2)$ that in can be shown that $P(B_n)downarrow P(B)$.
Can you figure out why yourself?
answered Nov 15 at 16:42
drhab
94.7k543125
add a comment |
up vote
0
down vote
up vote
0
down vote
Let $B_m=bigcup_{n=m}^{infty}A_n$ and $$B:=bigcap_{m=1}^{infty}B_mtag1$$
This with: $$B_1supseteq B_2supseteq B_3supseteqcdotstag2$$
Based on $(1)$ and $(2)$ that in can be shown that $P(B_n)downarrow P(B)$.
Can you figure out why yourself?
answered Nov 15 at 16:42
drhab
94.7k543125
Let $B_m=bigcup_{n=m}^{infty}A_n$ and $$B:=bigcap_{m=1}^{infty}B_mtag1$$
This with: $$B_1supseteq B_2supseteq B_3supseteqcdotstag2$$
Based on $(1)$ and $(2)$ that in can be shown that $P(B_n)downarrow P(B)$.
Can you figure out why yourself?
answered Nov 15 at 16:42
drhab
94.7k543125
answered Nov 15 at 16:42
drhab
94.7k543125
answered Nov 15 at 16:42
drhab
94.7k543125
answered Nov 15 at 16:42
drhab
94.7k543125
94.7k543125
add a comment |
add a comment |
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2999921%2fborel-cantelli-theorem-of-a-finite-series-of-independent-events%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
