Analise Funcional 123

ISSN 1980-024X
B OLETIM DE I NICIAO
C IENTFICA EM M ATEMTICA
BICM AT
V OLUME X
O UTUBRO DE 2013
D EPARTAMENTO DE M ATEMTICA
IGCE R IO C LARO
ISSN 1980-024X
B OLETIM DE I NICIAO C IENTFICA EM

M ATEMTICA BICM AT
Comisso editorial
Elris Cristina Rizziolli
Marta Cilene Gadotti
Nativi Viana Pereira Bertolo
Thiago de Melo
Editorao grfica
Thiago de Melo
Realizao
Conselho de Curso de Graduao em Matemtica
Departamento de Matemtica
IGCE Unesp Rio Claro
E DITORIAL
O Boletim de Iniciao Cientfica em Matemtica BICMat uma
publicao que se destina a difundir prioritariamente trabalhos de iniciao cientfica em Matemtica que fazem parte de projetos desenvolvidos
por alunos do Curso de Graduao em Matemtica do IGCE Unesp
Rio Claro. Eventualmente trabalhos de Iniciao Cientfica realizados em
outras instituies podero tambm ser publicados neste Boletim.
O BICMat foi criado em 1998 e nessa poca foram publicados dois
volumes; o primeiro no ano de criao e o segundo em 2000.
Considerando a importncia da Iniciao Cientfica para o graduando,
e o sempre crescente nmero de projetos desta natureza desenvolvidos
em nossa instituio, resolvemos reativar a publicao do BICMat, com
ISSN 1980-024X.
Destacamos que a autoria dos trabalhos apresentados no BICMat dos
alunos. O orientador figura apenas como responsvel cientfico.
Este Boletim tambm est aberto divulgao de trabalhos que no
sejam frutos de projetos de iniciao cientfica, mas que sejam de interesse
dos alunos do curso de graduao em Matemtica. Estes trabalhos sero
selecionados pelos Editores.
Este nmero estar disponibilizado eletronicamente na pgina do Departamento de Matemtica no endereo
www.rc.unesp.br/igce/matematica
S UMRIO
Sequncias Exatas e o Lema dos Cinco
Alex Melges Barbosa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Teorema do Ponto Fixo de Banach e Aplicao em Eq. Diferenciais

Cristiano dos Santos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
Grupo Fundamental e o Teorema de van Kampen

Givanildo Donizeti de Melo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Estabilidade pelo mtodo de Lyapunoff

Mrcia Richtielle da Silva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
O Teorema de ponto fixo de Brouwer em dimenso um e algumas equivalncias

Pollyane Vieira da Silva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
Homotopia
Tas Roberta Ribeiro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73

Alex Melges Barbosa1
Orientador(a): Prof. Dr. Joo Peres Vieira
Resumo: Neste trabalho apresentaremos alguns resultados sobre Sequncias Exatas e provaremos o Lema dos Cinco.
Palavras-chave: Sequncia Exata; Lema dos Cinco
Sequncias Exatas
Definio 1. Sejam A1 , A2 e A3 grupos e 1 e 2 homomorfismos for1

2
mando a sequncia A1 A2 A3 . Esta sequncia dita exata se
Im(1 ) = Ker(2 ).
Observe que a definio acima pode ser compreendida como duas afirmaes, a saber:
Im(1 ) Ker(2 ), ou equivalentemente, para qualquer x A1 ,
2 (1 (x)) = 0, isto , 2 1 = 0.
Ker(2 ) Im(1 ), ou equivalentemente, para qualquer y A2 , com
2 (y) = 0, existe x A1 tal que 1 (x) = y.
Uma sequncia de grupos e homomorfismos dita exata se quaisquer
dois homomorfismos consecutivos da sequncia satisfazem as condies
acima. Neste caso, a afirmao acima pode ser expressa, por exemplo,
dizendo-se que a sequncia exata em A2 .
f
Exemplo 2.
a) A sequncia {0} A X exata se, e somente se,
Ker() = Im(f ) = {0} se, e somente se, injetora.
b) A sequncia A X {0} exata se, e somente se, Im() =

Ker(f ) = X se, e somente se, sobrejetora.
1 Bolsista
FAPESPProcesso 2013/045712

f
c) A sequncia {0} A X {0} exata se, e somente se,

exata em X e em A se, e somente se, bijetora, pois injetora
e sobrejetora pelos itens a) e b), respectivamente.
Definio 3. Sejam A e B grupos abelianos. Ento a soma direta entre A
e B o grupo abeliano A B com a operao (a, b) + (c, d) = (a + c, b +
d), (a, b), (c, d) A B. Denotaremos a soma direta entre A e B por
A B.
Teorema 4. Dados a sequncia exata P Q R S {0} e

{,0}
o homomorfismo : S R com = 1S , ento a sequncia P

(,)
Q S R {0} exata.
Prova:
i) Im({, 0}) Ker(, ). De fato, p P, (, ){, 0}(p) =
(, )((p), 0) = (p) = 0.
ii) Ker(, ) Im({, 0}).De fato, (q, s) Ker(, ) (, )(q, s) =
0 (, )(q, s) = (0) 0 = ((q) + (s)) = (q) +
(s) = 0 + 1S (s) = s s = 0 (q) = 0 (q, 0) = ((p), 0) =
{, 0}(p), para algum p P (q, s) = (q, 0) Im({, 0}). Logo,
Im({, 0}) = Ker(, ).
iii) Mostremos agora que (, ) sobrejetora. Dado r R, considere
s = (r), ento r (s) Ker(), pois (r (s)) = (r) (s) =
s1S (s) = ss = 0. Mas Ker() = Im(), logo existe q Q tal que
(q) = r (s). Assim, (q, s) Q S e (, )(q, s) = (q) + (s) =
r (s) + (s) = r. Portanto, (, ) sobrejetora.
{,0}
(,)
Portanto, a sequncia P Q S R {0} exata.
Corolrio 5. Dados a sequncia exata {0} Q R S {0} e o

homomorfismo : S R com = 1S , ento a funo (, ) : QS R
um isomorfismo.
(,)
Prova: Ao tomar P = {0} no Teorema 4, temos que {0} Q S

R {0} uma sequncia exata. Com isso, (, ) uma bijeo e,
BICMat, Volume X, Outubro de 2013
consequentemente, um isomorfismo.
Quando existir um homomorfismo de acordo com as condies do
Corolrio 5, dizemos que a sequncia exata cinde.
Lema dos Cinco

Considere, como hiptese para os lemas a seguir, que:
Ai e Bi so grupos abelianos e j , j e i so homomorfismos, para
0 i 4 e 0 j 3.
o diagrama
0
1
2
3
A0
A1
A2
A3
A4
0 y
1 y
2 y
3 y
4 y
B0 B1 B2 B3 B4
comutativo, isto , comuta em cada quadrado.
as sequncias horizontais do diagrama acima so exatas.
Antes de provarmos o Lema dos Cinco, precisaremos dos seguintes resultados:
Lema 6. Se 0 um epimorfismo e 3 um monomorfismo, ento
Ker(2 ) = 1 (Ker(1 )).
Prova:
i) 1 (Ker(1 )) Ker(2 )
Seja x Ker(1 ), isto , 1 (x) = 0. Ento, 2 (1 (x)) = 2 1 (x) =

1 1 (x) = 1 (1 (x)) = 1 (0) = 0. Logo, 1 (x) Ker(2 ).
ii) Ker(2 ) 1 (Ker(1 ))
Seja x Ker(2 ), isto , 2 (x) = 0. Ento, 2 (2 (x)) = 2 (0) = 0.
Logo, 3 2 (x) = 2 2 (x) = 0. Assim, 2 (x) Ker(3 ) = {0},
pois 3 injetora. Ento, 2 (x) = 0, ou seja, x Ker(2 ) =
10
Im(1 ), pois a sequncia exata em A2 . Logo, existe y A1 tal que

1 (y) = x. Portanto, 2 (1 (y)) = 2 (x) = 0.
Ento, 1 1 (y) = 2 1 (y) = 0, ou seja, 1 (y) Ker(1 ) =
Im(0 ), pois a sequncia exata em B1 . Assim, existe z B0 tal
que 0 (z) = 1 (y). Como 0 sobrejetora, existe w A0 tal que
0 (w) = z. Ento, 0 0 (w) = 1 (w), ou seja, 1 0 (w) = 1 (y).
Assim, 1 (0 (w) + y) = 0, isto , 0 (w) + y Ker(1 ). Mas,
1 (0 (w) + y) = 1 (0 (w)) + 1 (y) = 0 + x = x, pois a sequncia
exata em A1 . Portanto, x 1 (Ker(1 )).
Sendo um homomorfismo de grupos, denotaremos ` (G) a imagem
inversa de G por .
Lema 7. Seja 1 um epimorfismo e 4 um monomorfismo.
2` (Im(3 )) = Im(2 ).
Prova:
Ento,
i) Im(2 ) 2` (Im(3 ))
Seja x Im(2 ), isto , existe y A2 tal que 2 (y) = x. Assim,

2 (2 (y)) = 2 (x), isto , 3 (2 (y)) = 2 (x). Logo, 2 (x) Im(3 ).
Portanto, x 2` (Im(3 )).
ii) 2` (Im(3 )) Im(2 )
Seja x 2` (Im(3 )), isto , 2 (x) Im(3 ), ou seja, existe y A3
tal que 3 (y) = 2 (x). Logo, 4 (3 (y)) = 3 (3 (y)) = 3 (2 (x)) =
0, pois a sequncia exata em B3 . Assim, 3 (y) Ker(4 ) = {0},
pois 4 injetora. Ento, 3 (y) = 0, ou seja, y Ker(3 ) = Im(2 ),
pois a sequncia exata em A3 . Portanto, existe z A2 tal que
2 (z) = y.
Assim, 3 (2 (z)) = 3 (y), isto , 2 (2 (z)) = 3 (y) = 2 (x). Ento,
2 (x 2 (z)) = 0, ou seja, (x 2 (z)) Ker(2 ) = Im(1 ), pois
a sequncia exata em B2 . Logo, existe w B1 tal que 1 (w) =
x 2 (z).
11
Como 1 sobrejetora, existe v A1 tal que 1 (v) = w. Assim,

1 (1 (v)) = x 2 (z), isto , 2 (1 (v)) = x 2 (z). Portanto,
x = 2 (1 (v) + z), ou seja, x Im(2 ).
Finalmente, provemos o
Lema 8 (Lema dos Cinco). Se 0 , 1 , 3 e 4 so isomorfismos, ento 2
tambm ser um isomorfismo.
Prova: Como, em particular, 0 um epimorfismo e 3 um monomorfismo, segue pelo Lema 6 que Ker(2 ) = 1 (Ker(1 )) = 1 ({0}) = 0,
pois 1 injetora.
Como, em particular, 1 um epimorfismo e 4 um monomorfismo,
segue pelo Lema 7 que Im(2 ) = 2` (Im(3 )) = 2` (B3 ) = B2 , pois 3
sobrejetora.
Portanto, 2 um isomorfismo.
Agradecimentos: Agadeo ao meu orientador, Prof. Dr. Joo Peres Vieira,
pelo apoio e pacincia oferecidos neste trabalho e ao auxlio financeiro da
FAPESP.
Abstract: In this paper we present some results on Exact sequences and
prove Five lemma.
Keywords: Exact sequence; Five lemma
Referncias Bibliogrficas
[1] Vick, J.W., Homology Theory, Academic Press, New York-London,
1973.
[2] Wall, C.T.C. - A Geometric Introduction to Topology, Addison-Wesley
Publishing Company, 1972
Teorema do Ponto Fixo de Banach e

Aplicao em Equaes Diferenciais
Cristiano dos Santos1
Orientador(a): Profa. Dra. Marta Cilene Gadotti
Resumo: Neste trabalho apresentaremos o Teorema do Ponto Fixo de Banach, e constataremos, atravs de uma aplicao, a importncia da teoria
de Anlise Funcional na resoluo de problemas de outras reas da Matemtica.
Palavras-chave: Existncia e unicidade, ponto fixo, equaes diferenciais.
Um pouco de Histria
Stefan Banach (18921945)
Banach frequentou a escola primria em Cracvia, deixando a escola

em 1902 para iniciar o ensino secundrio no Ginsio. Por uma feliz coincidncia, um dos alunos da classe de Banach foi Witold Wilkosz o qual se
tornou um professor de matemtica. Ao deixar a Ginsio Banach e Wilkosz
queriam estudar matemtica, mas ambos sentiram que nada de novo poderia ser descoberto em matemtica, cada um escolheu trabalhar em um
assunto que no seja matemtica. Banach escolheu estudar engenharia,
Wilkosz escolheu lnguas orientais.
1 Bolsista
Fapesp, Processo: 2012/151623
13
14
Banach deixou Cracvia e foi para Lvov, onde matriculou-se na Faculdade de Engenharia da Universidade Tcnica de Lvov. quase certo que
Banach, sem qualquer apoio financeiro, teve que se sustentar dando aulas.
Por isso ele levou mais tempo para concluir o curso do que era normal em
1914.
Um acontecimento fortuito ocorreu em 1916, que teve um grande impacto na vida de Banach. Steinhaus, que tinha vindo a realizar o servio
militar, estava prestes a assumir um cargo na Universidade Jan Kazimierz
de Lvov. No entanto, ele estava morando em Cracvia em 1916, espera
de assumir o compromisso. Ele andava pelas ruas de Cracvia durante a
noite e, como ele relatou em suas memrias: - Durante uma tal caminhada
ouvi a expresso medida de Lebesgue. Aproximei-me do banco do parque
e me apresentei aos dois jovens aprendizes da matemtica. Disseram-me
que tinha outro companheiro conhecido pelo nome de Witold Wilkosz, que
foi extravagantemente elogiado. Os jovens foram Stefan Banach e Otto
Nikodym. A partir de ento nos encontramos em uma base regular, e ...
decidimos estabelecer uma sociedade matemtica.
Steinhaus mostrou a Banach um problema que ele estava trabalhando,
sem sucesso. Depois de alguns dias Banach teve a idia principal para
o contra-exemplo necessrio, e Steinhaus e Banach escreveram um documento conjunto. A partir do momento que ele produziu estes primeiros
resultados com Steinhaus, Banach comeou a produzir trabalhos importantes de matemtica em uma taxa rpida. Claro que impossvel dizer
se, sem o encontro casual com Steinhaus, Banach teria seguido a rota de
pesquisa em matemtica. Em 1924 Banach foi promovido a professor titular e passou o ano letivo de 19241925, em Paris. A maneira que trabalhou
Banach foi pouco convencional. Ele gostava de fazer matemtica com seus
colegas nos cafs de Lvov. Ele tambm escreveu textos de aritmtica,
geometria e lgebra para escolas de ensino mdio.
A ocupao nazista de Lvov em junho de 1941 fez com que Banach
vivesse sob condies muito difceis. Ele foi preso sob suspeita de trfico
de moeda alem, mas liberado depois de algumas semanas. Ele sobreviveu
15
a um perodo em que os acadmicos poloneses foram assassinados, seu

orientador de doutorado Lomnicki morreu na trgica noite de 03 de julho de
1941, quando muitos massacres ocorreram. Banach planejava ir a Cracvia
depois da guerra para ocupar um cargo na Universidade Jagiellonian mas
ele morreu em Lvov, em 1945, de cncer de pulmo.
Definies e Resultados
Definio 1. Uma mtrica em um conjunto M uma funo definida em

M M com imagem em R tal que d : M M R, que associa a cada
par ordenado de elementos x, y M um nmero real d(x, y), chamado a
distncia de x a y, de modo que sejam satisfeitas as seguintes condies,
para quaisquer x, y, z M :
d1 - d(x, x) = 0.
d2 - Se x 6= y ento d(x, y) > 0.
d3 - d(x, y) = d(y, x).
d4 - d(x, z) d(x, y) + d(y, z).
Definio 2. Um espao mtrico um par (M, d), onde M um conjunto e d uma mtrica em M .
Exemplo 3 (A mtrica zero-um). Qualquer conjunto M pode tornarse um espao mtrico de maneira muito simples. Basta definir a mtrica
d : M M R pondo d(x, x) = 0 e d(x, y) = 1 se x 6= y.
Definio 4. Uma sequncia (xn ) em um espao mtrico M chama-se uma
sequncia de Cauchy quando, para todo > 0 dado, existe n0 N tal
que m, n > n0 implica d(xm , xn ) < .
Definio 5. Diz-se que o espao mtrico M completo quando toda
sequncia de Cauchy em M convergente (em M ).
16
Definio 6. Uma norma em V uma funo:

