Measure Theory/Length Measure

Length Measure

We now have a good introductory comprehension of the outer measure, ${\lambda }^{*}$. What we wanted this whole time, though, was the measure function, which we'll call $\lambda$. Finally now we are in a position to state its definition.

Recall that in previous lessons we stated that $\lambda$ will simply be the same thing as ${\lambda }^{*}$, except with its domain restricted to "nice" or "not weird" sets. We can nearly say what the nice sets are, and therefore specify the domain restriction.

But first we must introduce the inner measure.

Inner Measure

You have probably noticed a somewhat curious asymmetry in the definition of the outer measure. Why take over-approximations? Could we have taken under-approximations instead?

Indeed we could have. Template:H:title

This is exactly what the inner measure does.

We could, but will not, go through all the same sorts of theorems for inner measure which we just finished for outer measure. Rather, we will simply take some results about inner measure for granted. The reader is free to research the proofs of these facts independently.

Measurable Sets

The strategy for defining the measurable sets is extremely similar to the way in which we define integrable functions in elementary analysis.

Now since we are not going to seriously study the inner measure, I need to give you another way to tell whether a set is measurable or not.

Template:H:title Template:Robelbox Let $E\subseteq ℝ$ be a set of real numbers. Then E is measurable if and only if E splits every set cleanly. Template:Robelbox/close

The condition that a set splits every set cleanly, is called the "Caratheodory condition" in honor of its discoverer. Template:Robelbox Prove that the empty set is measurable, $\mathrm{\varnothing }\in ℳ$.

Template:Robelbox/close Template:Robelbox Prove that every null set is measurable. That is to say, if $N\subseteq ℝ$ is a null set, then $N\in ℳ$.

Template:Robelbox/close Template:Robelbox Let $E\in ℳ$ be any measurable set. Prove that the complement is also measurable, $E^c\in ℳ$.

Open Rays Are Measurable

Since the whole point of the project is to measure intervals and interval-like-things, we would like to prove that intervals are measurable.

The proof is not very easy though. One way to simplify the proof is to consider only intervals of the form $(a,\mathrm{\infty })$, which we call a "ray" of real numbers. The fact that it only has one end-point makes it a little bit easier to use than a bounded interval.

We now set for ourselves the proof of the following theorem. Template:Robelbox Let $a\in ℝ$. Then the open right ray $(a,\mathrm{\infty })\subseteq ℝ$ is measurable, $(a,\mathrm{\infty })\in ℳ$. Template:Robelbox/close Let $I=(a,\mathrm{\infty })$, and let $A\subseteq ℝ$ be arbitrary. We need to show that I splits A cleanly.

As is typical for proofs in analysis, we will approach the problem by proving two inequalities.

${\lambda }^{*}(A)\le {\lambda }^{*}(A\cap I)+{\lambda }^{*}(A\setminus I)$

and

${\lambda }^{*}(A)\ge {\lambda }^{*}(A\cap I)+{\lambda }^{*}(A\setminus I)$

But notice that in fact the first inequality follows immediately from subadditivity. In fact, whenever proving that a set splits another cleanly, we can always use subadditivity for the $\le$ direction.

Therefore we only need to prove the second inequality. Template:Robelbox Consider the case that ${\lambda }^{*}(A)=\mathrm{\infty }$ and state why, in this case, there is nothing to prove.

Due to the result above, we will assume throughout the rest of the proof that ${\lambda }^{*}(A)$ is finite.

We will initially assume $a\in ̸A$. This is simplifying, and once we have proved our theorem in this case, we can use the narrow result to prove the theorem in the case where $a\in A$.

The high-level strategy of our proof will be to show that ${\lambda }^{*}(A\cap I)+{\lambda }^{*}(A\setminus I)$ is a lower bound on the set of over-estimates of A. From this, the needed inequality follows immediately.

To begin, let $\epsilon \in {ℝ}^{+}$ and let $𝔒$ be open interval over-approximations of A such that

$\sum _{J\in 𝔒}\ell (J)<{\lambda }^{*}(A)+\epsilon$

Template:Robelbox Show that $𝔓=\{U\cap I|U\in 𝔒\}$ is an open interval over-approximation of $A\cap I$.

Also do similarly for $A\setminus I$. When you decide what the open interval over-approximation of $A\setminus I$ should be, call it $𝔔$.

Now show that, for any $U\in 𝔒$,

$\ell (U)=\ell (U\cap I)+\ell (U\setminus I)$

Hint: U cannot be infinite in length, otherwise the over-estimate above is infinite, in which case it cannot be strictly bounded by any number.

Therefore $U=(b,c)$ for finite real numbers $b,c\in ℝ$.

Template:Robelbox/close Template:Robelbox Justify why

${\lambda }^{*}(A\cap I)+{\lambda }^{*}(A\setminus I)\le \sum _{J\in 𝔓}\ell (J)+\sum _{K\in 𝔔}\ell (K)$

and why the right-hand side equals

$\sum _{L\in 𝔒}\ell (L)$

which is less than

${\lambda }^{*}(A)+\epsilon$

Then conclude the proof that ${\lambda }^{*}(A)\ge {\lambda }^{*}(A\cap I)+{\lambda }^{*}(A\setminus I)$.

Template:Robelbox/close Template:Robelbox Finally, prove ${\lambda }^{*}(A)\ge {\lambda }^{*}(A\cap I)+\lambda (A\setminus I)$ in the case that $a\in A$.

Hint: By an earlier exercise, you can show all three of

${\lambda }^{*}(A)={\lambda }^{*}(A\setminus \{a\})$

${\lambda }^{*}(A\cap I)={\lambda }^{*}([A\setminus \{a\}]\cap I])$

${\lambda }^{*}(A\setminus I)={\lambda }^{*}([A\setminus \{a\}]\setminus I])$

Now apply the result of Exercise 5. Using the Split Covers to the set $A\setminus \{a\}$.

Length Measure

Note that the only way in which $\lambda$ and ${\lambda }^{*}$ differ is by their domain. The former has domain $ℳ$ while the latter has $𝒫(ℝ)$.

Whenever the set E is measurable we will prefer to write $\lambda (E)$ instead of ${\lambda }^{*}(E)$ even though they technically mean the same thing. When a set is not necessarily measurable we will be required to write ${\lambda }^{*}(A)$.

Therefore we are now justified in writing, for example,

• $\lambda (\mathrm{\varnothing })=0$
• $\lambda (\mathbb{Q})=0$
• $\lambda ((0,\mathrm{\infty }))=\mathrm{\infty }$

On the other hand, if F is the feather set from the Vitali proof that there is no total measure function, then one would have to write ${\lambda }^{*}(F)$ since we have no current reason to think that it is measurable.