Processing math: 100%

Monday, 13 March 2017

Curves-maps; surfaces-sets

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 α:IR3 is regular t0, then α(t0)0. If we write in terms of the differential map of α, it means that (dα)t:RR3 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:KRR such that {(x,f(x)):xK}=α(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 CR3 is a 1-surface (=curve) if for each point pC there exists IR and a map X:IVC a homeomorphism, where V is an open of C around p, X:IR3 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 pC 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)), tR.

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