Você está na página 1de 158

Mirian Buss Gonalves

Daniel Gonalves

Elementos de Anlise

Florianpolis, 2009

Universidade Federal de Santa Catarina


Consrcio ReDiSul
Campus Universitrio Trindade
Caixa Postal 476
CEP 88040-900 Florianpolis SC

Reitor: Alvaro Toubes Prata


Vice-Reitor: Carlos Alberto Justo da Silva
Secretrio de Educao a Distncia: Ccero Barbosa
Pr-Reitora de Ensino de Graduao: Yara Maria Rauh Mller
Pr-Reitora de Pesquisa e Extenso: Dbora Peres Menezes
Pr-Reitor de Ps-Graduao: Maria Lcia de Barros Camargo
Pr-Reitor de Desenvolvimento Humano e Social: Luiz Henrique Vieira Silva
Pr-Reitor de Infra-Estrutura: Joo Batista Furtuoso
Pr-Reitor de Assuntos Estudantis: Cludio Jos Amante
Centro de Cincias da Educao: Wilson Schmidt
Centro de Cincias Fsicas e Matemticas: Tarciso Antnio Grandi
Centro de Filosofia e Cincias Humanas: Roselane Neckel

Curso de Licenciatura em Matemtica na


Modalidade Distncia
Coordenao de Curso: Neri Terezinha Both Carvalho
Coordenao de Tutoria: Jane Crippa
Coordenao Pedaggica/CED: Roseli Zen Cerny
Coordenao de Ambientes Virtuais/CFM: Nereu Estanislau Burin

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

Ncleo de Criao e Desenvolvimento de Materiais


Design Grfico
Coordenao: Laura Martins Rodrigues, Thiago Rocha Oliveira
Projeto Grfico: Diogo Henrique Ropelato, Marta Cristina Goulart Braga,
Natal Anacleto Chicca Junior

Diagramao: Kallani Bonelli, Thiago Rocha Oliveira, Laura Martins


Rodrigues, Natlia de Gouva Silva

Ilustraes: Kallani Bonelli, Cristiane Amaral

Design Instrucional
Coordenao: Juliana Machado
Design Instrucional: Daynitti Ventura de Jesus
Reviso Gramatical: Christiane Maria Nunes de Souza, Marcos Eroni Pires

Copyright 2009, Universidade Federal de Santa Catarina / Consrcio RediSul


Nenhuma parte deste material poder ser reproduzida, transmitida e gravada, por qualquer
meio eletrnico, por fotocpia e outros, sem a prvia autorizao, por escrito, da Coordenao
Acadmica do Curso de Licenciatura em Matemtica na Modalidade Distncia.

Ficha Catalogrfica
G635e



Gonalves, Mirian Buss


Elementos de anlise / Mirian Buss Gonalves, Daniel Gonalves. - Florianpolis : UFSC/EAD/CED/CFM, 2009.
158p.
ISBN 978-85-99379-66-0


1. Elementos de anlise. I. Gonalves, Daniel. II. Ttulo.

CDU 517
Elaborada pela Bibliotecria Eleonora M. F. Vieira CRB 14/786

Sumrio
n
1 Noes Topolgicas em  9
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

Respostas dos Exerccios 129


Referncias 157

Apresentao
Caro Leitor,
Seja bem-vindo ao estudo de Anlise Matemtica.
Provavelmente esta uma das ltimas disciplinas que faltam
para voc se graduar em Matemtica. Os contedos apresentados
neste livro aprofundam o seu conhecimento anterior e tm como
principal finalidade ampliar sua intuio matemtica e seu raciocnio lgico.
Para isso, voc ser introduzido na linguagem formal da Matemtica, onde os conceitos, proposies etc. so tratados com
formalismo e rigor. No entanto, a linguagem matemtica clara
e precisa que vamos usar no ser carregada em demasia, de
forma a no prejudicar o desenvolvimento das ideias e o prprio
aprendizado.
Sem descuidar do rigor matemtico, procuramos apresentar os
contedos de uma maneira envolvente, de forma a lhe propiciar
uma aprendizagem autnoma e agradvel. Caber a voc a busca
do entendimento dos conceitos, das demonstraes, bem como a
resoluo dos exerccios propostos.
Os conceitos explorados so: noes bsicas de topologia em espaos mtricos, com nfase para os espaos Euclidianos; convergncia de sequncias em espaos mtricos, explorando alguns resultados relevantes em ; continuidade, destacando-se os teoremas
mais importantes utilizados no estudo de Clculo.
A fim de tornar a notao utilizada mais leve e simples, inicialmente apresentamos os conceitos no contexto de um espao mtrico geral. No entanto, no decorrer de todo o texto, a maior parte
dos exemplos e aplicaes desenvolvida nos espaos Euclidianos n , n = 1, 2,3 .
Mesmo que os contedos possam lhe parecer difceis em alguns
momentos, enfrente o desafio. Estude com afinco e dedicao.

Acreditamos que esta disciplina vai lhe proporcionar uma viso


mais abrangente da Matemtica, lhe abrindo horizontes como professor desta bela e desafiadora rea do conhecimento humano.
Se voc gostar do estudo de Anlise, voc um forte candidato
a seguir uma carreira acadmica em Matemtica, cursando um
mestrado e, qui, um doutorado.
Quando finalizar a disciplina, guarde seu livro, pois ele ainda
poder lhe ser til em seu caminho profissional.

Mirian Buss Gonalves


Daniel Gonalves

Noes Topolgicas em n

Noes Topolgicas em n

Neste captulo voc vai adquirir conhecimentos bsicos de


Topologia no n , com nfase para n = 1, 2,3. Isso oportunizar a voc uma viso mais ampla e mais fundamentada
das disciplinas do ensino mdio, quando lecion-las.
Em particular, vamos explorar o conceito de mtrica, que
nos permite medir distncias, tais como distncia entre
dois pontos e distncia entre conjuntos. Veremos tambm
as noes de conjunto aberto, conjunto fechado, interior, fecho e fronteira de um conjunto.

Antes de iniciar o captulo, vejamos o que Cantor e Hilbert afirmaram sobre o estudo de conjuntos:
Por conjunto entendemos a entidade formada quando colocamos
certos objetos, definidos e distintos m, da nossa intuio ou pensamento. Estes objetos so chamados os elementos de M. (G. Cantor,
1895, Werke, p. 282, apud [6, Hairer-Wanner])
Ningum nos expulsar do paraso que Cantor criou para ns.
(Hilbert, Math. Ann, vol 95, p. 170, apud [6, Hairer-Wanner])

Embarcaremos agora no paraso criado por Cantor, munidos


principalmente de nossa intuio geomtrica, a qual ser nossa
guia durante toda esta unidade. No esquea que durante o seu
estudo de extrema importncia que voc resolva os exerccios
propostos neste livro, utilizando uma linguagem matemtica clara e precisa.

1.1 O espao Euclidiano

[...] muito util considerar nmeros complexos, ou nmeros formados 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 deslanchou 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.
Comearemos agora nosso estudo, com toda a preciso necessria
para um bom entendimento das ideias.
O espao Euclidiano n consiste de todas as n -uplas ordenadas
de nmeros reais.
Simbolicamente, temos:
n = {( x1 , x2 , , xn ) / x1 , x2 , , xn } .
Um elemento do espao n denotado por x = ( x1 , x2 , , xn ) e nos
referimos a ele como um ponto de n .
Em n podemos definir as operaes adio e multiplicao por
escalar, como segue:
Adio: Dados dois pontos
y = ( y1 , y2 , , yn ) , define-se:

de

n ,

x = ( x1 , x2 , , xn )

x + y = ( x1 , x2 , , xn ) + ( y1 , y2 , , yn ) = ( x1 + y1 , x2 + y2 ,, xn + yn ) .
Multiplicao por escalar: Dado a e x = ( x1 , x2 , , xn ) n ,
define-se:
ax = a ( x1 , x2 , , xn ) = (ax1 , ax2 , , axn ) .
Observao. Com as operaes de adio e multiplicao por escalar o espao n um espao vetorial.
interessante voc relembrar as propriedades de um espao vetorial. Retome o texto da disciplina lgebra Linear.
Como n um espao vetorial, podemos introduzir o conceito
de norma.
12

Definio 1.1. Uma norma em n uma funo || ||: n tal


que para quaisquer x, y n e , valem as seguintes propriedades:
N1:|| x || 0 e || x ||= 0 x = 0;
N 2 :|| x ||=| ||| x ||;
N 3 :|| x + y |||| x || + || y || .
A norma de n que mais vamos utilizar a norma Euclidiana,
dada por
|| ||: n
x = ( x1 , x2 , , xn ) || x ||= x12 + x22 + + xn2 .
Observao. Veremos que outras normas podem ser definidas
em n . Sempre que no fizermos uma referncia explcita norma, estaremos subentendendo que a norma usada a norma Euclidiana.
No nosso estudo, de forma geral, vamos trabalhar nos espaos
n , n = 1, 2,3 . Isso nos permite visualizar geometricamente os
conceitos que vamos explorar.
Exemplo 1.1. Identifique,
X = {x 1 / || x ||< 1} .

no

espao

1 ,

conjunto

Observe que o espao 1 nada mais que o conjunto dos nmeros reais, que identificamos geometricamente com a reta real.
Temos || x ||=| x |< 1 1 < x < 1 .
Portanto, X o intervalo aberto (1,1) , representado na figura 1.1.

Figura 1.1

Exemplo 1.2. Identifique


S = {x = ( x1 , x2 )/ || x ||< 1} .

no

espao

conjunto

13

Geometricamente o espao 2 o plano cartesiano . Se necessrio, reveja a seo 3.7 do livro texto de Introduo ao Clculo.
Temos || x ||= x12 + x22 < 1 x12 + x22 < 1 .
Portanto, S o conjunto dos pontos interiores circunferncia de
centro em (0,0) e raio 1, ilustrada na figura 1.2.
x2

x1

Figura 1.2

Exemplo 1.3. Identifique no espao 3 o conjunto


S = {x = ( x1 , x2 , x3 )/ || x ||= 1} .
3 o espao cartesiano , que voc utilizou no estudo
da Geometria Analtica e no Clculo para representar figuras geomtricas espaciais como cubos, esferas e outras superfcies.
Temos || x ||= x12 + x22 + x32 = 1 x12 + x22 + x32 = 1 .
Assim, neste caso, S o conjunto dos pontos de uma esfera de
centro na origem (0,0,0) e raio 1, como mostra a figura 1.3.
x3

1
x1
Figura 1.3

14

x2

A noo de espao mtrico


foi introduzida em 1906
por Maurice Frchet e
desenvolvida e batizada
por Felix Hausdorff em
1914.

1.2 Espaos Mtricos


Intuitivamente, um espao mtrico um conjunto no qual temos
uma maneira de medir a distncia entre seus pontos.
Qual a sua noo de distncia entre dois pontos no plano cartesiano 2 ?
Provavelmente, voc vai visualizar a figura 1.4 e concluir que a
distncia entre 2 pontos o comprimento do segmento de reta
que os une, ou seja:
d ( x, y ) = ( y1 x1 ) 2 + ( y2 x2 ) 2 .
x2
y2
x2

y
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:
M1: A distncia entre dois pontos nunca negativa e s zero
a distncia de um ponto a ele mesmo.
M2: A distncia simtrica, isto , a distncia de x at y
igual distncia de y at x .
M3: A distncia entre 2 pontos x e z sempre menor ou igual
soma das distncias de x at y e de y at z , onde y
um ponto qualquer.
Nota. Qualquer funo que satisfaz estas propriedades pode ser
usada para medir distncias.
Temos a seguinte definio:
15

Definio 1.2. Seja M um conjunto. Uma mtrica em M uma funo 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 ) .
O par ( M , d ) , onde M um conjunto e d uma mtrica, chamado um espao mtrico.
Exemplo 1.4. M = ,

A partir das propriedades dos nmeros reais podemos verificar facilmente que d uma mtrica em .
Temos:
M1: d ( x, y ) =| y x | 0
d ( x, y ) = 0 | y x |= 0 y x = 0 x = y;
M2: d ( x, y ) = d ( y, x) , pois | y x |=| 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 .
Qual a deficincia que voc identifica nesta mtrica?
Ela no diferencia a distncia entre pontos distintos. Por exemplo,
se M = , d (4,9) = 1 , d (5,7) = 1 , etc.

16

Essa a mtrica que voc


utilizou nas disciplinas de
Clculo, quando estudou,
por exemplo, limite de
sequncias. Se necessrio,
reveja a seo 1.3.4 do
texto de Clculo I [5,
Gimenez-Starke].

Exerccio Resolvido
1) A funo d ( x, y ) = x 2 + 2 xy mtrica em ? Justifique.
Resoluo:
Note que d no uma mtrica em , pois no satisfaz a propriedade M 1 . Por exemplo, d (1, 3) = 5 < 0 .

1.3 Mtricas em

Sejam x = ( x1 , x2 , , xn ) e y = ( y1 , y2 , , yn ) pontos de n .
As mtricas usualmente utilizadas no espao n so:
i) Mtrica Euclidiana
d : n n
d ( x, y ) = ( y1 x1 ) 2 + ( y2 x2 ) 2 + + ( yn xn ) 2 .
Nota. Observe que para esta mtrica, a distncia de x at y
dada pela norma euclidiana de x y , isto , d ( x, y ) =|| x y || .
ii) Mtrica Retangular ou de ngulo Reto
d1 : n n
d1 ( x, y ) =| y1 x1 | + | y2 x2 | + + | yn xn | .
iii) Mtrica do Mximo
d2 : n n
d 2 ( x, y ) = max{| y1 x1 |,| y2 x2 |,,| yn xn |}.
Observaes.
1) Em nosso estudo a Mtrica Euclidiana ser considerada a mtrica usual de n .
2) Pode-se provar que
d 2 ( x, y ) d ( x, y ) d1 ( x, y ) kd 2 ( x, y ) ,
onde k uma constante. Devido a estas desigualdades, dizemos
que as trs mtricas so equivalentes. A equivalncia no sentido
de que elas vo produzir os mesmos abertos e fechados em n .
17

importante voc visualizar geometricamente essas medidas de


distncia. Para isso vamos utilizar o espao 2 . Retomando a figura 1.4, vemos que a distncia Euclidiana entre dois pontos a
distncia medida em linha reta. As figuras 1.5 e 1.6, respectivamente, ilustram a mtrica retangular e a mtrica do mximo.
A mtrica retangular
tambm conhecida como
Mtrica Metropolitana
ou de Manhattan, devido
s redes de transporte
na forma de grades
retangulares que ocorrem
em muitas cidades
americanas e mesmo
brasileiras. Em muitos
casos ela a mtrica
mais adequada para
medir as distncias dos
deslocamentos nos centros
urbanos.

x2
y

y2
x2

x
x1

y1

x1

Figura 1.5

x2
y

y2
x2

x
y1

x1

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 .
ii) Para a mtrica retangular, vem
d1 ( x, o) = 1 | x1 0 | + | x2 0 |= 1 | x1 | + | x2 |= 1 .
iii) Para a mtrica do mximo, temos
d 2 ( x, o) = 1 max{| x1 0 |,| x2 0 |} = 1 max{| x1 |,| x2 |} = 1.
A figura 1.7 ilustra as 3 situaes.
x2

x2

x1

(i)

x2

x1

(ii)

x1

(iii)

Figura 1.7

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.

1.4 Um Exemplo de Mtrica num


Conjunto de Funes
Seja X um conjunto no vazio. Seja M o conjunto das funes
f : X limitadas, isto , tais que existe uma constante positiva
k , de tal forma que | f ( x) | k , x X .
importante voc revisar
bem a seo 2.6, que
explora os conceitos de
supremo e nfimo, no texto
de Introduo ao Clculo
[4, Gimenez-Starke].

A funo

d :M M

uma mtrica em M .
19

A figura 1.8 ilustra a mtrica dada para X = [a, b] .


x2
g
d ( f, g)

x1

Figura 1.8

Observe que para todo x X , temos um nmero real | g ( x) f ( x) | .


O supremo do conjunto desses nmeros a distncia de f a g
(note que este supremo existe, pois f e g so limitadas).
Vamos verificar as propriedades de mtrica.
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 ) .
imediata pelas propriedades de mdulo de nmeros reais.
M3: Seja x X . Temos
| 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

= d ( f , h) + d (h, g ).
20

xX

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

Cabe a voc agora resolver o exerccio que segue.

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 .

1.5 Mtrica Induzida


Sejam ( M , d ) um espao mtrico e L um subconjunto de M . A
restrio da mtrica d a L L uma mtrica sobre L .
Esta mtrica em L a mtrica induzida por d sobre L .
Exemplo 1.6. Seja L = [0,1] , onde [0,1] o intervalo fechado
[0,1] .
A figura 1.9 ilustra o espao L .
x2

x1

Figura 1.9

Podemos medir distncias nesta faixa de 2 (isto , em L ) usando qualquer das mtricas definidas sobre 2 , por exemplo, a mtrica Euclidiana.
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] .
Observe que C o produto cartesiano do intervalo fechado [0,1]
por ele mesmo:
a) Qual a maior distncia possvel entre 2 pontos do conjunto A ?
b) Qual a menor distncia possvel entre um ponto de A e um
ponto de B ?
c) Qual a maior distncia possvel entre dois pontos de C ?
d) Qual a menor distncia possvel entre a origem e um ponto
de B ?
e) Se substituirmos
A por A ' = {( x1 , x2 ) 2 / x12 + x22 < 1} e
B por B ' = {( x1 , x2 ) 2 / ( x1 3) 2 + x22 < 1} ,
as respostas sero as mesmas?
provvel que para responder estas questes voc tenha representado geometricamente os conjuntos dados, conforme a figura
1.10.
x2

x2

x1

x2

B
Figura 1.10

22

4 x1

x1

Analisando a figura, podemos obter facilmente as respostas: (a) 2;


(b) 1; (c) 2 ; (d) 2.
As respostas para o item (e) no so to imediatas. Vejamos as
definies que seguem.
Definio 1.3 (Dimetro de um conjunto). Sejam ( M , d ) um espao mtrico e A M , A . Dizemos que o conjunto A limitado se existir um nmero real k > 0 , tal que
d ( x, y ) k , x, y A .
Se A limitado, chamamos de dimetro de A, e denotamos por
diam( A) , o nmero real
diam( A) = sup{d ( x, y ) / x, y A} .
Exemplo 1.7. Em , o dimetro do intervalo fechado [a, b] igual
ao dimetro do intervalo aberto (a, b) , sendo igual a b a , isto ,
diam([a, b]) = diam((a, b)) = b a .
Exemplo 1.8. Os dimetros dos conjuntos A , B e C , representados na figura 1.10 so:
diam( A) = 2 ; diam( B) = 2 ; diam(C ) = 2 .
Na figura 1.11, representamos os conjuntos A ' e B ' .
x2

x2

x1

4x
1

B
Figura 1.11

Temos diam( A ') = diam( B ') = 2 .


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.
1) O nfimo existe, pois d ( p, x) 0 , x A .
2) Se p A , ento d ( p, A) = 0 .
Exemplo 1.9. Considere o conjunto C , representado na figura 1.10.
1 1
Dados P1 (0,1), P2 , e P3 (2, 2), determinar a distncia d ( Pi , C ),
2 2
i = 1, 2,3 .
Temos que

, pois

;e

Definio 1.5 (Distncia entre dois conjuntos). Sejam ( M , d ) um


espao mtrico, A, B M , A e B . Definimos a distncia
de A at B como sendo o nmero real
d ( A, B) = inf {d ( x, y ) / x A e y B}.
Nota.
1) Se A B , ento d ( A, B) = 0 .
2) A B = no implica que d ( A, B) > 0 .
De fato, tome, por exemplo, os intervalos A = [0,1) e B = [1, 2] em .
Temos A B e d ( A, B) = 0 .
Exemplo 1.10. Sejam:
A = {( x, y ) 2 / y = 0}

B = {( x, y ) 2 / x > 0 e xy = 1} .

Mostrar que a distncia entre A e B zero.


A figura 1.12 ilustra os conjuntos A e B em 2 . A o eixo dos x
1
e B o grfico da funo y = , x > 0 .
x
24

Comprove este
resultado, raciocinando
geometricamente.

x
A
Figura 1.12

Queremos mostrar que d ( A, B) = 0 . Para isso, de acordo com a


