Escolar Documentos
Profissional Documentos
Cultura Documentos
TEOREMA DE FARY-MILNOR
CURITIBA
FEVEREIRO 2015
RAFAEL CASTRO DOS SANTOS NASCIMENTO
TEOREMA DE FARY-MILNOR
CURITIBA
FEVEREIRO 2015
Termo de Aprova
c
ao
TEOREMA DE FARY-MILNOR
Dissertacao aprovada como requisito parcial para obtencao do grau de Bacharel em Ma-
tematica, pelo Departamento de Matematica, Setor Exatas da Universidade Federal do
Parana, pela seguinte banca examinadora:
Prof. Dr.
Universidade Federal do Parana
Prof. Dr.
Universidade Federal do Parana
Sum
ario
Resumo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii
1 Introduc
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2 Introduc
ao a Curvas e Superfcies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
3 Espacos de Recobrimento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
6 Refer
encias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
ii
Resumo
Neste trabalho iremos estudar uma versao diferenciavel do teorema de Fary-Milnor que
diz que a curvatura total de um no e maior que 4, para isto vamos iniciar vendo nocoes
basicas da geometria diferencial das curvas e superfcies, e posteriormente estudar espacos
de recobrimento que sera necessario para desenvolver a nocao de grau de uma aplicacao em
S 1 . Tendo em maos a nocao de grau vamos partir em direcao ao teorema de Fary-Milnor,
iniciando por resultados da teoria global para curvas planas e passando pelo teorema de
Fenchel.
iii
1
1 Introduc
ao
2 Introduc
ao a Curvas e Superfcies
Zt
s= dt = t t0 ;
t0
Para simplificar a exposicao, vamos nos restringir a`s curvas parametrizadas pelo
comprimento de arco s.
Sendo uma curva parametrizada pelo comprimento de arco, como o vetor tan-
gente 0 (s) e unitario o modulo | 00 (s) | da derivada segunda mede a taxa de variacao do
angulo que as tangentes vizinhas fazem com a tangente em s. | 00 (s) | da, portanto, uma
medida do quao rapidamente a curva se afasta, em uma vizinhanca de s, da tangente em
s. Isso sugere a seguinte definicao.
Nos pontos onde k(s) 6= 0, fica bem definido pela equacao 00 (s) = k(s)n(s), um
vetor unitario n(s) na direcao de 00 (s). Alem disso, 00 (s) e normal a 0 (s). Assim, n(s)
e normal a 0 (s) e e chamado o vetor normal em s. Nos pontos onde k(s) = 0, o vetor
normal nao esta definido. Para prosseguir a analise local das curvas, necessitamos, de uma
maneira essencial do vetor normal. Portanto no que se segue, nos restringiremos a`s curvas
parametrizadas pelo comprimento de arco tais que k(s) 6= 0 para todo s I. Indicaremos
por t(s) = 0 (s) o vetor tangente unitario de em s. Temos entao que t0 (s) = k(s)n(s).
4
O vetor unitario b(s) = t(s) n(s) sera chamado de vetor binormal em s. Como
b(s) e unitario, o modulo | b0 (s) | indica o quao rapidamente a curva se afasta, em uma
vizinhanca de s, do plano gerado por t(s) e n(s).
Para calcular b0 (s) observamos que, por um lado, b0 (s) e normal a b(s) e, por
outro lado,
b0 (s) = t0 (s) n(s) + t(s) n0 (s) = t(s) n0 (s);
isto e, b0 (s) e normal a t(s). Decorre da que b0 (s) e paralelo a n(s), e podemos escrever
b0 (s) = (s)n(s)
Se e uma curva plana, entao o plano da curva coincide com plano gerado pelo
vetor tangente e normal; consequentemente, 0. Reciprocamente, se 0 (e k 6= 0),
temos que b(s) = b0 = const., e portanto
((s) b0 )0 = 0 (s) b0 = 0.
Decorre da que (s) b0 = const.; desta maneira, (s) esta contida em um plano normal
a b0 .
t0 = kn
n0 = kt b
b0 = n,
as funcoes x(u, v), y(u, v) e z(u, v) tem derivadas parciais contnuas de todas as
ordens em U .
onde as derivadas sao calculadas em (u0 , v0 ) e um vetor e indicado pelas suas componentes
na base {f1 , f2 , f3 }. Pela definicao de diferencial
x y z x
dxq (e1 ) = , , = .
u u u u
dxq (R2 ) R3 ,
dN (0 ) = N 0 (u(t), v(t)) = Nu u0 + Nv v 0 .
Nu = a11 xu + a21 xv ,
Nv = a12 xu + a22 xv ,
e, portanto,
dN (0 ) = (a11 u0 + a12 v 0 )xu + (a21 u0 + a22 v 0 )xv ;
isto e, ! ! !
u0 a11 a12 u0
dN = .
v0 a21 a22 v0
Isto mostra que na base {xu , xv }, dN e dada pela matriz (aij ), i, j = 1, 2. Alem
9
disto Nu Nv = (a11 a22 a21 a12 )xu xv , e portanto como K = a11 a22 a21 a12 , temos que
Nu Nv = K(xu xv )
10
3 Espacos de Recobrimento
= B.
1. e contnua e (B)
onde os V sao conjuntos abertos distintos dois a dois tais que a restricao de a V
e um homeomorfismo de V sobre U .
: [0, l] B,
com
= , dizemos que (0) B.
e um levantamento de com origem em
>B
e
e
[0, l] / B
e, e : [0, l] B
Demonstracao. Vamos primeiro provar a unicidade. Sejam e dois levanta-
mentos de com origem em pe0 . Seja A [0, l] o conjunto de pontos t [0, l] tais que
e(t) = (t).
e A e nao-vazio e evidentemente fechado em [0, l].
Vamos provar que A e aberto em [0, l]. Suponha que e(t) = (t)
e = pe. Considere
uma vizinhanca V de pe na qual e um homeomorfismo. Como e e e sao aplicacoes
contnuas, existe um intervalo aberto It [0, l] contendo t tal que
e(It ) V e (I
e t) V .
Como
e = e e e um homeomorfismo em V ,
e = e em It , e assim A e aberto.
Segue-se que A = [0, l], e os dois levantamentos coincidem para todo t [0, l].
Vamos agora provar a existencia. Como e contnua, para todo (t) B existe
um intervalo It [0, l] contendo t tal que (It ) esta contido em uma vizinhanca distinguida
de (t). A famlia It , t [0, l], e uma cobertura aberta de [0, l] que, pela compacidade de
[0, l], admite uma subcobertura finita, digamos I0 , ..., In .
e(t) = 01 (t),
claro que
onde 01 e aplicacao inversa em U0 do homeomorfismo 0 . E
e(0) = pe0 ,
e(t) = (t), t I0
B, ligando os pontos
Dizemos que 0 e 1 sao homotopicos se existe uma aplicacao contnua H : [0, l] [0, 1]
B tal que
Para todo t [0, 1], o caminho t : [0, l] B dado por t (s) = H(s, t) e
chamado um caminho da homotopia H. Portanto, a homotopia e uma famlia de caminhos
t , t [0, 1], que constitui uma deformacao contnua de 0 em 1 de modo que as
extremidades p e q dos caminhos t permanecem fixas durante a deformacao .
e : [0, l] [0, 1] B
H e
tal que H
e = H, dizemos que H
e e um levantamento da homotopia H, com origem em
e 0) = pe B.
H(0, e
e seja
H : [0, l] [0, 1] B
H(s,
e t) = t (s) = H(s, t), s [0, l], t [0, 1],
H(0,
e 0) =
e0 (0) = pe.
Vamos agora provar que H e e contnua. Seja (s0 , t0 ) [0, l] [0, 1]. Como e
um homeomorfismo local, existe uma vizinhanca V de H(s
e 0 , t0 ) tal que a restricao 0 de
a V e um homeomorfismo sobre uma vizinhanca U de H(s0 , t0 ). Seja Q0 H 1 (U )
[0, l] [0, 1] um quadrado aberto dado por
Basta mostrar que He restrita a Q0 pode ser escrita como H e = 1 H para concluir que
H
e e contnua em (s0 , t0 ). Como (s0 , t0 ) e arbitrario, isto mostra que He e contnua em
[0, l] [0, 1], como desejado.
e B e uma
Uma consequencia da Proposicao 3.0.4 e o fato de que se : B
aplicacao de recobrimento, entao caminhos homotopicos em B sao levados em caminhos
homotopicos em B. e A proposicao a abaixo mostra como isto pode ser expresso de maneira
mais geral e precisa.
e0 ,
e1 de 0 , 1 , respectivamente, com origem em pe, sao homotopicos.
H(0,
e t) = pe, t [0, 1].
Analogamente, H(l,
e t) e o levantamento de H(l, t) = q, com origem em
e0 (l) = qe;
donde,
H(l,
e t) = qe =
e1 (l), t [0, 1].
Assim, pode ser pensado como uma aplicacao contnua : [0, l] S 1 , com
(0) = (l) = p S 1 . Deste modo, e um caminho em S 1 que e fechado em p, e pela
Proposicao 3.0.3 pode ser levantado em um u e : [0, l] R, comecando em
nico caminho
um ponto x R com (x) = p. Como ((0))
e = ((l)),
e e (0)
a diferenca (l) e e um
m
ultiplo inteiro de 2, sendo assim faremos a seguinte definicao.
Definic
ao 4.0.6. n
umero inteiro gr dado por
e (0)
(l) e = (gr)2
e chamado o grau de .
3.0.3
e1 e o levantamento de comecando em x1 . Como
e1 (l)
e (0)
e1 (0) = (l) e = (gr)2,
Da,
e1 (f11 f2 (s)) + x2
e1 (s1 ) , s [0, s2 )
e2 (s) =
e1 (0) + 2k1 , s = s2
e1 (f11 f2 (s)) + 2k2
s (s2 , l]
para k1 , k2 Z, como f1 e f2 tem a mesma orientacao, entao lim f11 (f2 (s)) = l e
ss2
lim f11 (f2 (s)) = 0. Usando a continuidade de
e2 podemos determinar k1 e k2 , como
ss+
2
e1 (f11 f2 (s)) + x2
e2 (s) = e1 (s1 ) se s [0, s2 ) temos que
e2 (s2 ) = lim
e2 (s)
ss
2
= e1 (f11 f2 (s)) + x2
lim e1 (s1 )
ss
2
e1 (l) + x2
= e1 (s1 )
o que determina k1 , por outro lado, como e1 (f11 f2 (s)) + 2k2 se s (s2 , l]
e2 (s) =
temos que
e2 (s2 ) = lim
e2 (s)
ss+
2
=
e1 (0) + 2k2
portanto 2k2 = e1 (l) + x2 e1 (s1 ) e1 (0), logo
e1 (f11 f2 (s)) + x2 e1 (s1 ) , s [0, s2 )
e2 (s) = e1 (l) + x2 e1 (s1 ) , s = s2
e1 (f11 f2 (s)) +
e1 (l) + x2 e1 (s1 )
e1 (0) s (s2 , l]
17
Dai
e2 (0) = x2 e e1 (l) + x2
e2 (l) = e1 (l)
e1 (0), logo conclumos que e1 (0) =
e2 (l)
e2 (0) e consequentemente gr1 = gr2 , o que prova nossa afirmacao, caso f1 (0) 6=
f2 (0).
da
x2 ,s = 0
e2 (s) = e1 (f11 (f2 (s))) + 2k1 , s (0, l)
e1 (0) + 2k2 ,s = l
Como f1 e f2 tem a mesma orientacao temos que lim+ f11 (f2 (s)) = 0 e lim f11 (f2 (s)) =
s0 sl
l. Portanto
e2 (0) = lim
e2 (s)
s0+
= e1 (f11 (f2 (s))) + 2k1
lim
s0+
=
e1 (0) + 2k1
sendo assim 2k1 = x2
e1 (0). Por outro lado
e2 (l) = lim
e2 (s)
sl
= e1 (f11 (f2 (s))) + x2
lim e1 (0)
sl
e1 (l) + x2
= e1 (0)
e1 (l) + x2 2
logo 2k2 = e1 (0) e
x2 ,s = 0
e2 (s) = e1 (f11 (f2 (s))) + x2
e1 (0) , s (0, l)
e1 (l) + x2 e1 (0) ,s = l
e1 (l)
podemos entao concluir que e2 (l)
e1 (0) = e2 (0) e finalmente prova nossa
afirmacao.
1 e 2 sao homotopicos, entao gr1 = gr2 . Isto segue-se imediatamente do fato de que
(Proposicao 3.0.5) os levantamentos de 1 e 2 comecando em um ponto fixado x R
sao homotopicos, e, portanto, tem os mesmos pontos extremos.
Note que ao movermos p0 ao longo de um caminho que nao encontra ([0, l])
o n
umero de voltas permanece inalterado. Com efeito, as aplicacoes de posicao de
com relacao a quaisquer dois pontos de sao evidentemente homotopicas. Segue-se que o
n
umero de voltas de relativo a q e constante quando q percorre uma componente conexa
de R2 ([0, l]).
Exemplo 4.0.2 (O Indice de Rotacao de uma curva). Seja : [0, l] R2 uma curva
regular fechada e plana, e seja : [0, l] S 1 dada por
0 (t)
(t) = , t [0, l].
| 0 (t) |
Seja
e o levantamento de com origem em x. Entao temos que (t) = ((t)),
e
entao 0 (t) = 0 ((t))
e e0 (t) = kn(t), onde n(t) e o vetor normal a` curva no ponto t, mas
e 0 ()}
observe que {(), e e uma base positiva, logo n(t) = 0 ((t)),
e sendo assim temos
0
Rt
que k(t) = e = 0 k(s)ds + x, alem disto
e (t), portanto (t)
l l
e (0)
Z Z
1 d
e 1 (l) e
gr = dt = k(t)dt =
2 0 dt 2 0 2
20
Nesta secao iremos estudar alguns teoremas globais para curvas fechadas, dentre
os quais esta nosso objetivo que e o teorema de Fary-Milnor.
Teorema 5.0.1. Seja : [0, l] R2 uma curva regular plana simples e fechada. Ent
ao
o ndice de rotacao de e 1 (dependendo da orientacao de ).
(t) (s)
k (t) (s) k ,
se s < t e (s, t) 6= (0, l),
F (s, t) = T (t), se s = t,
T (0), se (s, t) = (0, l).
Visto que e uma curva simples, a funcao F esta bem definida. Vamos provar que F e
contnua em . Para todo ponto (s, t) com s < t, F e claramente contnua em (s, t),
seja k N, sk < tk , uma sequencia de pontos em , que converge para (a, a). Vamos
mostrar que
lim F (sk , tk ) = T (a) = F (a, a).
k
lim k = lim k = a.
k k
(k ) = (tk ) e (k ) = (sk ).
22
Portanto
(tk ) (sk ) (k ) (k )
F (sk , tk ) = =
k(tk ) (sk )k k(k ) (k )k
1
(k ) (k )
(k ) (k )
=
.
k k
k k
Repetindo o argumento do caso anterior, vemos que
Com isso, temos que F e contnua em . Vamos utilizar a funcao F para obter uma
deformacao de T para uma curva T1 , para a qual o n
umero de rotacao em relacao `a origem
seja mais facil de calcular. Considere as curvas D0 e D1 , respectivamente, a hipotenusa e os
catetos de . Podemos parametrizar essas curvas por D0 : [0, l] R2 , D0 (t) = (t, t),
e D1 : [0, l] R2 ,
(
(0, 2t), se 0 t 2l ,
D1 (t) = l
(2t l, l), se 2
tl
H(s, t) = F Ds (t).
Afirmamos que H e uma homotopia entre T e T1 , com T1 (t) = H(1, t), em S 1 . De fato,
3. H(s, 0) = F (0, 0) = T (0) = T (l) = F (l, l) = H(s, l), visto que cada curva Ds liga o
ponto (0, 0) ao ponto (l, l);
R = grT = grT1 .
23
Para concluirmos a prova, vamos mostrar que grT1 = 1. Seja (t) o levantamento de T1 ,
com (0) = 0. Para todo 0 < t < 2l ,
(2t)
T1 (t) =
k(2t)k
l
aponta para o semi-plano superior, T1 (0) = (1, 0) e T1 ( ) = (1, 0). Portanto
2
l
( ) (0) = .
2
l
Por outro lado, se < t < l,
2
(2t l)
T1 (t) =
k(2t l)k
l
aponta para o semi-plano inferior, T1 ( ) = (1, 0) e T1 (l) = (1, 0). Logo
2
l
(l) ( ) = .
2
Corol ario 5.0.1. Seja : [0, l] R2 uma curva regular, plana, simples e fechada. Ent
ao
Rl
0
k(s)ds = 2.
1
Rl
Demonstracao. Do Exemplo 4.0.2 temos que grT = 2 0
k(t)dt e da Proposicao 5.0.1 que
Rl
grT = 1, logo podemos concluir que 0 k(s)ds = 2.
ao 5.0.7. Seja : [0, l] R2 uma curva plana, regular e fechada, diremos que
Definic
e convexa em s1 se o traco da curva esta contida em um dos semi-planos fechados
determinados pela reta tangente em s1 . Se for convexa em cada um dos pontos de [0, l]
diremos simplesmente que e convexa.
Um fato que sera importante na proxima proposicao e que uma curva e convexa
em s1 se e somente se hs1 (s) nao muda de sinal, onde hs1 (s) = h(s) (s1 ), n(s1 )i.
Proposic
ao 5.0.6. Uma curva simples, plana, regular e fechada e convexa se e somente
se a sua curvatura k nao muda de sinal.
24
Demonstracao. Seja uma curva regular, plana, simples, fechada e parametrizada por
comprimento de arco. Suponhamos que a curvatura de nao mude de sinal. Sem perda
de generalidade podemos supor que k(s) 0 para todo s [0, l] (pois caso contrario
bastaria mudarmos a orientacao).
Queremos provar que sera convexa. Para isto iremos fixar s1 [0, l] e mostra-
remos que hs1 (s) = h(s) (s1 ), n(s1 )i nao muda de sinal em [0, l]. Suponhamos por
absurdo que hs1 mude de sinal, como hs1 e contnua em [0, l], teremos pontos crticos s2
e s3 , distintos de s1 , sendo um maximo positivo e o outro mnimo negativo, e portanto
hs1 (s1 ), hs1 (s2 ) e hs1 (s3 ) sao dois a dois distintos.
Como h0s1 (s) = h0 (s), n(s1 )i, as retas tangentes a` curva em s1 , s2 e s3 sao para-
lelas. Alem disto dois dentre 0 (s1 ), 0 (s2 ) e 0 (s3 ) coincidem. Sem perda de generalidade
podemos supor que s1 = 0 (considerando uma parametrizacao adequada), e s2 < s3 < l.
portanto, hs1 (si ) = hs1 (sj ) e em qualquer um dos casos teramos um absurdo.
Como os extremos dos intervalos tem tangentes paralelos e e nao-decrescente, nao cons-
tante e um destes intervalos tem extremos tais que as respectivas tangentes coincidem,
temos que uma das parcelas (sj ) (si ) e pelo menos 2 e as outras duas sao pelo menos
, logo
(l) (0) + + 2 = 4.
Mas como e regular, plana, simples e fechada, pelo Corolario 5.0.1 temos que (l)
Rl
(0) = 0 k(s)ds = 2, chegando entao a uma contradicao. Logo hs1 (s) nao muda de
sinal e portanto e convexa em s1 , e como s1 foi escolhido arbitrariamente temos que
e convexa em [0, l].
25
Reciprocamente, suponhamos que seja convexa, entao hs0 (s) nao muda de sinal
para cada s0 fixado, afirmamos que hs0 (s) nao muda de sinal para todo (s, s0 ) [0, l][0, l].
De fato, observe que dado s0 [0, l] existe s [0, l] tal que hs0 (s) 6= 0, pois caso contrario
hs0 (s) = 0 para todo s [0, l], sendo entao o traco de contido em um segmento de reta,
Alem disto A = {(so , s) [0, l][0, l]/hs0 (s) > 0} e B = {(so , s) [0, l][0, l]/hs0 (s) < 0}
sao abertos.
Suponhamos por absurdo que existam s1 , s2 [0, l] tais que hs1 (s) 0 e hs2 (s)
0 para todo s [0, l], sem perda de generalidade podemos supor que s1 < s2 , pois caso
s < s2 /hse(s) 0, s [0, l]} e seja s [0, l] tal que
contrario sera analogo, seja s0 = sup{e
hs0 (s) 6= 0, da teremos duas possibilidades:
1 caso: se hs0 (s) > 0, como A e aberto temos que existe s0 (s0 , s2 ) tal que hs0 (s) > 0,
e da teramos que hs0 (s) 0 para todo s [0, l] o que contradiz a hipotese de supremo
de s0 .
2 caso: se hs0 (s) < 0, como B e aberto temos que existe > 0 tal que se s0 (s0 , s0 +),
entao hs0 (s) < 0 e portanto teramos que hs0 (s) 0 para todo s [0, l], o que tambem
contradiz a hipotese de supremo de s0 e prova nossa afirmacao.
Entao, caso escolhamos uma orientacao adequada, hs0 (s) = h(s) (s0 ), n(s0 )i
0 para todo s, s0 [0, l]. E,
h0s0 (s) = h0 (s), n(s0 )i
Suponhamos por absurdo que k(s) mude de sinal, entao existem a, b R, nao
necessariamente distintos, e > 0 tais que k([a, b]) = 0, e digamos k(a , a) < 0
e k(b, b + ) > 0, pois no caso das desigualdades contrarias sera analogo. Tomemos
s0 [a, b], como e arbitrariamente pequeno temos que hn(s), n(s0 )i > 0 para todo
s (a , b + ). Logo
< 0 , se s (a , a)
h00s0 (s) = 0 , se s [a, b]
> 0 , se s (b, b + )
Alem disto como k([a, b]) = 0, o traco de ([a, b]) esta contido em um segmento
de reta paralelo a 0 (s0 ), portanto h0s0 ([a, b]) = 0, e
Da temos que h0s0 ([a, b]) = 0 e h0s0 (s) > 0 para s (a , a) (b, b + ), logo hs0
e identicamente nula em [a, b] e estritamente crescente em (a , a) (b, b + ) e portanto
hs0 muda de sinal o que e uma contradicao, sendo assim conclumos que k(s) nao muda
de sinal.
x(s, t) = (s) + r(n cos t + b sen t), s [0, l], t [0, 2],
= r2 (1 rk cos t)2
Iremos supor que r seja suficientemente pequeno para que rk0 < 1, onde k0 =
max{| k(s) | , s [0, l]}. Entao x e regular, e um calculo direto nos da
xs xt
N = = (n cos t + b sen t)
| xs xt |
k cos t
= xs xt .
r(1 rk cos t)
De fato, suponhamos por absurdo que nao exista tal , isto e, para cada n N
existem pn e qn , pontos distintos de (s0 n1 , s0 + n1 ) [0, 2], tais que, x(pn ) = x(qn ), sendo
assim obtemos duas sequencias infinitas {pn }, {qn } [0, l] [0, 2], e como [0, l] [0, 2] e
compacto, pela Proposicao 5.0.7, {pn } e {qn } terao subsequencias que convergem para p e q
respectivamente, por uma questao de simplicidade iremos considerar que as subsequencias
sao as proprias {pn } e {qn }. Observe ainda que p, q {s0 } [0, 2], pois caso contrario
poderamos escolher um > 0 suficientemente pequeno e n0 N suficientemente grande
de modo que B (p)(s0 n10 , s0 + n10 )[0, 2] = , e isto seria uma contradicao `a hipotese
de que pn converge para p. Como x(pn ) = x(qn ) para todo n N e x e contnua, temos
que x(p) = x(q), mas x restrita a {s} [0, 2] e injetiva para todo s [0, l], logo p = q.
Sendo x regular, temos que para cada p [0, l] [0, 2] existe um aberto U (p)
que contem p e esta contido em [0, l] [0, 2], tal que x e injetiva em U (p), como pn e qn
convergem para p temos que existe n0 tal que se n > n0 entao tanto pn quanto qn estarao
contidos em U (p), por hipotese x(pn ) = x(qn ) logo teramos que pn = qn o que contradiz
a hipotese de que pn 6= qn para todo n e demonstra nossa afirmacao.
Teorema 5.0.2 (Teorema de Fenchel). Seja : [0, l] R3 uma curva regular, simples
e fechada, entao a curvatura total de e maior que 2, e a igualdade vale se e somente
se a curva e uma curva plana convexa.
ZZ
= Kr(1 rk cos t)dsdt
A
ZZ
= k cos tdsdt
A
3
Z l Z
2
Z l
= kds cos tdt = 2 k(s)ds.
0 2
0
Por outro lado, cada semi-reta L passando pela origem de R3 aparece ao menos uma vez
como uma direcao normal a R. Pois se tomamos um plano P perpendicular a L tal que
P T = e movemos P paralelamente a si mesmo em direcao a T , ele ira encontrar T
pela primeira vez em um ponto onde K > 0.
ZZ
= | Ns Nt | dsdt
A
4.
Suponhamos que seja uma curva plana convexa,entao temos que a sua curvatura
nao muda de sinal. Alem disto como e regular, simples, fechada e plana temos que
Rl
0
k(s)ds = 2. Logo,
Z l Z
l
| k(s) | ds = k(s)ds = 2,
0 0
Logo existem dois pontos de curvatura positiva que sao levados por N em um
nico ponto de S 2 . Como N e um difeomorfismo local em tais pontos e cada ponto de S 2
u
RR
e a imagem de, pelo menos, um ponto de R, conclumos que Kd > 4, o que e uma
R
contradicao.
Para finalizar, provaremos que e convexa. Podemos admitir que esta orientada
Rl
de forma que o seu ndice de rotacao seja positivo e portanto 0 k(s)ds = 2. Como a
curvatura total de e 2, temos
Z l Z l
2 = | k | ds = kds.
0 0
Z l
(| k | k)ds = 0
0
H(S 1 0) = S 1 ;
H(S 1 1) = C;
e H(S 1 t) = Ct R3 .
Uma curva que nao e um no e entao uma curva isotopica a S 1 . Quando isto nao
acontece, diz-se que C e um no.
Da podemos escolher t0 (0, 1] de modo que f (Dt0 ) V , sendo assim temos que
f (Ct0 ) = +(0, 0, g()) onde e uma curva diferenciavel, simples e fechada esta no plano
z = 0. Assim temos que H(s, t) = (s) + (0, 0, tg((s))) e uma isotopia entre e f (Ct0 ),
consequentemente teremos que e isotopica a f (S 1 ). Sendo assim basta mostrarmos que
uma curva plana, simples, fechada e diferenciavel e isotopica a S 1 .
onde r e o raio da faixa. Sendo assim podemos construir uma isotopia entre e C, alem
disto podemos deformar, por meio de uma isotopia, duas arestas adjacentes de C em
uma u
nica aresta, repetindo este processo chegaremos a um triangulo que claramente e
isotopico a S 1 , sendo assim podemos concluir que e S 1 sao curvas isotopicas.
Lema 5.0.1. Seja h : S 1 R uma funcao contnua e diferenciavel que tem exatamente
dois pontos crticos, entao:
y2 . Sendo assim temos que ]h1 (y) = 2 para todo y2 < y < y1 .
pois v 6= b(s) e para todo s. Assim, os pontos crticos de hv sao pontos de maximo ou
minimo.
Agora, suponha que a curvatura total de seja menor que 4. Isto significa que
ZZ Z
Kd = 2 kds < 8
R
Afirmamos que, para algum v0 6= b([0, l]), hv0 tem exatamente dois pontos crticos e como
[0, l] e compacto, tais pontos correspondem ao maximo e ao mnimo de hv0 . Suponha que
o contrario seja verdadeiro, entao, para todo v
/ b([0, l]), hv tem pelo menos tres pontos
crticos, como os pontos crticos de hv sao maximos ou mnimos podemos supor que dois
deles sejam pontos de mnimo s1 e s2 ; o caso dos maximos e analogo.
e um no, e esta contradicao mostra que se uma curva tem curvatura total menor que 4,
entao ela nao e um no.
Para completar a demonstracao temos que verificar que uma curva com curvatura
total igual a 4 tambem nao e um no, para isto basta observar que se uma curva tem
curvatura total maior que 2 sempre podemos deforma-la por meio de uma isotopia de
modo que a curva resultante desta deformacao tenha curvatura total menor que a original,
e da se tivessemos que C tem curvatura total igual a 4 entao ela seria isotopica a uma
curva com curvatura total menor que 4 e portanto, como ja demonstramos, nao seria
um no.
34
6 Refer
encias