We observe in the second surface that there appears 'strange point'. Exactly, points where the tangent plane is not well-defined. This occurs because $X$ is not a parametrization that cover the whole sphere, but only a part. Exactly, $s\in (0,2\pi)$, that is, except a meridian, exactly the points where appear the problem.
We give some properties of these surfaces.
1. The set $S(f)$ is, indeed, a surface. The map $$\phi:{\mathbb S}^2\rightarrow {\mathbb R}^3,\ \phi(p)=f(p)p$$ is differentiable and $d\phi_p$ is one-to-one. The proof is as follows. If $v\in T_p{\mathbb S}^2$, then if $0=d\phi_p(v)=(df_p(v))p+f(p)v$, we have a linear combination of $p$ and $v$. We know that $T_p{\mathbb S}^2=<p>^\bot$. If $v\not=0$, then $f(p)=0$, a contradiction. This proves that $\phi({\mathbb S}^2)=S(f)$ is a surface.
2. The surface $S(f)$ is compact and connected because $S(f)=\phi({\mathbb S}^2)$.
3. The map $\phi$ is one-to-one. If $\phi(p)=\phi(q)$, then $f(p)p=f(q)q$. Taking the modulus, we have $f(p)=f(q)$, so $p=q$.
4. The map $\phi:{\mathbb S}^2\rightarrow S(f)$ is a diffeomorphism because the inverse is is $\phi^{-1}(p)=p/|p|$, so it is differentiable.
No comments:
Post a Comment