Outer Measures
We’re going to want a modification of the notion of a measure. But before we introduce it, we have (of course) a few definitions.
First of all, a collection of sets is called “hereditary” if it includes all the subsets of each of its sets. That is, if and , then as well. It’s not very useful to combine this with the definition of an algebra, because an algebra must contain itself; the only hereditary algebra is itself. Instead, we define a “ring” of sets (or a -ring) to be closed under union (countable unions for -rings) and difference operations, but without the requirement that it contain ; complements and intersections are also not guaranteed, since we built these from differences using itself. Pretty much everything we’ve done so far with algebras can be done with rings, and hereditary -rings will be interesting objects of study.
Just like we found for algebras and monotone classes, the intersection of two hereditary collection is again hereditary. We can thus construct the “smallest” hereditary -ring containing a given collection , and we’ll call it . In fact, it’s not hard to see that this is the collection of all sets which can be covered by a countable union of sets in ; any -ring containing must contain all such countable unions, and a hereditary collection must then contain all the subsets.
Now, an extended real-valued set function on a collection is called “subadditive” whenever , , and their union are in , we have the inequality
It’s called “finitely subadditive” if for every finite collection whose union is also contained in we have the inequality
and “countably subadditive” if for every sequence of sets in whose union is also in , we have
Note that these differ from additivity conditions in two ways: we only ask for an inequality to hold, and we don’t require the unions to be disjoint.
Finally, we can define an “outer measure” to be an extended real-valued, non-negative, monotone, and countably subadditive set function , defined on a hereditary -ring , and such that . Just as for a measure, we say that is “finite” or “-finite” if every set has finite or -finite outer measure.