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

Measure theory question

  1. Apr 25, 2009 #1
    This question came up recently, and I'm wondering whether or not it's true:

    Let (X,A,m) be a finite measure space. Let E_1,E_2,... be a sequence of measurable subsets of X of constant positive measure (i.e., there exists c>0 such that m(E_i) = c for all i). Then there exists a subsequence of the sequence E_1,E_2,... whose intersection has positive measure.

    Any ideas?
  2. jcsd
  3. Apr 27, 2009 #2
    Got it! It's false.

    I have an example in X=[0,1] (with ordinary Lebesgue measure) of a sequence of sets E_n all of measure 1/2, with the property that the intersection of any subsequence has measure zero.

    Now that you know which way to go (F vs. T), do you want me to spoil your fun, or do you want to keep looking? :)
  4. Apr 28, 2009 #3
    Spoil my fun, please! This has been annoying me for too long, haha.
  5. Apr 28, 2009 #4
    [tex]E_n = \{ x\in [0,1] : \sin(2^n\pi x)\ge0\}[/tex]

    Equivalently, [tex]E_n[/tex] is the set of real numbers in [0,1] that have a binary expansion with 0 in the nth position.

    [tex]E_n[/tex] is the disjoint union of [tex]2^{n-1}[/tex] intervals, each of length [tex]1/2^n[/tex]

    Use the binary expansion idea to prove the intersection of any subsequence has measure zero.
  6. Apr 29, 2009 #5
    Brilliant! Thanks a lot.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Threads - Measure theory question Date
Measure Theory Question Jun 8, 2011
Elementary Measure Theory Question Oct 9, 2010
Tricky measure theory question Dec 19, 2009
Simple (I think?) measure theory question Sep 16, 2009
Measure Theory Question Sep 25, 2008