$1/4$ is in the Cantor set?

$1/4$ is in the Cantor set. It is in the lower third. And it is in the upper third of the lower third. And in the lower third of that, and in the upper third of that, and so on.

The quickest way to see this is that it is exactly $1/4$ of the way from $1/3$ down to $0$, and then use self-similarity and symmetry.

A more plodding way to show it is to look at the series $$ \frac29 + \frac{2}{9^2}+\frac{2}{9^3}+\cdots=\frac14. $$ This shows that the base-$3$ expansion of $1/4$ is $0.02020202\ldots$. Since it has a base-$3$ expansion with only $0$s and $2$s, it is in the Cantor set.


Hint: write $\frac{1}{4}$ in base $3$.

To do this, just observe that

$$\frac{1}{4}=\frac{2}{9-1}=\frac{2}{9}\frac{1}{1-\frac{1}{9}}$$

and write the geometric series which has that limit.


We use mathematical induction to show $\frac{1}{4}$ and $\frac{3}{4}$ are in $C_n,\, \forall n\in \mathbb{N}\cup \{0\}$.

Clearly, they are in $[0,1]$.

Suppose they are in $C_N$. We observe the structure of $[0,\frac{1}{3}]$ after $n+1$ cuts is similar to $[0,1]$ after $n$ cuts. Hence if $x \in C_N$, then $\frac{x}{3} \in C_{N+1}$. Since by assumption, $\frac{3}{4} \in C_{N}$, we have $\frac{1}{4} \in C_{N+1}$. Moreover, since the cut is symmetry on $[0,1]$, we know $\frac{3}{4} \in C_{N+1}$.

Hence by induction, $\frac{1}{4}$ and $\frac{3}{4}$ are in $C_n,\, \forall n\in \mathbb{N}$, we have $\frac{1}{4}$ and $\frac{3}{4}$ are in $C$.