-caracterizao de nfimo, devemos mostrar que:
Para todo > 0 , existem p A e q B tais que d ( p, q ) < .
D > 0 . Ento, pela propriedade Arquimediana de , existe um
1
x0 tal que x0 > . Tomamos

1
p = ( x0 ,0) e q = x0 , .
x0
Temos
p A e qB
e
2

1
d ( p, q ) = ( x0 x0 ) + 0 = < .
x0
x0

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 ;
b) d (o, A) = 2 em 2 ; onde o a origem.
3
c) d ( A, B) = 1 em 2 e em .

25

1.7 Bolas Abertas


Vamos agora introduzir a noo de bola aberta, que muito importante para introduzir o conceito de conjunto aberto e outras
noes topolgicas.
Definio 1.6. Sejam ( M , d ) um espao mtrico e x M . Seja r
um nmero real positivo. A bola aberta de centro x e raio r
definida por
B ( x , r ) = { y M / d ( y , x ) < r} .
Em n , podemos escrever
B( x, r ) = { y n / || y x ||< r} .
Exemplo 1.11. Identifique, geometricamente, as bolas abertas:
1) B (a, ) em .
2) B (a, ) em 2 , para as 3 mtricas introduzidas.
Temos:
1) Em , com a mtrica usual, a bola aberta de centro em a e
raio o intervalo aberto (a , a + ) , ilustrado na figura
1.13.
a

a+

Figura 1.13

2) A figura 1.14 (a), (b) e (c) mostra as bolas abertas em 2,


para as mtricas Euclidiana, retangular e do mximo, respectivamente.
x2

x2

x2

a2

a2

a2

a1
(a)

x1

a1
(b)
Figura 1.14

26

x1

a1
(c)

x1

Propriedades das bolas abertas. Seja ( M , d ) um espao mtrico.


Propriedade B1. O dimetro de B ( x, r ) satisfaz
diam( B( x, r )) 2r .
De fato, sejam y, z B ( x, r ) . Ento,
d ( y, x) < r e d ( z , x) < r .
Usando a propriedade M 3 , segue que
d ( y , z ) d ( y , x ) + d ( x, z ) < r + r = 2 r .
Assim, 2r uma cota superior do conjunto das distncias entre 2
pontos quaisquer da bola e, ento, o seu dimetro satisfaz:
diam( B( x, r )) = sup{d ( y, z ) / y, z B ( x, r )} 2r .
Exemplo 1.12. Em , diam( B( x, r )) = 2r , valendo, assim, a igualdade na propriedade B1.
Exemplo 1.13. Seja M = , com a mtrica zero-um. Se r < 1 ,
B ( x, r ) = {x} (conjunto unitrio). Logo, diam( B( x, r )) = 0 e vale,
neste caso, a desigualdade estrita na propriedade B1.
Propriedade B2. Dadas as bolas B ( x, r1 ) e B ( x, r2 ) ,
r1 r2 B( x, r1 ) B( x, r2 ) .
Observao. A prova trivial. Faa uma representao geomtrica em 2 , com a mtrica usual.
Propriedade B3. Dado um ponto qualquer y B( x, r ) , existe um
nmero real r1 , tal que
B ( y, r1 ) B( x, r ) .
Prova:
Seja y B( x, r ) . Tome r1 = r d ( x, y ) , como representado na figura 1.15, para 2 com a mtrica usual.

27

r1
d(x,y)

Figura 1.15

Seja z B ( y, r1 ) . Temos que


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 ) .

Propriedade B4. Sejam B ( x, r1 ) e B ( y, r2 ) , tais que


B ( x, r1 ) B ( y, r2 ) .
Se z B ( x, r1 ) B ( y, r2 ) , ento existe uma bola aberta com centro
em z contida na interseo B( x, r1 ) B( y, r2 ) .
A figura 1.16 ilustra esta propriedade para 2 com a mtrica usual.

r2
z
r1

Figura 1.16

28

Prova:
Seja z B ( x, r1 ) B ( y, r2 ) . Pela propriedade B3:

1 > 0 tal que B ( z , 1 ) B( x, r1 ) ;

(1)

2 > 0 tal que B ( z , 2 ) B ( y, r2 ) .

(2)

Tome = min{1 , 2 } .
Por B2, B( z , ) B( z , 1 ) e B ( z , ) B( z , 2 ) .
Por (1) e (2), conclumos que
B ( z , ) B ( x, r1 ) B( y, r2 ) .

Propriedade B5. Sejam B ( x, r1 ) e B ( y, r2 ) . Se r1 + r2 d ( x, y ) , ento


B ( x, r1 ) B ( y, r2 ) = .
A figura 1.17 ilustra esta propriedade para 2 com a mtrica usual.

r2

r1

y
d(x,y)

Figura 1.17

Prova (Por contradio):


Vamos supor que existe um ponto
z B ( x, r1 ) B ( y, r2 ) .
Ento d ( x, z ) < r1 e d ( y, z ) < r2 , e, portanto,
d ( x, y ) d ( x, z ) + d ( z , y ) < r1 + r2 ,
o que contraria a hiptese.

29

1.8 Conjuntos Abertos


Estudaremos nesta seo os conjuntos que so chamados de abertos. A nomenclatura provm do estudo dos intervalos abertos de
. Em , possvel caracterizar os conjuntos abertos como aqueles 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 todos os casos. Para isto, utilizaremos o conceito de bola aberta. Vamos trabalhar, em geral, num espao mtrico ( M , d ) , o que ser
omitido sempre que estiver claro no contexto. Vejamos:
Definio 1.7 (Interior de um Conjunto). Seja A M , A . Dizemos que um ponto x A um ponto interior de A , se existir
uma bola aberta centrada em x e contida em A .
O conjunto de todos os pontos interiores de A denominado Interior de A e denotado por
Int( A) .
Simbolicamente, escrevemos
x Int( A) B( x, r ) A .
Exemplo 1.14. Considere, em 2 , o conjunto
A = {( x1 , x2 ) 2 / ( x1 1) 2 + ( x2 1) 2 1} .
Quais os pontos de A que so pontos interiores? Existem pontos
de A que no so interiores? Quais?
A figura 1.18 ilustra este exemplo.
x2

1
Figura 1.18

30

x1

Todos os pontos internos circunferncia de centro em (1,1) e raio


1 so pontos interiores. Os pontos sobre a circunferncia pertencem ao conjunto A , mas no so pontos interiores.
Exemplo 1.15. Em , considere os intervalos:
a) Intervalo aberto (a, b) ;
b) Intervalo fechado [a, b] ;
c) Intervalo aberto ilimitado (a, +) ;
d) Intervalo fechado ilimitado [a, +) .
Em (a), todos os pontos so pontos interiores.
Em (b), temos que Int([a, b]) = (a, b) . Os pontos a e b no so
pontos interiores.
Em (c), todos os pontos so pontos interiores.
Em (d), temos que Int([a, +]) = (a, +) . O ponto a no ponto
interior.

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 } ;
d) A = {( x1 , x2 ) 2 / x1 > 0 e x2 < ln x1} ;
e) A = (conjunto dos inteiros em );

1
f) A = , n em .

n =1 n

Definio 1.8 (Conjunto Aberto). Seja A M . Dizemos que A


aberto se todo ponto de A um ponto interior de A .
Nota. O interior de A sempre est contido em A . Logo, se
A Int( A) , ento A aberto.
31

Exemplo 1.16. Toda bola aberta um conjunto aberto.


De fato, esse resultado uma consequncia imediata da propriedade B3.
Exemplo 1.17. O conjunto A = {x / 0 < x < 1} aberto em , mas
o conjunto B = {( x1 , x2 ) 2 / 0 < x1 < 1, x2 = 0} no aberto em 2 .
A figura 1.19 ilustra esta situao
x2

x1

Figura 1.19

bserve que, com a mtrica Euclidiana, uma bola


2
aberta em um intervalo aberto e em o
interior de um crculo.

Em geral, provar que um conjunto, mesmo de 2 , aberto no


tarefa to fcil. s vezes precisamos ter alguma boa ideia para
fazer isto. Veja o exemplo abaixo:
Exemplo 1.18. Mostrar que o conjunto A = {( x, y ) 2 / x > y 2 + 1}
aberto (ver figura 1.20) usando a definio de conjunto aberto.
y

A
1

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 .
A existncia de pode ser provada usando a frmula de Bhaskara.
Vamos mostrar que B((a, b), ) A. Fazendo isso, segue que A
aberto.
Seja ento ( x, y ) B((a, b), ). Temos
( x a ) 2 + ( y b) 2 =|| ( x, y ) (a, b) ||<
e isto implica que | x a |< e | y b |< . Assim,
< x a < ,
< y b < .
Ou,
a < x < a + ,
b < y < b + .
Logo, x a > (b + ) 2 + + 1 = (b + ) 2 + 1 > y 2 + 1.
Isto , x > y 2 + 1.
B((a, b), ) A.

Isso diz que

( x, y ) A

e, portanto,

Propriedades dos Conjuntos Abertos:


Propriedade Ab1. O conjunto vazio e o espao todo M so abertos.
Prova:
imediata.

Propriedade Ab2. A interseo de dois abertos quaisquer um


aberto.
Prova:
Sejam A1 e A2 conjuntos abertos e
A3 = A1 A2 .
Se A3 = , nada temos a provar.
Seja z A3 .
33

Devemos mostrar que existe uma bola aberta B ( z , r ) tal que


B ( z , r ) A3 .
Como z A1 e A1 aberto, existe r1 > 0 tal que
B( z , r1 ) A1 .
Da mesma forma, r2 > 0 tal que
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 .
Logo, B ( z , r ) A1 A2 e, assim, A1 A2 aberto.

Propriedade Ab3. A unio arbitrria de conjuntos abertos um


aberto.
Prova:
Sejam { A } uma coleo de abertos e A = A .

Seja z A . Ento, z A , para algum .

Como A aberto, existe uma bola aberta B ( z , r ) A A.


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
n

abertos, ento A = Ai aberto, n .


i =1

Nota. A interseo de uma coleo infinita de abertos pode no


ser um aberto.
1
1

Exemplo 1.19. Em , tome An = x / < x < , n .


n
n

Ento,

A
n =1

34

= {0} , que no aberto.

Se necessrio revise o
captulo 5, Princpio
de Induo do texto
de Fundamentos de
Matemtica I [2,
Carvalho-Gimenez].

1.9 Conjuntos Fechados

O tringulo de Sierpinski
uma generalizao do
conjunto de Cantor (o qual
estudaremos mais tarde).
Se voc quiser saber mais,
sugerimos uma busca na
internet com as palavras
Tringulo de Sierpinski
ou, em ingls, Sierpinski
triangle.

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 completamente quais so os conjuntos fechados de um espao mtrico um
problema complicado. Abaixo voc pode ver o desenho do tringulo de Sierpinski em 2 e 3 (figura 1.21). Ambos so conjuntos
fechados (pois os complementares so abertos) e do uma ideia
de quo complicados os conjuntos fechados podem ser.

Figura 1.21

Definio 1.9. Seja F M . Dizemos que F fechado se o seu


complementar, C ( F ) , for aberto.
Exemplo 1.20. O conjunto F = {( x1 , x2 ) 2 / x12 + x22 1} fechado
em 2 .
Exemplo 1.21. Os intervalos [a, b] , (, b] e [a, +) so conjuntos
fechados.
Exemplo 1.22. O conjunto F = {( x1 , x2 , x3 ) 3 / x12 + x22 + x32 1}
fechado em 3 .
Nota. Assim como definimos bola aberta, podemos definir bola
fechada.
B[ x, r ] = { y M / d ( y, x) r}
uma bola fechada em M .
Em n , podemos escrever:
B[ x, r ] = { y n / || y x || r} .
35

Exerccio Proposto
6) Mostre que toda bola fechada um conjunto fechado.
Na linguagem cotidiana, quando nos referimos a portas, janelas,
livros etc., as palavras aberto e fechado so antnimos. Porm, quando aplicadas a subconjuntos de n elas no o so.
n e so abertos e fechados simultaneamente.
Em um espao mtrico discreto (na mtrica 0-1) todo conjunto aberto e fechado ao mesmo tempo. Isto segue do fato
que B ( x, 1 ) = {x} .
2
Existem muitos conjuntos que no so abertos nem fechados. Um exemplo simples o conjunto dos nmeros racionais em .
Propriedades dos Conjuntos Fechados:
Propriedade Fe1. O conjunto e o espao todo M so fechados.
Prova:
imediata, pois e M so abertos.

Propriedade Fe2. A unio de dois conjuntos fechados um conjunto fechado.


Prova:
Sejam F1 e F2 conjuntos fechados e F = F1 F2 .
Temos que
C ( F ) = C ( F1 F2 ) = C ( F1 ) C ( F2 ) .
Como F1 e F2 so fechados C ( F1 ) e C ( F2 ) so abertos,
pela propriedade Ab2, segue que C ( F ) aberto.
Logo, F fechado.

Propriedade Fe3. A interseo de qualquer coleo de conjuntos


fechados fechada.
36

Prova:
Sejam {F } uma coleo de conjuntos fechados e F = F.
Temos

C ( F ) = C ( F ) = [C (F )] .

Como F fechado, C ( F ) aberto.


Pela propriedade Ab3, segue que C ( F ) aberto.
Logo, F fechado.

Exerccios Propostos
7) Mostre que a unio finita de fechados um fechado (use
induo matemtica).
8) Em n todo conjunto unitrio fechado? E todo conjunto
finito? Esses resultados so vlidos para qualquer espao
mtrico?
9) Atravs de um exemplo, mostre que a unio de uma famlia
arbitrria de fechados pode no ser fechada.

1.10 Pontos de Acumulao


Intuitivamente, um ponto x um ponto de acumulao de um
conjunto A se existirem outros pontos de A arbitrariamente prximos de x .
Temos a seguinte definio:
Definio 1.10. Seja A M . Um ponto x M um ponto de acumulao de A se toda bola aberta centrada em x contiver algum
ponto de A , que seja distinto de x .
Denotamos o conjunto dos pontos de acumulao de A por A ' .
Simbolicamente, escrevemos:
x A ' r > 0 , B ( x, r ) { A {x}} .

Observe que x no precisa pertencer a A para ser ponto de acumulao.


Mesmo sem ter sido usada esta nomenclatura, voc j entrou em
contato com o conceito de ponto de acumulao, quando voc estudou limite de funes.
37

A nota da pgina 79 do texto de Clculo I [5, Gimenez-Starke],


[...] calcular o limite de uma funo num ponto b examinar o comportamento da funo em pontos extremamente prximo de b [...],

traz implcita a exigncia de que o ponto b deve ser um ponto de


acumulao do domnio da funo.
Exemplo 1.23. Em um conjunto unitrio no tem pontos de
acumulao. Um conjunto finito tambm no tem pontos de acumulao.
Exemplo 1.24. Seja A o intervalo (0,1) em . Ento, A ' o intervalo fechado [0,1].
1
1 1
Exemplo 1.25. Seja A = 1, , ,, , em . Ento, A ' = {0} .
n
2 3
Exemplo 1.26. Considere, em , o conjunto dos racionais .
Qual o conjunto ' ?
A resposta , isto , todo nmero real a um ponto de acumulao de .
De fato, seja x e r > 0 .
Devemos mostrar que a bola aberta
B ( x, r ) = ( x r , x + r )
contm pelo menos um racional distinto de x .
Como o conjunto dos nmeros naturais ilimitado em ,
1
1
n tal que n > ou, reescrevendo, < r .
r
n
p
Os racionais , p dividem a reta real em intervalos de comn
1
primento < r , como ilustrado na figura 1.22.
n
... 3
n

2
n

1
n

1
n

Figura 1.22

38

2
n

3 ...
n

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 .
Vamos usar a seguinte propriedade de conjuntos
A B C ( B) C ( A),
onde C ( A) denota o complementar de A em M .
Seja x C ( F ) . Como C ( F ) aberto, existe B ( x, r ) C ( F ) .
Portanto, B( x, r ) F = , o que implica que x C ( F ') (x no
ponto de acumulao de F ).
Logo, F ' F .
) F ' F F fechado.
Vamos mostrar que C ( F ) aberto.
Seja x C ( F ) . Como F ' F , ento x F ' .
Portanto, existe r > 0 tal que B( x, r ) F = , o que implica que
B ( x, r ) C ( F ) .
Logo, x Int(C ( F )) e, dessa forma, C ( F ) aberto.
Segue que F fechado.

Exerccios Propostos
10) Encontrar S ' , sendo S = {( x, y ) 2 / y < x 2 1} .
11) Decida quais dos seguintes conjuntos so fechados em :
1
1 1
a) A = 1, , ,, , ;
n
2 3
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
e) Domnio de f , sendo f ( x) =

1
;
x 1

f) Imagem de g , sendo g ( x) = x 2 + 2 x + 2 .

1.11 Fecho de um Conjunto


Em linguagem cotidiana (ou coloquial), podemos pensar no interior
de um conjunto A como o maior aberto contido em A . De forma
anloga, podemos pensar no menor fechado que contm A .
Temos a definio:
Definio 1.11. Seja A M . O fecho de A , denotado por A , o
conjunto obtido pela unio de A com seus pontos de acumulao.
Simbolicamente, escrevemos:
i) A = A A ' ;
ii) a A r > 0 , B(a, r ) A .
Proposio 1.2. O fecho de qualquer conjunto sempre um conjunto fechado.
Prova:
Seja X M . Vamos mostrar que C ( X ) aberto.
Seja a C ( X ). Ento a X e a X ' e, portanto, existe r > 0 tal
que
B (a, r ) X = , isto , B(a, r ) C ( X ).
Vamos mostrar, agora, que B (a, r ) C ( X ) .
De fato, seja y B(a, r ) . Pela propriedade de bolas abertas B3,
existe r1 > 0 tal que
B ( y, r1 ) B(a, r ) C ( X ) .
Assim, B ( y, r1 ) X = , o que implica que y no ponto de acumulao de X . Segue que y C ( X ) .

40

Conclumos, assim, que a Int(C ( X )) . Logo, C ( X ) aberto e,


portanto, X fechado.

Formalmente, a noo de que o fecho de A o menor fechado


que contm A descrita pelo teorema abaixo, cuja prova pode ser
encontrada em [16, Rudin].
Teorema 1.1. Seja A M . Ento, A o menor fechado que contm A , isto ,
A = F .
A F
F fechado

Exerccio Resolvido
3) Determine os pontos de acumulao e o fecho de cada um
dos seguintes subconjuntos de .
a)
Resoluo:
Note que no possui ponto de acumulao, pois para todo
1
n , B n, = . Disto segue que = (veja definio
2
1.11) e, portanto, fechado.
b)
Resoluo:
Note que = , pois dado um nmero real x qualquer, toda bola
aberta B ( x, ) contm racionais diferentes de x . Pela definio
1.11, segue que = .
c) (0, 2)
Resoluo:
Primeiro observe que se x [0, 2] ento existe um > 0 tal que
B ( x, ) (0, 2) e, portanto, x no ponto de acumulao de (0, 2) . Por outro lado, fcil ver que se x [0, 2] , ento
B ( x, ) (0, 2) para todo > 0 . Logo, (0, 2)=[0,2] . Segue
da definio 1.11 que (0, 2) = [0, 2] .

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

13) Mostre que A B A B . D um exemplo para mostrar


que a incluso no outro sentido no vlida.

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 mas x A ' , ento r > 0 , B( x, r ) A .
Assim, r > 0 , existe y A tal que d ( x, y ) < r .
Como r > 0 qualquer, segue de = 0 .
) Seja x M tal que = inf{d ( x, y ) / y A} = 0 .
Se x A , nada a provar.
Se x A , pela definio de nfimo, para qualquer r > 0 , existe
y A tal que d ( x, y ) < r .
Segue que y A B ( x, ) e, ento, x A ' A .

Usando o conceito de fecho de um conjunto, podemos facilmente


introduzir a definio de conjunto denso. Vejamos:
Definio 1.12. Seja A M . Dizemos que A denso em M se, e
somente se, A = M .
Intuitivamente, um conjunto A denso em M quando seus pontos estiverem espalhados por toda parte de M .
Em , um conjunto A denso quando todo intervalo aberto, por
menor que seja o seu comprimento, contiver pontos de A .
42

Exemplo 1.27. denso em .


