- #1
talolard
- 125
- 0
Homework Statement
I feel like I got away easy with this one. Could somone let me know if I got it wrong?
Thanks
Is there a homemorphism from the Cantor set C to itself sucht hat for some [tex]x,y\in C f(x)=y [/tex]
Solution. Yes
We know that the canot set is homemorphic to the space[tex] \left\{ 0,1\right\} ^{\mathbb{N}} [/tex]so we will contruct the desired Homemorphism there.
For [tex] x,y\in\left\{ 0,1\right\} ^{\mathbb{N}} [/tex] Define [tex] F:_{x,y}\left\{ 0,1\right\} ^{\mathbb{N}}\rightarrow\left\{ 0,1\right\} ^{\mathbb{N}} [/tex] Such that the coordinate function [tex] F_{x,y}^{n}(z)=\begin{cases}
z_{n} & z\neq x\wedge z\neq y\\
y_{n} & z=x\\
x_{n} & z=y\end{cases}. [/tex]
The coordinate function is obviously cotinous since it is a function from a discrete space
toa discrete space and so the “product function” is also continuous. The same reasoning makes the inverse function continuous. It is easy to see the the function is 1-1 since it maps it's element to itself
except x and y which it inverses and for the same informal reasoning it is onto and so a homeomorphism.