No bijective continuous $f:(0,1) \to [0,1]$ using facts from topology? In the context of learning topology, I'm triyng to see how to show that there is no bijective continuous function $f:(0,1) \to [0,1]$ using some basic topology facts such as the definition of continuity.
In this setting, $f$ is continuous if for all open $U$ in $[0,1]$, the set $f^{-1}(U)$ is open in $(0,1)$. Equivalently, we could swap "closed" for "open" in this definition.
As a first thought, I don't see any problem with the fact that, if such an $f$ exists, it would satisfy $f^{-1}([0,1]) = (0,1).$ I think this is OK because the set $(0,1)$ is closed in $(0,1)$. Is this correct? If so, what basic topological theorems do we use to prove this statement? Do we need to go to compactness?
 A: The function has to be monotone, assume it's increasing, now consider $f^{-1}(1)$ and observe that $1$ is not in $(0,1)$. 
A: Let $f : (0, 1) \to [0, 1]$ is a continuous bijection and let's write $f[X]$ for the image of $X \subseteq (0, 1)$ under $f$. As $f$ is a bijection, there is a unique $x \in (0, 1)$ such that $f(x) = 0$. And then $f[(0, x]]$ and $f[[x, 1)]$ are connected subsets of $[0, 1]$ each having at least two elements and each containing $0$. But connected subsets of intervals are intervals. So, for some $\epsilon_0 > 0$ and $\epsilon_1 > 0$, $f[(0, x)] \supseteq (0, \epsilon_0)$ and $f[(x, 1)] \supseteq (0, \epsilon_1)$. So $f[(0, x)] \cap f[(x, 1)] \neq \emptyset$ contradicting the assumption that $f$ is bijective.
A: Suppose $f:(0,1)\to [0,1]$ is a continuous surjection . For $n\in \Bbb N$  the subspace $S(n)=[2^{-n},1-2^{-n}]$ is   connected  so its image $f(S(n))$ is connected so $f(S(n))$ is an interval.   
For some $n_1$ there exist $x,y\in S(n_1)$ with $f(x)=0$ and $f(y)=1,$ implying that $0$ and  $1$ belong to the interval $f(S(n_1))$ , so $f(S(n_1)=[0,1].$  
Then $\phi \ne f( (0,1)$ \ $S(n_1)) \subset [0,1]=f(S(n_1))$ so $f$ cannot be a bijection. 
By contrast  the three totally-disconnected spaces $\Bbb Q\cap (0,1),\;$ $ \Bbb Q \cap [0,1),\;$ $\Bbb Q\cap [0,1]$ are homeomorphic to each other. (The homeomorphisms do not preserve the "$<$" order.)