Exemplo 1.28. denso em .
Exemplo 1.29. e no so densos em .
Vamos finalizar esta unidade com o conceito de fronteira de um
conjunto. Este conceito pode ser visualizado intuitivamente no
2 , onde para muitos conjuntos a fronteira desempenha o papel
de limitante, como pode ser observado no mapa da figura 1.23.
BOA VISTA

AMAP

RORAIMA

MACAP

BELM
MANAUS

AMAZONAS

ACRE

PAR

MARANHO

Fronteira entre
Brasil e Bolvia

PORTO VELHO
PALMAS
RIO BRANCO

TOCANTINS

RONDNIA

PERU
MATO GROSSO

DISTRITO
FEDERAL
BOLVIA

CUIAB

GOIS

GOINIA

MINAS
GERAIS

MATO GROSSO
DO SUL

BELO HOR

CAMPO GRANDE

SO PAULO
PARAGUAI
SO PAULO

PARAN

CURITIBA

Figura 1.23
SANTA
CATARINA

Temos a seguinte definio.


Definio 1.13. Seja A M , A . Dizemos que um ponto
x M um ponto de fronteira de A se toda bola aberta centrada em x contm pontos de A e do complementar C ( A) .
O conjunto de todos os pontos de fronteira de A denominado
Fronteira de A e denotado por Fr ( A) .
Simbolicamente, escrevemos

Fr(A)
A

B ( x, r ) A

x Fr( A) r > 0 , e
.
B ( x, r ) C ( A)

A figura 1.24 ilustra esta definio.


Exemplo 1.30. Encontrar Fr( A), sendo A 2, o conjunto:

Figura 1.24

A = {( x, y ) 2 / x 2 y 2 < 1} .

43

O conjunto A est representado na figura 1.25. Observe que


x2 y 2 = 1
a equao de uma hiprbole. A fronteira de A o grfico desta
hiprbole, isto ,
Fr( A) = {( x, y ) 2 / x 2 y 2 = 1} .
y

Fr(A)

Figura 1.25

Exemplo 1.31. Seja A um conjunto unitrio. Veja que neste


caso, Fr( A) = A .

Exerccios Propostos
14) Verifique se so verdadeiras ou falsas as sentenas:
a) A B Fr( A) Fr( B ) ;
b) x Fr( A) x A ' , isto , x um ponto de acumulao
de A ;
c) Fr ( A B) Fr ( A) Fr ( B) .
15) Identifique e represente geometricamente a fronteira dos
seguintes conjuntos:
a) A = {( x, y ) 2 / x 2 + y 2 1} ;
b) Int( A) (sendo A o conjunto do item a);
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:
Propriedade Fr1. Fr( A) = A C ( A) .
Prova:
x A
B ( x, r ) A

e
x A C ( A)
x Fr( A) r > 0, e
B( x, r ) C ( A)

x C ( A)

Propriedade Fr2. A = Int( A) Fr( A) .


Prova:
) Seja x Int( A) Fr( A) .
Se x Int( A) , nada a provar, pois Int( A) A A .
Se x Int( A) e x Fr( A) , temos que > 0 , B( x, ) A .
Logo, x A .
Conclumos, ento, que Int( A) Fr( A) A .
) Seja x A . Temos duas possibilidades exclusivas
i) x A , ou
ii) x A e x A ' .
i) x A . Novamente temos duas possibilidades exclusivas
x Int( A) ou x Int( A) .
Se x Int( A) , nada a provar.
Suponha que x Int( A) . Ento, toda bola aberta centrada em x
contm pontos do complementar de 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 centrada em x contm pontos de A . Como x A , o mesmo ocorre
com C ( A) .
Logo, x Fr( A) .
Conclumos, ento, que A Int( A) Fr( A) .

Propriedade Fr3. Para todo conjunto A M , Fr( A) um conjunto fechado.


Prova:
Vamos provar que o complementar aberto. Pela propriedade Fr1,
temos
C (Fr( A)) = C ( A C ( A)) = C ( A) C (C ( A)) .
Como A e C ( A) so fechados, seus complementares so abertos.
Pela propriedade Ab3, segue que C (Fr( A)) aberto.
Logo, Fr( A) fechado.

Para finalizar, observe a figura 1.26, onde est representado o subconjunto de 2 ,


A = {( x, y ) 2 / x > 1} .
y

Figura 1.26

46

Temos
Fr( A) = {( x, y ) 2 / x = 1}
Int(C ( A)) = {( x, y ) 2 / x < 1} .
Dado um ponto qualquer p 2 , exatamente uma das trs possibilidades a seguir ocorre:
p Int( A) ou p Fr( A) ou p Int(C ( A)) .
Esse resultado pode ser generalizado.
Proposio 1.3. Seja A M . Dado p M , tem-se 3 possibilidades exclusivas:
p Int( A) ou p Fr( A) ou p Int(C ( A)) .
Assim, a ideia intuitiva de que a fronteira desempenha um papel
de limitante entre um conjunto e seu exterior, como ilustrado na
figura 1.23, vale para qualquer conjunto de um espao mtrico.

Exerccios Propostos
16) D exemplos de conjuntos A em , 2 e 3 , identificando:
Int( A) , A ' , A , Fr( A) , C ( A) , Int(C ( A)) .
17) D exemplos para ilustrar que:
a) Fr( A) Fr( B ) mas A B ;
b) Um ponto de fronteira no ponto interior.

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 ) .
3) Seja f : uma funo estritamente crescente. Seja
d : definida por d ( x, y ) =| f ( x) f ( y ) | . Mostre
que d uma mtrica sobre .
4) Seja X um conjunto no vazio e
M = { f : X / f limitada} .
Em M considere a mtrica
d ( f , g ) = sup{| f ( x) g ( x) |} .
xX

Tomando X = [1,3] ,
d ( f , g) .

f ( x) = x 2 e g ( x) = x + 1 , determine

5) Em , considere a mtrica usual. Verifique que valem as


igualdades:
a) d ( p, ) = 0 , p ;
b) d (, ) = 0 ;
Se a mtrica considerada sobre fosse a zero-um, estas
igualdades continuariam vlidas?
6) Seja A um conjunto no vazio de um espao mtrico. Mostre que diam( A) = 0 A unitrio.
7) Considere com a mtrica usual. Verifique que
1
0 d (a, ) , a ,
2
onde o conjunto dos inteiros.
8) Sejam p um ponto de um espao mtrico e n . Prove
1
que a interseo das bolas abertas de centro em p e raio
n
o conjunto unitrio { p} , isto ,

B p, n = { p} .
n =1

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] ;
onde BA denota uma bola em A e o denota a origem.
10) Determine o interior dos seguintes conjuntos em :
a) = {1, 2,3,} ;

p
b) = x = / p, q e q 0 ;
q

c) ;
d) Intervalo aberto (1, 2) ;
e) (1, 2) ;
f) Intervalo [1, 2) ;
g) Intervalo fechado [1, 2] ;
h) [1, 2] {3} .
11) Identifique quais dos seguintes subconjuntos de 2 , com
a mtrica usual, so abertos e/ou fechados ou nem abertos
nem fechados:
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, , , , , .
n
2 3
13) Num espao mtrico qualquer ( M , d ) , mostre que se
A M aberto e a M , ento A \{a} aberto.
14) Sejam xn no vazios em . D exemplos mostrando que

F
n =1

pode ser vazio se os Fn forem apenas fechados ou ape-

nas limitados.
15) Seja X ' o conjunto dos pontos de acumulao de X . D
exemplos de conjuntos X tais que:
a) X e X ' sejam distintos;
b) X seja subconjunto prprio de X ' ;
c) X ' seja subconjunto prprio de X ;
d) X ' = X .
16) Com suas palavras, d o significado das expresses:
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 .
17) D exemplos, em 2 , de:
a) conjuntos abertos;
b) conjuntos fechados;
c) conjuntos nem abertos nem fechados.
18) Determine a fronteira dos conjuntos:
a) Em : A1 = [a1; +) ; A2 = [0,1) {3} ; A3 = ;
50

b) Em 2 : B1 = {( x, y ) / xy = 1} ; B2 = {( x, y ) / x > 0 e y > 0} .
19) Encontre os pontos de acumulao dos seguintes conjuntos em 2 :
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

20) Prove que, em n , vale:


a) int( A) = A \ Fr ( A) ;
b) A = n \ int( n \ A) .
21) Quais afirmaes so verdadeiras em um espao mtrico
M ? Justifique suas respostas.
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.
22) Prove que em um espao mtrico, tem-se:
a) Fr ( A) = Fr ( M \ A) ;
b) A B A B ;
c) A B A B ;
d) Int ( A B ) = Int ( A) Int ( B ) ;
e) Int ( A B ) Int ( A) Int ( B ) .

51

Resumo
Neste captulo voc se familiarizou com as noes topolgicas bsicas 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

Convergncia

Convergncia

Neste captulo iremos estudar sequncias. Iniciaremos revendo brevemente o conceito de sequncia de nmeros
reais. A seguir, introduziremos a definio de sequncia
em um espao mtrico.
Nosso interesse estudar o comportamento de uma sequncia. Em particular, queremos entender o comportamento do
n -simo termo da sequncia, quando n tende a infinito.
Para isso, precisamos definir a noo de convergncia.

2.1 Sequncias de Nmeros Reais


Para motivar os estudos desta unidade, propomos o seguinte problema:

ue distncia podemos atingir com uma


pilha de livros (que pode ser infinita)
equilibrada sobre o beirado de uma mesa antes
desta pilha cair?

Assumiremos que todos os livros tm largura 2 e peso 1 e que


podemos usar apenas um livro por andar. Este problema conhecido como o problema da Torre Inclinada de Lire e possui
mais de uma soluo possvel.
A primeira ideia que nos vem simplesmente empilhar os
livros verticalmente e equilibrar no beirado da mesa, de
forma que parte deles fique para fora da mesa (Figura 2.1).

MESA
Figura 2.1

Apesar de este mtodo funcionar, iremos atingir uma distncia de, no mximo, aproximadamente 1. Poderamos,
ento, pensar em usar contrapesos para atingir distncias
maiores. Porm, o problema prope que usemos apenas
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.
Primeiro, lembramos que o centro de gravidade combinado c de
dois objetos com massa M 1 e M 2 , localizados em x1 e x2 , respectivamente (Figura 2.2), dado por
c=

x1M 1 + x2 M 2
.
M1 + M 2
M2

M1

x1

x1

Figura 2.2

Para modelar nosso problema, vamos imaginar uma reta real se


extendendo para a direita com origem exatamente no beirado da
mesa (Figura 2.3).
Mesa

Figura 2.3

Podemos assumir que nossa pilha de livros no cair desde que


o centro de gravidade da pilha com n -livros, cn , seja menor ou
igual a zero. Em particular, o mais direita possvel que o centro
pode estar na origem. Vamos, ento, empilhar nossos livros da
seguinte maneira:
Comeamos com a mesa vazia e colocamos um livro sobre a mesa,
de forma que sua extremidade direita esteja no zero. Como o livro
tem largura 2 e massa 1, o centro de gravidade -1. Podemos, ento, deslocar o livro para a direita at que o centro de gravidade
dele esteja sobre o zero e ele no cair da mesa (Figura 2.4).

56

Mesa

Figura 2.4

Portanto, a extremidade deste livro j alcanou a distncia D1 = 1


e o livro tem centro de gravidade no 0 . Para colocarmos o prximo livro, levantamos o livro existente verticalmente e colocamos o segundo livro como feito anteriormente, ou seja, com a sua
extremidade direita na origem. A pilha continuar equilibrada
(Figura 2.5):
1

Mesa

Figura 2.5

e o centro de gravidade desta pilha de dois livros :


c=

x2 M 2 + c1M 1 (1) 1 + 0 1
1
=
= .
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):
2

Mesa

Figura 2.6

Procedendo desta maneira sucessivamente, teremos que uma pi1


1
lha de n livros alcana a distncia de Dn = 1 + + + . Este o
2
n
termo geral da sequncia das somas parciais da srie harmnica

1
divergente (mas no iremos estudar esta srie neste curso).
n =1 n
A divergncia da mesma significa que, somando termos suficientes da mesma, podemos ultrapassar qualquer nmero real positivo. Ou seja, podemos atingir qualquer distncia com nossa pilha
de livros, desde que tenhamos pacincia para empilhar o nmero
suficiente de livros. A tabela abaixo mostra a quantidade de livros
necessria para atingir determinada distncia:
57

Distncia Atingida

Livros Necessrios (N)

N=4

N = 31

10

N = 12.367

22

N = 2.012.783.315

40

N = 132.159.290.357.566.703

Na figura 2.7 temos uma foto de um experimento feito com blocos


de madeira. Voc pode tentar o mesmo em casa!

Figura 2.7

ste exemplo ilustrou como o trabalho com


sequncias infinitas interessante. Esperamos que voc fique entusiasmado e estude
com afinco os contedos que sero explorados
nesta unidade.

Uma sequncia de nmeros reais nada mais do que uma lista infinita de nmeros reais, arranjados em uma certa ordem. Mais precisamente, temos uma sequncia (infinita) se para cada nmero natural
n associamos um nmero real xn , conforme definio que segue.
Definio 2.1. Uma sequncia de nmeros reais uma funo
f :
n xn .
Denotamos: ( x1 , x2 , , xn ,) ou simplesmente ( xn ) .
Exemplo 2.1. (2, 4,6,8,) = (2n) .
Exemplo 2.2. (cos ,cos 2 ,cos3,) = (cos n) .
58

Exemplo 2.3. 1, 1 , 1 , = 1 .


2 3 n
Na disciplina de Clculo I, voc estudou as sequncias de nmeros reais. Antes de continuar seu estudo, interessante voc
revisar a seo 1.3 do livro-texto da referida disciplina.
Generalizando, podemos pensar em sequncias no 2 , 3 , ... ,
n , ou em um espao mtrico qualquer.
Exemplo 2.4. f : 2
1 1
n , .
n 2n
Os termos desta sequncia so formados por pares ordenados de
nmeros reais, como segue:
1 1 1 1 1
1, , , , , , .
2 2 4 3 6
Exemplo 2.5. f : 3
1 1 1
n , , .
n n n
Neste caso, os termos da sequncia so formados por ternas ordenadas de nmeros reais. Temos

1 1 1 1 1 1 .
(1,1,1), 2 , 2 , 2 , 3 , 3 , 3 ,

2.2 Sequncias em um Espao Mtrico


Definio 2.2. Seja ( M , d ) um espao mtrico. Uma sequncia
em M uma funo
f : M
n xn .
Notao. Usamos a mesma notao utilizada para sequncias de
nmeros reais, ou seja: ( x1 , x2 , , xn ,) ou ( xn ) .
O conjunto dos termos da sequncia ser denotado por f () , ou
{x1 , x2 ,} .

59

Nota. Veja que o conjunto dos termos da sequncia difere da sequncia, como ilustrado no seguinte exemplo:
Sequncia: (1 + (1) n ) = (0, 2,0, 2,) .
Conjunto dos termos: {0, 2}.

2.3 Limite de uma Sequncia


A figura 2.8, ao lado, mostra Weierstrass ( direita) explicando o conceito de convergncia uniforme para
Cauchy, que est meditando sobre o contraexemplo
de Abel. A seguir, introduziremos o conceito de convergncia, porm o conceito de convergncia uniforme (o qual muito til para o estudo de convergncia
de sequncias e sries de funes) s visto em cursos mais avanados.
Para a sequncia de nmeros reais

Figura 2.8 - O conceito de


convergncia uniforme.

1
( xn ) = ,
n
temos

1
=0.
n n

lim xn = lim
n

Intuitivamente, observando a figura 2.9, vemos que os termos da


sequncia tornam-se arbitrariamente prximos de zero quando n
tende a infinito.
0 1
n

1
4

1
3

1
2

Figura 2.9

1
Formalmente, verifica-se a definio: > 0 , se n0 e n0 ,

ento
| xn 0 |< para todo n > n0 .

Esta definio pode ser visualizada na figura 2.10. A partir de n0,


todos os termos da sequncia situam-se num intervalo aberto de
centro em 0 e raio .

60

xn ,n > n0
(

Figura 2.10

Tambm podemos dizer que, para n > n0 , a distncia entre xn e 0


menor que .
Nota. Lembre que | xn a | nos d a distncia de xn at a .
Como podemos generalizar a definio de limite de uma sequncia
para um espao mtrico qualquer?
Definio 2.3. Sejam ( M , d ) um espao mtrico e ( xn ) uma sequncia em M . Dizemos que ( xn ) converge para a M se para
todo > 0 existir n0 tal que
d ( xn , a ) < para todo n > n0 .
Escrevemos: lim xn = a ou xn a , ou ainda, lim xn = a .
n

Se ( xn ) no converge, ela dita divergente.


Nota. Utilizando bolas abertas, podemos escrever:
lim xn = a r > 0 , existir n0 tal que xn B(a, r ) para todo
n

n > n0 .
A visualizao geomtrica ilustrada na figura 2.11.
x1
x2

xn ,n > n0
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 .
De fato, dado qualquer > 0 , basta tomar n0 = k . Para todo
n > n0 , temos d ( xn , p ) = d ( p, p ) = 0 < .
Exemplo 2.7. Seja M = , com a mtrica usual. A sequncia
3n

converge para o nmero real 1. Vejamos por qu: d


3n + 1
>0.
3n
1 < .
Devemos encontrar n0 tal que n > n0
3n + 1
Agora, note que as seguintes desigualdades so equivalentes:
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 < , como desejado.
1 , temos que n > n0
3
3n + 1
Exemplo 2.8. Seja M = 2 , com a mtrica usual (isto , a mtrica Euclidiana). A sequncia cujo termo geral o par ordenado
1 (1) n
( xn , yn ) = 1 + ,
converge para o par ordenado (1,0) .
n n
Para simplificar a notao, denotamos: zn = ( xn , yn ) ; a = (1,0) .

62

Temos:

d ( zn , a ) = ( xn 1) 2 + ( yn 0) 2
2

1 1
= 1 + 1 +
n n
2

1
1 1
= + = 2
n
n n
Nota. Observe que (d ( zn , a )) uma sequncia de nmeros reais
1
0
que converge para zero, pois o produto da sequncia
(que
n
converge para zero) pela constante 2 (ver teorema 7, da seo
1.3.4 do livro-texto de Clculo I).
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.
Nota. Segue da definio de limite de sequncia que, em um espao mtrico qualquer, uma sequncia xn a se, e somente se, a
sequncia de nmeros reais d ( xn , a ) 0 .
Nos exemplos 2.8 e 2.10, temos sequncias convergentes em 2 .
Observe os resultados e se questione:
Em 2 , uma sequncia ( xn , yn ) (a, b) se, e somente se, xn a
e yn b ?
A resposta positiva. Temos a seguinte proposio:
Proposio 2.1. A sequncia (( x1 , y1 ),( x2 , y2 ), ,( xn , yn ),) converge para (a, b) em 2 se, e somente se, a sequncia ( xn ) converge
para a e a sequncia ( yn ) converge para b em .

63

Prova:
) Hiptese: ( xn , yn ) (a, b) .
Tese: xn a e yn b .
Seja > 0 . Como ( xn , yn ) (a, b) , existe n0 tal que
d (( xn , yn ),(a, b)) < para todo n > n0 .
Ento, para todo n > n0 , temos:
| xn a |= ( xn a ) 2 ( xn a) 2 + ( yn b) 2 = d (( xn , yn ),(a, b)) <
e
| yn b |= ( yn b) 2 ( xn a ) 2 + ( yn b) 2 = d (( xn , yn ),(a, b)) < .
Logo, xn a e yn b .
) Hiptese: xn a e yn b .
Tese: ( xn , yn ) (a, b) .
Seja > 0 .

, n > n1 .
2

Como yn b , n2 tal que | yn b |< , n > n2 .


2
Seja n0 = max{n1 , n2 } .

Como xn a , n1 tal que | xn a |<

Para todo n > n0 , temos


Observe que se a e b so
nmeros positivos, ento

Logo, ( xn , yn ) (a, b) .

Nota. A proposio 2.1 pode ser generalizada para n .


1 n 1 (1) n 1
,
, conExemplo 2.11. Em 4 , a sequncia ( zn ) = ,
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 .
Um Exemplo de Sequncia de Funes. Seja C[0,1] o espao das funes contnuas, f :[0,1] com a mtrica
d ( f , g ) = max{| f (t ) g (t ) |} .
0t 1
nt
Neste espao, considere a sequncia ( f n ) , onde f n (t ) =
para
n+t
todo t [0,1] .
Cada termo da sequncia uma funo de t . Assim, o limite, se
existir, ser uma funo de t .
O que ocorre se considerarmos t fixo e n ?
Podemos verificar facilmente que
nt
lim
=t.
n n + t
Denote f (t ) = t .
Afirmao: lim f n (t ) = f (t ) em C[0,1] .
n

