The past few problems looked at how probability works when we have an infinite sample space. It didn’t cover how one can actually assign probabilities to such spaces. That will be the next task. Before that, the book covers the topic of -algebras which form the algebra of events on top of which we can assign a measure.
Given a set , and a set of subsets
, we say that
is an algebra if
and is closed under unions and complementation. A
-algebra adds to that the requirement that it also be closed under countable unions. The pair
is called a measureable space.
Let be
-algebras of
. Are the following systems of sets
-algebras?
The intersection of -algebras is also a
-algebra because
, and
in the intersection is contained in both
and
.
However, the union of -algebras is not always a
-algebra. For instance, let
,
, then their union does not contain
.