x V 7 kxk R
que a cada elemento de V associa a um nmero real, com as seguintes
propriedades:
N1 - kxk 0 x V e kxk = 0 x = 0V .
N2 - kxk = ||kxk x V e R.
N3 - kx + yk kxk + kyk x, y V.
Em particular se = 1 em N2 temos kxk = k xk x V .
Definio 7. Seja V um espao vetorial e k k uma norma qualquer. O par
(V, k k) dito um espao normado.
Definio 8. Um espao vetorial normado (E, k k) dito de Banach se,
for completo com a mtrica d(x, y) = kx yk, x, y E.
No prximo exemplo utilizaremos as desigualdades de Hlder e Minkowski, cujas demonstraes podem ser encontradas na referncia [3].
Proposio 9 (A Desigualdade de Hlder). Sejam 1 p, p0 , tais
1
1
que + 0 = 1. Ento:
p p
(a) Dados x, y Cn , temos kxyk1 kxkp kykp0 , isto ,
n
X
p1
10
p
n
n
X
X
0
|yj |p
|xj yj |
|xj |p
j=1
j=1
j=1
quando 1 < p < e

n
X
j=1
|xj yj |
n
X
|xj | sup |yj |
j=1
quando p = 1 ou p = .
1jn
17
(b) Dados f, g C([a, b], Cn ), temos kf gk1 kf kp kgkp0 , isto ,

Z
"Z
|f (x)g(x)|dx
a
# p1 "Z
|f (x)| dx
# 10
p0
|g(x)| dx
quando 1 < p < e

Z
Z
|f (x)g(x)|dx
|f (x)|dx sup |g(x)|
axb
quando p = 1 ou p = .
Proposio 10 (A Desigualdade de Minkowski). Sejam 1 p, p0 ,
1
1
tais que + 0 = 1. Ento:
p p
(a) Para quaisquer x e y em Cn temos: kx + ykp kxkp + kykp , isto
,
p1
p1
p1
n
n
n
X
X
X
|xj |p +
|yj |p .
|xj + yj |p
j=1
j=1
j=1
(b) Para quaisquer f, g C([a, b], C), temos: kf + gkp kf kp + kgkp ,

isto ,
"Z
# p1
b
p
|f (x) + g(x)| dx
"Z
# p1
b
p
|f (x)| dx
a
"Z
# p1
b
p
|g(x)| dx
Exemplo 11. Seja p 1 um nmero real fixo. Por definio cada elemento
de `p uma sequncia x = (k )kN = (1 , 2 , . . .) de nmeros reais ou
complexos cuja soma abaixo converge,
|k |p = M < .
k=1
Mostraremos a seguir que `p um espao vetorial normado e de Banach.
18
Vetorial Normado
Definiremos agora, as operaes no espao `p .
+ : `p `p `p
(x, y) x + y
onde x = (1 , . . . , k , . . .), y = (1 , . . . , k , . . .) e
x + y = (1 + 1 , . . . , k + k , . . .) = (k + k )kN
Observe que a operao est bem definida,
! p1
! p1 p
n
n
n
i
h 1
X
X
X
1 p
= M p + N p < .
|k + k |p
|k |p
+
|k |p
k=1
Assim, sn =
k=1
n
X
k=1
|k + k |p crescente e limitada, portanto convergente e
k=1
(k + k )kN `p .
: C `p `p
(, x) x
onde x = (1 , . . . , k , . . .) e
(x) = (1 , . . . , k , . . .) = (k )kN
Observe que a operao est bem definida,
|k |p = ||p
k=1
|k |p = ||p M <
k=1
e portanto, (k )kN `p .
A norma em `p definida por:
"
kxkp =
X
k=1
De fato, norma, pois

# p1
|k |
"
(i) kxkp =
19
# p1
|k |
0e
k=1
"
kxkp =
# p1
|k |p
= 0 |k | = 0 k = 0
k=1
para todo k N.
(ii)
"
kxkp =
# p1
|k |p
"
= ||p
k=1
# p1
|k |p
"
= ||
k=1
# p1
|k |p
= ||kxkp .
k=1
(iii) Pela desigualdade de Minkowski, no difcil provar que

kx + ykp kxkp + kykp .
Portanto, `p um espao vetorial normado.
Banach
Seja (xm )mN qualquer sequncia de Cauchy no espao `p , onde xm =
Ento para todo > 0 existe n0 tal que m, n > n0
(m)
(j )jN .
1

p p
X
(m)
(n)
kxm xn kp =
j j < .
(1.1)
j=1
(m)
(n)
Para cada j N, |j j | kxm xn kp e assim, para todo > 0

existe n0 tal que m, n > n0 implica

(m)
(n)
j j < .
(1)
(2)
Assim, para cada j fixo, a sequncia (j , j , . . .) de Cauchy no

(m)
corpo K, logo cada sequncia j
desta nova sequncia converge para
um elemento j quando m . Considere ento x = (1 , 2 , . . .), basta
mostrar que x `p e xm x.
20
Da equao (1.1) temos que para todo m, n > n0

k
p
X
(m)
(n)
j j < p com k N.
j=1
Fazendo n , para m > n0 segue que

k
p
X
(m)

j j p , k N.
j=1
Fazendo k , tem-se para todo m > n0

p
X
(m)

j j p .
j=1
(m)
Isto mostra que xm x = (j

de Minkowski que,
j ) `p . Segue ento da desigualdade
kxkp = kx xm + xm kp kx xm kp + kxm kp < .

Portanto, x `p e xm x.
Proposio 12. Um subespao fechado de um espao mtrico completo
completo. Reciprocamente, um subespao completo de qualquer espao
mtrico fechado.
Prova: Seja F M fechado, com M completo. Dada uma sequncia de
Cauchy (xn ) em F , existe lim xn = a M . Como F fechado em M ,
tem-se a F . Logo F completo.
Por outro lado, se M N subespao completo de um espao mtrico
N , dada a sequncia de pontos xn M , com lim xn = a N , a sequncia
(xn ) de Cauchy, pois convergente. Logo existe b M tal que lim xn = b.
Pela unicidade do limite, tem-se a = b e portanto M fechado em N .
Proposio 13. Se F de Banach ento o espao B(X, F ) das funes
limitadas definidas em X com imagem em F , com a norma do sup, um
espao de Banach.
21
Prova: Se (fk ) de Cauchy em B(X, F ) ento, para cada , existe k tal

que
p, q > k = kfp fq k < , isto , sup kfp (x) fq (x)k < .
(1.2)
xX
Ento para cada x0 X

p, q > k = kfp (x0 ) fq (x0 )k < .
(1.3)
Assim, (fk (x0 )) de Cauchy em F , existindo, por hiptese, lim fk (x0 ) F ,

pois F completo. Defina a funo f : X F pontualmente por
f (x) = lim fk (x).
k
Para provar que f B(X, F ), basta mostrar f limite uniforme e

limitada. Fazendo q em (1.3), temos: kfp (x0 ) f (x)k para todo
x0 X e p > k . O que mostra que fk f uniformemente.
Em particular, para = 1 existem k e p = 2k tais que,
kf2k f k 1 = kf f2k k 1 = kf k kf2k k kf f2k k 1 =
= kf k 1 + kf2k k = kf (x)k 1 + kf2k (x)k,
x X.
O que prova que f limitada.

Proposio 14. Sejam E e F espaos normados, F de Banach. Ento
C(X, F ), o espao das funes contnuas definidas em X com imagem em
F , com a norma do sup, um subespao fechado de B(X, F ), qualquer
que seja X E.
Prova: Mostremos que o limite uniforme f de uma sequncia (fk ) de funes contnuas sempre uma funo contnua em cada ponto a X.
Dado , existe k tal que
k k = kfk f k <
.
3
E, sendo fk contnua, existe tal que

kx ak < = kfk (x) fk (a)k <
22
Logo, se kx ak < , ento

kf (x) f (a)k = kf (x) fk (x) + fk (a) f (a) + fk (x) fk (a)k
kf (x) fk (x)k + kfk (a) f (a)k + kfk (x) fk (a)k

kf fk k + kfk f k + kfk (x) fk (a)k < + + = .
3 3 3
Portanto, f contnua em a.
Corolrio 15. Se F um espao de Banach, ento C(X, F ) tambm o .
3 Teorema do Ponto Fixo de Banach