De fato,

d ( f n , f ) = max{| f n (t ) f (t ) |}
0t 1

nt
= max
0t 1
n+t
t 2
= max
0t 1
n + t

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 espao de funes usando o supremo. Neste exemplo usamos o mximo porque estamos trabalhando num espao de funes contnuas 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 .
Proposio 2.2. Seja ( xn ) uma sequncia num espao mtrico
( M , d ) . Se existir lim xn ele nico.
n

Prova:
Vamos supor que lim xn = a e lim xn = b . Seja > 0 .
n
n

Como xn a , n1 tal que d ( xn , a ) < para todo n > n1 .


2

Como xn b , n2 tal que d ( xn , b) < para todo n > n2 .


2
Seja n0 = max{n1 , n2 } .

Tome um n > n0 . Ento, d ( xn , a ) < e d ( xn , b) < e, dessa forma,


2
2

d (a, b) < d (a, xn ) + d ( xn , b) < + = .
2 2
Assim, 0 d (a, b) < , > 0 .
Logo, d (a, b) = 0 e, portanto, a = b .

Exerccio Proposto
3) Verifique quais das sequncias abaixo convergem. Para as
sequncias convergentes d o limite:
(1) n+1 (1) n
2
a)
,
em ;
n
n
b) (a, b, a, b, a, b,) , a b em ;
c) (1, 2,3,, p, p, p,) em com a mtrica 0 1 ;
66

t
, no espao C[0,1] com
n
a mtrica d ( f , g ) = max{| f (t ) g (t ) |} .

d) A sequncia ( f n ) , onde f n (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:
Eu acho realmente surpreendente que Mr. Weierstrass e Mr. Kronecker consigam atrair tantos estudantes entre 15 e 20 para aulas
que so to difceis e em um nvel to avanado. (Carta de MittagLeffler, 1875, veja Dugac 1978, p. 69, apud [6, Hairer-Wanner])

(1) n
1 1 1
Em , considere a sequncia
= 1, , , , .
2 3 4
n
Podemos, de uma maneira muito natural, destacar duas subsequncias:
1 1

1, , , e
3 5

1 1 1
, , , .
2 4 6
A primeira a restrio da sequncia dada ao conjunto dos naturais mpares e a segunda aos naturais pares.
Outras subsequncias podem ser obtidas? Por exemplo,
1 1

1, , , uma subsequncia?
4 7

A resposta positiva. Vejamos:


Definio 2.4. Seja ( xn ) uma sequncia em um espao mtrico
(M , d ) .
Uma subsequncia de ( xn ) uma restrio da aplicao
f : M
f (n) = xn
a um subconjunto infinito k = {n1 , n2 , , nk , / n1 < n2 < < nk < }
de .
Denotamos: ( xn1 , xn2 , , xnk ,) ou ( xnk ) .
67

Observao. Uma subsequncia pode ser vista como uma sequncia, atravs da aplicao
1 xn1
2 xn2

k xnk

Proposio 2.3. Seja ( M , d ) um espao mtrico. Se uma sequncia


( xn ) de pontos de M converge para a, ento toda subsequncia
de ( xn ) tambm converge para a .
Prova:
Seja ( xnk ) uma subsequncia de ( xn ) . Seja > 0 . Como lim xn = a ,
existe n0 tal que d ( xn , a ) < para todo n > n0 .
Como o conjunto de ndices da subsequncia {n1 , n2 , , nk ,}
infinito, existe k0 tal que nk0 n0 .
Para k > k0 temos nk > nk0 > n0 e, assim, d ( xnk , a ) < .
Logo, xnk a .

Nota. Esta proposio muito til para mostrar que determinadas sequncias divergem. De fato, basta exibir duas subsequncias convergindo para valores distintos.
Exemplo 2.13. Em , a sequncia ((1) n+1 ) = (1, 1,1, 1,) diverge. De fato, basta destacar as subsequncias:
(1,1,1,) 1
(1, 1, 1,) 1 .
As bolas abertas, estudadas detalhadamente no primeiro captulo, constituem uma ferramenta muito importante quando estudamos convergncia em espaos mtricos. A proposio que segue
ilustra bem isso.
Proposio 2.4. Sejam ( xn ) uma sequncia num espao mtrico
( M , d ) e a M . O ponto a o limite de uma subsequncia de

68

( xn ) se, e somente se, para todo r > 0 , a bola aberta B (a, r ) contiver uma infinidade de termos de ( xn ) .
Prova:
) Vamos supor que existe ( xnk ) subsequncia de ( xn ) tal que
xnk a .
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 ) .
) Suponha que r , B (a, r ) contm uma infinidade de termos
de ( xn ) . Vamos construir uma subsequncia ( xnk ) de ( xn ) , convergindo para a , como segue:
Escolhemos xn1 entre a infinidade de termos de ( xn ) pertencentes
a B (a,1) .
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

2.5 Sequncias Limitadas


Voc estudou sequncias limitadas em na disciplina de Clculo I. Tenha sempre este contedo disponvel e caso necessrio
revise. As ideias intuitivas e geomtricas l apreendidas so generalizadas aqui para espaos mtricos.
1 1 1
Observe as sequncias de nmeros reais = 1, , , e
n 2 3
(2n) = (2, 4,6,8,) .
69

A 1 sequncia limitada e a 2 no limitada. Como formalizar


estes conceitos? Vejamos:
Definio 2.5. Seja ( M , d ) um espao mtrico. Dizemos que uma
sequncia ( xn ) de pontos de M limitada quando o conjunto
dos seus termos {x1 , x2 , x3 ,} limitado, ou seja, est contido em
uma bola, o que em termos formais significa que existem L > 0 e
x0 M tal que xn B( x0 , L), n .
Exemplo 2.14. A sequncia (1 + (1) n ) limitada em , pois o
conjunto de seus termos {0, 2} limitado.
Exemplo 2.15. As sequncias estacionrias so limitadas em qualquer espao mtrico.
Exemplo 2.16. (n + (1) n n) = (0, 4,0,8,0,12,) no limitada, pois
o conjunto de seus termos {0, 4,8,12,} no limitado.

Exerccio Proposto
4) D exemplos:
a) Uma sequncia no limitada em 2 ;
b) Uma sequncia limitada em 3 ;
c) Uma sequncia limitada num espao mtrico M com a
mtrica 0 1 . Existe uma sequncia no limitada neste
espao?
Proposio 2.5. Num espao mtrico ( M , d ) , toda sequncia convergente limitada.
Prova:
Seja xn a . Ento, para = 1 , n0 tal que
n > n0 xn B(a,1) .
O conjunto {x1 , x2 , , xn0 } um conjunto finito. Podemos tomar,
ento,
r1 = max{d (a, xn )} .
1 n n0

70

O conjunto {x1 , x2 , , xn0 } est contido na bola aberta B (a, r1 ) .


Seja r = max{1, r1} .
Ento todos os termos da sequncia pertencem bola B (a, r ) .
Conclumos que ( xn ) limitado.

Exerccio Proposto
5) D um exemplo para mostrar que no vale a recproca da
proposio 2.5.
Observao. A proposio 2.5 til para mostrar que determinadas sequncias divergem. Por exemplo, a sequncia
(n + (1) n n) = (0, 4,0,8,0,12,) diverge, pois no limitada.
A seguir, vamos demonstrar um teorema muito famoso, vlido
para as sequncias em , cujo enunciado voc j utilizou na disciplina de Clculo I.
Teorema 2.1 (Teorema de Bolzano-Weierstrass). Toda sequncia
limitada de nmeros reais possui uma subsequncia convergente.
Prova:
Seja ( xn ) uma sequncia limitada de nmeros reais. Ento
a, b tais que xn [a, b] , n .
Seja A = {t / t xn para uma infinidade de ndices n} .
A figura 2.12 ilustra a definio do conjunto A .
infinidade de termos de xn
[
a

]
b

tA
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 .
Vamos mostrar, agora, que existe uma subsequncia de xn que
converge para C . Pela proposio 2.4 isso equivalente a mostrar
que: > 0 , B (C , ) contm uma infinidade de termos de ( xn ) .
Seja > 0 . Como C = sup A , t A tal que C < t (ver figura
2.13)
tA
C

C
Figura 2.13

Como t A , podemos dizer que C < xn para uma infinidade de


termos xn . Por outro lado, C + A . Portanto, existe no mximo
um nmero finito de termos xn , tais que xn C + .
Conclumos, ento, que para uma infinidade de termos xn ,
C < xn < C + .
Pela proposio 2.4 segue que C o limite de uma subsequncia
de ( xn ) .

Observao. O teorema 2.1 pode ser generalizado para n .

2.6 Caracterizao dos Conceitos do Captulo


1, atravs de Sequncias
Proposio 2.6 (Ponto de Acumulao). Sejam ( M , d ) um espao
mtrico e X M . Um ponto a M um ponto de acumulao
de X se, e somente se, a limite de uma sequncia de pontos de
X {a} .
Prova:
) Vamos supor que existe uma sequncia ( xn ) em X {a}
tal que xn a . Ento para todo r > 0 , existe n0 tal que
xn B(a, r ) , para todo n > n0 .
72

Como xn X {a} , n , temos que B (a, r ) ( X {a}) .


Logo, a ponto de acumulao de X .
) Vamos supor que a X ' . Devemos mostrar que existe ( xn )
em X {a} tal que xn a .
Como a X ' , r > 0 , B (a, r ) ( X {a}) . Assim, para
1
r = , podemos escolher um ponto
n
1
xn B a, ( X {a}) .
n
A sequncia ( xn ) est em X {a} e satisfaz
1
d (a, xn ) < .
n
1
Como 0 segue que xn a .
n

Exerccio Resolvido
1) Em , verifique que 0 ponto de acumulao do conjunto
1 1 1
X = 1, , , , .
2 4 8
Resoluo:
Basta observar que a sequncia 1 est em X {0} e que
n
2
1
lim n = 0 .
n 2

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 mtrico e X M . Um ponto a M aderente a X se, e somente se, a
limite de uma sequncia de pontos de X .
Prova:
) Supor a X . Ento a X ou a X ' .
Se a X , podemos formar a sequncia ( xn ) = (a, a, a,) . Temos
que ( xn ) est em X e xn a .
Se a X ' , pela proposio 2.6, existe uma sequncia ( xn ) em
X {a} tal que xn a .
) Supor que existe uma sequncia ( xn ) em X tal que xn a.
Se xn a para todo n , ento ( xn ) uma sequncia de pontos em
X {a} com xn a . Logo, a ponto de acumulao de X e,
assim, a X , pois X ' X .
Se existir algum m tal que xm = a , ento a X X .
Logo, em qualquer caso, a X .

Definio 2.6. Num espao mtrico ( M , d ) , um conjunto X M


dito denso em M se X = M .
Intuitivamente, dizemos que X denso em M quando os elementos de X esto espalhados por toda parte de M .

Exerccio Resolvido
2 ) Verificar se denso em .
Resoluo:
Devemos responder a pergunta: todo nmero real a o limite de
uma sequncia de racionais?
A resposta positiva. De fato:
Se a , basta tomar a sequncia (a, a, a,) a .
Se a , a pode ser expresso como uma decimal infinita no
peridica:
74

Relembre que o conjunto


dos pontos aderentes a X
denominado por fecho de X
e denotado por .

a = b0 , b1b2b3 .
Tomamos a sequncia:
x1 = b0
x2 = b0 , b1
x3 = b0 , b1b2

xn = b0 , b1b2 bn 1 .
A sequncia xn a , pois
| xn a |=| b0 , b1b2 bn1 b0 , b1b2 bn1bn |=| 0,0 0bnbn+1 |<

1
0.
10n1

Proposio 2.8 (Conjunto Fechado). Sejam ( M , d ) um espao


mtrico e X M . X fechado se, e somente se, X contm todos
os limites de sequncias de pontos de X .
Prova:
) Suponha que X fechado. Seja ( xn ) uma sequncia em X ,
xn a . Pela proposio 2.7, a X . Como X fechado, X = X
e, assim, a X .
) Vamos mostrar que X X . Seja a X . Pela proposio 2.7,
existe uma sequncia ( xn ) em X , xn a . Aplicando a hiptese
segue que a X .
Logo, X X e ento X fechado.

Nota. A proposio 2.8 muito til para verificar que alguns conjuntos no so fechados.
Exemplo 2.17. O conjunto X = [0,1] ( ) no fechado em
2
. De fato, a sequncia
est em X e seu limite, zero, no
n

pertence a X .

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 .

Proposio 2.9 (Ponto de Fronteira). Sejam ( M , d ) um espao


mtrico e X M . Um ponto a M um ponto de fronteira de
X se, e somente se, existem sequncias ( xn ) em X e ( yn ) em
C ( X ) tais que
lim xn = lim yn = a .
n

Prova:
) Seja a Fr( xn ). Ento a X e a C ( X ), pois
Fr( X ) = X C ( X ).
Pela proposio 2.7, a o limite de uma sequncia de pontos de X
e, tambm, o limite de uma sequncia de pontos de C ( X ) .
) Vamos supor que a = lim xn = lim yn , com ( xn ) em X e ( yn )
em C ( X ) . Seja > 0 . Como a = lim xn , existe n0 tal que
xn B(a, ) , n > n0 .
Como os termos de ( xn ) pertencem a X , segue que
B (a, ) X .

Analogamente, como a = lim yn , n1 , tal que


yn B(a, ) , n > n1 .
Como os termos de ( yn ) pertencem a C ( X ) , segue que
B (a, ) C ( X ) .

Logo, a Fr( x) .

Vamos ilustrar o uso desta proposio no exerccio que segue.

76

Exerccio Resolvido
3) Verifique que o ponto (0, 0) um ponto de fronteira do conjunto X = {( x, y ) 2 / x < y} em 2 .
Resoluo:
A figura 2.14 ilustra o conjunto X .
y

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) .
Logo, (0, 0) Fr( X ) .

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.
Proposio 2.10 (Conjunto Aberto). Sejam ( M , d ) um espao mtrico e A M . A aberto se, e somente se, cumpre a seguinte
condio:
( xn a A) xn A para todo n suficientemente grande.

77

Prova:
) Seja xn a A. Como A aberto, 1 > 0 tal que B (a, 1 ) A .
Como xn a , para este 1 > 0 , n0 tal que
xn B(a, 1 ) A para todo n > n0 .
) bom destacar bem nossa hiptese e nossa tese, neste caso.
Temos:
Hiptese: ( xn a A) xn A para todo n suficientemente grande.
Tese: A aberto.
Vamos mostrar que C ( A) fechado. Para isso, vamos usar a proposio 2.8.
Seja ( xn ) uma sequncia em C ( A) , xn a . Usando a hiptese,
conclumos que a C ( A) . De fato, no podemos ter a A , pois
ento xn pertenceria a A para n suficientemente grande.
Pela proposio 2.8, segue que C ( A) fechado.
Logo, A aberto.

2.7 Alguns Resultados Interessantes em


Vejamos agora alguns resultados interessantes no conjunto de
nmeros reais. uma oportunidade importante para aplicar os
novos conceitos e desenvolver algumas demonstraes que os
utilizam.

2.7.1 O Conjunto de Cantor


Nesta seo estudaremos o conjunto de Cantor, conjunto este introduzido pelo matemtico alemo Georg Cantor em 1883. Alm de ter
propriedades muito interessantes, e que de certa forma desafiam a
nossa intuio, o conjunto de Cantor um dos conjuntos mais importantes da matemtica moderna, aparecendo em diversas reas
da matemtica, como sistemas dinmicos, anlise e topologia.
O conjunto de Cantor K um subconjunto fechado do intervalo
[0,1] , construdo da seguinte forma:
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.
Repete-se o processo indefinidamente. O conjunto K dos pontos
no retirados o conjunto de Cantor.
A figura 2.15 ilustra o processo de construo do conjunto de Cantor.
[
0

[
0

]
1
9

[] []

[
2
9

]
1
3

[
2
3

]
1
3

[
2
3

[] []

]
1

]
7
9

[] []

[
8
9

]
1

[] []

Figura 2.15

2.7.1.1 Propriedades do Conjunto de Cantor (K)


1) K fechado
Se indicarmos por I1 , I 2 , I 3 , , I n , os intervalos abertos
omitidos, temos que
C

K = [0,1] I n = [0,1] I n = [0,1] ( I n )c .


n =1

n =1
n =1
Como I n aberto, ( I n )C fechado para todo n . Pelas propriedades de conjuntos fechados segue que K fechado.

79

2) Int( K ) =
Seja x K . Ento x Int( K ) se existir um > 0 , tal que
( x , x + ) K .
Para ver que x no ponto interior, devemos observar que
depois da n -sima etapa de construo de K restam ape1
1
nas intervalos de comprimento n . Como n 0, vemos que
3
3
> 0 , ( x , x + ) K .
3) K no enumervel.
A prova pode ser encontrada em [12, Lima].
4) K no contm pontos isolados (todos os pontos de K so
pontos de acumulao).
Vamos mostrar isso em duas etapas.
Etapa 1: Vamos observar primeiro os pontos extremos dos intervalos omitidos na construo de K , isto , os pontos
1 2 1 2 7 8
, , , , , ,.
3 3 9 9 9 9
Seja c K um desses pontos, digamos, seja c a extremidade esquerda do intervalo (c, b) omitido para formar K (Figura 2.16).
Quando (c, b) foi retirado, restou um certo intervalo [a, c] .

