Filed under: Analysis, Math | Tags: analysis, banach-tarski, MaBloWriMo, Math, topology

This is very late, but don’t worry, I’ll get another one up tonight.

One of the big lessons learned from the Banach-Tarski paradox is that even in something as simple as a unit ball, we can find sets of impossible or undefinable volume. In the discussion preceding the proof, I also mentioned the paradoxes surrounding length of fractal curves in and area in . Together, these present us with a crisis: how can we characterize length, area, and volume? The answer to this crisis was developed around the turn of the century by heroes like Borel and Lebesgue, and it’s called measure theory.

Rather than spewing definitions straight away, I’d first invite you to consider, as Lebesgue and Borel probably did, what properties something like “area” should hold in a set . We’re going to define something called a **measure**, that encodes the properties of “area,” “volume,” and so on. The first guess is that it should be a real-valued function on ; but we don’t want things to have negative measure, and it’s also possible to have sets with infinite measure. So we’re looking for a function . Such a function is called **extended-valued**; we avoid paradoxes with infinity by only using it in a limited way (here, we define anything plus infinity to be infinity, and we don’t perform any other operations on it).

What properties should this satisfy? Well, one would hope that you could add together measures: that if and are disjoint. Note that this also implies that if , then . In fact, the original definition went further: if are a *countable* collection of disjoint sets, then . We call this property **countable additivity**. But we don’t want to allow this for uncountable unions, because any set in is an uncountable union of points, and we want points to have measure zero.

What values should this function take? There don’t need to be sets of infinite measure ( itself could have finite measure), but there do need to be sets of zero measure. Since is disjoint from everything, it needs to have zero measure for the previous definition to work. No other specific values are mandatory — even in , the area of a set depends on what scale we’re using.

In , we also want this function to be preserved by isometries, but this is a special case — functions like this can be defined even on sets where there is no conception of “isometry.”

Now, the Banach-Tarski paradox proved that such a function, even one that’s only finitely additive, can’t be defined everywhere in . So we have to modify our domain from to some subset . We’ll call its elements **measurable sets**. What properties must this set have? In order to make the above properties make sense, it needs to contain and be closed under countable unions. We’re also going to want itself to be measurable — since for any set , we want to be closed under complementation as well. Note that together, these properties make closed under countable intersections, since . A set that’s nonempty and closed under complementation and countable union is called a **-algebra** (the sigma being topologist’s shorthand for “countable”, for some reason).

A **measure space** is a triple , where is a -algebra of subsets of , called the **measurable sets**, and , a function called **measure**, satisfies for disjoint.

Perhaps the most surprising thing is that you can perform **integration with respect to a measure** on any measure space! How you do this is a bit contrived, but it basically involves approximating your function as a sum of “characteristic functions,” which are 1 on a certain measurable set and 0 elsewhere.

Let’s look at some examples. The simplest example is the **counting measure**, which is defined everywhere and which sends each set to its cardinality if it’s finite, or to infinity if it’s infinite. Integration here is nothing more than taking a sum of the nonzero values of your function, and gives you infinity if there are infinitely many.

If is 1, then is a **probability measure**. This is the theoretical basis for the study of probability. Integration of a function here gives you its expected value corresponding to the probability measure.

What Lebesgue did was define **Lebesgue measure** on , which is isometry-invariant, measures all open sets, and also measures every subset of a measure-zero set. This is the measure you implicitly use when you do a normal integral. The advantage of Lebesgue measure is that we can integrate functions “up to a set of measure zero”: that is, if we change the values of a function on a set of measure zero, the integral remains the same. For example, countable sets have measure zero, so if we start with a function which is, say, 1 at every rational and 0 at every irrational, it will be impossible to take Riemann sums, but the Lebesgue integral is zero because the function is zero *outside a set of measure zero*.

Now, when we talk about -algebras, we can often think of them in terms of a basis. The -algebra **generated by a basis** is the smallest -algebra containing all the sets in that basis. An important example is the **Borel -algebra** of a topological space. This is the -algebra generated by the open sets of that space: it thus contains all closed sets as well, and all countable intersections of open sets, countable unions of closed sets, et cetera. The Lebesgue -algebra is generated by the open sets and the subsets of sets of measure zero.

So what’s interesting is that it takes the axiom of choice to show that there’s a set not in this -algebra. The Banach-Tarski example is powerful, but here’s an example of a set in with no length, called the **Vitali set**. We form the quotient group $latex\mathbb{R}/\mathbb{Q}$; this is the set of cosets in . Choose an element from each coset in , which we can do by subtracting integers if necessary, and call the set of these elements . The rationals, and particularly the rationals in , are countable, so we can label them . Let . Then (every element of differs from its representative in by a rational in ). Since all the are disjoint, the measure of their union is equal to the sum of their measures. But since Lebesgue measure is translation-invariant, this is just , which is either 0 or . This is certainly not between 1 and 3!

I hope this was an interesting overview. Pretty much everything I said deserves some expansion, which I’ll do in the future, starting with the construction of the Lebesgue measure. This should be an interesting segue into real analysis. I also plan to talk about solvable groups in the context of the Banach-Tarski and von Neumann paradoxes, and return to standard topology with metric and quotient topologies. Thanks for reading!

**2 Comments so far**

Leave a comment

[…] the interests of total confusion, let’s discuss metrics, with have almost nothing to do with measures, despite the similarity in name! Measures have to do with the sizes of sets of points, and are […]

Pingback by Metrics « Gracious LivingNovember 26, 2010 @ 12:14[…] forms an (infinite) orthonormal basis for this vector space. Regrettably, you have to use the Lebesgue integral to do this, and since S&S want their series to be self-contained, they only use the Riemann […]

Pingback by It is 2011 now. « Gracious LivingJanuary 2, 2011 @ 09:37