I am using Do Carmo's Riemannian Geometry, and struggling to solve a problem.
The problem is:
Show that the mapping $F:\mathbb{R}^2\to\mathbb{R}^4$ given by
$$F(x,y)=((r\cos y+a)\cos x,(r\cos y+a)\sin x,r\sin y\cos\frac{x}{2},r\sin y\sin\frac{x}{2}))$$
induces an embedding of the Klein bottle into $\mathbb{R}^4$.
I know that the Klein bottle is defined as a quotient manifold $T^2/G$, where $T^2$ is the 2-torus, $G$ is a group of diffeomorphisms of $T^2$ formed by $\{A,Id\}$, and $A$ is the antipodal map, i.e. $A(p)=-p$.
Besides, I know that $T^2=S^1\times S^1$, where $S^1$ is the unit circle.
Also, I found that $F$ is injective.
However, I don't have a clue about how to attack this problem. I tried googling, but found nothing.
Any help will be appreciated.