Blaga P. Lectures on the differential geometry of - tiera.ru
Blaga P. Lectures on the differential geometry of - tiera.ru
Blaga P. Lectures on the differential geometry of - tiera.ru
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
152 Chapter 4. General <strong>the</strong>ory <strong>of</strong> surfaces<br />
Let us assume, now, that <strong>the</strong> curve ρ from <strong>the</strong> previous <strong>the</strong>orem is biregular, which<br />
means, in particular, that is curvature is always strictly positive. From <strong>the</strong> definiti<strong>on</strong> <strong>of</strong><br />
<strong>the</strong> normal curvature it follows immediately that, if ν is <strong>the</strong> unit principal normal vector<br />
<strong>of</strong> <strong>the</strong> curve, <strong>the</strong>n <strong>the</strong> curve is anasymptotic line if and <strong>on</strong>ly if<br />
ν(t) · n(u(t), v(t)) = 0,<br />
where n is <strong>the</strong> unit normal vector to <strong>the</strong> surface. This actually means that <strong>the</strong> principal<br />
normal <strong>of</strong> <strong>the</strong> curve lies <strong>on</strong> <strong>the</strong> tangent plane <strong>of</strong> <strong>the</strong> surface, at each point <strong>of</strong> <strong>the</strong> curve.<br />
Thus, we obtain <strong>the</strong> following characterizati<strong>on</strong> <strong>of</strong> <strong>the</strong> asymptotic lines:<br />
Theorem 4.3. Let S be an oriented surface and ρ a biregular parameterized curve <strong>on</strong><br />
S . Then ρ is an asymptotic line if and <strong>on</strong>ly if at each point its osculating plane coincide<br />
with <strong>the</strong> tangent plane to <strong>the</strong> surface at that point.<br />
Ano<strong>the</strong>r immediate result c<strong>on</strong>cerning <strong>the</strong> asymptotic lines is <strong>the</strong> following:<br />
Propositi<strong>on</strong> 4.14.2. Let S be an oriented surface and (U, r = r(u, v)) – a local parameterizati<strong>on</strong><br />
<strong>of</strong> S . Then <strong>the</strong> coordinate lines u = c<strong>on</strong>st and v = c<strong>on</strong>st are asymptotic lines<br />
<strong>on</strong> r(U) if and <strong>on</strong>ly if D = D ′′ = 0.<br />
Example. Let us c<strong>on</strong>sider <strong>the</strong> helicoid, given by <strong>the</strong> parameterizati<strong>on</strong><br />
⎧<br />
x = u cos v,<br />
⎪⎨<br />
y = u sin v<br />
⎪⎩ z = b · v<br />
where b is a c<strong>on</strong>stant. A straightforward computati<strong>on</strong> leads to D = D ′′ = 0, D ′ (u, v) =<br />
−b/ √ b 2 + u 2 . This means that, in this particular case, we have, at each point <strong>of</strong> <strong>the</strong><br />
surface, two asymptotic lines and <strong>the</strong>se are nothing but <strong>the</strong> coordinate lines, u = c<strong>on</strong>st<br />
and v = c<strong>on</strong>st. We notice that <strong>the</strong> helicoid is a <strong>ru</strong>led surface (see <strong>the</strong> last chapter) and at<br />
each point, <strong>on</strong>e <strong>of</strong> <strong>the</strong> coordinate lines is a straight line (or a line segment). This is, <strong>of</strong><br />
course, <strong>the</strong> line v = c<strong>on</strong>st (see <strong>the</strong> figure 4.14).<br />
4.15 The classificati<strong>on</strong> <strong>of</strong> points <strong>on</strong> a surface<br />
The first fundamental form <strong>of</strong> a surface is positively defined. The sec<strong>on</strong>d <strong>on</strong>e is not. This<br />
is fortunate, as it allows us to give a classificati<strong>on</strong> <strong>of</strong> <strong>the</strong> points <strong>of</strong> <strong>the</strong> surface, according<br />
to <strong>the</strong> sign <strong>of</strong> <strong>the</strong> sec<strong>on</strong>d fundamental form or, more specifically, according to <strong>the</strong> sign<br />
<strong>of</strong> its discriminant DD ′′ − D ′2 .