Escolar Documentos
Profissional Documentos
Cultura Documentos
Geometria Diferencial Das Curvas Planas
Geometria Diferencial Das Curvas Planas
das
Curvas Planas
Hilario Alencar
Walcy Santos
Pref
acio
Neste texto, apresentamos alguns resultados de geometria e
topologia das curvas planas. Os aspectos topologicos das curvas no plano, em muitas situacoes, possuem generalizacoes para
dimensoes maiores. A escolha de trabalhar com curvas planas
se deve ao fato de que muitos resultados podem ser apresentados de forma elementar. Por elementar, queremos dizer que os
pre-requisitos necessarios para o entendimento deste livro se reduzem a um bom curso de Calculo e Geometria Analtica. A
nocao nova que aparece e a de n
umero de rotacao de uma curva
fechada no plano. Essa ideia, fundamental na demonstracao de
varios resultados, e muito intuitiva e nao acreditamos que possa
o leitor ter dificuldades no seu entendimento. Tal nocao, que e
caracterstica do plano, contribuiu para a nossa opcao de trabalharmos com curvas no plano.
O fato de que os conceitos envolvidos sejam elementares nao
acarreta, de forma alguma, que os resultados sejam triviais ou
as demonstracoes sejam simples. De fato, muitos resultados,
devido `a complexidade de suas provas, nao sao demonstrados
nos cursos de graduacao. Um exemplo tpico e o Teorema de
Jordan para curvas fechadas e simples no plano, que diz que
o traco de tal curva separa o plano em dois subconjuntos, um
dos quais limitado, cuja fronteira comum e o traco dessa curva.
Esse resultado talvez seja o melhor exemplo de um teorema que
5
6
facilmente acreditamos no seu enunciado, mas cuja prova nao e,
de forma alguma, simples.
A escolha dos topicos abordados foi baseada na tentativa de
agucarmos a intuicao matematica do leitor para varios conceitos
e resultados geometricos. Por exemplo, como estao entrelacadas
as nocoes de convexidade e curvatura; como o comportamento do
vetor tangente de uma curva pode estar ligada com sua topologia.
Ressaltamos, ainda, o Teorema dos Quatro Vertices, que nos da
restricoes para que uma funcao seja a curvatura de uma curva
fechada.
Comecamos estudando as curvas localmente. O primeiro
captulo apresenta o comportamento de uma curva diferenciavel
em uma vizinhanca de um ponto de seu traco. Aqui, exploramos
o conceito de curvatura de uma curva plana, mostrando que ela
determina a curva, a menos de sua posicao no plano.
No segundo captulo, voltamo-nos para o estudo das curvas
planas e contnuas, de forma global. Introduzimos a nocao de
n
umero de rotacao de uma curva e obtivemos varias aplicacoes
7
vas de largura constante. Finalmente, no sexto captulo, introduzimos as condicoes necessarias para provarmos o Teorema dos
Quatro Vertices.
Este livro teve uma primeira versao que foi a base para o
mini-curso Geometria das Curvas Planas, apresentado na XII
Escola de Geometria Diferencial, que ocorreu na Universidade
Federal de Goias em julho de 2002. Ela foi ampliada e revisada
para a apresentacao do mini-curso Geometria Diferencial das
Curvas Planas, durante o 24o Col
oquio Brasileiro de Matem
atica. Gostaramos de agradecer a Comissao Organizadora
deste Coloquio pela acolhida `a nossa proposta, aos colegas que
sugeriram mudancas e aos alunos Aliny Trajano, Claudemir Leandro e Marcio Batista que resolveram os exerccios e fizeram
uma leitura crtica deste texto. Tambem agradecemos: Departamento de Matematica da Universidade Federal de Alagoas, Instituto de Matematica da Universidade Federal do Rio de Janeiro,
Conselho Nacional de Desenvolvimento Cientfico e Tecnologico
(CNPq) e Instituto do Milenio: Avanco Global e Integrado da
Matematica Brasileira, que nos propiciaram as condicoes necessarias para a redacao desse texto. Finalmente, nosso reconhecimento e gratidao aos nossos familiares pelo apoio decisivo
em momentos difceis nesta trajetoria.
Sum
ario
1 Curvas Planas
1.1 Curvas Suaves . . . . . . . . . . . . . . .
1.2 Vetor Tangente - Reta Tangente . . . . .
1.3 Reparametrizacao . . . . . . . . . . . . .
1.4 Comprimento de Arco . . . . . . . . . .
1.5 Campo de Vetores ao Longo de Curvas .
1.6 Curvatura e Formulas de Frenet . . . . .
1.7 Curvas no Plano Complexo . . . . . . . .
1.8 Teorema Fundamental das Curvas Planas
1.9 Forma Canonica Local . . . . . . . . . .
1.10 Evolutas e Involutas . . . . . . . . . . .
1.11 Exerccios . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
2 N
umero de Rotac
ao de uma Curva Fechada
2.1 Angulo
Orientado . . . . . . . . . . . . . . . . . .
2.2 N
umero de Rotacao de uma Curva Fechada . . .
2.3 Propriedades do N
umero de Rotacao . . . . . . .
2.4 N
umero de Rotacao de Curvas Deformaveis . . .
2.5 Calculo do N
umero de Rotacao - N
umero de Intersecoes . . . . . . . . . . . . . . . . . . . . . . .
2.6 Aplicacoes . . . . . . . . . . . . . . . . . . . . . .
2.7 Exerccios . . . . . . . . . . . . . . . . . . . . . .
9
11
26
27
31
32
37
40
49
55
58
59
66
73
73
80
88
99
106
117
128
10
3 Curvas Fechadas - Indice de Rotac
ao
3.1 Curvatura Total . . . . . . . . . . . . . . . . .
3.2 Indice de Rotacao de Curvas Fechadas Simples
3.3 Curvatura Absoluta Total . . . . . . . . . . .
3.4 Exerccios . . . . . . . . . . . . . . . . . . . .
.
.
.
.
131
136
140
145
151
4 Teorema de Jordan
4.1 Teorema de Jordan . . . . . . . . . . . . . . . . .
4.2 Desigualdade Isoperimetrica . . . . . . . . . . . .
4.3 Exerccios . . . . . . . . . . . . . . . . . . . . . .
155
156
168
173
5 Curvas Convexas
5.1 Curvas Fechadas e Convexas . . . . . . . .
5.2 Teorema de Schur . . . . . . . . . . . . . .
5.3 Curvas de Largura Constante . . . . . . .
175
177
194
199
210
218
219
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
241
Refer
encias Bibliogr
aficas
249
Indice Remissivo
252
Captulo 1
Curvas Planas
Intuitivamente, gostaramos de pensar em uma curva no plano como um subconjunto que tenha dimensao igual a 1, por
exemplo, o grafico de funcoes de uma variavel real ou figuras
desenhadas com um u
nico traco, sem tirar o lapis do papel.
De forma um pouco mais precisa, uma curva e uma deformacao
contnua de um intervalo, ou ainda, a trajetoria de um deslocamento de uma partcula no plano.
12
Curvas Planas
Curvas Planas
13
ax + by + c = 0
y f (x) = 0
x2 + y 2 = 1
y x2 = 0
4x2 (x2 1) + y 2 = 0
x3 y 2 = 0
14
Curvas Planas
Curvas Planas
15
16
Curvas Planas
a, b > 0.
Curvas Planas
17
2. Hiperbole
A hiperbole de focos P1 e P2 e o conjunto de pontos (x, y)
IR2 cuja diferenca das distancias aos pontos P1 e P2 e, em
valor absoluto, uma constante. Se escolhemos o sistema de
coordenadas de IR2 , tal que P1 = (c, 0) e P2 = (c, 0) com
c > 0, entao a hiperbole (veja figura a seguir) e descrita
pela equacao
x2 y 2
2 = 1,
a2
b
onde a e b sao n
umeros reais e positivos.
18
Curvas Planas
Consideremos as funcoes cosseno hiperbolico e seno hiperbolico dadas, respectivamente, por
et + et
cosh t =
2
et et
senh t =
.
2
4. Graficos
Seja f : I IR uma funcao de classe C k . O conjunto
G = {(x, y) I IR|y = f (x)} IR2
Curvas Planas
19
a t/a
por f (t) =
e + et/a = a cosh(t/a), onde a e uma
2
constante positiva, obtemos que o grafico de f , ou equivalentemente, o traco de descreve uma catenaria. A
catenaria e a curva obtida quando uma corda de peso
uniforme e presa em dois pontos e e deixada sob a acao
da forca gravitacional. A catenaria tem outros interesses
geometricos, como no estudo de superfcies minimizantes
de area.
20
Curvas Planas
5. Lemniscata
A lemniscata, veja figura abaixo, e o conjunto de pontos
(x, y) IR2 , tal que y 2 = 4x2 (1 x2 ). Agora consideremos
t o angulo entre um vetor de IR2 , com ponto final (x, y), e
o eixo Ox. Podemos, portanto, parametrizar a lemniscata
pelo traco da curva : [0, 2] IR2 , dada por
(t) = ( sen t, sen 2t).
6. Curvas de Lissajous
Vamos descrever apenas uma classe especial dessas curvas,
as quais aparecem na Mecanica, quando duas oscilacoes
elasticas ocorrem simultaneamente em planos ortogonais,
por exemplo, os pendulos duplos. A curva de Lissajous e
o traco da curva : IR IR2 , definida por
(t) = ( sen at, sen bt), a, b > 0, a 6= b.
Curvas Planas
21
22
Curvas Planas
_
Entao o arco QP tem o mesmo comprimento que o segmento com ponto inicial na origem O e ponto final Q,
onde Q e o ponto de intersecao entre o crculo e o eixo
Ox. Conclumos que rt e r sao abscissa e ordenada, respectivamente, de O0 e, conseq
uentemente,
3
x = rt r cos
t = rt r sen t
2
(1.1)
3
y = r r sen
t = r r cos t
2
sao as coordenadas de P . Logo podemos descrever a cicloide, como sendo o traco da curva parametrizada : IR
IR2 , dada por
(t) = (rt r sen t, r r cos t).
Notamos que e possvel eliminar t nas equacoes (1.1). De
y
fato, usando essas equacoes, cos t = 1 e, portanto,
r
y
t = arccos 1
. Assim
r
p
(2r y)y
sen t = 1 cos2 t =
r
e obtemos a equacao cartesiana da cicloide, dada por
y p
x = r arccos 1
(2r y)y.
r
8. Espirais
A espiral de Arquimedes, veja figura a seguir, e o conjunto
de pontos (x, y) de IR2 , tal que
p
!
x2 + y 2
x tan
= y, a > 0.
a
Curvas Planas
23
g(t) =
e1/t ,
0,
se t > 0,
se t 0.
24
Curvas Planas
Curvas Planas
25
26
Curvas Planas
1.1
Curvas Suaves
Curvas Planas
27
1.2
28
Curvas Planas
Definic
ao 1.3 Dizemos que uma curva parametrizada : I
2
IR e regular em t0 I, se 0 (t0 ) 6= (0, 0), ou equivalentemente,
se k0 (t0 )k 6= 0. A curva e regular em I, se for regular para
todo t I. Se k0 (t0 )k = 0, dizemos que e singular em t0 e
(t0 ) e chamada uma singularidade de .
Como afirmamos, se for uma curva regular, o vetor 0 (t)
aponta para a direcao tangente `a curva no ponto (t) e podemos, portanto, definir a reta tangente `a curva em (t) por
rt (u) = (t) + u0 (t),
onde u IR.
Veremos mais adiante que a reta rt0 (u) e a melhor aproximacao linear de em t0 .
Curvas Planas
29
Intuitivamente, o traco de uma curva regular e suave, sem bicos, exceto por possveis pontos de auto-intersecao. Localmente,
porem, nao tem auto-intersecao como mostra o resultado seguinte.
Proposic
ao 1.1 Seja : I IR2 uma curva parametrizada e
regular em t0 I. Entao existe > 0, tal que e injetiva no
intervalo I0 = {t I| |t t0 | < }.
Prova: Como 0 (t0 ) 6= (0, 0), temos que x0 (t0 ) 6= 0 ou y 0 (t0 ) 6= 0.
Vamos supor que x0 (t0 ) 6= 0. Logo, visto que x0 e uma funcao
contnua, existe > 0, tal que x0 (t) 6= 0, para todo t I0 .
Nesse caso, x e estritamente monotona e, portanto injetiva, o que
implica que |I0 e injetiva. A prova no caso em que y 0 (t0 ) 6= 0, e
analoga.
30
Curvas Planas
Proposic
ao 1.2 Seja : I IR2 uma curva parametrizada
e regular em t0 I. Entao, existe > 0, tal que, restrito ao
intervalo (t0 , t0 + ), o traco de coincide com o traco de
uma curva da forma (t) = (t, f (t)) ou (t) = (f (t), t), para
uma func
ao diferenci
avel f : J IR.
Curvas Planas
31
1.3
Reparametrizac
ao
32
Curvas Planas
1.4
Comprimento de Arco
(1.2)
t0
t0
(1.3)
Entao
Z
f (t) =
L (t) L
Z
0
k ()k d
t0
Z
0
te0
k ()k d =
te0
k0 ()k d.
t0
Curvas Planas
33
Defini
c
ao 1.4 Dizemos que uma curva : I IR2 est
a parametrizada pelo comprimento de arco, se o par
ametro t e, a
menos de constante, igual a L (t), isto e,
L (t) = t + C.
Observe que, se k0 (t)k = 1, para todo t I, entao
Z t
Z t
0
L (t) =
k ()k d =
d = t t0 ,
t0
t0
34
Curvas Planas
Os dois exemplos a seguir mostram que a definicao de comprimento de arco coincide com formulas conhecidas da Geometria
Elementar.
Exemplo 1.4 Sejam A, B IR2 , e seja V0 = B A. A reta
que passa por A e B pode ser parametrizada por (t) = A + tV0 ,
t IR. Para t0 = 0, temos
Z t
Z t
0
kV0 k d = kB Akt.
k ()k d =
L (t) =
0
Curvas Planas
35
Z tp
a2 sen 2 + b2 cos2 d,
L (t) =
k0 ()k d = 2(1 et ).
0
2 e L(|(,0] ) e
O proximo resultado nos mostra que toda curva regular admite uma reparametrizacao pelo comprimento de arco.
Teorema 1.1 Toda curva regular : I IR2 pode ser reparametrizada pelo comprimento de arco. De forma mais precisa,
fixado t0 I, existe uma bijec
ao h : J I de classe C definida em um intervalo J sobre I, com 0 J e h(0) = t0 , de modo
que a curva : J IR2 , dada por (s) = ( h)(s), satisfaz
k 0 (s)k = 1.
Prova. Visto que e regular, a funcao comprimento de arco,
por (1.3), satisfaz
L0 (t) = k0 (t)k > 0.
36
Curvas Planas
1
1
=
.
L0 (h(s))
k0 (h(s))k
Logo
0 (s) = [ h(s)]0 = 0 (h(s)) h0 (s).
Portanto
k 0 (s)k = k0 (h(s)) h0 (s)k = k0 (h(s))k |h0 (s)| = 1.
s
s
(s) = R cos
, R sen
,
R
R
onde : [0, 2R] IR2 .
Curvas Planas
37
L (t) =
k0 ()k d =
2(1 et ).
Em particular,
L1
(s)
s
= ln 1
2
(s) =
s
1
2
s
cos ln 1
2
s
, sen ln 1
2
1.5
38
Curvas Planas
Curvas Planas
39
(f X)(t) = f (t)X(t),
(1.4)
(1.5)
40
1.6
Curvas Planas
Curvatura e F
ormulas de Frenet
Vamos considerar nesta secao curvas : I IR2 parametrizadas pelo comprimento de arco. Observe que por hipotese,
0 (s) 6= 0. Dessa forma esta bem definido um campo T de vetores
tangentes e unitarios ao longo de dado por
T (s) = 0 (s).
T (s) e chamado vetor tangente `a curva em (s). Se (s) =
(x(s), y(s)), entao T (s) = (x0 (s), y 0 (s)). Observe que podemos
definir o campo N ao longo de , tal que, para cada s I,
{T, N } seja uma base positiva de IR2 , isto e, existe uma rotacao
que leva (1, 0) em T e (0, 1) em N . Assim sendo,
N (s) = (y 0 (s), x0 (s)),
e temos que N e um campo normal e unitario ao longo de e
de classe C . A aplicacao que a cada s associa N (s) e chamada
de vetor normal `a curva . Para cada s I, N (s) e chamado
vetor normal `a curva em (s).
Definic
ao 1.6 Seja : I IR2 uma curva parametrizada pelo
comprimento de arco. O referencial {T (s), N (s)} e chamado
referencial de Frenet de .
Visto que kT k = 1, temos, pela Proposicao 1.4, que T 0 (s) e
perpendicular a T (s). Como T e N geram o espaco IR2 , temos
que, para cada s I, T 0 (s) e paralelo a N (s). Isso significa que
existe uma funcao k, tal que
T 0 (s) = k(s)N (s),
s I.
(1.6)
Definic
ao 1.7 A func
ao k, definida pela equac
ao (1.6), e chamada curvatura de em s I.
Curvas Planas
41
kV0 k = 1.
42
Curvas Planas
(1.9)
Curvas Planas
43
Prova. Consideremos : J IR2 uma reparametrizacao positiva de pelo comprimento de arco. Entao, se escrevemos
(s(t)) = (t) = (x(t), y(t)),
(x0 (t), y 0 (t)) = 0 (t) =
d 0
s (t)
ds
d2 0
d 00
(s (t))2 +
s (t).
2
ds
ds
Usando a primeira equacao acima e o fato de que s0 (t) > 0, temos
que s0 (t) = k0 (t)k e, portanto,
(x00 (t), y 00 (t)) = 00 (t) =
s00 (t) =
h0 (t), 00 (t)i
.
k0 (t)k
d
0 (t)
1
(s(t)) =
=p
(x0 (t), y 0 (t))
0
0
2
0
2
ds
k (t)k
(x ) + (y )
e
dT
d2
1
(s(t)) = 2 (s(t)) = 0
[00 (t) s00 (t)T (s(t))]
ds
ds
(s (t))2
=
(x0 (t))2
1
[(x00 (t), y 00 (t)) s00 (t)T (s(t))] .
+ (y 0 (t))2
N (s(t)) = p
(x0 )2
(y 0 )2
(y 0 (t), x0 (t)).
dT
k(s(t)) =
(s(t)), N (s(t)) .
ds
44
Curvas Planas
dT
Substituindo as expressoes de
e N na equacao acima e usando
ds
o fato de que T e N sao ortogonais, obtemos o resultado desejado.
3
(r ())2 + (r0 ())2 2
(1.10)
Logo
0 () = (x0 , y 0 ) = r0 (cos , sen ) + r ( sen , cos )
Curvas Planas
45
e, conseq
uentemente,
00 () = (x00 , y 00 ) = r00 (cos , sen ) + r0 ( sen , cos ) +
r0 ( sen , cos ) + r ( cos , sen ) =
= (r00 r) (cos , sen ) + 2r0 ( sen , cos ) .
Portanto, substituindo os valores de x0 , y 0 , x00 , y 00 em (1.6), obtemos a expressao desejada.
y 0 (t)
.
x0 (t)
x0 (t)
.
y 0 (t)
46
Curvas Planas
Proposic
ao 1.8 Seja : [a, b] IR2 uma curva de classe C 2 ,
parametrizada pelo comprimento de arco e definida por (s) =
(x(s), y(s)). Seja (s) o angulo que o vetor 0 (s) faz com o eixo
x. Entao
0 (s) = k(s),
(1.11)
onde k e a func
ao curvatura da curva .
Prova. Suponha que (s) = arctan
claro que
x0 (s) 6= 0. E
0 (s) =
y 0 (s)
, isto e, em pontos com
x0 (s)
1
0
1 + x0 (s)
x0 (s)y 00 (s) x00 (s)y 0 (s)
=
(x0 (s))2 + (y 0 (s))2
= x0 (s)y 00 (s) x00 (s)y 0 (s).
Interpreta
c
ao Geom
etrica
Vamos considerar uma curva regular : I IR2 , com curvatura k(s), para cada s I.
1. Do sinal de k:
Se k(t0 ) > 0, entao, para todo t suficientemente proximo de t0 ,
(t) esta no semi-plano determinado pela reta tangente `a curva
em (t0 ) para o qual aponta N (t0 ). De fato, basta verificar
que a funcao
f (t) = h(t) (t0 ), N (t0 )i
Curvas Planas
47
k(t) > 0
k(t) < 0
2. Do valor de k:
Suponha que k(t0 ) > 0. Para cada > 0, sejam P = (t0 ) +
N (t0 ) e C o crculo de centro em P e raio . Entao, para t
suficientemente pequeno, (t) esta contido no interior de C , se
< k(t10 ) e esta contido no exterior de C , se > k(t10 ) .
48
Curvas Planas
0 =
1
,
k(t0 )
Curvas Planas
49
1.7
50
Curvas Planas
No conjunto de n
umeros complexos, alem das operacoes de soma
e multiplicacao por escalar real, as quais correspondem as operacoes de soma e multiplicacao por escalar de IR2 , estao definidas
as seguintes operacoes:
Multiplicacao de n
umeros complexos:
Se z1 = x1 + iy1 e z2 = x2 + iy2 , a multiplicacao de z1 por
z2 e dada por
z1 z2 = (x1 x2 y1 y2 ) + i(x1 y2 + x2 y1 ).
Observe que se z = x + iy e z1 = i, entao z1 z = iz =
y + ix. Logo, se z esta associado ao par ordenado (x, y),
entao iz esta associado ao par (y, x). Geometricamente,
a multiplicacao por i corresponde, nessa identificacao, a
Curvas Planas
51
n
umeros complexos corresponde geometricamente a uma
facil ver que z = z.
reflexao em relacao ao eixo Ox. E
Modulo e argumento:
O
umero complexo z = x + iy e |z| =
p modulo de um n
2
2
x + y . Observe que o modulo do n
umero complexo
x + iy e igual ao modulo do vetor (x, y). Se z 6= 0, o
argumento de z, arg(z), e o angulo que z faz com o eixo
Ox, no sentido anti-horario. Note que, se e o argumento
de z, entao podemos escrever z como
z = |z|(cos + i sen ) = |z| ei ,
onde ei = cos + i sen e a aplicacao exponencial complexa calculada em i. Se pensamos o plano IR2 com coordenadas polares, a identificacao de C com IR2 e a aplicacao
que a cada z 6= 0 associa (|z|, arg(z)). Dois n
umeros complexos nao-nulos z e w sao ortogonais se Re(zw) = 0
ou Re(wz) = 0, ou, equivalentemente, se multiplicamos
um deles por i, obtemos um m
ultiplo escalar do segundo.
Uma outra observacao u
til e que o modulo de z satisfaz a
equacao
|z|2 = zz.
Agora vamos definir uma curva parametrizada cujo traco esta
contido em C. De fato, considere z : I C uma aplicacao
definida no intervalo I e tomando valores em C, dada por
z(t) = x(t) + iy(t),
onde x, y : I IR sao funcoes reais. O traco da curva z e o
conjunto imagem z(I) C. A curva z e contnua, se as funcoes
x e y sao funcoes contnuas em I. Alem disso, se x e y sao funcoes
52
Curvas Planas
Curvas Planas
53
(1.12)
54
Curvas Planas
uma conseq
Prova. E
uencia direta da Equacao de Frenet para
uma reparametrizacao de z, pelo comprimento de arco.
d
z (t)
= ik(t)z 0 (t) = k(t)|z 0 (t)|N (t).
(1.13)
0
dt |z (t)|
Visto que
d
dt
temos:
d
dt
z 0 (t)
|z 0 (t)|
1
0
|z (t)|
d
=
dt
z 0 (t) +
1
0
|z (t)|
1
|z 0 (t)|
z 0 (t) +
1
|z 0 (t)|
z 00 (t),
Curvas Planas
55
Portanto
d
1
1
|z 0 (t)|T (t) + 0
z 00 (t) = k(t)|z 0 (t)|N (t).
0
dt |z (t)|
|z (t)|
Fazendo o produto interno de ambos os membros da equacao
acima por N (t) e usando o fato que T (t) e N (t) sao ortonormais,
obtemos
1
k(t) = 0 2 hz 00 (t), N (t)i.
(1.14)
|z (t)|
z 0 (t)
Observe que N (t) = i 0
. Portanto a equacao (1.14) implica
|z (t)|
que
k(t) =
z 0 (t)
1
1
00
hz
(t),
i
i = 0 3 hz 00 (t), iz 0 (t)i.
0
2
0
|z (t)|
|z (t)|
|z (t)|
Como hz 00 (t), iz 0 (t)i = Im(z 00 (t)z 0 (t)) = Im(z 00 (t)z 0 (t)), conclumos que
Im(z 00 (t)z 0 (t))
k(t) =
,
|z 0 (t)|3
o que termina a prova.
1.8
Nosso objetivo e mostrar que, de certa forma, a funcao curvatura determina a curva. Esse fato e demonstrado pelo seguinte
resultado:
Teorema 1.2 Seja k : I IR uma func
ao de classe C . Entao,
2
dados s0 I, P = (P1 , P2 ) IR e V0 = (V1 , V2 ) IR2 , com
56
Curvas Planas
k() d + a ,
x (s) = cos
Zs0 s
(1.15)
k() d + a ,
y (s) = sen
s0
Z s
k() d + a d,
cos
x(s) = P1 +
Zs0
Zs0s
sen
k() d + a d.
y(s) = P2 +
s0
s0
facil verificar que a curva dada por (s) = (x(s), y(s)) satisfaz
E
`as condicoes do teorema.
Vamos provar agora a unicidade de tal curva. Suponhamos
que existam duas curvas, definidas por (s) = (x(s), y(s)) e
(s) = (u(s), v(s)) nas condicoes do teorema. As Equacoes de
Curvas Planas
57
s I.
58
Curvas Planas
1.9
Forma Can
onica Local
(s s0 )2 00
x (s0 )
x(s)
=
x(s
)
+
(s
s
)x
(s
)
+
0
0
0
2!
(s s0 ) 000
+
x (s0 ) + r1 (s),
3!
(1.16)
(s s0 )2 00
2!
(s s0 ) 000
+
y (s0 ) + r2 (s).
3!
Pelas Equacoes de Frenet, obtemos que
(x000 (s0 ), y 000 (s0 )) = 000 (s0 ) = (k(s)N (s))0 |s=s0
= k 0 (s0 )N (s0 ) + k(s0 )N 0 (s0 ) = k 0 (s0 )N (s0 ) k 2 (s0 )T (s0 ).
Portanto
(s) = (s0 ) + (s s0 )T (s0 ) +
(s s0 )2
k(s0 )N (s0 )
2!
(s s0 )3 0
[k (s0 )N (s0 ) k 2 (s0 )T (s0 )] + R(s),
(1.17)
3!
kR(s)k
onde lim
= 0. A equacao (1.17) mostra que k(s0 ) dess0 (s s0 )3
termina o quanto (s) difere da reta tangente `a curva em s0 ,
para pontos proximos de (s0 ). De fato, (s) difere da reta
tangente pelo fator
+
(s s0 )2
(s s0 )3 0
k(s0 )N (s0 ) +
[k (s0 )N (s0 ) k 2 (s0 )T (s0 )] + R,
2!
3!
Curvas Planas
59
s
)
(s s0 )3
0
0
y(s) = k(s0 )
+ k (s0 )
+ R2 (s).
2!
3!
A representacao (1.18) e chamada forma can
onica local de e
descreve o comportamento de qualquer curva regular na vizinhanca de um ponto (s0 ). Em particular, ela nos diz que, se
k(s0 ) 6= 0, o traco de fica de um lado da reta tangente `a em
s0 .
1.10
Evolutas e Involutas
Vamos considerar curvas regulares : I IR2 parametrizadas pelo comprimento de arco, tais que sua curvatura k nao se
anule em I. Nesse caso, para cada t I, esta bem definido o
centro de curvatura de em t, dado por
e (t) = (t) +
1
N (t),
k(t)
60
Curvas Planas
k 0 (t)
k 0 (t)
1
N 0 (t) 2 N (t) = 2 N (t). (1.19)
k(t)
k (t)
k (t)
1
k 0 (t)k2
N (t) = (t) + 00
N (t).
k(t)
h (t), N (t)i
(1.20)
s
s
, R sen ), s [0, 2R],
R
R
s
s
, sen ) = P0 .
R
R
Curvas Planas
61
(a2
sen 2 t
ab
6= 0.
+ b2 cos2 t)3/2
a b2
b2 a2
3
3
=
cos t,
sen t .
a
b
3
t = 0, , e
.
2
2
cos t 1
6= 0.
(2 2 cos t)3/2
62
Curvas Planas
2 2 cos t
( sen t, 1 cos t)
cos t 1
Curvas Planas
63
Evoluta da cicl
oide
0
Z t
Z t
1
1
1
d =
s(t) =
ke0 ()k d =
k()
k(t) k(t0 ) ,
t0
t0
e0 (t)
1
N (t).
k(t)
64
Curvas Planas
t0
Definic
ao 1.9 Uma involuta da curva regular : I IR2 e a
curva i : I IR2 , dada por
i (t) = (t) + (C L(t))T (t),
sendo T o campo tangente de , e C e uma constante real positiva.
Observe que, para valores diferentes de C, obtemos involutas
diferentes de , porem todas sao equidistantes, conforme mostra
a figura a seguir.
Curvas Planas
65
(1.21)
Ni (t) = T (t),
Ni (t) = T (t).
ki0 (t)k
ki0 (t)k
ki0 (t)k
1
,
C L(t)
e, se k(t) < 0,
1
.
C L(t)
O proximo resultado nos dara a evoluta de i .
ki (t) =
66
Curvas Planas
Proposic
ao 1.11 A curva e a evoluta de qualquer uma de
suas involutas, isto e,
(i )e (t) = (t).
Prova. Temos, por definicao da evoluta de i , que
(i )e (t) = i (t) + ki1(t) Ni (t)
= (t) + (C L(t))T (t) (C L(t))T (t)
= (t).
1.11
Exerccios
Curvas Planas
67
68
Curvas Planas
(a) Demonstre que a curva , dada por (t) = ((R
r) cos t+r cos (Rr)
t, (Rr) sen tr sen (Rr)
t), e uma
r
r
parametrizacao da hipocicloide;
(b) Esboce o traco de com R = 5 e r = 2;
(c) Esboce o traco de com R = 4 e r = 1.
9. A epicicloide e a trajetoria descrita pelo movimento de um
ponto fixo P , pertencente a um crculo de raio r, que gira
sobre a parte externa de um crculo de raio R > r. Se
R = r, entao a epicicloide recebe o nome particular de
cardioide.
(a) Mostre que a curva , definida por (t) = ((R +
r) cos tr cos (R+r)
t, (R+r) sen tr sen (R+r)
t), e uma
r
r
parametrizacao da epicicloide;
(b) Esboce o traco de com R = 3 e r = 1;
(c) Esboce o traco de com R = r = 1.
Curvas Planas
69
(a) Determine uma curva parametrizada , tal que o traco de descreve o estrofoide;
(b) Esboce o traco da curva.
12. O crculo osculador de uma curva no ponto p e o
1
crculo S1 que e tangente `a curva em p e tem raio k(p)
.
0
Mostre que, se k (p) =
6 0, entao o crculo osculador em p
intersecta a curva .
13. Seja uma curva definida por (t) = (3 sen t 2 sen 3 t,
3 cos t 2 cos3 t). Mostre que a evoluta de e dada pela
2
2
4
equacao x 3 + y 3 = 2 3 .
70
Curvas Planas
Z t
cos u
sen u
du,
du .
(t) =
u
u
0
0
Esboce o traco da curva.
17. Calcule as curvaturas das curvas dadas em coordenadas
polares:
(a) r = a cos (crculo);
(b) r = a (espiral de Arquimedes);
(c) r = a(1 + cos ) (cardioide).
Esboce os tracos das curvas.
18. A lemniscata de Bernoulli e a curva cujo traco e formado
pelos pontos tais que o produto das distancias a dois pontos
fixos, chamados de focos e distando 2a e sempre constante
e igual a a2 . Tomando os focos em (a, 0) sua equacao
cartesiana e, portanto, [(x a)2 + y 2 ][(x + a)2 + y 2 ] = a4 .
2
Curvas Planas
71
3 cos t2 cos3 t
72
Curvas Planas
(t) = t, t4 t + 3 ,
que passam pela origem.
24. Seja P o ponto onde a reta tangente `a curva, definida por
(t) = (t, t3 ) intersecta o eixo Ox e seja M = (t, 0). Mostre
que d(O, P ) = 2d(P, M ), onde O e a origem. Generalize
esse resultado para a curva, dada por (t) = (t, tn ).
Captulo 2
N
umero de Rotac
ao de
uma Curva Fechada
Neste captulo, iremos estudar curvas fechadas no plano do
ponto de vista global, enfatizando o n
umero de rotacao de uma
curva, que tera um papel importante nas aplicacoes geometricas
e topologicas.
2.1
Angulo
Orientado
hv, wi
v
w
cos ^(v, w) =
=
,
.
kvkkwk
kvk kwk
Vemos da definicao acima que a nocao de angulo pode ser
facilmente generalizada para espacos vetoriais com um produto
interno. A nocao de angulo orientado entre v e w, ^ (v, w),
73
74
N
umero de Rotacao de uma Curva Fechada
que iremos introduzir a seguir e mais refinada, porem e uma caracterstica do espaco Euclidiano bidimensional IR2 . A principal
razao desse fato e que em IR2 , dado um vetor v = (v1 , v2 ) 6= (0, 0),
podemos associar o vetor
v = (v2 , v1 ),
(2.1)
kv k
natural falar-se em rotacao nos sentidos hor
ario e anti-horario,
que nao pode ser definida, por exemplo, em IR3 . Vamos entao
definir o angulo orientado entre v e w.
ao-nulos de IR2 , a
Definic
ao 2.1 Dados dois vetores v e w n
medida do angulo orientado (ou simplesmente angulo orientado)
de v para w, ^ (v, w), e dada por
^ (v, w) =
^(v, w), se hv , wi 0,
^(v, w), se hv , wi < 0.
(2.2)
N
umero de Rotacao de uma Curva Fechada
75
Propriedades do Angulo
Orientado:
As proposicoes a seguir nos dao as principais propriedades do
angulo orientado ^ (v, w).
Proposic
ao 2.1 Se ^(v, w) 6= , entao
^ (v, w) = ^ (w, v).
Porem, se ^(v, w) = , obtemos que ^ (v, w) = ^ (w, v) = .
76
N
umero de Rotacao de uma Curva Fechada
Proposic
ao 2.2 Temos as seguintes equac
oes:
cos ^ (v, w) =
hv, wi
hv , wi
, sen ^ (v, w) =
.
kvkkwk
kvkkwk
2
2
hv, wi
hv , wi
+
= 1.
kvkkwk
kvkkwk
hv , wi
Portanto sen ^ (v, w) =
. O sinal positivo e consekvkkwk
q
uencia da definicao de ^ (v, w).
A proxima proposicao tratara, de forma mais precisa, da
continuidade de ^ (v, w).
Proposic
ao 2.3 Sejam v, w IR2 , tais que ^ (v, w) 6= .
Se (wn )nIN e uma seq
uencia qualquer em IR2 , tal que wn 6=
(0, 0), n IN, e que satisfaz lim wn = w 6= (0, 0), entao
n
e
lim sen ^ (v, wn ) = sen ^ (v, w).
N
umero de Rotacao de uma Curva Fechada
77
Corol
ario 2.1 Seja : I IR2 uma curva contnua, cujo traco
n
ao passa pela origem (0, 0). Seja a IR2 , com a 6= (0, 0), tal
que ^(a, (t)) 6= , para todo t I. Entao a func
ao f : I IR,
definida por
f (t) = ^ (a, (t)),
e uma func
ao contnua.
Como o traco de n
ao intersecta a semi-reta OB, f (t) = ^ (a, (t)) e
uma func
ao contnua.
78
N
umero de Rotacao de uma Curva Fechada
Para enunciar a propriedade aditiva de ^ (v, w), vamos introduzir a seguinte notacao: dizemos que x e congruente a y
modulo 2, que escreveremos
x y mod 2,
xy
se a diferenca xy e um m
ultiplo inteiro de 2, isto e,
Z.
2
Observe que as relacoes
cos x = cos y
sen x = sen y
(2.3)
(2.4)
(2.5)
e
Usando a expressao do cosseno da soma de dois angulos, temos
que
cos( ^ (u, v) + ^ (v, w)) =
= cos ^ (u, v) cos ^ (v, w) sen ^ (u, v) sen ^ (v, w)
u
u
v
v
w
v
v
w
=
,
,
,
,
kuk kvk
kvk kwk
kuk kvk
kvk kwk
N
umero de Rotacao de uma Curva Fechada
u
v
,
kuk kvk
v
w
,
kvk kwk
w
u
,
kuk kwk
u v
,
kuk kvk
79
v w
,
kvk kwk
Observa
c
ao 2.1 Observe que nao e possvel substituir em (2.3)
mod 2 por igualdade, conforme mostra a proxima figura.
Alem disso, (2.3) n
ao se verifica para medida de angulo naoorientado.
80
N
umero de Rotacao de uma Curva Fechada
2.2
(2.6)
N
umero de Rotac
ao de uma Curva
Fechada
N
umero de Rotacao de uma Curva Fechada
81
isto e,
Z, para todo t [a, b]. Como
e uma
2
2
funcao contnua, o fato de ela assumir valores em Z implica que
deve ser uma constante k. Portanto
(t) = (t) + 2k.
Decorre imediatamente que esta univocamente determinada,
se (a) = 0. Agora vamos provar a existencia de uma funcao
como no enunciado e tal que (a) = 0. Inicialmente, sejam
h(t) = (t) P0 ,
v0 = (a) P0 = h(a).
Por hipotese, h(t) 6= 0, para todo t [a, b]. Portanto temos que esta bem definido o angulo orientado de v0 para h(t),
^ (v0 , h(t)), para todo t [a, b]. Vamos escolher uma subdivisao
(ver observacao (2.2))
a = t0 < t1 < ... < tn1 < tn = b
do intervalo [a, b] de modo que
k (t) = ^ (h(tk ), h(t)) < ,
82
N
umero de Rotacao de uma Curva Fechada
para todo t [tk , tk+1 ], k = 0, ..., n 1. Pelo Corolario (2.1), temos que as funcoes k sao contnuas em [tk , tk+1 ]. Vamos definir
a funcao , colando as funcoes k do seguinte modo:
se t [t0 , t1 ],
0 (t),
k1
X
(t) =
(t)
+
i (ti+1 ), se t [tk , tk+1 ], 1 k n 1.
i=0
tt
k
ttk
Observa
c
ao 2.2 Para mostrar a existencia da partic
ao como
na prova do teorema acima, observemos inicialmente que uma
func
ao contnua em um intervalo fechado [a, b] e de fato uniformemente contnua nesse intervalo. Considerando a func
ao h,
definida acima, temos que, como P0 n
ao esta no traco de , a
h(t)
func
ao f , dada por f (t) = kh(t)k = (u(t), v(t)), esta bem definida, as func
oes u, v sao uniformemente contnuas em [a, b] e
satisfazem u2 (t) + v 2 (t) = 1. Portanto, dado = 1, existe > 0,
tal que
|u(t) u(s)| < 1,
|v(t) v(s)| < 1,
N
umero de Rotacao de uma Curva Fechada
83
(2.7)
v(t) = v(s),
o que implica
84
N
umero de Rotacao de uma Curva Fechada
Au
ltima observacao decorre do fato de que, fixado s, a funcao
1
[(t) (s) ^ ((t) P0 , (s) P0 )],
g, definida por g(t) = 2
e contnua se |t s| < , g(t) Z e g(s) = 0.
Seja : [c, d] IR2 uma reparametrizacao positiva de :
[a, b] IR2 , isto e, existe uma bijecao crescente e contnua :
[c, d] [a, b], tal que (t) = (t). Entao, se e uma funcao
angular para em relacao a P0 , a funcao
e : [c, d] IR, dada
por
(t)
e = ((t)) ((c)),
(2.8)
e uma funcao angular para , com (c)
e = 0. De fato,
((s)) = ^ ((a) P0 , ((s)) P0 )
= ^ ((a) P0 , ((c)) P0 )+
+ ^ (((c)) P0 , ((s)) P0 )
= ((c)) + ^ ((c) P0 , (s)) P0 ).
Se e uma curva diferenciavel, o proximo resultado nos da
uma expressao para uma funcao angular.
Proposic
ao 2.5 Seja : [a, b] IR2 uma curva diferenci
avel,
e seja P0 um ponto fora do traco de . Entao a func
ao :
[a, b] IR2 , dada por
Z
(t) =
a
h(() P0 ) , 0 ()i
d,
k() P0 k2
e uma func
ao angular da curva , com relac
ao a P0 .
(2.9)
N
umero de Rotacao de uma Curva Fechada
85
(t) =
h (), 0 ()id.
(2.10)
86
N
umero de Rotacao de uma Curva Fechada
1
(b) Z
2
e chamado de n
umero de rotac
ao de em relac
ao a P0 .
N
umero de Rotacao de uma Curva Fechada
87
Intuitivamente, o n
umero de rotacao W (, P0 ) mede o n
umero algebrico de voltas que o vetor posicao V , relativo ao ponto
P0 , dado por V (t) = (t) P0 , da em torno de P0 , quando t
varia de t = a a t = b. Toda a longa discussao deste captulo,
ate agora, foi para tornar esta ideia precisa. Se e uma curva
de classe C 1 , entao, por (2.9),
1
W (, P0 ) =
2
b
a
h(() P0 ) , 0 ()i
d.
k() P0 k2
(2.12)
(t) =
0
88
N
umero de Rotacao de uma Curva Fechada
2.3
Propriedades do N
umero de Rotac
ao
A primeira propriedade do n
umero de rotacao de uma curva
que iremos provar diz que, em relacao a pontos suficientemente
distantes, o n
umero de rotacao de e nulo.
Proposic
ao 2.6 Seja : [a, b] IR2 uma curva fechada e
contnua. Entao existe R > 0, tal que, para todo P IR2 com
kP k R,
W (, P ) = 0.
N
umero de Rotacao de uma Curva Fechada
89
Logo
(b) = 0,
e, conseq
uentemente,
W (, P ) = 0,
o que conclui a prova.
90
N
umero de Rotacao de uma Curva Fechada
1
1
(d)
e
=
(b) = W (, P ).
2
2
Observa
c
ao 2.3 Se revertea orientac
ao de , isto e, se
(c) = b e (d) = a, entao
W (, P ) = W ( , P ) = W (, P ).
De fato,
(t)
e = ((t)) ((c)) = ((t)) (b),
e (c)
e = 0. Portanto
W (, P ) =
1
1
[(d)
e (c)]
e
=
[((d)) (b)] =
2
2
1
(b) = W (, P ).
2
N
umero de Rotacao de uma Curva Fechada
91
(t),
se a t b,
(t) =
(t (b a)), se b t 2b a.
claro que a curva e contnua. Se for fechada e de classe
E
C k , isto e, se, para todo 1 m k,
dm
dm
(a)
=
(b),
dtm
dtm
entao e de classe C k . Observe que, por definicao, para todo
s [a, b], temos
(s) = (s + (b a)).
Entao defina a curva s : [a, b] IR2 por
s (t) = (t + s a).
A curva s possui o mesmo traco que , porem seu ponto inicial/final e (s). Temos que a (t) = b (t) = (t), para todo
t [a, b], porem, se a < s < b, s nao e uma reparametrizacao
de .
Vamos agora estudar a dependencia de W (, P ) em relacao
ao ponto inicial/final de . Considerando a construcao anterior,
temos o seguinte resultado:
Proposic
ao 2.8 Sejam : [a, b] IR2 uma curva fechada e
P IR2 um ponto fora do traco de . Entao, para todo s [a, b],
W (, P ) = W (s , P ).
Em particular, W (, P ) n
ao depende do ponto inicial/final de .
92
N
umero de Rotacao de uma Curva Fechada
(t),
a t b,
(t) =
(b) + (t (b a)), b t 2b a.
Visto que s e uma reparametrizacao de |[s,b+s] , temos que a
funcao angular de s em relacao a P , s , satisfazendo s (a) = 0
e dada por
s (t) = (t + s a) (s).
Logo, para os n
umeros de rotacao, obtemos
W (s , P ) =
1
1
s (b) =
((s + (b a)) (s))
2
2
1
((b) + (s) (s)) = W (, P ).
2
Portanto, visto que W (s , P ) nao depende de s, conclumos a
prova.
b.
2
N
umero de Rotacao de uma Curva Fechada
93
1 (2t a),
se a t a+b
,
2
(t) =
a+b
1 (b) + 2 (2t b), se
t b.
2
Portanto
W (1 2 , P ) =
1
1
(b) =
(1 (b) + 2 (b))
2
2
94
N
umero de Rotacao de uma Curva Fechada
= W (1 , P ) + W (2 , P ).
N
umero de Rotacao de uma Curva Fechada
95
(,t)(0 ,t0 )
H(, t) = H(0 , t0 ).
96
N
umero de Rotacao de uma Curva Fechada
N
umero de Rotacao de uma Curva Fechada
97
(2.13)
(2.14)
Vamos supor, por contradicao, que (2.14) nao e verdadeira. Nesse caso, existem seq
uencias n em J e tn , sn em [a, b], tais que
|n 0 | <
1
,
n
n IN,
98
N
umero de Rotacao de uma Curva Fechada
|tn sn | <
1
,
n
n IN,
com
hvn (tn ), vn (sn )i = 1.
Entao temos que lim n = 0 . Alem disso, como as seq
uencias tn
n
e sn estao definidas em um intervalo fechado e limitado, passando
a subseq
uencias se necessario, podemos supor que
lim tn = lim sn = t0 [a, b].
k1
X
i=0
A proposicao anterior contribuira na demonstracao de proximo resultado, o qual, de certa forma, garantira que o n
umero de
rotacao das curvas de uma deformacao e constante.
N
umero de Rotacao de uma Curva Fechada
99
1
(b),
2
2.4
N
umero de Rotac
ao de Curvas Deform
aveis
Nesta secao, vamos apresentar algumas aplicacoes das propriedades vistas na secao anterior.
Seja : [a, b] IR2 uma curva fechada, e seja P um ponto
fora do traco de . Vamos dar uma condicao para que W (, P )
seja nulo.
Proposic
ao 2.11 Suponha que exista uma curva d : [0, )
2
IR , contnua, com d(0) = P e lim kd()k = . Se o traco de
100
N
umero de Rotacao de uma Curva Fechada
A recproca da proposicao acima nao e necessariamente verdadeira. A figura, a seguir, mostra o traco de uma curva e um
ponto P , tais que W (, P ) = 0. No entanto toda curva contnua
que liga P a um ponto suficientemente longe intersecta o traco
de .
N
umero de Rotacao de uma Curva Fechada
101
bem definido o n
umero de rotacao W (, P ) de em relacao a
P . Observe que dados dois pontos P e Q em uma componente
conexa de { , eles podem ser ligados por uma curva contnua
que nao intersecta o traco de . Logo, pelo Teorema 2.2, temos
que W (, P ) = W (, Q). Provamos entao o seguinte resultado.
Proposic
ao 2.12 Seja : [a, b] IR2 uma curva fechada, e
seja { o complementar do traco de em IR2 . Entao W (, P )
e constante em cada componente conexa de { .
Para a proxima aplicacao, vamos introduzir a nocao de curvas
homot
opicas em um subconjunto de IR2 . Dizemos que duas curvas : [a, b] U IR2 e : [a, b] U sao homotopicas em U ,
se a curva pode ser deformada na curva , em que cada curva
da deformacao e uma curva fechada com o traco em U , isto e, se
existe uma deformacao contnua : [a, b] U , 0 1, com
0 (t) = (t), 1 (t) = (t) e (a) = (b), para todo [0, 1].
Vamos denotar entao em U , se e homotopica a em U .
Nesse caso, a deformacao que leva em e chamada homotopia.
Observe que ser homotopica a e uma relacao de equivalencia no
conjunto de curvas fechadas definidas em [a, b]. Se uma curva
fechada e homotopica a uma curva constante em U , dizemos que
e homotopica a zero em U . Em relacao a curvas homotopicas,
temos o seguinte resultado:
Proposic
ao 2.13 Seja U um subconjunto de IR2 , e seja P 6 U .
Suponha que e sao curvas fechadas e homotopicas em U .
Ent
ao
W (, P ) = W (, P ).
Em particular, se e homotopica a zero em U , entao W (, P ) =
0.
Prova. Observe que, como P 6 U , os n
umeros de rotacao de
e de em relacao a P estao bem definidos. Aplicando o Teo-
102
N
umero de Rotacao de uma Curva Fechada
0 1.
(2.15)
N
umero de Rotacao de uma Curva Fechada
103
104
N
umero de Rotacao de uma Curva Fechada
Corol
ario 2.3 (Rouche) Sejam , : [a, b] IR2 {P } duas
curvas fechadas, tais que, para todo t [a, b],
k(t) (t)k < k(t) P k.
Entao W (, P ) = W (, t).
Prova. Vamos provar que P nao pertence ao segmento Tt que
liga (t) a (t). De fato, se P Tt , teramos que k(t)(t)k
k(t) P k, o que e uma contradicao. O resultado agora e conseq
uencia direta do Teorema 2.3.
2nt
2nt
, sen
)
ba
ba
em IR2 {P }. Como ser homotopica e uma relacao de equivalencia, conclumos que duas curvas com o mesmo n
umero de
rotacao n sao homotopicas em IR2 {P }. Seja : [a, b]
N
umero de Rotacao de uma Curva Fechada
105
2nt
. A aplicacao H e contnua
ba
t [a, b];
106
2.5
N
umero de Rotacao de uma Curva Fechada
C
alculo do N
umero de Rotac
ao N
umero de Interseco
es
N
umero de Rotacao de uma Curva Fechada
107
(t) de e r em t por
(t) = sinal(h(t) (t), v0 i)
h(t) (t), v0 i
=
, se 0 < t t .
|h(t) (t), v0 i|
Se a curva (t) intersecta o raio r em (t) da direita para a
esquerda, em relacao `a direcao v0 , quanto t cresce, temos que
(t) = 1. Se trocamos o sentido da intersecao, entao (t) = 1.
Veja a figura abaixo. De forma mais precisa, escolha o sistema de
coordenadas de IR2 , tal que a origem seja (t) e o eixo Ox tenha
a direcao e sentido do vetor v0 . Em relacao a esse sistema de
coordenadas, considere a curva , dada por (t) = (x(t), y(t)).
Obtemos, por exemplo, que (t) = 1, se y(t) < 0 para t < t e
y(t) > 0 para t > t, quando t suficientemente proximo de t.
(t) = 1.
(t) = 1.
108
N
umero de Rotacao de uma Curva Fechada
N
umero de Rotacao de uma Curva Fechada
109
P4 , P7 e P8 n
ao s
ao pontos de intersec
ao transversal; o n
umero de
intersec
oes em P1 , P5 e P9 e igual a 1, enquanto nos outros pontos este
n
umero e igual a -1.
(t, t2 sen 1t ), se t 6= 0,
(t) =
(0, 0),
se t = 0.
Em relacao ao raio r(s) = (1 + s, 0), s 0, temos que intersecta r em t = 0, porem tal intersecao nao e transversal. O
n
umero de intersecao entre e r em (0, 0) nao esta definido.
Suponha agora que (t0 ) r, para algum t0 (a, b), e que
(t) 6 r, se t esta suficientemente proximo de t0 , t 6= t0 . Nesse
caso, vamos dizer que a intersecao de com r em t0 e isolada. Se
(t0 ) e uma intersecao isolada de com r, porem nao transversal,
podemos definir o n
umero de intersecao (t0 ) de em relacao
a r por (t0 ) = 0. Observe que a intersecao nao ser transversal
significa, nesse caso, que a traco de fica localmente de um lado
do raio r. Essa intersecao e, em certo sentido, nao-essencial, visto
que podemos faze-la desaparecer apos uma deformacao pequena
de ou de r. Note que isso nao e possvel, se (t0 ) = 1.
Varios dos resultados que iremos mostrar ainda serao validos, se
110
N
umero de Rotacao de uma Curva Fechada
Proposic
ao 2.15 Considere : [a, b] IR2 uma curva fechada
e contnua, e seja r : [0, ) IR2 um raio, dado por r(s) = P +
sv0 . Suponha que intersecta r transversalmente em t0 (a, b),
isto e, q = (t0 ) = r(s0 ) para algum s0 > 0 e (t) 6= q para
todo t 6= t0 . Entao, se 0 s < s0 < s s
ao tais que r(s) n
ao
(t) =
(t) =
t0 t
(t ) +
t0t
t t
r(s ) +
t t0
tt
r(s ),
t0 t
tt0
(t
),
t t0
se t t t0 ,
se t0 t t ,
caso contrario.
t0 t
(t ) +
t0t
t t
r(s ) +
t t0
tt
r(s ),
t0 t
tt0
(t ),
t t0
se t t t0 ,
se t0 t t ,
caso contrario.
(t),
(t),
N
umero de Rotacao de uma Curva Fechada
111
(2.16)
Vejamos que o membro direito de (2.16) nao depende do comportamento global de e de e que e igual ao n
umero de
112
N
umero de Rotacao de uma Curva Fechada
n1
1 X
^ ( (ti ) q, (ti+1 ) q)
2 i=1
n1
1 X
W ( , q) =
^ ( (ti ) q, (ti+1 ) q).
2 i=1
1
[ ^ ( (t1 ) q, (t ) q)
2
+ ^ ( (t ) q, (t+1 ) q) ^ ( (t1 ) q, (t ) q)
^ ( (t ) q, (t+1 ) q)]
1
[ ^ ((t ) q, r(s ) q) + ^ (r(s ) q, (t ) q)
2
^ ((t ) q, r(s ) q) ^ (r(s ) q, (t ) q)].
Usando a Proposicao 2.1, podemos reagrupar esses quatro angulos para obtermos
W ( , q) W ( , q) =
1
[ ^ ((t ) q, r(s ) q)
2
N
umero de Rotacao de uma Curva Fechada
113
(2.17)
Observe que, por (2.6), a soma dos quatro angulos do lado direito
da equacao acima e igual a ^ ((t ) q), (t ) q) mod 2 =
0 mod 2. Usando agora as definicoes de n
umero de intersecoes
e angulo orientado, temos que os quatro angulos que aparecem
no lado direito da equacao (2.17) pertencem ao intervalo (0, ),
se (t0 ) = 1. Tais angulos pertencem ao intervalo (, 0), se
(t0 ) = 1. Com isso, temos que
^ ((t ) q, r(s ) q) + ^ (r(s ) q, (t ) q)
+ ^ ((t ) q, r(s ) q) + ^ (r(s ) q, (t ) q) = 2,
se (t0 ) = 1 e
^ ((t ) q, r(s ) q) + ^ (r(s ) q, (t ) q)
+ ^ ((t ) q, r(s ) q) + ^ (r(s ) q, (t ) q) = 2,
se (t0 ) = 1. Conclumos que
W ( , q) W ( , q) = (t0 ).
Assim, usando o resultado acima e a equacao (2.16), completamos a prova.
114
N
umero de Rotacao de uma Curva Fechada
k
X
(ti ).
(2.18)
i=1
Como antes,
W (, P ) = W ( , P ),
N
umero de Rotacao de uma Curva Fechada
115
m
ultiplas de e igual ao n
umero de intersecoes m
ultiplas de
menos uma unidade. Logo, repetindo esse processo, apos um
n
umero finito de passos, obtemos uma curva possuindo apenas
intersecoes simples com o raio r nos pontos t1 , ..., tk com o mesmo
n
umero de rotacao e os mesmos n
umeros de intersecoes que a
curva . Portanto e suficiente provar a formula do n
umero de
intersecao no caso em que os si s sao distintos.
Reordenando, se necessario, podemos supor que
0 < s1 < s2 < ... < sk .
Note que os ti s nao estao necessariamente ordenados. Escolha
i [0, ) de modo que
0 = 0 < s1 < 1 < s2 < ... < k1 < sk < k .
Seja Pi = r(i ). Pela proposicao anterior, para todo i = 1, ..., k,
temos
W (, Pi1 ) W (, Pi ) = (ti ).
Portanto
k
X
i=1
k
X
(ti ) =
[W (, Pi1 ) W (, Pi )]
i=1
= W (, P0 ) W (, Pk ).
Visto que a curva nao intersecta o raio r|[k ,) , temos que
W (, Pk ) = 0. Logo
W (, P ) = W (, P0 ) =
k
X
i=1
(ti ),
116
N
umero de Rotacao de uma Curva Fechada
A formula do n
umero de intersecoes tem uma bela e surpreendente conseq
uencia: o membro direito da equacao (2.18)
nao depende da escolha do raio partindo do ponto P , apesar do
n
umero de pontos de intersecao de com cada raio partindo de
P poder variar consideravelmente, quando variamos a direcao v0
de cada raio.
1
(ti ) = W (, P ) =
2
b
a
h((t) P ) , 0 (t)i
dt.
k(t) P k2
N
umero de Rotacao de uma Curva Fechada
2.6
117
Aplicac
oes
118
N
umero de Rotacao de uma Curva Fechada
N
umero de Rotacao de uma Curva Fechada
119
n 1.
(2.19)
120
N
umero de Rotacao de uma Curva Fechada
P U.
t [0, 1].
Definic
ao 2.5 Dizemos que e uma curva fechada e mpar, se
a curva for mpar.
Para curvas fechadas e mpares, temos o seguinte resultado:
Lema 2.1 Seja : [0, 1] IR2 uma curva fechada e mpar, com
(t) 6= (0, 0), para todo t [0, 1]. Entao seu n
umero de rotac
ao
em relac
ao a (0, 0) e um n
umero mpar.
Prova. Seja uma funcao angular para com (0) = 0. Por
ser uma curva fechada e mpar, temos que existe k Z, tal
que, para todo 0 t 21 ,
1
(t) = (t + ) (2k + 1).
2
N
umero de Rotacao de uma Curva Fechada
121
Logo
W (, (0, 0)) =
(1) (0)
= 2k + 1.
2
122
N
umero de Rotacao de uma Curva Fechada
Corol
ario 2.4 Nao existe uma func
ao contnua e injetiva defi2
nida na esfera S e tomando valores em IR2 .
Prova. Suponha que f : S2 IR2 seja uma funcao contnua
em S2 . Vamos provar que existe P S2 , tal que f (P ) =
f (P ) e, portanto, f nao e injetiva. Suponha que f (q) =
(f1 (q), f2 (q)), q S2 . Nesse caso, as funcoes f1 , f2 : S2 IR sao
funcoes contnuas em S2 . Considere as funcoes F1 , F2 : S2 IR,
definidas por
F1 (q) = f1 (q) f1 (q),
F2 (q) = f2 (q) f2 (q).
Sendo essas funcoes contnuas e mpares, temos, pelo Teorema
de Borsuk, que existe P S2 , tal que F1 (P ) = F2 (P ) = (0, 0).
Logo, para esse P , f (P ) = (f1 (P ), f2 (P )) = (f1 (P ), f2 (P )) =
f (P ).
N
umero de Rotacao de uma Curva Fechada
123
II - Teorema de Brower.
Sejam V e W dois espacos vetoriais de dimensao n e m, res
pectivamente. Um resultado bem conhecido da Algebra
Linear
diz que V e W sao isomorfos, se somente se m = n. Esse fato
e conhecido como invariancia algebrica da dimensao. O equivalente topologico desse resultado e o Teorema de Brower.
Teorema 2.9 (Teorema de Brower) Sejam IRn e IRm
dois conjuntos abertos e nao-vazios. Se existe um homeomorfismo h : , entao n = m.
Vamos demonstrar o resultado acima nos casos m = 1 e m = 2,
esse u
ltimo, como aplicacao da teoria do n
umero de rotacao de
uma curva fechada.
Prova do caso m = 1. Seja P . Como e aberto em
IRn , existe r > 0, tal que a bola de centro P e raio r, Br (P ),
esta contida em . Como Br (P ) e conexo e h, homeomorfismo,
h(Br (P )) e um conexo aberto de IR, e, portanto, um intervalo
aberto, digamos (a, b). Seja c (a, b), e seja Q Br (P ), tal que
h(Q) = c. Portanto temos que (a, b) {c} e um conjunto desconexo de e, novamente, por h ser um homeomorfismo, temos que
Br (P ) {Q} e desconexo, o que apenas e possvel quando n = 1.
124
N
umero de Rotacao de uma Curva Fechada
N
umero de Rotacao de uma Curva Fechada
125
Z
Z b
1
1
1
k(t) z0 k0
0
dz =
+ i (t) dt
2i z z0
2i a
k(t) z0 k
1
=
[(b) (a)]i = W (, z0 ).
2i
126
N
umero de Rotacao de uma Curva Fechada
f (z) f (z0 )
,
se z 6= z0 ,
h(z) =
zz
f 0 (z ), 0
se z = z0 .
0
Logo h e contnua em e holomorfa em {z0 }. Alem disso,
usando a regra de LHospital, obtemos
h0 (z0 ) = lim
zz0
h(z) h(z0 )
f (z) f (z0 ) f 0 (z0 )(z z0 )
= lim
zz0
z z0
(z z0 )2
f 0 (z) f 0 (z0 )
1
= f 00 (z0 ),
zz0
2(z z0 )
2
onde, na u
ltima igualdade, usamos que se f e holomorfa, entao
f 0 e holomorfa (ver [Rd], p.224). Agora, nas condicoes acima,
e bem conhecido (ver [Rd], p.223, 10.14), que h admite uma
primitiva H : C, isto e, a funcao H e tal que H 0 (z) = h(z).
Integrando a funcao H 0 ao longo de e usando o Lema 2.2,
obtemos que
Z
Z
f (z) f (z0 )
0
0 = H (z) dz =
dz
z z0
Z
Z
f (z)
1
=
dz f (z0 )
dz
z z0
z z0
Z
f (z)
=
dz 2if (z0 )W (, z0 ),
z z0
o que conclui a prova.
lim
N
umero de Rotacao de uma Curva Fechada
127
128
N
umero de Rotacao de uma Curva Fechada
entao
Nf = Ng .
Prova. Observe que pelo Teorema 2.12, temos que
Nf = W (, (0, 0)),
e
Ng = W (1 , (0, 0)),
onde = f e 1 = g . As hipoteses sobre f e g implicam
que
k(t) 1 (t)k < k(t)k,
para todo t [a, b]. Logo, pelo Corolario 2.3,
W (, (0, 0)) = W (1 , (0, 0)),
o que conclui a prova.
2.7
Exerccios
1. Quais dos conjuntos abaixo sao conexos? Descreva as componentes conexas em cada caso.
(i) IR2 ;
(ii) {P | kP k 1};
(iv) {P | kP k 6= 1}
(iii) {P | kP k 1};
N
umero de Rotacao de uma Curva Fechada
129
se t = 0,
0,
(t, t sen t ),
se 0 < t 12 ,
(t) =
(1 t, 0),
se 12 < t 1,
e uma curva fechada e contnua e, alem disso, { possui
infinitas componentes conexas.
4. Seja uma curva fechada e contnua em IR2 . Seja P um
ponto fora do traco de , tal que W (, P ) 6= 0. Mostre
que a componente conexa de { , que contem o ponto P , e
limitada.
5. Seja uma curva fechada e contnua em IR2 . Mostre que
{ possui apenas uma componente conexa ilimitada.
6. Considere a curva de Lissajous : [0, 2] IR2 , dada por
(t) = ( sen mt, sen nt). Mostre que para m = 10 e n = 11,
o ponto P = ( 21 , 0) nao pertence ao traco de e calcule o
n
umero de rotacao W (, P ).
130
N
umero de Rotacao de uma Curva Fechada
Se r e um raio com origem P que intersecta o traco de
exatamente k vezes, com todas as intersecoes transversais,
entao k e um n
umero inteiro par.
se
i
i+1
t
,
k
k
Conclua que o n
umero de rotacao de uma curva fechada
e contnua pode ser calculado usando um polgono P
inscrito no traco de , para uma escolha conveniente dos
vertices de P.
Captulo 3
Curvas Fechadas - Indice
de Rotac
ao
Neste captulo vamos estudar o comportamento do campo
tangente `a curva regular e fechada. Para isso, vamos deixar
mais claro o tipo de curvas em que esse estudo faz sentido. Uma
curva : [a, b] IR2 e uma curva fechada, se (a) = (b). Uma
curva fechada e diferenciavel, se existe um > 0 e uma curva
diferenciavel
e : (a, b+) IR2 , tal que (t) =
e(t) para todo
t [a, b] e
e0 (a) e
e0 (b) sao vetores nao-nulos com mesma direcao
e sentido. Uma curva fechada e diferenciavel : [a, b] IR2 e de
dk
dk
classe C n , se (a) = (b), k (a) = k (b) para todo k = 1, ..., n
dt
dt
dn
e
(t) e um campo contnuo ao longo de . Desse modo,
dtn
podemos falar em curvas fechadas e regulares, isto e, uma curva
fechada e diferenciavel tal que seu vetor tangente e nao-nulo para
todo t [a, b]. Uma curva fechada : [a, b] IR2 e dita simples,
se, restrita ao intervalo (a, b], ela for uma aplicacao injetiva.
Se e uma curva fechada e regular de classe C 1 , podemos considerar a curva 0 : [a, b] IR2 . Essa curva e fechada, contnua
131
132
133
Exemplo 3.1 Seja : [0, 2] IR2 uma curva, dada por (t)
= (R cos nt, R sen nt), com n Z, n 6= 0. A curva parametriza
o crculo de raio R que da |n| voltas em torno da origem, no
sentido anti-horario, se n > 0 e, no sentido horario, se n < 0.
Um calculo simples mostra que
R = n.
134
135
136
longo desse laco muda muito de direcao, independente do tamanho do laco. A continuidade de 0 implica que esse vetor deve
anular-se no limite final.
Por outro lado, temos o seguinte teorema devido a Whitney e
Graustein (veja [MR], Teorema 9.9 p.397) que nos da a recproca
do proposicao anterior.
Teorema 3.1 Duas curvas fechadas e regulares , : [a, b]
IR2 s
ao regularmente homotopicas, se e somente se
R = R .
Exemplo 3.3 Seja : [a, b] IR2 um crculo que da uma volta
no sentido anti-horario em torno de seu centro, e seja : [a, b]
IR2 a curva que percorre uma vez a lemniscata com um laco, ver
figura abaixo, na orientac
ao indicada.
Temos que
R = R = 1.
Logo, pelo Teorema de Whitney-Graustein, e s
ao regularmente homotopicas. Voce consegue imaginar uma homotopia regular que leve em ?
3.1
Curvatura Total
137
0
hT , T i() d =
k()k0 ()k d.
(t) =
a
Portanto
0 (t) = k(t)k0 (t)k.
(3.1)
138
a2
sen 2 t
ab
,
+ b2 cos2 t
139
e, portanto,
1
2
2
0
a2
sen 2
ab
d = CT () = 1.
+ b2 cos2
140
3.2
Indice de Rotac
ao de Curvas Fechadas Simples
141
142
(t) (s)
,
se s < t e (t, s) 6= (L, 0),
k(t) (s)k
F (t, s) =
T (t),
se s = t,
T (0),
se (t, s) = (L, 0).
Visto que e uma curva simples, a funcao F esta bem definida. Vamos provar que F e contnua em M. Com efeito, para
todo ponto (t, s) M com s < t, F e claramente contnua em
(s, t). Seja agora um ponto (a, a) da hipotenusa de M, e seja
(tk , sk ), k IN, tk > sk , uma seq
uencia de pontos em M, que
converge para (a, a). Vamos mostrar que
lim F (tk , sk ) = T (a) = F (a, a).
1
(tk ) (sk )
(tk ) (sk )
.
F (tk , sk ) =
tk sk
tk sk
Aplicando o Teorema do Valor Medio a cada uma das funcoes
coordenadas u, v de , temos que existem sk < k < tk e sk <
k < tk , tais que
(tk ) (sk )
= (u(k ), v(k )).
tk s k
Visto que lim tk = lim sk = a, temos que, necessariamente,
k
lim k = lim k = a.
143
obtemos que
(k ) = (sk ) e (k ) = (tk ).
Portanto
(tk ) (sk )
k(tk ) (sk )k
1
(k ) (k )
(k ) (k )
.
=
k k
k k
F (tk , sk ) =
(2t, 0),
se 0 t ,
2
D1 (t) =
L
(L, 2t L),
se t L.
2
144
145
L
aponta para o semi-plano superior, T1 (0) = (1, 0), T1 ( ) =
2
(1, 0). Portanto
L
( ) = .
2
L
Por outro lado, no intervalo [ , L], T1 aponta para o semi-plano
2
L
inferior, T1 ( ) = (1, 0) e T1 (L) = (1, 0). Logo
2
L
(L) ( ) = .
2
Portanto (L) = 2 e, conseq
uentemente,
R = W (T1 , (0, 0)) =
3.3
1
(L) = 1.
2
146
Logo
Z
2CA() =
|k(s)| ds =
a
k00 (s)k ds = L0 ,
147
(s) =
+ d1 (s) < ,
2
2
2
temos
hu, 0 (s)i > 0,
ou seja, a funcao altura h, dada por h(s) = hu, (s)i, e estritamente crescente. Tal fato e uma contradicao, pois h(a) = h(b).
Logo conclumos a demonstracao do lema.
148
Logo
Lss21 (0 ) .
Analogamente, obtemos que
Lsa1 (0 ) + Lbs2 (0 ) .
Assim conclumos
Lba (0 ) 2.
Isso prova o teorema, pois
CA() =
1 b 0
L ( ).
2 a
No Teorema 3.4 exigimos que a curva fosse fechada e regular, ou seja, 0 (a) = 0 (b). O resultado seguinte, no entanto,
nos da uma estimativa da curvatura absoluta total para curvas
fechadas, sem exigir, todavia, a condicao 0 (a) = 0 (b).
Proposic
ao 3.2 Seja : [a, b] IR2 uma curva regular com
(a) = (b). Entao
1
CA() =
2
b
a
1
|k(s)| k0 (s)k ds > .
2
Prova. Seja s1 (a, b), tal que o ponto (s1 ) e o ponto do traco
de mais distante do ponto inicial/final (a) = (b). Nesse
caso, a funcao f , dada por f (s) = k(s) (a)k2 , possui um
maximo em s = s1 . Como f e diferenciavel nesse ponto, temos
que
0 = f 0 (s1 ) = h0 (s1 ), (s1 ) (a)i.
(3.2)
Vamos provar que existem dois pontos s0 , s2 [a, b], com
s0 < s2 , tais que os vetores 0 (s0 ) e 0 (s2 ) sejam ortogonais ao
149
s0
Observe que, restrita ao intervalo (a, s0 ), k nao pode ser identicamente nula. De fato, se k(s) 0 no intervalo (a, s0 ), o traco
150
s2
+
s0
|k(s)| k (s)k ds +
|k(s)| k0 (s)k ds
s2
Z s2
>
|k(s)| k0 (s)k ds ,
s0
s0
visto que
1
CA() =
2
b
a
1
|k(s)| k0 (s)k ds > ,
2
151
3.4
Exerccios
3. Teorema de Stoker. Seja : (, ) R2 uma curva regular e parametrizada pelo comprimento de arco. Suponha
que satisfaz as seguintes condicoes:
(a) A curvatura de e estritamente positiva;
(b) lim | (s) | = , ou seja, a curva se estende para o
s
152
153
154
Captulo 4
Teorema de Jordan
Neste captulo, vamos discutir o n
umero de componentes conexas do complementar do traco de uma curva de Jordan, isto e,
uma curva fechada e simples em IR2 . Quando consideramos uma
curva desse tipo, o fato de que ela nao possui auto-intersecoes
nos faz pensar, intuitivamente, que o seu traco divide o plano
em duas componentes conexas: uma regiao limitada pelo traco
da curva e uma outra ilimitada. De fato, todos os exemplos que
conseguimos imaginar sao assim, apesar de que, nem sempre, e
facil identificar se um ponto esta ou nao na regiao que consideramos limitada pelo traco da curva. Por exemplo, na figura
abaixo, em qual componente conexa esta o ponto P ?
155
156
Teorema de Jordan
4.1
Teorema de Jordan
A complexidade da prova do Teorema de Jordan surpreendeu muitos matematicos de sua epoca. Mesmo assim, a prova
tinha ainda varias lacunas a serem preenchidas. Na literatura,
temos muitas provas desse teorema e, no caso da curva ser apenas contnua, as demonstracoes apresentam um certo grau de
complexidade. O Teorema de Jordan talvez seja um dos resultados matematicos em que mais facilmente podemos acreditar, sem
percebermos a dificuldade de sua demonstracao. Ele tambem e
um belo exemplo de que desenhar e, de fato, diferente de provar.
Muitas vezes, ao colocar hipoteses adicionais sobre a curva,
a prova e facilitada. Assim iremos provar o Teorema de Jordan,
no caso em que a curva e regular e de classe C 2 .
Inicialmente vamos provar um fato u
til na demonstracao do
Teorema de Jordan, que e a existencia de uma vizinhanca adequada do traco da curva considerada.
Seja : [a, b] IR2 uma curva regular, fechada e de classe
Teorema de Jordan
157
i = 1, 2.
e : IR IR2 , com
158
Teorema de Jordan
n
[
Rsi .
i=1
,
b
+
)
(,
)
cao
i=1 Rsi . A fun
e(s).
Um outro fato que sera u
til na prova, o qual decorre diretamente do Teorema do N
umero de Recobrimento de Lebesgue
(olhar [L2], p.54), e que, para a colecao de retangulos Rsi , existe
um n
umero real > 0 tal que, se |x1 x2 | < e y1 , y2 (, ),
entao (x1 , y1 ), (x2 , y2 ) estao no mesmo retangulo Rsi . Essa constante e chamada n
umero de Lebesgue da cobertura {Rsi }. Este
Teorema de Jordan
159
(4.3)
160
Teorema de Jordan
2(s a)
2(s a)
), (1 + t) sen (
))
ba
ba
e
H : [a, b] (, ) U ,
H(s, t) = (s) + tN (s).
Observe que f e H deixam de ser injetivas apenas ao longo dos
segmentos {(a, t), t (, )} e {(b, t), t (, )}, porem a
hipotese de ser uma curva fechada e de classe C 2 nos diz que
esta bem definida a funcao h : A U , dada de modo que o
diagrama abaixo comute.
Observa
c
ao 4.1 O aberto U e chamado vizinhanca tubular de
.
Teorema de Jordan
161
162
Teorema de Jordan
Teorema de Jordan
163
ou 2 W.
(4.4)
Agora considere p = (t1 ) ([a, b]), e seja r > 0 suficientemente pequeno de modo que o disco D de centro p e raio r esteja
contido em , porem o traco de nao esteja contido em D. Considerando o segmento normal It1 , vemos claramente que D possui
pontos em 1 e 2 . Logo W D 6= . Alem disso, quando restrito
a cada um dos subconjuntos i It1 , i = 1, 2, o n
umero de rotacao
da curva em relacao a um ponto de cada um desses conjuntos
e diferente. Temos tambem que D (IR2 (([a, b]) W)) 6= .
Portanto p W. Assim
W = traco de .
A equacao (4.4) implica que IR2 {([a, b])} possui no maximo
duas componentes conexas, o que conclui a prova do teorema.
Observa
c
ao 4.2 Decorre da prova acima que IR2 {([a, b])}
se escreve como a uniao de dois conjuntos conexos, um ilimitado,
digamos W1 , e outro limitado, digamos W2 . Temos ainda que a
func
ao W , definida por W (p) = W (, p), satisfaz
0,
se p W1 ,
W (p) =
1,
se p W2 ,
164
Teorema de Jordan
onde o sinal, na u
ltima express
ao, depende da orientac
ao de .
Considere o campo normal N de uma curva de Jordan, regular e de classe C 2 . Como esse campo e contnuo, temos que ele
sempre aponta para uma das componentes conexas, determinadas pelo traco dessa curva em IR2 . Vamos introduzir a nocao de
orientacao positiva de uma tal curva.
Definic
ao 4.1 Seja : [a, b] IR2 uma curva de Jordan, regular e de classe C 2 . Dizemos que esta positivamente orientada,
se seu campo normal aponta para a regi
ao limitada de IR2 determinada pelo traco de .
O ponto fundamental na prova da versao regular do Teorema
de Jordan foi a existencia de um campo normal diferenciavel,
definido ao longo de , o que nos permitiu definirmos os dois
conjuntos conexos 1 e 2 . Para o caso em que as curvas sao
apenas contnuas, essa construcao nao pode ser repetida de forma
possvel, no entanto, ainda ser provado o seguinte
simples. E
resultado:
Teorema 4.2 (Teorema de Jordan) Seja : [a, b] IR2 uma
curva contnua e de Jordan. Entao o complementar do traco de
, { , e a uniao de dois conjuntos conexos, nao-vazios e com a
fronteira de cada um igual ao traco de .
Prova. Ver [Tv].
A componente conexa limitada de { e denominada interior
de ou regiao determinada por , e a outra componente conexa
ilimitada de { e chamada de exterior de .
Vamos comentar agora sobre a recproca do Teorema de Jordan. Suponha que IR2 seja um conjunto compacto, tal que
Teorema de Jordan
165
166
Teorema de Jordan
Teorema de Jordan
167
168
Teorema de Jordan
4.2
Desigualdade Isoperim
etrica
(4.6)
Teorema de Jordan
169
170
Teorema de Jordan
(
y(s) =
p
r2 (x(s))2 ,
p
r2 (x(s))2 ,
0 s s0 ,
s0 s L.
A=
x(s)y (s) ds
A=
y(s)x0 (s) ds = r2 .
Portanto
Z
A + r
Z0 L p
Visto que
2ab a2 + b2 , onde a, b IR,
(4.7)
Teorema de Jordan
171
obtemos
Z
A + r
p
(x y 0 (s))2 + (x x0 (s))2 + (y y 0 (s))2 + (y x0 (s))2 ds
Z0 L p
=
((x(s))2 + (y(s))2 )((x0 (s))2 + (y 0 (s))2 ds
Z0 L p
=
((x(s))2 + (y(s))2 ) ds
0
Z Lp
=
((x(s))2 + (y(s))2 ) ds
Z0 L
=
r ds = Lr.
0
(4.8)
(4.9)
172
Teorema de Jordan
Segue-se que
(x0 (s)x(s))2 + (y 0 (s)x(s))2 = (y 0 (s)x(s))2 + (y(s)y 0 (s))2 .
Logo
(x(s))2 = [(x0 (s))2 + (y 0 (s))2 ](x(s))2
= [(x(s))2 + (y(s))2 ](y 0 (s))2 = r2 (y 0 (s))2 ,
isto e,
(x(s))2 = r2 (y 0 (s))2 .
0
(4.10)
Sejam P e Q pontos sobre o traco de tais que suas coordenadas y sejam maxima e mnima, respectivamente. Como e
diferenciavel nesses pontos, as retas tangentes `a curva em P 0
e Q0 sao paralelas ao eixo Ox. Considere E e F essas retas tangentes. Pelo que ja provamos, a distancia entre essas retas e 2r.
Transladando-se o crculo por um vetor (0, a), de modo a que
ele fique tangente `as retas E e F (ver figura abaixo), podemos
repetir o argumento da prova de (4.10) e obter que
(y(s) + a)2 = r2 (x0 (s))2 .
(4.11)
Teorema de Jordan
173
4.3
Exerccios
174
Teorema de Jordan
Captulo 5
Curvas Convexas
Neste captulo, estudaremos as propriedades geometricas das
curvas regulares cuja curvatura nao troca de sinal. Inicialmente,
introduziremos o conceito de curva localmente convexa.
Defini
c
ao 5.1 Dizemos que uma curva : I IR2 e convexa
em t0 I, se existe > 0, tal que ((t0 , t0 + )) esteja inteiramente contido num dos semi-planos determinados pela reta
tangente `a em t0 . A curva e dita estritamente convexa em
t0 , se e convexa em t0 e existe > 0, tal que (t0 ) e o u
nico
ponto de ((t0 , t0 + )) sobre a reta tangente de em t0 .
A definicao de curva convexa em t0 implica que, para todo t
(t0 , t0 + ), a funcao definida por
ht0 (t) = h(t) (t0 ), N (t0 )i,
onde N (t) e o campo normal de , nao muda de sinal.
Proposic
ao 5.1 Seja : I IR2 uma curva regular e de classe
C 2 . Se a curvatura de em t0 I e nao-nula, entao e estritamente convexa em t0 .
175
176
Curvas Convexas
Curvas Convexas
177
(t) =
k() d.
t0
se t0 t t0 + 1 ,
se t0 1 t t0 .
e
Logo a funcao y e nao-crescente no intervalo [t0 1 , t0 ] e naodecrescente em [t0 , t0 + 1 ]. Como y(t0 ) = 0, temos que y(t) 0,
para todo t [t0 1 , t0 + 1 ], o que conclui a prova.
5.1
178
Curvas Convexas
curva convexa
curva n
ao convexa
Curvas Convexas
179
k(s1 )
(s s1 )2 + R(s) < 0,
2
180
Curvas Convexas
kR(s)k
= 0. Isso implica que, para suficientemente
(s s1 )2
pequeno, f (s) > 0, se 0 < |s s1 | < . Como k(s1 ) < 0, temos N (s1 ) = (0, 1) e, portanto, existem pontos do traco de
com a coordenada y < 0. Por outro lado, a reta tangente `a
em (s1 ) e a reta y = 0. Logo existem pontos do traco de
de ambos os lados dessa reta, contradizendo a hipotese que e
uma curva convexa.
onde lim
ss1
Observa
c
ao 5.1 A condic
ao que e uma curva simples e essencial no Teorema 5.1, como pode ser observado na figura abaixo.
Curvas Convexas
181
182
Curvas Convexas
Prova. Se possui no maximo um ponto, nada ha que se provar. Suponha que existam dois pontos distintos P e Q em .
Como e convexo, [P Q] . Vamos provar que esta contido
na reta r determinada por P e Q. Suponha por contradicao que
existe um ponto T com T 6 r. Sendo convexo, ele contem
todos os segmentos de reta da forma [T X], com X [P Q]. Portanto contem a regiao limitada pelo triangulo 4P QT . Como
essa regiao possui pontos interiores, chegamos a uma contradicao
com o fato que o interior de e vazio.
Uma nocao u
til para o estudo de conjuntos convexos e a reta
suporte.
Definic
ao 5.2 Sejam A IR2 e seja P A. Diremos que
uma reta r passando por P e uma reta suporte para A em P ,
se A estiver totalmente contido em um dos semi-planos fechados
determinados por r.
r1 , r2 , r3 e r4 s
ao retas suporte para ; r5 n
ao e reta suporte para .
Curvas Convexas
183
No entanto, conjuntos convexos possuem reta suporte passando por todo ponto de sua fronteira, como mostra o seguinte
resultado:
Proposic
ao 5.4 Se e convexo e P , entao existe uma
reta suporte para passando por P .
Prova. Se o interior de e vazio, o resultado segue da Pro
184
Curvas Convexas
Curvas Convexas
185
Uma vez que 1 +2 > , temos que qualquer reta r passando por
P e contida na regiao limitada por l1 + e l2 , que nao contem
e reta suporte para passando por P .
186
Curvas Convexas
xt0
m(x t0 ) f (x)
f (x)
= m lim
xt0 x t0
x t0
f (x) f (t0 )
= m f 0 (t0 ) = m.
x t0
Suponha que m > 0. Pela definicao de limite, dado > 0, com
0 < < m, existe > 0, tal que para todo x, com 0 < x < ,
tem-se que (x, f (x)) B (P ), (x, m(x t0 )) B (P ) e
= m lim
xt0
m<
m(x t0 ) f (x)
< m + .
x t0
Curvas Convexas
187
188
Curvas Convexas
Curvas Convexas
189
Segue-se da convexidade da regiao limitada por uma curva convexa, o seguinte resultado:
Corol
ario 5.1 Seja : [a, b] IR2 uma curva de Jordan, regular e de classe C 1 . Se r e uma reta transversal ao traco de ,
ent
ao r intersecta o traco de em exatamente dois pontos.
Veremos a seguir que a indicatriz tangente de uma curva
fechada e simples e sobrejetiva.
Proposic
ao 5.5 Seja : [a, b] IR2 uma curva fechada, regular e simples. Entao existe uma orientac
ao de , tal que
T (A) = S1 ,
onde A = {t [a, b]| k(t) 0}, T e a indicatriz tangente de e
S1 e o crculo unitario.
Prova. Como e regular, podemos supor, sem perda de generalidade, que esta parametrizada pelo comprimento de arco.
Inicialmente, pelo Teorema de Jordan, podemos supor que esta
orientada de modo que seu campo normal N aponta sempre para
190
Curvas Convexas
. Observe
2
que, como p e uma funcao diferenciavel em [a, b], p possui um
mnimo global em su [a, b] e, portanto,
onde u = v e o vetor obtido de v pela rotacao de
Curvas Convexas
191
Desse u
ltimo resultado decorre imediatamente o seguinte fato.
Corol
ario 5.2 Seja : [a, b] IR2 uma curva fechada, regular
e simples e seja T : [a, b] S1 sua indicatriz tangente. Entao T
e sobrejetiva.
O proximo resultado vai estimar a integral da curvatura de
uma curva fechada, regular e simples, ao longo dos arcos em que
a curvatura e nao-negativa.
Proposic
ao 5.6 Seja : [a, b] IR2 uma curva fechada, regular e simples. Entao existe uma orientac
ao de , tal que, se k e
integr
avel no conjunto A = {t [a, b]| k(t) 0}, entao
Z
1
k(t)k0 (t)k dt 1.
2 A
Prova. Pela Proposicao 5.5, existe uma orientacao de , tal que
a imagem de A pela indicatriz tangente T e o crculo unitario S1 .
Nesse caso, o comprimento de T |A e maior ou igual a 2. Logo
Z
Z
1
1
k(s) ds =
|k(s)| ds
2 A
2 A
Z
1
1
L(T |A ) 1.
=
k00 (s)k ds =
2 A
2
192
Curvas Convexas
Observa
c
ao 5.2 A hipotese de que e uma curva simples e essencial na Proposic
ao 5.6. De fato, a curva : [/2, 3/2]
2
IR , dada por
(t) = (cos t, cos t sen t),
e tal que
k(t) =
/2
|k(t)| k0 (t)k dt =
/2
3
< 1.
4
Se trocamos a orientac
ao de , o conjunto onde k(s) 0, nesse
caso, e [/2, 3/2] e
1
2
3/2
/2
|k(t)| k0 (t)k dt =
3
< 1.
4
Curvas Convexas
193
Corol
ario 5.3 Seja : [a, b] IR2 uma curva de classe C 2 ,
fechada, regular e com curvatura absoluta total igual a 1. Se
1
|k(t)| , entao
R
Lba () 2R,
onde k e a curvatura de e R e uma constante positiva.
1
Prova. Usando o teorema anterior e o fato de que |k(t)| ,
R
obtemos
Z b
1
1 = CA() =
|k(t)| k0 (t)k dt
2 aZ
(5.1)
b
Lba ()
1
0
k (t)k dt =
.
2R a
2R
194
5.2
Curvas Convexas
Teorema de Schur
Considere dois arames de mesmo comprimento sobre um plano. Quando os curvamos, intuitivamente, os extremos do arame
mais curvado ficam mais proximos do que os extremos do arame
menos curvado.
Esse resultado intuitivo e, de fato, verdadeiro e foi demonstrado por A.Schur em [Sc]. A seguir, apresentaremos sua formulacao precisa e sua prova, conforme consta em Chern, veja
[Ch], p. 36 ou como exerccio em do Carmo, [dC], p. 406.
Teorema 5.4 (Schur) Sejam : [0, l] IR2 e
e : [0, l] IR2
duas curvas parametrizadas pelo comprimento de arco e convexas. Denotemos por k e e
k as curvaturas de e
e, respectivae = d(e
mente. Sejam d(s) = d((0), (s)) e d(s)
(0),
e(s)), onde
2
e
d( . , . ) e a distancia Euclidiana de IR . Se k(s) k(s), entao
e
d(s) d(s),
s [0, l].
Curvas Convexas
195
e
Sejam (s) e (s)
os angulos que os vetores 0 (s) e
e0 (s) fazem, respectivamente, com o eixo Ox. Como e
e sao curvas convexas, temos, pelo Teorema 5.3, que (s) e
e
(s)
. Denotemos por Te(0)Te(s1 ) o comprimento de
1
arco em S entre Te(0) e Te(s1 ) ou, equivalentemente, o angulo
entre Te(0) e Te(s1 ).
196
Curvas Convexas
s1
s1
k(s) ds =
0
(5.3)
s [0, s1 ].
Note que o vetor
e(s0 ) pode nao ser paralelo ao eixo Ox.
A funcao cosseno e uma funcao decrescente quando o seu argumento varia entre 0 e . Assim, se 0 T (s0 )T (s) , obtemos,
usando (5.3), que
cos(T (s0 )T (s)) cos(Te(s0 )Te(s)).
Curvas Convexas
197
s1
(5.5)
e 1 ).
= d(s
Vamos provar o caso da igualdade no teorema. Suponha que
e Nesse caso, temos igualdade em (5.5), (5.4), (5.3) e (5.2).
d = d.
Logo as curvas e
e tem a mesma curvatura e, portanto, aplicando o Corolario 1.1, obtemos o resultado desejado.
198
Curvas Convexas
Prova Inicialmente, sem perda de generalidade, podemos supor que as curvas da hipotese do teorema estao parametrizadas pelo comprimento de arco. Agora, pelo Corolario 5.3, temos que os comprimentos de tais curvas sao maiores ou iguais
a 2R. Considerando um crculo de raio R, a sua curvatura e
1
k
e seu comprimento e igual a 2R. Suponha agora que
R
seja uma curva como nas hipoteses do teorema e tenha comprimento igual a 2R. Nesse caso, usando a notacao do Teorema
de Schur, comparemos com o crculo de raio R, parametrizado
pela curva
e. Assim, como ambas sao curvas fechadas, temos
1
e
que d(2R) = d(2R)
= 0. Logo a curvatura de e igual a
R
e, portanto, e um crculo de raio R.
1
,
R
com
d
R .
2
Curvas Convexas
199
E segue-se o resultado.
5.3
200
Curvas Convexas
O fato da curva estar definida em um intervalo fechado, acarreta que h esta bem definida e representa a maior projecao ortogonal de um ponto do traco de sobre o vetor v. Em termos
de h, podemos escrever a largura de na direcao de v como
largv () = h(v) + h(v).
Curvas Convexas
201
202
Curvas Convexas
Entao
largv () = h(v) + h(v) = h(s0 ) (t0 ), vi k(s0 ) (t0 )k,
e, portanto,
D largv ().
Como essa desigualdade vale para todo v S1 , segue-se que
D L.
Definic
ao 5.4 Dizemos que uma curva possui largura constante, se largv () e constante igual a L0 , para todo v S1 . Nesse
caso, L0 e chamado de largura de .
Suponhamos que seja uma curva fechada, convexa e com
largura constante L0 . Pela Proposicao 5.7, o diametro de
tambem e igual a L0 . Vamos ver que esse diametro e realizado
por muitos pares de pontos sobre o traco de . De fato, fixado
s0 [a, b], seja s1 [a, b], tal que T (s1 ) = T (s0 ). Como
e convexa, seu traco fica inteiramente contido em um dos semiplanos determinado pela reta tangente `a em cada ponto. Portanto o traco de fica inteiramente contido na faixa determinada
pelas retas tangentes `a curva em (s0 ) e em (s1 ). Como a
largura de e constante e igual a L0 , a distancia entre essas retas
e L0 e, portanto, k(s0 ) (s1 )k L0 . Visto que o diametro de
e igual a L0 , temos que k(s0 ) (s1 )k = L0 . Por outro lado,
essa igualdade so ocorre, se (s0 ) (s1 ) for ortogonal `as retas
tangentes de nos pontos (s0 ) e (s1 ). Nao existe, contudo,
outro ponto (s2 ), tal que k(s0 )(s2 )k = L0 , pois, nesse caso,
(s1 ) e (s2 ) estariam sobre a reta normal `a curva em s = s0 ,
o que contradiz a hipotese de convexidade de .
Portanto, para cada ponto P sobre o traco de uma curva
fechada, regular, convexa e de largura constante L0 , existe um
Curvas Convexas
203
u
nico ponto P sobre o traco de , tal que kP P k = L0 , e P esta
sobre a reta normal `a no ponto P . O ponto P e chamado ponto
antpoda de P . No caso em que esta positivamente orientada,
sua curvatura e positiva, e o ponto antpoda de P e dado por
P = P + L0 N (P ),
onde N e o vetor normal unitario de .
204
Curvas Convexas
Curvas Convexas
205
206
Curvas Convexas
(s) =
(s),
(s c) + 2N (s c),
se 0 s c,
se c s 2c,
se s [0, c],
k(s),
k(t c)
k(s) =
, se s [c, 2c].
2k(t c) 1
1
A condicao (4) implica que k > . A propriedade (3) nos diz que
2
o ndice de rotacao de e igual a um e, portanto, e estritamente
imediato vermos que a largura de e constante e
convexa. E
igual a dois.
Curvas Convexas
207
208
Curvas Convexas
Curvas Convexas
209
e(s) + L0 N (s) =
e(h(s)).
Derivando essa expressao, obtemos
T (s) + L0 N 0 (s) = T (h(s))h0 (s).
Pela equacao (1.8),
T (s) L0 k(s)T (s) = T (h(s))h0 (s).
Visto que T (h(s)) = T (s), temos
(1 k(s)L0 + h0 (s))T (s) = 0,
o que acarreta
h0 (s) = k(s)L0 1.
Usando as propriedades da funcao h e o fato de que o ndice
de rotacao de e igual a 1, temos que
Z
L = h(L) h(0) =
Z
h (s) ds =
= L0
(k(s)L0 1) ds
0
k(s) ds L = 2L0 L.
Portanto
L = L0 .
210
5.4
Curvas Convexas
Comprimento e Area
de Curvas
Convexas
Nesta secao, vamos determinar expressoes para medir o comprimento de uma curva estritamente convexa, bem como para a
area da regiao limitada por essa curva. Esses resultados serao
conseq
uencia de escrevermos a curva usando coordenadas polares tangenciais. Seja C o traco de uma curva regular, fechada,
convexa e positivamente orientada em IR2 . Seja O um ponto na
regiao limitada por C, e escolha o sistema de coordenadas de IR2
de modo que a origem seja o ponto O. Seja P = (x, y) um ponto
sobre C, e seja rP a reta tangente `a curva C em P . Considere
(P ) o angulo que a reta nP , perpendicular a rP e passando por
O, faz com o semi-eixo positivo do eixo Ox. Defina %() como
a projecao orientada P sobre nP . Se N (P ) e o campo normal e
unitario `a curva C, a projecao % e dada por
%() = hP, N (P )i.
A funcao % e tambem conhecida por funcao suporte de C.
Curvas Convexas
211
(5.6)
212
Curvas Convexas
.
2
Assim
d
(s) = 0 (s) = k(s),
ds
onde k e a curvatura de C. Logo
1
ds
=
= %() + %00 () > 0.
k(s())
d
(5.7)
1
.
%() + %00 ()
Se L denota o comprimento de C,
Z
ds =
L=
ds
d
d
Z
00
[%() + % ()] d =
0
%() d.
0
L=
%() d,
0
onde % e a func
ao suporte de C.
Curvas Convexas
213
2
00
0
%()% () d = %()% () 0
0
2
0
(%0 ())2 d
(5.8)
214
Curvas Convexas
Z
(%0 ())2 d.
onde % e a func
ao suporte de C.
O proximo resultado ira nos dar estimativas do comprimento
L e da area A em funcao dos valores maximo e mnimo da curvatura de C.
Teorema 5.10 Seja C uma curva fechada, regular e estritamente convexa. Sejam L o comprimento de C e A a area da
regi
ao limitada por C. Entao
2
2
L
k1
k2
e
A 2,
2
k1
k2
Curvas Convexas
215
k1
%() d
0
2
,
k1
o que acarreta
2
2
L
.
k1
k2
Por outro lado, novamente por (5.7) e (5.8),
Z
Z
1 2
1 2
%() d 2A
%() d.
k1 0
k2 0
Porem, como
2
k1
%() d
0
2
,
k2
obtemos
A 2.
2
k1
k2
Como conseq
uencia imediata desse teorema, temos o seguinte
resultado:
Corol
ario 5.4 O comprimento (respectivamente, a area) de
uma curva fechada, regular, simples e estritamente convexa esta
entre o comprimento (respectivamente, a area) dos crculos osculadores de C com maior e menor raio de curvatura.
216
Curvas Convexas
Vamos encerrar esta secao, com uma caracterizacao das curvas de maior comprimento dentre as curvas convexas de diametro
fixado.
Teorema 5.11 (A. Rosenthal e O. Szasz-[RS]) Dentre todas as
curvas convexas, fechadas, regulares, simples e com diametro D,
as curvas de largura constante possuem o maior comprimento.
Prova. Seja C uma curva fechada, convexa e de comprimento L,
dada, em coordenadas polares tangenciais, por (, %()). Como
% e uma funcao periodica de perodo 2, podemos representa-la,
usando Series de Fourier, por
X
1
%() = a0 +
(an cos n + bn sen n),
2
n=1
1
a0 =
%() d =
0
L
.
(5.9)
[%() + %( + )] d.
%() d =
0
Portanto
1
a0 =
[%() + %( + )] d.
0
Curvas Convexas
217
[0, ].
(5.10)
Logo a0 D e, conseq
uentemente, por (5.9),
L D.
(5.11)
Como conseq
uencia da desigualdade (5.11) e da Desigualdade
Isoperimetrica, temos o seguinte resultado de L. Bieberbach [Bi].
Proposic
ao 5.8 Seja C uma curva de Jordan, estritamente convexa e regular. Seja D o diametro de C e A a area da regi
ao
limitada por C. Entao
1
A D2 .
4
(5.12)
218
Curvas Convexas
L2
2 D2
1
= D2 ,
4
4
4
5.5
Curvas Paralelas
Considere : [a, b] IR2 uma curva regular, fechada e simples. Seja N o campo normal e unitario ao longo de que aponta
para fora da regiao limitada pelo traco de . Dado IR, a
curva paralela `a curva e a curva , definida por
(t) = (t) + N (t),
t [a, b].
Curvas Convexas
219
(5.13)
A = A + L + 2 2 ,
(5.14)
e
onde L e A sao, respectivamente, o comprimento de e a area da
regiao limitada por . As equacoes (5.13) e (5.14) sao conhecidas
como Formulas de Steiner para curvas paralelas a uma curva
fechada e convexa.
5.6
Exerccios
220
Curvas Convexas
Curvas Convexas
221
222
Curvas Convexas
Captulo 6
Teorema dos Quatro
V
ertices
Vamos considerar uma curva : [a, b] IR2 regular, parametrizada pelo comprimento de arco e de classe C 2 . Um vertice de
e um ponto crtico da funcao curvatura k de , isto e, um ponto
t0 [a, b], tal que a derivada da funcao curvatura, k 0 , se anula
nesse ponto. Observe que para uma curva fechada, regular e de
classe C 2 , a derivada de k esta bem definida nos pontos t = a
e t = b e essa derivada coincide nesses pontos. Neste captulo,
vamos provar um dos teoremas classicos mais famosos da Geometria Global das Curvas Planas, que nos diz: uma curva fechada e
regular possui pelo menos quatro vertices. Vamos entender geometricamente o que e um vertice de uma curva. Como vimos,
a evoluta e de uma curva , com curvatura sempre positiva, e
uma curva regular, se a curvatura de nao possui derivada nula.
Os pontos onde k 0 se anula sao pontos singulares da evoluta de
. Vimos, nos exemplos, que, em geral, a evoluta possui um
bico nesses pontos singulares, que correspondem aos vertices
de .
223
224
A evoluta de uma curva possui aplicacoes geometricas importantes. Assim um primeiro interesse do teorema dos quatro
vertices e sobre o n
umero de singularidades da evoluta de uma
curva fechada e regular. Porem uma conseq
uencia maior desse
resultado esta em olha-lo do ponto de vista do Teorema Fundamental das Curvas Planas. Nesse resultado, vimos que, dada
uma funcao diferenciavel k em um intervalo I, existe uma curva
em IR2 cuja funcao curvatura e k. Observe que, se I = [a, b] e
a funcao k e tal que
dn k
dn k
(a)
=
(b),
dtn
dtn
poderamos perguntar se k pode ser a funcao curvatura de uma
curva fechada. Note que o Teorema Fundamental das Curvas
Planas, Teorema 1.2, nao nos diz se, nesse caso, a curva fecha,
isto e, se (a) = (b). O Teorema dos Quatro Vertices vai
nos dar entao uma condicao necessaria para que uma funcao
seja curvatura de uma curva fechada, isto e, ela deve ter pelo
menos quatro pontos crticos. Um fato interessante e que, sob
certas condicoes sobre a positividade de k, temos a recproca do
teorema.
6.1
225
226
F (P ) F (Q) + kP Qk
F (Q) F (P ) + kP Qk.
Portanto
|F (P ) F (Q)| kP Qk,
o que implica que F e contnua em IR2 .
Para cada P IR2 , considere o disco DP de centro P e raio
F (P ), isto e,
DP = {U IR2 | kU P k F (P )}.
Pela definicao de F (P ), temos que DP D , para todo P IR2 .
Considere agora D(P, r) um disco de centro P e raio r em D .
Afirmamos que
F (P ) r.
De fato, como o traco de esta contido em D(P, r), temos
k(t) P k r,
para todo t [a, b]. Logo, aplicando max nessa desigualdade,
t[a,b]
obtemos
F (P ) = max k(t) P k r.
t[a,b]
227
F (P ),
se P D(O, r0 ),
F (P0 )
F (O) F (P ),
se P 6 D(O, r0 ).
O disco de centro P0 e raio F (P0 ) e, portanto, um disco que
contem o traco de e possui o menor raio dentre todos os discos
em D .
228
Definic
ao 6.1 Seja uma curva fechada e regular. A fronteira
do disco fechado de menor raio que contem o traco de e chamada crculo circunscrito de . Pelo lema anterior, cada curva
fechada e regular admite um u
nico crculo circunscrito que sera
denotada por Circ().
Estudaremos as propriedades de Circ().
Lema 6.2 Todo semi-crculo fechado de Circ() contem pontos
do traco de .
Prova. Vamos supor, por contradicao, que existe um semicrculo de Circ() sem pontos do traco de . Vamos escolher o
sistema de coordenadas Oxy de IR2 de modo que Circ() seja
um crculo centrado na origem O e com raio R0 , tal que o traco
de nao possui pontos sobre o Circ() com x 0. Parametrize Circ() pelo traco da aplicacao : [0, 2] IR2 , dada por
(t) = (R0 cos t, R0 sen t) e considere a funcao h : [/2, 3/2]
IR, definida por
h(u) = min k(u) (t)k.
t[a,b]
229
0
Observe que o traco de esta contido no crculo de centro ( , 0)
2
e raio R0 sendo, portanto, possvel obtermos um disco de raio
menor que R0 que ainda contem o traco de , visto que o traco
de esta contido em dois discos distintos de mesmo raio, o que
230
e
h00 (t1 ) = 2h0 (t1 ), 0 (t1 )i + 2h00 (t1 ), (t1 ) P0 i 0.
A primeira equacao nos diz que as retas tangentes de e Circ()
coincidem em (t1 ), enquanto a segunda equacao, devido `a orientacao de , implica que
0 k0 (t1 )k2 + h00 (t1 ), R0 N (t1 )i = 1 k(t1 )R0 ,
o que conclui a prova.
Finalmente, usaremos os resultados acima para a demonstracao do resultado principal deste captulo.
Prova do Teorema 6.1. Suponha orientada positivamente.
Pelo Lema 6.3, existem pelo menos dois pontos P e Q do traco
de pertencentes ao Circ(). Vamos considerar 1 e 2 os arcos do traco de determinados por P e Q. Se algum desses
arcos estivesse inteiramente contido em Circ(), a curvatura de
ao longo desse arco seria constante e, portanto, possuiria um
n
umero infinito de vertices. Vamos supor entao que 1 e 2 nao
estao contidos em Circ().
Afirmac
ao 1: Em cada i , i = 1, 2, existe um ponto (ti ), tal
que
1
k(ti ) <
,
R0
onde k(ti ) e a curvatura de em ti e R0 e o raio de Circ().
Observe que, pelo Lema 6.2, a curva intersecta todo semicrculo fechado de Circ(). Portanto, trocando i por algum
sub-arco de i , podemos supor que os extremos de i estao em
um semi-crculo fechado de Circ(). Como estamos supondo que
o n
umero de vertices de e finito, i 6 Circ(), e, portanto,
existe Qi i que pertence ao interior do disco D, delimitado
231
232
233
Observa
c
ao 6.1 A curva ser curva de Jordan e fundamental
para a estimativa de curvatura no ponto Q. Observe que no ponto
1
Q, veja figura abaixo, a curvatura de em Q e maior que .
R
k(Q) >
1
, onde R e o raio de M1 .
R
234
l
, m IN.
m
(6.4)
Reciprocamente, dada uma funcao k : [0, l] IR, satisfazendo (6.2), (6.3) e (6.4), entao a curva , definida por (s) =
(x(s), y(s)), com x e y dadas por (6.1), e fechada, de classe C 2 e
tem k como curvatura.
No caso em que k 0 e satisfaz (6.2)-(6.4), entao e uma
curva convexa e, portanto, e a extensao periodica de uma curva
de Jordan. Nesse caso, a curva e de Jordan, se a condicao (6.3)
e verificada com n = 1.
Suponhamos que k > 0 e
Z l
k(s) ds = 2.
(6.5)
0
235
2
0
N ()
d = 0.
k()
(6.7)
236
Temos que
x0 (t) =
sen t
k(t)
e y 0 (t) =
cos t
,
k(t)
e, portanto,
N (t) = (cos t, sen t).
Alem disso, usando (1.9), a curvatura de , no ponto (t), e
dada por k(t). Finalmente, a condicao (6.8) implica que
(2) = (0, 0) = (0).
Logo e uma curva fechada e contnua. Alem disso, a indicatriz
tangente de e dada por T (t) = ( sen t, cos t), o que acarreta
T (2) = (0, 1) = T (0).
Logo, como k e periodica, com perodo 2, e uma curva de
Jordan e de classe C 2 .
A proposicao anterior, nos deu condicoes necessarias e suficientes para que uma funcao contnua e positiva k : [0, 2] IR
seja a curvatura de uma curva de Jordan : [0, 2] IR2 , de
classe C 2 , com a indicatriz normal em (t) dada por N (t) =
(cos t, sen t). Observe que esta parametrizacao e especial, no
sentido que estamos fixando N em cada t [0, 2].
Vamos supor que k : [0, 2] IR seja uma funcao positiva,
tal que k(0) = k(2) satisfazendo
Z 2
N ()
d 6= 0.
k()
0
Suponha, no entanto, que exista uma curva : [0, 2] IR2
fechada e de classe C 2 , tal que a curvatura de em (t) seja
k(t). Se h : [0, 2] [0, 2] representa o angulo que a indicatriz
237
238
A condicao (6.10) e, entao, uma condicao necessaria e suficiente para que uma funcao k seja a funcao curvatura de uma
curva fechada, convexa e de classe C 2 . O proximo resultado, vai
nos dar condicoes sobre uma funcao positiva e contnua para ela
satisfazer (6.10).
Teorema 6.2 Seja f : S1 IR uma func
ao positiva. Entao
existe um difeomorfismo h : S1 S1 , tal que
Z
f h1 () d = 0,
S1
Observa
c
ao 6.2 Observe que a condic
ao sobre os quatro pontos
crticos de k no enunciado acima, nao e equivalente ao Teo-
239
6.2
Exerccios
240
3. Mostre que uma curva fechada e simples, cujo traco descreve o conjunto
A = {(x, y) IR2 |x4 + y 4 = 1},
possui oito vertices situados nas retas: x = 0, y = 0,
x + y = 0 e x y = 0.
4. Seja : [a, b] IR2 uma curva regular e de classe C 3 .
Suponha que em t0 [a, b], a curvatura k de possua um
maximo ou um mnimo relativo nao-nulo. Suponha ainda
que esse extremo e nao-degenerado, isto e, a derivada de k
troca de sinal em t0 . Mostre que a evoluta e de possui
uma c
uspide em t0 , no sentido que as retas tangentes `a
curva em (t), quando t converge para t0 , convergem
para uma reta r que passa por e (t0 ), o vetor tangente
e0 (t0 ) e o vetor nulo, mas os vetores tangentes `a evoluta
e trocam de orientacao em t0 .
5. Considere a curva : [0, 2] IR2 , dada por
(t) = ((1 2 sen t) cos t, (1 2 sen t) sen t).
Mostre que e regular, fechada e de classe C 2 , porem nao
e simples. Mostre que a curvatura k de e dada por
k(t) =
9 6 sen t
> 0,
(5 4sent)3/2
2 + t2
,
a(1 + t2 )3/2
eat
,
c) k(t) = p
(1 + a2 )
d) k(t) = 0,
3
t
e) k(t) =
sec .
4a
2
b) k(t) =
3. k(t) =
(t2
t
,
+ 1)3/2
5. k(0) = 2a.
6. b) Nao e simples.
c)
241
242
7. b)Sim.
c) k(t) = 34 (2 + 2 cos t)1/2 .
e)
8. b)
c)
243
244
c)
10. b)
c)
245
t.
2
17. a) k() =
a
Traco da curva com a = 1:
2a2 + r2
(r2 + a2 )3/2
Traco da curva com a = 3:
b) k() =
246
3
sec
c) k() =
4a
2
Para o traco da curva, ver a resposta da questao 7, item a).
20.
m
n
Captulo 6 - P
agina 239.
2. Em t = 0, t =
,t = e t =
.
2
2
247
248
Refer
encias Bibliogr
aficas
[AM] Asperti, A.C. e Mercuri, F.- Topologia e Geometria das Curvas Planas. 13o Coloquio Brasileiro de Matematica. IMPA, 1981.
[Ar]
[Bi]
[Ch]
[CJ]
[dC]
[Gl]
250
Referencias
[Jo]
Jordan, C.- Cours dAnalyse de lEcole Polytechnique. 3`eme edition, noveau tirage, Gauthier-Villars. Paris,
1959.
[L1]
[L2]
[L3]
[Ro]
[RS]
[Rd]
[Ru]
[Sc]
Schur,A - Uber
die Schwarzsche Extremaleigenshaft des
Kreises unter den Kurven Konstanter Kr
ummung. Math.
Ann Bd 5 143-148 (1921).
Referencias
[Tv]
251
Indice Remissivo
angulo orientado, 74
comprimento de arco, 32
conjunto
conexo, 100
conexo por caminhos, 100
convexo, 102, 181
imagem, 14
localmente conexo, 165
simetrico, 120
coordenadas polares tangenciais, 211
curva
campo de vetores ao longo
de uma curva, 38
constante, 26
contnua, 14
convexa, 175, 177
da deformacao, 95
de Hilbert, 24, 173
de Jordan, 15
de largura constante, 202
de Lissajous, 20, 128
de Moore, 25
de Peano, 24
Indice Remissivo
estritamente convexa, 175,
177
fechada, 14, 131
fechada e simples, 15
mpar, 120
paralela `a, 218
parametrizada pelo comprimento de arco, 33
parametrizada suave, 26
periodica, 14, 21
poligonal inscrita, 33
positivamente orientada,
164
regular, 28
simples, 15
singular, 28
curvas
congruentes, 57
homotopicas, 101
curvatura, 40
absoluta total, 145
da cicloide, 61
da elipse, 61
de uma curva regular, 42
em coordenadas polares,
44
identicamente zero, 41
interpretacao geometrica,
46
total, 137
deformacao contnua de uma
curva, 94
253
Desigualdade Isoperimetrica,
168
diametro, 200
elipse, 16, 60, 138
elipse, focos da, 16
epicicloide, 68
Equacoes de Frenet, 42
esfera unitaria, 121
espiral, 22, 37
espiral de Arquimedes, 23, 52,
70
estrofoide, 69
evoluta, 59, 63, 66
da cicloide, 62
da elipse, 61
Formula de Blaschke, 214
Formula de Cauchy, 212
Formula do n
umero de intersecoes,
114
formula integral de Cauchy,
125
Formulas de Steiner, 219
fecho convexo, 220
fecho de um conjunto, 181
forma canonica local, 59
funcao mpar, 120
funcao angular, 83
funcao suporte, 210
grafico, 19
hiperbole, 17
254
hipocicloide, 67
homotopia regular, 134, 135
imagem normal de Gauss, 132
imagem tangente de Gauss,
132
indicatriz normal, 132
indicatriz tangente, 132
ndice de rotacao, 132
involuta, 64, 66
largura, 199
lemniscata, 20, 134
lemniscata de Bernoulli, 70
lemniscata de Gerono, 71
logocclica, 69
n
umero de intersecoes, 106,
107
n
umero de rotacao de uma
curva, 86
orientacao positiva de uma curva,
164
parabola de Neill, 18
perodo, 15
Polinomio de Taylor, 58
ponto
de fronteira, 181
exterior, 181
focal, 48
interior, 181
produto escalar real, 54
Indice Remissivo
raio de curvatura, 48
referencial de Frenet, 40
reparametrizacao, 31
negativa, 31
positiva, 31
propria, 31
reparametrizacao pelo comprimento de arco, 35
reta, 27
reta suporte, 182
reta tangente, 28
rosacea, 68
rotacao, 57
singularidade
de uma curva, 28
Teorema
da Rotacao das tangentes, 140
de Barbier, 207
de Borsuk, 121
de Brower, 123
de Green, 168
de Jordan, 164
de Jordan regular, 161
de Poincare-Bohl, 103
de Rouche, 104
de Schur, 194
de Schwarz, 198
de Whitney-Graustein, 136
dos Quatro Vertices, 225
Indice Remissivo
Fundamental da Algebra,
119
Fundamental das Curvas
Planas, 55
traco, 14
translacao, 57
triangulo de Reuleaux, 203
vertice de uma curva regular,
223
velocidade escalar, 28
vetor normal, 40
vetor tangente, 27
vetor velocidade, 27
255