[ ](
an c

(
b

Figura 2.16

Nas etapas seguintes, restaro sempre teros finais de intervalos


do tipo [an , c] , an K .
O comprimento c an 0 e, assim, > 0 , an (c , c + ) .
Logo, c no ponto isolado ( ponto de acumulao).
Etapa 2: Seja c K , agora, que no seja extremo de intervalo retirado.
Existem tais pontos? A resposta positiva, pois K no enumervel.
80

Vamos provar que c no ponto isolado de K .


Dado qualquer > 0 , mostraremos que (c, c + ) K .
De fato, dado qualquer > 0 , existe algum ponto de K no intervalo (c, c + ) , caso contrrio, este intervalo estaria todo contido
num dos intervalos removidos e (como c K ) c s poderia ser
extremo de um dos intervalos retirados.
5) A soma dos comprimentos dos intervalos removidos 1.
De fato, a soma dos comprimentos dos intervalos removidos
n 1

1 2 4 8
1 2
dada pela srie geomtrica + +
+ + = ,
3 9 27 81
n =1 3 3
que converge para 1.

2.7.2 Princpio dos Intervalos Encaixados


Sejam I1 = [a1 , b1 ]
I 2 = [a2 , b2 ]

I n = [an , bn ]

intervalos fechados e limitados em tais que


I1 I 2 I n I n +1 .
Ento existe pelo menos um ponto comum a todos os intervalos.
Prova:
Como I1 I 2 , temos que
a1 a2 an an +1
e
b1 b2 bn bn +1
Alm disso, am bn , m, n .
Logo, cada bn uma cota superior do conjunto A = {a1 , a2 , , an ,}
e cada am uma cota inferior do conjunto B = {b1 , b1 , , bn ,}.
Existem, ento, a = sup A e b = inf B em .
81

Como a = sup A , segue que am a , m .


Como todo bn uma cota superior de A,
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

2.7.3 Outra Verso do Teorema de Bolzano-Weierstrass


Todo subconjunto infinito e limitado de possui um ponto de
acumulao.
Prova:
Seja A um subconjunto infinito e limitado de . Como A limitado, existe um intervalo [a, b] tal que A [a, b] .
Consideremos, agora, os intervalos
a +b a +b
a, 2 e 2 , b .
Pelo menos um desses dois intervalos contm uma infinidade de
ponto de A, pois A infinito.
Denotamos este intervalo por I1 = [a1 , b1 ] . Dividimos, agora, o intervalo [a1 , b1 ] em dois
a1 + b1 a1 + b1
a1 , 2 e 2 , b1 .
Novamente, um desses intervalos contm uma infinidade de pontos de A. Denotamos este intervalo por I 2 = [a2 , b2 ] .
Continuando esta construo, obtemos uma sequncia de intervalos encaixados e fechados
I1 I 2 I 3 ,

82

onde I n = [an , bn ] , cujos comprimentos so:


ba
2
ba
I2 :
4
ba
I3 :
8

ba
In : n .
2
I1 :

Pelo princpio dos intervalos encaixados, existe pelo menos um


ponto p comum a todos os intervalos.
Afirmao: p ponto de acumulao de A .
De fato, vejamos:
Dado > 0 , devemos mostrar que a bola aberta ( p , p + )
contm algum ponto a A , a p .
ba
Seja n0 tal que n0 < . Observe que este nmero existe,
2
ba
pois a sequncia n 0 .
2
Seja I n0 o intervalo correspondente, conforme a construo realizada. Ento,
an0 , bn0 ( p , p + ) e p an0 , bn0 .

Como an0 , bn0 contm uma infinidade de pontos de A , o mesmo


ocorre com ( p , p + ) . Logo, p ponto de acumulao de A .

2.8 Sequncias de Cauchy


Definio 2.7. Seja ( M , d ) um espao mtrico. Uma sequncia
( xn ) de pontos de M dita uma sequncia de Cauchy se, e somente se, > 0 , n0 tal que d ( xm , xn ) < , m, n > n0 .
1
Exemplo 2.18. A sequncia de Cauchy em .
n

83

De fato, como

1
0 , > 0 , n0 tal que
n

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?
A resposta positiva, conforme proposio que segue.
Proposio 2.11. Toda sequncia convergente num espao mtrico ( M , d ) uma sequncia de Cauchy.
Prova:
Seja ( xn ) a . D > 0 . Ento existe n0 tal que

n > n0 d ( xn , a ) < .
2
Para m, n > n0 , temos

d ( xn , xm ) d ( xn , a ) + d (a + xm ) < + = .
2 2

Nota. No vlida a recproca, isto , nem toda sequncia de Cauchy em um espao mtrico convergente.
Exemplo 2.19. Seja M o intervalo aberto (0, 2) em , com a mtrica usual de induzida em M .
1
Neste espao a sequncia de Cauchy, mas no converge.
n

84

Exemplo 2.20. Seja M = com a mtrica usual.


A sequncia (1,1.4,1.41,1.414,) de Cauchy em , mas no converge em . Observe que a sequncia converge para 2 em
e 2 .
Embora existam sequncias de Cauchy que no convergem, a
propriedade de Cauchy est intimamente ligada convergncia.
A proposio que segue mostra uma dessas relaes.
Proposio 2.12. Seja ( M , d ) um espao mtrico e ( xn ) um sequncia de Cauchy em M . Se ( xn ) possui uma subsequncia ( xnk ) que
converge para a M , ento xn a .
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 ) <

Logo, ( xn ) a .


+ = , n > n1 .
2 2

Proposio 2.13. Num espao mtrico ( M , d ) toda sequncia de


Cauchy limitada.
Prova:
Seja ( xn ) uma sequncia de Cauchy em M . Tome = 1 . Para este
existe n0 tal que d ( xn , xm ) < 1 , n, m > n0 .
Assim, o conjunto A = {xn 0 , xn 0 +1 ,} limitado.
Seja B = {x1 , x2 , , xn 0 1} . Como B finito, B limitado.
Logo, {x1 , x2 , , xn ,} = A B limitado.

85

Exerccio Proposto
11) Verifique se a sequncia ( xn ) sequncia de Cauchy:
(1) n
xn =
em .
n
Dica: Reveja o exemplo 2.18.

2.9 Espaos Mtricos Completos


, portanto, apenas um smbolo para um nmero que ainda tem
que ser descoberto, mas no sua definio. A definio, porm,
satisfatriamente dada por meu mtodo, digamos (1.7,1.73,1.732,...)
G. Cantor 1889 apud [6, Hairer &Wanner].

J comentamos que a propriedade de Cauchy est intimamente


ligada convergncia. Mas vimos exemplos de sequncias de
Cauchy que no convergem em determinados espaos. Podemos
dizer que, num espao ( M , d ) , se ( xn ) de Cauchy e no convergir, isto se deve ao espao M e no sequncia ( xn ) .
Vejamos a seguinte definio.
Definio 2.8. Seja ( M , d ) um espao mtrico. Dizemos que M
completo se toda sequncia de Cauchy em M for convergente
em M .
Nota. Observe que no completo.
Teorema 2.2. O conjunto dos nmeros reais , com a mtrica
usual, um espao mtrico completo.
Prova:
Seja ( xn ) uma sequncia de Cauchy em . Pela proposio 2.13,
( xn ) limitada. Usando o Teorema de Bolzano-Weierstrass, podemos concluir que ( xn ) possui uma subsequncia convergente. Pela
proposio 2.12, temos que ( xn ) converge.

Nota Importante. A complitude de tambm pode ser demonstrada sem o uso do Teorema de Bolzano-Weierstrass (e consequentemente sem o uso da propriedade do supremo), construindo-se
via cortes de Dedekind. Mais detalhes podem ser encontrados
em [14, Marsden & Hoffman] ou [16, Rudin].
86

Exerccios Resolvidos
4) Seja M o intervalo aberto (0, 2) com a mtrica usual induzida de . Verifique que M no completo.
Resoluo:
Para mostrar que M no completo, voc deve exibir uma sequncia de Cauchy em M que no converge em M . Tome, por
exemplo, a sequncia 1 . J mostramos que esta sequncia de

n
Cauchy, mas no converge em M .
Observao. interessante voc dar exemplos de outras sequncias de Cauchy em M que no convergem em M .
5) Seja ( M , d ) um espao mtrico, em que d a mtrica 0 1 .
Verifique que ( M , d ) completo.
Resoluo:
No exerccio proposto 10), voc caracterizou as sequncias de Cauchy em M . As sequncias de Cauchy em M so as
sequncias estacionrias, isto ,
( xn ) = ( x1 , x2 , , xk , p, p, p,)
que convergem para p M .
Logo, M completo.
6) Seja M o intervalo fechado [0, 2] com a mtrica usual induzida de . Verifique que M completo.
Resoluo:
Seja ( xn ) uma sequncia de Cauchy em M . Ento ( xn ) de Cauchy em .
Como completo, a tal que xn a . Mas [0, 2] fechado. Pela caracterizao de conjunto fechado via sequncias (proposio 2.8), a M .
Logo, ( xn ) converge em M e, consequentemente, M completo.

87

Exerccio Proposto
12) D outros exemplos de subespaos de que sejam:
i) completos;
ii) no completos.
Nota. Os exerccios anteriores devem ter levado voc a cogitar se
os resultados obtidos podem ser generalizados.
Temos a seguinte proposio.
Proposio 2.14 Todo subespao fechado de um espao mtrico
completo completo. Reciprocamente, todo subespao completo
de qualquer espao mtrico fechado.
Prova:
) Hiptese: ( M , d ) completo, F M , F fechado.
Tese: F completo.
Seja ( xn ) uma sequncia de Cauchy em F . Ento ( xn ) de Cauchy em M . Como M completo, ( xn ) a M . Como F
fechado, pela proposio 2.8, a F .
Logo, ( xn ) converge em F e, dessa forma, F completo.
) Hiptese: ( M , d ) um espao mtrico, F M , F completo;
Tese: F fechado.
Seja ( xn ) uma sequncia de pontos de F, com lim xn = a M . Pela
proposio 2.11, ( xn ) de Cauchy. Como F completo, ( xn )
converge em F , isto , a ' F tal que lim xn = a ' .
Pela unicidade do limite (proposio 2.2), temos a = a ' . Pela caracterizao de conjunto fechado via sequncia (proposio 2.8),
conclumos que F fechado.

Nota. Todo espao mtrico ( M , d ) admite um completamento


ou completado, ou seja, existe um espao mtrico ( M , d ) tal que
88

M M densamente e d = d sobre M . Basta adicionar a M os


limites das sequncias de Cauchy em M .
Por exemplo, [0, 2] o completado de (0, 2) como subespao
mtrico de .
1 1
1
1

1 1
0,1, , , , , o completado de 1, , , , , como
2 3
n
n

2 3
subespao de .
Um dos processos de construo dos nmeros reais atravs
do completamento de : acrescenta-se a os limites das sequncias de Cauchy em . No apresentamos a construo de
neste texto. Admitimos a existncia dos nmeros reais como um
axioma.
Voc viu que um espao mtrico completo. Voc pode perguntar: e os espaos Euclidianos 2 , 3 , ..., n , so completos?
A resposta positiva, conforme voc pode constatar para 2 no
exerccio que segue.

Exerccio Resolvido
7) Verifique que 2 com a mtrica usual um espao mtrico
completo.
Resoluo:
Seja ( zn ) = (( xn , yn )) uma sequncia de Cauchy em 2 .
Ento ( xn ) e ( yn ) so sequncias de Cauchy em (verifique esse
resultado de forma anloga prova da proposio 2.1).
Como completo, xn a e yn b . Usando a proposio 2.1, voc conclui que zn (a, b) .
Para concluir este captulo, observamos que em muitos momentos
um matemtico ouve falar em espaos de Banach e em espaos de
Hilbert.
O que so estes espaos afinal?

89

Espaos de Banach: um espao vetorial normado que completo com a mtrica induzida pela norma, isto ,
d ( x, y ) =|| x y || .
Espaos de Hilbert: um espao vetorial com produto interno,
que completo em relao mtrica oriunda deste produto
inn
n
terno. Por exemplo, em com o produto interno x, y = xi yi ,
i =1
onde x = ( x1 , x2 ,, xn ) e y = ( y1 , y2 ,, yn ) , temos
|| x ||=

x, x

e
d ( x, y ) =|| x y || .
Se voc tiver interesse pode aprofundar-se estudando em livros
mais avanados de Anlise Matemtica, tais como: [14, Marsden
& Hoffman] ou [16, Rudin].

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 contraexemplo:
1) Toda sequncia limitada convergente;
2) Toda sequncia convergente limitada.
3) Se xn 0 e ( yn ) limitada, ento zn = xn yn 0 .
4) Se ( xn ) converge e ( yn ) diverge, ento ( zn = xn + yn ) diverge.
5) Se ( xn ) e ( yn ) divergem, ento ( zn = xn + yn ) diverge.
6) Se ( xn ) a e a > 0 , ento xn > 0 para uma infinidade de
ndices.
7) Se xn < yn , n ento lim xn < lim yn . Supor as duas sequncias convergentes.
8) Se ( xn ) uma sequncia tal que o conjunto de seus termos
est contido no conjunto de Cantor, ento ( xn ) possui uma
subsequncia de Cauchy.

90

9) Toda sequncia de Cauchy em converge para um elemento de .


10) Se uma sequncia montona possui uma subsequncia
convergente, ento ela convergente (se necessrio revise a
noo de sequncia montona na seo 1.3 do texto de Clculo I).
11) Estude a convergncia das seguintes sequncias em 2 :

1 n2 + 1
a) ( zn ) tal que zn = 1 n1 ,
;
2n 2
2
n 1
(n 1) 2
b) ( zn ) tal que zn =
, 2
n
n2

12) Seja ( M , d ) um espao mtrico e ( xn ) um sequncia em


M que tem uma subsequncia convergindo para a e outra
para b:
a) se a b , o que se pode dizer sobre ( xn ) ;
b) se ( xn ) converge, o que se pode dizer sobre a e b ?;
c) d exemplos das duas situaes.
13) Num espao mtrico de sua escolha, d um exemplo de
uma sequncia, sem pontos repetidos, que possua duas subsequncias convergindo para pontos distintos.
14) Verifique que no so completos os seguintes subespaos
mtricos de :
a) o intervalo [2,5) ;
1

b) , n ;
n

c) [0,1] .
15) Verifique que no so completos os seguintes subespaos
mtricos de 2 :
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} .
16) O conjunto dos nmeros inteiros , como subespao de
completo? Justifique.
17) Se ( M , d ) um espao mtrico tal que M finito, mostre
que M completo.
18) Se ( xn ) e ( yn ) so sequncias de Cauchy em 2 , o que se
pode afirmar a respeito da sequncia d ( xn , yn ) ?

Resumo
Neste captulo voc estudou a noo de convergncia. Para facilitar 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.
Os principais conceitos do captulo 1 foram retomados e caracterizados atravs de sequncias. Tambm foram abordados alguns
resultados interessantes de , como o princpio dos intervalos
encaixados e o teorema de Bolzano-Weierstrass.
Voc se familiarizou com o conjunto de Cantor, que um dos
conjuntos mais interessantes da anlise matemtica.
Finalmente, voc concluiu o estudo deste captulo vendo a noo
de espao mtrico completo, que caracterizado por meio das sequncias de Cauchy. O resultado mais importante : os espaos
Euclidianos n , n = 1, 2,3,... so espaos mtricos completos.

92

Continuidade

Continuidade

Nosso objetivo nesta unidade estudarmos funes contnuas e suas propriedades. Iniciaremos com uma breve motivao do assunto e a seguir introduziremos a definio
de funo contnua em um espao mtrico. Nosso interesse
estudar diversas caracterizaes de funes contnuas e
suas relaes com conjuntos abertos, fechados, compactos
e/ou conexos.

Por que funes contnuas merecem nossa ateno?


Porque elas possuem algumas caractersticas especiais e ao mesmo tempo esto presentes em inmeros eventos do nosso dia-adia. Por exemplo, quando vamos almoar em um restaurante que
oferece buf por quilo, o preo que pagamos pelo nosso prato de
comida depende continuamente do peso dos alimentos escolhidos. Se, por um acaso, o restaurante estiver com uma promoo
onde os clientes que pesam exatamente 473g de comida ganham
sua refeio de graa, temos que nossa funo preo tem uma
descontinuidade no 473g. A figura abaixo ilustra estes dois casos
quando o preo da comida R$10,00 o quilo.
R$

R$

10

10

1
100 473

1000

100 473

1000

Figura 3.1

Outro exemplo de uma funo contnua que aparece frequentemente no nosso dia-a-dia a funo temperatura. Se cada ponto
95

da Terra identificado por sua latitude e longitude, ento a temperatura em cada ponto da Terra uma funo contnua de duas
variveis. Outros exemplos incluem velocidade do vento, presso
atmosfrica, etc.

3.1 Funes Contnuas


Temos agora uma noo intuitiva de continuidade que precisamos formalizar. O primeiro matemtico que tentou fazer isto foi
Cauchy, em 1821 (Cours dAnalyse, p. 43 apud [6, Hairer & Wanner]). Vejamos o que Cauchy escreveu:
ser chamada uma funo contnua, se (...) os valores nu(...)
mricos da diferena

diminuem indefinidamente junto com os valores de

(...).

Ou seja, Cauchy estava pedindo que variaes infinitamente pequenas de x acarretassem variaes infinitamente pequenas de
f . Porm esta definio no est completamente correta e a escola de Bolzano-Weierstrass se encarregou de corrigi-la. Vejamos o
que Weierstrass escreveu em 1874:
Aqui, chamaremos a quantidade y de uma funo contnua de x, se
depois de escolhermos uma quantidade e, a existncia de pode ser
provada, de maneira que para qualquer valor entre x0 ... x0+ o
valor correspondente de y est entre y0 e...y0 + e.

Ou seja, Bolzano e Weierstrass pedem que a diferena f ( x) f ( x0 )


seja arbitrariamente pequena, se a diferena x x0 for suficientemente pequena.
Podemos agora recapitular a definio de continuidade, via e s e
s, de uma funo real f .
Definio 3.1. Seja X um subconjunto de e a X . A funo
f : X dita contnua em a se para todo e > 0 , existe um
> 0 , tal que, para todo x A satisfazendo | x a |< temos que
| f ( x) f (a ) |< e .
Se f contnua em todos os pontos do seu domnio, ento f
dita contnua.
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:
Definio 3.2. Sejam M e N espaos mtricos. A funo
f : M N dita contnua em a M se para todo e > 0 , existe
um > 0 , tal que se d ( x, a ) < ento d ( f ( x), f (a)) < e .
Se f contnua em todos os pontos a M , ento f dita contnua.
Observao. Note que M e N podem ter mtricas diferentes, porm decidimos denotar ambas por d na definio acima, ficando
claro pelo contexto quando d se refere mtrica em M e quando
d se refere mtrica em N .
Observao. Em termos de bolas abertas temos que f : M N
contnua em a e > 0 , > 0 tal que f ( B(a, )) B( f (a ), e) .
Vejamos alguns exemplos:
Exemplo 3.1. f : dada por f ( x) = 2 x , onde tem a mtrica usual, contnua. Veja o grfico na figura 3.2.
y

f (x) = 2x

Figura 3.2

e
Note que dado e > 0 , podemos tomar = para satisfazer a de2
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

Exemplo 3.3. Seja f : 2 .


x ( x, x )
Uma representao grfica de f pode ser visualizada na figura
3.4.

(x,x)

0 x

Figura 3.4

Vamos mostrar que f contnua em a usando a definio:


Dado e > 0 , observe que
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 espao de funes. Veremos agora um exemplo de funo contnua
envolvendo um espao de funes.
Seja l () = {a : : sup{| a (n) | < }} , ou seja, l () o conn

junto de todas as funes limitadas de em , ou equivalentemente, o conjunto de todas as sequncias limitadas.


Muniremos l com a mtrica do sup, ou seja,
d (a, b) = sup{| a (n) b(n) |} .
n

Definiremos agora,
f : l ()
.
a a (1)
Observe que f associa a cada sequncia o seu primeiro termo.
Vamos mostrar que f contnua em todo a l () .
Dado e > 0 , tome = e .
Note que se d (a, x) < ento sup{| a (n) x(n) |} < e, portanto,
n

| f (a ) f ( x) |=| a (1) x(1) | sup{| a (n) x(n) |} < = e .


n

Logo, f contnua.
Vejamos agora as funes de Lipschitz:
Definio 3.3. Uma funo f : M N uma funo de Lipschitz (ou lipschitziana) se existe k > 0 tal que
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
.
k
Logo, se d ( x, y ) < ento
Dado e > 0 , seja =

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.
2) Mostre que f : , dada por f ( x) =| x | , Lipschitz com
constante k = 1 e, portanto, contnua.
Nosso prximo exemplo nos diz que a funo distncia em um
espao mtrico contnua. Vejamos:
Exemplo 3.5. Seja ( M , d ) um espao mtrico e p M .
Defina f : M por f (x) = d (x,p).
x d ( x, p )
Ento f contnua e f ( x) = 0 x = p .
Inicialmente, observe que
d ( x, p ) d ( x, y ) + d ( y , p )
e
d ( y , p ) d ( y , x ) + d ( x, p ) .
Dessas desigualdades, segue que
d ( y , x ) d ( y , p ) d ( x, p ) d ( y , x )
ou, de forma equivalente,
| d ( y, p ) d ( x, p ) | d ( y, x) .
Agora, d e > 0 . Tome = e .
Se d ( x, y ) < ento| d ( y, p ) d ( x, p ) | d ( y, x) < = e .
Logo, f contnua em qualquer ponto x M .
Observao. Note que do exemplo acima podemos concluir que
em todo espao mtrico com mais de um ponto, existem funes
contnuas no constantes.
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 continuidade 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.
Teorema 3.1. Seja f : M N e a M . Ento f contnua em a,
se, e somente se, para toda sequncia ( xn ) em M que converge
para a , a sequncia ( f ( xn )) converge para f (a ) (em smbolos, f
contnua em a ( xn ) : xn a , temos f ( xn ) f (a ) ).
Prova:
) Primeiro, vamos supor que f contnua em a .
Seja ( xn ) uma sequncia em M tal que xn a . Vamos mostrar
que f ( xn ) f (a ) .
D e > 0 . Como f contnua em a , existe > 0 tal que se
d ( x, a ) < ento d ( f ( x), f (a)) < e .
Uma vez que xn a , temos que existe n0 tal que se
n n0 ento d ( xn , a ) < . Logo, se n n0 ento d ( xn , a ) < e
d ( f ( x), f (a )) < e e, portanto, f ( xn ) f (a ) .
) Agora, vamos assumir a recproca, isto , vamos assumir que
( xn ) tal que xn a , temos f ( xn ) f (a ) .
Para provar que f contnua em a , vamos supor que ela no
contnua em a e chegar a uma contradio.
Supor que f no contnua em a, ou seja, e > 0 tal que > 0,
xi M tal que d ( xi , a ) < e d ( f ( xi ), f (a )) e .
1 1 1
Tomando = 1, , , , e assim sucessivamente, temos que
2 3 4
1
n , xn M tal que d ( xn , a ) < e d ( f ( xn ), f (a )) e .
n
Mas ento xn a e lim f ( xn ) f (a ) o que contradiz nossa hin
ptese.
Logo, f contnua em a .

