]>
In this section we discuss several topics that are a bit advanced, but very important. In particular the results obtained in this section will be essential for establishing
Some of the concepts from the section on Partial Orders in the chapter on Foundations are essential for this section. As usual, our starting point is a random experiment with sample space and probability measure .
A sequence of events is said to be increasing if for each . Thus, the events are increasing with respect to the subset partial order. The terminology is also justified by considering the corresponding indicator variables.
Let denote the indicator variable of the event for . Show that the sequence of events is increasing if and only if the sequence of indicator variables is increasing in the ordinary sense. That is, for each .
If is an increasing sequence of events, we refer to the union of the events as the limit of the events:
Once again, the terminology is clarified by the corresponding indicator variables.
Suppose that is an increasing sequence of events. Let denote the indicator variable of for , and let denote the indicator variable of the union of the events. Show that
Generally speaking, a function is continuous if it preserves limits. Thus, the result in the following exercise is referred to as the continuity theorem for increasing events:
Suppose that is an increasing sequence of events. Show that
An arbitrary union of events can always be written as a union of increasing events, as the next exercise shows.
Suppose that is a sequence of events. Show that
Suppose that
is an event for a basic experiment with
.
In the compound experiment that consists of independent replications of the basic experiment, show that the event
eventually occurs
has probability 1.
A sequence of events is said to be decreasing if for each . Thus, the events are decreasing with respect to the subset partial order. The terminology is also justified by considering the corresponding indicator variables.
Let denote the indicator variable of an event for . Show that the sequence of events is decreasing if and only if the sequence of indicator variables is decreasing in the ordinary sense. That is, for each .
If is a decreasing sequence of events, we refer to the intersection of the events as the limit of the events:
Once again, the terminology is clarified by the corresponding indicator variables.
Suppose that is a decreasing sequence of events. Let denote the indicator variable of for , and let denote the indicator variable of the intersection of the events. Show that
The result in the following exercise is referred to as the continuity theorem for decreasing events :
Suppose that is a decreasing sequence of events. Show that
An arbitrary intersection of events can always be written as an intersection of decreasing events, as the next exercise shows.
Suppose that is a sequence of events. Show that
Suppose that is an arbitrary sequence of events.
Show that is decreasing in .
The limit (that is, the intersection) of the decreasing sequence in the previous exercise is called the limit superior of the original sequence.
Show that is the event that occurs if and only if occurs for infinitely many values of .
Once again, the terminology is justified by the corresponding indicator variables:
Let denote the indicator variable of for , and let denote the indicator variable of . Show that
Use the continuity theorem for decreasing events to show that
The result in the next exercise is the first Borel-Cantelli Lemma, named after Emil Borel and Francessco Cantelli. It gives a condition that is sufficient to conclude that infinitely many events occur with probability 0.
Show that if then .
In this section we suppose that is an arbitrary sequence of events.
Show that is increasing in .
The limit (that is, the union) of the increasing sequence in the previous exercise is called the limit inferior of the original sequence.
Show that is the event that occurs if and only if occurs for all but finitely many values of .
Once again, the terminology is justified by the corresponding indicator variables:
Let denote the indicator variable of for , and let denote the indicator variable of . Show that
Use the continuity theorem for decreasing events to show that
Show that .
Use DeMorgan's law to show that .
The result in the next exercise is the second Borel-Cantelli Lemma. It gives a condition that is sufficient to conclude that infinitely many events occur with probability 1.
Suppose that is a sequence of independent events. Show that if then .
Suppose that
is an event in a basic experiment with
.
Show that in the compound experiment that consists of independent replications of the basic experiment, the event
occurs infinitely often
has probability 1.
Suppose that we have an infinite sequence of coins labeled 1, 2, ... Moreover, coin has probability of heads for each , where is a parameter. We toss each coin in sequence one time. In terms of , find the probability of the following events:
Suppose that
and
are real-valued random variables for an experiment. We will discuss two ways that the sequence
can converge
to
as
.
These are fundamentally important concepts, since some of the deepest results in probability theory are limit theorems.
First, we say that as with probability 1 if
The statement that an event has probability 1 is the strongest statement that we can make in probability theory. Thus, convergence with probability 1 is the strongest form of convergence. The phrases almost surely and almost everywhere are sometimes used instead of the phrase with probability 1.
Next we say that as in probability if
The phrase in probability sounds superficially like the phrase with probability 1. However, as we will see, convergence in probability is much weaker than convergence with probability 1. Indeed, convergence with probability 1 is often called strong convergence, while convergence in probability is often called weak convergence. The next sequence of exercises explores convergence with probability 1. We will let denote the set of positive rational numbers; a critical point to remember is that this set is countable.
Show that the following events are equivalent:
Use the result of the previous exercise to show that the following are equivalent
Part (b) of this exercise and the first Borel-Cantelli Lemma lead to a nice criterion for convergence with probability 1:
Show that if for every then as with probability 1.
Part (c) of Exercise 25 leads to one of our main results: convergence with probability 1 implies convergence in probability.
Show that if as with probability 1 then as in probability.
The converse fails with a passion as the next exercise shows.
As in Exercise 23, suppose that we have a sequence of coins labeled 1, 2, ...; coin lands heads up with probability for each . We toss the coins in order to produce a sequence of independent indicator random variables with
However, there is a partial converse to Exercise 27 that is very useful.
Show that if as in probability, then there exists a subsequence of such that as with probability 1.
There are two other modes of convergence that we will discuss later: