psie
- 315
- 40
- TL;DR Summary
- I have opened up my old lecture notes from set theory, and the author in there proves that ##(0,1)## is uncountable with the help of decimal expansions not ending with infinite ##9##s (aka the diagonal argument, see below). Naively, can we just replace decimal expansions with binary expansions not ending with infinite ##1##s, say?
In the proof, we assume ##(0,1)## to be countable and we write \begin{align*}a_0&=0.a_{00}a_{01}a_{02}\ldots \\ a_1&=0.a_{10}a_{11}a_{12}\ldots \\ a_2&=0.a_{20}a_{21}a_{22}\ldots \\ &\vdots\end{align*}and so on for the elements ##a_0,a_1,\ldots## in ##(0,1)## (and where the expansions do not end in infinite ##9##s). Then we define the real number ##b=0.b_0b_1\ldots## where $$b_k=\begin{cases}1&\text{if } a_{kk}\neq 1\\ 2&\text{if }a_{kk}=1.\end{cases}$$ This number is in ##(0,1)##, but is not included in the enumeration. Contradiction.
I'm wondering, does this argument also work if we use that every real in ##(0,1)## has a unique binary expansion not ending in infinite ##1##s, say? Since we only have two digits in base ##2##, I imagine it gets a little tight. Somewhere I overheard that this should work in any base.
The reason why I'm asking in the first place is because after Theorem 2.14 in Rudin's PMA, he claims that those readers familiar with binary representations of a real number will notice that the set of binary sequences being uncountable implies the reals being uncountable. I don't see how to go about this implication without first showing a subset of ##\mathbb R## being uncountable (in this case ##(0,1)##), and then constructing a bijection from ##(0,1)## to ##\mathbb R##, which is fairly easy.
I'm wondering, does this argument also work if we use that every real in ##(0,1)## has a unique binary expansion not ending in infinite ##1##s, say? Since we only have two digits in base ##2##, I imagine it gets a little tight. Somewhere I overheard that this should work in any base.
The reason why I'm asking in the first place is because after Theorem 2.14 in Rudin's PMA, he claims that those readers familiar with binary representations of a real number will notice that the set of binary sequences being uncountable implies the reals being uncountable. I don't see how to go about this implication without first showing a subset of ##\mathbb R## being uncountable (in this case ##(0,1)##), and then constructing a bijection from ##(0,1)## to ##\mathbb R##, which is fairly easy.