Como uma consequncia direta do teorema 3.1 acima, podemos


agora mostrar facilmente que funes reais contnuas so bem
comportadas com respeito s operaes de soma, multiplicao
e multiplicao por escalar.
101

Proposio 3.1. Sejam f e g funes reais contnuas em um espao 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 .
v)

f
contnua em M se g ( x) 0, x M .
g

Faremos a prova do item (iv). Os outros ficam como exerccio.


Prova:
iv) Seja a M , e ( xn ) uma sequncia em M tal que xn a .
Como f e g so contnuas em a , as sequncias ( f ( xn )) e ( g ( xn ))
convergem para f (a ) e g (a ) , respectivamente. Agora, pelas propriedades de limites de sequncias reais, temos que a sequncia
(( f g )( xn )) = ( f ( xn ) g ( xn )) f (a ) g (a ) = ( f g )(a ) .
(Se necessrio revise a primeira unidade do texto de Clculo I) e,
portanto, f g contnua.

Nota. A proposio 3.1 tambm pode ser provada pela definio


de continuidade via e e .

Exerccio Proposto
3) Mostre os itens (i) e (ii) da proposio anterior usando a definio.
Observao. O teorema 3.1 tambm pode ser muito til quando
queremos mostrar que uma funo no contnua. Vejamos:
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 +

102

que converge para a , mas tal que f ( xn ) 1 f (a ) = 1 , pois


xn \ .
Se a , basta tomar uma sequncia ( xn ) contida nos e
tal que xn a . Temos ento que f ( xn ) 1 f (a ) = 1 , pois
xn .
Logo, mostramos que f no contnua em nenhum ponto de .

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 teorema 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
para todo n > N e isto implica que ( g ( xn )) converge para
a + 1 = g (a) + 1 .
Segue do teorema 3.1 que g contnua em a . Analogamente,
mostra-se que g contnua em a < 0 .

Exerccio Proposto
1

cos , se x 0
4) Decida se f : , dada por f ( x) =
,
x
1, se x = 0
contnua. Justifique sua resposta.
Uma das operaes entre funes que no foi contemplada na
proposio anterior foi a composio de funes contnuas (o que
voc arriscaria afirmar a respeito desta operao?
Tente demonstrar o seu palpite!
Apesar de podermos atacar este problema usando apenas a definio de continuidade, o mesmo ficar mais fcil depois de vermos mais uma caracterizao de funo contnua. Mostraremos
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 imagem inversa de fechados por f fechada. Vejamos:
Teorema 3.2. Seja f : M N . So equivalentes:
i) f contnua.
ii) se F N fechado, ento f 1 ( F ) fechado.
iii) se A N aberto, ento f 1 ( A) aberto.
Mostraremos o teorema via a seguinte sequncia de implicaes:
i) ii) iii) i)
i) ii) Suponha que f contnua e seja F fechado em N .
Queremos mostrar que f 1 ( F ) fechado e, para isto, suficiente
mostrar que
f 1 ( F ) f 1 ( F ) .
Seja a f 1 ( F ) . Ento, pela Proposio 2.7, existe uma sequncia
( xn ) em f 1 ( F ) tal que xn a .
Como f contnua em a , f ( xn ) f (a ) e como xn f 1 ( F ) ,
n , temos que f ( xn ) F , n e, portanto, f (a ) pertence
ao fecho de F , F . Como F fechado, F = F e isto implica que
f (a ) F . Logo a f 1 ( F ) como desejado.
ii) iii) Seja A N aberto.
Ento AC fechado e por hiptese f 1 ( AC ) fechado.
Como f 1 ( AC ) = [ f 1 ( A)]C (por qu?), segue que [ f 1 ( A)]C fechado e, portanto, f 1 ( A) aberto como desejado.
iii) i) Vamos agora assumir que (iii) vlido e provaremos que
f contnua pela definio.
Seja a M e e > 0 .
Lembre que B ( f (a ), e) (bola aberta de centro f (a ) e raio e )
aberto de N e, portanto, (por hiptese) f 1 ( B( f (a), e)) aberto
em M .
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

f 1(B(f(a),))
x

f(a)

Figura 3.5

Agora, se d ( x, a ) < ento x B (a, ) e, portanto,


x f 1 ( B ( f (a ), e)) .
Logo, f ( x) ( B( f (a ), e)) e temos que d ( f ( x), f (a)) < e como desejado.

Corolrio 3.1. f : M N contnua se, e somente se, b N e


e > 0 , f 1 ( B(b, e)) aberto.
Prova:
uma consequncia imediata do teorema anterior e do fato que
todo aberto de um espao mtrico se escreve com reunio de bolas
abertas.

Considere agora as funes


f :
g :

1 x se x 0 e
1 se x ,

x
x

0 se x < 0
1 se x

cujos grficos so dados na figura 3.6:

105

Figura 3.6

O que podemos dizer sobre a continuidade (de uma maneira global) de f e g ?


Intuitivamente, f e g no parecem ser contnuas e o teorema anterior torna fcil provar esta afirmao. Basta notar que
1 1
1 3
f 1 , = f 1 B 1, = 0, que no aberto em e
2 2
2 2
1
g ({1}) = que no fechado em .
E a composio de funes contnuas? Voc decidiu que esta operao (quando possvel de se realizar) nos d outra funo contnua, certo? Voc tentou mostrar este resultado usando apenas a
definio de continuidade? Conseguiu? No que segue usaremos a
caracterizao de funo contnua dada no teorema anterior para
demonstrar que a composio de duas funes contnuas uma
funo contnua.
Proposio 3.2. Sejam M , N e P espaos mtricos, f : M N e
g : N P contnuas. Ento a funo g f : M P contnua.
Prova:
Seja A um aberto de P . suficiente mostrar que ( g f ) 1 ( A)
aberto em M . Note que g 1 ( A) aberto em N (pelo teorema
3.2) e f 1 ( g 1 ( A)) aberto em M (pelo teorema 3.2 novamente).
Mas ( g f ) 1 ( A) = f 1 ( g 1 ( A)) e, portanto, aberto em M
como desejado.

106

A proposio acima fala do comportamento global da continuidade com respeito composio. E o comportamento local? Temos a
seguinte proposio:
Proposio 3.3. Se f : M N e g : N P so contnuas em
a M e em b = f (a ) N , respectivamente, ento g f : M P
contnua em a .
Prova:
D e > 0 . Como g contnua em b , 1 > 0 tal que se
d ( y, b) < 1 , ento d ( g ( y ), g (b)) < e .
Como f contnua em a , para este 1 > 0 , > 0 tal que se
d ( x, a ) < , ento d ( y, b) < 1 .
Logo, se d ( x, a ) < ento d ( g ( f ( x)), g ( f (a))) < e como desejado. A figura seguinte ilustra esta demonstrao:
f
a

1
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 vizinhana do ponto x0 .
6) Analisar a continuidade de
senx
f ( x) =
, x 0 e f (0) = 1, x .
x
7) Sejam f : n m contnua e B n limitado. f ( B ) obrigatoriamente limitado?
107

3.2 Conjuntos Compactos


Ns j comentamos e iremos reconhecer, por todo este livro, a importncia de conjuntos compactos. Todos aqueles que estudam anlise geral j viram que impossvel viver sem os compactos. (Frechet,
1928, Espaces abstraits, p. 66 apud [6, Hairer & Wanner]).

Como Frechet j observou em 1928, conjuntos compactos esto


entre os conjuntos mais importantes da matemtica.
De maneira coloquial, podemos dizer que conjuntos compactos
so conjuntos que tentam se comportar como conjuntos finitos.
(Por exemplo, voc j viu no curso de Clculo que toda funo
contnua em um compacto atinge o seu mximo e seu mnimo).
Nesta seo iremos caracterizar os subconjuntos compactos de
n como os subconjuntos fechados e limitados. Comearemos
com a definio mais geral de compacidade. Para isto, precisamos
introduzir a noo de cobertura.
Definio 3.4. Seja X ( M , d ) . Dizemos que uma famlia
C = {C }L de conjuntos C M , onde L um conjunto qualquer de indices, uma cobertura de X se X C . Se cada C
L

aberto, dizemos que C uma cobertura aberta de X.


Uma subcobertura de C uma subfamlia C ' = {C }L ' onde
L ' L e X C .
L '

O exemplo a seguir deve tornar a definio mais clara para voc.


Exemplo 3.7. Em , considere os conjuntos:
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
2

0 1
8
C1

1
4

1
2

5
4

3
2

C3
Figura 3.8

