We study the definition of Lebesgue measurable set to be the following:Let A ⊂ R be called Lebesgue measurable if ∃ a Borel set B ⊂ A such that | A − B | = 0, where | . | denotes the Lebesgue outer measure of a set.Then we have theorems like: A ⊂ R is Lebesgue measurable iff(1) Given any ϵ &gt; 0 there exists F ⊂ A closed such that | A − F | &lt; ϵ.(2) Given any ϵ &gt; 0 there exists G ⊃ A open such that | G − A | &lt; ϵ.I have two questions here.First is that what motivates the definition of Lebesgue measurable sets and second is that why we are approximating Lebesgue measurable sets from below by closed sets and from above by open sets.I am studying the topic measure theory from Sheldon Axler's book that does not give motivation behind these definitions and theorems.Can someone give me motivation behind these things?

Question

We study the definition of Lebesgue measurable set to be the following:Let   A  ⊂      R   be called Lebesgue measurable if   ∃ a Borel set   B  ⊂  A such that       |    A  −  B      |    =  0, where       |    .      |   denotes the Lebesgue outer measure of a set.Then we have theorems like:  A  ⊂      R   is Lebesgue measurable iff(1) Given any   ϵ  &amp;gt;  0 there exists   F  ⊂  A closed such that       |    A  −  F      |    &amp;lt;  ϵ.(2) Given any   ϵ  &amp;gt;  0 there exists   G  ⊃  A open such that       |    G  −  A      |    &amp;lt;  ϵ.I have two questions here.First is that what motivates the definition of Lebesgue measurable sets and second is that why we are approximating Lebesgue measurable sets from below by closed sets and from above by open sets.I am studying the topic measure theory from Sheldon Axler&#039;s book that does not give motivation behind these definitions and theorems.Can someone give me motivation behind these things?

Aibling6n2re · Accepted Answer

We certainly want to be able measure any bounded (open or closed) interval by its length. Also, in an attempt to find as many measurable sets as possible, we can certainly agree that the measure of finitely disjoint measurable sets should be the sum of the respective measures. One can readily take this further to countable unions of disjoint measurable sets by defining its measure as the supernumerary of the measures of finite sub-unions. Similarly for the other operations used in the definition of Borel set. The final step is to extend this to Lebesgue sets by postulating that a set that hardly differs from a Borel set (namely differs only by a set that should clearly contribute nothing) shall have the same measure as said Borel set.This gives us a large family of sets where it is quite clear how we must define their measure (and as it turns out, can define that way consistently). On the other hand, for any set that is not obtainable in this way, we have no idea how to consistantly assign a measure to it.

We study the definition of Lebesgue measurable set to be the following: Let A ⊂<!--

Answered question

Answer & Explanation

New Questions in Pre-Algebra