19.02.2013 Views

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

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

1.4. Analytical representati<strong>on</strong>s <strong>of</strong> curves 29<br />

<strong>the</strong> neighborhood <strong>of</strong> that point, but we cannot claim <strong>the</strong> opposite, ei<strong>the</strong>r. C<strong>on</strong>sider, as a<br />

trivial example, <strong>the</strong> equati<strong>on</strong><br />

Then we have<br />

and if we denote<br />

F(x, y) ≡ (x − y) 2 = 0.<br />

grad F(x, y) = 2{x − y, −(x − y)}<br />

C = {(x, y) ∈ R 2 | F(x, y) = 0},<br />

<strong>the</strong>n grad F = 0 at all <strong>the</strong> points <strong>of</strong> C. But, clearly, C is a curve (it is easy to see that it is<br />

<strong>the</strong> first bissector <strong>of</strong> <strong>the</strong> coordinate axes, i.e. a straight line).<br />

1.4.2 Space curves<br />

Parametric representati<strong>on</strong>. As in <strong>the</strong> case <strong>of</strong> plane curves, with a local parameterizati<strong>on</strong><br />

⎧⎪⎨⎪⎩<br />

x = x(t)<br />

y = y(t)<br />

z = z(t)<br />

(1.4.6)<br />

we can represent ei<strong>the</strong>r <strong>the</strong> entire curve, or <strong>on</strong>ly a neighbourhood <strong>of</strong> <strong>on</strong>e <strong>of</strong> its points.<br />

Explicit representati<strong>on</strong>. If f, g : I → R are two smooth functi<strong>on</strong>s, defined <strong>on</strong> an open<br />

interval from <strong>the</strong> real axis, <strong>the</strong>n <strong>the</strong> set<br />

C = {(x, f (x), g(x)) ∈ R 3 | x ∈ I} (1.4.7)<br />

is a simple curve, with a global parameterizati<strong>on</strong> given by<br />

⎧<br />

x = t<br />

⎪⎨<br />

y = f (t)<br />

⎪⎩ z = g(t)<br />

. (1.4.8)<br />

The equati<strong>on</strong>s ⎧<br />

⎪⎨ y = f (x)<br />

⎪⎩ z = g(x)<br />

(1.4.9)<br />

are called <strong>the</strong> explicit equati<strong>on</strong>s <strong>of</strong> <strong>the</strong> curve. Let us note that, in fact, each equati<strong>on</strong> <strong>of</strong><br />

<strong>the</strong> system (1.4.9) is <strong>the</strong> equati<strong>on</strong> <strong>of</strong> a cylindrical surface, with <strong>the</strong> generators parallel<br />

to <strong>on</strong>e <strong>of</strong> <strong>the</strong> coordinate axis. Therefore, representing explicitly a curve actually means<br />

representing it as an intersecti<strong>on</strong> <strong>of</strong> two cylindrical surfaces, with <strong>the</strong> two families <strong>of</strong><br />

generators having orthog<strong>on</strong>al directi<strong>on</strong>s.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!