Академический Документы
Профессиональный Документы
Культура Документы
Daniel Gonalves
Elementos de Anlise
Florianpolis, 2009
Universidade Federal de Santa Catarina
Consrcio ReDiSul
Comisso Editorial
Antnio Carlos Gardel Leito
Albertina Zatelli
Elisa Zunko Toma
Igor Mozolevski
Luiz Augusto Saeger
Roberto Corra da Silva
Ruy Coimbra Charo
Laboratrio de Novas Tecnologias - LANTEC/CED
Coordenao Pedaggica
Coordenao Geral: Andrea Lapa, Roseli Zen Cerny
Ncleo de Formao: Nilza Godoy Gomes
Ncleo de Pesquisa e Avaliao: Claudia Regina Flores
Ficha Catalogrfica
G635e Gonalves, Mirian Buss
Elementos de anlise / Mirian Buss Gonalves, Daniel Gonal-
ves. - Florianpolis : UFSC/EAD/CED/CFM, 2009.
158p.
ISBN 978-85-99379-66-0
1 Noes Topolgicas em 9
n
n
1.1 O espao Euclidiano 11
1.2 Espaos Mtricos 15
n
1.3 Mtricas em 17
1.4 Um Exemplo de Mtrica num Conjunto de Funes 19
1.5 Mtrica Induzida 21
1.6 Dimetro de um Conjunto; Distncias entre Conjuntos 22
1.7 Bolas Abertas 26
1.8 Conjuntos Abertos 30
1.9 Conjuntos Fechados 35
1.10 Pontos de Acumulao 37
1.11 Fecho de um Conjunto 40
2 Convergncia 53
2.1 Sequncias de Nmeros Reais 55
2.2 Sequncias em um Espao Mtrico 59
2.3 Limite de uma Sequncia 60
2.4 Subsequncias 67
2.5 Sequncias Limitadas 69
2.6 Caracterizao dos Conceitos do Captulo 1,
atravs de Sequncias 72
2.7 Alguns Resultados Interessantes em 78
2.7.1 O Conjunto de Cantor 78
2.7.2 Princpio dos Intervalos Encaixados................................ 81
2.7.3 Outra Verso do Teorema de Bolzano-Weierstrass 82
2.8 Sequncias de Cauchy 83
2.9 Espaos Mtricos Completos 86
3 Continuidade 93
3.1 Funes Contnuas 96
3.2 Conjuntos Compactos 108
3.3 Continuidade Uniforme113
3.4 Conjuntos Conexos116
3.5 Teorema do Valor Intermedirio 122
Caro Leitor,
n
1.1 O espao Euclidiano
[...] muito util considerar nmeros complexos, ou nmeros for-
mados por vrias unidades [...] (Peano, 1888a, Math. Ann., vol.
32, p.450, apud [6, Hairer-Wanner])
11
Os nmeros complexos aos quais Peano se refere so o que hoje
conhecemos por vetores (nomenclatura sugerida por Hamilton
(1853)). Sua importncia matemtica enorme e seu estudo des-
lanchou em meados do sculo 19, quando matemticos tiveram a
ideia de denotar pares de nmeros (ou n -uplas) por apenas uma
letra, por exemplo x = ( x1 , x2 , , xn ) , e considerar os mesmos como
novos objetos matemticos.
Simbolicamente, temos:
n = {( x1 , x2 , , xn ) / x1 , x2 , , xn } .
x + y = ( x1 , x2 , , xn ) + ( y1 , y2 , , yn ) = ( x1 + y1 , x2 + y2 ,, xn + yn ) .
12
Definio 1.1. Uma norma em n uma funo || ||: n tal
que para quaisquer x, y n e , valem as seguintes proprie-
dades:
N1:|| x || 0 e || x ||= 0 x = 0;
N 3 :|| x + y |||| x || + || y || .
x
1 0 1
Figura 1.1
13
Geometricamente o espao 2 o plano cartesiano . Se ne-
cessrio, reveja a seo 3.7 do livro texto de Introduo ao Clculo.
x2
1 x1
Figura 1.2
x3
1 x2
x1
Figura 1.3
14
1.2 Espaos Mtricos
A noo de espao mtrico
foi introduzida em 1906 Intuitivamente, um espao mtrico um conjunto no qual temos
por Maurice Frchet e uma maneira de medir a distncia entre seus pontos.
desenvolvida e batizada
por Felix Hausdorff em
1914. Qual a sua noo de distncia entre dois pontos no plano carte-
siano 2 ?
d ( x, y ) = ( y1 x1 ) 2 + ( y2 x2 ) 2 .
x2
y2 y
x2
x
x1 y1 x1
Figura 1.4
Isso est correto. No entanto, podemos ter mais que uma maneira
de medir a distncia. Algumas propriedades devem ser satisfeitas:
15
Definio 1.2. Seja M um conjunto. Uma mtrica em M uma fun-
o d : M M , onde M M o produto cartesiano de M por
M : M M = {( x1 , x2 ) / x1 , x2 M }, tal que para quaisquer x, y, z M ,
temos:
M1: d ( x, y ) 0 e d ( x, y ) = 0 x = y;
M2: d ( x, y ) = d ( y, x);
M3: d ( x, z ) d ( x, y ) + d ( y, z ) .
Exemplo 1.4. M = , .
Essa a mtrica que voc
utilizou nas disciplinas de
A partir das propriedades dos nmeros reais podemos verificar fa- Clculo, quando estudou,
cilmente que d uma mtrica em . por exemplo, limite de
sequncias. Se necessrio,
reveja a seo 1.3.4 do
Temos: texto de Clculo I [5,
Gimenez-Starke].
M1: d ( x, y ) =| y x | 0
d ( x, y ) = 0 | y x |= 0 y x = 0 x = y;
MM3:
3 : d ( x, z ) =| z x |
=| z y + y x |
| z y | + | y x |
=| y x | + | z y |
= d ( x, y ) + d ( y, z ).
0, se x = y
Exemplo 1.5. Seja M qualquer. A funo d ( x, y ) =
1, se x y
satisfaz as propriedades de mtrica, sendo denominada mtrica
trivial ou mtrica 0 1 .
16
Exerccio Resolvido
1) A funo d ( x, y ) = x 2 + 2 xy mtrica em ? Justifique.
Resoluo:
n
1.3 Mtricas em
Sejam x = ( x1 , x2 , , xn ) e y = ( y1 , y2 , , yn ) pontos de n .
i) Mtrica Euclidiana
d : n n
d ( x, y ) = ( y1 x1 ) 2 + ( y2 x2 ) 2 + + ( yn xn ) 2 .
d1 : n n
d1 ( x, y ) =| y1 x1 | + | y2 x2 | + + | yn xn | .
d2 : n n
d 2 ( x, y ) = max{| y1 x1 |,| y2 x2 |,,| yn xn |}.
Observaes.
d 2 ( x, y ) d ( x, y ) d1 ( x, y ) kd 2 ( x, y ) ,
17
importante voc visualizar geometricamente essas medidas de
distncia. Para isso vamos utilizar o espao 2 . Retomando a fi-
gura 1.4, vemos que a distncia Euclidiana entre dois pontos a
distncia medida em linha reta. As figuras 1.5 e 1.6, respectiva-
mente, ilustram a mtrica retangular e a mtrica do mximo.
A mtrica retangular
tambm conhecida como
x2 Mtrica Metropolitana
ou de Manhattan, devido
s redes de transporte
y2 y na forma de grades
retangulares que ocorrem
em muitas cidades
x2 americanas e mesmo
x brasileiras. Em muitos
casos ela a mtrica
mais adequada para
x1 y1 x1 medir as distncias dos
deslocamentos nos centros
urbanos.
Figura 1.5
x2
y2 y
x2
x
x1 y1 x1
Figura 1.6
Exerccio Resolvido
2) Usando as trs mtricas anteriores, identifique os pontos de
2 tais que sua distncia at a origem seja igual a 1.
Resoluo:
Sejam o = (0,0) e x = ( x1 , x2 ) .
18
i) Para a mtrica Euclidiana, temos
d ( x, o) = 1 ( x1 0) 2 + ( x2 0) 2 = 1 x12 + x22 = 1 .
d1 ( x, o) = 1 | x1 0 | + | x2 0 |= 1 | x1 | + | x2 |= 1 .
x2 x2 x2
1 x1 1 x1 1 x1
Exerccio Proposto
1) Refaa a figura 1.7, usando as equaes obtidas em (i), (ii) e (iii)
e sobrepondo as 3 figuras no mesmo sistema de coordenadas.
uma mtrica em M .
19
A figura 1.8 ilustra a mtrica dada para X = [a, b] .
x2
d ( f, g)
f
a b x1
Figura 1.8
Sejam f , g , h M .
MM1:
1: d ( f , g ) 0 pela prpria definio da mtrica.
d ( f , g ) = 0 sup{| g ( x) f ( x) |} = 0 | g ( x) f ( x) |= 0
xX
) = 0 sup{| g ( x) f ( x) |} = 0 | g ( x) f ( x) |= 0 , x X
xX
f ( x) = g ( x) , x X .
MM2:
2 : d ( f , g) = d (g, f ) .
| g ( x) f ( x) |=| g ( x) h( x) + h( x) f ( x) |
| g ( x) h( x) | + | h( x) f ( x) |
=| h( x) f ( x) | + | g ( x) h( x) |
sup | h( x) f ( x) | + sup | g ( x) h( x) |
xX xX
= d ( f , h) + d (h, g ).
20
Conclumos, assim, que d ( f , h) + d (h, g ) uma cota superior do
conjunto
{| g ( x) f ( x) |, x X } .
Segue que
d ( f , g ) = sup | g ( x) f ( x) | d ( f , h) + d (h, g ) .
x X
Exerccio Proposto
2) Seja X = [0,1] . Determinar d ( f , g ) , sendo:
a) f ( x) = x e g ( x) = 1 ;
b) f ( x) = x 2 e g ( x) = x .
x2
L
1 x1
Figura 1.9
21
1.6 Dimetro de um Conjunto;
Distncias entre Conjuntos
Consideremos os subconjuntos de 2 :
A = {( x1 , x2 ) 2 / x12 + x22 1} ;
B = {( x1 , x2 ) 2 / ( x1 3) 2 + x22 1} ;
C = [0,1] [0,1] .
e) Se substituirmos
1 x1 1 2 3 4 x1 1 x1
A B C
Figura 1.10
22
Analisando a figura, podemos obter facilmente as respostas: (a) 2;
(b) 1; (c) 2 ; (d) 2.
d ( x, y ) k , x, y A .
diam( A) = sup{d ( x, y ) / x, y A} .
x2 x2
1 x1 1 2 3 4x
1
A B
Figura 1.11
23
Definio 1.4 (Distncia de um ponto a um conjunto). Sejam
( M , d ) um espao mtrico, A M , A e p um ponto de M .
A distncia de p at A o nmero real que denotamos por d ( p, A),
dado por
d ( p, A) = inf{d ( p, x) / x A} .
Nota.
2) Se p A , ento d ( p, A) = 0 .
d ( A, B) = inf {d ( x, y ) / x A e y B}.
Nota.
1) Se A B , ento d ( A, B) = 0 .
Temos A B e d ( A, B) = 0 .
A = {( x, y ) 2 / y = 0} e B = {( x, y ) 2 / x > 0 e xy = 1} .
24
y
x
A
Figura 1.12
Logo, d ( A, B) = inf{d ( x, y ) / x A e y B} = 0 .
Exerccio Proposto
3) D exemplos de conjuntos A e B , tais que:
a) d ( A, B) = 3 em ;
25
1.7 Bolas Abertas
Vamos agora introduzir a noo de bola aberta, que muito im-
portante para introduzir o conceito de conjunto aberto e outras
noes topolgicas.
Em n , podemos escrever
B( x, r ) = { y n / || y x ||< r} .
1) B (a, ) em .
Temos:
0 a a a+
Figura 1.13
a2 a2 a2
a1 x1 a1 x1 a1 x1
(a) (b) (c)
Figura 1.14
26
Propriedades das bolas abertas. Seja ( M , d ) um espao mtrico.
diam( B( x, r )) 2r .
d ( y, x) < r e d ( z , x) < r .
d ( y , z ) d ( y , x ) + d ( x, z ) < r + r = 2 r .
diam( B( x, r )) = sup{d ( y, z ) / y, z B ( x, r )} 2r .
r1 r2 B( x, r1 ) B( x, r2 ) .
Prova:
27
y r1
d(x,y)
r
x
Figura 1.15
d ( z , x) d ( z , y ) + d ( y, x) < r1 + d ( y, x) = r d ( x, y ) + d ( y, x) = r .
Logo, z B ( x, r ) e, portanto,
B ( y, r1 ) B( x, r ) .
B ( x, r1 ) B ( y, r2 ) .
r2
z y
r1
x
Figura 1.16
28
Prova:
Tome = min{1 , 2 } .
Por B2, B( z , ) B( z , 1 ) e B ( z , ) B( z , 2 ) .
B ( z , ) B ( x, r1 ) B( y, r2 ) .
r1 r2
x y
d(x,y)
Figura 1.17
z B ( x, r1 ) B ( y, r2 ) .
d ( x, y ) d ( x, z ) + d ( z , y ) < r1 + r2 ,
29
1.8 Conjuntos Abertos
Estudaremos nesta seo os conjuntos que so chamados de aber-
tos. A nomenclatura provm do estudo dos intervalos abertos de
. Em , possvel caracterizar os conjuntos abertos como aque-
les que podem ser escritos como uma unio disjunta, enumervel
de intervalos abertos. Infelizmente no temos uma caracterizao
como esta para conjuntos abertos de um espao mtrico qualquer
e, portanto, precisamos de uma definio que funcione em to-
dos os casos. Para isto, utilizaremos o conceito de bola aberta. Va-
mos trabalhar, em geral, num espao mtrico ( M , d ) , o que ser
omitido sempre que estiver claro no contexto. Vejamos:
Simbolicamente, escrevemos
x Int( A) B( x, r ) A .
A = {( x1 , x2 ) 2 / ( x1 1) 2 + ( x2 1) 2 1} .
x2
1 x1
Figura 1.18
30
Todos os pontos internos circunferncia de centro em (1,1) e raio
1 so pontos interiores. Os pontos sobre a circunferncia perten-
cem ao conjunto A , mas no so pontos interiores.
Exerccio Proposto
4) Identifique, representando geometricamente, Int( A) , sendo:
a) A = {( x1 , x2 ) 2 / x2 x1} ;
b) A = {( x1 , x2 ) 2 / x12 x2 < 0} ;
c) A = {( x1 , x2 ) 2 / x2 > e x1 } ;
31
Exemplo 1.16. Toda bola aberta um conjunto aberto.
x2
0 A 1 x B 1 x1
Figura 1.19
1 x
x=y 2 +1
Figura 1.20
32
Para ver isto, seja (a, b) A . Sem perder a generalidade, supor
b 0 . Tomar > 0 tal que
a > (b + ) 2 + + 1 .
Prova:
imediata.
Propriedade Ab2. A interseo de dois abertos quaisquer um
aberto.
Prova:
Seja z A3 .
33
Devemos mostrar que existe uma bola aberta B ( z , r ) tal que
B ( z , r ) A3 .
B( z , r1 ) A1 .
B ( z , r2 ) A2 .
Seja r = min{r1 , r2 } .
Ento, B ( z , r ) B ( z , r1 ) A1 e B ( z , r ) B( z , r2 ) A2 .
Prova:
Logo, A aberto.
Exerccio Proposto
5) Usando induo matemtica, mostre que a interseo finita
de abertos um aberto, isto , se A1 , A2 , , An so conjuntos Se necessrio revise o
captulo 5, Princpio
n
abertos, ento A = Ai aberto, n . de Induo do texto
i =1 de Fundamentos de
Matemtica I [2,
Nota. A interseo de uma coleo infinita de abertos pode no
Carvalho-Gimenez].
ser um aberto.
1 1
Exemplo 1.19. Em , tome An = x / < x < , n .
n n
Ento, A
n =1
n = {0} , que no aberto.
34
1.9 Conjuntos Fechados
Conjuntos fechados so definidos simplesmente como conjuntos
cujo complementar aberto. No decorrer deste captulo veremos
algumas outras caracterizaes de conjuntos fechados. Porm,
vale a pena ressaltar que, mesmo em , descrever completamen-
te quais so os conjuntos fechados de um espao mtrico um
problema complicado. Abaixo voc pode ver o desenho do trin-
gulo de Sierpinski em 2 e 3 (figura 1.21). Ambos so conjuntos
O tringulo de Sierpinski fechados (pois os complementares so abertos) e do uma ideia
uma generalizao do
conjunto de Cantor (o qual de quo complicados os conjuntos fechados podem ser.
estudaremos mais tarde).
Se voc quiser saber mais,
sugerimos uma busca na
internet com as palavras
Tringulo de Sierpinski
ou, em ingls, Sierpinski
triangle.
Figura 1.21
Em n , podemos escrever:
B[ x, r ] = { y n / || y x || r} .
35
Exerccio Proposto
6) Mostre que toda bola fechada um conjunto fechado.
Prova:
Prova:
Temos que
C ( F ) = C ( F1 F2 ) = C ( F1 ) C ( F2 ) .
Logo, F fechado.
36
Prova:
Temos
C ( F ) = C ( F ) = [C (F )] .
Exerccios Propostos
7) Mostre que a unio finita de fechados um fechado (use
induo matemtica).
Simbolicamente, escrevemos:
37
A nota da pgina 79 do texto de Clculo I [5, Gimenez-Starke],
1 1 1
Exemplo 1.25. Seja A = 1, , ,, , em . Ento, A ' = {0} .
2 3 n
Exemplo 1.26. Considere, em , o conjunto dos racionais .
... 3 2 1 0 1 2 3 ...
n n n n n n
Figura 1.22
38
Logo, pelo menos um desses nmeros racionais estar entre x r
e x + r e ser distinto de x , pois o comprimento do intervalo
2
( x r , x + r ) 2r > .
n
Proposio 1.1. F M fechado se, e somente se, F ' F .
Prova:
) F fechado F ' F .
A B C ( B) C ( A),
Logo, F ' F .
) F ' F F fechado.
Exerccios Propostos
10) Encontrar S ' , sendo S = {( x, y ) 2 / y < x 2 1} .
1 1 1
a) A = 1, , ,, , ;
2 3 n
1 1 1
b) B = 0,1, , , , , ;
2 3 n
39
3 4 5 6
c) C = 1, 2, , , , , ;
2 3 4 5
1 1 1 1
d) D = , , , , ;
2 4 8 16
1
e) Domnio de f , sendo f ( x) = ;
x 1
f) Imagem de g , sendo g ( x) = x 2 + 2 x + 2 .
Temos a definio:
Simbolicamente, escrevemos:
i) A = A A ' ;
Prova:
B ( y, r1 ) B(a, r ) C ( X ) .
40
Conclumos, assim, que a Int(C ( X )) . Logo, C ( X ) aberto e,
portanto, X fechado.
Exerccio Resolvido
3) Determine os pontos de acumulao e o fecho de cada um
dos seguintes subconjuntos de .
a)
Resoluo:
b)
Resoluo:
c) (0, 2)
Resoluo:
Exerccios Propostos
12) Determine o fecho dos seguintes conjuntos em :
41
1 1 1
a) A = 1, , , , ;
2 3 4
1
b) B = , n .
n =1 n
Exerccio Resolvido
4) Seja A M . Mostrar que
x A inf{d ( x, y ) / y A} = 0 .
Prova:
) Sejam x A e = inf{d ( x, y ) / y A} .
Se x A , ento = 0 (trivial).
Se x A , nada a provar.
42
Exemplo 1.27. denso em .
RORAIMA AMAP
MACAP
BELM
MANAUS
AMAZONAS
PAR MARANHO
Fronteira entre
ACRE PORTO VELHO
PALMAS
RIO BRANCO
RONDNIA TOCANTINS
Brasil e Bolvia
PERU
MATO GROSSO
DISTRITO
FEDERAL
CUIAB
BOLVIA
GOINIA
GOIS
MINAS
GERAIS
MATO GROSSO
DO SUL BELO HOR
CAMPO GRANDE
SO PAULO
PARAGUAI
SO PAULO
PARAN
CURITIBA
Figura 1.23SANTA
CATARINA
M Simbolicamente, escrevemos
Fr(A)
B ( x, r ) A
x Fr( A) r > 0 , e .
A
B ( x, r ) C ( A)
A figura 1.24 ilustra esta definio.
43
O conjunto A est representado na figura 1.25. Observe que
x2 y 2 = 1
Fr( A) = {( x, y ) 2 / x 2 y 2 = 1} .
y y
1 1 x 1 1 x
A Fr(A)
Figura 1.25
Exerccios Propostos
14) Verifique se so verdadeiras ou falsas as sentenas:
a) A B Fr( A) Fr( B ) ;
c) Fr ( A B) Fr ( A) Fr ( B) .
a) A = {( x, y ) 2 / x 2 + y 2 1} ;
c) A = [0,1] em ;
d) B = [0,1] em ;
44
e) C = {( x, y ) 2 / y > x 2 4 x + 3} .
Propriedades da Fronteira:
Prova:
B ( x, r ) A x A
x Fr( A) r > 0, e e x A C ( A)
B( x, r ) C ( A)
x C ( A)
Propriedade Fr2. A = Int( A) Fr( A) .
Prova:
Logo, x A .
i) x A , ou
ii) x A e x A ' .
x Int( A) ou x Int( A) .
Como x A , temos
B( x, r ) A e B ( x, r ) C ( A) , r > 0 .
Logo, x Fr( A) .
ii) x A e x A ' .
45
Como x ponto de acumulao de A , qualquer bola aberta cen-
trada em x contm pontos de A . Como x A , o mesmo ocorre
com C ( A) .
Logo, x Fr( A) .
Prova:
x
1 A
Figura 1.26
46
Temos
Fr( A) = {( x, y ) 2 / x = 1}
Exerccios Propostos
16) D exemplos de conjuntos A em , 2 e 3 , identifican-
do:
Int( A) , A ' , A , Fr( A) , C ( A) , Int(C ( A)) .
Exerccios Complementares
1) Verifique quais das seguintes funes so mtricas em :
a) d ( x, y ) =| x + y | ;
b) d ( x, y ) =| x | | y | ;
c) d ( x, y ) = 2 | x y | ;
d) d ( x, y ) = ( x y ) 2 .
47
2) Verifique quais das seguintes funes so mtricas em 2 :
a) d ( x, y ) = 3 | y1 x1 | +3 | y2 x2 | ;
b) d ( x, y ) =| x1 + y1 | + | x2 + y2 | ;
sendo x = ( x1 , x2 ) e y = ( y1 , y2 ) .
Em M considere a mtrica
d ( f , g ) = sup{| f ( x) g ( x) |} .
xX
a) d ( p, ) = 0 , p ;
b) d (, ) = 0 ;
48
9) Seja A = {( x, y ) 2 / y 0} . Tomando 2 com a mtrica
usual e A com a mtrica induzida, desenhe as bolas abertas
e fechadas que seguem:
a) B (o,1) ;
b) BA (o,1) ;
c) B[o,1] ;
d) BA[o,1] ;
a) = {1, 2,3,} ;
p
b) = x = / p, q e q 0 ;
q
c) ;
e) (1, 2) ;
f) Intervalo [1, 2) ;
h) [1, 2] {3} .
a) A = {( x, y ) 2 / x 2 4 x + y 2 0} ;
b) B = {( x, y ) 2 / y > 0} ;
c) C = {( x, y ) 2 / x < 2 e y 2} ;
d) D = {( x, y ) 2 / x = 0 e y = 0} ;
e) E = {( x, y ) 2 / x 1} ;
f) F = {( x, y ) 2 / y 2 x 2 > 1} ;
g) G = B (0, 2) B(1, 2) .
49
12) Determine os pontos de acumulao e o fecho de cada um
dos seguintes subconjuntos de :
1 1 1
, , , (0, 2) , [0, 2) , [0, 2] , (0,1) , 1, , , , , .
2 3 n
13) Num espao mtrico qualquer ( M , d ) , mostre que se
A M aberto e a M , ento A \{a} aberto.
F
n =1
n pode ser vazio se os Fn forem apenas fechados ou ape-
nas limitados.
d) X ' = X .
a) a X no ponto interior de X ;
b) X no um conjunto aberto;
c) F no um conjunto fechado;
d) a X no um ponto de fronteira;
e) a X no um ponto de acumulao de X .
a) conjuntos abertos;
b) conjuntos fechados;
50
b) Em 2 : B1 = {( x, y ) / xy = 1} ; B2 = {( x, y ) / x > 0 e y > 0} .
a) A = {(m, n) / m, n } ;
b) B = {( p, q ) / p, q so racionais} ;
1 1
c) C = , / n ;
n n
1 1
d) D = , / m, n ;
m n
m 1
e) D = , / m, n , n 0 .
n n
a) int( A) = A \ Fr ( A) ;
b) A = n \ int( n \ A) .
a) Int ( A) = int( A) ;
b) A A = A ;
c) Int ( A) = A ;
d) Fr ( A) = Fr ( A) ;
e) Fr ( A) M \ A se A aberto.
a) Fr ( A) = Fr ( M \ A) ;
b) A B A B ;
c) A B A B ;
51
Resumo
Neste captulo voc se familiarizou com as noes topolgicas b-
sicas em um espao mtrico, tais como: bolas abertas, conjuntos
abertos, conjuntos fechados, pontos de acumulao, etc. Muitos
exemplos foram desenvolvidos no espao n , em especial em
e 2 , de modo a desenvolver a sua intuio geomtrica. Foram
apresentados exerccios resolvidos e propostos, fundamentais
para o seu aprendizado.
52
2 Convergncia
2 Convergncia
55
um livro por andar e, portanto, no podemos seguir esta ideia.
Vamos, ento, atacar o problema usando a matemtica que j
aprendemos nos clculos.
x1M 1 + x2 M 2
c= .
M1 + M 2
M1 M2
x1 c x1
Figura 2.2
Mesa 0 1 2 3
Figura 2.3
56
1
Mesa 0 1 2 3
Figura 2.4
1
2
Mesa 0 1 2 3
Figura 2.5
x2 M 2 + c1M 1 (1) 1 + 0 1 1
c= = = .
M 2 + M1 1+1 2
Agora, deslocamos esta pilha para a direita at que o seu centro
de gravidade esteja no 0 , ou seja, podemos deslocar a pilha por
1 1
e teremos alcanado a distncia D2 = 1 + do beirado da mesa
2 2
(Figura 2.6):
1
2
Mesa 0 1 2 3
Figura 2.6
57
Distncia Atingida Livros Necessrios (N)
2 N=4
4 N = 31
10 N = 12.367
22 N = 2.012.783.315
40 N = 132.159.290.357.566.703
Figura 2.7
Uma sequncia de nmeros reais nada mais do que uma lista infi-
nita de nmeros reais, arranjados em uma certa ordem. Mais precisa-
mente, temos uma sequncia (infinita) se para cada nmero natural
n associamos um nmero real xn , conforme definio que segue.
58
Exemplo 2.3. 1, 1 , 1 , = 1 .
2 3 n
Na disciplina de Clculo I, voc estudou as sequncias de n-
meros reais. Antes de continuar seu estudo, interessante voc
revisar a seo 1.3 do livro-texto da referida disciplina.
Exemplo 2.4. f : 2
1 1
n , .
n 2n
1 1 1 1 1
1, , , , , , .
2 2 4 3 6
Exemplo 2.5. f : 3
1 1 1
n , , .
n n n
1 1 1 1 1 1 .
(1,1,1), 2 , 2 , 2 , 3 , 3 , 3 ,
59
Nota. Veja que o conjunto dos termos da sequncia difere da se-
quncia, como ilustrado no seguinte exemplo:
x
0 1 1 1 1 1
n 4 3 2
Figura 2.9
1
Formalmente, verifica-se a definio: > 0 , se n0 e n0 ,
ento
| xn 0 |< para todo n > n0 .
60
xn ,n > n0
( )
0 x
Figura 2.10
n > n0 .
x2
xn ,n > n0
r
a
Figura 2.11
61
Exemplo 2.6. Seja ( M , d ) um espao mtrico. A sequncia
( x1 , x2 , , xk , p, p, p,) dita sequncia estacionria.
Temos que xn p .
3n
1 < ,
3n + 1
3n 3n 1
< ,
3n + 1
1
< ,
3n + 1
1
3n + 1 > ,
11
n > 1 .
3
Assim, se tomarmos n0 como o primeiro natural maior que
11 3n
1 , temos que n > n0 1 < , como desejado.
3 3n + 1
62
Temos: d ( zn , a ) = ( xn 1) 2 + ( yn 0) 2
2 2
1 1
= 1 + 1 +
n n
2 2
1 1 1
= + = 2
n n n
1 (1) n
Logo, 1 + , (1,0) .
n n
Exemplo 2.9. Seja ( M , d ) um espao mtrico. A sequncia
( xn ) = (a, b, a, b, a, b,) , onde a b divergente.
1 1
Exemplo 2.10. Em 2 , a sequncia ( zn ) = , (0,0) .
n n
Exerccio Proposto
1) Usando a definio, comprove o resultado do exemplo 2.10.
63
Prova:
) Hiptese: ( xn , yn ) (a, b) .
Tese: xn a e yn b .
Logo, xn a e yn b .
) Hiptese: xn a e yn b .
Tese: ( xn , yn ) (a, b) .
Seja > 0 .
Como xn a , n1 tal que | xn a |< , n > n1 .
2
Como yn b , n2 tal que | yn b |< , n > n2 .
2
Seja n0 = max{n1 , n2 } .
Observe que se a e b so
nmeros positivos, ento
Logo, ( xn , yn ) (a, b) .
1 n 1 (1) n 1
Exemplo 2.11. Em 4 , a sequncia ( zn ) = , , , con-
n n n 2n
verge para (0,1,0,0) .
64
Observao Importante: A convergncia depende da mtrica.
1
Exemplo 2.12. De fato, em , com a mtrica usual, 0 .
n
1
Se tomarmos a mtrica 0 1 , a sequncia no converge para
n
1
zero, pois d ,0 = 1 , para todo n .
n
1 1
Com esta mtrica, a sequncia diverge, pois, a , d , a = 1,
n n
exceto, possivelmente, para um determinado valor de n .
Denote f (t ) = t .
De fato, d ( f n , f ) = max{| f n (t ) f (t ) |}
0t 1
nt
= max t
0t 1
n+t
t 2
= max
n + t
0t 1
t2
= max
0t 1
n + t
t2 1
max = 0.
0t 1
n n
65
Nota. Observe que na seo 1.4 definimos uma mtrica num espa-
o de funes usando o supremo. Neste exemplo usamos o mxi-
mo porque estamos trabalhando num espao de funes contnu-
as definidas num intervalo fechado e limitado. Em um intervalo
desse tipo toda funo contnua assume valor mximo.
Exerccio Proposto
2) Use um software grfico e construa o grfico das funes:
f (t ) , f n (t ) , n = 1, 2,,5 .
Prova:
Exerccio Proposto
3) Verifique quais das sequncias abaixo convergem. Para as
sequncias convergentes d o limite:
66
t
d) A sequncia ( f n ) , onde f n (t ) = , no espao C[0,1] com
n
a mtrica d ( f , g ) = max{| f (t ) g (t ) |} .
0t 1
2.4 Subsequncias
Introduziremos agora a noo de subsequncias. Se voc ach-la
difcil, no desanime! Veja o que escreveu Mittag-Leffler, ainda
em 1875:
(1) n 1 1 1
Em , considere a sequncia = 1, , , , .
n 2 3 4
Podemos, de uma maneira muito natural, destacar duas subse-
quncias:
1 1
1, , , e
3 5
1 1 1
, , , .
2 4 6
A primeira a restrio da sequncia dada ao conjunto dos natu-
rais mpares e a segunda aos naturais pares.
67
Observao. Uma subsequncia pode ser vista como uma sequn-
cia, atravs da aplicao
1 xn1
2 xn2
k xnk
Prova:
Logo, xnk a .
68
( xn ) se, e somente se, para todo r > 0 , a bola aberta B (a, r ) conti-
ver uma infinidade de termos de ( xn ) .
Prova:
Ento para todo r > 0 , k0 tal que d ( xnk , a ) < r para todo
k > k0 . Logo, para k > k0 , xnk B(a, r ) , ou seja, B (a, r ) contm
uma infinidade de termos de ( xn ) .
1
Como B a, tambm contm uma infinidade de termos ( xn ),
2
1
escolhemos n2 > n1 tal que xn2 B a, .
2
Suponhamos ter escolhido, desta forma, xn1 , xn2 , , xnk 1 .
1
Como B a, contm uma infinidade de termos de ( xn ) , pode-
k
1
mos escolher nk > nk 1 tal que xnk B a, .
k
A subsequncia ( xnk ) de ( xn ) , assim construda, satisfaz
1
d ( xnk , a ) < .
k
1
Como 0 quando k , segue que xnk a .
k
1 1 1
Observe as sequncias de nmeros reais = 1, , , e
(2n) = (2, 4,6,8,) . n 2 3
69
A 1 sequncia limitada e a 2 no limitada. Como formalizar
estes conceitos? Vejamos:
Exerccio Proposto
4) D exemplos:
Prova:
n > n0 xn B(a,1) .
70
O conjunto {x1 , x2 , , xn0 } est contido na bola aberta B (a, r1 ) .
Exerccio Proposto
5) D um exemplo para mostrar que no vale a recproca da
proposio 2.5.
Prova:
infinidade de termos de xn
[ ]
a tA b
Figura 2.12
Temos:
i) a A , pois a xn , n ;
ii) t A , t b .
71
Logo, A e limitado superiormente.
Seja C = sup A .
tA
C C
Figura 2.13
C < xn < C + .
Prova:
72
Como xn X {a} , n , temos que B (a, r ) ( X {a}) .
Exerccio Resolvido
1) Em , verifique que 0 ponto de acumulao do conjunto
1 1 1
X = 1, , , , .
2 4 8
Resoluo:
Exerccio Proposto
6) Decida se os pontos dados so pontos de acumulao dos
seguintes conjuntos:
a) a = 1 , X = (0,1) em .
b) a = (0,1) ,
1 1 1 2 1 3 1 4
X = (0,1), (1, 0), , , , , , , , , em 2 .
2 2 3 3 4 4 5 5
c) a = 2 , X = em .
7 56
d) a = e a = , X = {0, a1a2 a2 / ai = 5, 6 ou 7} em .
9 99
73
Proposio 2.7 (Ponto Aderente). Sejam ( M , d ) um espao mtri-
co e X M . Um ponto a M aderente a X se, e somente se, a
Relembre que o conjunto
limite de uma sequncia de pontos de X .
dos pontos aderentes a X
denominado por fecho de X
Prova: e denotado por .
Exerccio Resolvido
2 ) Verificar se denso em .
Resoluo:
74
a = b0 , b1b2b3 .
Tomamos a sequncia:
x1 = b0
x2 = b0 , b1
x3 = b0 , b1b2
xn = b0 , b1b2 bn 1 .
A sequncia xn a , pois
1
| xn a |=| b0 , b1b2 bn1 b0 , b1b2 bn1bn |=| 0,0 0bnbn+1 |< 0.
10n1
Prova:
Nota. A proposio 2.8 muito til para verificar que alguns con-
juntos no so fechados.
Exerccio Proposto
7) Verifique que no so fechados os conjuntos:
2 4 6 8
a) X = , , , , em ;
3 5 7 9
75
1 1 1 1 1
b) X = 1, , , , , , em ;
2 3 4 5 5
c) X = em ;
d) X = {( x, y ) / x 2 y 2 < 1} em 2 .
Prova:
Fr( X ) = X C ( X ).
xn B(a, ) , n > n0 .
B (a, ) X .
yn B(a, ) , n > n1 .
B (a, ) C ( X ) .
Logo, a Fr( x) .
76
Exerccio Resolvido
3) Verifique que o ponto (0, 0) um ponto de fronteira do con-
junto X = {( x, y ) 2 / x < y} em 2 .
Resoluo:
Figura 2.14
1 1 1
A sequncia , 0 = (1, 0), , 0 , , 0 , est em X
n 2 3
e converge para (0, 0) .
1 1 1
A sequncia , 0 = (1, 0), , 0 , , 0 , est em C ( X ) e
n 2 3
tambm converge para (0, 0) .
Exerccio Proposto
8) Determine a fronteira do conjunto X do exerccio resolvido
anterior. Escolha dois pontos distintos de (0, 0) e mostre que
eles pertencem a fronteira de X usando a proposio 2.9.
77
Prova:
Tese: A aberto.
Logo, A aberto.
78
1 2
1 Etapa: Retira-se do intervalo [0,1] o seu tero mdio aberto , .
3 3
2 Etapa: Retira-se o tero mdio aberto de cada um dos interva-
1 2
los restantes 0, e ,1 .
3 3
1 2 1 2 7 8
Sobra, nesta etapa: 0, , , ,1 .
9 9 3 3 9 9
k-sima etapa: Retira-se o tero mdio aberto de cada um dos
intervalos restantes na etapa anterior.
[ ] [ ]
0 1 2 1
3 3
[ ] [ ] [ ] [ ]
0 1 2 1 2 7 8 1
9 9 3 3 9 9
[] [] [] [] [] [] [] []
Figura 2.15
1) K fechado
79
2) Int( K ) =
3) K no enumervel.
[ ]( (
a an c b
Figura 2.16
80
Vamos provar que c no ponto isolado de K .
I1 I 2 I n I n +1 .
Prova:
a1 a2 an an +1
b1 b2 bn bn +1
Alm disso, am bn , m, n .
81
Como a = sup A , segue que am a , m .
a bn , n .
Temos, ento,
an a bn , n .
ou seja, a [an , bn ] .
n =1
Exerccio Proposto
9) De forma anloga, mostre que b [an , bn ] .
n =1
Prova:
I1 I 2 I 3 ,
82
onde I n = [an , bn ] , cujos comprimentos so:
ba
I1 :
2
ba
I2 :
4
ba
I3 :
8
ba
In : n .
2
Pelo princpio dos intervalos encaixados, existe pelo menos um
ponto p comum a todos os intervalos.
De fato, vejamos:
1
Exemplo 2.18. A sequncia de Cauchy em .
n
83
1
De fato, como 0 , > 0 , n0 tal que
n
1
0 < , n > n0 .
n 2
Assim, n, m > 0
1 1 1 1
+ < + = .
m n m n 2 2
Exerccio Proposto
10) Considere um espao mtrico ( M , d ) com a mtrica 0 1 .
Caracterize as sequncias de Cauchy em M .
1
No exemplo anterior vimos que a sequncia de Cauchy em
n
. Esta sequncia convergente. Voc pode se perguntar: toda
sequncia convergente de Cauchy?
Prova:
1
Neste espao a sequncia de Cauchy, mas no converge.
n
84
Exemplo 2.20. Seja M = com a mtrica usual.
Prova:
Seja > 0. Como xnk a, k0 tal que d ( xnk , a ) < , k > k0 .
2
Como ( xn ) de Cauchy, n0 tal que
d ( xn , xm ) < , m, n > n0 .
2
Seja n1 = max{n0 , k0 } e seja nk > n1 ( nk fixo).
Temos
d ( xn , a ) d ( xn , xnk ) + d ( xnk , a ) < + = , n > n1 .
2 2
Logo, ( xn ) a .
Prova:
85
Exerccio Proposto
11) Verifique se a sequncia ( xn ) sequncia de Cauchy:
(1) n
xn = em .
n
Dica: Reveja o exemplo 2.18.
Prova:
Seja ( xn ) uma sequncia de Cauchy em . Pela proposio 2.13,
( xn ) limitada. Usando o Teorema de Bolzano-Weierstrass, pode-
mos concluir que ( xn ) possui uma subsequncia convergente. Pela
proposio 2.12, temos que ( xn ) converge.
86
Exerccios Resolvidos
4) Seja M o intervalo aberto (0, 2) com a mtrica usual indu-
zida de . Verifique que M no completo.
Resoluo:
Resoluo:
( xn ) = ( x1 , x2 , , xk , p, p, p,)
Logo, M completo.
Resoluo:
87
Exerccio Proposto
12) D outros exemplos de subespaos de que sejam:
i) completos;
ii) no completos.
Prova:
Tese: F completo.
Tese: F fechado.
88
M M densamente e d = d sobre M . Basta adicionar a M os
limites das sequncias de Cauchy em M .
1 1 1 1 1 1
0,1, , , , , o completado de 1, , , , , como
2 3 n 2 3 n
subespao de .
Exerccio Resolvido
7) Verifique que 2 com a mtrica usual um espao mtrico
completo.
Resoluo:
89
Espaos de Banach: um espao vetorial normado que comple-
to com a mtrica induzida pela norma, isto ,
d ( x, y ) =|| x y || .
onde x = ( x1 , x2 ,, xn ) e y = ( y1 , y2 ,, yn ) , temos i =1
|| x ||= x, x
e
d ( x, y ) =|| x y || .
Exerccios Complementares
Nos exerccios de 1 a 10, considere com a mtrica usual. Se a
afirmao dada verdadeira, prove-a; se for falsa, d um contra-
exemplo:
3) Se xn 0 e ( yn ) limitada, ento zn = xn yn 0 .
90
9) Toda sequncia de Cauchy em converge para um elemen-
to de .
1 n2 + 1
a) ( zn ) tal que zn = 1 n1 , ;
2 2n 2
n 1 (n 1) 2
b) ( zn ) tal que zn = , 2 .
n n2
a) o intervalo [2,5) ;
1
b) , n ;
n
c) [0,1] .
a) X = [0,1] [0,1) ;
b) Y = {( x, y ) 2 / x > 0 e y > 0} ;
91
c) Z = {( x, y ) 2 / 0 < x 2 + y 2 < 1} ;
d) W = {( x, y ) 2 /1 < ( x 1) 2 + ( y 2) 2 < 2} .
Resumo
Neste captulo voc estudou a noo de convergncia. Para facili-
tar seu aprendizado foi revista a definio de convergncia para
sequncias de nmeros reais. A seguir, a noo de convergncia
foi estendida para sequncias em um espao mtrico qualquer.
92
3 Continuidade
3 Continuidade
R$ R$
10 10
1 1
Figura 3.1
95
da Terra identificado por sua latitude e longitude, ento a tem-
peratura em cada ponto da Terra uma funo contnua de duas
variveis. Outros exemplos incluem velocidade do vento, presso
atmosfrica, etc.
96
A definio de continuidade para espaos mtricos anloga
definio acima. Apenas trocamos a noo de distncia em , ou
seja, o mdulo, pelas mtricas apropriadas. Vejamos:
y
f (x) = 2x
Figura 3.2
e
Note que dado e > 0 , podemos tomar = para satisfazer a de-
2
finio de continuidade.
97
1 se x > 0
Exemplo 3.2. Seja f : , f ( x) = .
1 se x 0
Ento f contnua em todo ponto de {0} e f descontnua
no 0. Veja o grfico na figura 3.3.
Figura 3.3
f
(x,x)
0 x
Figura 3.4
d ( f ( x), f (a )) = d (( x, x),(a, a )) = ( x a) 2 + ( x a) 2 = 2 | x a | .
e
Logo, tomando = temos que se | x a |= d ( x, a ) < ento
2
e
d ( f ( x), f (a)) = 2 | x a |< 2 = 2 = e.
2
Logo, f contnua em a . Como a era qualquer, temos que f
contnua.
98
Exemplo 3.4. Voc viu um exemplo de uma mtrica em um es-
pao de funes. Veremos agora um exemplo de funo contnua
envolvendo um espao de funes.
Definiremos agora,
f : l ()
.
a a (1)
Observe que f associa a cada sequncia o seu primeiro termo.
Note que se d (a, x) < ento sup{| a (n) x(n) |} < e, portanto,
n
Logo, f contnua.
d ( f ( x), f ( y )) kd ( x, y ), x, y M .
Tente mostrar, sem ler a resoluo abaixo antes, que toda funo
de Lipschitz contnua.
Exerccio Resolvido
1) Toda funo de Lipschitz contnua.
Resoluo:
e
Dado e > 0 , seja = .
k
Logo, se d ( x, y ) < ento
d ( f ( x), f ( y )) kd ( x, y ) < k = e .
99
Exerccios Propostos
1
1) Mostre que f :[2, 4] , dada por f ( x) = , de Lipschitz
x
e, portanto, contnua.
d ( x, p ) d ( x, y ) + d ( y , p )
e
d ( y , p ) d ( y , x ) + d ( x, p ) .
d ( y , x ) d ( y , p ) d ( x, p ) d ( y , x )
| d ( y, p ) d ( x, p ) | d ( y, x) .
Voc deve estar achando que nem sempre fcil mostrar que
uma funo contnua. Realmente, usando apenas a definio,
em muitos casos, difcil, seno impossvel, decidir pela conti-
nuidade ou no de uma funo. Portanto, precisamos de outras
100
caracterizaes de continuidade de uma funo, e este ser o foco
dos teoremas que seguem.
Prova:
Logo, f contnua em a .
101
Proposio 3.1. Sejam f e g funes reais contnuas em um es-
pao mtrico M . Ento:
i) | f | contnua em M .
ii) f g contnua em M .
iii) cf contnua em M , c .
iv) f g contnua em M .
f
v) contnua em M se g ( x) 0, x M .
g
Faremos a prova do item (iv). Os outros ficam como exerccio.
Prova:
(( f g )( xn )) = ( f ( xn ) g ( xn )) f (a ) g (a ) = ( f g )(a ) .
Exerccio Proposto
3) Mostre os itens (i) e (ii) da proposio anterior usando a de-
finio.
1 se x
Exemplo 3.6. Seja f : dada por f ( x) = .
1 se x
Temos que f no contnua em nenhum ponto.
2
De fato, se a ento podemos tomar a sequncia ( xn ) = a +
n
102
que converge para a , mas tal que f ( xn ) 1 f (a ) = 1 , pois
xn \ .
Exerccio Resolvido
2) Verifique se a seguinte funo contnua ou no:
x + 1, para x > 0
g : {0} dada por g( x) = .
x, para x < 0
Resoluo:
Mostraremos que g contnua em todo a {0} usando o te-
orema 3.1. Supor a > 0 . Seja ( xn ) uma sequncia que converge
para a . Ento existe N > 0 tal que para todo n > N , xn > 0 e,
portanto,
g ( xn ) = xn + 1
a + 1 = g (a) + 1 .
Exerccio Proposto
1
cos , se x 0
4) Decida se f : , dada por f ( x) = x ,
1, se x = 0
contnua. Justifique sua resposta.
103
abaixo que f contnua se, e somente se, a imagem inversa de
abertos por f aberta, o que verdade se, e somente se, a ima-
gem inversa de fechados por f fechada. Vejamos:
i) f contnua.
Seja a M e e > 0 .
104
Como a f 1 ( B( f (a ), e)) , existe > 0 tal que
B (a, ) f 1 ( B ( f (a ), e)) (tente desenhar o que est acontecendo,
isto deve ajud-lo). Veja a figura 3.5:
M N
f
f 1(B(f(a),))
x
a f(a)
Figura 3.5
x f 1 ( B ( f (a ), e)) .
Prova:
uma consequncia imediata do teorema anterior e do fato que
todo aberto de um espao mtrico se escreve com reunio de bolas
abertas.
f : g :
1 x se x 0 e 1 se x ,
x x
0 se x < 0 1 se x
105
g
1
1
f
Figura 3.6
Prova:
106
A proposio acima fala do comportamento global da continuida-
de com respeito composio. E o comportamento local? Temos a
seguinte proposio:
Prova:
f g
1
a b =f(a ) g( f( a) ) = g( b )
Figura 3.7
Exerccios Propostos
5) Seja f : A n contnua em x0 A, A ( M , D) , A aberto.
Supor f ( xo ) 0 n . Provar que f ( x) 0 em alguma vizi-
nhana do ponto x0 .
6) Analisar a continuidade de
senx
f ( x) = , x 0 e f (0) = 1, x .
x
107
3.2 Conjuntos Compactos
Ns j comentamos e iremos reconhecer, por todo este livro, a im-
portncia de conjuntos compactos. Todos aqueles que estudam anli-
se geral j viram que impossvel viver sem os compactos. (Frechet,
1928, Espaces abstraits, p. 66 apud [6, Hairer & Wanner]).
X = [0,1] ,
1 1
C1 = , ,
2 2
1 3
C2 = , ,
4 2
1 5
C3 = , .
8 4
108
A figura 3.8 ilustra este exemplo.
C2
1 0 1 1 1 1 5 3
2 8 4 2 4 2
C3
C1
Figura 3.8
Note que:
109
1 1 1
Exemplo 3.11. Seja X = 1, , ,, , .
2 3 n
Note que X infinito e para qualquer x X existe um intervalo
aberto I x de centro x tal que I x ( X \{x}) = . A figura 3.9 ilus-
tra a situao.
I1 I1 I1 I1 I1
n 4 3 2
( ) ( ) ( ) ( ) ( )
0 1 1 1 1 1
n 4 3 2
Figura 3.9
Prova:
A prova deste teorema pode ser encontrada em [14, Marsden &
Hoffman] ou [15, Munkres].
110
Como consequncia deste teorema, podemos ver que X = [0,1)
1
no compacto em , pois a sequncia {xn } , onde xn = 1 con-
n
verge para 1. Logo, todas as suas subsequncias convergem para
1, mas 1 no pertence a X .
Prova:
111
Por exemplo, se M um conjunto infinito e d a mtrica discreta
(isto , d ( x, y ) = 0 , se x = y e d ( x, y ) = 1 , se x y ) ento ( M , d )
limitado (por qu?) e fechado (por qu?), mas no compacto (pois
1
a cobertura B x, , x M no possui subcobertura finita).
2
Exemplo 3.15. Usando o teorema de Heine-Borel, podemos con-
cluir que qualquer bola fechada em n compacta.
Prova:
Prova:
Como f ( M ) limitado, existem y1 = inf{ f ( x)} e y2 = sup{ f ( x)} .
xM xM
Figura 3.10
113
em x0 > 0 , depende de e e tambm diretamente de x0 , de modo
que ( x0 ) 0 se x0 0+ .
x
Figura 3.11
e
Tomando = , temos que: se d ( x, y ) < ento
k
e
d ( f ( x), f ( y )) kd ( x, y ) < k = e .
k
e portanto f uniformemente contnua.
1
Exemplo 3.19. f : (0, +) (0, +) definida por f ( x) = no
x
uniformemente contnua (ver figura 3.12).
Figura 3.12
114
Note que dado e > 0 , para que | f ( x) f ( y ) |< e , quando x e y se
aproximam de 0, necessrio que o valor de tenda para 0.
Exerccios Propostos
8) Decida se a funo f :[0, +) [0, +) definida por f ( x) = x 2
uniformemente contnua.
Prova:
B a1 , 1 , B a2 , 2 , , B an , n .
2 2 2
Seja = min 1 , 2 , , n . Mostraremos agora que se x, y M
2 2 2
so tais que d ( x, y ) < ento d ( f ( x), f ( y )) < e .
Como x M , x B ai , i , isto , d ( x, ai ) < i , para algum i
entre 1, 2,, n . 2 2
115
i i i
Mas ento, d ( y, ai ) d ( y, x) + d ( x, ai ) < +
+ = i e,
2 2 2
usando a desigualdade triangular mais uma vez, temos, da conti-
nuidade em ai , que
e e
d ( f ( x), f ( y )) d ( f ( x), f ( ai )) + d ( f ( ai ), f ( y )) + = e.
2 2
Exerccios Propostos
10) D um exemplo de espaos mtricos M e N e uma funo
contnua f : M N tal que N compacto, mas M no
compacto.
Prova:
116
Seja S = C [ x, z ] .
Figura 3.13
117
Exemplo 3.23. Seja M = [0,1] (2,3] e d a mtrica usual de .
Ento ( M , d ) no conexo e voc pode verificar que [0,1] M
aberto e fechado.
Prova:
118
Voc consegue achar uma separao para ?
U = {x / x < 2}
.
V = {x / x > 2}
Gostaramos agora de construir novos conjuntos conexos, a partir
dos conjuntos que conhecemos. Para isto, precisamos de alguns
resultados. Vejamos:
Prova:
f (M ) = U V ,
U V = ,
U e V ,
U , V so abertos.
Logo, f ( M ) conexo.
119
S
Figura 3.14
1
S
Figura 3.15
Prova:
A prova desta proposio pode ser encontrada em [10,
Kuhlkamp].
120
A proposio acima nos permite mostrar alguns resultados sur-
preendentes, que desafiam a nossa intuio. Com ela voc pode
fazer o seguinte exerccio:
Exerccio Proposto
14) Mostre que S {(0, q ) : q ; 1 q 1} , onde
1
S = x,sen : 0 < x < 1 conexo.
x
Prova Parcial:
Uma vez provado que (1,1) conexo, segue que (0,1) conexo,
pois a imagem pela funo contnua
x +1
f : (1,1) (0,1) definida por f ( x) =
2
do intervalo conexo (1,1) (verifique!).
(verifique!).
Exerccio Proposto
15) Mostre que os intervalos abertos (a, +) e (, b) so co-
nexos.
121
Proposio 3.8. Qualquer intervalo da reta conexo.
Prova:
Seja I um intervalo da reta. Pela proposio anterior o interior
do intervalo I conexo e ento segue da proposio 3.6 que I
conexo.
Exerccio Proposto
16) Mostre que a recproca da proposio anterior vlida, isto
, mostre que se C um conjunto conexo de , ento C
um intervalo.
Prova:
122
Como uma aplicao do teorema do valor intermedirio, prova-
remos que na linha do equador existem dois pontos opostos com
a mesma temperatura (ver figura 3.16). Isto mesmo. Usaremos a
teoria desenvolvida nesta seo para resolver um problema real.
Para isto, vamos supor que a linha do equador o crculo S 1 em
2 , isto ,
g ( p) = f ( p) f ( p) = g ( p) .
Figura 3.16
123
possvel tambm provar que existem dois pontos opostos na
terra com a mesma temperatura e presso atmosfrica. Mas para
isto necessrio o teorema de Borsur-Ulam (ver [15, Munkres]).
Exerccios Complementares
1) Analise a continuidade das funes:
a) f :
0, x 0
f ( x) = ;
1, x > 0
b) g : {0}
0, x < 0
g ( x) = ;
1, x > 0
c) h : X
2, x < 1 1 1
h( x ) = X = 1,1 ,1 , .
1, x = 1 2 3
124
7) Sejam M , N espaos mtricos, f , g : M N contnuas e X
denso em M . Se f ( x) = g ( x) , x X , mostre que f = g .
a) em ;
b) em ;
c) B = {2} [3, 4] em ;
1 2 3
d) 1, , , , em ;
2 3 4
e) [1, 2] em ;
125
f) A = {x / 0 x 1 e x } ;
g) D = {( x, y ) 2 / 0 x 1} ;
h) S = {( x, y ) 2 / xy = 1} {( x, y ) 2 / x 2 + y 2 < 5} .
a) M no conexo;
126
26) Seja A um subconjunto compacto de n e ( xn ) uma sequn-
cia de Cauchy em A . Mostre que ( xn ) converge para um ponto
de A .
Resumo
Neste captulo voc aprofundou seu conhecimento sobre uma
classe muito importante de funes: as funes contnuas.
127
Respostas dos Exerccios
Captulo 1
Exerccios Propostos
2) a) d ( f , g ) = sup
[ ]
| f ( x) g ( x) |= sup | x 1|= 1 .
x 0, 1 [ ]
x 0, 1
b) d ( f , g ) = sup | f ( x) g ( x) |= sup | x 2 x | .
x[0, 1] x[0, 1]
b) A = {(0, 2)};
4) a) Int ( A) = {( x , x )
1 2
2
/ x2 > x1} .
x2 x1=x2
1 x1
131
b) Int ( A) = A .
x2
x2= x12
x1
c) Int ( A) = A .
x2 x2= e x 1
x1
d) Int ( A) = A .
x2
x 2=lnx 1
x1
e) Int ( A) = .
132
5) a) A A
1 2 aberto (Propriedade Ab2).
= d ( y, B[ x, r ]) .
Mas, ento,
B y, C ( B[ x, r ]) .
2
E, portanto, C ( B[ x, r ]) aberto, como desejado.
Fi = Fi Fn+1 , e como
i =1 i =1
F
i =1
i fechado pela hiptese de
n +1
induo, segue que F fechado por Fe 2.
i =1
i
9) Em , sejam F 1
n = ,1 , n = 1, 2,3,... . Ento,
n
Fn = (0,1] , que
n =1
no fechado em .
133
10) S ' = {( x, y) 2
/ y x 2 1} .
c) fechado.
f) fechado.
13) Afirmao: A B A B .
Prova: Seja x A B .
Ento, A B = e A B = {1} .
b) Fr ( Int ( A)) = {( x, y ) 2 / x 2 + y 2 = 1} .
1 x
134
c) Fr ( A) = [0, 1] .
d) Fr ( B) = {0, 1} .
e) Fr (C ) = {( x, y ) 2 / y = x 2 4 x + 3} .
Exerccios Complementares
1) Neste exerccio temos que verificar se as condies M 1 a M 3
da definio de mtrica so satisfeitas.
2) a) mtrica. b) No mtrica.
5) a) Seja p . Se p , ok.
Logo, inf{d ( p, x) / x } = 0 .
8) 1 1
Como p B p, n , p B p, .
n n =1 n
1 1
Se x
n =1
B p, , ento d ( x, p ) < n .
n n
Logo, d ( x, p ) = 0 e, portanto, x = p .
136
9) a) y b) y
x x
c) y d) y
x x
10) a) int () = .
b) int () = .
c) .
e) .
f) (1, 2) .
g) (1, 2) .
11) a) Fechado.
b) Aberto.
d) Fechado.
e) Aberto.
f) Aberto.
g) Aberto.
137
12) = ; =
1 1 1 1 1 1 1
1, , ,... = {0}; 1, , ,... = 0,1, , , ,... .
2 3 2 3 2 3 4
14) Sejam F
1
Sejam An = 0, , n = 1, 2, 3,... . Ento,
n
A
n =1
n =.
15) a) X = (0, 1) em .
b) X = Q em .
1 1
c) X = 0,1, , ,... em .
2 3
d) X = .
19) a) A = .
b) B = 2 .
138
1 1
d) D ' = 0, , n ,0 , m .
n m
e) E ' = {( x, y ) 2 / x e y = 0} .
139
c) Seja x A B . Ento, existe uma sequncia ( xn ) n tal
que xn x e xn A B n . Sejam C = {n / xn A} e
D = {n / xn B} . claro que C ou D um conjunto
infinito. Sem perda de generalidade, suponha que C
infinito. Ento, a subsequncia ( xk ) kC converge para x e
xn A n C . Logo, x A A B .
Captulo 2
Exerccios Propostos
1) Dado > 0, N 0 > 0 tal que
1
N0
<
2
.
2 2
1 1 2
d ( zn ,(0, 0)) = + = < .
n n n
c) Converge para p .
140
4) a) ( x ) = ((0, n)) .
n
convergente.
7
d) Para a = .
9
Note que a = 0,777...
Seja x1 = 0,7666...
x2 = 0,7766...
x3 = 0,7776...
xn = 0,777...7666...
Tome
x1 = 0,567777...
x2 = 0,56567777...
x3 = 0,565656777...
141
7) a) No fechado, pois 1 X e 1 X .
b) No fechado, pois 0 X .
c) No fechado.
d) No fechado.
8) Fr ( X ) = {( x, y ) 2 / x = y} .
n n
(1, 1) Fr ( X ) , pois (1, 1) = lim ,1 = lim 1, .
n n + 1
n+ n + 1
y
x=y
1 x
Exerccios Complementares
1) Falso. Por exemplo, ((1) ) . n
n N 0 , | xn yn |=| xn | | yn |< M = .
M
a
n > N 0, | xn a |< =
2
a a
< xn a <
2 2
a
0 < < xn n N 0 .
2
143
Dado > 0, N 0 > 0 tal que nk > N 0 , | xnk a |< . Seja nk1 tal
que nk1 > N 0 . Ento se m > nk1 , temos que existe nkm tal que
xnk xm xnk
1 m
| xm a |<
11) a) n
1
1, .
2
b) n (1, 1) .
12) a) ( x ) divergente.
n
b) a = b .
c) Analise ( xn ) = ((1) n ) .
n
n + 1 , se n par
13) Em , seja xn =
1
.
, se n mpar
n
b) O conjunto no fechado em .
c) O conjunto no fechado em .
144
17) Se M finito, ento toda sequncia de Cauchy estacionria
(da forma ( x1 , x2 , x3 ,..., xn , c, c, c, c, c, c,...) , logo, convergente.
Captulo 3
Exerccios Propostos
1) Note que
1 1 yx 1 1 1
d ( f ( x), f ( y )) =
= =| x y | | x y |= d ( x, y ) .
x y xy | xy | 4 4
1
Logo, f de Lipschitz com constante .
4
145
| ( f + g )( x) ( f + g )(a ) |=| f ( x) f (a ) + g ( x) g (a ) |
| f ( x) f (a ) | + | g ( x) g (a ) |
+ = .
2 2
d d
aberta B f ( x0 ), 0 . Ento f 1 B f ( x0 ), 0 uma vizi-
2 2
nhana de x0 , onde f no se anula.
8) No uniformemente contnua.
9) Note que f contnua em [a, b] , que compacto em .
Logo, pelo Teorema 3.5, f uniformemente contnua em
[ a, b] .
Ento
f :M N
xx
contnua, M no compacto e N compacto.
146
11) Supor que f uniformemente contnua em .
147
Para este > 0, 1 > 0 tal que, se d ( x, y ) < 1 , ento
d ( g ( x), g ( y )) < .
Logo, S no conexo.
Exerccios Complementares
1) a) contnua em {0} .
b) contnua em {0} .
c) contnua em X {1} .
148
3) f contnua em X , pois se F fechado em , ento f 1 ( F )
um conjunto finito de pontos de e, portanto, fechado.
9) M = N = ; X = e f : M N , dada por f ( x) =
x2
x2 + 1
.
Portanto, X A contnua em p .
x se x
11) f ( x) = .
x + 2 se x I
1
d ( ynM , ynM + j ) <
2 2
n
nM 2 nM 2 + j 1
d( f ( y1 ), f ( y1 )) <
n
nM 2 + j nM 2 1
d( f ( y1 ), y1 ) < .
n
150
nM 2 +1 nM 2 1
Tome z1 = f ( y1 ) . Repita para = e tome
3
nM 3 + j nM 3
z2 = f ( y1 ) , onde nM 3 + j nM 3 nM 2 +1 nM 2 , e sucessiva-
1
mente para = , n = 4,5,6,... . Logo, ( zn ) converge para y1 e,
n
portanto, y1 f ( M ) , mas f ( M ) fechado (sendo compacto)
14) A = (0, 1]
1
Sejam U n = ,1 n .
n
Ento, {U n }n no admite subcobertura finita.
0, x < 0
15) Seja f ( x) = .
x, x > 0
Ento f contnua e f 1 ([0, 2]) = (, 2) , que no com-
pacto.
0, x 0
x, 0 x 1
Seja f ( x) = .
2 x , 1 x 2
0, x 2
c) Compacto.
d) Compacto.
151
17) ) Supor que M no finito, digamos M = {x1 , x2 , x3 ,...} .
1
Ento B xi , uma cobertura aberta que no
2 i=1,2,3,...
possui subcobertura finita e, portanto, M no compacto.
A volta trivial.
c) B( p, r ) no fechado.
152
21) No. Por exemplo, f ( x) = sen( x 2 ) (analise o comportamento
da funo quando x ).
( f 1 ) 1 ( F ) = {x B : f 1 ( x) F }
={x B : x f ( F )} = B f ( F ).
Agora, note que B fechado (pois compacto). Ainda, F
compacto (pois um fechado contido em um compacto) e,
usando o fato de que f contnua, f ( F ) compacto e,
logo, fechado.
153
24) (a) (b) . Supor que M no conexo.
Ento existem aberto U e V tal que
U , V , U V = M e U V =
tais que M = U V ,U V = = U V .
B (u , ) U , como desejado.
25) Seja U = {( x, y) 2
: 0 x 1} ,
1 1 1
V = ( x, y ) 2 : 0 x , 1 y 0 ( x, y ) 2 : x 1, 1 y
4 4 2
2 2
( x, y ) : x 1, 1 y 0 .
3
1 2
Ento, U V = 0, ,1 , que no conexo.
4 3
Para A B , basta tomar A = [0, 1], B[2, 3] . Ento A B
no conexo.
154
Dado > 0, N1 > 0 tal que d ( xn , xm ) < n, m N1 (pois
2
( xn ) de Cauchy).
Ainda, N 2 > 0 tal que d ( xnk , a ) < nk N 2 .
2
Tome N = max{N1 , N 2 } .
Se n > N , ento d ( xn , a ) d ( xn , xN ) + d ( xN , a ) + = .
2 2
155
Referncias
157
15) MUNKRES, J. R. Topology: A first course. New Jersey:
Prentice Hall, 1975.
158