Mathematics for the interested outsider

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.

Share this:

Like this:

Related

I used to see Lebesgue measure and Lebesgue outer measure, so somehow I thought that whenever we define outer measure, we are looking for a monotone countably subadditive function on the power set of X. Why would we want to put this setting on hereditary sigma rings (instead on the power set) and is there any motivation for its definition? Thanks!

[…] and Induced Measures If we start with a measure on a ring , we can extend it to an outer measure on the hereditary -ring . And then we can restrict this outer measure to get an actual measure on […]

[…] the measurable space. This is not to insinuate that is the collection of sets measurable by some outer measure , nor even that we can define a nontrivial measure on in the first place. Normally we just call […]

About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.