Measure Theory/Measuring Sets of Real Numbers

Measuring Sets of Real Numbers

edit

Things are about to go from bad to worse.

We just learned that "the swaparoo",

 

is not generally valid.

We learned that simply putting conditions on the sequence of functions, although moderately successful, is a quixotic but failed project.

We also learned that Lebesgue proposed a new system of integration, which begins by partitioning the range, rather than the domain. However, this now requires defining a system of measuring sets of real numbers.

In this lesson we are about to find out that this, tragically, is also a sort of failed project!

Stay strong, though. There will be a redemption arc to the story, later.

The Length Function

edit

To repeat what we are after, we would like to be able to take any set   and assign to it a number, which should intuitively capture the idea of its "measurement".

This measurement of sets of real numbers should be consistent with the idea that the measure of an interval is its length. That is to say, let   and  , and I any interval with bounds at a and b. Then the length of I is the positive difference of its end-points, which we write as

 

Note that some intervals are infinite in length, like  . Therefore it is convenient to introduce the extended real numbers,

 

That way, we can say that   is well-defined for every interval and not just the bounded intervals.

If, in particular, we write   for the non-negative extended real numbers, then this is the range of the function  .

If we write   as the set of all intervals of real numbers, then

 

Note that   is undefined because  .

The Length Measure Function

edit

It is the job of the "length measure function", which we will write as  , to extend the concept of  . That is to say,   is the "generalized length" or "length measure", so that we can talk about the measure of every set.

 

Still, though, we would like the length-measure function,  , to agree with the length function   on the intervals. That is to say, we would still like  , just as with  . That is to say, we would like

 

But also we would like to be able to "combine" intervals and measure the result. That is to say, we would like  . We call this property of a measure "additivity".

More generally, if sets   are any disjoint sets, then we expect  .


Exercise 2. Not Disjoint

Set   and find  . What about  ?

Summary of What's to Come

edit

In the next lesson, we will see a proof that this is not possible. That is to say, there is no function   which meets all the conditions that we have set for it.

After that, we learn how to reset our goals slightly, in order to still carry out the integration project.

The rest of the first section is dedicated to understanding the definition of the length measure function, after we have appropriately reset our requirements for it.

What results is commonly known as the Lebesgue measure, although I will persist in calling it "length measure".