Continuity of the inverse map If we have a function $F(x): \mathbb{R^4} \rightarrow \mathbb{R^3}$. Defined as
\begin{align}
x_1\, x_4&=y_1 \\
x_2\, x_4&=y_2 \\
x_1^2+x_2^2-x_3^2&=y_3
\end{align}
Can a continuous inverse map exist? I'm intuitively guessing that the problem with continuity can occur at $y=(0,0,1)$ but I'm not being able to prove it.
 A: A continuous inverse map cannot exist because an inverse map cannot exist, as the function is not injective. For example
$$F(1,0,0,0)=(0,0,1)=F(0,1,0,0).$$
A: The question as asked is easier than what I attack here. Certainly the lack of injectivity spells doom for an inverse, much less a continuous inverse. That said, it's fun to think about how we could suitably restrict the given function as to obtain an inverse. The Jacobian matrix essentially reveals when and what we can do in that regard. I give an illustration of this below:
Observe, $F(x_1,x_2,x_3,x_4) = (y_1,y_2,y_3)$ defined by:
\begin{align}
x_1\, x_4&=y_1 \\
x_2\, x_4&=y_2 \\
x_1^2+x_2^2-x_3^2&=y_3
\end{align}
for all $(x_1,x_2,x_3,x_4) \in \mathbb{R}^4$ has Jacobian matrix:
$$ J_F = \left[ \frac{\partial F}{\partial x_1} \bigg{|} \frac{\partial F}{\partial x_2}\bigg{|}\frac{\partial F}{\partial x_3}\bigg{|}\frac{\partial F}{\partial x_4}\right] = 
\left[ \begin{array}{cccc} 
x_4 & 0 & 0 & x_1 \\
0 & x_4 & 0 & x_2 \\
2x_1 & 2x_2 & -2x_3 & 0 \end{array}\right]$$
This shows us what the dimension of the image is locally. In particular, the rank of the Jacobian shows us the dimension of the image near the point as the component functions are polynomial and hence continuous. For example, if $x_3=0$ then we need the following determinant to be nonzero in order that $J_F$ have rank 3:
$$\text{det}\left[ \begin{array}{ccc} 
x_4 & 0  & x_1 \\
0 & x_4  & x_2 \\
2x_1 & 2x_2  & 0 \end{array}\right] = -2x_4(x_2^2+x_1^2)$$
which is nonzero for $x_4 \neq 0$ and $(x_1,x_2) \neq (0,0)$. With this in mind, I return to the original system of equations and invert them with respect the given conditions:
\begin{align}
x_1\, x_4&=y_1 \\
x_2\, x_4&=y_2 \\
x_1^2+x_2^2 &=y_3
\end{align}
we wish to solve for $x_1,x_2,x_4$ in terms of $y_1,y_2,y_2$. Note,  $x_1/x_2 = y_1/y_2$ thus $ y_1^2+y_2^2 = x_4^2y_3$. Therefore,
\begin{align}
 x_4 &= \pm \sqrt{(y_1^2+y_2^2)/y_3} \\
 x_1 &= y_1/x_4 = \pm y_1/\sqrt{(y_1^2+y_2^2)/y_3} \\
 x_2 &= y_2/x_4 = \pm y_2/\sqrt{(y_1^2+y_2^2)/y_3} 
\end{align}
The formulas above give a pair of local inverses for $F$ restricted to the three-dimensional subset $S$ of $\mathbb{R}^4$ for which $(x_1,x_2,x_3,x_4)$ has $x_3=0$ and $x_4 \neq 0$ and $(x_1,x_2) \neq (0,0)$. In particular, if we denote $S=S_+ \cup S_-$ where $S_+$ has $x_4 >0$ and $S_-$ has points with $x_4<0$ then the formulas above define inverse functions for $F$ restricted to $S_\pm$.
A: Continuous bijections between $ \mathbb R^m \rightarrow \mathbb R^n$ ( bijection is needed for the existence of a global inverse ) are not possible unless $n=m$: otherwise, restrict the domain to a closed, bounded ( so compact )ball) B .Then $ h_|B \rightarrow h(B) $ is a continuous bijection between compact and Hausdorff, a homeomorphism, which cannot happen between subsets of $\mathbb R^n , \mathbb R^m ; n \neq m$ by, e.g., invariance of domain.
