3
$\begingroup$

Prove that $ f: \prod\limits_{1}^{\infty} ( \{0,2 \}, \mathcal{T} _{\delta}) \to ([0,1], \mathcal{T}_{e}):\{n_i \} \mapsto \sum_{i=1}^{\infty} \frac{n_i}{3^i} $ is homeomorphism, and image of $f$ is Cantor set.

  • 0
    It's quite all right--I've done similar things "against protocol" before I knew better. Just wanted to fill you in.2012-11-04

1 Answers 1

2

Since you’ve given no indication of where you’re having trouble, I’ll give a couple of pointers to previous answers that should at least get you started. Here is a proof that the map is injective. This answer contains most of what you need to prove that the range of $f$ is the familiar middle-thirds Cantor set.

  • 0
    Thank you Brian M. Scott :). Now I know how to prove that range of f is Cantor set and that this function is injective, but I still don't know how to prove that $f, f^{-1}$ are continuous. Can you help me one more time?2012-11-04