dois espaos mtricos. Uma aplicao
Definio 16. Sejam (M, d), (N, d)
f : M N chama-se uma contrao quando existe uma constante real
(x), f (y)) d(x, y) x, y M.
, com 0 < < 1, tal que d(f
Observao 17. Toda contrao uniformemente contnua.
De fato, dado > 0 basta considerar = /, Assim, se d(x, y) <
para x, y M , ento
(x), f (y)) d(x, y) < = = .
d(f
Definio 18. Sejam X um conjunto no vazio e f : X X uma

aplicao. Um ponto x X chamado ponto fixo de f se f (x) = x.
Teorema 19 (Teorema do Ponto Fixo de Banach). Sejam X 6= um
espao mtrico completo e T : X X uma contrao. Ento T tem um
nico ponto fixo.
Prova: Escolha algum x0 X e defina a sequncia iterativa (xn ) por:
x0 , x1 = T (x0 ), x2 = T (x1 ) = T 2 (x0 ), . . . , xn = T n (x0 ), . . .
Mostremos que (xn ) de Cauchy. De fato, como T uma contrao
segue que existe ]0, 1[ tal que:
d(xm+1 , xm ) = d(T (xm ), T (xm1 )) d(xm , xm1 ) =
23
= d(T (xm1 ), T (xm2 )) 2 d(xm1 , xm2 ) . . . m d(x1 , x0 ).

Pela desigualdade triangular obtemos para n > m,
d(xm , xn ) d(xm , xm+1 ) + d(xm+1 , xm+2 ) + + d(xn1 , xn )
m d(x0 , x1 ) + m+1 d(x0 , x1 ) + + n1 d(x0 , x1 ) =
= (m + m+1 + + n1 )d(x0 , x1 ),
ou seja,
d(xm , xn ) (m + m+1 + + n1 )d(x0 , x1 ).
(1.4)
Logo,
d(xm , xn ) m [1 + + 2 + + m+n1 ]d(x0 , x1 ),
como
nm1
X
j=0
j =
1 nm1
(soma dos n m 1 termos de uma P.G.),
1
tem-se
d(xm , xn ) m
(1 nm1 )
d(x0 , x1 ).
1
Como 0 < < 1 segue que 1 nm1 < 1, consequentemente,

d(xm , xn )
m
d(x0 , x1 ).
1
Note que, 0 < < 1 e d(x0 , x1 ) so fixos, assim, para m suficientemente

grande e n > m, d(xm , xn ) fica arbitrariamente pequeno. Portanto, (xn )
de Cauchy. Como X completo, (xn ) converge, ou seja, xn x X.
Mostremos agora que x um ponto fixo da aplicao T .
Pela desigualdade triangular e do fato de T ser contrao vale,
d(x, T (x)) d(x, xm ) + d(xm , T (x)) d(x, xm ) + d(xm1 , x).
Fazendo m obtemos
d(x, T (x)) 0 d(x, T (x)) = 0 T (x) = x.
24
Suponha agora que exista, alm de x, outro ponto fixo x

, isto , T (
x) =
x
, logo,
d(x, x
) = d(T (x), T (
x)) d(x, x
) < d(x, x
), pois 0 < < 1.
Ento
d(x, x
) = 0 x = x
.
Portanto, x o nico ponto fixo da aplicao T , e o teorema est
provado.
Uma Aplicao
Definio 20. Seja f : Rn uma funo definida em um aberto

R Rn , a relao x0 = f (t, x) chamada uma equao diferencial
dx
(t). Um
ordinria de primeira ordem. Note que x(t) Rn e x0 (t) =
dt
problema de valor inicial (PVI) consiste de uma equao diferencial e de
uma condio inicial, x(t0 ) = x0 Rn . O PVI descrito por:
(
x0 = f (t, x),
(1.5)
x(t0 ) = x0 .
Definio 21. Uma soluo para o PVI (1.5) uma funo x : I Rn ,
definida em algum intervalo I da reta contendo o ponto t0 e que satisfaz
x(t0 ) = x0 Rn e x0 (t) = f (t, x(t)), t I.
Teorema 22 (Teorema de Picard: Existncia e unicidade de solues).
Seja f uma funo contnua no retngulo
R = {(t, x); |t t0 | a, kx x0 k b}
e, assim, limitada em R. Ou seja, existe c > 0 tal que, para todo (t, x) R,
kf (t, x)k c.
Suponha que f satisfaa a condio de Lipschitz em R com respeito ao
segundo argumento, isto , existe uma constante k tal que para (t, x), (t, v)
R,
kf (t, x) f (t, v)k kkx vk.
(1.6)
25
Ento, ao menos no intervalo fechado J = [t0 , t0 + ], onde

b 1
< min a, ,
,
(1.7)
c k
o problema de valor inicial descrito por (1.5) apresenta uma nica soluo.
Prova: Seja C(J) o espao mtrico das funes contnuas definidas no
intervalo J = [t0 , t0 + ] com valores em Rn , com a mtrica definida
por:
d(x, y) = sup kx(t) y(t)k.
tJ
e um subespao de C(J)
Sabemos que C(J) completo. Seja agora C
constitudo por todas as funes x C(J) que satisfazem:
kx(t) x0 k c, t J.
(1.8)
e fechado em C(J), logo completo. De fato, seja (xn )

Observe que C
e ou seja, existe x
uma sequncia convergente em C,
C(J) tal que xn x
,
isto , dado > 0 existe n0 N tal que:
d(xn , x
) = kxn x
k < , para todo n > n0 .
e tem-se
Como {xn , n N} C,
kxn (t) x0 k c, t J, n N.
(1.9)
Como c no depende de t, considerando o supremo sobre todo t J

segue que:
d(xn , x0 ) = sup kxn (t) x0 k c.
tJ
e Pela desigualdade triangular

Resta mostrar que x
C.
d(
x, x0 ) d(
x, xn ) + d(xn , x0 ) + c, para n > n0
Fazendo 0, obtem-se
sup k
x(t) x0 k = d(
x, x0 ) c,
tJ
26
e
e segue disto que x
C.
Note que resolver o problema de valor inicial (1.5) equivalente a resolver a equao integral
Z
f (s, x(s))ds, t J,
x(t) = x0 +
t0
cuja demonstrao segue do Teorema Fundamental do Clculo.

e C por
Defina T : C
Z
f (s, x(s))ds, t J.
(T (x))(t) = x0 +
(1.10)
t0
Como f e x so funes contnuas, segue que a integral acima existe.

Note tambm que
Z t
Z t

kf (s, x(s))kds c|t t0 | c,
f
(s,
x(s))ds
k(T (x))(t) x0 k =

t0
t0
e em si mesmo, portanto
satisfazendo (1.8), ou seja, T uma aplicao de C
e
e
e De
T : C C est bem definida. Alm disso, T uma contrao em C.
fato, de (1.6) segue que
Z t

k(T (x))(t) (T (y))(t)k =
[f
(s,
x(s))
f
(s,
y(s))]ds

t0
kf (s, x(s)) f (s, y(s))kds k

t0
kx(s) y(s)kds
t0
k|t t0 | sup kx(s) y(s)k kd(x, y), t J.

sJ
Como o lado direito da desigualdade no depende de t, considerando o

supremo sobre t J esquerda, resulta que
d(T (x), T (y)) d(x, y), onde = k.
e
De (1.7) tem-se = k < 1 e, portanto, T uma contrao em C.
Nestas condies, pelo Teorema do Ponto Fixo de Banach, T tem um
27
e ou seja, uma funo x contnua em J satisfazendo

nico ponto fixo x C,
x(t) = (T (x))(t) para todo t J. Logo de (1.10) tem-se:
Z
f (s, x(s))ds, t J.
x(t) = x0 +
(1.11)
t0
O que corresponde soluo do PVI dado.

Agradecimentos: Agradeo, aos meus professores, minha querida orientadora Profa. Dra. Marta Cilene Gadotti pelo apoio e incentivo no trabalho. agncia de fomento FAPESP pelo financiamento do projeto.
Aos meus amigos, por 204 motivos, por sentirem um Estranho Amor, por
serem Bobos e Gagos, por gostarem de Bolo, Cortes de Dedekind e de
algumas msicas e bandas estranhas, tais como, Justin Bieber e Polegar,
por saberem que sempre encontro um Calango quando Mijo Gostoso, e
principalmente por rirem quando pego meu tapete voador e vou ao encontro da minha linda Jasmine. Por fim, fao um agradecimento especial aos
meus familiares e minha namorada Marxsa por cuidarem, incentivarem
e me alegrarem nos momentos que preciso.
Abstract: In this work we introduce the Banach Fixed Point Theorem, and
well see, through an application, the importance of the functional analysis
theory in solving problems in other areas of mathematics.
Keywords: Existence and uniqueness, fixed point, differential equations.
[1] Kreysig, E. Introductory Functional Analysis with Applications. Wiley
Classics Library, 1989, 688 p.
[2] Hnig, C. S. Anlise Funcional e o Problema de Sturm-Liouville, So
Paulo: Edgar Blcher, 1978.
[3] Lima, E. L. Espaos Mtricos. Rio de Janeiro: Instituto de Matemtica Pura e Aplicada, 2013, 387 p.
28
[4] Lima, E. L. Curso de Anlise, v. 1. Rio de Janeiro: Instituto de

Matemtica Pura e Aplicada, 1981, 432 p.
[5] Robertson, E.; OConnor, J. The MacTutor History of Mathematics
archive disponvel em: www-history.mcs.st-andrews.ac.uk, acessado em 15/07/2013.
Grupo Fundamental e o Teorema de van

Kampen
Givanildo Donizeti de Melo1
Orientador(a): Prof. Dr. Thiago de Melo
Resumo: Na Topologia Algbrica, a Teoria de Homotopia muito importante. O grupo fundamental um dos invariantes topolgicos mais simples
desta teoria, e este ser definido neste trabalho. Apresentaremos tambm
uma forma de calcular tal grupo, utilizando o Teorema de van Kampen.
Palavras-chave: homotopia; lao; grupo fundamental.
Introduo
Comearemos definindo homotopia entre funes e classes de homotopia de funes, para falarmos de grupo fundamental. Seja X um espao
topolgico, considere a funo contnua f : [0, 1] X, que chamada de
caminho em X. Se f (0) = f (1) = , chamaremos este caminho de lao
baseado em (ou lao em ). Assim, definiremos o grupo fundamental
como o conjunto das classes de homotopia de laos baseados em , que
denotado por 1 (X, ).
Mostraremos que 1 (X, ) no depende do ponto , quando X for conexo por caminhos. E observaremos que 1 est relacionando os espao
topolgicos e as funes contnuas com os grupos e os homomorfismos,
respectivamente.
Para o calculo do grupo fundamental, usaremos uma ferramenta analtica que o Teorema de van Kampen. Aplicaremos este teorema para
calcular o grupo fundamental de alguns espaos como por exemplo S n para
n > 1.
1 Bolsista
FAPESP, Processo: 2012/219036
29
30
Noes de Homotopia
Para facilitar a notao, denotaremos alguns conjuntos por:
Rn = {(x1 , . . . , xn ) | xi R};
B n = {(x1 , . . . , xn ) Rn | kxk 6 1};
B(a; r) = {x Rn | d(a, x) 6 r};
S n1 = {(x1 , . . . , xn ) Rn | kxk = 1};
I n = {(x1 , . . . , xn ) Rn | 0 6 xi 6 1},
onde kxk =
pP
x2i para x Rn e 0 < r R.
Definio 1. Duas funes contnuas f0 , f1 : X Y so ditas homotpicas se existe uma famlia intermediria de funes ft : X Y juntamente
contnua em x e t, isto , se existe
H :X I Y
que contnua de modo que H(x, 0) = f0 (x) e H(x, 1) = f1 (x).
Observao 2. A Funo H chamada homotopia entre f0 e f1 , e escrevemos f0 f1 para indicar que f0 homotpica a f1 .
Observao 3. Note que uma relao de equivalncia. Assim, podemos falar das classes de homotopia de funes. Seja f uma funo
contnua, denotamos sua classe de homotopia por [f ], que o conjunto de
todas funes que so homotpicas a f . Escrevemos [X, Y ] para indicar o
conjunto das classes de homotopia das funes de X em Y .
Definio 4. Dado um espao X e um subespao A de X, vamos escrever (X, A) para denotar um par de espaos. Uma funo contnua do
par (X, A) para o par (Y, B) apenas uma funo contnua f : X Y
com f (A) B. Um homeomorfismo de (X, A) para (Y, B) apenas um
homeomorfismo de X para Y tal que A corresponde a B.
31
Definio 5. Definimos 1 (X, ) := [(I, {0, 1}), (X, )], isto , 1 (X, )
o conjunto das classes de homotopia dos caminhos p : I X tais que
p(0) = p(1) = . Esses caminhos so chamados de laos.
Observao 6. Podemos tambm definir 1 (X; x, y) que o conjunto das
classes de homotopia dos caminhos p : I X tal que p(0) = x e p(1) = y.
y
O Grupo Fundamental
Na seo anterior definimos 1 (X, ), agora definiremos uma operao

para este conjunto, que ser a composio de dois caminhos, com o objeto
de que 1 tenha uma estrutura de grupo.
Definimos um produto para dois caminhos q : I X e p : I X
tais que q(1) = p(0), obtendo um novo caminho, chamado de caminho
justaposto, cujo percurso atravs de q ter o dobro da velocidade (de
s = 0 para s = 12 ), e em seguida, atravs de p, tambm com o dobro da
velocidade.
q
p
Este caminho p.q definido como:

q(2s),
(p.q)(s) =
p(2s 1),
se 0 6 s 6 12 ,
se 12 6 s 6 1.
Para verificar que este produto est bem definido nas classes de homoBICMat, Volume X, Outubro de 2013
32
topia, suponha
Q : q q0
P : p p0 .
Assim, obtemos uma homotopia G : p.q p0 .q 0 , definida por

Q(2s, t),
se 0 6 s 6 12 ,
G(s, t) =
P (2s 1, t), se 12 6 s 6 1.
Com isso definimos a operao composio . em 1 (X, )
Teorema 7. 1 (X, ) juntamente com a operao . um grupo, chamado
de grupo fundamental de X (em ).
Prova: O elemento identidade de 1 (X, )
1x = {ux } 1 (x, x) = 1 (X, x),
onde ux o caminho constante em x, isto , ux (s) = x, para todo s I.
Se [p] 1 (x, y) for outro elemento, uy .p e p.ux so dados da seguintes
frmulas:

x,
se 0 6 s 6 12
(p.ux )(s) =
p(2s 1), se 21 6 s 6 1.

(uy .p)(s) =
p(2s),
y,
se 0 6 s 6 12
se 21 6 s 6 1.
Assim, p.ux 6= p, mas mostraremos que [p.ux ] = [p], ou seja, p.ux p.

Agora p.ux o caminho constante em x para a primeira metade do tempo
s seguido pelo caminho p na outra metade, porm com o parmetro 2s.
Uma homotopia entre p e p.ux dada por: considere no momento t,
um caminho constante para 0 6 s 6 2t seguido por p para 2t 6 s 6 1.
Escrevemos P (s, t) para a imagem se s I ao longo do tsimo caminho. Interpretando a figura abaixo, temos a homotopia entre p e p.ux :
(
x,
se 0 6 s 6 2t

P (s, t) =
p 2st
, se 2t 6 s 6 1.
2t
33
s
t
Claramente, P (s, 0) = p(s) e P (s, 1) = (p.ux )(s). Note que P est bem
definido j que
2s t
2t
t
6
= 1, se 6 s 6 1
2t
2t
2

2(t/2) t
= x, P (0, t) = x e P (1, t) = y.
p
2t
06
Similarmente prova-se que uy .p p.

Mostremos a propriedade simtrica de (1 (x, y), .). Dado [p] 1 (x, y),
definimos [p]1 = [q] 1 (y, x) onde q(s) = p(1 s).
Se P : p0 p1 , definimos Q : q0 q1 por
Q(s, t) = P (1 s, t).
Desde que
(i) Q(0, t) = y, Q(1, t) = x,
(ii) Q(s, 0) = q0 (s), Q(s, 1) = q1 (s),
esta operao est bem definida em classes de equivalncia.
Devemos mostrar que p.p1 uy . O caminho p.p1 percorre p duas
vezes, primeiro de trs para frente e depois ao contrrio:

p(1 2s), se 0 6 s 6 21
1
(p.p )(s) =
p(2s 1), se 12 6 s 6 1.
No h nenhuma razo para que o meio do caminho p.p1 seja x, escolhemos apenas para facilitar as contas. Podemos escolher uma homotopia
34
de p.p1 para uy que no tempo t mova-se atravs da parte de p (de 0 para

t) e depois volta novamente:

p(1 2st),
se 0 6 s 6 21
P (s, t) =
p((2s t)t + 1 t), se 12 6 s 6 1.
Claramente temos:
(i) P (0, t) = P (1, t) = y,
(ii) P (s, 0) = y e P (s, 1) = (p.p1 )(s);
(iii) p(1 2st) = p((2s 1)t + 1 t) se s = 21 .
Provaremos a associativa de (1 (X, ), .). Sejam [p1 ], [p2 ] e [p3 ]
1 (X, ). Calcularemos (p1 .p2 ).p3 e p1 .(p2 .p3 ):
se 0 6 s 6 21
p3 (2s),
p2 (4s 2), se 12 6 s 6 43
((p1 .p2 ).p3 )(s) =
p1 (4s 3), se 34 6 s 6 1.
se 0 6 s 6 41
p3 (4s),
p2 (4s 1), se 14 6 s 6 12
(p1 .(p2 .p3 )(s) =
p1 (2s 1), se 12 6 s 6 1.
Podemos notar que a nica diferena entre estes caminhos a velocidade. Poderamos deslizar de um caminho para o outro, escolhendo
velocidades intermedirias, como na figura abaixo:
p3
p2
p1
s
As duas linhas inclinadas so dadas pelas equaes t = 4s 1 e t =
4s 2. Para cada t traamos os caminhos da seguinte forma:
p3 de s = 0 para s =
t+1
4 ;
p2 de s =
t+1
4
para s =
p3 de s =
t+2
4
para s = 1.
35
t+2
4 ;
Isto dado pela equao
4s
p3 ( t+1 ),
p2 (4s t 1),
P (s, t) =
p1 ( 4st2
2t ),
se 0 6 s 6 t+1
4
t+2
se t+1
4 6s6 4
t+2
se 4 6 s 6 1.
4s
Provemos agora que est bem definido. De fato, t+1
I, pois para s =
t+1
4( 4 )
4s
t+1
t+1
0 temos t+1 = 0 e para s = 4 temos t+1 = t+1 = 1. Analogamente
prova-se que 4s t 1 I e 4st2
I. Veja tambm que
2t
(i) P (0, t) = p3 (0), P (1, t) = p1 (1);

(ii) P (s, 0) = (p1 .(p2 .p3 ))(s);
(iii) P (s, 1) = ((p1 .p2 ).p3 )(s).
Portanto, (1 (X, ), .) um grupo.
Observao 8. Note que um funtor da categoria C para G, onde C
a categoria dos espaos topolgicos e das funes contnuas que preservam
o ponto base e G a categoria dos grupos e dos homomorfismo de grupos.
Sejam f : X Y em C e 1 (f ) = f : 1 (X, ) 1 (Y, ) em G, a
funo f chamada de induzida da f e definida por f (p) = (f p) para
todo p 1 (X, ). Como 1 um funtor temos:
X

Y
/ 1 (X, )
f

/ 1 (Y, ).
Provaremos que o grupo fundamental no depende essencialmente de ,

desde que X seja conexo por caminhos. Isso curioso, pois parece que
1 (X, ) depende tanto do espao X como do ponto base .
36
Teorema 9. Sejam 1 , 2 X e suponhamos que 1 , 2 pertenam a

mesma componente conexa por caminhos de X. Ento
1 (X, 1 )
= 1 (X, 2 ).
Prova: Como 1 e 2 pertencem mesma componente conexa por caminhos de X, existe um caminho : I X tal que (0) = 2 e (1) = 1 .
Com isso defina o seguinte homomorfismo:
: 1 (X, 1 ) 1 (X, 2 )
[] 7 [..1 ]
Note que ..1 realmente um lao em 2 .
Para concluir que bijetora defina sua inversa por:

1 : 1 (X, 2 ) 1 (X, 1 )
[] 7 [1 ..].
Portanto, 1 (X, 1 )
= 1 (X, 2 ).
Proposio 10. Se f0 f1 : (X, ) (Y, ) ento
f0 = f1 : 1 (X, ) 1 (Y, ).
Prova: Por hiptese f0 f1 , isto , existe H : X I Y contnua tal
que H(x, 0) = f0 (x), H(x, 1) = f1 (x) e H(, t) = .
Dado [p] 1 (X, ) qualquer, provaremos que f0 p f1 p. De
fato, defina G : I I Y tal que G(s, t) = H(p(s), t). Assim, G(s, 0) =
f0 (p(s)), G(s, 1) = f1 (p(s)) e G(0, t) = = G(1, t). Logo, f0 p f1 p.
Portanto, f0 ([p]) = [f0 p] = [f1 p] = f1 ([p]).
37
Definio 11. Uma funo contnua f : (X, A) (Y, B) chamada equivalncia de homotopia, se existir uma funo contnua g : (Y, B) (X, A)
tal que g f 1X e f g 1Y . Neste caso, escrevemos (X, A) ' (Y, B),
e dizemos que os pares tm o mesmo tipo de homotopia.
Teorema 12. Se f : (X, ) (Y, ) uma equivalncia de homotopia,
ento f : 1 (X, ) 1 (Y, ) um isomorfismo.
Prova: Primeiramente provaremos que f bijetora. Para isso, mostraremos que f inversvel.
Como f uma equivalncia de homotopia, existe g : (Y, ) (X, )
tal que f g 1Y e g f 1X . Assim,
f g = (f g) = 1Y ,
e analogamente prova-se g f = 1X . Com isso, a inversa de f g .
Portanto, f bijetora. A demonstrao de que f homomorfismo
natural e portanto ser omitida.
Definio 13. Dizemos que (X, ) contrtil se (X, ) ' ({}, ).
Definio 14. Um conjunto X chamado simplesmente conexo se X
conexo por caminhos e 1 (X, ) = 0.
Teorema de van Kampen
Vamos agora descrever uma ferramenta til para o clculo de 1 que

muitas vezes conveniente para mostrar que um espao simplesmente
conexo.
Suponhamos X = X1 X2 com X1 X2 6= . Escolha X1 X2 .
Ento temos os homomorfismos
i1 : 1 (X1 X2 , ) 1 (X1 , )
i2 : 1 (X1 X2 , ) 1 (X2 , )
[p] 7 [i1 p]
[p] 7 [i2 p],
onde ik : X1 X2 Xk , com k = 1, 2, so incluses.

38
Sejam G, G1 e G2 grupos, e suponha que temos os homomorfismos

f1 : G G1
f2 : G G2 .
Vamos definir o produto amalgamado de G1 e G2 sobre G. Essencialmente este o menor grupo gerado por G1 e G2 com f1 (x) = f2 (x) para
x G. Especificamente, seja F o grupo livre gerado pelo conjunto G1 G2 .
Vamos escrever x y para o produto em F .
Assim todo elemento de F da forma x11 . . . xkk onde i = 1 e
xi G1 G2 . Considere as palavras (xy)1 y 1 x1 definido se ambos x
e y pertencem a G1 ou G2 , e (f1 (g))1 (f2 (g))1 para g G.
Seja
R = {(xy)1 y 1 x1 , (f1 (g))1 (f2 (g))1 | x, y G1 ou G2 , g G},
que um subgrupo normal de F .
Definio 15. O produto amalgamado de G1 e G2 sobre G, escrito como
G1 G G2 o grupo quociente
F
= {a R; a F }.
R
Na definio do produto amalgamado, quocientamos F por R para que
os elementos (xy)1 y 1 x1 e (f1 (g))1 (f2 (g))1 de F determinem o
elemento neutro do quociente. Note que este elemento (xy)1 y 1 x1
mesmo com x, y G1 ou x, y G2 no igual ao elemento neutro, mas
gostaramos que fossem, por isso definimos o produto amalgamado como F
R.
1
1
O mesmo raciocnio vale para os elementos desta forma; (f1 (g)) (f2 (g)) .
Observe que existem homomorfismos gi : Gi F
R obtidos como comi
P roj
posio Gi F F
R , onde Proj a projeo natural e g1 f1 = g2 f2 .
Com efeito, dado x G qualquer, ento
g1 (f1 (x)) = (P roj i)(f1 (x)) = P roj(f1 (x)) = (f1 (x))R
e
g2 (f2 (x)) = (P roj i)(f2 (x)) = P roj(f2 (x)) = (f2 (x))R,
39
mas (f1 (g))1 (f2 (g))1 R o que implica (f1 (x)) R = (f2 (x)) R.
Portanto, g1 f1 = g2 f2 .
Definio 16. Um par de subespaos (X1 , X2 ) de X dito excisivo se
X = (IntX1 ) (IntX2 ).
Sejam j1 : X1 X e j2 : X2 X as incluses.
O Teorema de van Kampen nos permite calcular 1 (X), conhecidos
1 (X1 ), 1 (X2 ) e 1 (X1 X2 ). Para provarmos este teorema precisaremos
do seguinte resultado:
Proposio 17. (a) Suponha que hi : Gi H so homomorfismos tais que
h1 f1 = h2 f2 . Ento existe um nico homomorfismo h : G1 G G2 H
com h gi = hi .
G
f1
G1
g1
h1
f2
/ F o
R
h

H
g2
G2
h2
(b) Se cada elemento x H pode ser escrito como x = x1 . . . xk com

xs = hi (as ) para algum i, ento h sobrejetora.
Prova: (a) Seja h0 : F H definida por h0 |Gs = hs com s = 1, 2, isto
possvel desde que F um grupo livre gerado por G1 G2 . Provaremos
agora que h0 (R) = 1. De fato, como h0 homomorfismo temos:
1
0
1 0
1 0
h0 ((xi xj )1 x1
h (xi )1
j xi ) = h ((xi xj ) )h (xj )
= hs (xi xj )hs (xj )1 hs (xi )1

= hs (xi )hs (xj )hs (xj )1 hs (xi )1 = 1;
0
1
h0 (11
= hs (1)1 = 1;
s ) = h (1s )
40
h0 ((f1 (g))1 (f2 (g))1 ) = h0 ((f1 (g))1 )h0 (f2 (g))1

= h1 (f1 (g))h2 (f2 (g))1 = 1.
Assim, h0 determina um homomorfismo h : G1 G G2 H definido por
h(aR) = h0 (a), onde a F . Mostraremos que h um homomorfismo.
(i) h est bem definida.
Com efeito, sejam a, b F quaisquer. Assim,
aR = bR ba1 R h0 (ba1 ) = 1 h0 (b)h0 (a)1 = 1 h0 (b) = h0 (a).
(ii) h homomorfismo.
Sejam a, b F . Ento
h(aR bR) = h(abR) = h0 (ab) = h0 (a)h0 (b) = h(aR)h(bR).
Observe que, por construo h gi = h0 |Gi = hi , da claramente se
conclu que h nica.
(b) Seja x = x1 . . . xk H qualquer. Ento,
x = x1 . . . xk = hi1 (a1 ) . . . hik (ak ) = h(gi1 (a1 ) . . . gik (ak )) = h(a1 . . . ak ).
Note que usamos o fato de h gi = hi para concluir que h sobrejetora.
Teorema 18 (Teorema de van Kampen). Suponhamos que (X1 , X2 )
excisivo e X, X1 , X2 , X1 X2 so conexos por caminhos. Seja X1 X2 .
Ento existe um isomorfismo
1 (X, )
= 1 (X1 , ) 1 (X1 X2 ,) 1 (X2 , ),
com (j1 ) e (j2 ) correspondendo a g1 e g2 .
Prova: Para facilitar a redao, usaremos o termo caminho pequeno (homotopia pequena) para caminho (homotopia) tal que sua imagem est contida em X1 ou X2 .
Considere os seguintes homomorfismos, com k = 1, 2,
(jk ) : 1 (Xk , ) 1 (X, )
[p] 7 [p]
(ik ) : 1 (Xk , ) 1 (X, )

[p] 7 [i p]
41
Observe essas funes no seguinte diagrama:

1 (X1 X2 , )
i1
1 (X1 , )
g1
i2
/ 1 (X1 , )
h1
1 (X1 X2 ,)
1 (X2 , ) o

t
1 (X, )
g2
1 (X2 , )
h2
Note que (j1 ) i1 = (j2 ) i2 , assim pela Proposio 17(a) existe

um homomorfismo
h : 1 (X1 , ) 1 (X1 X2 ,) 1 (X2 , ) 1 (X, ).
Mostraremos que h um isomorfismo.
Primeiramente provaremos que h sobrejetora. De fato, dado [p]
1 (X, ), isto , p : I X um lao em . I coberto por p1 (Int(X1 ))
e p1 (Int(X2 )), pois X = Int(X1 ) Int(X2 ). Como p1 (Int(X1 )) e
p1 (Int(X2 )) so abertos e I compacto existe um nmero de Lebesgue
> 0 para esta cobertura. Assim, podemos escolher
0 = t0 < t1 < . . . < tn = 1
de modo que ti ti1 < e por isso p([ti1 , ti ]) X1 ou X2 .
Suponha que esta partio foi escolhida de modo que
p(ti ) X1 X2 ; i = 0, 1, . . . n,
caso contrrio [ti1 , ti ] e [ti , ti+1 ] podem ser combinados em um nico
intervalo [ti1 , ti+1 ] (pois p([ti1 , ti+1 ]) Xj com j = 1 ou j = 2) e assim
ti no precisaria pertencer a partio escolhida de I.
Escolha caminhos qi : I X1 X2 com qi (0) = e q1 (1) = p(ti ) para
0 6 i 6 n com q0 = qn = . Estes caminhos qi existem, pois e p(ti )
pertencem a X1 X2 e X1 X2 conexo por caminhos.
Agora escrevemos pi : I X para o caminho p|[ti ,ti+1 ] . Assim,
p = pn1 . . . p1 p0 .
42
X1
pk
qj
qi
X2
Logo,
1
p qn 1 pn1 qn1 qn1
pn2 qn2 . . . q21 p1 q1 q11 po q0 .
Agora, cada classe [qk1 pk1 qk1 ] pertence ou a 1 (X1 , ) ou a

1 (X2 , ) e assim qk1 pk1 qk1 = (ji ) (qk1 pk1 qk1 ). Ento pela
Proposio 17 (b) temos que h sobrejetora. Assim, o fato de h ser
sobrejetora pode ser reafirmado, pode-se dizer que todo o caminho com
ponto base o produto de caminhos pequenos com ponto base.
Para mostrarmos que h um isomorfismo, resta provarmos que h
injetora, isto , ker h = 1 = [] 1 (X1 , ) 1 (X1 X2 ,) 1 (X2 , ).
Suponhamos caminhos pequenos com ponto base p1 , . . . , pm tais que
h([pm ] . . . [p1 ]) = 1.
Usamos [p] para indicar que a classe [p] pertence ao produto amalgamado.
Ento h uma homotopia H em X entre o produto pm pm1 . . . p1
e o caminho constante . Gostaramos de mostrar que
[pm ] . . . [p1 ] = [pm . . . p1 ] = 1
no produto amalgamado.
Para isto iremos subdividir I I em pequenos retngulos Ci,j tais que
H|Ci,j sejam pequenos. Da, seguindo as arestas horizontais desse quadrado obteremos uma sequncia de caminhos em X de pm . . . p1 para ,
qi,j
43
Ci,j
pi,j
cada um dos quais sendo escrito como um produto de caminhos pequenos,

e de tal modo que quaisquer dois caminhos adjacentes diferem por uma
homotopia pequena. Ser necessrio um pouco de cuidado, pois esses caminhos pequenos no so necessariamente baseados. Lidaremos com isso
por meio dos caminhos ri,j , abaixo.
Cubra I I por H 1 (Int(X1 )) e H 1 (Int(X2 )), e escolha um nmero
de Lebesgue > 0 para esta cobertura.
Sejam K > m2 e n = km. Considere os quadrados abaixo:

i i+1
j j+1
Ci,j =
,
,
.
n n
n n
Sabemos que H(Ci,j ) est contido em X1 ou X2 . Sejam
pi,j = H|[ i , i+1 ]{ j }
n
qi,j = H|{ j }[ i , i+1 ] ,

n
pi,j e qi,j so portanto caminhos pequenos, mas no so em geral caminhos

com ponto base.
Para cada vrtice ( ni , nj ), escolha um caminho ri,j de H( ni , nj ) para
que se encontra em X1 , X2 ou X1 X2 se H( ni , nj ) pertence a X1 , X2
ou X1 X2 , respectivamente. Isso possvel pois X1 , X2 e X1 X2 so
conexos por caminhos. No caso H( ni , nj ) = , escolha ri,j como sendo o
caminho constante . Assim, por conjugao
pei,j = ri+1,j pi,j ri,j 1
qei,j = ri,j+1 qi,j ri,j 1
so caminhos pequenos com ponto base. Consequentemente, qualquer palavra em [e

pi,j ] e [e
qi,j ] representa um elemento no produto amalgamado.
44
H uma homotopia pequena

qi+1,j pi,j pi,j+1 qi,j
(1.1)
relativa aos extremos, pois ambos os caminhos esto na imagem de

H : 1 Ci,j ;
i j
n, n
i+1 j+1
n , n
1 X ; H
i j
n, n
,H
i+1 j+1
n , n
com = 1 ou 2 e por (1.1)

1 Ci,j ;
i j
n, n
i+1 j+1
n , n
tem apenas um elemento. A partir da homotopia em (1.1) fcil produzir

uma homotopia pequena baseada
1
1
ri+1,j+1 qi+1,j pi,j ri,j
ri+1,j+1 pi,j+1 qi,j ri,j
.
o que implica que

1
1
1
1
ri+1,j+1 qi+1,j ri+1,j
ri+1,j pi,j ri,j
ri+1,j+1 pi,j+1 ri,j+1
ri,j+1 qi,j ri,j
e por isso temos

[e
qi+1,j ] [e
pi,j ] = [e
pi,j+1 ] [e
qi,j ]
no produto amalgamado. Assim,
1
[e
pi,j ] = [e
qi+1,j
] [e
pi,j+1 ] [e
qi,j ].
Podemos concluir que

1
1
[e
pn1,0 ] . . . [e
p0,0 ] = [e
qn,0
] . . . [e
qn,n1
] ([e
pn1,n ] . . . [e
p0,n ])([e
q0,n1 ] . . . [e
q0,0 ]) .
O produto do lado direito homotpico ao caminho constante e por
isso representado por . Assim,
[e
pn1,0 ] . . . [e
p0,0 ] = [].
Para finalizar mostraremos que
[pm ] . . . [p1 ] = [e
pn1,0 ] . . . [e
p0,0 ].
45
Escolha a Z com 0 6 a 6 m 1. Desde que n = km, [e

ps,0 ] esto
contidos ou em X1 ou X2 para ak 6 s 6 (a + 1)k 1. Assim a palavra
[e
p(a+1)k1,0 ] . . . [e
pak,0 ]
equivalente palavra de uma nica letra
[e
p(a+1)k1,0 . . . peak,0 ]
no produto amalgamado. Porm
pa+1 p(a+1)k1,0 . . . pak,0 pe(a+1)k1,0 . . . peak,0
assim
[pa+1 ] = [e
p(a+1)k1,0 ] . . . [e
pak,0 ].
Aplicaes
Faremos agora algumas aplicaes do Teorema de van Kampen.
Teorema 19. 1 (S n ) = 0 para n > 1.

Prova: Sejam
X1 = {(x1 , . . . , xn , xn+1 ) S n | xn+1 < 1},
X2 = {(x1 , . . . , xn , xn+1 ) S n | xn+1 > 1}.
Note que S n = X1 X2 e que X1 e X2 so abertos e conexos por caminhos. Pela projeo estereogrfica X1 e X2 so homeomorfos a Rn . Sabemos tambm que Rn contrtil e assim 1 (Rn ) = 1 (X1 ) = 1 (X2 ) = 0.
Observe que X1 X2 conexo por caminhos, pois X1 X2 homeomorfo
n
R {0} que conexo por caminhos.
Agora, aplicando o Teorema de van Kampen, temos:
1 (S n )
= 0 1 (X1 X2 ) 0 = 0.
46
Observao 20. Sabemos que S n conexo por caminhos, assim dizemos

que S n simplesmente conexo para n > 1.
Teorema 21. Seja X a unio de dois crculos no plano com um ponto em
comum. Ento 1 (X) o grupo livre em dois geradores.
Prova: Seja p o ponto em comum e escolha os pontos p1 e p2 em cada um
dos crculos, sendo estes distintos de p. Ento, (X {p1 }, p) ' (S 1 , p),
(X {p2 }, p) ' (S 1 , p) e ((X {p1 }) (X {p2 }), p) ' (p, p). Assim por
van Kampen, este o grupo livre em dois geradores x e y:
1 (X, p)
= hxi 0 hyi.
= 1 (S 1 , p) 1 (p,p) 1 (S 1 , p)
Teorema 22. Se X = S 2 J, onde J um segmento unindo dois pontos

quaisquer de S 2 , ento 1 (X) = Z.
Prova: Sejam a e b os pontos de interseo entre S 2 e J. Escolha p X J
qualquer. Existe X2 = B(p; ) S 2 , uma vizinhana de p, tal que X2 J =
, para suficientemente pequeno. Tome U X2 outra vizinhana de p e
considere X1 = X U .
a
Note que X = (X1 , X2 ) excisivo e X, X1 , X2 e X1 X2 so conexos

47
por caminhos. Sabemos que X1 ' S 1 , X2 ' {p} e X1 X2 ' S 1 . Logo,

1 (X1 ) = Z,
1 (X2 ) = 0,
1 (X1 X2 ) = Z.
Pelo Teorema de van Kampen segue que

1 (X)
= 1 (X1 ) 1 (X1 X2 ) 1 (X2 )
= Z Z 0 = Z.
Agradecimentos: Agradeo o meu orientador Thiago de Melo e ao auxlio

financeiro da Fundao de Amparo Pesquisa do Estado de So Paulo
(FAPESP).
Abstract: In Algebraic Topology the homotopy theory is a very important
subject. The fundamental group is the simplest invariant in this theory
and we had defined it in this work. Also we discussed how to compute
such group making use of the van Kampen Theorem.
Keywords: homotopy; loop; fundamental group.
[1] Bredon, G. E. Topology and Geometry, Graduate Texts in Mathematics 139, Springer (2010).
[2] Gray, B. Homotopy Theory. An Introduction to Algebraic Topology, Pure and applied mathematics series, 64 (1975).
[3] Hatcher, A. Algebraic Topology, Cambridge University Press
(2002).
[4] Munkres, J. R. Topology, Prentice Hall, Inc. (2000).
[5] Lima, E. L.Grupo fundamental e espao de recobrimento, Rio de
Janeiro: IMPA, (2006).
Estabilidade de Equaes Diferenciais com

Retardamento pelo Segundo Mtodo de
Lyapunoff e Aplicaes
Mrcia Ritchielle da Silva1
Orientador(a): Profa. Dra. Marta Cilene Gadotti
Resumo: Neste trabalho apresentamos alguns resultados sobre a estabilidade das Equaes Diferenciais com Retardamento, em relao ao ponto
de equilbrio x = 0, com base no segundo mtodo de Lyapunoff e segundo
a referncia [1].
Palavras-chave: Retardo; Lyapunoff; Estabilidade.
Introduo
O objetivo deste artigo fazer um estudo introdutrio sobre estabilidade de equaes diferenciais com retardamento (EDR) utilizando o segundo mtodo de Lyapunoff. Tambm podemos observar que diferentemente das equaes diferenciais ordinrias, a determinao de soluo de
uma EDR depende no apenas do conhecimento da mesma em um dado
instante inicial t0 , mas sim do conhecimento da soluo em um certo intervalo anterior a t0 .
Na seguinte seo introduzimos alguns conceitos bsicos sobre as equaes diferenciais com retardamento e os diferentes conceitos de estabilidade. J na segunda seo, apresentamos critrios de estabilidade, na linha
do segundo mtodo de Lyapunoff, considerando um funcional v(t, ), definido em [0, ) CH com valores em R, satisfazendo certas propriedades
que garantem a estabilidade das solues em torno do ponto de equilbrio
x = 0. E por fim, na terceira seo, temos duas aplicaes dos resultados
estabelecidos na seo anterior.
1 Bolsista
do Programa de Educao Tutorial (PET)SESu/MEC
49
50
Definies
Vamos introduzir primeiramente o conjunto no qual as condies iniciais da EDR sero consideradas. Sejam 0 h < , 0 < H ,
CH = { C = C([h, 0], Rn ); kk < H},
onde C([h, 0], Rn ) o espao de Banach das aplicaes contnuas de
[h, 0] no Rn , com a norma kk = suphx0 |(x)|, denotando | | uma
norma do Rn . No caso em que H = , CH = C = C, isto , CH o
prprio espao de Banach C.
Definio 1. Sejam 0 < A e x : [t0 h, t0 + A] Rn uma funo
contnua e seja t, t0 t t0 + A. Definimos xt como sendo o elemento de
C dado por xt () = x(t + ) para h 0.
Definio 2. Seja f : [0, ) CH Rn uma funo, a equao
x(t)
= f (t, xt )
(1.1)
chamada uma Equao Diferencial com Retardamento.

Vamos considerar CH e a condio inicial no dado instante t0 ,
denotada por xt0 = , ou seja, xt0 () = (), com [h, 0].
Definio 3. Sejam t0 0 e CH . Uma funo x : [t0 h, t0 +A) Rn
contnua dita uma soluo de (1.1) com funo inicial em t0 se:
i) xt CH para t0 t < t0 + A;
ii) xt0 = ;
iii) x(t)
= f (t, xt ) para t0 t < t0 + A.

Indicamos por x(t; t0 , ) a soluo da EDR, cuja funo inicial em t0
.
Usamos a notao xt (t0 , ) para indicar o elemento de C, dado por:
xt (t0 , )() = xt (t0 + ; t0 , ), [h, 0].
51
Definio 4. Dizemos que x = 0 estvel, se dados > 0 e t0 0, existe

= (, t0 ) > 0 tal que kk < e t t0 implica kxt (t0 , )k < .
Definio 5. Dizemos que x = 0 uniformemente estvel, se dados
> 0 e t0 0, = () > 0 tal que kk < e t t0 implicam
kxt (t0 , )k < .
Definio 6. Dizemos que x = 0 assintoticamente estvel se a definio de estabilidade satisfeita e a todo t0 0, = (t0 ) > 0 correspondente, tal que kk < implicam x(t; t0 , ) 0, com t .
Definio 7. Dizemos que x = 0 uniformemente assintoticamente
estvel se a definio (4) satisfeita e > 0 de modo que, > 0,
T () 0 correspondente, tal que se kk < e t0 0, ento kxt (t0 , )k <
, para t t0 + T ().
Definio 8. Dizemos que x = 0 globalmente assintoticamente estvel se H = e a definio (6) satisfeita, com (t0 ) = .
Vale observar que para equaes diferenciais ordinrias, o Segundo Mtodo de Lyapunoff desenvolvido. A seguir vamos apresentar alguns resultados para EDR sobre este mtodo inspirado pelo caso ordinrio, considerando inicialmente um funcional com algumas propriedades.
Definio 9. Seja v(t, ) um funcional definido para t 0, CH , isto
, v(t, ) uma aplicao contnua definida em [0, ) CH com valores
em R e considere v(t, 0) = 0, t 0.
O funcional v(t, ) chamado de positivo-definido se existir uma
funo escalar contnua (r), r 0, tal que v(t, ) (kk), para t
0, CH , com satisfazendo (r) > 0, com r > 0.
O funcional v(t, ) dito negativo-definido se v(t, ) for positivodefinido.
52
Para todo funcional v(t, ), t0 0, CH , definimos

1
v(t
0 , ) = v(t;
xt (t0 , )) = lim+ [(v(t0 + r; xt0 +r (t0 , )) v(t0 , )] ,
r0 r
onde lim indica o limite superior e x(t; t0 , ) soluo de (1.1), com condio inicial xt0 = .
Definio 10. Dizemos que o funcional v(t, ) tem extremo superior
infinitsimo se existir uma funo escalar contnua (r), com r > 0, tal
que |v(t, )| (kk), para t 0, CH e (0) = 0.
Definio 11. O funcional v(t, ) definido em [0, ) C, dito radialmente ilimitado se existir uma funo escalar contnua (r) tal que
v(t, ) (kk) e (r) , quando r .
Segundo Mtodo de Lyapunoff
Nesta seo, vamos supor vlidos o Teorema de Existncia e Unicidade

e os resultados sobre extenso de soluo para EDR, ver referncia [1].
Supomos ainda que a origem seja um ponto de equilbrio de x(t)
=
f (t, xt ), isto , f (t, 0) = 0, t 0.
Observao 12. Quando a equao y(t)
= g(t, yt ) tem um nico ponto
de equilbrio y 6= 0, podemos notar que a partir da mudana de varivel

x = y y temos, x(t)
= y(t)
= g(t, xt + yt ) = f (t, xt ) = 0 x = 0
ponto de equilbrio da equao x = f (t, xt ), onde xt = yt yt .
Portanto, a hiptese f (t, 0) = 0, t implica que x = 0 ponto de equilbrio da equao x(t)
= f (t, xt ). E assim, basta efetuarmos os resultados

de estabilidade para o ponto de equilbrio x = 0 de (1.1).
Seja g(t) uma funo escalar contnua, definida em [a, b), b . A
expresso
g(t + r) g(t)
lim
,
r
r0+
tem sempre significado, podendo ser + ou . Este limite denotado
por g(t).
53
No caso em que g(t) diferencivel, g(t)
coincide com a derivada de

g(t) no sentido usual.
Com relao derivada de g(t), tomada no sentido acima, temos os
seguinte lemas, que so fundamentais para o Segundo Mtodo de Lyapunoff
e esto demonstrados na referncia [1].
Lema 13. Seja g(t) contnua com g(t)
0 ( g(t)
0) para a t < b.
Ento, g(t) no crescente (no decrescente) em [a, b).
Lema 14. Suponha g(t) contnua com g(t)
(g(t)
), > 0 em
[a, b). Ento, g(t) g(t0 ) (t t0 ) (g(t) g(t0 ) + (t t0 )) para
a t0 t < b.
Teorema 15. Suponhamos que exista um funcional v(t, ), positivo-definido e satisfazendo v(t,
) 0. Ento, a soluo x = 0 de (1.1) estvel.
Prova: Suponhamos por absurdo que x = 0 no seja estvel. Ou seja,
suponha que exista > 0, tal que para todo > 0, existem e t1 tais que
kk < , t1 t0 e kxt1 (t0 , )k = .
Note que v(t, ) um funcional linear contnuo em [0, ) CH , ento
v(t, ) contnuo em (t0 , 0).
Assim, para () > 0, existe 0 = 0 (t, ) tal que k(t0 , 0)(t0 , )k < 0 ,
neste caso ento kk < 0 , implica |v(t0 , 0) v(t0 , )| < () v(t0 , ) <
().
O que implicaria
v(t1 , xt1 (t0 , )) (kxt1 (t0 , )k) = () > v(t0 , ) = v(t0 , xt0 (t0 , )).
Ou seja,
v(t1 , xt1 (t0 , )) v(t0 , xt0 (t0 , )).
(1.2)
Como v(t, ) no crescente e pelo Lema 3, segue que se t0 < t1 , ento

v(t0 , xt0 (t0 , )) > v(t1 , xt1 (t1 , )), o que contraria (1.2).
54
Teorema 16. Suponhamos que exista um funcional v(t, ) positivo-definido,

tendo extremo superior infinitsimo, com v(t,
) 0. Ento, a soluo
x = 0 de (1.1) uniformemente estvel.
Prova: Por hiptese, v(t0 , ) (kk), t 0. Como (r) contnua e
(0) = 0, segue que para qualquer > 0, existe = () > 0 tal que
kk < |(kk) (0)| < |(kk)| < .
Assim, dado > 0, t t0 , existe = () > 0 tal que
v(t0 , ) (kk) < () = , independente de t0 , pois = () vem da
continuidade de .
Repetindo o argumento do teorema anterior, segue a estabilidade.
Como independe de t0 , segue a estabilidade uniforme, como queramos
demonstrar.
Definio 17. Seja a soluo x = 0 de (1.1) assintoticamente estvel.
Dado t0 0, o conjunto
Dt0 = { CH /x(t; t0 , ) 0, t }
chamado o centro de atrao do ponto de equilbrio x = 0 em t0 .
Teorema 18. Suponhamos que exista um funcional v(t, ) positivo-definido, tendo extremo superior infinitsimo, com v(t,
) negativo-definido. Ento, a soluo x = 0 de (1.1) uniformemente assintoticamente estvel.
Prova: Como v(t,
) negativo-definido, ento existe (r), r > 0 tal que
v(t,
) (kk) 0. Logo, v(t,
) 0. Pelo teorema (16), segue a
estabilidade uniforme.
Como v(t, ) positivo-definido e tem extremo superior infinitsimo,
existem funes escalares contnuas (r) e (r), com (r) > 0 para r > 0
e (0) = 0 tal que (kk) v(t, ) (kk), para t t0 , CH .
Sejam H1 , H2 , 0 < H1 < H2 < H, escolhidos de modo que (H1 ) <
(H2 ), pois dado 0 < H2 < H, como contnua em [H2 , H], existe
minr[H2 ,H] (r) = > 0.
55
Agora, (r) 0, quando r 0, pois contnua, ento dado H2 ,

sempre existe .
Basta tomar H1 > 0 tal que (H1 ) < .
Afirmao: t0 0, CH implicam xt (t0 , ) CH2 para t0 t < t+ .
De fato, suponhamos que isto no seja verdade. Ento, existem t1 , t2 ,
t1 < t2 , com kxt1 (t0 , )k = H1 e kxt2 (t0 , )k = H2 .
Portanto,
v(t1 ; xt1 (t0 , )) (kxt1 (t0 , )k) = (H1 ) < (H2 ) =
(kxt2 (t0 , )k) v(t2 ; xt2 (t0 , )).
Segue do Lema (3) que existe , t1 < < t2 , tal que v(
; x (t0 , )) > 0, o
que nos leva a uma contradio.
Ento, t0 0, CH implicam xt (t0 , ) CH2 para t0 t < t+ , t+ =
. Como x = 0 uniformemente estvel, dado > 0, com 0 < <
H1 , = (), tal que C implica xt (t0 , ) C para t0 < t < .
Como v(t,
) negativo-definido, existe uma funo escalar (r) > 0
para r > 0, com v(t,
) (kk).
Sejam 0 < = inf rH2 (r), M > sup0rH1 (r) e T = M
.
Note que T no depende de t0 e portanto T () = T .
Afirmamos que CH1 implica x (t0 , ) C para algum instante
t , t0 t t0 + T .
Mostremos novamente por contradio. Suponhamos que isto no seja
verdade. Ento, kxt (t0 , )k H2 para t0 t t0 + T e, portanto,
v(t;
xt (t0 , )) (kxt (t0 , )k)
inf
rH2
(r) = ,
para t0 t t0 + T .
Segue do Lema (14) que v(t; xt (t0 , )) v(t0 , ) (t t0 ), para
0 t0 t t0 + T e, por conseguinte,
v(t0 + T ; xt0 +T (t0 , )) v(t0 , ) (t0 + T t0 )
(kk) (t0 + T t0 ) = (kk) T < M T = M
M
=0
56
Portanto, v(t0 + T ; xt0 +T (t0 , )) < 0. O que impossvel, pois v(t, )

positivo-definido (v(t0 + T ; xt0 +T (t0 , )) 0).
Ento, se C , com = H1 , implica x (t0 , ) C , para algum
t , t0 t t0 + T e, portanto, pela estabilidade uniforme, dado > 0,

0 < < H1 , = (), tal que C implica xt (t0 , ) C para
t t0 + T .
Teorema 19. Suponhamos que exista um funcional v(t, ), positivo-definido, radialmente ilimitado, tendo extremo superior infinitsimo e com v(t,
)
negativo-definido. Ento, a soluo x = 0 de (1.1) globalmente assintoticamente estvel.
Prova: Como v(t, ) positivo-definido e tem extremo superior infinitsimo, existem funes escalares contnuas 1 (r), (r), com 1 (r) > 0, r > 0
e (0) = 0, de modo que 1 (kk) v(t, ) (kk) para t 0, CH .
Como v(t, ) radialmente ilimitada, existe uma funo escalar contnua (r) tal que v(t, ) (kk) e (r) , quando r .
Definindo (r) = max{1 (r), (r)}, temos que (r) > 0 para r > 0,
(r) , com r e (kk) v(t, ) (kk).
Ento, dada qualquer constante positiva H1 , podemos encontrar H2 ,
tal que (H1 ) < (H2 ), j que (r) , com r e uma funo
contnua.
Assim CH1 est contido no centro de atrao do ponto de equilbrio
x = 0 para todo H1 , = H1 = . Portanto, x = 0 globalmente
assintoticamente estvel.
Teorema 20. Suponhamos que exista um funcional v(t, ) definido em
[0, ) CH e satisfazendo as seguintes condies:
(i) (|(0)|) v(t, ) (), t 0 e CH , onde () um funcional em CH , com (0) = 0 e (r) uma funo escalar contnua em
[0, H), com (r) > 0 para r > 0;
(ii) v(t,
) 0, t 0, CH .
57
Ento, a soluo x = 0 de (1.1) uniformemente estvel.

Prova: Dado > 0, 0 < < H1 , seja = (), 0 < < escolhidos de
modo que
() < (),
(1.3)
para C . Essa desigualdade ocorre pela continuidade da funes e

e (0) = 0 em 0. Dado > 0, sempre conseguimos () de forma
que essa desigualdade ocorra.
(1.3)
Ento, t0 0, C implicam v(t0 , ) () < ().

Como, do Lema (3) e da hiptese (ii), segue que v(t; xt (t0 , )) no
crescente, ento v(t; xt (t0 , )) v(t0 , ) < () para t t0 .
Afirmao: xt (t0 , ) C para t t0 .
De fato, pois caso contrrio existiria t > t0 satisfazendo
|xt (t0 , )| = . Pela hiptese (i), teramos
v(t; xt (t0 , )) (|x(t; t0 , )|) = (),
levando-nos a uma contradio, pois v no crescente.
Assim, C , t0 0 |x(t; t0 , )| < para t t0 .
Note que o () foi tomado segundo a continuidade da , independente
de t0 .
Portanto, x = 0 uniformemente estvel.
Teorema 21. Suponhamos que exista um funcional v(t, ) definido em
[0, ) CH e satisfazendo a condio (i) do teorema (20). Suponhamos
ainda que exista uma funo escalar (r), r 0, positiva e contnua para
r > 0 tal que v(t,
xt ) (|x(t)|), para toda soluo x(t) de (1.1). Suponhamos que f (t, ) seja limitada em [0, ) CH . Ento, a soluo x = 0
de (1.1) assintoticamente estvel.
Prova: Tomemos por convenincia |x| = sup1jn |xj |.
Sejam H1 , H2 , 0 < H1 < H2 < H, escolhidos de modo que se CH1 ,
ento () < (H2 ) (pela continuidade de e ).
58
Do mesmo modo que na prova do teorema anterior, segue que se

CH1 , ento xt (t0 , ) CH2 , para t t0 0. Assim, pelo teorema (20), x
uniformemente estvel. Logo, x estvel.
Para completar a demostrao, suficiente mostrar que se CH1 e
t0 0, ento x(t; t0 , ) 0, com t .
Vamos provar por contradio. Suponhamos que existam t0 0 e
CH1 de modo que x(t; t0 , ) no tenda para zero com t . Ento,
existe uma sequncia crescente (tm )mN , com tm+1 tm > 2 e > 0 de
modo que |x(tm ; t0 , )| > , m.
Afirmao: Existe > 0 no dependendo de m, tal que |x(t; t0 , )| >
para |tm t| .
De fato, seja > 0, satisfazendo |f (t, )| , t 0 e para CH ,

pois f (t, ) limitada por hiptese.
Para cada tm , considere o intervalo (tm 1, tm + 1) e, aplicando o
Teorema do Valor Mdio para t (tm 1, tm + 1) Temos:
|xj (tm ; t0 , ) xj (t; t0 , )| = |xj (; t0 , )(t tm )| =
|fj (, x )||tm t| |tm t|,
onde um nmero entre tm e t.
Note que
|xj (tm ; t0 , )| |xj (t; t0 , )| |xj (tm ; t0 , ) xj (t; t0 , )| |tm t|
= |xj (tm ; t0 , )| |tm t| |xj (t; t0 , )|.
Assim,
|xj (t; t0 , )| xj (tm ; t0 , )| |tm t| > |tm t|.
Agora, tomando = min
3 , 1

, temos
|xj (t; t0 , )| xj (tm ; t0 , )| |tm t| >

para |tm t| .
= = > ,
3
3
3
2
Observamos que no depende de m. Ento,

para |tm t| e isto acarreta que
v(t;
xt (t0 , )) (|x(t; t0 , )|)
59
< |xj (t; t0 , )| H2
sup {(r)} = q < 0.
2 rH2
Note tambm que como tm+1 tm > 2, temos para m = 1, que t2 t1 > 2
e 1 t1 + < t2 . Da, como v 0, segue pelo Lema (3) que
v(t1 + , xt1 + (t0 , )) > v(t2 , xt2 (t0 , ))
v(t1 + , xt1 + (t0 , )) v(t2 , xt2 (t0 , )) > 0.
Repetindo este argumento para m = 2, ..., N , obtemos
v(tN 1 + , xtN 1 + (t0 , )) v(tN , xtN (t0 , )) > 0.
(1.4)
Portanto, pelos Lemas (3) e (14) e o fato de que 1 e tm+1 tm > 2,

segue que n N, temos
(1.4)
0 v(tN + , xtN + (t0 , )) v(t1 , xt1 (t0 , ))

N
X
Lema(14)
[v(tm + , xtm + (t0 , )) v(tm , xtm (t0 , ))]
m=1
N
X
q|tm + tm + | = 2N q.
m=1
Por conseguinte, v(tN + , xtN + (t0 , )) quando N , o que

no possvel, pois v(t, ) 0 e segue o resultado.
Aplicaes
Aplicao 1. Mostremos que a soluo nula da equao x(t)
= x(t)g(t, xt ),
onde g(t, ) 0 uniformemente estvel.
Para isto, considere v(t, ) = [(0)]2 , CH .
Mostremos ento, a validade das hipteses do Teorema (20).
60
1. Afirmamos que v(t,

) 0.
Com efeito,
v(t,
xt ) = [xt (0)]2 = [x(t + 0)]2 = [x(t)]2 .
Assim,
v(t,
xt ) = 2x(t)x(t)
= 2x(t)[x(t)g(t, xt )] = 2[x(t)]2 g(t, xt ) 0.

Portanto, v(t,
) 0.
2. Provemos que existe : R+ R+ , onde (r) > 0 para r > 0 e existe
(); : CH R, onde (0) = 0 tal que (|(0)|) v(t, ) ().
Basta definir (r) = r2 , r.
Mostremos que v(t, ) = [(0)]2 ().
De fato, considere () = kk2 .
Como kk = suph0 |()| |(0)|, temos kk2 |(0)|2 .
Logo, 0 [(0)]2 kk2 .
Pelo teorema (20), conclumos que x = 0 uniformemente estvel.
Aplicao 2. Seja b(t) uma funo escalar contnua de modo que |b(t)|
, t 0 e 0 = h < . Sejam H e a escolhidos de modo que H < a,
com H e a sendo reais positivos. Ento, a soluo x = 0 da equao
x(t)
= ax(t) + b(t)x(t )x(t)

assintoticamente estvel e CH est contido no centro de atrao para
todo t0 0.
De fato, primeiramente, note que a soluo x = 0 uniformemente
estvel, pelo Teorema (20), pois (|(0)|) v(t, ) () e v(t,
) 0
2
2
2
(basta tomar (r) = r , v(t, ) = [(0)] e () = kk , como na aplicao
(1)).
61
E tambm que
|f (t, )| = | (0)(a b(t)( ))| = | (0)||a b(t)( )|
H(|a| + | b(t)||( )|) H(a H).
Portanto, f (t, ) limitada.
Afirmao: v(t,
xt ) (|x(t)|). Para isto, defina (r) = 2r2 (a H)
(a > H e contnua). Tambm v(t, ) = [(0)]2 = [xt (0)]2 = x2 (t) e
v(t,
xt ) = 2x(t)x(t)
= 2x2 (t)(a + b(t)xt ( )) = 2x2 (t)(a b(t)xt ( )).

Basta mostrar que |v(t,
xt )| .
|v(t,
xt )| = | 2x2 (t)(a b(t)xt ( ))| = | 2x2 (t)||a b(t)xt ( )|
| 2x2 (t)|(|a| |b(t)||xt ( )|) | 2x2 (t)|(a H) = (|x(t)|).
Conclumos que |v|
. Logo, pode ocorrer |v|
ou |v|
.
Mostremos que v(t,
xt ) 0.
Para isto, basta mostrar que a b(t)xt ( ) > 0. De fato,
|b(t)xt ( )| H < a, t 0. Logo, o sinal de a b(t)xt ( ) igual ao
sinal de a.
Portanto, v(t,
xt ) (|x(t)|). Logo, x = 0 assintoticamente estvel,
de acordo com o Teorema (21).
Agradecimentos: Agradeo a minha orientadora Marta Cilene Gadotti, por
sua ajuda, dedicao e ateno e ao auxlio financeiro do Programa de
Educao Tutorial (PET)SESu/MEC, pelo apoio financeiro.
Abstract: We present some results on stability of differential equations
with delay in relation to equilibrium point x = 0, based on the second
method Lyapunoff and using reference [1].
Keywords: Delay; Lyapunoff; Stability.
[1] Onuchic, N. Equaes Diferenciais com Retardamento, Escola de Engenharia de So Carlos, USP, Julho de 1971.
62
[2] Lima, E.L. Curso de Anlise, Projeto Euclides, IMPA, 1992.

[3] Kreyszig, E. Introductory Functional Analysis with applications, John
Wiley & Sons, 1978.
O Teorema de ponto fixo de Brouwer em

dimenso um e algumas equivalncias
Pollyane Vieira da Silva1
Orientador(a): Profa. Dra. Thas Fernanda Mendes Monis
Resumo: Nesse trabalho, estudamos o Teorema de ponto fixo de Brouwer

para o intervalo e algumas equivalncias.
Palavras-chave: funo contnua, conjunto compacto, ponto fixo.
Introduo
A Teoria de ponto fixo um ramo da Topologia que trata, em particular, da seguinte questo: dado um espao topolgico X e uma funo
contnua f : X X, sob quais condies possvel garantir a existncia
de um ponto fixo de f , isto , de um ponto x X tal que f (x) = x?
Um resultado basilar em Teoria de ponto fixo, e talvez o mais famoso,
o Teorema de ponto fixo de Brouwer. Em linhas gerais, ele afirma que
o cubo de dimenso n, [0, 1] [0, 1] Rn , possui a propriedade do
ponto fixo. Isto , para toda funo contnua f : [0, 1] [0, 1]
[0, 1] [0, 1] existe x0 = (x10 , x20 , . . . , xn0 ) tal que f (x0 ) = x0 .
Nesse trabalho, trataremos apenas do Teorema de ponto fixo de Brouwer
para o intervalo.
O trabalho est organizado do seguinte modo: na seo 2, apresentamos
alguns conceitos e resultados preliminares. Na seo 3, demonstramos que
so equivalentes os seguintes teoremas:
Teorema 1 (Teorema do Valor Intermedirio). Seja f uma funo contnua no intervalo fechado [a, b] com f (a) < f (b) ou f (a) > f (b). Se um
nmero c est entre f (a) e f (b), ento h um ponto x0 [a, b] tal que
f (x0 ) = c.
1 Bolsista
do Programa de Educao Tutorial (PET)-SESu/MEC
63
64
O Teorema de ponto fixo de Brouwer em dimenso um e . . .
Teorema 2 (Teorema do Anulamento). Seja f : [a, b] R uma funo

contnua com f (a) < 0 < f (b) ou f (b) < 0 < f (a). Ento existe pelo
menos um ponto x [a, b] tal que f (x) = 0.
Teorema 3 (Teorema do Ponto Fixo de Brouwer). Seja f : [a, b] [a, b]
uma funo contnua. Ento existe x0 [a, b] tal que f (x0 ) = x0 .
Por fim, na seo 4, apresentamos uma demonstrao do Teorema de
ponto fixo de Brouwer para intervalos e, como aplicao, apresentamos o
Teorema de BorsukUlam para a S 1 .
Conceitos e resultados preliminares
Nesse trabalho, tratamos de funes f cujos domnio, Df , e imagem,

Im(f ), so subconjuntos de R. Para tais funes temos a seguinte definio.
Definio 4. Dada uma funo f e um ponto p de seu domnio, dizemos
que f contnua em p se:
> 0, > 0 ( = (p, )) / x Df , |x p| < |f (x) f (p)| < .
Dados X R e f : X X uma funo, dizemos que x X um
ponto fixo de f se f (x) = x.
Definio 5. Seja X um subconjunto de R. Dizemos que X tem a Propriedade do Ponto Fixo (P.P.F.) se toda funo contnua f : X X tiver
um ponto fixo, isto , f (x) = x para algum x X. O conjunto dos pontos
fixos de f denotado por
F ix(f ) = {x X | f (x) = x}.
Definio 6. Uma sequncia de nmeros reais uma funo x : N R
que associa a cada nmero natural n, um nmero real x(n), o qual
comumente denotado por xn .
65
Definio 7. Dizemos que a sequncia (xn )nN converge para L R se:

> 0, n0 N / n > n0 |xn L| < .
Definio 8. Seja X um subconjunto de R. Dizemos que X compacto se
toda sequncia (x1 , x2 , . . . , xn , . . .) de pontos de X contm uma subsequncia (xn1 , xn2 , . . . , xnk , . . .) convergindo para algum ponto x do mesmo conjunto X.
Dados a, b R, a < b, denotamos por [a, b] = {x R | a 6 x 6 b}
o conjunto dos nmeros reais que esto entre os nmeros a e b, inclusive
estes. Esse conjunto chamado o intervalo fechado com extremos a e b.
O corpo dos nmeros reais satisfaz a seguinte propriedade:
Princpio dos Intervalos Encaixantes: Seja (I0 , I1 , . . . , In , . . .) uma
sequncia de intervalos fechados tal que cada intervalo encontra-se dentro
do anterior, com os comprimentos tendendo a zero quando n tende ao
infinito. Ento a interseco de todos esses intervalos fechados contm um
nico ponto x0 .
Como consequncia do Princpio dos Intervalos Encaixantes, temos o
seguinte resultado.
Teorema 9. Todo intervalo I0 = [a, b] de R compacto.
Prova: Seja (xn ) uma sequncia de pontos de [a, b]. Divida o intervalo
[a, b] na metade. Pelo menos uma das metades contm infinitos pontos da
sequncia (xn ). Chame uma tal metade por I1 e escolha um ponto xn1 da
sequncia (xn ) que esteja em I1 . Agora, divida o intervalo I1 na metade.
Novamente, uma dessas metades deve conter uma infinidade de pontos da
sequncia (xn ). Tome uma tal metade e chame-a por I2 . Escolha um
ponto xn2 da sequncia (xn ) que esteja em I2 . Por induo, obtemos uma
sequncia de intervalos fechados encaixados,
I0 = [a, b] I1 Ik
66
ba
O comprimento do intervalo Ik igual a
e, para cada k, foi esco2k
lhido um ponto xnk da sequncia (xn ) no intervalo Ik . Os comprimentos
desses intervalos Ik s tendem a zero quando k tende a infinito. Assim, pelo
T
Princpio dos Intervalos Encaixantes, h um nico ponto x0 k=0 Ik .
Note que, em particular, x0 [a, b].
Vamos provar que a subsequncia (xn1 , xn2 , . . . , xnk , . . .) da sequncia
(xn ) converge para x0 .

b a

Tome > 0 arbitrrio. Ento, existe m N tal que m < .
2
Agora, para todo k > m, tem-se
ba
ba
6 m .
k
2
2
Assim, dado k > m, como x0 , xnk Ik , temos |x0 xnk | <
Isso prova que a sequncia xnk converge para o ponto x0 .
ba
< .
2k
Logo o intervalo I0 compacto.

Finalizamos essa seo com o seguinte resultado sobre funes contnuas.
Teorema 10. Se f : [a, b] R contnua ento f limitada superior e
inferiormente, isto , existem nmeros m e M tais que m 6 f (x) 6 M ,
para todo x [a, b].
Prova: Seja f : [a, b] R uma funo contnua. Vamos provar que a
funo f limitada superiormente, ou seja, que existe um nmero M tal
que f (x) 6 M , para todo x [a, b] . Se no existir um tal nmero M ,
existem pontos x1 [a, b] tal que f (x1 ) > 1, x2 [a, b] tal que f (x2 ) > 2,
. . . , xn [a, b] tal que f (xn ) > n, etc. Como um intervalo fechado
compacto, uma sequncia de pontos (xnk ) pode ser escolhida a partir da
sequncia (xn ) de modo que convirja para algum ponto x0 de [a, b]. Como
a funo f contnua no ponto x0 , dado > 0, existe > 0 tal que
f (x0 ) < f (x) < f (x0 ) +
67
sempre que x [a, b] e |x x0 | < .

1
Tome = .
2
1. Seja N N tal que f (x0 ) +
1
< N.
2
2. Seja > 0 tal que

x [a, b], |x x0 | < |f (x) f (x0 )| <
1
.
2
3. Seja k0 N tal que k > k0 |xnk x0 | < .

Assim, tomando k > k0 tal que nk > N , temos:
f (xnk ) < f (x0 ) +
1
< N < nk ,
2
contradizendo o fato de que f (xnk ) > nk .

Logo, f limitada superiormente.
Analogamente, prova-se que f limitada inferiormente.
Teoremas equivalentes
Nessa seo, demonstraremos que os teoremas de ponto fixo de Brouwer

em dimenso um, do Valor Intermedirio e do Anulamento so equivalentes. Para tal, demonstraremos as seguintes implicaes:
Teorema de ponto fixo de Brouwer
7?
(3)
Teorema do Anulamento ks
(1)
(2)
Teorema do Valor Intermedirio
68
(1) Teorema de ponto fixo de Brouwer Teorema do Valor Intermedirio

Prova: Seja f : [a, b] R uma funo contnua e, sem perda de generalidade, suponha f (a) < f (b). Seja c um nmero entre f (a) e f (b). Vamos
construir uma funo F : [a, b] [a, b] tal que f (x) = c se, e somente se,
F (x) = x. A funo F ter a forma F (x) = (f (x) c) + x, para algum
6= 0.
Encontrando :
1. Seja x1 [a, b] tal que f (x) < c para todo a 6 x 6 x1 (existe pois
f (a) < c e f contnua);
2. Seja x2 [a, b] tal que f (x) > c para todo x2 6 x 6 b (existe pois
f (b) > c e f contnua);
3. Existem m e M tais que m 6 f (x) 6 M , para todo a 6 x 6 b.
Tomemos

= max
a x1 b x2
,
M c mc

.
Note que negativo. Provemos que a 6 F (x) 6 b, para todo x [a, b].
i) F (x) > a: Suponhamos f (x) > c, ento f (x) c > 0 e x > x1 . Assim
(f (x) c) + x >
(a x1 ) (f (x) c)
+ x > a x1 + x > a.
M c
Suponhamos f (x) < c, ento f (x) c < 0. Como < 0, temos

(f (x) c) > 0.
Assim (f (x) c) + x > x > a. Logo, F (x) = (f (x) c) + x > a, para
todo x.
69
ii) F (x) 6 b: Suponhamos f (x) > c, ento f (x) c > 0. Como < 0,
temos
(f (x) c) 6 0.
Assim, (f (x) c) + x 6 x 6 b.
Suponhamos f (x) < c, ento f (x) c < 0 e x < x2 . Assim
(f (x) c) + x 6
(b x2 ) (f (x) c)
+ x 6 b x2 + x 6 b.
mc
Logo, F (x) = (f (x) c) + x 6 b, para todo x [a, b].

