Does every uncountable set of reals contain an interval?

In summary, the conversation discusses the possibility of an uncountable subset of the reals that contains no intervals. The Cantor set is mentioned as a potential example and one person suggests proving this by considering the set of all irrational numbers. However, it is then pointed out that the Cantor set does not contain any intervals. The conversation ends with the idea that any subset of the reals that contains no intervals must be denumerable.
  • #1
dreamtheater
10
0
Let S be an uncountable subset of the reals.

Then does S always contain at least one interval (whether it be open/closed/half-open/rays/etc..)?

Maybe the Cantor set is an example of an uncountable set that contains no intervals? How does one show this if it is true?

My intuition is that, if any subset of the reals contains no intervals, then it must be denumerable, but this might be wrong.
 
Mathematics news on Phys.org
  • #2
dreamtheater said:
Let S be an uncountable subset of the reals.

Then does S always contain at least one interval (whether it be open/closed/half-open/rays/etc..)?

Maybe the Cantor set is an example of an uncountable set that contains no intervals? How does one show this if it is true?

My intuition is that, if any subset of the reals contains no intervals, then it must be denumerable, but this might be wrong.

Consider the set of all irrational numbers.
 
  • #3
False!
The Cantor, the irrationals, and the transendential numbers are obvious counter examples.
 
  • #4
dreamtheater said:
Maybe the Cantor set is an example of an uncountable set that contains no intervals? How does one show this if it is true?
Take any interval. It has length d. But for sufficiently high n, [itex]3^{-n} < d[/itex]. Therefore, by construction, the Cantor set contains no intervals of length d.
 

FAQ: Does every uncountable set of reals contain an interval?

What does it mean for a set to be uncountable?

A set is considered uncountable if its elements cannot be put into a one-to-one correspondence with the natural numbers (1, 2, 3, ...). This means that there are infinitely many elements in the set and there is no way to count or list them all.

What is a set of reals?

A set of reals is a collection of real numbers, which are numbers that can be represented on a number line and include both rational and irrational numbers.

What is an interval?

An interval is a continuous set of real numbers between two endpoints. It can be open (excluding the endpoints), closed (including the endpoints), or half-open (including one endpoint but not the other).

How can we prove that every uncountable set of reals contains an interval?

This statement, also known as the Cantor-Bendixson theorem, can be proved using the concept of perfect sets and the Baire category theorem. Essentially, it states that any uncountable set of reals must have a non-empty perfect subset, and any perfect set contains an interval.

Why is this theorem important in mathematics?

The Cantor-Bendixson theorem has many important applications in set theory, topology, and other areas of mathematics. It helps us understand the structure of uncountable sets and their relationships with other sets. It also has practical applications in fields such as computer science and economics.

Back
Top