Note que:
C = {C1 , C2 , C3} uma cobertura aberta de X .
C ' = {C1 , C2 } uma subcobertura aberta de X .
C '' = {C1 , C3} uma subcobertura aberta de X .
C ''' = {C2 , C3} no subcobertura de X .
Podemos, agora, ver a definio de conjuntos compactos.
Definio 3.5. Seja K ( M , d ) . Dizemos que K compacto se
toda cobertura aberta de K contm uma subcobertura finita.
Voc pode encontrar na literatura vrias outras definies para
conjuntos compactos. No decorrer da seo, veremos as vrias
caracterizaes de conjuntos compactos que do origem a estas
outras definies. Vejamos alguns exemplos:
Exemplo 3.8. Seja K = {1, 2,, n} . K compacto, pois se C = {C }L
uma cobertura aberta de K , ento 1 C1 para algum 1 L ,
2 C2 para algum 2 L, , n C2 , para algum n L . Logo,
{C1 , C2 , , Cn } uma subcobertura aberta finita de K .
Exemplo 3.9. Qualquer conjunto finito compacto. A demonstrao anloga feita no exemplo anterior.
Exemplo 3.10. Em , todo intervalo da forma [a, b] compacto
(provaremos este fato mais para frente).

109

1
1 1
Exemplo 3.11. Seja X = 1, , ,, , .
n
2 3
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 ilustra a situao.
I1

I1

I1

( )
1
n

( )
1
4

( )
1
3

I1
(

1
2

I1
(

Figura 3.9

A famlia C = {I x }xX uma cobertura aberta de X que no possui subcobertura finita. Portanto, X no compacto.
Exemplo 3.12. De maneira semelhante desenvolvida no exemplo anterior, mostra-se que e no so compactos em .
Exemplo 3.13. no compacto. Considere a cobertura
{(n, n + 2)}n . Tal cobertura no possui subcobertura finita.
Exemplo 3.14. n tambm no compacto. Por exemplo, a cobertura aberta {B(o, n)}n no possui subcobertura finita. Voc
consegue encontrar outras coberturas abertas de n que no possuem subcoberturas finitas?
Voc deve estar achando que no muito fcil decidir quando
um conjunto compacto ou no. Para isto, veremos duas novas
caracterizaes de conjuntos compactos.
Teorema 3.3 (Bolzano-Weierstrass). Seja ( M , d ) um espao mtrico. Ento M compacto se, e somente se, toda sequncia em
M possui uma subsequncia convergente (que converge para um
ponto M ).
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 conn
verge para 1. Logo, todas as suas subsequncias convergem para
1, mas 1 no pertence a X .
Mas e o conjunto [0,1]? Como provar que compacto?
Para isso, usaremos o teorema a seguir.
Teorema 3.4 (Teorema de Heine-Borel). K n compacto se, e
somente se, fechado e limitado.
Prova:
) Suponha que K compacto.
Ento, pelo teorema 3.3, toda sequncia em K possui uma subsequncia convergente (em K ).
Mas isto implica que K limitado, pois seno, n , xn K , tal
que || xn ||> n e a sequncia {xn } no possui subsequncia limitada. Logo, no possui subsequncia convergente, o que contradiz a
afirmao do pargrafo anterior.
Ainda K fechado, pois seno, a K tal que a = lim xn , xn K ,
n
e isto implica que todas as subsequncias de {xn } convergem para
a , que no pertence a K , uma contradio. Logo, K fechado.
) Suponha que K fechado e limitado.
Seja {xn } uma sequncia em K .
Como K limitado, {xn } limitada. Pelo Teorema de BolzanoWeierstrass, generalizado para n , existe uma subsequncia convergente, cujo limite um ponto de K (pois K fechado). Segue,
ento, que K compacto pelo teorema 3.3.

Nota. O teorema de Heine-Borel tambm pode ser provado diretamente, sem o uso do teorema 3.3 (Bolzano-Weierstrass) (ver [14,
Marsden & Hoffman]).
Observao. Note que a caracterizao de compactos dada no
teorema de Heine-Borel s vlida em n .
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 concluir que qualquer bola fechada em n compacta.
Como comentamos no incio desta seo, funes contnuas em
conjuntos compactos possuem muitas caractersticas interessantes. Iremos agora explorar algumas destas caractersticas.
Teorema 3.5. Seja f : M N uma funo contnua e M um espao mtrico compacto. Ento f ( M ) compacto em N .
Prova:
Para provar que M compacto, vamos mostrar que toda sequncia em f ( M ) possui uma subsequncia convergente.
Seja ( f ( xn )) uma sequncia em f ( M ) .
Ento ( xn ) uma sequncia em M , e como M compacto,
( xn ) tem uma subsequncia ( xnk ) , convergente para um a em
M . Como f contnua, ( f ( xnk )) subsequncia de ( f ( xn )) que
converge para f (a ) . Logo, f ( M ) compacto.

Corolrio 3.2. Se f : M N contnua e M compacto, ento


f ( M ) fechado e limitado.
Dica para fazer a prova: Leia com ateno a prova do teorema de
Heine-Borel.
Corolrio 3.3. Seja f : M uma funo contnua real em um
espao mtrico compacto M . Ento f atinge seu mximo e seu
mnimo em M .
Prova:
Como f ( M ) limitado, existem y1 = inf{ f ( x)} e y2 = sup{ f ( x)} .
xM

xM

Como f ( M ) fechado, y1 e y2 pertencem a f ( M ) , isto ,


y1 = f ( x1 ) e y2 = f ( x2 ) com x1 , x2 M . Logo f ( x1 ) = min{ f ( x)}
xM
e f ( x2 ) = max{ f ( x)} .
xM

112

3.3 Continuidade Uniforme


Aparentemente ainda no foi observado que (...) continuidade em
um ponto (...) no a continuidade (...) a qual pode ser chamada de
continuidade uniforme, porque se estende uniformemente para todos
os pontos e em todas as direes (Heine 1870 apud [6, Hairer &
Wanner].

A noo de continuidade uniforme comeou a aparecer vagarosamente nas aulas de Dirichlet, em 1854, e Weierstrass, em 1861. A
primeira publicao devida a Heine [6, Hairer & Wanner].
Esta noo apareceu quando os matemticos do sculo XIX procuravam por condies suficientes para garantir a integrabilidade
de funes contnuas. Vejamos a definio:
Definio 3.6. Dizemos que f : M N uniformemente contnua em M se dado e > 0 , existe um > 0 tal que se d ( x, y ) <
ento d ( f ( x), f ( y )) < e .
Observao. Note que na definio de continuidade uniforme,
uma vez dado e > 0 , necessrio achar um > 0 que funcione
para Todos os pontos do domnio da funo f !
Vejamos alguns exemplos:
Exemplo 3.16. f ( x) = x uniformemente contnua em . Dado
e > 0 , basta tomar = e (se | x y |< , ento | f ( x) f ( y ) |< = e).
Ver figura 3.10.
y

Figura 3.10

Exemplo 3.17. A funo f :[0, ) [0, ) dada por f ( x) = x no


uniformemente contnua em [0, ) . De fato, o da continuidade,
113

em x0 > 0 , depende de e e tambm diretamente de x0 , de modo


que ( x0 ) 0 se x0 0+ .
A figura 3.11 ilustra este exemplo.
y

Figura 3.11

Exemplo 3.18. Se f de Lipschitz, ento f uniformemente


contnua. Vejamos:
Dado e > 0 , como f de Lipschitz,
d ( f ( x), f ( y )) kd ( x, y ) x, y M .

k 0

tal que

e
, temos que: se d ( x, y ) < ento
k
e
d ( f ( x), f ( y )) kd ( x, y ) < k = e .
k

Tomando =

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.
Observao. Note que a restrio de f ao intervalo [1, ) , por
exemplo, uniformemente contnua. Voc consegue encontrar
outros intervalos onde f uniformemente contnua?

Exerccios Propostos
8) Decida se a funo f :[0, +) [0, +) definida por f ( x) = x 2
uniformemente contnua.
9) Mostre que f :[a, b] dada por f (x) = x 2 uniformemente
contnua mas no de Lipschitz.
Veremos agora um teorema (cuja primeira verso, para n , devida a Heine, 1872, [6, Hairer & Wanner]) que nos garante que toda
funo contnua em um compacto uniformemente contnua.
Teorema 3.6. Seja f : M N contnua e M compacto. Ento f
uniformemente contnua em M .
Prova:
D e > 0 . Como f contnua, para todo a M existe a > 0 tal
e
que se d ( x, a ) < a (isto , x B(a, a ) ), ento d ( f ( x), f (a)) < .
2

Agora, note que a coleo de bolas abertas de centro a e raio a ;


2
a
B a, , cobre M .
2 aM
Como M compacto, existe uma subcobertura finita, digamos,


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
2
2
entre 1, 2,, n .
115

i i i
+ = i e,
2 2 2
usando a desigualdade triangular mais uma vez, temos, da contiMas ento, d ( y, ai ) d ( y, x) + d ( x, ai ) < +

nuidade em ai , que
d ( f ( x), f ( y )) d ( f ( x), f ( ai )) + d ( f ( ai ), f ( y ))

e e
+ = 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.
11) Prove que f ( x) = x 2 no uniformemente contnua em .
12) Sejam f e g funes reais uniformemente contnuas em
um espao mtrico M . Mostre que cf e f + g so uniformemente contnuas em M .
13) Mostre que a composio de funes uniformemente contnuas uma funo uniformemente contnua.

3.4 Conjuntos Conexos


Nesta seo estudaremos os conjuntos conexos e, mais adiante, algumas de suas aplicaes, como o teorema do valor intermedirio.
Intuitivamente, podemos pensar que conjuntos conexos so aqueles conjuntos que consistem de apenas um pedao.
Segundo esta ideia, podemos afirmar que (a reta real) conexo,
mas o subconjunto [1,0] [1, 2) no conexo.
Mas como definir formalmente conjuntos conexos? Quais propriedades da reta real, que a tornam conexa, gostaramos de capturar? A proposio abaixo nos d esta resposta:
Proposio 3.4. Seja C um subconjunto aberto e fechado de .
Ento C = ou C = .
Prova:
Suponha que C e C . Ento existem x C e z pertencente ao complementar de C . Sem perda de generalidade, podemos assumir que x < z .
116

Seja S = C [ x, z ] .
Note que S fechado (pois a interseco de dois fechados) e
limitado superiormente. Logo, S tem um supremo, digamos p, e
pS .
Como p S , p z . Mas p z , pois z S (uma vez que z C ).
Logo, p < z .
Por outro lado, C aberto e p C . Logo existe um e > 0 tal que
B ( p, e) C .
Seja t tal que p < t < min{ p + e, z} .
Ento t C [ x, z ] = S . Mas isto uma contradio, pois t > p e
p o supremo de S (a contradio veio do fato que supomos que
C aberto e fechado e no ou ).
Logo, nossa suposio falsa e, portanto, C = ou C = .
A figura 3.13 ilustra uma das possveis posies de t:
S
[

(
p

)
p

t
)
R
p+ z

C
Figura 3.13

Podemos agora definir um conjunto conexo:


Definio 3.7. Seja ( M , d ) um espao mtrico. Se os nicos subconjuntos de M que so simultaneamente abertos e fechado so
M e , ento M dito conexo.
Exemplo 3.20. conexo.
Exemplo 3.21. Qualquer intervalo da reta conexo (veremos a
prova a seguir).
Exemplo 3.22. Se M a mtrica 0 1 , ento ( M , d ) no conexo
para qualquer M , pois os conjuntos unitrios {x} , onde x M ,
so abertos e fechados.
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.
O exemplo 3.23 acima nos mostra um conjunto desconexo. Ele
formado por dois pedaos. Isto nos leva seguinte definio:
Definio 3.8. Uma separao de um espao mtrico M um par
de conjuntos abertos, no vazios, disjuntos, cuja unio M .
Em smbolos, uma separao um par de abertos U , V tal que
U , V , U V = M e U V = .
Proposio 3.5. Um espao mtrico M conexo se, e somente se,
no existe uma separao de M .
Prova:
) Primeiro vamos assumir que M conexo.
Supor que U , V uma separao de M . Ento U e U C = V
aberto. Logo U fechado e a hiptese implica que U = M e,
portanto, V = , o que uma contradio. Logo, no existe separao de M .
) Hiptese: No existe uma separao de M .
Tese: M conexo.
Vamos supor que M no conexo. Seja C fechado e aberto de
M e suponha que C M e C . Ento C , C C formam uma
separao de M , o que contradiz a hiptese. Logo, C = M ou
C =.

Com o resultado acima, podemos mostrar que o conjunto dos racionais no conexo. Mas os racionais so um subconjunto de .
Precisamos ento definir conexidade para subconjuntos de um
espao mtrico. Temos a seguinte definio:
Definio 3.9. Um subconjunto de um espao mtrico conexo
se ele for conexo com a mtrica induzida (lembre-se que os abertos so definidos em termos da mtrica).
118

Voc consegue achar uma separao para ?


Exemplo 3.24. no conexo. Uma separao de
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:
Teorema 3.7. Se f uma funo contnua de um espao mtrico
conexo M em um espao mtrico N, ento f ( M ) conexo.
Prova:
Suponha que f ( M ) no conexo. Ento existe uma separao U ,
V de f ( M ) tal que
f (M ) = U V ,
U V = ,
U e V ,
U , V so abertos.

Mas ento, como f contnua f 1 (U ) , f 1 (V ) uma separao


de M (verifique!), o que contradiz a conexidade de M .
Logo, f ( M ) conexo.

O teorema acima muito importante e nos permite encontrar


um grande nmero de conjuntos conexos. Usaremos este teorema para mostrar que todos os intervalos da reta real so conexos. Assumindo este resultado, temos que o subconjunto

S = x,sen : 0 < x < 1 de 2 conexo.


x

119

Figura 3.14

Por que S conexo?


Simplesmente porque S a imagem do conexo (0,1) pela funo
1

contnua f : (0,1) 2 dada por f ( x) = x,sen .


x

Ainda mais interessante e muito surpreendente o fato que o fecho de S = S {(0, t ) : t [1,1]} conexo (veja a figura 3.15).

1
S

1
Figura 3.15

Este resultado segue da proposio abaixo.


Proposio 3.6. Seja C um subconjunto conexo de um espao mtrico M . Se Y M tal que C Y C , ento Y conexo. Em
particular C conexo.
Prova:
A prova desta proposio pode ser encontrada em [10,
Kuhlkamp].

120

A proposio acima nos permite mostrar alguns resultados surpreendentes, 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

S = x,sen : 0 < x < 1 conexo.


x

Vamos agora, finalmente, mostrar que os intervalos de so conexos.


Proposio 3.7. Todo intervalo aberto da reta real conexo.
Prova Parcial:
Lembre que j mostramos que conexo. Para mostrar, por
exemplo, que o intervalo (1,1) conexo, basta verificar (faa!)
x
que a funo f : (1,1) dada por f ( x) =
contnua e
1+ | x |
sobrejetora. Da, o resultado segue do Teorema 3.7.
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!).
Finalmente, qualquer intervalo da forma (a, b) conexo, pois a
imagem da funo contnua
: (0,1) (a, b) dada por (t ) = (1 t )a + tb
(verifique!).

Exerccio Proposto
15) Mostre que os intervalos abertos (a, +) e (, b) so conexos.

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.
Dica. Suponha que C no um intervalo e encontre uma
separao para C .
Terminaremos nosso estudo com uma aplicao muito importante da conexidade: o teorema do valor intermedirio.

3.5 Teorema do Valor Intermedirio


O teorema do valor intermedirio um dos teoremas principais
no estudo do Clculo e dele dependem inmeros resultados que
voc deve ter visto durante seu curso. Na sua verso mais simples, o teorema toma a seguinte forma:
Seja f :[a, b] uma funo contnua. Se f (a ) < y < f (b) ou
f (b) < y < f (a ) ento existe C (a, b) tal que f (C ) = y .
Provaremos uma verso um pouco mais geral.
Teorema 3.8. (Teorema do Valor Intermedirio) Seja M um espao mtrico conexo e f : M contnua. Sejam y1 , y2 f ( M ) e
y1 < y < y2 . Ento existe x M tal que f ( x) = y .
Prova:
Como M conexo e f contnua, f ( M ) conexo. Como
f ( M ) , f ( M ) um intervalo (ver o ltimo exerccio da seo anterior). Ento dados y1 , y2 f ( M ) e y tal que y1 < y < y2 ,
y f ( M ) . Logo, x M tal que y = f ( x) .

122

Como uma aplicao do teorema do valor intermedirio, provaremos 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 ,
S 1 = {(cos t ,sen t ) : t [0, 2 ]}
e que f : S 1 a funo temperatura, a qual contnua.
Note que S 1 conexo, pois a imagem da funo contnua
h :[0, 2 ] S 1 dada por h(t ) = (cos t ,sen t ) .
Agora, defina g ( x) = f ( x) f ( x), x S 1 . Observe que g contnua.
Seja p S 1 . Considere g ( p ) e g ( p ) . Note que
g ( p) = f ( p) f ( p) = g ( p) .
Logo, ou g ( p ) = 0 , o que implica que f ( p ) = f ( p ) , ou g ( p ) e
g ( p ) tem sinais opostos. Neste caso, pelo teorema do valor intermedirio, existe um ponto u S 1 tal que g (u ) = 0 e isto implica
que f (u ) = f (u ) , ou seja, a temperatura no ponto u igual no
ponto u .
p

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]).
Aos interessados, sugerimos uma pesquisa sobre o assunto na Internet.
Para terminar, seguem mais alguns exerccios.

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
h( x ) =
1, x = 1


1
1

X = 1,1 ,1 , .
2
3

2) Mostre que se f : X contnua em a X , ento | f |


tambm o .
3) Seja X finito. Seja f : X . Analise a continuidade
de f .
4) Sejam f , g : contnuas. Defina h : ,
h( x) = f ( x)[ g ( x 3 )]2 . h contnua? Justifique.
5) Mostre que a funo f ( x) = x 2 definida para | x | 17 lipschitziana, mas f ( x) = x 2 definida em < x < + no . D
outros exemplos de funes lipschitzianas.
6) Uma funo f : M N satisfaz a condio de Holder de
ordem k se existe um c > 0 tal que d ( f ( x), f ( y )) c[d ( x, y )]k .
Mostre que nestas condies f contnua.
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 .
8) D um exemplo de uma funo contnua f : M N e um
aberto X M tal que f ( X ) no aberto.
9) Repita o exerccio 8 para X fechado.
10) Seja M um espao mtrico e seja X A : M a funo caracterstica de um subconjunto A M , isto , X A ( x) = 1 se
x A e X A ( x) = 0 se x A . Mostre que X A contnua em
p M se, e somente se p no um ponto da fronteira de A .
11) Defina uma bijeo f : que seja descontnua em todos os pontos de .
12) Identifique se verdadeiro ou falso, justificando sua resposta: Se f , g : so duas funes contnuas tais que
f (r ) = g (r ) para todo r , ento f = g .
13) Sejam M um espao mtrico compacto e f : M M uma
isometria, isto , d ( f ( x), f ( y )) = d ( x, y ), x, y M . Provar
que f bijeo.
14) Seja A = (0,1] . Encontre uma cobertura aberta de A que
no possui subcobertura finita.
15) Encontre uma funo contnua f : e um conjunto
compacto K tal que f 1 ( K ) no compacto. Repita o
processo para K conexo.
16) Verifique se so compactos (mtrica usual):
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} .
17) Seja M um espao mtrico com a mtrica discreta. Mostre
que M compacto se, e somente se, M finito.
18) Sejam A e B subconjuntos de um espao mtrico tais que
A compacto e B fechado. Mostre que A B compacto
(quando A B ).
19) As seguintes afirmaes a respeito de n so verdadeiras.
Justifique-as:
a) B = {( x1 , x2 , , xn ) n / x12 + x22 + + xn2 1} compacto;
b) S n1 = {( x1 , x2 , , xn ) n / x12 + x22 + + xn2 = 1} compacto;
c) Uma bola aberta B ( p, r ) , p n e r > 0 no um conjunto compacto.
20) Se A e B so subconjuntos compactos de um espao mtrico M , mostre que A B e A B so compactos.
21) Uma funo f : contnua e limitada obrigatoriamente uniformemente contnua?
22) Sejam f : B m contnua e injetiva e B n compacto.
Provar que f 1 : f ( B ) B contnua.
23) Seja f : (0,1) uniformemente contnua. f obrigatoriamente limitada?
24) Seja M um espao mtrico. Mostre que so equivalentes:
a) M no conexo;
b) Existem subconjuntos no vazios U e V de M tal que
M = U V , U V = = U V .
25) Se A e B so subconjuntos conexos de n , d exemplos
para mostrar que A B , A B e A B podem ser conexos
ou desconexos.
126

26) Seja A um subconjunto compacto de n e ( xn ) uma sequncia de Cauchy em A . Mostre que ( xn ) converge para um ponto
de A .
27) D exemplo de uma funo contnua f : e um conjunto fechado B tal que f ( B ) no fechado. Isso possvel se B for tambm limitado?
28) Seja f uma funo contnua de um espao mtrico compacto e conexo, M em . Mostre que f ( M ) um intervalo
fechado.
29) Ser a unio de conjuntos conexos um conjunto conexo?

Resumo
Neste captulo voc aprofundou seu conhecimento sobre uma
classe muito importante de funes: as funes contnuas.
Voc tambm se deparou com algumas noes novas, tais como,
conjuntos compactos, conjuntos conexos e continuidade uniforme.
Foram apresentados alguns teoremas importantes, que embasam
o estudo de Clculo, como o teorema do valor intermedirio e
o teorema que garante que toda funo contnua em um espao
compacto atinge seus extremos.
Voc concluiu seu estudo vendo uma aplicao prtica do teorema do valor intermedirio.

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]

Note que o sup acima atingido quando ( x 2 x) ' = 0 , isto ,


1
quando 2 x 1 = 0 x = .
2
2
1 1 1 1 1
2
Logo, d ( f , g ) = sup | ( x x) |= = = .
x[0, 1]
2 2 4 2 4

3) Possveis exemplos so:


a) A = {0}, B = {3};
b) A = {(0, 2)};
c) A = {(0, 0, 0)}, B = {(0, 0, 1)} ou A = {( x, y ) : x 1} e
B = {( x, y ) : x > y 2 + 2} .

4) a) Int ( A) = {( x , x )
1

/ x2 > x1} .
x1=x2

x2
1
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) = .
f) Note que A = (0, +) . Logo, Int ( A) = A .
132

5) a) A A
1

aberto (Propriedade Ab2).

b) Supor que A1 A2 ... An1 aberto.


c) Provar que A1 A2 ... An aberto.
Como A1 A2 ... An = ( A1 A2 ... An1 ) An , segue o resultado, novamente pela propriedade Ab2.

6) Seja B[ x, r ] uma bola fechada. Vamos mostrar que seu com-

plementar aberto. Para isto, tome y e C ( B[ x, r ]) . Como a


bola fechada, temos que
= d ( y, B[ x, r ]) .
Mas, ento,

B y, C ( B[ x, r ]) .
2
E, portanto, C ( B[ x, r ]) aberto, como desejado.

7) Por induo, j sabemos que para n = 2 a propriedade vale


(veja Fe 2).

Hiptese de induo: supor que a propriedade vlidan para


n , ou seja, se F1 ,..., Fn so conjuntos fechados, ento Fi
i =1
fechado.
Para n + 1 : sejam F1 ,..., Fn , Fn+1 fechados. Ento,
n +1

i =1

i =1

Fi = Fi Fn+1 , e como
induo, segue que

n +1

F
i =1

fechado pela hiptese de

F fechado por Fe 2.
i =1

8) Em , todo conjunto finito fechado, pois pode ser escrito


n

como uma unio finita de conjuntos unitrios (que so fechados). O resultado segue vlido para qualquer espao mtrico.

9) Em , sejam F

1
n = ,1 , n = 1, 2,3,... . Ento,
n
no fechado em .

Fn = (0,1] , que
n =1

133

10) S ' = {( x, y)

/ y x 2 1} .

11) a) No fechado, pois 0 A ' e 0 A .


b) fechado.
c) fechado.
d) No fechado, pois 0 D ' e 0 D .
e) Domnio de f = {x : x 1} . Logo, no fechado.
f) fechado.

12) a) A = {0} A .

b) B = [0, ) .

13) Afirmao: A B A B .
Prova: Seja x A B .
Se x A B , ento claro que x A B .
Se x ( A B) ' ento toda bola aberta que contm x contm
pontos de A B distintos de x . Logo, toda bola aberta que
contm x contm pontos de A e pontos de B e, portanto,
x A ' B ' A B , como desejado.
Agora, seja A = (0,1) e B = (1, 2) em .
Ento, A B = e A B = {1} .

14) a) Falso. Por exemplo, se A = (0,1) e


Fr ( A) = {0, 1} e Fr ( B) = {1, 1} .

B = (1,1) em , ento

b) Falso. Por exemplo, se B = (0, 1) {2}, ento 2 Fr ( B ) ,


mas 2 B ' .

15) a) Fr ( A) = {( x, y)

y
2

/ x 2 + y 2 = 1} .

Circunferncia
de raio = 1

b) Fr ( Int ( A)) = {( x, y ) 2 / x 2 + y 2 = 1} .
1

134

c) Fr ( A) = [0, 1] .
d) Fr ( B) = {0, 1} .
e) Fr (C ) = {( x, y ) 2 / y = x 2 4 x + 3} .

17) a) A = (0, ) e B = (,0) .


b) A = (1, 1) em . Fr ( A) = {1,1} .

Exerccios Complementares

1) Neste exerccio temos que verificar se as condies M 1 a M 3


da definio de mtrica so satisfeitas.

a) No mtrica, pois d (2, 2) = 0 ; logo, no satisfaz M1.


b) No mtrica, pois d (2, 2) = 0 ; logo, no satisfaz M 1 .
c) mtrica. Para verificar M 3 , note que
d ( x, y ) = 2 | x y |= 2 | x z + z y | 2 | x z | +2 | z y |
=d ( x, z ) + d ( z , y ).
d) No mtrica. Note que
1
1 1 1 1
d (0, 1) = 1 > d 0, + d ,1 = + = ;
2
2 4 4 2
logo, M 3 no satisfeita.

2) a) mtrica.

b) No mtrica.

3) Para verificar M 1 , note que


d ( x, y ) = 0 | f ( x) f ( y ) |= 0 f ( x) = f ( y ) ,
e como f injetora (estritamente crescente), temos que
x= y.
Para verificar M 3 , basta notar que
d ( x, y ) =| f ( x) f ( y ) |=| f ( x) f ( z ) + f ( z ) f ( y ) |
| f ( x) f ( z ) | + | f ( z ) f ( y ) |
=d ( x, z ) + d ( z , y ).
135

4) d ( f , g ) = sup | x
x[1, 3]

x 1| .

Como ( x 2 x 1) ' no se anulam em [1, 3] , o sup atingido


em um dos extremos. Portanto, d ( f , g ) = 5 .

5) a) Seja

p . Se p , ok.

Se p , use a representao decimal infinita de p :


p = a, a1 a2 ...an ... e considere a sequncia de nmeros racionais
a
a, a1
a, a1 a2

a, a1 a2 ...an

Como esta sequncia converge para p , dado qualquer


> 0 , a partir de um n0 , a distncia entre os termos desta
sequncia e p so menores que .
Logo, inf{d ( p, x) / x } = 0 .
b) O raciocnio anlogo ao item a.

6) Se A no unitrio, sejam x, y A . Ento, diam( A) d ( x, y) > 0 .


Logo, d ( x, y ) = 0 A unitrio. A recproca clara.

7)
8)

Seja a . Ento, existe um nmero inteiro m tal que


1
1
m a m + 1. Logo, d (a,{m, m + 1}) e, portanto, d (a, ) .
2
2

1
1
Como p B p, n , p B p, .
n
n
n =1

1
1

x
B p, , ento d ( x, p ) < n .
Se

n
n
n =1

Logo, d ( x, p ) = 0 e, portanto, x = p .
136

9) a)

b)

c)

d)

10) a) int () = .
b) int () = .
c) .
d) int((1, 2)) = (1, 2) .
e) .
f) (1, 2) .
g) (1, 2) .
h) int([1, 2] {3}) = (1, 2) .

11) a) Fechado.
b) Aberto.
c) Nem aberto nem fechado.
d) Fechado.
e) Aberto.
f) Aberto.
g) Aberto.

137

12)

= ; =
((0, 2)) ' = [0, 2]; (0, 2) = [0, 2]
([0, 2)) ' = [0, 2]; [0, 2) = [0, 2]
([0, 2]) ' = [0, 2]; [0, 2] = [0, 2]
( (0, 1)) ' = [0, 1]; (0, 1) = [0, 1]
1 1 1
1 1
1 1
1, , ,... = {0}; 1, , ,... = 0,1, , , ,... .
2 3 4
2 3
2 3

13) Se a A , ento claro que A {a} = A aberto.


Se a A . Seja x A {a} . Como A aberto, existe
r1 tal que B ( x, r1 ) A . Seja r = min{d ( x, a ), r1} . Ento,
B( x, r ) A {a} e, portanto, A {a} aberto.

14) Sejam F

= [n, ), n = 1, 2, 3,... . Ento,

F
n =1

1
Sejam An = 0, , n = 1, 2, 3,... . Ento,
n

=.

A
n =1

=.

15) a) X = (0, 1) em .
b) X = Q em .
1 1

c) X = 0,1, , ,... em .
2 3

d) X = .

18) a) Fr ( A ) = {a }, Fr ( A ) = {0, 1, 3}, Fr ( A ) = .


1

b) Fr ( B1 ) = B1 , Fr ( B2 ) = {( x, y : x = 0, y > 0)} {( x, y ) : y = 0, x > 0} {0, 0}


Fr ( B1 ) = B1 , Fr ( B2 ) = {( x, y : x = 0, y > 0)} {( x, y ) : y = 0, x > 0} {0, 0} .

19) a) A = .
b) B = 2 .
c) C ' = {(0, 0)} .
138

1
1

d) D ' = 0, , n ,0 , m .
n
m

e) E ' = {( x, y ) 2 / x e y = 0} .

20) a) Note que se

x int( A) , ento existe uma bola aberta


B ( x, r ) completamente contida em A , e que, portanto, no
contm pontos do complementar de A . Logo, x Fr ( A) .

Por outro lado, se a A \ Fr ( A) , ento existe uma bola


aberta B (a, r ) completamente contida em A e, portanto,
a int( A) .
b) Seja x A . Ento, por definio, B ( x, ) A > 0 .
Logo, x int( n \ A) e, portanto, x n \ int( n \ A) .
Por outro lado, seja x n \ int( n \ A) .
Ento, x int( n \ A) e, portanto, toda bola aberta B ( x, r )
contm pontos do complementar de n \ A, ou seja, de A.
Logo, x A .

21) a) Falso. Por exemplo, seja A = em com mtrica usual.


Ento, A = e int() = , mas int () = .
b) Verdadeiro. Segue diretamente da definio de fecho.
c) Falso. Em , tome A = [0, 1) . Ento, int( A) = [0, 1] A .
d) Falso. Em , tome A = . Ento, Fr () = Fr () = e
Fr () = .
e) Verdadeiro. Note que, se x A , como A aberto, ento
existe uma bola aberta B ( x, r ) completamente contida
em A e, portanto, x Fr ( A) .

22) a) Segue diretamente da definio de fronteira de um conjunto.

b) Seja x A B . Ento, para toda bola aberta B ( x, r ) , temos que B ( x, r ) ( A B ) e, portanto, B( x, r ) A


e B( x, r ) B . Logo, x A B .
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 .
d) Segue diretamente da definio de interior de um conjunto que int( A B) int( A) int( B) .
Seja, agora, x int( A) int( B) . Como x int( A) , existe B ( x, r1 ) A e como x int( B) , existe B( x, r2 ) B .
Tome r = min(r1 , r2 ) . Ento, B( x, r ) A B e, portanto,
x int( A B ) , como desejado.
e) Seja x int( A) int( B) . Ento, x int( A) ou x int( B) .
Supor, sem perda de generalidade, que x int( A) . Ento,
existe uma bola B ( x, r ) A . Logo, B ( x, r ) A A B e,
portanto, x int( A B) .

Captulo 2
Exerccios Propostos

1) Dado > 0, N

> 0 tal que

.
<
N0
2

Ento, se n > N 0 , temos que:


2

2
1 1
d ( zn ,(0, 0)) = + =
< .
n
n n

3) a) A sequncia converge para (0, 0) .


b) Diverge.
c) Converge para p .
d) ( f n ) converge para a funo nula O(t ) = 0 t [0, 1] .

140

4) a) ( x ) = ((0, n)) .
n

b) Se xn = (1,1,1) n , ento ( xn ) limitada.


c) Toda sequncia em M limitada.

5) Em com a mtrica usual ( x ) = ((1) ) limitada mas no


n

convergente.

6) a) a = 1 ponto de acumulao de X. Note que a = lim n n+ 1 .


n+

b) a = (0, 1) ponto de acumulao de X . Note que


1 n
a = lim ,
.
n+ n n + 1

c) a = 2 ponto de acumulao de . Tome a sequncia de


racionais 1; 1, 4; 1, 41; 1, 414; 1, 4142;...
7
.
9
Note que a = 0,777...

d) Para a =

Seja

x1 = 0,7666...
x2 = 0,7766...
x3 = 0,7776...

xn = 0,777...7666...

Ento xn X {a}, n e xn a . Logo, a ponto de


acumulao de X .
56
Para a =
.
99
Note que a = 0,56565656...
Tome

x1 = 0,567777...
x2 = 0,56567777...
x3 = 0,565656777...

Ento xn a , xn X {a} e, portanto, a ponto de acumulao de X .


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

9) Como b = inf B , segue que b b

inferior de

B,

m . Como todo an cota


an b, n . Logo, an b bn n , ou seja,
m

b [an , bn ].
n =1

10) As sequncias de Chauchy so as sequncias estacionrias,

ou seja, sequncias da forma ( x1 , x2 , x3 ,..., xn , c, c, c, c, c, c,...) .

11) a) [0, 1],[2, 3] .


b) (0, 1), (2, 3) .

Exerccios Complementares

1) Falso. Por exemplo, ((1) ) .


n

2) Verdadeiro. A prova est feita na proposio 2.5.


142

3)

Verdadeiro. Como ( yn ) limitada, M > 0 tal que


yn < M n . Dado > 0 , como ( xn ) converge para 0, N 0

tal que se n N 0 , ento | xn |<


. Logo,
M
n N 0 , | xn yn |=| xn | | yn |<

M = .
M

4) Verdadeiro. Supor que

( Z n ) converge. Ento ( yn = Z n X n )
converge, o que contradiz a hiptese.

5) Falso. Por exemplo, tome

xn = (1, 2, 1, 2, 1, 2,...) e yn = (1, 2, 1, 2, 1, 2,...) .

Ento xn + yn = (0, 0, 0, 0, 0,...) .

6) Verdadeiro. Para = a2 , existe N

> 0 , tal que

n > N 0, | xn a |< =

a
2

a
a
< xn a <
2
2
a
0 < < xn n N 0 .
2

7) Falso. Por exemplo, seja


lim xn = 0 = lim yn .

1
1
( xn ) = e ( yn ) = + . Ento
n
n

8) Verdadeiro. Como ( x ) est contida no conjunto de Cantor, ( x )


n

limitada. Logo, por Bolzano-Weierstrass, ( xn ) possui uma


subsequncia convergente (a qual tambm de Cauchy).

9) Falso. Basta pegar uma sequncia em

convergente para

2 (por exemplo).

10) Verdadeiro. Vamos supor que ( x ) seja uma sequncia no


n

decrescente e ( xnk ) uma subsequncia que converge para


a . Mostraremos que ( xn ) converge para a .

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

< xnk a xm a xnk a <


1

| xm a |<
para todo m > nk1 .

11) a)

1
1, .
2

b) n (1, 1) .

12) a) ( x ) divergente.
n

b) a = b .
c) Analise ( xn ) = ((1) n ) .

13)

n
n + 1 , se n par
Em , seja xn =
.
1
, se n mpar
n
( xn ) satisfaz as condies pedidas.

14) Ver a proposio 2.14.


a)[2,5) no fechado em .
b) O conjunto no fechado em .
c) O conjunto no fechado em .

15) Nenhum dos conjuntos fechado em

(Ver proposio 2.14)

16) Sim, pois fechado em . (Ver proposio 2.14)


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.

18) Se ( x ) e ( y ) so de Cauchy em , ento x


n

onde a, b . Logo, d ( xn , yn ) d (a, b) .

a e yn b ,

Captulo 3
Exerccios Propostos

1) Note que
1 1
yx
1
1
1
=
=| x y |
| x y |= d ( x, y ) .
x y
xy
| xy | 4
4
1
Logo, f de Lipschitz com constante .
4

d ( f ( x), f ( y )) =

2) d ( f ( x), f ( y)) =|| x | | y ||| x y |= d ( x, y) .


3) Sejam

f : M e g : M contnuas em a .

i) Mostrar que | f | contnua em a .


Como f contnua em a , dado > 0, > 0 tal que se
d ( x, a ) < , ento | f ( x) f (a ) |< . Mas, ento para este ,
|| f ( x) | | f (a ) ||| f ( x) f (a ) |< .
ii) Mostre que f + g contnua em a .
Dado > 0, 1 > 0 tal que se d ( x, a ) < 1 , ento

| f ( x) f (a ) |< .
2
Tambm 2 > 0 tal que se d ( x, a ) < 2 ento

| g ( x) g (a ) |< .
2
Logo, se d ( x, a ) < = min{1 , 2 } , ento

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

4) Note que no existe lim cos 1x . Logo,


x o

5) Seja d

f no contnua (em 0).

a distncia entre f ( x0 ) e 0 em n . Considere a bola



d
d

aberta B f ( x0 ), 0 . Ento f 1 B f ( x0 ), 0 uma vizi2


2


nhana de x0 , onde f no se anula.

6)

senx
= 1 = f (0) .
x 0
x

f contnua em 0 , pois lim

7) No. Por exemplo, seja

f : (0, 1) definida por f ( x) =

1
.
x

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] .
Para provar que f Lipschitz em [a, b] , note que:
d ( f ( x), f ( y )) =| x 2 y 2 |=| ( x y )( x + y ) |
= | x + y || x y |
max{| 2a |,| 2b |} d ( x, y ).

10) Seja M = [0, 1] com a mtrica 0 1 .

N = [0, 1] com a mtrica usual de .

Ento
f :M N
xx

contnua, M no compacto e N compacto.

146

11) Supor que

f uniformemente contnua em .

Ento, para = 1 , existe > 0 tal que, se | x y |< , ento


| x 2 y 2 |< = 1 .
Bom, considere pontos da forma xn = n + / 2 e
yn = n, n .
Ento, | xn yn |< e, portanto,
| xn2 yn2 |< 1
n 2 + n +

2
n2 < 1
4

2
n +
< 1 n
4
o que uma contradio.
Logo, f no uniformemente contnua em .

12) Faremos para

f + g . O caso cf anlogo.

Suponha que f e g so uniformemente contnuas e


f ,g :M .
Ento, dado > 0, 1 tal que, se d ( x, y ) < 1 , ento

| f ( x) f ( y ) |< .
2

2 tal que d ( x, y ) < 2 , ento | g ( x) g ( y ) |< .


2
Tome = min{1 , 2 } .
Logo, se d ( x, y ) < , ento:
d (( f + g )( x),( f + g )( y )) =| ( f + g )( x) ( f + g )( y ) |=
= | f ( x) f ( y ) + g ( x) g ( y ) || f ( x) f ( y ) | + | g ( x) g ( y ) |<

< + = .
2 2

13) Sejam

f : M e g : N P uniformemente contnuas.

Dado > 0, > 0 tal que, se d ( x, y ) < , ento


d ( f ( x), f ( y )) < .
147

Para este > 0, 1 > 0 tal que, se d ( x, y ) < 1 , ento


d ( g ( x), g ( y )) < .
Logo, se d ( x, y ) < 1 , ento d ( f ( g ( x)), f ( g ( y ))) < .

14) Basta notar que S S {(0, q) : q ; 1 q 1} S e usar a


Proposio 3.6.

15) (a, +)

conexo, pois a imagem de (0, 1) pela funo


1
contnua f : (0, 1) (a, +) , dada por f ( x) = a 1 + .
x
Analogamente, (a, +) uma imagem de (0, 1) pela fun1
o contnua g : (0, 1) (a, +) , dada por g (t ) = b + 1 , e,
t
portanto, conexo.

16) Seja S

um conexo de . Suponha que S no um inter-

valo.

Ento existe um t tal que existem a, b S e a < t < b .


Agora, U = (, t ) S e V = (t , +) S formam uma separao de S .
Logo, S no conexo.

Exerccios Complementares

1) a) contnua em {0} .
b) contnua em {0} .
c) contnua em X {1} .

2) Suponha que

f : X contnua em a .

Como f contnua em a , > 0 tal que se d ( x, a ) < , ento


| f ( x) f (a ) |< .
Logo, para este , temos que || f ( x) | | f (a ) ||| f ( x) f (a ) |< ,
sempre que d ( x, a ) < .
148

3)

f contnua em X , pois se F fechado em , ento f 1 ( F )


um conjunto finito de pontos de e, portanto, fechado.

4) h contnua, pois a multiplicao e composio de funes


contnuas.

5) Note que, se | x |< 17 , ento,


d ( f ( x), f ( y )) =| x 2 y 2 |=|| x y || x + y ||=| x y || x + y | 34 d ( x, y )
e, portanto, f lipschitziana em [17, 17] .
Porm, em (, ) f no lipschitziana, pois
d ( f ( x), f ( y )) =| x + y | d ( x, y ) .

6) Dado > 0 , tome =

.
c

Logo, se d ( x, a ) < , ento d ( f ( x), f (a )) c[d ( x, a )]k < ck = .

7) Seja m M \ X . Como X

denso em M , existe uma sequncia xn em X tal que xn m .


Logo, f (m) = lim f ( xn ) = lim g ( xn ) = g (m) .
n

8) Tome M = N = e f : M N uma funo constante. A imagem de qualquer intervalo aberto por f um conjunto unitrio que no aberto.

9) M = N = ; X = e

f : M N , dada por f ( x) =

x2
.
x2 + 1

Ento, X = fechado, mas f ( X ) = [0,1) no fechado.

10) Supor que X

contnua em p.

1
. Ento, > 0 tal que, se d ( x, p ) < , temos
2
1
| X A ( x) X A ( p ) |< . Isto implica que
2
X A ( x) = X A ( p ), x B( p, ) e, portanto, se p A , ento
x A x B ( p, ) e, se p A , ento x A x B ( p, ) .
149

Tome =

Logo, p no ponto de fronteira.


Agora, vamos supor que p no ponto de fronteira de A .
Suponhamos que p A (o caso p A anlogo). Como
p frA , existe > 0 tal que B ( p, ) A .
Agora, dado > 0 , tome o acima.
Temos que, se d ( x, p ) < , ento | X A ( x) X A ( p ) |= 0 < .
Portanto, X A contnua em p .

11)

x se x
f ( x) =
.
x + 2 se x I

12) Verdadeiro. Seja x \ . Existe uma sequncia x tal


n

que xn x . Como f e g so contnuas, temos que


f ( x) = lim f ( xn ) = lim g ( xn ) = g ( x) .
n

13) Primeiro vamos mostrar que

f injetora.
Note que, se x y , ento d ( x, y ) > 0 e, ento,
d ( f ( x), f ( y )) = d ( x, y ) > 0 e, portanto, f ( x) f ( y ) .

Agora vamos provar que f sobrejetora.


Primeiro, note que f contnua (prove!) e, portanto, f ( M )
compacto.
Seja agora y1 M \ f ( M ) . Considere a sequncia
y1 , y2 = f ( y1 ), y3 = f ( y2 ), y4 = f ( y3 ),... Como f ( M ) compacto, yn possui uma subsequncia ( ynk ) convergente.
Como ( ynk ) convergente, de Cauchy e, portanto, para
1
= , M 2 > 0 tal que se nM 2 > M , ento, para j = 1, 2,3,... ,
2
temos que
d ( ynM , ynM + j ) <
2

150

d( f

nM 2

d( f

nM 2 + j nM 2

( y1 ), f

1
n
nM 2 + j

( y1 )) <

1
( y1 ), y1 ) < .
n

1
n

Tome
z2 = f

z1 = f

nM 2 +1 nM 2

( y1 ) .

nM 3 + j nM 3

Repita

1
e tome
3
nM 2 +1 nM 2 , e sucessivapara

( y1 ) , onde nM 3 + j nM 3
1
mente para = , n = 4,5,6,... . Logo, ( zn ) converge para y1 e,
n
portanto, y1 f ( M ) , mas f ( M ) fechado (sendo compacto)
e conclumos que y1 f ( M ) = f ( M ) , como desejado.

14) A = (0, 1]

1
Sejam U n = ,1 n .
n

Ento, {U n }n no admite subcobertura finita.

15) Seja

0, x < 0
f ( x) =
.
x, x > 0

Ento f contnua e f 1 ([0, 2]) = (, 2) , que no compacto.


0, x 0
x, 0 x 1

Seja f ( x) =
.
2

x
,
1

0, x 2
Ento f 1 ({0}) = (, 0) [2, +] , que no conexo.

16) a) No compacto (no limitado).


b) No compacto (no limitado).
c) Compacto.
d) Compacto.
e) No compacto (no fechado).
f) No compacto (no fechado).
g) No compacto (no limitado).
h) No compacto (no fechado).

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.

18) Seja {x } uma sequncia em A B . Ento, x

uma sequncia em A e, como A compacto, possui uma subsequncia


convergente para x A . Como B fechado e xn tambm
est em B , temos que x B e, portanto, A B compacto.
n

19) a) B fechado e limitado.


b) S n1 fechado e limitado.
c) B( p, r ) no fechado.

20) Sejam A, B compacto.


Seja {xn } uma sequncia em A B .
Como A compacto, {xn } possui uma subsequncia {xnk }
que converge para x A .
Como {xnk } uma sequncia em B (que compacto), esta
possui uma subsequncia {xnk } que converge para y B .
Como {xnk } subsequncia de{xnk } , temos que y = x e, portanto, A B compacto.
Para mostrar que A B compacto, seja {U } uma cobertura de A B .
Ento {U } cobre A e, portanto, existe uma subcobertura
{U 1 ,...U n } finita de A .
{U } tambm cobre B e, portanto, existe uma subcobertura finita {U 1 ,...U n } de B .
Logo {U 1 ,...U n ,U 1 ,...,U n } subcobertura finita de A B .

152

21) No. Por exemplo,

f ( x) = sen( x 2 ) (analise o comportamento


da funo quando x ).

22) Primeiro note que

f 1 : f ( B ) B existe, pois f injetora.

Para mostrar que f 1 contnua, vamos mostrar que a imagem inversa de um fechado por f 1 fechado.
Seja F B fechado. Temos que
( 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.
Portanto, B f ( F ) fechado ( a interseco de dois fechados), como desejado.

23) Sim,

f obrigatoriamente limitada. Para provar isto, suponha que f no limitada.


Seja x1 (0, 1) . Como f no limitada, x2 (0, 1) tal que
f ( x2 ) > f ( x1 ) + 1 .

De novo, como f no limitada, x3 (0, 1) tal que


f ( x3 ) > f ( x2 ) + 1 .
Procedendo dessa forma, criamos uma sequncia ( xn ) tal
que xn (0, 1) n e f ( xn ) > f ( xn1 ) + 1 n .
Como ( xn ) limitada, o teorema de Bolzano-Weierstrass
implica que ( xn ) possui uma subsequncia convergente (e,
portanto, de Cauchy).
Agora, para provar que f no uniformemente contnua,
1
basta tomar = . Para este fixo e > 0 , pelo feito aci2
ma, sempre encontramos xnk , xnk +1 (0, 1) tais que
xnk xnk +1 < e f ( xn ) f ( xnk +1 ) > 1 >

1
= .
2

Logo, f no uniformemente contnua, como desejado.


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 =
Vamos mostrar que U V = .
Seja u U , como U aberto, existe B (u , ) U e, portanto,
B(u , ) V = , o que implica que u V .
Analogamente, mostra-se que U V = .
(b) (a ) . Supor que existem U e V subconjuntos
tais que M = U V ,U V = = U V .

Falta mostrar que U e V so abertos.


Seja u U . Ento, u V (pois U V = ), portanto, existe
B(u , )

B (u , ) V = , o que implica que

tal que

B (u , ) U , como desejado.
Logo, U aberto. Mostra-se que V aberto analogamente.

25) Seja U = {( x, y)

: 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.
Para A \ B , tome A = [3, 5] e B[2, 3] . Ento
A \ B = [0, 2] (3, 5] , que no conexo.

26) Como

A compacto, ( xn ) possui uma subsequncia convergente, digamos xnk a .

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 ) <
Tome N = max{N1 , N 2 } .

nk N 2 .
2

Se n > N , ento d ( xn , a ) d ( xn , xN ) + d ( xN , a )


+ = .
2 2

27) Seja

f ( x) = arc tg x, B = . Ento, f ( B ) = (1, 1) , que no


fechado.
Se B fosse limitado (e fechado), ento seria compacto, logo
f ( B ) seria compacto e, portanto, fechado e limitado.

28) Como M

conexo e f contnua, temos que f ( M ) conexo em e, portanto, um intervalo.


Como M compacto e f contnua, temos que f ( M )
compacto em , logo fechado e limitado.

29) No. Por exemplo, em , U = (0, 1) e V = (2, 3) so conexos, mas U V no conexo.

155

Referncias
1) BOYER, C. B. Histria da matemtica. So Paulo: Edgard
Blucher, 1974. Trad. de Elza F. Gomide.
2) CARVALHO, N. T. B.; GIMENEZ, C. S. C. Fundamentos da
matemtica I. Florianpolis: UFSC/EAD/CED/CFM, 2007.
3) EVES, H. Introduo histria da matemtica. Campinas:
Editora da UNICAMP, 1997. Trad. de Hygino H. Domingues.
4) GIMENEZ, C. S. C.; STARKE, R. Introduo ao clculo. Florianpolis: UFSC/EAD/CED/CFM, 2007.
5) GIMENEZ, C. S. C.; STARKE, R. Clculo I. Florianpolis:
UFSC/EAD/CED/CFM, 2008.
6) HAIRER, E.; WANNER, G. Analysis by its history. New
York: Springer, 1995.
7) DOMINGUES, H. H. Espaos mtricos e introduo topologia. So Paulo: Atual, EdUSP, 1982.
8) JOHNSONBAUGH, R.; PFAFFENBERGER, W. E. Foundations of mathematical analysis. New York: Marcel Dekker,
1981.
9) KOSMALA, W. A. J. A friendly introduction to analysis.
2. ed. New Jersey: Prentice Hall, 2004.
10) KHLKAMP, N. Introduo a topologia geral. 2. ed. Florianpolis: EdUFSC, 2002.
11) LIMA, E. L. Anlise real. Rio de Janeiro: Instituto de Matemtica Pura e Aplicada, CNPq, 1989. v. 1.
12) LIMA, E. L. Curso de anlise. Rio de Janeiro: Instituto de
Matemtica Pura e Aplicada, CNPq, 1976.
13) LIMA, E. L. Espaos mtricos. Rio de Janeiro: Instituto de
Matemtica Pura e Aplicada, CNPq, 1978.
14) MARSDEN, J. E.; HOFFMAN, M. J. Elementary classical
analysis. 2. ed. New York: W. H. Freeman and Company,
1993.
157

15) MUNKRES, J. R. Topology: A first course. New Jersey:


Prentice Hall, 1975.
16) RUDIN, W. Princpios de anlise matemtica. Rio de Janeiro: Ao Livro Tcnico; Braslia: Editora da Universidade de
Braslia, 1971.
17) IRA (Interactive Real Analysis). Disponvel em: <http://
web01.shu.edu/projects/reals/index.html>.

158