Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Half of the real numbers, homogenously

  1. Sep 6, 2008 #1
    Does there exist a set [tex]X\subset\mathbb{R}[/tex] that has a property

    [tex]
    m^*(X\cap [0,x]) = \frac{x}{2},\quad\quad\forall x>0,
    [/tex]

    where [tex]m^*[/tex] is the Lebesgue outer measure?

    My own guess is that this kind of X does not exist, but I don't know why. Anybody knowing proof for the impossibility of this X?
     
  2. jcsd
  3. Sep 7, 2008 #2
    Loosely speaking most sets of positive measure are very close to being unions of intervals and in some sense if [tex] m(X) > 0[/tex] then [tex] m(X\cap[x-\epsilon,x+\epsilon]) \approx 2\epsilon[/tex] for "most" [tex] x\in X[/tex].

    There clearly does not exist a X which is lebesgue measurable.
    Assume the existence of such a X.
    Since we have assumed X to be measurable, we can work with the lebesgue measure [tex]m()[/tex] instead of outer measures.

    Now,
    Choose any [tex] 0 \leq a < b [/tex]. Then [tex] m (X \cap [0,b]) = m(X \cap [0,a]) +m(X \cap [a,b]) - m(X \cap \{a\})[/tex]
    hence,
    [tex] m(X \cap [a,b]) = \frac{b-a}{2} [/tex]

    and since points have measure 0, it follows that
    [tex] m(X \cap [a,b]) =m(X \cap (a,b])=m(X \cap (a,b))=m(X \cap [a,b)) =\frac{b-a}{2} (1) [/tex]

    The proof hinges on the following: Given any measurable set E and an arbitary [tex] \epsilon > 0[/tex], there exists an open set O such that
    [tex]E \subseteq O[/tex] and [tex] m(O) \leq m(E) + \epsilon [/tex] (note: corrected after jostpuur pointed out a typo)

    So choose such an O for X.

    O being open can be written as [tex] O=\cup_{i\in A}^{\infty} O_i [/tex] where [tex] O_i [/tex] are disjoint open intervals in [tex][0,\infty)[/tex] and A is a finite or countable index set, clearly [tex] m(O)= \sum_{i\in A} m(O_i)[/tex].

    From (1) we have for all i, [tex] m(X \cap O_i) = m(O_i)/2 [/tex]

    Clearly, [tex] X = X \cap O = \cup_{i\in A} X\cap O_i[/tex]
    and hence,
    [tex] m(X) = \sum_{i\in A} m(X\cap O_i) = \sum_{i\in A} m(O_i)/2 = m(O)/2 \leq (m(X)+\epsilon)/2[/tex]

    and we get
    [tex] m(X) \leq \epsilon [/tex]

    Since [tex]\epsilon > 0[/tex] was arbitary we must have [tex] m(X) = 0 [/tex]

    In which case we also must have [tex] m(X\cap[0,x]) = 0 [/tex] for all x.

    A contradiction. So no such X exists.

    I won't be surprised if the result holds for arbitrary X.
     
  4. Sep 7, 2008 #3
    I see. Isn't it also true, that for arbitrary set [tex]X\subset\mathbb{R}[/tex], there exists a measurable set [tex]\overline{X}[/tex] such that [tex]X\subset\overline{X}[/tex] and [tex]m^*(X)=m(\overline{X})[/tex], so that that deals with the non-measurable case?

    edit: Or it could be that this idea starts to lead towards unnecessarily complicated proof. Perhaps one could start dealing with the open covers, used in the definition of the outer measure, directly?

    I suppose it would be safest to replace the original [tex]X[/tex] with for example [tex]X\cap [0,1][/tex], so that its outer measure becomes finite. It is sufficient to hypothesize the property [tex]m^*(X\cap[0,t])=t/2[/tex] for 0<t<1.
     
    Last edited: Sep 7, 2008
  5. Sep 7, 2008 #4
    I noticed a subtle mistake in my proof which can be corrected, jostpuur perhaps you can figure out how to correct it.

    [tex]
    m(X) \leq (m(X)+\epsilon)/2
    [/tex]

    implies, [tex] m(X) \leq \epsilon [/tex] if [tex] m(X) < \infty [/tex]

    So the proof only holds for measurable sets of finite measure and clearly measure of X cannot be finite.
     
  6. Sep 7, 2008 #5
    Yeah, I just managed to mention about that. It is not a problem, because we can carry out the proof "locally". If the X, that was described in the first post, existed, we could just take its intersection with some finite interval, and it would still have the same strange behavior locally there.


    Then there was a typo here:

    The intented inequality must have been

    [tex]
    m(O) \leq m(E) + \epsilon
    [/tex]
     
  7. Sep 7, 2008 #6
    You are correct, thanks!
     
  8. Sep 7, 2008 #7
    Hehe. Thanks to you for the proof :smile:
     
  9. Sep 7, 2008 #8
    I think I managed modifying the proof so that it can be carried out with outer measures. This equation

    would require measure, but outer measure has the property

    [tex]
    m^*(\bigcup_{n=1}^{\infty} A_n) \leq \sum_{n=1}^{\infty} m^*(A_n)
    [/tex]

    which is enough for the proof.

    So if there is [tex]X\subset [0,1][/tex] with the property [tex]m^*(X\cap [0,t])=t/2[/tex] for all [tex]0<t<1[/tex], then let [tex]\epsilon >0[/tex] be arbitrary. By definition of the outer measure, and by the fact that if two open intervals are not disjoint, then they together are one interval, there exists a sequence of open intervals [tex]]a_k,b_k[[/tex], [tex]k=1,2,3,\ldots[/tex], so that

    [tex]
    X\subset \bigcup_{k=1}^{\infty}\; ]b_k,a_k[
    [/tex]

    and

    [tex]
    \sum_{k=1}^{\infty} (b_k-a_k) \leq m^*(X) + \epsilon.
    [/tex]

    Then

    [tex]
    X = \bigcup_{k=1}^{\infty} \big(X\cap \;]b_k,a_k[\big)
    [/tex]

    so that by the property mentioned earlier we get

    [tex]
    m^*(X) \leq \sum_{k=1}^{\infty} m^*(X\cap\; ]b_k,a_k[) = \sum_{k=1}^{\infty} \frac{b_k-a_k}{2} \leq \frac{1}{2}(m^*(X) \;+\; \epsilon).
    [/tex]

    Isn't this right now too?

    hmhmh.... I see some little difficulties. The equation

    [tex]
    m^*(X\cap \;]b_k,a_k[) = \frac{1}{2}(b_k-a_k)
    [/tex]

    requires some explanation, and it could happen that some of these intervals go outside the [tex][0,1][/tex].... but these don't look fatal problems.
     
    Last edited: Sep 7, 2008
  10. Sep 7, 2008 #9
    the approach appears sound
     
  11. Sep 7, 2008 #10
    I'm still puzzled by this all. If I define following sequence of sets:

    [tex]
    X_1 = [0,\frac{1}{2}[
    [/tex]

    [tex]
    X_2 = [0,\frac{1}{4}[\;\cup\;[\frac{1}{2},\frac{3}{4}[
    [/tex]

    [tex]
    X_3 = [0,\frac{1}{8}[\;\cup\;[\frac{1}{4},\frac{3}{8}[\;\cup\;[\frac{1}{2},\frac{5}{8}[\;\cup\;[\frac{3}{4},\frac{7}{8}[
    [/tex]

    ...

    Then for example [tex]m^*(X_{10^{10^{100000000}}}\cap [0,t])\approx \frac{t}{2}[/tex] would be true to great accuracy. One might think, that if you can device a set that has that property approximately, but with arbitrary preciseness, then we could also device, as some kind of limit, a set that has this property precisely :confused:

    What's happening there?
     
  12. Sep 7, 2008 #11
    Is [tex]X_n[/tex] the set of all x in [0,1] whose nth bit, after the "decimal" point, is 0 in the binary representation?
     
  13. Sep 7, 2008 #12

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Whatever notion of limit you come up with, at least one of the following will be true:

    1. The limit isn't a set, but instead some generalized object
    2. Lesbegue outer measure won't be continuous
    3. The limit won't exist
     
  14. Sep 7, 2008 #13
    My take is this:

    1. [tex]X_n[/tex] is constructed by dividing [0,1] into [tex]2^n[/tex] equal intervals and dropping alternate ones, the idea being that only half of any "good" set lies in [tex]X_n[/tex], upto a resolution. This makes [tex] X_n [/tex] to be the set of points having their nth bit 0, it is a disjoint union of [tex]2^{n-1}[/tex] intervals having dyadic rationals as their endpoints.

    2. Limit of [tex]X_n[/tex] does not exist, for instance 0.1010101010... lies in [tex]X_2, X_4 \ldots [/tex] but not in [tex]X_1, X_3 \ldots[/tex]

    3. [tex] \sup_{t \in [0,1]} | m(X_n \cap [0,t]) -t/2 | \leq \frac{1}{2^n} [/tex], hence [tex] \lim_{n \to \infty} \sup_{t \in [0,1]} | m(X_n \cap [0,t]) -t/2 | = 0 [/tex]
     
  15. Sep 7, 2008 #14
    The remark with disjointness was useless, btw. It stayed there from the previous proof that did not use outer measures.

    Very clear thinking.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Half of the real numbers, homogenously
Loading...