Let the map $f:[0,2\pi)\to S^1; t\mapsto e^{it}$. This map is clearly continuous and bijective. The inverse map associates to each point $z$ on the circle, the argument of $z$ modulo $2\pi$. it seems like $f$ is an homeomorphism, i know it is not but i don't see why? Is there any topological invariant that indicates that $[0,2\pi)$ and $S^1$ are not homeomorphic ?
A bijective map that is not a homeomorphism
-
0@palio : I tend not to post answers to questions that already have several answers including one that's "accepted", but there was a point worth noticing that I didn't see the others mentioning. Please have a look at it. – 2012-03-19
5 Answers
Lots of answers, but this should also be mentioned: Look at the space $[0,2\pi)$ and ask what the open neighborhoods of $0$ are in that space. They are of the form $[0,\varepsilon)$. If every open neighborhood of $0$ were to reach into both that left end of the interval and also into the right end, looking like $[0,\varepsilon_1)\cup (1-\varepsilon_2,1)$, then $[0,2\pi)$ would be homeomorphic to the circle.
One way to see why the inverse mapping cannot be continuous is to note that $S^1$ is compact while $[0,2\pi)$ is not.
-
0This is essentially the same logic as the connectedness proof given by Gerry above.In each case,the proof is simple and decisive-which makes them very handy for exam answers. : ) – 2012-03-19
Consider the sequence $z_n:=e^{i(-1)^n/n}$ in $S^1$. Then $(z_n)$ converges to $e^{0}=1$. But if you apply the inverse map $f^{-1}$, you obtain the sequence $(x_n)$ given by $x_{2n}=1/(2n)$ and $x_{2n+1}=2\pi-1/(2n+1)$. Since the latter does not converge, the inverse map $f^{-1}$ is not sequentially continuous. Hence it is not continuous. Of course, this elementary answer does not highlight the topological invariants you are looking for.
-
0VERY creative proof,Boston! – 2012-03-19
The inverse map is not continuous.
-
0@Palio: To flesh out Gerry's answer ever so slightly, the inverse mapping is continuous everywhere except at one point - at $z=1$ in $\mathbb{C}$. Why don't you try showing that? – 2012-03-19
Homeomorphisms preserve the structure of topologies...i.e. the open sets.
Continuous maps preserve the structure one way since a function of topological spaces is continuous if and only if the preimage of open sets is open.
However (bijective) homeomorphisms do this AND preserve open sets the other way, i.e. the image of open sets is now required to be open too.
Anyway, if you draw some pictures you will convince yourself that the open sets are not preserved.
-
0@TannerL.Swett O Gosh Now I realized I remembered this the wrong way around - Homeomorphisms are always open maps, open maps aren't always homeomorphisms. Please excuse this mental lapse. – 2012-03-19