Alguns Resultados Teorema 1: P Q, ento l(f, P ) l(f, Q). Teorema 2: Seja c [a, b].

b]. Ento o caminho f : [a, b] Rn retcvel se,

e s se, suas restries f1 = f
l(f ) = l(f1 ) + l(f2 ).
[a,c]

e f2 = f

[c,b]

so reticveis. Neste caso,

Teorema 3: Todo caminho f : [a, b] Rn de classe C 1 reticvel, com

b

l(f ) =
a

||f (t)|| dt.

Alguns Exemplos de Caminhos Retcveis

com A,B Rn , um caminho reticvel. De fato, seja P = {0 < t1 < ... < tk1 < 1} de [0,1]. Dai,

Exemplo 1) Seja f : [0, 1] Rn o caminho retilneo f (t) = (1 t)A+tB

||f (ti ) f (ti1 || = ||[(1 ti )A + Bti ] [(1 ti1 )A + ti1 B]|| = ||(1 ti )A + Bti (1 ti1 )A + ti1 B|| = (ti ti1 ) ||B A|| .

para todo i = 0, 1, ..., k temos que:

n n

l(f, P ) =
k=1

||f (ti ) f (ti1 )|| = ||B A||

k=1

(ti ti1 )

= ||B A|| .

Onde ||.|| uma norma qualquer do Rn . Logo, l(f, P ) = ||B A|| .

Exemplo 2) Seja f : [a, b] R2 dado por

f (t) = (t, 0) (1, 1)

se t = 1 se t = 1

descontnuo, mas retcvel e l(f ) = 4, considerando R2 com a norma euclideana. De fato, usando que o teorema 1 (supP l(f, P ) = supQP0 l(f, Q)), basta 1

considerarmos as parties P de [0,2] que contm o ponto ti = 1. Sejam 0 < < 1 e 0 < < 1 tais que ti1 = 1 e ti+1 = 1 + . Assim como na gura abaixo, Ento,

l(f ) = (1 ) + 1 + 2 + 1 + 2 + 1 4, 2 2 2 pois 1 + 1 + e 1 + + 1 2, uma vez que 1 + 1 + e 1 + 2 1 + . Logo f retcvel e l(f ) 4. 1 1 Mas dada Pn = {0, 1 , 1, 1 + , 2}, temos que n n l(f, Pn ) = 1 1 + n l(f, P ) 1+ 1 + n2 1+ 1 1 + (1 ) 2 n n

para todo n N. Portanto,

4 = lim l(f, Pn ) l(f, P ).
x+

Assim, l(f, P ) = 4. Exemplo 3) Consideremos R2 com a norma da soma. E seja

f (t) = (0, 1 t) (1 t, 0)

. Ento armamos que f reticvel. De fato, veja que:

se t [0, 1] se t [1, 2]

l(f ) = l(f [0,1] ) + l(f [1,2] ) = ||(0, 1) (0, 0)||S + ||(0, 0) (1, 0)||S = 2.

Como f [0,1] e f reticvel.

[1,2]

so caminhos retilneos, segue do teorema 2, que f 2

Exemplo 4) f : [0, 1] R dado por

f (t) = tsen 0 2t

se t = 0 , se t = 0

contnuo, mas no reticvel. De fato, ....

Exemplo 4) f : [0, 2] R2 , f (t) = (cost, sent). Ento o comprimento de

f :
2 2

l(f ) =
0

||f (t)|| dt =
0

1dt = 2.

E se g : [ , ] R2 , com g(t) = (cost2 , sent2 ), temos que

l(g) =

||g (t)|| dt =

|2t| dt = 2
0

2tdt = 2t2
0

= 2.

Veja que f e g so de classe C 1 , ento pelo teorema 3, segue que f e g so reticveis.