- Thread starter
- #1

**Problem:**

For each positive integer $n$ let $X_n = \left\{1, 2, 3, ..., 2^n \right\}$ with the discrete topology and let $f_n : X_{n+1} → X_n$ be the function defined by:

$f_n(i) = i$ for $1 ≤ i ≤ 2^n$

$f_n(i) = 2^{n+1} − i + 1$ for $2^n < i ≤ 2^{n+1}$

Then

$X = lim_{←} \left\{X_i, f_i \right\}_{i=1}^{\infty}$

is homeomorphic to the Cantor set.

I've been trying to find a homeomorphism for this for way too long... anyone know what it would be?

I can take care of proving it's a homeomorphism once I have the function.