Measure theory question

  • Thread starter SpaceTag
  • Start date
  • #1
SpaceTag
12
0
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?
 

Answers and Replies

  • #2
Billy Bob
392
0
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? :)
 
  • #3
SpaceTag
12
0
Spoil my fun, please! This has been annoying me for too long, haha.
 
  • #4
Billy Bob
392
0
[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.
 
  • #5
SpaceTag
12
0
Brilliant! Thanks a lot.
 

Suggested for: Measure theory question

Replies
3
Views
546
Replies
2
Views
123
  • Last Post
Replies
1
Views
871
  • Last Post
2
Replies
38
Views
1K
  • Last Post
Replies
29
Views
719
  • Last Post
Replies
3
Views
614
  • Last Post
Replies
1
Views
529
  • Last Post
Replies
5
Views
556
  • Last Post
Replies
3
Views
870
  • Last Post
Replies
1
Views
452
Top