I’m traveling this week, so we have a guest post from the inimitable Ashutosh Kumar. Enjoy!

In Measuring II: The limits of measurability, we saw that there is no measure satisfying properties 1-6 that could be defined on all subsets of . Relaxing one or more of these properties leads to some very interesting problems. We‘ll discuss one such variation today which is obtained by dropping the shift-invariance requirement.

The measure problem: Is it possible to assign to every subset of the unit interval a value such that the following requirements hold?
(1) For every ,
(2)
(3) For every
(4) For every sequence of pairwise disjoint subsets of ,

Banach and Kuratowski made an important early contribution to this problem in 1928. They showed that if we assume that the Continuum Hypothesis is true, then there is no such measure. We have seen the Continuum Hypothesis before, but we will use it here in a the following form:

ContinuumHypothesis:There is a linear ordering of that satisfies: For every , the set of -predecessors of is countable.

Kuratowski later writes:

As I recall, it was sometime around 1928/1929, during one of my many discussions with Banach in the Scottish Cafe, that we got interested in the so called measure problem stated many years before by Hausdorff and still unresolved at the time. During a many-hour discussion we tried to tried to attack the problem in various ways, unsuccessfully. I got home around midnight. But I couldn‘t fall asleep until I had found a solution (to my great joy). I met Banach the following morning. “You know Stefan, I‘ve solved Hausdorff’s problem.” “So have I,” said Banach. What is more, it turns out my reasoning and Banach’s were almost identical: it was essentially a continuation of our discussion in the cafe. Obviously, we decided to publish it in a joint paper (in “Fundamenta”).

A decade later, Gödel showed that the Continuum Hypothesis is not outright false in the sense that if the usual axioms of mathematics are consistent, then they remain so if we additionally assume the Continuum Hypothesis.

Let us prove Banach-Kuratowski’s theorem. Towards a contradiction, let us assume that there is a measure that satisfies properties (1-4) above. Define . is a subset of the unit square . It has the following property: For every , the vertical section is countable. It follows that we can write as a countable union of subsets of the unit square, each of whose vertical sections contains at most one point.

Claim: We can write each as the complement of a countable union of sets of the form where .

Proof of Claim: For each subinterval of whose endpoints are rational, let . Then it is easy to check that where the union runs over every subinterval with rational endpoints. The number of such intervals is countable, since it is possible to list all pairs of rationals in a sequence.

It follows that is a countable union of sets each of which is the complement of a countable union of sets of the form where . This allows us to use a basic fact from measure theory (Fubini‘s theorem) which yields the following.

Consequence of Fubini’s Theorem: If every vertical section of has -measure zero, then some horizontal section also has -measure zero.

Note that every vertical section of is countable and therefore has -measure zero (use properties (3) and (4)). So there must be a such that . But note that . The set is countable, so it must have -measure zero. But this means which contradicts property (2).

This leaves us with the question: Can we show the non-existence of a measure satisfying properties (1-4) without any extra assumption? The answer lies in the hierarchy of large cardinals and we hope to get back to it soon.