I would like to know what are the methods people have used to prove that a topologically (or analytically) nice mapping $f: B\to \Omega$ is injective? Above, $B$ is the unit ball in $\Bbb R^n$ and $\Omega$ is a "nice" domain in $\Bbb R^n$, $n>2$. I used the words topologically nice or analytically nice since I do not know the exact condition that will imply the injectivity.
For topologically nice map, we may assume it is continuous, discrete and open, proper, ... and so on. For analytically nice, we may assume nice regularity. For the question above, one can also add assumptions on the target domain $\Omega$. For instance, if $\Omega$ is also a (unit) ball, and if the mapping $f$ has compact branch set (which is the set of points in the source such that $f$ is not locally injective at that point), then $f$ is injective. This can be seen in the following way, the closeness (or properness) of the mapping implies that the boundary get mapped to the boundary and so we may choose a simply connected neighborhood $U$ around the boundary of the image and analyze the preimages of $U$. Since it does not touch $f(B_f)$, it is easy to show that $f$ forms a covering map between these neighborhoods. Since the target $U$ is simply connected, we conclude that $f$ is one-to-one when restricted to $f^{U}$. On the other hand, the degree of $f$ is constant in the ball and so we conclude that $f$ is one-to-one.
It would be greatly appreciated if one can tell me some other methods or conditions that sufficient to conclude that a mapping is injective.
