习题 9, § 8

证明康托三元数集合 $K$ (§ 2, no. 5) 是所有实数 $x \in [0, 1]$ 的集合，其三元数展开（或不正确三元数展开，如果 $x$ 是邻接区间的原点） $K$)

对于每个$n$，$u_n \neq 1$（因此$u_n = 0$或$u_n = 2$）。如果$v_n = \frac{1}{2} u_n$对于每个$n$，并且如果$f(x) = \sum_{n=1}^{\infty} v_n 2^{-n}$，则表明$f$是$K$到$[0, 1]$的满射连续映射；推断 $K$ 有幂的连续统。