Probability with Measure
1.4 The Borel -field
In this section introduce another example of a measure space, which will represent the notion of measuring the ‘length’ of subsets of . For an interval it is clear that the length should be ,
but as we saw in Section 1.1 for more complicated subsets of the situation is not so clear.
-
Consider, for example, the irrational numbers and the rational numbers . Both
and are found throughout , but they are both full of tiny holes. Can we find a meaningful way to decide what is the ‘length’ of and ? In fact, we will see that we can – to
come in Section 1.5. But in Section 1.6 we will also show that it is possible to
construct subsets of for which there is no meaningful idea of length.
In this section we take . The first question is: which -field should we use? The power set is too big, for reasons that we will make clear in Section 1.6. However, for practical purposes we do need our -field to contain all open and closed intervals, and also unions, intersections
and complements of these. This provides a starting point.
Note that also contains isolated points where . To see this first observe that and also .
Now by (S2), and . Finally as -fields are closed under intersections,
. You can show that also contains all closed intervals – see Problem 1.6. With open and closed intervals in hand, the closure of -fields under countable set operations gives
us a way to construct a huge variety of Borel sets.
As a general rule, all ‘sensible’ subsets of are Borel sets. We might hope to find some sort of formula for a general element of , but this is not possible. Unless you deliberately set out to
find a non-Borel subset of you will never come across one – and even when you look for them it is hard work to find them, as we will see in Section 1.6.