Proof that the cardinality of the Cantor Set is c

1.7k Views Asked by At

I have proven that the Cantor set is uncountable using Cantors diagonalization argument in base $3$. Now I have to prove that it has cardinality $\mathfrak{c}$ due to the fact that it is uncountable but I am struggling to even get started.

Any help would be appreciated.

1

There are 1 best solutions below

1
On BEST ANSWER

If you’re trying to reason solely based off the fact that the cantor set is uncountable (this is my impression from your comments), then you cannot prove that it has cardinality $\mathfrak{c}$ with the standard axioms of mathematics. You need some form of the continuum hypothesis. As mentioned in Andre, if you can use the fact that the cantor set is closed, then you can prove it has carnality $\mathfrak{c}$ because every perfect subset of $\mathbb{R}$ has cardinality $\mathfrak{c}$

You can also do slightly more sophisticated proofs based on the algebraic representation of the cantor set. If you can consider the function that “reinterprets” a base 3 expression as a base 2 expression (sending $0$ to $0$ and $2$ to $1$). This function is a surjection into $\mathbb R$ and so the Cantor set is no smaller than $\mathbb R$. Since it’s also a subset, we get equality between their sizes.