Friday, 25 May 2018

real analysis - Is there a continuous bijection from open unit interval to open unit disc?



I came across a problem asking the reverse of the titular question:




Prove that there is no continuous bijection from $B_1(\mathbb{0}) = \{ (x,y) \in \mathbb{R}^2 : x^2 + y^2 < 1\}$ to $(0,1)$.





This I did as follows:



Suppose for the sake of contradiction that there is such a map $f$. Consider the map $g : B_1(\mathbb{0}) \setminus \{ \mathbb{0} \} \to (0,1) \setminus \{ f(\mathbb{0}) \}$ given by $g(\mathbb{x}) = f(\mathbb{x})$. Then $g$ is also a continuous bijection. The continuous image of a connected set must be connected, and the domain is connected, so the image must be contained in either $(0,f(\mathbb{0}))$ or $(f(\mathbb{0}),1)$, which contradicts surjectivity. Hence, proved.






I then decided to try and prove the claim in the other direction:





Q. Is there a continuous bijection $f : (0,1) \to B_1(\mathbb{0})$?




But, the same idea failed to work.



After removing a point from the domain and its image from the codomain, I have two disjoint intervals on the one hand and a connected space on the other. I tried taking a path in the codomain connecting two points, each lying in the image of the two components of the domain. But since the inverse of $f$ is not assumed to be continuous, I couldn't proceed further.



I'm not sure what to do next. Can someone help me prove or disprove the claim? Thanks!


Answer



Note that $(0,1)$ is the countable union of the compact sets $\left[\frac1n,1-\frac1n\right]$ ($n>2$). It turns out that the interior of $C_n=f\left(\left[\frac1n,1-\frac1n\right]\right)$ is empty. Suppose otherwise. Since $\left[\frac1n,1-\frac1n\right]$ is compact and $B_1(0)$ is Hausdorff, $f$ induces a homeomorphism from $\left[\frac1n,1-\frac1n\right]$ onto $C_n$. Therefore, the restriction of $f^{-1}$ to an open ball contained in $C_n$ is a homeomorphism from that open ball in $B_1(0)$ onto a subset of $(0,1)$. That cannot be by the connectedness argument that you mentioned.




So, $f\bigl((0,1)\bigr)$ is a countable union of closed sets with empty interior. Now, the Baire Category Theorem tells us that $f\bigl((0,1)\bigr)$ cannot be $B_1(0)$.


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}...