Portanto, a 6 F (x) 6 b, para todo x [a, b].
(2) Teorema do Valor Intermedirio Teorema do Anulamento
Prova: Seja f : [a, b] R uma funo contnua. Se f (a) < 0 e f (b) > 0,
ento 0 est entre f (a) e f (b). Pelo Teorema do Valor Intermedirio, existe
pelo menos um x0 [a, b] tal que f (x0 ) = 0.
(3) Teorema do Anulamento Teorema de ponto fixo de Brouwer
Prova: Seja f : [a, b] [a, b] uma funo contnua. Consideremos a funo
g : [a, b] R definida por g(x) = x f (x). Se g(a) = 0 ou g(b) = 0, est
demonstrado. Caso contrrio, temos g(a) = af (a) e, como a < f (a) 6 b,
segue que g(a) < 0. Por outro lado, g(b) = b f (b) e, como a 6 f (b) < b,
segue que g(b) > 0. Pelo Teorema do Anulamento, existe x0 [a, b] tal
que g(x0 ) = 0, isto , x0 = f (x0 ). Portanto, x0 um ponto fixo de f .
Demonstrao do Teorema de ponto fixo de Brouwer
Prova: Seja f : [a, b] [a, b] uma funo contnua. Se f (a) = a ou

f (b) = b no h nada a fazer. Assim, consideremos o caso em que f (a) > a
e f (b) < b.
b+a
Divida o intervalo I0 = [a, b] ao meio e seja c =
o ponto mdio
2
desse intervalo. Se f (c) = c, o teorema est demonstrado. Caso contrrio,
70
teremos f (c) < c ou f (c) > c. Se f (c) < c, tome por I1 = [a, c]. Se
f (c) > c, tome por I1 = [c, b].
Divida o intervalo I1 ao meio atravs de seu ponto mdio, que denotaremos por d. Caso f (d) = d, o teorema est demonstrado. Caso contrrio,
temos f (d) < d ou f (d) > d.
Tome o extremo x do intervalo I1 tal que
(f (d) d)(f (x) x) < 0.
Definimos indutivamente o intervalo Ij a partir do intervalo Ij1 seguindo o procedimento:
Se o ponto mdio de Ij1 um ponto fixo de f , o teorema est
demonstrado.
Caso contrrio, tome Ij como sendo o intervalo determinado pelo
ponto mdio de Ij1 e pelo extremo do intervalo Ij1 onde a funo
f (x) x assume sinal oposto ao que assume no ponto mdio de Ij1 .
Com esse processo, ou algum ponto mdio desses intervalos ponto
fixo de f ou obtemos uma sequncia de intervalos fechados encaixados
T
com comprimento tendendo a zero. Nesse ltimo caso, temos j=0 Ij =
{x0 }. Afirmamos que f (x0 ) = x0 . De fato, suponha o contrrio, isto ,
f (x0 ) 6= x0 . Ento f (x0 ) < x0 ou f (x0 ) > x0 . Sem perda de generalidade,
suponha f (x0 ) < x0 . Da continuidade da funo g(x) = f (x) x, existe
> 0 tal que f (x) x < 0 para todo x (x0 , x0 + ). Seja n N
1
1
tal que n < . Temos que o intervalo In = [an , bn ] possui dimetro n
2
2
e que x0 In . Logo In (x0 , x0 + ) e, portanto, f (x) x < 0 para
todo x In . Mas o intervalo In foi construdo de modo que f (an ) an e
f (bn ) bn possussem sinais opostos, uma contradio.
Logo, f (x0 ) = x0 .
Agora, como uma aplicao do Teorema de ponto fixo de Brouwer
apresentamos o Teorema de BorsukUlam para a S 1 . Para isso precisamos
das seguintes definies:
71
Definio 11. Chamamos de circunferncia de centro O e raio 1 o conjunto

