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

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

16 Chapter 1. Space curves<br />

Definiti<strong>on</strong> 1.2.2. We shall say that a compact parameterized curve r : [a, b] → R 3 is<br />

piecewise C k if <strong>the</strong>re exists a finite subdivisi<strong>on</strong> (a = a0, a1, . . . , an = b) <strong>of</strong> <strong>the</strong> interval<br />

[a, b] such that <strong>the</strong> restricti<strong>on</strong> <strong>of</strong> r to each compact interval [ai−1, ai] is <strong>of</strong> class C k , where<br />

i ∈ {1, . . . , n}.<br />

Remark. It is not difficult to show that a parameterized curve r : [a, b] → R 3 is piecewise<br />

C k iff <strong>the</strong> following c<strong>on</strong>diti<strong>on</strong>s are simultaneously fulfilled:<br />

(i) The set<br />

is finite.<br />

(ii) f (k) is c<strong>on</strong>tinuous <strong>on</strong> [a, b] \ S .<br />

S = � t ∈ [a, b] | f (k) does not exist �<br />

(iii) f (k) has a finite left and right lateral limit at each point <strong>of</strong> S .<br />

Hereafter we shall suppose, all <strong>the</strong> time, that <strong>the</strong> order <strong>of</strong> smoothness k is high<br />

enough and we will not menti<strong>on</strong> it any l<strong>on</strong>ger (with some excepti<strong>on</strong>s, however), using<br />

<strong>the</strong> generic term <strong>of</strong> smooth parameterized curve (meaning, thus, at least C 1 and, in<br />

any particular case, if kth order derivatives are involved, at least C k ).<br />

The image r(I) ⊂ R 3 <strong>of</strong> <strong>the</strong> interval I through <strong>the</strong> mapping (1.2.1) is termed <strong>the</strong><br />

support <strong>of</strong> <strong>the</strong> path (I, r).<br />

If r(t0) = a, we shall say that <strong>the</strong> parameterized curve passes through <strong>the</strong> point<br />

a for t = t0. Sometimes, for short, we shall refer to this point as <strong>the</strong> point t0 <strong>of</strong> <strong>the</strong><br />

parameterized curve.<br />

Examples<br />

1. Let r0 ∈ R 3 be an arbitrary point, and a ∈ R 3 a vector, a � 0, while I = R. The<br />

parameterized curve R → R 3 , t → r0 + ta is called a straight line. Its support is<br />

<strong>the</strong> straight line passing through r0 (for t = 0) and having <strong>the</strong> directi<strong>on</strong> given by<br />

<strong>the</strong> vector a.<br />

2. I = R, r(t) = r0 + t 3 a. The support <strong>of</strong> this path is <strong>the</strong> same straight line.<br />

3. I = R, r(t) = (a cos t, a sin t, bt), a, b ∈ R. The support <strong>of</strong> this parameterized curve<br />

is called a circular cylindrical helix (see figure 1.2).<br />

4. I = [0, 2π], r(t) = (cos t, sin t, 0). The support <strong>of</strong> <strong>the</strong> path is <strong>the</strong> unit circle, lying<br />

in <strong>the</strong> xOy-plane, having <strong>the</strong> center at <strong>the</strong> origin <strong>of</strong> <strong>the</strong> coordinates.

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

Saved successfully!

Ooh no, something went wrong!