Definition
Sigma-algebras and measures
Adapted
Gives the two objects every integration theory rests on — a sigma-algebra of sets we agree to measure and a countably additive measure on it — together with the monotonicity, subadditivity and continuity rules that let you pass to the limit inside a measure, and the vocabulary of null sets and "almost everywhere".
Prerequisites: Sets, functions and countability, Topological and metric spaces
Let be a non-empty set and the collection of all its subsets.
Algebra. A collection is an algebra on if it is non-empty, the complement of each of its members is again a member, and the union of any finite list of its members is a member.
Sigma-algebra. An algebra is a -algebra if it is in addition closed under the union of any sequence of its members: forces . The pair is a measurable space and the members of are the measurable sets.
Three facts come free from the two axioms. Pick any , which is possible because is non-empty. Closure under finite unions puts into , and closure under complements then puts into . De Morgan's law turns closure under unions into closure under intersections, finite for an algebra and countable for a -algebra. And , so both are closed under differences.
Generated -algebra. An arbitrary intersection of -algebras on is again one, because each axiom is a condition that must hold in every member of the family. Since is a -algebra containing anything, for every the intersection of all -algebras that contain is the smallest -algebra containing . We write it and call it the -algebra generated by . Monotonicity is immediate: implies , since is then one of the -algebras over which the intersection defining is taken.
Borel sets. If carries a topology — a metric space, for instance, as in topological and metric spaces — the -algebra generated by the open subsets of is the Borel -algebra , and its members are the Borel sets. Complements turn open into closed, so is equally the -algebra generated by the closed sets. It contains every countable intersection of open sets (a set), every countable union of closed sets (an set), and the whole hierarchy obtained by alternating the two operations. On the line, Reed and Simon (Reed & Simon (1980), §I.3, p. 14) take as the definition the equivalent description: is the smallest family of subsets of that is closed under complements and countable unions and contains every open interval.
Disjointification. Given any sequence in a -algebra, put
The lie in the -algebra, they are pairwise disjoint, , and for every , hence also in the limit. This device, which Folland (Folland (1999), §1.2, p. 21) recommends remembering, converts any countable union into a disjoint one and is used three times below.
Let be a measurable space. A measure on it is a map
such that
- , and
- (countable additivity) for every sequence of pairwise disjoint members of .
The triple is a measure space. The series in (2) has non-negative terms, so it either converges or diverges to ; in both cases its value is independent of the order of summation, which is what makes (2) a legitimate demand on an unordered union. Padding a finite disjoint list with for shows that (2) implies finite additivity. A map obeying (1) and finite additivity but not necessarily (2) is a finitely additive measure; the gap between the two is real and is the subject of the remark below.
Sizes. is finite if , and -finite if for some with every . A finite measure with is a probability measure, and is then a probability space, the setting of probability spaces.
Null sets. A set with is a null set. A property of the points of holds almost everywhere (a.e., or -a.e.) if the set of points where it fails is contained in a null set. Subadditivity, proved below, says that a countable union of null sets is null, so countably many a.e. statements may be used at once.
Completeness. If and , monotonicity gives provided — and that proviso need not hold. A measure is complete when every subset of every null set is measurable. Every measure can be completed: let be the null sets of and
Then is a -algebra and defines the unique extension of to a complete measure on it (Folland (1999), Thm 1.9, pp. 26–27). We call the completion of .
Three presentations of the same objects appear in the books cited here, and the differences are worth knowing before comparing formulas across fields.
- Ours, following Folland (Folland (1999), §1.2, p. 21 and §1.3, p. 24): a -algebra is a non-empty collection closed under complements and countable unions, and a measure takes values in the extended half-line .
- Probability. Grimmett and Stirzaker (Grimmett & Stirzaker (2020), Def. (1.2.5), p. 3) say -field rather than -algebra and list the axioms as , closure under countable unions, and closure under complements; this is the same class of collections, since is exactly what rules out the empty collection. For the measure they write (Grimmett & Stirzaker (2020), §1.3, p. 5) that a measure is a function with that is countably additive, so that in their convention the value is excluded; they immediately specialise to probability measures, for which the distinction is invisible. We follow Folland and allow the value , because Lebesgue measure on and counting measure on an infinite set are both wanted below and neither is finite.
- Partial differential equations. Evans (Evans (2010), Appendix E.1, p. 684) states the axioms for as: and belong to ; is closed under complements; and is closed under countable unions and countable intersections. The last clause is redundant given the other two, by De Morgan, but it is harmless and it is what a reader of the PDE literature will meet.
is generated by each one of the following eight families of intervals and rays:
where run over the reals in the first four families and runs over the reals in the last four.
Let be a measure space.
a. Monotonicity. An inclusion between members of forces . b. Countable subadditivity. If — not assumed disjoint — then
c. Continuity from below. If all lie in then . d. Continuity from above. If all lie in and , then .
Let satisfy and be finitely additive. Then is a measure if and only if it is continuous from below in the sense of (c) above. If moreover , then is a measure if and only if it is continuous from above in the sense of (d). This is the form in which Folland (Folland (1999), Exercise 11, p. 27) poses it; the proof below shows that in the finite case the second test may be applied to sequences decreasing to alone, and that weaker version is the one the method uses.
Every one of the four rules is countable additivity applied to a cleverly chosen disjoint family, so the only real work is choosing the family.
For monotonicity, split into and the rest. For subadditivity, replace the overlapping by the disjointified of the definition block: the union is unchanged, the are disjoint so additivity applies exactly, and costs us only an inequality. For continuity from below, the successive differences of an increasing sequence are already disjoint, and the partial sums of their measures are exactly the numbers , so a limit of measures becomes the sum of a series. Continuity from above is the previous case applied to the complements inside — and subtracting from is meaningful only when is finite, which is precisely where that hypothesis enters.
For the Borel generators the idea is that each family is sandwiched between the others modulo countable operations: a half-open interval is a countable intersection of open ones, an open interval is a countable union of closed ones, and a ray is a countable union of intervals. Monotonicity of then closes the circle.
(a) Monotonicity. is the disjoint union of and , both in . Finite additivity gives , and the second term is because takes values in . Hence .
(b) Subadditivity. Disjointify: let and . As recorded in the definition block, the are disjoint members of with and the same total union. Countable additivity applies to the , and monotonicity — part (a), with the inclusion — bounds each term:
(c) Continuity from below. Set and for . These are measurable, and they are disjoint: if then while misses . Because the sequence increases, for each and . Countable additivity, then finite additivity, give
the middle equality being the definition of the sum of a series.
(d) Continuity from above. Put . Since the decrease, the increase, and
By (c), . Now use finite additivity on the two disjoint decompositions and :
Here the hypothesis is used: it makes every and finite, so the first identity may be rearranged as and the subtraction is an ordinary one between real numbers. Substituting into the second identity and cancelling the finite number ,
Only if. A measure is finitely additive and satisfies (c) and (d) by the previous proof.
If (continuity from below). Let be disjoint and put . The increase to , so continuity from below and then finite additivity give
which is countable additivity.
If (continuity from above, ). With and as before, the sets decrease, and their intersection is empty because each point of the union lies in some and hence in for all . Finiteness of makes , so continuity from above gives . Finite additivity splits , so .
What the last paragraph actually used. Continuity from above entered only through the one sequence , and that sequence decreases to . So when the test may be weakened to: with implies . Clause (d) contains this special case, so the weakened criterion is still equivalent to being a measure; it is the form used in step 4 of the method below.
Write . We show for every , and for every .
Step 1: every generator is Borel. The members of are open and the members of are closed, so all six families sit inside . For the half-open intervals, write
countable intersections of open sets, hence Borel. By monotonicity of the generation operator, for .
Step 2: . Every open is a countable union of open intervals: for each choose rationals with , and note that there are only countably many pairs of rationals, so the intervals so chosen form a countable family whose union is . (Countability of is the standard counting argument.) Hence every open set lies in , and therefore .
Step 3: every open interval lies in each . This is what remains: if for all , then by monotonicity of the generation operator, and step 2 then gives .
The bounded families. For , with running over the integers large enough that ,
three countable unions, which settle , and .
The ray families. Here , so it is enough that each of contain both kinds of unbounded ray. Four identities, each a single complement or a single countable union, move between the four kinds:
Applied in this cyclic order they carry each family to the next, and each -algebra is closed under both operations, so at most three steps around the cycle are needed in each case: starts with and acquires , then ; starts with and acquires , then , then ; starts with and acquires , then ; starts with and acquires , and directly. Each of the four therefore contains every and every , hence every .
Combining, each contains all open intervals, so by the first paragraph of this step. With step 1 this gives throughout.
- Countability, not arbitrary size, in the -algebra axiom. The axioms permit sequences of sets, nothing larger. They have to: every subset of is a union of singletons, and singletons are Borel, so a "-algebra" closed under arbitrary unions and containing the singletons would be all of — and no useful translation-invariant measure lives there, as the construction of Lebesgue measure shows. Reed and Simon (Reed & Simon (1980), §I.3, p. 14) make the same point from the Banach–Tarski paradox: some family of sets smaller than the power set must be chosen.
- Countable additivity is strictly stronger than finite additivity. Folland (Folland (1999), §1.3, p. 25) gives the example: on an infinite with , setting for finite and for infinite produces a finitely additive measure that is not a measure. For it fails countable additivity badly: is the disjoint union of its singletons, so the right-hand side of (2) is while the left-hand side is . By the lemma, what this lacks is continuity from below, and indeed for every while .
- in continuity from above cannot be dropped. Let be counting measure on , so is the number of elements of , and let . The decrease with empty intersection, yet for every , so (Folland (1999), §1.3, p. 26). The proof above breaks at exactly one step: the rearrangement is not available when . It is enough to assume for some single , since one may discard the first sets without changing the intersection.
- Continuity from below needs no finiteness at all, because nothing is subtracted; both sides may be together.
- Disjointness in (2), and only there. Subadditivity (b) is the price paid for dropping it, and the inequality in (b) really can be strict: under Lebesgue measure, with for give . Set-theoretic overlap by itself is not what causes this. The intervals and meet, but in a single point, which is null, and both sides equal ; and even a fat overlap is invisible if some set in the family is infinite, as shows, where both sides are . What the disjointification in the proof of (b) does show is this: is the disjoint union of and , so . Hence if every such overlap is null the inequality is an equality; and if while some two of the sets meet in a set of positive measure, then every term is finite and at least one drops strictly, so the inequality is strict.
- Completeness is not automatic and is not free. The Borel -algebra of with Lebesgue measure is not complete: the Cantor set is Borel and null, but it has subsets that are not Borel (there are subsets of the Cantor set and only Borel sets). Completing it is what produces the Lebesgue measurable sets. The cost is that the completed -algebra depends on , so "measurable" stops being a property of the set alone; this is why composition of measurable functions misbehaves in measurable functions.
- Why and not . Allowing the value is what lets a single framework hold Lebesgue measure on the line, counting measure on an infinite set and the measures appearing in the Radon–Nikodym theorem. The price is the usual care with , which is precisely the subtraction forbidden in (d).
- Fix the domain first. Decide the -algebra before defining . If the sets you can measure are described by a list of "elementary" sets (intervals, boxes, cylinders), the domain is , and you never have to display its members — generation is enough.
- Check . Without it, would satisfy (2) vacuously.
- Check finite additivity on two disjoint sets; induction gives any finite number.
- Upgrade to countable additivity by a limit, not by hand. By the lemma, it suffices to verify continuity from below: if then . For a finite you may instead verify continuity from above at alone: implies . That this restricted test already suffices is the sharpening recorded at the end of the proof of the lemma. This is usually much easier than attacking (2) directly.
- Classify the size. Is finite? -finite? Almost every later theorem — uniqueness of extensions, Fubini and Tonelli, Radon–Nikodym — asks for -finiteness, so settle it now by exhibiting an explicit exhausting sequence.
- Complete it if you will argue "almost everywhere". Replace by . Nothing already measurable changes value.
- To compute a measure of a complicated set, write it as a monotone limit of simple ones and use (c) or (d) rather than attempting (2) directly; for an upper bound only, cover it and use (b).
Take with , which is a -algebra, and define
the sum of a non-negative family, hence independent of the order of summation. This is the weighted counting measure of Folland (Folland (1999), §1.3, p. 25) with weight .
It is a measure. is the empty sum. If are disjoint, every in their union lies in exactly one , so the double series is a rearrangement of into blocks; non-negative terms may be regrouped freely, so (2) holds.
It is finite. , so is a finite measure (and is a probability measure on ).
Continuity from below, checked numerically. Let , an increasing sequence with . Then
climbing to , as rule (c) requires.
Continuity from above, checked numerically. Let , a decreasing sequence with . Here , so rule (d) applies and predicts . Indeed
and the general tail is squeezed between two integrals: comparing with on and on gives
so . At the three numbers are .
The same sets, a different measure, and the rule fails. Replace by counting measure on the same ; this is the weight , and it is a measure by the same argument. Now for every , while . The hypothesis of (d) is the only thing that has changed, and the conclusion fails by the whole of . Note that is still -finite, since with : -finiteness does not rescue (d).
Probability is measure theory with . An experiment is modelled by a sample space , a -field of events and a probability measure , and Grimmett and Stirzaker (Grimmett & Stirzaker (2020), Def. (1.3.1), p. 5) note that is exactly a measure of total mass one. The reason the -field is part of the data, rather than being taken as all of , is the one given in this unit: for an infinite the power set is too big to carry a reasonable assignment of probabilities. Continuity from below is what licenses the everyday step , and continuity from above — with its finiteness hypothesis automatically satisfied — licenses the complementary limit. See probability spaces and random variables and distributions.
Mass, charge and intensity distributions. Folland (Folland (1999), §1.1, p. 21) motivates the abstract theory by letting be the mass contained in the region . A point particle of mass at is the measure ; a continuous body of density is ; a charged surface in is a measure that is finite on compacta but assigns zero to every set of zero area. Measure theory is what allows all three to be written as one object and integrated against one formula, rather than as a sum of an integral and a list of point contributions. The additivity axiom is physically the statement that mass is extensive.
The -field as the specification of what is observable. In a spatial Poisson process (Grimmett & Stirzaker (2020), §6.13, Def. (6.13.1), p. 319) one takes the Borel -field of — generated by the boxes — and asks only for the counts of points in Borel sets , with Poisson of mean . The choice of -field is the choice of which questions the model is willing to answer, and the generators are the questions one actually asks in the laboratory: how many counts in this bin.
"Almost everywhere" is why function spaces are complete. Null sets are the sets physics is entitled to ignore: two wavefunctions differing on a null set have identical expectation values. Identifying functions that agree a.e. is what turns the Lebesgue integral into the complete spaces of L^p spaces, and completeness is in turn what makes variational and spectral arguments work. Every statement in the convergence theorems of this chapter — monotone convergence, dominated convergence — is stated a.e. precisely because countable unions of null sets are null, so countably many exceptional sets may be discarded at once.