Understanding Lebesgue Measure: Example of Open Intervals on [0,1]

  • Thread starter Thread starter tomprice
  • Start date Start date
  • Tags Tags
    Measure
AI Thread Summary
The discussion revolves around the confusion regarding Lebesgue measure, particularly the outer measure of rational numbers being zero. A user initially seeks examples of open intervals that cover the rationals in [0, 1] while having a total length of less than 1. They reference the definition of Lebesgue outer measure, which suggests such intervals should exist. Ultimately, the user resolves their confusion and retracts their request for assistance. The topic highlights the nuances of Lebesgue measure and its implications in measure theory.
tomprice
Messages
18
Reaction score
0
I am confused about lebesgue measure.

I have heard that the lebesgue outer measure of the rational numbers is 0.

So could someone please give an example of a set of open intervals such that:

a. The union of these intervals contains the rational numbers on [0, 1]

b. The sum of lengths of these intervals is less than 1.

The definition of lebesgue outer measure implies that, if the lebesgue outer measure of the rationals is 0, then such a set of open intervals must exist. But I am flabberghasted as to how this could be so.

Thanks very much in advance.
 
Physics news on Phys.org
false alarm

Nevermind I got it.
 
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top