dos pontos (x, y) R2 tais que x2 + y 2 = 1. Denotamos esse conjunto
por S 1 .
Definio 12. Dois pontos x, y S 1 so chamados pontos antpodas se
x = y.
Teorema 13 (Teorema de BorsukUlam). Seja f : S 1 R uma funo
contnua. Ento existe um ponto x S 1 tal que f (x) = f (x), i.e., ao
menos um par de pontos antpodas possui mesma imagem.
Prova: Dado x S 1 , existe um nico nmero [0, 2) tal que x =
(cos(), sen()). O nmero chamado de coordenada angular de x. Note
que se x S 1 e se x = (cos(), sen()) ento x = (cos(+), sen(+)).
Considere a funo g : [0, ] R definida por
g() = f (cos(), sen()) f (cos( + ), sen( + )).
Note que g(0) = f ((1, 0)) f ((1, 0)) e que g() = f ((1, 0))
f ((1, 0)). Assim, g(0) = g().
Se g(0) = 0, conclui-se que f ((1, 0)) = f ((1, 0)) e, assim, o teorema
est demonstrado. Caso contrrio, temos que g(0) e g() possuem sinais
opostos. Logo, pelo Teorema do Anulamento, existe 0 [0, ] tal que
g(0 ) = 0 e, portanto, para x0 = (cos(0 ), sen(0 )) S 1 tem-se f (x0 )
f (x0 ) = 0, o que implica f (x0 ) = f (x0 ).
[1] Shashkin, Yu. A., Fixed points. Traduzido do Russo por Viktor Minachin. American Mathematical Society, Providence, RI; Mathematical
Association of America, Washington, DC, 1991.
Homotopia
Tas Roberta Ribeiro1
Orientador(a): Prof. Dr. Joo Peres Vieira
Resumo: Neste trabalho introduziremos o conceito de aplicaes homotpicas, tipo de homotopia e espaos contrteis, bem como apresentaremos
vrios exemplos e resultados.
Palavras-chave: Aplicaes Homotpicas; Tipo de Homotopia; Espaos
Contrteis
Aplicaes Homotpicas
Definio 1. Duas funes contnuas f, g : Y X dizem-se homotpicas

