Vtyjkyuk

The Cantor set is closed, so its complement is open. So the complement can be written as a countable union of disjoint open intervals. Why can we not just enumerate all endpoints of the countably many intervals, and conclude the Cantor set is countable?

Because the Cantor set includes numbers which are not the endpoints of any intervals removed. For example, the number $frac14$ (0.02020202020... in ternary) belongs to the Cantor set, but is not an endpoint of any interval removed.

You cannot do that because a countable set can have an uncountably many limit points. The points in the Cantor set are limit points of these endpoints.

For example, the real numbers are all limit points of the rational numbers. If between every two real numbers there is a rational number, but we still can't establish that the real numbers are countable.

The reason that does not work is that there are some points in the Cantor set which are not the endpoint of any interval that is removed during the construction of the Cantor set. In the proof that is suggested in the question, it would be necessary to show that every point in the set is one of these endpoints, but that just isn't true. The proof that the Cantor set is uncountable already shows there has to be at least one such "non-endpoint" point, because the set of endpoints is countable, as the question above points out. In fact we can give a specific example: the number $1/4$ is in the usual middle-thirds Cantor set, but it is not an endpoint of any interval that is removed, because all those endpoints are rationals whose denominator can be written as a power of $3$.

There are a couple other ways to conclude that the Cantor set is uncountable, which you can read more about in Charles Pugh's "Real Mathematical Analysis" 2nd edition. Since the arguments clarified a lot for me I figured it would be good to put them in here for others to see since they have not been mentioned already.

While this theorem does not give much intuition about the points included in the Cantor set which make it uncountable, we can use the fact that every complete, perfect, and nonempty metric space is uncountable, and show that the Cantor set meets these criteria to show that it is uncountable.

Now for a more illuminating explanation that relates to the expression in base $3$ argument, we create an address for each point in the Cantor set which consists of an infinite string of $0$'s and $2$'s which is determined as follows.

We know that $C=bigcap_n=1^inftyC^n$ where each $C^n$ consists of the $2^n$ subdivisions of $[0,1]$ each of length $frac13^n$. So we create an address system which indicates to which of the $2^n$ subintervals a given point $p$ belongs, where the string up to the $n$-th digit will tell us the specific subinterval in $C^n$. The general idea is that a $0$ indicates belonging to the left subinterval after the removal of the middle third , while a $2$ indicates belonging to the right subinterval after the removal of the middle third of a given interval of $C^n$.

Let's consider the example with $p=frac14$. We know that the first splitting of the interval $[0,1]$ in $C^1$ consists of the two subintervals $C_0= [0, frac13]$ and $C_2=[frac23, 1]$. and that $frac14 in [0, frac13]$. Therefore the first number of the address string for $frac14$ is a $0$.

Now for $C^2$, we know this consists of $4$ subintervals of $[0,1]$, namely $C_00 =[0, frac19]$, $C_02=[frac29, frac13]$, $C_20=[frac23, frac79]$, and $C_22=[frac89,1]$. We know that $frac29<frac14< frac13$, we have that $frac14in C_02=[frac29, frac13]$, making our address for $frac14$ is $02....$. Continuing on to $C^3$, $C^4$,... we get an infinite address string for $frac14$.

The set of all of these infinite address strings can be shown to be uncountable, and it is in bijection with the Cantor set. By the continuum hypothesis, any uncountable subset of $mathbbR$ has a cardinality equal to $mathbbR$. Therefore the Cantor set is uncountable.