Existence of a Constant c in Subset X with Complement Measure 0

  • Thread starter Thread starter e(ho0n3
  • Start date Start date
  • Tags Tags
    Measure
Click For Summary

Homework Help Overview

The discussion revolves around a problem in real analysis concerning a subset X of the real numbers R, where the complement of X has Lebesgue measure 0. The task is to demonstrate the existence of a constant c such that for all integers n, the expression c + n is contained within X.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the implications of the properties of the set X, including the nature of its complement and the existence of a constant c. Questions arise about the inclusion of c + n for all integers n and the role of intersections of sets derived from X.

Discussion Status

The discussion is active, with participants sharing insights and building on each other's ideas. Some guidance has been offered regarding the intersection of sets and the implications of measure theory, leading to further exploration of potential contradictions.

Contextual Notes

Participants are navigating the complexities of measure theory and the properties of subsets of R, particularly focusing on the implications of Lebesgue measure and the nature of irrational numbers within the context of the problem.

e(ho0n3
Messages
1,349
Reaction score
0
Homework Statement
Suppose X is a subset of R such that its complement has Lebesgue measure 0. Show that there exists a c such that for all integers n, c + n is in X.

The attempt at a solution
I've been thinking about this for a while and I just don't see how such a c could exists. Any tips?
 
Physics news on Phys.org
As an example of such a subset X, take the irrational numbers.
 
I thought about that already. I know that X must contain some irrational c, but how do I know it will contain c + n for all integers n?
 
Think about the intersection of all of the sets (X-i) for i an integer. Could it possibly be empty?
 
Last edited:
I had thought of the interesection of the sets X + n for all integers n but that thought didn't develop further. But now that you wrote X - i, I now see how it works. Thanks.
 
Hmm...maybe I wrote to soon. If the intersection is empty, then the intersection of X - 1, X - 2, etc. is a subset of the complement of X and so has measure 0. But where is the contradiction?
 
If the intesection is empty, then the complement of the intersection is R. Write down an expression for the complement of the intersection expressed as a union of complements. Do you see a contradiction now?
 
Oh, I see it now. Duh! Thanks.
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
1
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K