quando existe uma aplicao contnua F : Y I X tal que F (y, 0) =
f (y) e F (y, 1) = g(y) para todo y Y . A aplicao F chama-se uma
homotopia entre f e g e escrevemos f ' g ou F : f ' g.
Se f homotpica a uma funo constante, dizemos que ela nulohomotpica.
Algumas vezes, conveniente usar uma notao diferente para F , e
escrever, para y Y e t I, ft (y) = F (y, t).
Temos assim, f0 = f, f1 = g e ft : Y X uma funo contnua,
pois ft = F it , onde it : Y Y I, dada por it (y) = (y, t) e F so
contnuas.
Lema 2. Homotopia uma relao de equivalncia entre as funes contnuas Y X.
Prova:
i) f ' f , pois F : Y I X, dada por F (y, t) = f (y), (y, t)
Y I contnua, uma vez que F = f p1 onde p1 : Y I Y
dada por p1 (y, t) = y e f so contnuas.
1 Bolsista
FAPESP - Processo 2013/04570-6
73
74
Homotopia
ii) f ' g g ' f .

Seja F : f ' g. A funo Ry : Y I Y I, dada por Ry (y, t) =
(y, 1 t) contnua, pois suas funes componentes so contnuas.
Agora, F Ry : g ' f , pois ela contnua, como composta de
contnuas, F Ry (y, 0) = F (y, 1) = g(y) e F Ry (y, 1) = F (y, 0) =
f (y).
iii) f ' g e g ' h f ' h.
Sejam F : f ' g e G : g ' h. Definimos uma funo F G : Y I
X por:

