I just learned the inverse function theorem and I immediately began wondering the following:
Let $F:U\to F(U)$ be an $C^1$ function, where $U\subseteq \Bbb R^n$ is an open set.
If, for all $x \in U$, the function $F$ has a local inverse at $x$, does that mean that $F$ has an inverse?
I tried finding a countre example but I wasn't able to think of any. after that I tried to prove this but I also wasn't able to prove this.
Is this true? If so how can this be proved?