Can we define the Cantor Set in this way?

179 Views Asked by At

Let $$C_0 = \left\{ 0.0 \right\}$$

Define, for $$n∈ℕ : n> 0$$ subsequently:

$$C_n = \left(C_{n-1} + \frac{2}{3^n} \right) \bigcup C_{n-1}$$

Let $C$ be the Cantor Set, then

$$C = \bigcup_{n=1}^\infty C_n $$

My concern is that members like $0.1$ are never defined but $0.0222\dots$ might be, which is kind of the same thing.

1

There are 1 best solutions below

0
On BEST ANSWER

As Wojowu pointed out in the comments, your $C$ is missing all of the points with infinitely many $2$'s in their decimal expansion. However, your $C$ is certainly dense in the Cantor set - that is, given any open interval $I$ that intersects the Cantor set, $I \cap C$ is nonempty. So you could define the Cantor set to be the closure of $\bigcup_{n = 1}^{\infty}C_n$. If you're not familiar with topological notions like "closure", think of it as adding all of the points that are almost in the set; so, for example, $1$ is not in your set, but points arbitrarily close to it are, so $1$ would be in the closure.