σ-algebras
At the end of the previous section we saw that there was no function from to that is countably additive, translation invariant, and assigns intervals their usual lengths. Beholden to those three properties, we will continue by allowing ourselves to shrink the domain of to a specific collection of subsets of . In preparation for this, we discuss in this section the abstract properties such collections of subsets will need to have.
The definition
A σ-algebra on a set is any collection of subsets of satisfying abstract rules. In this course, we will use σ-algebras to keep track of the subsets of whose size we are permitted to calculate.
Definition
Fix a set . A set is a σ-algebra if it has all the following properties.
- .
- If then .
- For any sequence of sets in the union
belongs to .
For our purposes σ-algebras will serve as the domains of measures. By a measurable space we mean a pair where is a set and is a -algebra of subsets of .
Faced with a new collection of axioms defining a mathematical object, we should go through several standard procedures: look at some example, deduce some elementary properties, and describe the morphisms of these objects.
The trivial σ-algebra
For any set the collection
is a σ-algebra, called the trivial σ-algebra on . It is trivial in the sense that it doesn't contain any interesting subsets of .
The full σ-algebra
For any set the collection
is a σ-algebra, called the full σ-algebra on .
The σ-algebra generated by a collection
For any set and any collection there is a σ-algebra containing that we can think of as the σ-algebra generated by . It is defined to be
and is in fact a σ-algebra.
We will often work with σ-algebras generated by this or that collection of sets. It is useful to think of as the smallest σ-algebra that contains . In particular, it is always true that if a σ-algebra contains then it automatically contains .
The Borel σ-algebra
Amongst the σ-algebras we will work with two stand out for their importance. We introduce the first of these now: the Borel σ-algebra. The second, the Lebesgue σ-algebra on the real line, will be introduced later.
Definition
When is a topological space we can equip with a distinguished σ-algebra called the Borel σ-algebra. It is denoted and defined as the σ-algebra generated by the collection of all open subset of . The subsets of that belong to are called Borel subsets of .
We have some experience of what open sets look like from metric spaces and from topology. For one example, every open subset of is a countable union of disjoint open intervals. For another, if a point belongs to a metrically open set then so do all of its nearby friends.
What sort of intuition can we develop for the Borel subsets of a topological space? For example, what feelings can we have for a Borel subset of the real line?
The Borel σ-algebra is generated by the open sets. It therefore contains the closed sets, all unions of countably many closed sets, all intersections of countably many open sets, and so on. It is not feasible to give a concrete description of an arbitrary Borel set. However, as a rule of thumb, a set that can be written by hand will generally be a Borel set.
Example
The set
is a Borel subset of . This can be seen using unions and intersections to represent quantifiers in the definition of a limit. We have
which is a countable intersection of a countable union of a countable intersection of open sets.
There are exceptions to the above rule of thumb: the set of all real numbers for which there is an increasing sequence in such that the continued fraction digist of satisfy that divides for all is not a Borel set! This example, due to Luzin, is somewhat beyond the material of this course. See this post for more discussion.
We defined the Borel σ-algebra as the σ-algebra generated by the open sets. In fact, it is also the σ-algebra generated by many other families of sets.
Proposition
The σ-algebra on generated by the open intervals is the Borel σ-algebra on .
Proof:
Write for the σ-algebra on generated by the open intervals. We must prove . Since every open interval is an open subset of , the Borel σ-algebra contains ever open interval. As is the smallest σ-algebra containing the open intervals, it must be smaller than so .
For the reverse inclusion, we need to prove that every Borel set belongs to . Since every open subset of is a countable union of open intervals, every open subset of belongs to . We have therefore shown is a σ-algebra that contains every open set. It must then be larger than the smallest such σ-algebra, which is . Thus .▮
First properties
To work with and manipulate σ-algebras we will need to absorb several immediate consequences of the axioms.
Lemma
Fix a σ-algebra .
- If then
belongs to .
- If then .
- If then .
- If then .
Proof:
Fix a σ-algebra .
- This is a consequence of the set-theoretic identity
and the defining properties of a σ-algebra.
- Taking for all and applying the countable union property gives the result.
- Taking for all and applying the above countable intersection property gives the result.
- Write and apply the complement and finite intersections properties.▮