In the last post, we were seeking for an ‘ideal measure function, however, we found out that such a function does not exits. There were four properties we wanted from the function to fulfill:

- For every , is defined and satisfies
- For every interval , .
- If we ‘shift’ / ‘slide’ a set, we don’t want the output of the measure to change.
- If we consider the
**disjoint union**we want that: .

We have seen that the **outer measure** fulfills properties 1,2,3 and part of property 4, i.e . Property 4 is actually an important one, and since the function fulfills all the other three, we know that the second property 4 must not be true – which is sucks. However, maybe we can make one property weaker, such that it is weak ‘enough’ to ‘allow’ property 4 to be true. That’s exactly what we are going to do. We will make the **first** property weaker, since some sets (like vitali set that we have seen before) are not that interesting, so it wouldn’t be too bad to exclude them out of the function’s domain.

What sets are going to be included though? I will adopt the critirea the mathematician **Cartheodory** suggested: First, we will call every set in the domain “**measurable”**. We say that a set is measurable if for every :

m^*(A)=m^*(A\cap E)+m^*(A\cap E^C)

I don’t know about you, but this definition is really wierd, but i’ll try to find some explanation to it: By definition , so we are ‘splitting’ the real line into two parts, and calculating the outer measure of in each part – and if the set / partition is nice enough, then the sum of the measures from each part will be exactly the outer measure of the set, which makes sense.

Let’s see what can we do with this definition: Let be some measurable sets such that . Let’s try to figure out what is the value of . First, I’ll denote . Now, since is measurable, then by defintion:

m^*(A)=m^*(A\cap E) +m^*(A\cap E^C)

Notice that: . And from similar process, we get . Thus we get:

m^*(E\cup F)=m^*(A)=m^*(E) +m^*(F)

And that’s great! cause by induction we can prove that if are measurable sets are **pairwise disjoint** then:

m^*(\bigcup_{i=1}^k E_i)=\sum_{i=1}^km^*(E_i)

And that’s a weaker version of property 4! This example motivates us to stick to this definition and maybe narrow down the domain to be the collection of the measurable sets. So that’s my goal for this post – I want to show that when dealing with measurable sets is enough.

Notice that is measurable if and only if is measurable, why? Since we get for every set :

m^*(A)=m^*(A\cap E)+m(A\cap E^C)=m^*(A\cap (E^C)^C)+m(A\cap E^C)

The symmetry of the definiton proves that if one is measurable, so as it’s complement.

So that’s a nice property, I want to present now a short and very helpful statement that I am going to use a lot (I am even going to name it: ** “The star of the post”**):

E\sub \mathbb{R} \text{ is measurable} \iff \text{for every}A\sub \mathbb{R}:m^*(A) \geq m^*(A\cap E)+m^*(A\cap E^C)

It might look like a weaker condition than the condition to being measurable, however, turns out that they are equivalent! So the direction is obvious. We only need to show the other direction.

Suppose that , we have proved in the last post, that for **any** two disjoint (wev’e proved it for countable many sets) sets :

m^*(X\cup Y) \leq m^*(X) + m^*(Y)

We can pick and , those are dijoint sets, and their union is exactly , thus:

m^*(A) \leq m^*(A\cap E^C) + m^*(A\cap E)

Combining it with our assumption to get an equality, which proves that is measureable.

Fine, so we have a nice criteria to determine whether or not a set is measurable, but we haven’t asked the most imporant question yet… **Are there** measurable sets? if there are, **Who **are they? Let’s figure out

## What are the measurable sets?

Let’s start with a simple kind of sets – the sets with measure 0, i.e a set such that . For any set , it’s always true that , thus:

0= m^*(E)\geq m^*(A\cap E)

(Iv’e proved it in previous post). For we get

m^*(A)\geq m^*(A\cap E^C)

Combining the result to get:

m^*(A)\geq m^*(A\cap E^C)=m^*(A\cap E^C)+0\ge m^*(A\cap E^C)+m^*(A\cap E)

Now we use ** “The star of the post”** to conclude that is measurable.

Perfect, we now have so many examples for measurable sets! since wev’e seen that for every , we now know that all the singletons in are all measurable, and there are singeltons – and I’ll say that it’s quite a few.

Since we have proved that **there are **measurable sets, we can get back to proving properties of measurable sets – without taking the risk that **no** set is measurable (trust me, a case like that happened many times to many mathematicians – they started with some sort of structure, proved theorems related to it, and then discovered that it doesn’t even exist! That’s really sucks , however, I thinks it’s hilarious).

