
1 Continuity of Probability
Motivation
In probability, we often describe complicated events as limits of simpler events. For example,
suppose we have events
A
1
, A
2
, . . . , A
n
, . . .
and we want to understand the probability of an event obtained by taking an infinite union or an
infinite intersection. The key fact is that the probability function P(·) behaves continuously under
limits of certain sequences of events, in a precise mathematical sense. This is called the continuity
of probability, which we will prove here. Before that, we revisit the probability axioms.
Probability Space
A probability space is a triple
(S, F, P),
where
(1) Sample space.
S is the set of all possible outcomes of the experiment.
(2) Sigma-algebra.
F is a collection of subsets of S, called events, satisfying:
(a)
S ∈ F.
(b) If A ∈ F, then
A
c
∈ F.
(c) If
A
1
, A
2
, . . . , A
n
, . . . ∈ F,
then
∞
[
n=1
A
n
∈ F.
A collection satisfying these three properties is called a σ-algebra (or sigma-field).
(3) Probability measure.
P : F → [0, 1] is a function that assigns a probability to every event in F. Such a function is
called a probability measure and satisfies the following axioms.
(A1) Nonnegativity:
P(A) ≥ 0, for every A ∈ F.
(A2) Normalization:
P(S) = 1.
2