This surface is called a starshaped surface because the half-line starting from the origin of coordinates meets only at one point of S(f). For example, if f=2, then S(2) is the sphere cetered at the origin of radius 2. In order to give more explicit examples, consider the parametrization of the sphere X(t,θ)=(cos(t)cosθ,cos(t)sinθ,sin(t)). Then define two functions f by f(X(t,θ))=1+cos(t)2 and f(t)=1+cos(s)2. The pictures are:
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∈(0,2π), 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 ϕ:S2→R3, ϕ(p)=f(p)p
is differentiable and dϕp is one-to-one. The proof is as follows. If v∈TpS2, then if 0=dϕp(v)=(dfp(v))p+f(p)v, we have a linear combination of p and v. We know that TpS2=<p>⊥. If v≠0, then f(p)=0, a contradiction. This proves that ϕ(S2)=S(f) is a surface.
2. The surface S(f) is compact and connected because S(f)=ϕ(S2).
3. The map ϕ is one-to-one. If ϕ(p)=ϕ(q), then f(p)p=f(q)q. Taking the modulus, we have f(p)=f(q), so p=q.
4. The map ϕ:S2→S(f) is a diffeomorphism because the inverse is is ϕ−1(p)=p/|p|, so it is differentiable.
No comments:
Post a Comment