Every interval [x,y] is uncountable.

How to prove this? Thank you!

Printable View

- May 12th 2011, 03:50 PMjstarks44444Interval Countability proof
Every interval [x,y] is uncountable.

How to prove this? Thank you! - May 12th 2011, 04:16 PMPlato
- May 12th 2011, 04:29 PMjstarks44444
Ah, you're right. The theorems that come before this include,

R (Reals) is not countable.

The set R - Q (Rationals) of irrational numbers is uncountable.

The set of transcendental numbers is uncountable.

The proof of the reals not being countable shows that the set of decimals

{0.d1d2d3...: each dj = 3 or 4} which is a subset of R

is uncountable. Consequently, the interval [0,1] = {x in R : 0 <= x <= 1} is uncountable. This can apparently be modified to prove the theorem in question. Thanks!