Cantor set - location of irrationals

363 Views Asked by At

I read that the Cantor set is an uncountable perfect set that does not contain isolated points. At the same time, it is totally disconnected and does not contain intervals of any kind.

I could not figure out where the irrational numbers can be located inside the Cantor set. We know that the endpoints of the Cantor set are countable since they are rational numbers. Now, the irrationals should be 'inside' the interval between the rational endpoints.... But if there are no intervals, where would the irrationals lie? s.t. the Cantor ser is classified as uncountable.

2

There are 2 best solutions below

2
On BEST ANSWER

The Cantor set has lots of points that are not end points of the intervals that are removed in its construction. The irrational numbers within the Cantor sets are not the end points of those intervals. Your confusion is caused by thinking that every points between $0$ and $1$ is either in one of the intervals removed or an end point of one of those intervals.

0
On

"the elements of the Cantor set are precisely those elements in [0,1] with a ternary expansion consisting of 0's and 2's.'' and I add, uncountabley many irrationals are found therein.

Please see:

Is the Cantor set a subset of rational numbers, and is it countable or uncountable?