Tuesday 17 March 2015

general topology - Need a hint: prove that $[0, 1]$ and $(0, 1)$ are not homeomorphic



I need a hint: prove that $[0, 1]$ and $(0, 1)$ are not homeomorphic without referring to compactness. This is an exercise in a topology textbook, and it comes far earlier than compactness is discussed.



So far my only idea is to show that a homeomorphism would be monotonic, so it would define a poset isomorphism. But the can be no such isomorphism, because there are a minimal and a maximal elements in $[0, 1]$, but neither in $(0, 1)$. However, this doesn't seem like an elemenary proof the book must be asking for.


Answer




There is no continuous and bijective function $f:(0,1) \rightarrow [0,1]$. In fact, if $f:(0,1) \rightarrow [0,1]$ is continuous and surjective, then $f$ is not injective, as proved in my answer in Continuous bijection from $(0,1)$ to $[0,1]$. This is a consequence of the intermediate value theorem, which is a theorem about connectedness. Are you allowed to use that?


No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...