F (y, 2t), 0 t 12
F G(y, t) =
G(y, 2t 1), 12 t 1
Como para t = 21 , F (y, 1) = g(y) = G(y, 0) e F , G so contnuas,
segue pelo Teorema da Colagem que F G contnua.
Ainda, F G(y, 0) = F (y, 0) = f (y) e F G(y, 1) = G(y, 1) = h(y).
Portanto, F G : f ' h.
Classes de equivalncia para relao de homotopia so chamadas classes
de homotopia. Escrevemos [Y, X] para o conjunto de classes de homotopia
das funes contnuas f : Y X e [f ] para as classes de equivalncia
contendo f .
Lema 3. Sejam h : Z Y , g0 , g1 : Y X e f : X W funes
contnuas. Se g0 ' g1 , ento g0 h ' g1 h e f g0 ' f g1 .
Prova: Seja G : g0 ' g1 . Ento, f G : f g0 ' f g1 , pois ela contnua (f
e G so contnuas) e ainda, f G(y, 0) = f (G(y, 0)) = f (g0 (y)) = f g0 (y)
e f G(y, 1) = f (G(y, 1)) = f (g1 (y)) = f g1 (y).
Agora definimos h 1 : Z I Y I por h 1(z, t) = (h(z), t). Esta
funo contnua, pois suas componentes so contnuas. Ento G(h1) :
g0 h ' g1 h, pois, sendo composta de funes contnuas, ela contnua e
ainda, G(h1)(z, 0) = G((h1)(z, 0)) = G(h(z), 0) = g0 (h(z)) = g0 h(z)
e G (h 1)(z, 1) = G(h(z), 1) = g1 (h(z)) = g1 h(z).
Homotopia
75
Corolrio 4. Se g0 ' g1 : Y X e f0 ' f1 : X W , ento f0 g0 '

f1 g1 : Y W .
Prova: Como estamos dentro das hipteses do Lema 3, temos f0 g0 '
f0 g1 ' f1 g1 . Assim, pela transitividade, f0 g0 ' f1 g1 .
Este corolrio mostra que a classe de homotopia [f g] depende somente
das classes de homotopia [f ] e [g]. Podemos, ento, definir a composio
de classes de homotopia por [f ] [g] = [f g].
Sendo assim, observamos que a funo F : [X, W ] [Y, X] [Y, W ],
dada por F ([f ], [g]) = [f g] est bem definida. De fato,sejam ([f1 ], [g1 ]) =
([f2 ], [g2 ]) [X, W ] [Y, X]. Ento, [f1 ] = [f2 ] e [g1 ] = [g2 ] f1 ' f2 e
g1 ' g2 . Logo, pelo Corolrio 4, f1 g1 ' f2 g2 [f1 g1 ] = [f2 g2 ].
Denotando 1U a funo identidade do espao U , temos o seguinte:
Lema 5. Sejam h : Z Y, g : Y X e f : X W . Ento,
[g] [1Y ] = [g] = [1X ] [g] e ([f ] [g]) [h] = [f ] ([g] [h]).
Prova: Temos que:
[g] [1Y ] = [g 1Y ] = [g] (1)
[1X ] [g] = [1X g] = [g] (2)
De (1) e (2), temos [g] [1Y ] = [g] = [1X ] [g].

Agora, ([f ] [g]) [h] = [f g] [h] = [(f g) h] = [f (g h)] =
[f ] [g h] = [f ] ([g] [h])
Observao 6. x y : I X contnua / (0) = x e (1) = y.
[
x = {y X / y x}, X =
x.
xX
z, y x z x e x y z y : I X contnua, tal que

(0) = x e (1) = y. Portanto, x conexo por caminho e chamado uma
componente conexa por caminho do espao X.
1.1
Exemplos de Aplicaes Homotpicas
Exemplo 7. Duas aplicaes constantes f, g : X Y , dadas por f (x) =

p e g(x) = q, so homotpicas se, e somente se, p e q pertencem a mesma
componente conexa por caminho do espao Y .
76
Homotopia
Prova: () Por hiptese, as funes constantes f e g so homotpicas,

ento existe uma funo contnua H : X I Y tal que H(x, 0) =
f (x) = p e H(x, 1) = g(x) = q, x X. Fixando, arbitrariamente,
x0 X, defina : I Y por (t) = H(x0 , t). Ento, contnua,
(0) = p e (1) = q. Assim, p q e, portanto, p, q p = q.
() Se p e q pertencem a mesma componente conexa por caminho do
espao Y , digamos y, ento p y e y q, isto , p q. Assim, existe
: I Y contnua, tal que, (0) = p e (1) = q.
Defina H : X I Y por H(x, t) = (t), x X. Ento, H
contnua, H(x, 0) = (0) = p = f (x) e H(x, 1) = (1) = q = g(x).
Portanto, as aplicaes constantes f e g so homotpicas.
Como uma consequncia, temos que f, g : R R {0}, dadas por
f (x) = 1 e g(x) = 1, no so homotpicas, pois 1 e 1 pertencem a
componentes conexas distintas de R {0}, a saber, ]0, +[ e ] , 0[,
respectivamente.
Exemplo 8. Seja Y E, onde E uma espao vetorial normado. Dadas
as aplicaes contnuas f, g : X Y , suponhamos que, para todo x X,
o segmento de reta [f (x), g(x)] esteja contido em Y . Ento, f ' g.
Prova: De fato, defina H : X I Y por H(x, t) = (1 t)f (x) + tg(x).
Ento, H contnua, H(x, 0) = f (x) e H(x, 1) = g(x).
Exemplo 9. Como um caso particular, temos que duas aplicaes contnuas quaisquer f, g : X E so homotpicas. Em particular, toda
aplicao contnua f : X E homotpica aplicao constante nula,
pela homotopia H(x, t) = (1 t)f (x).
Exemplo 10. Seja S n Rn+1 a esfera unitria n-dimensional. Dadas
duas aplicaes contnuas f, g : X S n , com f (x) 6= g(x) para todo
x X, isto , f (x) e g(x) nunca so pontos antpodas. Ento, f ' g.
Prova: De fato, nestas condies, temos (1 t)f (x) + tg(x) 6= 0, para todo
t I e x X, pois se (1 t)f (x) + tg(x) = 0 para alguns t I ou x X,
Homotopia
77
ento (1 t)f (x) = tg(x). Assim, ||(1 t)f (x)|| = || tg(x)||, ou seja,
|1 t|.||f (x)|| = | t|.||g(x)|| e, portanto, 1 t = t, isto , t = 21 . Logo,
(1 12 )f (x) + ( 12 )g(x) = 0, ou seja, f (x) = g(x), para algum x X, o
que um absurdo.
Ento, defina H : X I S n por H(x, t) =
H contnua, H(x, 0) = f (x) e H(x, 1) = g(x).
(1t)f (x)+tg(x)
||(1t)f (x)+tg(x)|| .
Assim,
Casos particulares:
a) Se f : S n S n no possui pontos fixos, isto , f (x) 6= x, para todo
x S n , ento f homotpica aplicao antpoda a : S n S n
dada por a(x) = x, pois f (x) 6= a(x).
b) Se f : S n S n tal que f (x) = x para todo x S n , ento f
homotpica aplicao identidade de S n , pois f (x) 6= id(x).
Exemplo 11. Se n mpar, ento a aplicao antpoda a : S n S n ,
dada por a(x) = x, homotpica identidade.
Prova: Seja n = 2k 1. Ento, S n R2k e podemos considerar S n =
{z = (z1 , ..., zk ) Ck / |z1 |2 + ... + |zk |2 = 1}.
Para cada nmero complexo u S 1 e cada z = (z1 , ..., zk ) S n defina
u.z por u.z = (uz1 , ..., uzk ). Ento, u.z S n , pois |u.z1 |2 + ... + |u.zk |2 =
|u|2 .|z1 |2 + ... + |u|2 .|zk |2 = |z1 |2 + ... + |zk |2 = 1.
Defina H : S n I S n por H(z, t) = ei(1t) .z. Ento, H contnua,
H(z, 0) = ei .z = (cos + i sen )z = z = a(z) e H(z, 1) = e0 .z = z =
id(z).
Exemplo 12 (Relao entre homotopia e campos de vetores nas esferas). Um campo contnuo de vetores tangentes em S n uma aplicao
contnua v : S n Rn+1 tal que < x, v(x) >= 0, para todo x S n . Mostraremos, agora, que se existir um campo contnuo de vetores no nulos em
S n , ento, a aplicao antpoda a : S n S n homotpica a identidade.
Prova: Dado v : S n Rn+1 contnua, tangente e no nula em todos
x+v(x)
os pontos, defina f : S n S n por f (x) = ||x+v(x)||
. Observe que x +
78
Homotopia
v(x) 6= 0 , pois, caso contrrio, v(x) = x e portanto, 0 =< x, v(x) >=<
x, x >= < x, x >= ||x||2 , ou seja, x = 0 , o que um absurdo, pois

