I remarked in the classroom the differences between the definition of a curve and a surface: a curve is a differentiable map and a surface is a subset of Euclidean space where there do exist parametrizations. I return again with it.
If a curve α:I→R3 is regular t0, then α′(t0)≠0. If we write in terms of the differential map of α, it means that (dα)t:R→R3 is a non-zero linear map. This is equivalent to say that rank(dα)t=1, because (dα)t0(1)=dds|s=0α(t0+s)=(x′(t0),y′(t0),z′(t0))≠(0,0,0).
Thus the rank of (dα)t is the maximum possible (it would be 0 or 1). Furthermore, by using the inverse function theorem, ``the curve is a graph locally around t0''. In fact, it was proved that there exists ϵ>0 such that α:J=(t0−ϵ,t0+ϵ)→α(t0−ϵ,t0+ϵ)
coincides with the graph of a function, that is, there exists a differentiable function f:K⊂R→R such that {(x,f(x)):x∈K}=α(J). As a consequence, α:J→α(J) is homeomorphic to an interval of R.
Then the map α would play (almost) the same role of parametrizations in a surface. If we want to give the definition of the analogous 1-dimensional case of a surface, then a subset C⊂R3 is a 1-surface (=curve) if for each point p∈C there exists I⊂R and a map X:I→V⊂C a homeomorphism, where V is an open of C around p, X:I→R3 is differentiable and X′(t)≠(0,0,0).
The question is the definition of curve given in chapter 1 is now a 1-surface, more precisely, if the trace α(I) is a such 1-surface. Then one would think `yes' by taking around each point p∈C the corresponding restriction of α to the suitable interval J. However, the only problem is the following: Is α(J) an open set of C? because the other properties have been showed. We find the answer in the curve α(t)=(cos(t),sin(2t)), t∈R.
This curve self-intersects at the origin. Thus it can not be a 1-surface because this point has not a neighbourhood which is homeomorphic to R. By the inverse function theorem, around t0=0, α(J)≅J is a graph, but α(J) is not an open set of α(R), which it happens exactly in our example, as one can see in the next picture: the red color line is α(J) is not an open set in C.
No comments:
Post a Comment