How do you show $f(x,y)=\left( \frac{x}{x^2+y^2},\frac{y}{x^2+y^2}\right)$ is a diffeomorphism? Given this mapping:$$f(x,y)=\left( \frac{x}{x^2+y^2},\frac{y}{x^2+y^2}\right), \quad (x,y)  \in \mathbb{R}^2$$
$$(\mathbb{R}^2= \{ (x,y):x,y \text{   are real numbers}, \text{ excluding } (x,y)=(0,0) \})$$
How do you check if it is a diffeomorphism?
I would say $f$ is continuous on the given domain... now to how would you check for differentiability? Is it true to say that if the determinant of the Jacobian matrix is non-zero for all $(x,y)$ in the given domain then f is differentiable and therefore a diffeomorphism?
This is a specific function that is its own inverse but considering a function that wasn't its own inverse does the fact that the determinant of the Jacobian matrix being non-zero (and existing) for the whole domain show that the inverse function exists without restricting the domain? 
 A: Solving $$u=\frac{x}{x^2+y^2}~~~~v=\frac{y}{x^2+y^2}$$
gives $$x=\frac{u}{u^2+v^2}~~~~y=\frac{v}{u^2+v^2}$$
Namely you can check that $$\color{red}{f\circ f(x,y) = (x,y)}$$

Hence $f$ is a bijection and since $f$ is differentiable on  $\Bbb R^2\setminus \{(0,0)\}$ you conclude that it is a diffeomorphism from $\Bbb R^2\setminus \{(0,0)\}$ to $\Bbb R^2\setminus \{(0,0)\}$

A: The Jacobian matrix being non-singular only shows that the mapping is a local diffeomorphism. For the inverse to exist, you need the mapping to be one-to-one.
A: This is not properly an answer to the question of diffeomorphism, but a remark about geometrical aspects of this transformation $f$ conveyed by the Jacobian matrix.
Indeed, $f$ is a classical transform called "inversion" (https://www.encyclopediaofmath.org/index.php/Inversion).
Written under a vectorial form, $M'(x',y')$ is the image of $M(x,y)$ if and only if:
$$\tag{1}\vec{CM'}=\frac{1}{\|\vec{CM}\|^2} \ \vec{CM}.$$
Intuitively, consider a group of nearby points $M_k$, say exterior to unit circle but close to it. Their images will be nearby points $M'_k$ interior to the unit circle, with the farthest points exchanged with the closest points.
The Jacobian matrix of $f$ has a remarkable structure :
$$\tag{2}J \ \ = \ \ k \ \ \underbrace{\begin{pmatrix}-a&b\\ \ \ b&a
\end{pmatrix}}_S \ \ \ \text{with} \ \ \ \begin{cases}a=\dfrac{x^2 - y^2}{x^2 + y^2}\\b=\dfrac{-2xy \ \ }{x^2 + y^2}\end{cases} \ \ \text{and} \ \ k=\dfrac{1}{x^2 + y^2} $$
reflecting in the "language" of linear algebra the local behaviour of inversion in the vicinity of a certain point $(x_0,y_0)$ (first order approximation) :
$$\tag{3}f(x,y)-f(x_0,y_0)\approx \underbrace{k \begin{pmatrix}-a&b\\ \ \ b&a
\end{pmatrix}}_J \binom{x-x_0}{y-y_0}.$$
(by definition of a Jacobian matrix). $J$ is the composition of

*

*a symmetry operation due to matrix $S$ ($a^2+b^2=1$ and $\det(S)=-1$), and


*a central  homothety (brought by factor $k$).
The homothety ratio $k=\frac{1}{\|\vec{CM}\|^2}$ doesn't come as a surprise (see (1)). The appearance of a clearcut symmetry matrix is, at first look, more surprizing, but can be easily understood when looking at some shapes and their images like (see picture) the way the image of the fox is, in first approximation a kind of reflection of it : its legs in particular can be considered as almost perfectly mirrored with respect to  certain tangent to the unit circle ; whereas, for a point like the fox muzzle, the homothety ratio $k$ cannot be ignored : first order approximation (2) is mirroring and shrinking/enlarging by a shrinking/enlargment factor in inverse ratio with the square of the distance of the considered point with respect to the origin $C$.

The closer to the unit circle is a group of points $(x_k,y_k)$, the more faithfully their image is "reflected" with respect to the unit cercle, because the dilation/contraction factor $k \approx 1$.
Remark: The image of the little planet with a fox and a star is a tribute to "The Little Prince" (http://www.yoanaj.co.il/uploadimages/The_Little_Prince.pdf))