x Sn.
Como x + v(x) 6= x, para todo x S n , pois v(x) 6= 0 para todo

x S n , segue que f (x) 6= x para todo x S n . Logo, pelo Exemplo 10
tem a), temos que f ' a.
Por outro lado, f homotpica a identidade de S n . Para ver isto,
x+tv(x)
basta definir H : S n I S n por H(x, t) = ||x+tv(x)||
. Desde que,
n
||x + tv(x)|| 1, x S e t I, segue que, H contnua, H(x, 0) =
x+v(x)
x = id(x) e H(x, 1) = ||x+v(x)||
= f (x). Assim, id ' f . Logo, por
transitividade, id ' a e, por simetria, a ' id.
Tipo de Homotopia
Definio 13. Uma funo contnua f : Y X uma equivalncia de

homotopia quando existe e : X Y contnua, tal que [f ] [e] = [1X ] e
[e] [f ] = [1Y ], ou equivalentemente, f e ' 1X e e f ' 1Y .
Chamamos, ento, e de inverso homotpico de f .
Alm disso, nestas condies, as funes: : [Z, Y ] [Z, X], [h] 7
[f ] [h] e : [Z, X] [Z, Y ], [k] 7 [e] [k] so bijetoras, pois [k] =
([e] [k]) = [f ] ([e] [k]) = ([f ] [e]) [k] = [1X ] [k] = [1X k] = [k]
e [h] = ([f ] [h]) = [e] ([f ] [h]) = ([e] [f ]) [h] = [1Y ] [h] =
[1Y h] = [h].
Similarmente, h bijeo entre [Y, W ] e [X, W ], a saber, [Y, W ]
[X, W ] , dada por [g] 7 [g] [e] e [X, W ] [Y, W ], dada por [m] 7
[m] [f ].
Portanto, podemos reconhecer os espaos X e Y como equivalentes e
dizemos neste caso que X e Y tem o mesmo tipo de homotopia.
Exemplo 14. Sejam Y = S p1 Rp Rp+q e X o subconjunto de Rp+q
de pontos no pertencentes ao plano x1 = = xp = 0. Ento, a incluso
f : Y X, dada por f (x1 , . . . , xp , 0, . . . , 0) = (x1 , . . . , xp , 0, . . . , 0),
Homotopia
79
uma equivalncia de homotopia, pois e : X Y , definida por,

e(x1 , . . . , xp , xp+1 , . . . , xp+q ) =
x
pP1
xp
, . . . , pP
2
xi
!
x2i
, 0, . . . , 0
a inversa homotpica de f .
Prova: De fato:
i) e f (x1 , . . . , xp , 0, . . . , 0) = e(x1 , . . . , xp , 0, . . . , 0) = (
xp
, 0, . . . , 0)
x21 ++x2p
x1
,...,
x21 ++x2p
= (x1 , . . . , xp , 0, . . . , 0), pois, para qualquer
(x1 , . . . , xp , 0, . . . , 0) Y , x21 + + x2p = 1. Assim, e f = 1Y .

x1
ii) f e(x1 , . . . , xp , xp+1 , . . . , xp+q ) = f ( P
x1
,
x21 ++x2p
2 xp 2 , 0, . . . , 0)
x1 ++xp
x2i
, . . . , Pp
x2i
, 0, . . . , 0) =
homotpico 1X , pois H : X
I X dada por H((x1 , . . . , xp , xp+1 , . . . , xp+q ), t) = ((x21 + +

t1
t1
x2p ) 2 x1 , . . . , (x21 + + x2p ) 2 xp , txp+1 , . . . , txp+q ) uma homotopia entre f e e 1X , visto que H contnua.
x
x1
H((x1 , . . . , xp , xp+1 , . . . , xp+q ), 0) = ( P
, . . . , Pp 2 , 0, . . . , 0) =
2
xi
xi
f e(x1 , . . . , xp , xp+1 , . . . , xp+q ) e H((x1 , . . . , xp+q ), 1) = (x1 , . . . , xp+q ) =

1X (x1 , . . . , xp+q ). Assim, X e Y tem o mesmo tipo de homotopia.
Espaos Contrteis
Um espao X contrtil quando ele tem o mesmo tipo de homotopia

que um ponto.
Proposio 15. X contrtil se, e somente se, a aplicao identidade
1X : X X homotpica a uma aplicao constante c : X X.
Prova: () Se f : X {p} uma equivalncia homotpica e g : {p}
X a inversa homotpica de f , ento g f = 1X , mas g f uma aplicao
constante.
() Se 1X homotpica a uma constante c : X X, digamos dada
por c(x) = p X, mostremos que X tem o mesmo tipo de homotopia de
80
Homotopia
p. De fato, definamos f : X {p} por f (x) = p e g : {p} X por

g(p) = p. Ento, g inversa homotpica de f , pois f g(p) = f (p) = p =
1{p} (p) ' 1{p} (p) e g f (x) = g(p) = p = c(x) ' 1X (x). Portanto, X tem
o mesmo tipo de homotopia de p, isto , X contrtil.
Corolrio 16. Um espao contrtil X conexo por caminho.
Prova: Sejam p, q X quaisquer. Devemos exibir uma aplicao :
I X tal que (0) = p e (1) = q. Pela Proposio 15, como X
contrtil, 1X ' c1 , onde c1 : X X dada por c1 (x) = p, e tambm
1X ' c2 , onde c2 : X X dada por c2 (x) = p.
Logo, pela transitividade, c1 e c2 so homotpicas, ou seja, existe H :
X I X contnua, tal que, H(x, 0) = p e H(x, 1) = q.
Defina : I X por (t) = H(x0 , t) observe que (0) = p e
(1) = q. Portanto, X conexo por caminhos.
Proposio 17. Se X ou Y contrtil, ento, toda aplicao contnua
f : X Y homotpica a uma funo constante.
Prova:
i) Se X for contrtil, ento, 1X homotpica a uma funo
constante c : X X, dada por c(x) = p. Assim, de 1X ' c,
segue que, f = f 1X ' f c, para toda f : X Y contnua, ou
seja, desde que f c constante, temos que f homotpica a uma
constante.
ii) Se Y for contrtil, ento, 1Y ' d, onde d : Y Y dada por
d(y) = q. Assim, f = 1Y f ' d f para toda f : X Y
contnua. Desde que, d f constante, temos que f homotpica a
uma constante.
Corolrio 18. Se X contrtil e Y conexo por caminho, ento duas
funes contnuas quaisquer f, g : X Y so homotpicas.
Prova: Como X contrtil, segue da Proposio 17 que f ' c1 e g ' c2 ,
onde c1 , c2 : X Y so tais que c1 (x) = p Y e c2 (x) = q Y . Como Y
Homotopia
81
conexo por caminho, ento existe : I Y contnua tal que (0) = p

e (1) = q.
Defina H I Y por H(x, t) = (t). Observe que H contnua,
H(x, 0) = p = c1 (x) e H(x, 1) = q = c2 (x). Logo, c1 ' c2 . Portanto, pela
transitividade, f ' g.
Corolrio 19. Se Y contrtil, ento, qualquer que seja X, f, g : X Y
so homotpicas.
Prova: Como Y contrtil, pela Proposio 17, f ' c1 e g ' c2 , onde
c1 , c2 : X Y so dadas por c1 (x) = p Y e c2 (x) = q Y . Pelo
Corolrio 16, Y conexo por caminho e de forma anloga ao que foi feito
na demonstrao do Corolrio 18, c1 ' c2 . Portanto, pela transitividade,
f ' g.
Definio 20. Um subconjunto X de Rn convexo se para todo par de
pontos x, y X o segmento de reta [x, y] est contido em X.
Definio 21. Um subconjunto X de Rn estrelado se existe p X tal
que o segmento [p, x] X, x X.
Exemplo 22. O disco (figura da esqueda) convexo e estrelado enquanto
a figura da direita no convexa, mas estrelada.
Exemplo 23. Todo conjunto convexo estrelado.

Exemplo 24. Todo conjunto estrelado X contrtil.
Prova: De fato, como X estrelado, ento, p X tal que [p, x]
X, x X. Mostremos que 1X homotpica c : X X definida por
c(x) = p. Defina, H : X I X por H(x, t) = (1 t)x + tp. Ento, H
82
Homotopia
contnua, H(x, 0) = x = 1X (x) e H(x, 1) = p = c(x), x X. Portanto,

X contrtil.
Exemplo 25. Se o espao X contrtil, ento, para todo espao Y o
produto cartesiano X Y tem o mesmo tipo de homotopia de Y .
Prova: De fato, como X contrtil, ento, considere H : X I X
uma homotopia entre 1X e uma aplicao constante c : X X, dada
por c(x) = p X. Mostremos que, para todo Y , X Y tem o mesmo tipo
de homotopia de Y .
Para isto, definamos f : X Y Y por f (x, y) = y e g : Y X Y
por g(y) = (p, y). Ento, f g(y) = f (p, y) = y = 1Y (y) ' 1Y (y) e
g f (x, y) = g(y) = (p, y). Mostremos que g f ' 1XY . Para isto, defina
G : (X Y ) I X Y por g(x, y, t) = (H(x, 1 t), y). Observe que
G contnua, G(x, y, 0) = (H(x, 1), y) = (p, y) = g f (x, y) e G(x, y, 1) =
(H(x, 0), y) = (x, y) = 1XY (x, y).
[1] Lima, E.L. - Grupo Fundamental e Espaos de Recobrimento, Instituto de Matemtica Pura e Aplicada, 1977.
[2] Wall, C.T.C. - A Geometric Introduction to Topology, AddisonWesley Publishing Company, 1972
ISSN 1980-024X
B OLETIM DE I NICIAO C IENTFICA EM

M ATEMTICA BICM AT
Orientao aos autores
Ao redigir o material a ser divulgado o autor deve observar que o alvo
principal o aluno de graduao, devendo a redao ser clara e objetiva
incentivando-o leitura.
O trabalho deve ser enviado Comisso Editorial, via e-mail, na linguagem LATEX, usando a classe bicmat. Mais informaes sobre a formatao do trabalho podem ser encontradas em www.rc.unesp.br/igce/
matematica/bicmat, assim como o endereo para o envio do trabalho.
A responsabilidade de cada artigo exclusiva do autor e respectivo
orientador.

Analise Funcional 123

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Analise Funcional 123

Caricato da

Copyright:

Formati disponibili

ISSN 1980-024X

B OLETIM DE I NICIAO C IENTFICA EM

Teorema do Ponto Fixo de Banach e Aplicao em Eq. Diferenciais

Grupo Fundamental e o Teorema de van Kampen

Estabilidade pelo mtodo de Lyapunoff

O Teorema de ponto fixo de Brouwer em dimenso um e algumas equivalncias

Sequncias Exatas e o Lema dos Cinco

Definio 1. Sejam A1 , A2 e A3 grupos e 1 e 2 homomorfismos for1

b) A sequncia A X {0} exata se, e somente se, Im() =

Sequncias Exatas e o Lema dos Cinco

c) A sequncia {0} A X {0} exata se, e somente se,

Teorema 4. Dados a sequncia exata P Q R S {0} e

o homomorfismo : S R com = 1S , ento a sequncia P

Portanto, a sequncia P Q S R {0} exata.

Corolrio 5. Dados a sequncia exata {0} Q R S {0} e o

Prova: Ao tomar P = {0} no Teorema 4, temos que {0} Q S

Sequncias Exatas e o Lema dos Cinco

Lema dos Cinco

Seja x Ker(1 ), isto , 1 (x) = 0. Ento, 2 (1 (x)) = 2 1 (x) =

Sequncias Exatas e o Lema dos Cinco

Im(1 ), pois a sequncia exata em A2 . Logo, existe y A1 tal que

Seja x Im(2 ), isto , existe y A2 tal que 2 (y) = x. Assim,

Sequncias Exatas e o Lema dos Cinco

Como 1 sobrejetora, existe v A1 tal que 1 (v) = w. Assim,

BICMat, Volume X, Outubro de 2013

Teorema do Ponto Fixo de Banach e

Stefan Banach (18921945)

Banach frequentou a escola primria em Cracvia, deixando a escola

Fapesp, Processo: 2012/151623

Teorema do Ponto Fixo de Banach e Aplicao em Eq. Diferenciais

Teorema do Ponto Fixo de Banach e Aplicao em Eq. Diferenciais

a um perodo em que os acadmicos poloneses foram assassinados, seu

Definio 1. Uma mtrica em um conjunto M uma funo definida em

BICMat, Volume X, Outubro de 2013

Teorema do Ponto Fixo de Banach e Aplicao em Eq. Diferenciais

Definio 6. Uma norma em V uma funo:

quando 1 < p < e

|xj | sup |yj |

BICMat, Volume X, Outubro de 2013

Teorema do Ponto Fixo de Banach e Aplicao em Eq. Diferenciais

(b) Dados f, g C([a, b], Cn ), temos kf gk1 kf kp kgkp0 , isto ,

quando 1 < p < e

|f (x)|dx sup |g(x)|

(b) Para quaisquer f, g C([a, b], C), temos: kf + gkp kf kp + kgkp ,

Mostraremos a seguir que `p um espao vetorial normado e de Banach.

BICMat, Volume X, Outubro de 2013

Teorema do Ponto Fixo de Banach e Aplicao em Eq. Diferenciais

|k + k |p crescente e limitada, portanto convergente e

De fato, norma, pois

Teorema do Ponto Fixo de Banach e Aplicao em Eq. Diferenciais

(iii) Pela desigualdade de Minkowski, no difcil provar que

Para cada j N, |j j | kxm xn kp e assim, para todo > 0

Assim, para cada j fixo, a sequncia (j , j , . . .) de Cauchy no

Teorema do Ponto Fixo de Banach e Aplicao em Eq. Diferenciais

Da equao (1.1) temos que para todo m, n > n0

Fazendo n , para m > n0 segue que

Fazendo k , tem-se para todo m > n0

Isto mostra que xm x = (j

j ) `p . Segue ento da desigualdade

kxkp = kx xm + xm kp kx xm kp + kxm kp < .

BICMat, Volume X, Outubro de 2013

Teorema do Ponto Fixo de Banach e Aplicao em Eq. Diferenciais

Prova: Se (fk ) de Cauchy em B(X, F ) ento, para cada , existe k tal

Ento para cada x0 X