Ok, let’s try to prove now that if is measurable, then for every , is measurable as well.

Suppose that is measurable, and pick an arbitraty set , I am now going to focus on the set (which has the same measure as , as I proved before). Since is measurable, we know that:

m^*(A)=m^*(A-x_0)=m^*((A-x_0)\cap E) + m^*((A-x_0)\cap E^C)

now, notice that and (try proving it if you are not comfortable with it), therefore we get:

m^*(A)=m^*(A-x_0)=m^*(A\cap (E+x_0)) + m^*(A\cap (E^C+x_0))

which proves that is measurable!

Good, everything is running smooth so far, let’s keep going. If we have two measurable functions , is thier union is also measurable? I hope so… Let’s check:

Due to ** “The star of the post”**, we only need to show that for every :

m^*(A) \geq m^*(A\cap (E_1\cup E_2))+m^*(A\cap (E_1\cup E_2)^C)

However, :

A\cap(E_1\cup E_2)=(A\cap E_1)\cup (A\cap E_2)\overset{(*)}{=}(A\cap E_1)\cup (A\cap E_1^C\cap E_2)

Try proving yourself – the logic behind that is if you are an element of the set then you are in for sure, however you may not be an element of , then you must be in while you are also in

On the other hand, we have;

A\cap(E_1\cup E_2)^C=A\cap(E_1^C\cap E_2^C)=A\cap E_1^C\cap E_2^C

We now have:

m^*(A\cap(E_1\cup E_2))+m^*(A\cap(E_1\cup E_2)^C)=

m^*((A\cap E_1)\cup (A\cap E_1^C\cap E_2))+m^*(A\cap E_1^C\cap E_2^C)

\leq m^*(A\cap E_1)+\overbrace{m^* (A\cap E_1^C\cap E_2)+m^*(A\cap E_1^C\cap E_2^C)}^{m^*(A\cap E_1^C)}

=m^*(A\cap E_1)+m^*(A\cap E_1^C)=m^*(A)

and we got what we wanted (again, using ** “The star of the post”**).

Now, by induction we conclude that if are all measurable, then is also measurable. But we proved even more than that: since, are all measurable, then are measurable as well, then is also measureable, thus is, again, measurable. Thus, **finite union and the intersection** of measurable sets are also measure sets!

Let’s summarize what we have found so far:

- If is measurable, then is measurable as well.
- if are measurable, then is measurable.
- if are measurable, then is measurable.

Let’s denote by the set of all measurable sets, then we can write the properties in the above in a different way:

- if then .
- if , then .
- if , then .

Such a set, which is closed under finite union, finite intersection, and taking the complement is called an **Algebra of sets**. If the set is closed under **countable** union / intersection, then it is called a **Sigma-Algebra** (-algebra). It turns out that is indeed a **sigma-algebra**, but we have to work hard in order to prove it and I’ll do it in the next post. So to wrap this one up I would like to present another type of sets which are measureable, and stop there:

Every interval of the form for is a measurable set. Before I’ll go into the proof, I just want to mention that from this class, we actually get a **lot** of new measureable sets! for example, suppose we have proved it, then we know that are measuable, then we also know that is measurable, then, , that’s really nice.

Ok, Let’s prove it: I’ll pick and define:

A_1 = A\cap (a,\infty),A_2=A\cap (-\infty,a]

I’ll try to prove that:

m^*(A)\geq m^*(A_1)+m^*(A_2)

and that will be enough thanks to ** “The star of the post”**.

And now pick some . since is defined as infimum, there is an open cover such that:

\sum_{n=1}^\infty|I_n|\leq m^*(A)+\varepsilon

Now, I’ll denote:

I_n^\prime = I_n\cap (a,\infty),I_n^{\prime\prime}=I_n\cap (-\infty,a]

Notice that and . Moreover:

A_1\sub \bigcup_{n=1}^\infty I_n^\prime,A_2\sub \bigcup_{n=1}^\infty I_n^{\prime\prime}

Thus:

m^\star(A_1)+m^*(A_2)\leq\sum_{n=1}^\infty|I_n^\prime|+\sum_{n=1}^\infty|I_n^{\prime\prime}|=\sum_{n=1}^\infty|I_n^\prime|+|I_n^{\prime\prime}|=\sum_{n=1}^\infty|I_n|\leq m^*(A)+\varepsilon

and that’s true for every thus as required.

## Summary

So we now have tons of examples of measurables sets, but we still have one debt, I have to prove that the set of measurable sets is indeed a -algebra, but that will be on the next post.

## 2 thoughts on “Measurable sets”