Elementos

da Anlise
Mirian Buss Gonalves
Daniel Gonalves

2 Edio
Florianpolis, 2012
Governo Federal
Presidente da Repblica: Dilma Vana Rousseff
Ministro de Educao: Alozio Mercadante
Coordenador Nacional da Universidade Aberta do Brasil: Celso Costa

Universidade Federal de Santa Catarina

Reitora: Roselane Neckel
Vice-Reitora: Lcia Helena Martins Pacheco
Pr-Reitoria de Graduao: Roselane Ftima Campos
e Rogrio Luiz de Souza
Pr-Reitoria de Ps-Graduao: Joana Maria Pedro e
Juarez Vieira do Nascimento Pr-
Reitoria de Pesquisa: Jamil Assereuy Filho e Heliete Nunes
Pr-Reitoria de Extenso: Edilson da Rosa e
Maristela Helena Zimmer Bortolini
Pr-Reitoria de Planejamento e Oramento: Luiz Alberton e Izabela
Raquel Pr-Reitoria de Administrao: Antnio Carlos Montezuma Brito e
Irvando Luiz Speranzini
Pr-Reitoria de Assuntos Estudantis: Beatriz Augusto de Paiva e
Simone Matos Machado
Centro de Cincias da Educao: Vera Lucia Bazzo
Centro de Cincias Fsicas e Matemticas: Tarciso Antnio Grandi

Cursos de Licenciaturas na Modalidade a Distncia

Coordenao Acadmica Matemtica: Mrcio Rodolfo Fernandes
Coordenao de Ambientes Virtuais: 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 das Licenciaturas a Distncia UFSC/CED/CFM
Coordenao Geral: Roseli Zen Cerny
Ncleo de Formao: Marina Bazzo de Espndola
Ncleo de Pesquisa e Avaliao: Andra Brando Lapa
Ncleo de Criao e Desenvolvimento de Materiais: Juliana Cristina
Faggion Bergmann

Design Grfico
Coordenao: Cntia Cardoso
Projeto Grfico Original: Diogo Henrique Ropelato, Marta Cristina Goulart
Braga, Natal Anacleto Chicca Junior
Redesenho do Projeto Grfico: Laura Martins Rodrigues,
Thiago Rocha Oliveira
Diagramao: Cntia Cardoso, Joo Paulo Battisti de Abreu, Natlia Barreira
Ilustraes: Cristiane Amaral, Kallani Bonelli, Aline Correa
Capa: xxxxxx

Design Instrucional
Coordenao: xxxxx
Design Instrucional: Adriano Luiz dos Santos N, Niclio Jos Gesser

Reviso Gramatical: Contextuar

Copyright 2012, Universidade Federal de Santa Catarina/CFM/CED/UFSC 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 a Distncia.

Ficha Catalogrfica

Catalogao na fonte pela Biblioteca Universitria da UFSC

Sumrio
Apresentao ..................................................................................................... 7
1 Cardinalidade e o corpo dos nmeros reais ................................. 9
1.1 Introduo ............................................................................................. 11
1.2 Conjuntos finitos e infinitos enumerveis ........................................ 12
1.3 Conjuntos no enumerveis. .............................................................. 18
1.4 Algumas propriedades dos Nmeros Reais. .................................... 21
1.5 Supremo e nfimo. ............................................................................... 23

2 Noes Topolgicas em 39
2.1 Introduo ............................................................................................. 41
n
2.2 O espao Euclidiano ................................................................... 42
2.3 Espaos mtricos ................................................................................. 45
2.4 Mtricas em n................................................................................... 47
2.5 Um exemplo de Mtrica num Conjunto de Funes. ..................... 50
2.6 Mtrica Induzida. ................................................................................. 52
2.7 Dimetro de um Conjunto; Distncias entre Conjuntos. ................ 53
2.8 Bolas Abertas ....................................................................................... 58
2.9 Conjuntos Abertos ............................................................................... 62
2.10 Conjuntos Fechados .......................................................................... 68
2.11 Pontos de Acumulao ..................................................................... 71
2.12 Fecho de um Conjunto. ..................................................................... 74
Resumo ........................................................................................................ 87

3 Convergncia ............................................................................................... 89
3.1 Sequncias de Nmeros Reais. .......................................................... 91
3.2 Sequncias em um Espao Mtrico................................................... 95
3.3 Limite de uma Sequncia. .................................................................. 96
3.4 Subsequncias . .................................................................................. 103
3.5 Sequncias Limitadas ........................................................................ 106
3.6 Caracterizao dos Conceitos do captulo 2, atravs de
Sequncias .......................................................................................... 109
3.7 Alguns resultados interessantes em................................................. 115
3.7.1 O conjunto de Cantor ............................................................... 115
3.7.2 Outra verso do Teorema de Bolzano-Weierstrass ............. 115
3.8 Sequncias de Cauchy....................................................................... 120
3.9 Espaos Mtricos Completos .......................................................... 122
Resumo ...................................................................................................... 129
4 Continuidade ............................................................................................ 131
4.1 Introduo .......................................................................................... 133
4.2 Funes Contnuas. ........................................................................... 134
4.3 Conjuntos Compactos. ..................................................................... 146
4.4 Continuidade Uniforme .................................................................... 153
4.5 Conjuntos Conexos ........................................................................... 157
4.6 Teorema do Valor Intermedirio. ................................................... 163
Resumo...................................................................................................... 168

Respostas dos Exerccios ....................................................................... 169

Captulo 1 ................................................................................................. 171
Captulo 2 .................................................................................................. 176
Captulo 3 ................................................................................................. 186
Captulo 4 ................................................................................................. 191

Referncias .................................................................................................... 203

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 racio-cnio lgico.

Para isso, voc ser introduzido na linguagem formal da Matem-tica,

onde os conceitos, proposies etc. so tratados com forma-lismo 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: conjuntos enumerveis e reviso de

supremo e nfimo; noes bsicas de topologia em espaos m-tricos,
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, inicial-mente

apresentamos os conceitos no contexto de um espao m-trico geral.
No entanto, no decorrer de todo o texto, a maior parte dos exemplos e
aplicaes desenvolvida nos espaos Euclidia-nos 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
Captulo 1
Cardinalidade e o corpo
dos nmeros reais
 11

1 Cardinalidade e o corpo
dos nmeros reais

Nesta unidade voc ir se familiarizar com o conceito de

enumerabilidade de um conjunto, e ter a oportunidade de
rever algumas propriedades importantes dos nmeros
reais, as quais sero fundamentais nos captulos que se-
guem. Em particular, voc poder revisar a noo de su-
premo e nfimo de um conjunto limitado.

1.1 Introduo
David Hilbert nasceu em Antes de iniciar o seu estudo, leia a situao a seguir, conhecida como o
Konigsberg em 1862 e
Hotel de Hilbert:
recebeu seu Ph.D. da
universidade dessa cidade
em 1885, onde lecionou Era uma vez um hotel com um nmero infinito de quartos. To-dos
at 1894. No perodo de
estavam ocupados. Chegou um novo hspede que necessita-va muito
1895 at 1930 foi professor
da Universidade de de hospedagem. Como o gerente poderia resolver seu problema?
Gottingen, cidade onde
faleceu em 1943.

A primeira idia que vem em nossa mente colocar o novo hspede num
dos quartos j ocupados. Pode no ser uma idia brilhante, mas
resolveria a situao, se o antigo hspede estivesse disposto a
compartilhar o seu quarto.

Veja s que linda soluo podemos ter pelo fato de termos um nmero
infinito de quartos.

Numeramos os quartos do hotel

1, 2, 3,...,n,....

Pegamos, ento, o hspede do primeiro quarto e o passamos para o

segundo. O do segundo quarto, passamos para o terceiro. Procede-mos
assim sucessivamente.
12

Como resultado, todos os hspedes ficam acomodados nos quartos

subsequentes e o primeiro quarto ficar livre para acomodar o hs-pede
recm chegado.

O que voc achou da soluo?

A situao analisada ilustra a idia de conjunto infinito enumervel, isto

, de um conjunto infinito, cujos elementos podem ser colocados na
forma de uma lista.

Voc pode perguntar:

Posso colocar em forma de uma lista todos os elementos de um

conjunto infinito?

Vamos ver que nem sempre isso possvel. Os conjuntos cujos ele-
mentos no podem ser dispostos em sucesso (no podem ser lista-dos)
so chamados de conjuntos no enumerveis.

1.2 Conjuntos finitos e infinitos enumerveis

Vamos considerar os conjuntos:

= {1, 2, 3, } = conjunto dos naturais

n = {1, 2, , n} = conjunto dos naturais de 1 a n

Com base nestes dois conjuntos temos a noo de conjunto finito e

infinito enumervel.

A idia intuitiva que temos de um conjunto finito de que podemos

contar seus elementos. Isso o mesmo que colocar seus elementos em
correspondncia um a um com os elementos de n , para algum n.

E quando um conjunto no finito?

Na histria da humanidade, houve muita dificuldade para compre-ender

e aceitar grandezas infinitas. As primeiras referncias vieram com a
religio, em expresses do tipo Deus infinitamente bom.
 13

Georg Ferdinand Ludwig No campo da Matemtica, um grande pesquisador, chamado Cantor,

Philip Cantor, filho de pais
desenvolveu um belo trabalho sobre conjuntos infinitos, introduzin-do o
dinamarqueses, nasceu em
S. Petersburgo, Rssia, em conceito de cardinalidade. Ele mostrou que h diferentes tipos de
1845. Estudou na Sua e na conjuntos infinitos, no sendo possvel, em alguns deles, colocar seus
Alemanha e desenvolveu sua
carreira na Universidade de
elementos em sucesso (na forma de lista). Surgiram assim, os conceitos
Halle. Faleceu no hospital de de conjunto enumervel e de conjunto no enumervel.
doenas mentais de Halle,
em 1918.
Intuitivamente, um conjunto enumervel se seus elementos po-dem ser
colocados numa lista de modo que qualquer elemento do conjunto pode
ser alcanado se avanarmos o suficiente na lista.

Temos as seguintes definies.

Definies.

1.1 Um conjunto X dito finito se vazio ou se, para algum n, existe

uma bijeo f : n X .

No ltimo caso, dizemos que X tem cardinalidade n, isto , X tem n

elementos.

1.2 Se X no for finito, dizemos que X infinito.

1.3 Um conjunto infinito X dito enumervel se existe uma bijeo f :

X.

Exemplos.

1.1 Seja X = {x tais que 5x 3 = 7} . Qual a cardinalidade de X?

Temos que os elementos de X so as solues da equao

4
5x 3 = 7, ou seja, X = , 2 . Logo, X tem 2 elementos. A
5
funo

f : 2 X
4
15
22
uma bijeo.
14

1.2 O conjunto I dos nmeros inteiros positivos mpares enume-rvel.

De fato, f : ; f (n ) = 2n 1 uma bijeo, como voc pode

visualizar no quadro que segue:

1 2 3 4 5 6 ...
...
1 3 5 7 9 11 ...

Nota: Subconjuntos infinitos de conjuntos enumerveis so

enumerveis.

1.3 O conjunto dos nmeros inteiros Z enumervel.

Vamos resgatar a idia intuitiva. Podemos dispor todos os n-meros

inteiros na forma de uma lista, como segue:

0, 1, -1, 2, -2, 3, -3, 4, -4, 5, -5,... .

Qualquer nmero inteiro, positivo ou negativo, ser alcanado se

avanarmos o suficiente nessa lista.

Existem outros conjuntos enumerveis?

A resposta sim, sendo o conjunto dos racionais o exemplo mais

importante (e surpreendente). As proposies que seguem indi-cam
um caminho para provar esse e outros resultados interes-santes.

Proposio 1.1. Se f : X Y injetiva e Y enumervel, ento X finito

ou enumervel.

Prova: Como Y enumervel, existe uma bijeo g : Y . Consi-

deremos a funo composta h = g f : X .
f g

X Y N

h = g f
 15

Como f e g so injetivas, o mesmo ocorre com h. Portanto,

h:Xh(X)
uma bijeo.

Como h ( X ) , ele finito ou enumervel. Logo, X finito ou enu-

mervel.

Proposio 1.2. Seja X enumervel. Se f : X Y sobrejetiva, ento Y

finito ou enumervel.

Prova: De maneira similar a proposio anterior note que como X

enumervel existe uma bijeo g : X e portanto a fun-o
composta f g : Y sobrejetiva. Agora, para todo y Y defina h(
y) como o menor elemento em ( f g) 1 ( y) . Note que h : Y esta
bem definida, pois todo subconjunto dos naturais possui um menor
elemento. Ainda, h injetiva. Logo, pela proposio anterior,
temos que Y enumervel.

Vamos relembrar a seguir um Teorema da lgebra que utilizado para

provar que o produto cartesiano de por enumervel. Como ele um
resultado preliminar necessrio para essa prova o introduzimos como um
lema.

Lema (Teorema da lgebra). Todo nmero natural se decompe de

maneira nica como produto de fatores primos.

Proposio 1.3. enumervel.

Prova: Definimos
f:
(n, m) 2n 3m
Temos que f injetiva, pois
2n1 3m1 = 2n2 3m2 ( n1 m1 ) = (n2

m2 ) , pelo lema anterior.

Pela proposio 3 segue que enumervel.

16

Proposio 1.4. Se X e Y so enumerveis, ento X Y enumervel.

Prova: Como X e Y so enumerveis, existem f : X e g : Y

bijees.

Definimos

h: XY
h (x , y ) = ( f (x ), g ( y))

Ento h sobrejetiva. Como enumervel, pela proposi-o 1.2,

temos que X Y enumervel.

Exerccio Proposto 1. Prove a proposio 1.4 acima utilizando a pro-

posio 1.1.

Corolrio. O conjunto Q dos nmeros racionais enumervel.

Prova: Seja Z* o conjunto dos nmeros inteiros no nulos, isto ,

* = {0}. Ento Z* enumervel. Pela proposio 6, *
enumervel.

Definimos

f : * Q
m
(m, n) n

Temos que f sobrejetiva (pela prpria definio

de Q). Como * enumervel, pela proposio 4, conclumos
que Q enumervel.

Resgatando a idia intuitiva de conjunto enumervel, voc

pode se perguntar: Como listar os elementos de Q?
 17

Vamos exemplificar com os racionais positivos, Q+ . No quadro que

segue, ilustramos o procedimento. A lista formada como indicado pelas
setas.

1 1 1 1 1
...
1 2 3 4 5
2 2 2 2 2
...
1 2 3 4 5
3 3 3 3 3
...
1 2 3 4 5
4 4 4 4 4
...
1 2 3 4 5

Observe que agrupamos os elementos cuja soma do numerador com o

denominador a mesma, eliminando os elementos repetidos. Isso
resultar na lista
1 1 1 2 3
1 2 3 4 ,
2 3 4 3 2
que contm todos os racionais positivos.

Proposio 1.5. Sejam X1 , X 2 , , X m ,... conjuntos enumerveis. A

unio X = X m enumervel.

Prova: Como X m enumervel, podemos considerar os ele-

mentos de X m como termos de uma sucesso xm1 , xm2 , xm3 , .

Formamos o quadro

x x x13 x
11 12 14 ...
x x x x
21 22 23 24 ...
x x x x x
31 32 41 33 34 ...
x x x
42 43 44 ...

Este quadro contm todos os elementos de X. Como as setas

indicam, seus elementos podem ser dispostos em sucesso:
x11 , x21 , x12 , x31 , x22 , x13 , x41 , x32 , x23 , x14 ,...
18

Mais formalmente, note que a funo f : X n , dada por f ((

n, m )) = xnm , uma bijeo, e portanto X n enumervel.

Notas:
1) A unio finita de conjuntos enumerveis enumervel.
2) O produto cartesiano finito de conjuntos enumerveis enu-
mervel.
3) O resultado anterior no vlido para produtos infinitos.

1.3 Conjuntos no enumerveis

Segundo Cantor, dois conjuntos, A e B tem a mesma cardinalidade
quando possvel estabelecer uma correspondncia biunvoca entre os
elementos de A e os elementos de B. Isso equivale a dizer que existe uma
bijeo entre A e B.
Vimos que o conjunto dos nmeros racionais enumervel.

No seriam, ento, todos os conjuntos infinitos enumerveis?

Em 1874 Cantor surpreendeu os matemticos de sua poca com uma

descoberta muito importante. Ele mostrou que o conjunto dos n-meros
reais tem cardinalidade diferente da do conjunto dos nme-ros naturais.

Definio 1.4. Todo conjunto infinito que no enumervel, dito no

enumervel.

Proposio 1.6. O conjunto dos nmeros reais no enumervel.

Prova: Vamos mostrar que o conjunto dos nmeros reais entre 0 e

1 no enumervel.

Para isso usaremos a representao decimal infinita, que nica

para todo nmero real. Se voc no lembrar leia a se-o..... do
livro Anlise Matemtica para Licenciatura, de Ge-raldo vila.
 19

Por exemplo,

0,397=0,396999...

0,5=0,4999...

Vamos supor que possvel estabelecer uma correspondncia biun-voca

dos nmeros reais do intervalo (0, 1) com os nmeros naturais.

Podemos, ento, escrever esses nmeros em sucesso, x1 , x2 , x3 , ,

conforme o quadro a seguir:
x1 = 0, x11 x12 x13 x14 ...
x2 = 0, x21 x22 x23 x24 ...
x3 = 0, x31 x32 x33 x34 ...

xn = 0, xn1 xn 2 xn 3 xn4 ...

onde xi j so algarismos de 0 a 9.

Vamos, agora, estabelecer uma contradio. Vamos fazer isso usan-do o

processo diagonal de Cantor. Construmos um nmero dife-rente de
todos os listados. Como?

Trocando os algarismos da diagonal. Assim, esse novo nmero ser

diferente de x1 , na primeira casa decimal, diferente de x2 na segun-da
casa decimal, diferente de x3 na terceira casa decimal e assim
sucessivamente.

Dessa forma chegamos a um absurdo. Conclumos, ento, que o

conjunto dos nmeros reais entre 0 e 1 no enumervel.

Nota: O conjunto dos nmeros reais tem a mesma cardinalida-de

do intervalo (0, 1). De fato, a funo y = tg( x 2) uma bijeo
do intervalo (0, 1) na reta toda ( , ) . Voc pode usar um
software grfico para visualizar esta bijeo.

Veja que o resultado acima nos remete a uma reflexo sobre os n-meros
irracionais, que voltaro a ser discutidos na prxima unidade.
20

Exerccios Propostos
2) Os nmeros naturais podem ser escritos como a unio dos natu-rais
mpares e dos naturais pares:

= {1, 3, 5, 7, } {2, 4, 6, 8, }

Esses dois conjuntos so disjuntos e infinitos.

Dado um nmero natural p > 2 , atribua alguns valores para p, e

mostre que existem conjuntos A1 , A2 , , Ap , infinitos e disjuntos, tais
que
p

= Ai
i =1

3) Seja f : X Y uma bijeo. Mostre que um desses conjuntos finito

se e somente se o outro tambm finito.

4) Usando a definio, prove que so enumerveis:

a) P= Conjunto dos inteiros pares

b) I= Conjunto dos inteiros negativos mpares

c) Qp= Conjunto dos racionais com denominador p.

5) Sejam X finito e Y enumervel.

a) Existe uma funo injetiva f : X Y ?

b) Existe uma funo sobrejetiva g : X Y ?

Justifique.

6) Mostre que o conjunto de todas as sucesses cujos termos so os

algarismos 0 e 1 no enumervel.
 21

1.4 Algumas Propriedades dos Nmeros Reais

Nesta seo voc ter a oportunidade de revisar algumas proprie-dades
dos nmeros reais, que denotamos por , as quais sero uti-lizadas no
decorrer do seu aprendizado.

Definio 1.5. Seja x . O mdulo, ou valor absoluto, de x defi-nido

por:
x , se x > 0
x = 0, se x = 0
x , se x < 0

Nota: O mdulo de x tambm pode ser definido por uma das se-guintes
expresses:

x = max{ x , x} ou x = x2 .

importante voc j se familiarizar com as inequaes a seguir,

envolvendo mdulo, pois inequaes desse tipo sero de vital im-
portncia nas sees seguintes.

Exemplo. Determinar os valores de x tais que x a < .

Temos:
xa< <xa<
a <x<a+
x ( a , a + ).

Podemos representar graficamente:

x
( )
0 a a a x

A soluo constituda pelos elementos x pertencentes a um inter-valo

aberto de centro em a e raio .

Tambm podemos dizer que a soluo constituda pelos elementos x

tais que a distncia de x at a menor que . Neste caso, estamos
interpretando x a como a distncia de x at a.
22

Propriedades: Sejam um corpo ordenado e x , y , z . Ento:

Mod.1: x + y x + y (Desigualdade triangular).

Mod.2: xy = x y .

Mod.3: x y x y x y .

Mod.4: x z x y + y z .

Prova:

Mod.1: Temos as seguintes desigualdades:

xxx

yyy.

Adicionando as desigualdades, vem:

(x+y)x+y(x+y).

Portanto,

x+yx+y.

Mod.2: Temos,

xy 2 = (xy )2 = x 2 y2 .

Portanto,

xy = x 2 y 2 = x2 y2 =x y.

Mod.3: A primeira desigualdade dessa propriedade trivial, pois a

a , a .

Vejamos, ento, a segunda desigualdade:

Pela propriedade Mod.1, temos que:

 23

x=xy+yxy+yy

=yx+xyx+x.

Trabalhando com essas inequaes, obtemos:

xyxy
yx yx

Multiplicando a segunda inequao por -1, vem:

xyxy
x yyx=xy.

Portanto,

x y x y x y e, assim, x y x y .

Nota: A prova da propriedade Mod.4 direta, sendo deixada como

exerccio.

1.5 Supremo e nfimo

Nesta seo nosso objetivo principal introduzir os conceitos de
supremo e nfimo em . Como ambos so similares, vamos centrar mais
nossa ateno na noo de supremo.

Vamos iniciar falando de conjuntos limitados. Temos a seguinte de-

finio:

Definio 1.6. Seja X um subconjunto de .

a) Dizemos que X limitado superiormente se b tal que x b

para todo x X . Neste caso X ( ,b] e b chamado uma cota
superior de X.

b) Dizemos que X limitado inferiormente se a tal que x a

para todo x X . Nesse caso X [ a, +) e a chamado uma
cota inferior de X.
c) Se X limitado superior e inferiormente, dizemos que X li-
mitado.
Nota: X limitado existem a, b tais que X [a, b] .
24

Exerccios Resolvidos
Verificar quais dos seguintes conjuntos so limitados inferiormente e/ou
superiormente.

a) X = {1, 3, 5, 7}
1
b) X = n,n

c) X = {3n, n }

Soluo:

a) Temos que 1 uma cota inferior de X. Logo, X

limitado in-feriormente. Temos, tambm, que 7 uma
cota superior de X. Logo X limitado superiormente.
Conclumos, assim, que X um conjunto limitado.

b) Podemos escrever
1 1 1 1
X = 1, , , , , ,
2 3 4 n
1
Temos que 0 n 1, n . Logo, X um conjunto
limitado (0 uma cota inferior e 1 uma cota superior).

c) Temos,
X = {3,6,9,12, , 3n, }.

Podemos ver que -3 uma cota superior de X.

Portanto, X limitado superiormente.

O conjunto X no tem cota inferior. Ele no limitado inferior-

mente. Conclumos que o conjunto X no limitado.

Proposio 1.7. Em so equivalentes:

i) O conjunto dos nmeros naturais no limitado superiormente. ii)

Dados a , b , a > 0, n tal que an > b .
 25

1
iii) Dado qualquer a > 0, n tal que 0 < n<a.
Prova:

i) ii) Sejam a , b , a > 0 . Como no limitado supe-

b
riormente, n tal que n > a . Segue que an > b .
ii) iii) Em ii) tomamos a > 0 e b = 1. Temos que n tal
1
que an > b . Logo, <a.
n
iii) i) Seja b , b > 0 . Ento 1 > 0 . Por iii) n tal que
b
1
1 < . Logo, n > b e, dessa forma, nenhum elemento de
n b
cota superior de .

Nota: Retome claramente em sua mente a noo de cota superior de um

conjunto. Procure visualizar geometricamente. Isso funda-mental para
voc compreender o conceito de supremo de um con-junto, que vamos
definir agora.

Definio 1.7. Seja X um conjunto limitado superiormente. Um

elemento b dito supremo de X, se valem:

S.1 - Para qualquer x X , tem-se x b .

S.2 Se c e x c, x X , ento b c .

Em outras palavras, podemos dizer que o supremo de X a menor das

cotas superiores de X.

Denotamos: b = sup X .

Nota: Uma outra caracterizao muito til do supremo dada a se-guir.

Considere qualquer nmero positivo muito pequeno. Temos,

b X
S.1' - x X , x b
= sup
S.2' - > 0, x X tal que b < x b.
26

Geometricamente podemos visualizar esta caracterizao do supremo:

x X

0 b b x

Em linguagem coloquial as condies S.1 e S.2 so dadas por:

S.1 b cota superior de X.

S.2 Qualquer nmero menor que b no cota superior de X.

Exerccio Proposto 7. Mostre que as duas caracterizaes de supre-mo

dadas acima so equivalentes.

Como voc definiria o nfimo de um conjunto limitado infe-

riormente?

A definio de nfimo anloga de supremo. Vejamos:

Definio 1.8. Seja Y um conjunto limitado inferiormente. Um

elemento a dito nfimo de Y, se:

I.1 - Para qualquer y Y , tem-se a y .

I.2 - Se c e c y, y Y , ento c a .

Dessa forma, o nfimo de Y a maior das cotas inferiores de Y.

Denotamos: a = inf Y

Tambm podemos escrever:

a Y
I.1' - y Y , a y
= inf
I.2' - > 0, y Y tal que a y < a + .
 27

Geometricamente,

y Y

0 a a x

O supremo e o nfimo de um conjunto X so sempre elementos de X?

A resposta negativa. O supremo e o nfimo de X podem ou no

pertencer a X.

Exemplos.

1) Seja X = {2, 5, 7, 9} .

Temos,
sup X = 9 e inf X = 2 .

Nota: Observe que neste caso o supremo de X o elemento

mximo de X e o nfimo de X seu elemento mnimo. Sempre que
um conjunto X tem elemento mximo esse elemento o supremo.
De forma anloga, sempre que X tem elemento m-nimo, esse
elemento o nfimo.
1 1 1 1
2) Seja X , , , ,
= 1, ,
2 3 4 n
Facilmente podemos visualizar que sup X = 1

Qual o nfimo de X ?

Se voc pensou no zero voc acertou, pois:

I.1 - n , 1 0 (0 cota inferior de X).

n
I.2 - > 0, n0 tal que 0 < 1 < (Prop. 1.7, iii))
n0
1
n0

0 x
28

Logo, 0 a maior das cotas inferiores, isto , inf X = 0 .

Nota: Observe que neste caso o nfimo no pertence ao con-junto

X.
n 1
3) Seja X = , n .

n
1 2 3 n 1
Podemos escrever, X = 0, , , , , ,.
2 3 4 n
Temos,
inf X = {0} ;

sup X = {1} .
1
4) Seja X = n,n.

Temos que inf X = 1 e sup X = 0 .

1
5) Seja X = 2 n ,n.

1
Temos que inf X = 0 e sup X = 2.
6) Seja X = {2, 4, 6, 8, } .

Temos:

inf X = 2 .

Como X no limitado superiormente, X no possui supremo.

Acima vimos exemplos de alguns conjuntos cujo supremo e/ou in-fmo

no pertenciam ao conjunto. Porm em todos os exemplos, o supremo e
o infmo eram nmeros racionais.

Voc pode se perguntar se este comportamento se repete para todo

subconjunto limitado de nmeros racionais, ou seja, se todo
subconjunto limitado de nmeros racionais possu supre-mo (ou
nfimo) em .
 29

A resposta a pergunta acima negativa. Existem subconjuntos limi-tados

de nmeros racionais cujo supremo no um nmero racio-nal. Para
provar esta afirmao, precisamos primeiro da proposio abaixo.

Proposio 1.8. No existe um nmero racional p tal que p 2 = 2 .

2
Prova: Suponhamos que existe p tal que p = 2 . Ento po-
m
demos escrever p = n , sendo que os inteiros m e n no so am-
bos pares (se forem, podemos simplificar, at deixarem de ser).

Temos,
2 m 2
p = =2

n
ou,
m2 = 2
n2
ou, ainda, m2 = 2n2 .

Conclumos que m2 par e, consequentemente, m par. Pode-mos

escrever, ento, m = 2r , onde r um inteiro.

Elevando ao quadrado, temos,

m2 = 4r 2
ou,

2n2 = 4r 2 , j que m2 = 2n2 .

Simplificando, vem

n2 = 2r 2 ,

de onde conclumos que n2 par e, consequentemente, n par.

Chegamos, dessa forma, a uma contradio, pois m e n no so

ambos pares.

30

Proposio 1.9. Sejam

X = {x tais que x > 0 e x2 < 2} ;

Y = {y tais que y > 0 e y2 > 2}.

No existe sup X em e no existe inf Y em .

Prova: Vamos fazer esta demonstrao em etapas.

1) O conjunto X no possui elemento mximo.

Seja x um elemento qualquer de X. Vamos mostrar que exis-te

em X um outro elemento maior que x. Consideremos o
nmero racional:
2 x2 .
2x + 1

Como x X , 2 x2 > 0 e x > 0 . Portanto 2x + 1 > 0 e, dessa

forma,
2 x2
>0.
2x + 1

2 x2
Tomamos um nmero r tal que r < 1 e 0 <r< .
2x + 1
A existncia desse nmero racional r garantida pela pro-
posio 1.7.

Provemos que x + r X .

Temos, (x + r) > 0 . Alm disso,

0<r<1r2 <r; (1)

2 x2
0<r< r (2x + 1) < 2 (2)
2
x . 2x + 1
Usando (1) e (2), vem

(x + r )2 = x 2 + 2rx + r 2 < x 2 + 2rx + r

= x 2 + r (2x + 1) < x 2 + 2 x2 = 2

Portanto, (x + r)2 < 2 e, dessa forma, x + r X .

Conclumos que X no possui elemento mximo.
 31

2) O conjunto Y no possui elemento mnimo .

Seja y Y . Vamos mostrar que existe em Y outro elemento

menor que y.

Consideremos o nmero racional

y2 2
2y .

Como y Y , y 2 > 2 e y > 0 . Portanto, y 2 2 > 0 e 2 y > 0

e, assim,
y22
>0.
2y

Tomamos um nmero r tal que

0<r<y2 2.
2y

Temos que 2 ry < y2 2 ou 2 ry > 2 y2 .

Usando esse resultado, vem:

( y r ) 2 = y 2 2ry + r2
> y 2 2ry
> y2 + 2
y2 = 2.

Logo, ( y r)2 > 2 .

Para concluirmos que ( y r ) Y , falta verificarmos, ainda, se

( y r ) > 0.
y2 2
Como 0 < r < , temos que
2y
y 1
r<2 y.
y
Como y > 0 , segue que r < 2 < y e, portanto, ( y r) > 0 .

Conclumos que ( y r ) Y e, dessa forma, Y no possui

elemento mnimo.
32

3) Se x X e y Y , ento x < y .
Sejam x X e y Y . Temos,
x > 0 e 0 < x2 < 2
y>0ey2 >2

Portanto, 0 < x2 < 2 < y 2 ou 0 < x2 < y 2 . Como x > 0 e y > 0 ,

segue que x < y .

4) sup X

Vamos usar os resultados obtidos nas 3 etapas anteriores.

Suponhamos que existe b = sup X em . Ento:

i) b > 0 .

ii) b no satisfaz b2 < 2 .

De fato, como X no tem elemento mximo (provamos na etapa

1), b X .

ii) b no satisfaz b2 > 2 .

De fato, vamos supor que b2 > 2 .

Temos ento que b Y . Usando a etapa 2, segue que a Y

tal que a < b (Y no tem elemento mnimo).

Utilizando o resultado obtido na etapa 3, conclumos que

x X , x < a < b .

Portanto, b no a menor cota superior de X, ou seja, b no o

supremo de X, o que uma contradio.

Por ii) e iii) temos que:

Se existir b = sup X , ento b2 = 2 .

Pela proposio 3, sabemos que no existe b Q tal que b2 = 2

.

Logo, no existe sup X em .

 33

Comprovamos, assim, que existem conjuntos de nmeros racionais que

no possuem supremo em . Existem lacunas em . Voc pode ser
perguntar, intuitivamente falando, se as lacunas de po-dem ser
completadas. A resposta afirmativa, e o conjunto que con-tm , e
completa suas lacunas, o conjunto dos nmeros reais. Temos o seguinte
axioma:

Axioma. Em todo subconjunto no vazio, limitado superiormen-te,

possui supremo.

Nota: O Axioma axima implica que em todo subconjunto limita-do

inferiormente possui nfimo.

Nota: Existe em um nmero p tal que p 2 = 2 . Este nmero re-

presentado por 2 e um nmero irracional.

O conjunto dos nmeros irracionais definido como o complemen-tar de

em , e denotado por .

Vimos anteriormente que um conjunto enumervel e que no

enumervel. Como a unio de dois conjuntos enumerveis um conjunto
enumervel, conclumos que no enumervel.

Entre os nmeros irracionais mais conhecidos esto 2, 3, e o

nmero neperiano e .

Voc saberia listar 10 nmeros irracionais que so maiores que

500?

fcil, pois se x um nmero racional e y um nmero irracional ento o

produto de x por y irracional.

Assim, podemos listar facilmente os 10 nmeros pedidos. Por exem-plo,

poderamos tomar: 500 2, 501 2, ,509 2 .

Vamos finalizar a unidade enunciando um teorema muito impor-tante,

onde usamos fortemente os conceitos de supremo e nfimo vistos acima.
34

Proposio 1.10. (Princpio dos Intervalos Encaixados)

Seja I1 I 2 I n uma sequncia decrescente de interva-

los fechados e limitados, I n = [ an , bn ] . Ento, I n { }, isto , existe

n=1

pelo menos um nmero real x tal que x I n , n .

Mais precisamente, temos:

I n = [a , b] ,
n=1

onde a = sup{a1 , a2 ,..., an ,...}

b = inf{b1 ,b2 ,...,bn ,...} .
Prova: Como I1 I2 , temos que

a1 a2 an an+1

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 .

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

 35

Exemplo. Verifique o princpio dos intervalos encaixados para a fa-mlia

de intervalos
1 1
I = , .
n

n n
Temos,
I1 = [1, 1]
1 1
I2 = ,
2 2

1 1
In = ,
n n

Os intervalos da famlia dada so fechados e limitados e satisfazem:

I1 I 2 I n

Logo, todas as hipteses da proposio 1.11 so verificadas.

Alm disso, temos que an < 0, n e bn > 0, n .

Logo, 0 I n , n e, assim, 0 I n .
n=1

Finalmente, interessante constatar que

1 1 1
sup{a1 ,a2 , , an , } = sup 1, , , , ,= 0
2 3 n

e
1 1 1
inf{b1 ,b2 , , bn , } = inf 1, , , , ,=0.
2 3 n

Portanto, In = [0, 0] = {0} .

n=1

Nota: Para aprofundar seus conhecimentos, sugerimos a leitura e estudo

de todo o captulo III do livro Curso de Anlise de Elon Lages Lima e
da sesso Os nmeros reais - de Eudoxo a Dedekind do 1 captulo do
livro Introduo Anlise Matemtica de Geral-do vila.
36

Exerccios Complementares:
1) Mostre que X um conjunto infinito se, e somente se, X pode ser
colocado em correspondncia biunvuca com um subcon-
junto prprio dele mesmo, isto , se, e somente se, existe uma
bijeo entre X e um subconjunto prprio dele mesmo.
2) Seja S o conjunto das circunferncias de raio 1 e de centro (p, q),
onde p e q so nmeros inteiros positivos. S enumervel?
Justifique.
3) Mostre que a unio de 2 conjuntos disjuntos enumerveis
enumervel.
4) Considere o conjunto S das sequncias (sucesses) cujos termos
so os algarismos 0 e 1 e que eventualmente se anulam, isto ,
uma sucesso x = (x1 , x2 , x3 , ...) esta no conjunto S se xi {0,1}
para todo i, e, a partir de certo ponto, todos os seus termos so
iguais a zero, isto , existe um Kx tal que xi = 0 para todo i > Kx .
Decida se S enumervel e justifique sua resposta.
5) Dado o conjunto
2
X=n ,n:

a) D exemplos de 3 cotas superiores e 3 cotas inferiores de X, se

existirem.
b) Determine, se existirem, o supremo e o nfimo de X.

6) Repita o exerccio 5 para os conjuntos:

2n 1
a) X = ,n
n
b) Y = {(1)n n, n }
c) Z = {5 3n, n }

7) Escreva em linguagem coloquial a caracterizao de nfimo dada

pelas condies I.1 e I.2 do texto.

8) D 2 exemplos de conjuntos de nmeros racionais que:

a) No possuem supremo em .

b) No possuem nfimo em .

c) No possuem nfimo nem supremo em .

 37

9) Identifique se so verdadeiras ou falsas as afirmaes que se-guem,

justificando as suas respostas.
a) Se X um conjunto finito, o nfimo de X e o supremo de X
pertencem a X.
b) Se um conjunto X tem supremo ento ele admite infinitas cotas
superiores.
c) O nfimo de um conjunto limitado de nmeros irracionais um
irracional.

d) Qualquer subconjunto ilimitado de nmeros racionais denso

em .
10) Em , d um exemplo de um conjunto de nmeros racionais que tem
supremo irracional e de um conjunto de nmeros ir-racionais que
tem supremo racional.

11) Mostre que no princpio dos intervalos encaixados no pode-mos

retirar as hipteses:

a) os intervalos so limitados;

b) os intervalos so fechados.
Captulo 2
Noes Topolgicas em
n
 41

2 Noes Topolgicas em

Neste captulo voc vai adquirir conhecimentos b-

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

2.1 Introduo
Antes de iniciar o captulo, vejamos o que Cantor e Hilbert afir-maram
sobre o estudo de conjuntos:

Por conjunto entendemos a entidade formada quando colo-

camos 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-Wan-ner])

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 cla-ra e precisa.
42

n
2.2 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])

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 deslan-chou 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.

n
O espao Euclidiano consiste de todas as n -uplas ordenadas de
nmeros reais.

Simbolicamente, temos:
n
= {( x1 , x2 , , xn ) / x1 , x2 , , xn }.

n
Um elemento do espao 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 de n , x = ( x1 , x2 , , xn ) e y = ( y1 , y 2 , , yn )

, define-se:
x + y = ( x1 , x2 , , xn ) + ( y1 , y 2 , , y n ) = ( x1
+ y1 , x2 + y 2 , , xn + yn ) .

Multiplicao por escalar. Dado a e x = ( x1 , x2 , , xn ) n , de-

fine-se:
ax = a ( x1 , x2 , , xn ) = ( ax1 , ax2 , ,
axn ) .
Observao. Com as operaes de adio e multiplicao por esca-lar o
espao n um espao vetorial sobre o corpo dos nmeros reais .
 43

interessante voc relembrar as propriedades de um espao veto-rial.

Retome o texto da disciplina lgebra Linear.

Como n um espao vetorial, podemos introduzir o conceito de norma.

Definio 2.1. Uma norma em n uma funo || ||: n tal que para
quaisquer x , y n e , valem as seguintes propriedades:
N 1:|| 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, es-taremos
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.

1
Exemplo 2.1. Identifique, no espao , o conjunto
X = { x 1 / || x ||< 1}.

Observe que o espao 1 nada mais que o conjunto dos

nme-ros 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 2.1.

1 0 1 x

Figura 2.1
44

2
Exemplo 2.2. Identifique no espao o conjunto
S = { x = ( x1 , x2 )/ || x ||< 1} .

Geometricamente o espao 2 o plano cartesiano . Se ne-

cessrio, 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 2.2.

x2

x
1 1

Figura 2.2

3
Exemplo 2.3. Identifique no espao 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 geo-
mtricas espaciais como cubos, esferas e outras superfcies.

Temos || x ||= x 2 + x 2 + x 2 = 1 x 2 + x 2 + x2 = 1.
1 2 3 1 2 3

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 2.3.
x3

1 x2

x1

Figura 2.3
 45

A noo de espao mtrico 2.3 Espaos Mtricos

foi introduzida em 1906 por
Maurice Frchet e Intuitivamente, um espao mtrico um conjunto no qual temos uma
desenvolvida e batizada por
maneira de medir a distncia entre seus pontos.
Felix Hausdorff em 1914.

Qual a sua noo de distncia entre dois pontos no plano cartesiano

2
?

Provavelmente, voc vai visualizar a figura 2.4 e concluir que a dis-

tncia entre 2 pontos o comprimento do segmento de reta que os une,
ou seja:

d(x,y)= ( y1 x1 ) 2 + ( y 2 x2 )2 .

x2

y2 y

x
2 x

x1 y1 x1

Figura 2.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:

46

Definio 2.2. Seja M um conjunto. Uma mtrica em M uma fun-o d

: M M , onde M M o produto cartesiano de M por
M : M M = {( x1 , x2 ) / x1 , x2 M}, tal que para quaisquer x , y , z
M, temos:

M1: d ( x , y) 0 e d ( x , y ) = 0 x = y;

M2: d ( x , y ) = d ( y , x);

M3: d ( x , z ) d ( x , y ) + d ( y , z) .

O par ( M , d ) , onde M um conjunto e d uma mtrica, chamado um

espao mtrico.

Exemplo 2.4. M = , .
Essa a mtrica que voc
utilizou nas disciplinas de
A partir das propriedades dos nmeros reais podemos Clculo, quando estudou,
por exemplo, limite de
verificar fa-cilmente que d uma mtrica em .
sequncias. Se necessrio,
reveja a seo 1.3.4 do
Temos: texto de Clculo I [5,
Gimenez-Starke].

M1: d ( x , y ) = y x 0
d ( x , y ) = 0 y x = 0 y x = 0 x = y;

M2: d ( x , y ) = d ( y , x) , pois | y x |=| x y |;

M3: d ( x , z ) =| z x |
=| z y + y x | |
z y | + | y x | =|
yx|+|zy|
= d ( x , y ) + d ( y , z).
M 0, se x = y
Exemplo 2.5. Seja qualquer. A funo d ( x , y) =
1, se x y

satisfaz as propriedades de mtrica, sendo denominada mtrica tri-vial

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

Exerccio Resolvido
1) A funo d ( x , y ) = x 2 + 2xy mtrica em ? Justifique.

Resoluo:

Note que d no uma mtrica em , pois no satisfaz a

proprie-dade M1 . Por exemplo, d (1, 3) = 5 < 0 .

Exerccio Proposto

1) A funo d ( x , y ) = 2 x y mtrica em ? Justifique.

2.4 Mtricas em n

Sejam x = ( x1 , x2 , , xn ) e y = ( y1 , y 2 , , yn ) pontos de n .
As mtricas usualmente utilizadas no espao n so:
i) Mtrica Euclidiana
n n
d:

d(x,y)= ( y1 x1 ) 2 + ( y 2 x2 ) 2 + + ( y n 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

n n
d1 :
d1 ( x , y ) =| y1 x1 | + | y 2 x2 | + + | y n

xn | . iii) Mtrica do Mximo

n n
d2 :
d 2 ( x , y ) = max{| y1 x1 |,| y 2 x2 |, ,| y n 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) ,
48

2
onde k uma constante. Por exemplo, em , para mos-
trar que d ( x , y ) d1 ( x , y) suficiente mostrar que
a2 +b2 a + b , a , b . Mas esta desigualdade equivalente a

a 2 + b 2 ( a +b ) 2 = a 2
+ 2 a b +b 2 0 2 a b , o que verdade
a , b .

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 .

importante voc visualizar geometricamente essas medidas de

distncia. Para isso vamos utilizar o espao 2 . Retomando a figu-ra 2.4,
vemos que a distncia Euclidiana entre dois pontos a dis-tncia medida
em linha reta. As figuras 2.5 e 2.6, respectivamente, ilustram a mtrica
retangular e a mtrica do mximo. Mtrica Retangular
Tambm conhecida como
x2 Mtrica Metropolitana ou de
Manhattan, devido s re-
des de transporte na forma
y2 y de grades retangulares que
ocorrem em muitas cidades
americanas e mesmo brasi-
x leiras. Em muitos casos ela
2 x
a mtrica mais adequada
para medir as distncias
dos deslocamentos nos
x1 y1 x1 centros urbanos.

Figura 2.5

x2

y2 y

x
2 x

x1 y1 x1

Figura 2.6
 49

Exerccio Resolvido
2
2) Usando as trs mtricas anteriores, identifique os pontos de tais
que sua distncia at a origem seja igual a 1.
Resoluo:
Sejam o = (0, 0) e x = ( x1 , x2 ) .

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 2.7 ilustra as 3 situaes.

x2 x2 x2

1 x 1 1 x1 1 x1

(i) (ii) (iii)

Figura 2.7

Exerccio Proposto
2) Refaa a figura 2.7, usando as equaes obtidas em (i), (ii) e (iii) e
sobrepondo as 3 figuras no mesmo sistema de coordenadas.

Exerccio Resolvido
3) Em 2 , mostre que a mtrica Euclidiana satisfaz a desigual-dade
triangular, isto , mostre que d ( x , y ) d ( x , z ) + d ( z , y) ,
x , y , z 2 .
50

Resoluo:
Dados x = ( x1 , x2 ) , y = ( y1 , y2 ) e z = ( z1 , z2 ) , temos que provar que:

( x1 z1 ) 2 + ( x2 z 2 ) 2 ( x1 y1 ) 2 + ( x2 y 2 ) 2 + ( y1 z1 ) 2 + ( y 2 z2 )2

Sejam ai = ( xi yi ) , bi = ( yi zi ) , i = 1, 2 .

Ento xi zi = ( xi yi ) + ( yi zi ) = ai + bi e a inequao acima

equivalente a

( a + b ) 2 + ( a + b )2 a 2 + a 2 + b 2 + b2
1 1 2 2 1 2 1 2

( a1 + b1 ) 2 + ( a2 + b2 )2 a12 + a22 + 2 a12 + a22 b12 + b22 + b12 + b22

a1b1 + a2 b2 ( a12 + a22 )(b12 + b22 ) .

Para, mostrarmos esta ltima inequao, suficiente mostrar que

a1b1 + a2 b2 ( a12 + a22 )(b12 + b22 ) , ai , bi , i = 1, 2 .

Mas a inequao acima a famosa equao de Cauchy-Schwartz

em 2 ( a b a b , para a = ( a1 , a2 ) , b = (b1 , b2 ) ), e podemos
prov-la elevando ao quadrado em ambos os lados, agrupando

termos, e notando que ( a1b2 a2 b1 ) 2 0 , ai , bi , i = 1, 2

. Conclumos que a desigualdade riangular vlida em 2 .

Nota: Um argumento semelhante pode ser usado para provar a de-

sigualdade triangular em 2 .

2.5 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 .
 51

A funo
d:MM

importante voc revisar

bem a seo 2.6, que
explora os conceitos de
supremo e nfimo, no texto
uma mtrica em M .
de Introduo ao Clculo
[4, Gimenez-Starke]. A figura 2.8 ilustra a mtrica dada para X = [ a , b] .

x2

g
d ( f , g)
f

x
a b 1

Figura 2.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 .

M1: d ( f , g) 0 pela prpria definio da mtrica.

d ( f , g) = 0 sup{| g(x) f (x) |} = 0 | ( ) ( ) |= 0

xX

| g(x) f (x) |= 0 , x X

f (x) = g(x) , x X .

M2: d ( f , g) = d (g, f ) .

imediata pelas propriedades de mdulo de nmeros reais.

52

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 xX

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

Conclumos, assim, que d ( f , h ) + d ( h, g) uma cota superior do con-

junto

{| g ( x ) f ( x ) |, x X } .

Segue que

d ( f , g ) = sup | g ( x ) f ( x ) | d ( f , h ) + d ( h, g) .
xX

Cabe a voc agora resolver o exerccio que segue.

Exerccio Proposto
3) Seja X = [0,1] . Determinar d ( f , g) , sendo:

d) f (x ) = x e g ( x) = 1 ;

e) f (x ) = x2 e g ( x ) = x .

2.6 Mtrica Induzida

Sejam (M , d ) um espao mtrico e L um subconjunto de M . A res-
trio da mtrica d a L L uma mtrica sobre L .

Esta mtrica em L a mtrica induzida por d sobre L .

Exemplo 2.6. Seja L = [0,1] , onde [0,1] o intervalo fechado

[0,1] .

A figura 2.9 ilustra o espao L .

 53

x2
L

1 x1

Figura 2.9

Podemos medir distncias nesta faixa de 2 (isto , em L ) usando

qualquer das mtricas definidas sobre 2 , por exemplo, a mtrica
Euclidiana.

2.7 Dimetro de um Conjunto;

Distncias entre Conjuntos
2:
Consideremos os subconjuntos de

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
54

B por B ' = {( x1 , x2 ) 2
/ ( x1 3) 2 + x22 < 1},

as respostas sero as mesmas?

provvel que para responder estas questes voc tenha represen-tado

geometricamente os conjuntos dados, conforme a figura 2.10.

x2 x2 x2

1 x 1
1 2 3 4x 1
1 x1

A B C

Figura 2.10

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 defi-

nies que seguem.

Definio 2.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 2.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 .
 55

Exemplo 2.8. Os dimetros dos conjuntos A , B e C , representados na

figura 2.10 so:

diam( A) = 2 ; diam( B) = 2 ; diam(C) = 2.

Na figura 2.11, representamos os conjuntos A' e B ' .

x2 x2

1 x 1
1 2 3 4x1

A B

Figura 2.11

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

Nota: Antes de ler o prximo exerccio revise a noo de supremo.

Exerccio Resolvido
4) Demonstre a afirmao do Exemplo 2.7.

Resoluo:

Faremos para o intervalo [ a , b] . O caso do intervalo ( a ,

b) fica como exerccio.

Primeiro note que b a cota supeior para d ( x , y) com x , y [ a ,

b], pois se x , y [ a , b] ento y b e x a . Logo, b a x y .

Agora, dado > 0 , tome n tal que 1 < . Ento a , b 1 per-

n n
1 1
tencem a [ a , b] e d a , b = (b a ) > (b a) .
n n
Logo, (b a ) = sup{d ( x , y ), x , y [a , b]} .
56 Mostrar que a
distncia entre
A e B zero.
Definio 2.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 2.9. Considere o conjunto C , representado na figura 2.10.

1 1
Dados P1 (0,1), P2 2 , 2 e P3 (2, 2), determinar a distncia d ( Pi , C),
i = 1, 2,3 .

Temos que , pois ;e .

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

espa-o 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 2.10. Sejam:

A = {(x , y ) 2
/ y = 0} e B = {(x , y )
2
/ x > 0 e xy = 1} .
Comprove este resultado, raciocinando geometricamente.
 57

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

x
A

Figura 2.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

x0 tal que x0 > 1 . Tomamos

1.
p = ( x0 , 0) e q = x0 ,
x
0

Temos

pAeqB

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

x x
0 0

Logo, d ( A, B ) = inf{d ( x , y ) / x A e y B} = 0 .
58

Exerccio Proposto
4) D exemplos de conjuntos A e B , tais que:

a) d ( A, B) = 3 em ;
2
b) d ( o, A) = 2 em ; onde o a origem.
2 3
c) d ( A, B) = 1 em e em .

2.8 Bolas Abertas

Vamos agora introduzir a noo de bola aberta, que muito impor-tante
para introduzir o conceito de conjunto aberto e outras noes
topolgicas.

Definio 2.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}.

n
Em , podemos escrever

B ( x , r ) = {y n
/ || y x ||< r} .

Exemplo 2.11. Identifique, geometricamente, as bolas abertas:

1) B ( a, ) em .
2
2) B ( a, ) em , 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 2.13.

0 a a a+
Figura 2.13

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

mtricas Euclidiana, retangular e do mximo, respec-tivamente.
 59

x2 x2 x2

a a a
2 2 2

a a
1 x 1 a1 x 1 1 x1
(a) (b) (c)

Figura 2.14

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)<red(z,x)<r.

Usando a propriedade M 3 , segue que

d ( y , z ) d ( y , x ) + d ( x , z ) < r + r = 2r .

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 2.12. Em n , diam( B ( x , r )) = 2r , valendo, assim, a igualda-

de na propriedade B1.

Exemplo 2.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 , r 1 ) B ( x , r2 ) .
60

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 n-

mero 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

fi-gura 2.15, para 2 com a mtrica usual.

y
r1
d(x,y)
r
x

Figura 2.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 ) .
 61

2
A figura 2.16 ilustra esta propriedade para com a mtrica usual.

r2

z y
r
1 x

Figura 2.16

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

2
A figura 2.17 ilustra esta propriedade para com a mtrica usual.
62

r
r 2
1

x y

d(x,y)

Figura 2.17

Prova (Por contradio):

Vamos supor que existe um ponto

z B ( x , r1 ) B ( y , r 2 ) .

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.

2.9 Conjuntos Abertos

Estudaremos nesta seo os conjuntos que so chamados de aber-tos. A
nomenclatura provm do estudo dos intervalos abertos de . Em ,
possvel caracterizar os conjuntos abertos como aque-les que podem ser
escritos como uma unio disjunta, enumervel de intervalos abertos.
Infelizmente no temos uma caracterizao como esta para conjuntos
abertos de um espao mtrico qualquer e, portanto, precisamos de uma
definio que funcione em 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:
 63

Definio 2.7 (Interior de um Conjunto). Seja A M , A . Dize-

mos 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 Inte-rior de

A e denotado por

Int( A) .

Simbolicamente, escrevemos

x Int( A) B ( x , r ) A .

2
Exemplo 2.14. Considere, em , 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 2.18 ilustra este exemplo.

x2

1 x1
Figura 2.18

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 2.15. Em , considere os intervalos:

a) Intervalo aberto ( a , b) ;
64

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 pon-tos interiores.

Em (c), todos os pontos so pontos interiores.

Em (d), temos que Int([ a , + ]) = ( a, +) . O ponto a no

ponto interior.

Exerccio Proposto
5) 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 > ex1 } ;

d) A = {(x1 , x2 ) 2
/ x1 > 0 e x2 < ln x1};

e) A = (conjunto dos inteiros em );

1
f) A= n , n em . n=1

Exerccio Resolvido
5) Mostre que Int( A) Int(B ) = Int( A B) .

Resoluo:

Seja x Int( A) Int(B) . Ento, pela definio de interior, existem r1

e r2 tais que B ( x , r1 ) A e B ( x , r2 ) B . Pela propriedade de bolas
abertas B4, r3 tal que B ( x , r3 ) B ( x , r1 ) B ( x , r2 ) A B .

Logo, x Int( A B) e provamos que Int( A) Int(B )

Int( A B) . A outra incluso fica como exerccio.
 65

Exerccio Proposto
6) Decida se Int( A B ) Int( A) Int( B) . Se for verdadeiro
prove, caso contrrio apresente um contra-exemplo.

Definio 2.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.

Exemplo 2.16. Toda bola aberta um conjunto aberto.

De fato, esse resultado uma consequncia imediata da proprieda-de B3.

Exemplo 2.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 2.19 ilustra esta situao

x
2

0 A 1 x B 1 x1

Figura 2.19

Observe que, com a mtrica Euclidiana, uma bola aberta em um

intervalo aberto e em 2 o interior de um crculo.

Exemplo 2.18. Em , todo o conjunto aberto se escreve como uma unio

enumervel de intervalos abertos disjuntos.

O resultado acima muito interessante. Para ter uma ideia da pro-

va, suponha que A seja aberto. Para todo x A , seja Ix o maior
intervalo aberto tal que x I x A . Note que se x y , ento
66

I x I y = ou I x = I y . Ento, A = Ix e esta unio enumervel, pois

dentro de cada Ix podemos escolher um nmero racional distinto.

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 2.19. Mostrar que o conjunto A = {( x , y ) 2 / x > y2 +1}

aberto (ver figura 2.20) usando a definio de conjunto aberto.

1 x

x=y2+1

Figura 2.20

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,

<xa< ,
<yb<.
 67

Ou,
a<x<a+,
b<y<b+.

Logo, x a > (b + ) 2 + + 1 = (b + ) 2 + 1 > y2 +1.

Isto , x > y2 +1. Isso diz que ( x , y ) A e, portanto, B (( a , b ), ) A.

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

68

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

7) Usando induo matemtica, mostre que a interseo finita de Se necessrio revise o

captulo 5, Princpio
abertos um aberto, isto , se A1 , A2 , , An so conjuntos aber- de Induo do texto
n
de Fundamentos de
tos, ento A = Ai aberto, n .
i=1
Matemtica I [2,
Carvalho-Gimenez].
Nota: A interseo de uma coleo infinita de abertos pode no ser um
aberto.
1 1
Exemplo 2.20. Em , tome An = x / <x< ,n .
n n

Ento, An = {0} , que no aberto.

n=1

2.10 Conjuntos Fechados

Conjuntos fechados so definidos simplesmente como conjuntos cujo
complementar aberto. No decorrer deste captulo veremos al-gumas
Tringulo de Sierpinski
outras caracterizaes de conjuntos fechados. Porm, vale a pena uma generalizao do
ressaltar que, mesmo em , descrever completamente quais so os conjunto de Cantor (o qual
estudaremos mais tarde). Se
conjuntos fechados de um espao mtrico um problema complicado.
voc quiser saber mais,
Abaixo voc pode ver o desenho do tringulo de Sier-pinski em 2 e 3 sugerimos uma busca na in-
(figura 2.21). Ambos so conjuntos fechados (pois os complementares ternet com as palavras Tri-
ngulo de Sierpinski ou, em
so abertos) e do uma ideia de quo com-plicados os conjuntos ingls, Sierpinski triangle..
fechados podem ser.
 69

Figura 2.21

Definio 2.9. Seja F M . Dizemos que F fechado se o seu com-

plementar, C ( F ) , for aberto.

Exemplo 2.21. O conjunto F = {( x1 , x2 ) 2 / x12 + x22 1} fechado

em 2 .

Exemplo 2.22. Os intervalos [ a , b] , ( , b] e [ a, +) so conjuntos

fechados.

Exemplo 2.23. O conjunto F = {( x1 , x2 , x3 ) 3 / x12 + x22 + x32 1}

fe-chado em 3 .

Exemplo 2.24. Seja ( M , d ) espao mtrico onde d a mtrica descri-ta.

Ento todo subconjunto de M fechado.

Nota: Assim como definimos bola aberta, podemos definir bola fe-
chada.
B[ x , r ] = { y M / d ( y , x ) r}

uma bola fechada em M .

n
Em , podemos escrever:

B[ x , r ] = { y n
/ || y x || r} .

Exerccio Proposto
8) Mostre que toda bola fechada um conjunto fechado.
70

Na linguagem cotidiana, quando nos referimos a portas, janelas, li-vros

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
1
B ( x , 2 ) = { x} .
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 conjun-to

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 fe-

chados fechada.
 71

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

9) Mostre que a unio finita de fechados um fechado (use indu-o

matemtica).

10) Em n todo conjunto unitrio fechado? E todo conjunto fini-to?

Esses resultados so vlidos para qualquer espao mtrico?
11) Atravs de um exemplo, mostre que a unio de uma famlia
arbitrria de fechados pode no ser fechada.

2.11 Pontos de Acumulao

Intuitivamente, um ponto x um ponto de acumulao de um con-junto
A se existirem outros pontos de A arbitrariamente prximos de x .

Temos a seguinte definio:

Definio 2.10. Seja A M . Um ponto x M um ponto de

acumula-o 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}} .
72

Observe que x no precisa pertencer a A para ser ponto de acumu-lao.

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

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 2.25. Em um conjunto unitrio no tem pontos de acu-

mulao. Um conjunto finito tambm no tem pontos de acumulao.

Exemplo 2.26. Em , '=.

Exemplo 2.27. Seja A o intervalo (0,1) em . Ento, A' o interva-lo

fechado [0,1] .
1 1 1
Exemplo 2.28. Seja A = 1, , , , ,em . Ento, A' = {0} .
2 3 n
Exemplo 2.29. Considere, em , o conjunto dos racionais .

Qual o conjunto '?

A resposta , isto , todo nmero real a um ponto de

acumu-lao 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 .

 73

Como o conjunto dos nmeros naturais ilimitado em ,

1
n tal que n > ou,
reescrevendo, 1 <r.
r n
Os racionais p , p dividem a reta real em intervalos de com-
n
primento 1 < r , como ilustrado na figura 2.22.
n

... 3 2 1 0 1 2 3 ...
n n n n n n

Figura 2.22

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

Para ter uma ideia de M , (x r , x + r) 2r > n .

tente plotar o grfico 2 1
1 Exemplo 2.30. Em , seja A = x,sen :0<x<1 .
de y = sen x no x
computador. Ento A ' = A {(0, y ) : 1 y 1} {(1,sen 1)}.

Proposio 2.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.
74

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
12) Encontrar S ' , sendo S = {( x , y ) 2
/ y < x2 1} .

13) Decida quais dos seguintes conjuntos so fechados em :

1 1 1
a) A = 1, , , , ,;
2 3 n
1 1 1
b) B = 0,1, , , , ,;
2 3 n
3 4 5 6
c) C = 1, 2, , , , ,;
2 3 4 5
1 1 1 1
d) D = 2 , 4 , 8 , 16 , ;
1
e) Domnio de f , sendo f ( x) = x 1 ;
f) Imagem de g , sendo g ( x ) = x 2 + 2 x + 2 .

g) O conjunto de Cantor em .
2.12 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 2.11. Seja A M . O fecho de A , denotado por A , o con-

junto obtido pela unio de A com seus pontos de acumulao.
 75

Simbolicamente, escrevemos:
i) A = A A' ;

ii) a A r > 0 , B ( a , r ) A .

Proposio 2.2. O fecho de qualquer conjunto sempre um conjun-to

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

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 en-
contrada em [16, Rudin].

Teorema 2.1. Seja A M . Ento, A o menor fechado que contm A ,

isto ,
A= F .
AF
F fechado

Prova:
Note que o resultado segue do fato que se A B ento A ' B' .
 76

Exerccio Resolvido
6) 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 n ,

1
B n, = . Disto segue que = (veja definio 2.11) e,
2
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 2.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 acumula-
o 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 2.11 que (0, 2) = [0, 2] .

Exerccios Propostos
14) Determine o fecho dos seguintes conjuntos em :
1 1 1
a) A = 1, 2, 3, 4, ;
b)
1
c) B = n,n.
n=1

15) Mostre que A B A B . D um exemplo para mostrar que a

incluso no outro sentido no vlida.
16) Seja ( M , d ) um espao mtrico. verdade que todos os pon-tos
de B[ x , r] so pontos de acumulao de B ( x , r) ?
 77

Exerccio Resolvido
7) 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 2.12. Seja A M . Dizemos que A denso em M se, e so-

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

Exemplo 2.31. denso em .

Exemplo 2.32. denso em .

Exemplo 2.33. e no so densos em .

78

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 limi-tante,
como pode ser observado no mapa da figura 2.23.

BOA VISTA

RORAIMA AMAP
MACAP

BELM
MANAUS

AMAZONAS
PAR MARANHO

ACRE
Fronteira entre
PORTO VELHO
PALMAS
RIO BRANCO
RONDNIA TOCANTINS
PERU
MATO GROSSO Brasil e Bolvia
DISTRITO
FEDERAL
CUIAB
BOLVIA
GOINIA
GOIS
MINAS
GERAIS
MATO GROSSO
DO SUL BELO HOR
CAMPO GRANDE

SO PAULO

PARAGUAI
SO PAULO
PARAN

CURITIBA

SANTA
CATARINA

Figura 2.23

Temos a seguinte definio.

Definio 2.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
B(x,r)A

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

A figura 2.24 ilustra esta definio.

Exemplo 2.34. Encontrar Fr( A), sendo A 2

, o conjunto:

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

O conjunto A est representado na figura 2.25. Observe que

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

y y

1 1 x 1 1 x
A Fr(A)

Figura 2.25

Exemplo 2.35. Seja A um conjunto unitrio. Veja que neste caso, Fr(
A) = A .

Exerccios Propostos
17) 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) .

18) Identifique e represente geometricamente a fronteira dos se-

guintes conjuntos:

a) A = {( x , y ) 2
/ x 2 + y2 1} ;
Int( A)
b) (sendo A o conjunto do item a);
A = [0,1]
c) em ;
B = [0,1]
d) em ;
e) C = {( x , y ) 2
/ y > x 2 4 x + 3} .
80

Propriedades da Fronteira:

Propriedade Fr1. Fr( A) = A C ( A) .

Prova:

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

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

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

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:

Segue diretamente de Fr1, pois a interseco de fechados fe-

chada.

Para finalizar, observe a figura 2.26, onde est representado o sub-

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

x
1 A

Figura 2.26
82

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 possibi-lidades

a seguir ocorre:
p Int( A) ou p Fr( A) ou p Int(C ( A)) .

Esse resultado pode ser generalizado.

Proposio 2.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 2.23,
vale para qualquer conjunto de um espao mtrico.

Exerccios Propostos
19) D exemplos de conjuntos A em , 2 e 3 , identificando:
Int( A) , A' , A , Fr( A) , C ( A) , Int(C ( A)) .

20) 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 ) = ( x y)2 .

2
2) Verifique quais das seguintes funes so mtricas em :
a) d ( x , y ) = 3 | y1 x1 | +3 | y 2 x2 | ;
 83

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] , f (x ) = x2 e g ( x ) = x +1, determine d ( f , g) .

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 igual-dades

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, ) 2 , a ,

onde o conjunto dos inteiros.

8) Sejam p um ponto de um espao mtrico e n . Prove que a

1
interseo das bolas abertas de centro em p e raio n o con-
junto unitrio { p}, isto ,
1
B p, = { p} .
n=1 n
84

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 fecha-das que
seguem:
a) B ( o,1) ;
b) B A ( o,1) ;

c) B[ o,1] ;
d) B A [ 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 eq0 ;
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 4x + y2 0} ;
2
b) B = {(x , y ) / y > 0};
2
c) C = {(x , y ) / x < 2 e y 2} ;
2
d) D = {(x , y ) / x = 0 e y = 0} ;

e) E = {(x , y ) 2
/ x 1} ;

f) F = {(x , y ) 2
/ y 2 x2 > 1} ;
g) G = B (0, 2) B(1, 2) .
 85

12) Determine os pontos de acumulao e o fecho de cada um dos

seguintes subconjuntos de :
1 1 1
, , , (0, 2) , [0, 2) , [0, 2] , (0,1) , 1, , , , ,.
2 3 n
13) Num espao mtrico qualquer ( M , d ) , mostre que se A M
aberto e a M , ento A \ {a} aberto.

14) Seja ( M , d ) um espao mtrico onde M finito. Prove que todo

subconjunto de M aberto.

15) Sejam xn no vazios em . D exemplos mostrando que Fn
n=1

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

tados.

16) Seja X ' o conjunto dos pontos de acumulao de X . D exem-plos

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 .

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

2
18) D exemplos, em , de:

a) conjuntos abertos;

b) conjuntos fechados;

c) conjuntos nem abertos nem fechados.

86

19) Determine a fronteira dos conjuntos:

a) Em : A1 = [ a1; +) ; A2 = [0,1) {3}; A3 = ;
2
b) Em : B1 = {( x , y ) / xy = 1} ; B2 = {(x , y ) / x > 0 e y > 0}.

20) 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 / m, n
e) D = , , n 0 .
n n
n
21) Prove que, em , vale:
a) Int( A) = A \ Fr( A) ;

b) A = R n \ Int(Rn \ A) .

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

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

 87

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 fo-ram
desenvolvidos no espao n , em especial em e 2 , de modo a desenvolver
a sua intuio geomtrica. Foram apresentados exer-ccios resolvidos e
propostos, fundamentais para o seu aprendizado.
88
Captulo 3
Convergncia
 91

3 Convergncia

Neste captulo iremos estudar sequncias. Iniciaremos re-

vendo 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 se-
quncia. Em particular, queremos entender o comporta-
mentodo n -simo termo da sequncia, quando n tende a
infinito. Para isso, precisamos definir a noo de conver-
gncia.

3.1 Sequncias de Nmeros Reais

Para motivar os estudos desta unidade, propomos o seguinte pro-blema:

Que 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 pode-mos

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 for-ma que
parte deles fique para fora da mesa (Figura 3.1).

Apesar de este mtodo funcionar, iremos atingir uma distn-cia

MESA
de, no mximo, aproximadamente 1. Poderamos, ento, pensar
Figura 3.1 em usar contrapesos para atingir distncias maiores.
92

Porm, o problema prope que usemos apenas 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 M1 e M 2 , localizados em x1 e x2 , respecti-vamente
(Figura 3.2), dado por
x M +x M
c= 1 1 2 2 .
M1+M2

M1 M2

x1 c x1

Figura 3.2

Para modelar nosso problema, vamos imaginar uma reta real se ex-
tendendo para a direita com origem exatamente no beirado da mesa
(Figura 3.3).

Mesa 0 1 2 3

Figura 3.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 3.4).
 93

1
Mesa 0 1 2 3
Figura 3.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 se-gundo livro
como feito anteriormente, ou seja, com a sua extremi-dade direita na
origem. A pilha continuar equilibrada (Figura 3.5):

1
2
Mesa 0 1 2 3
Figura 3.5

e o centro de gravidade desta pilha de dois livros :

c = x2 M 2 + c1 M1 = ( 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 e tere-
2
1
mos alcanado a distncia D = 1+ do beirado da mesa (Figura 3.6):
2
2

1
2
Mesa 0 1 2 3
Figura 3.6

Procedendo desta maneira sucessivamente, teremos que uma pilha de n

1 1
livros alcana a distncia de Dn = 1 + 2 + + n . Este o termo geral
da sequncia das somas parciais da srie harmnica divergen-
1
te (mas no iremos estudar esta srie neste curso). A divergn-
n
n=1

cia da mesma significa que, somando termos suficientes da mesma,

podemos ultrapassar qualquer nmero real positivo. Ou seja, pode-mos
atingir qualquer distncia com nossa pilha de livros, desde que
94

tenhamos pacincia para empilhar o nmero suficiente de livros. A tabela

abaixo mostra a quantidade de livros necessria para atingir determinada
distncia:

Distncia Atingida Livros Necessrios

2 N=4
4 N = 31
10 N = 12.367
22 N = 2.012.783.315
40 N = 132.159.290.357.566.703

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

madeira. Voc pode tentar o mesmo em casa!

Figura 3.7

Este exemplo ilustrou como o trabalho com sequncias infi-nitas

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 associa-
mos um nmero real xn , conforme definio que segue.

Definio 3.1. Uma sequncia de nmeros reais uma funo

f:n
xn .
 95

Denotamos: ( x1 , x2 , , xn , ) ou simplesmente ( xn ) .

Exemplo 3.1. (2, 4, 6,8, ) = (2 n) .

Exemplo 3.2. (cos , cos 2 , cos 3 , ) = (cos n ).

1 1 1.
Exemplo 3.3. 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 3.4. f : 2

1 1
n , .
n 2n

Os termos desta sequncia so formados por pares

ordenados de nmeros reais, como segue:
11 1 1 1
1, , , ,
, ,.
2 2 4 3 6

Exemplo 3.5. f : 3

1 1 1
n , , .
nnn

Neste caso, os termos da sequncia so formados por

ternas orde-nadas de nmeros reais. Temos

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

3.2 Sequncias em um Espao Mtrico

Definio 3.2. Seja (M , d ) um espao mtrico. Uma sequncia em
M uma funo
f:Mn
xn .
96

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 , }.

Nota: Veja que o conjunto dos termos da sequncia difere da se-quncia,

como ilustrado no seguinte exemplo:

Sequncia: (1 + ( 1) n ) = (0, 2, 0, 2, ) .

Conjunto dos termos: {0, 2}.

3.3 Limite de uma Sequncia

A figura 3.8, ao lado, mostra Weierstrass ( direita) ex-
plicando o conceito de convergncia uniforme para
Cauchy, que est meditando sobre o contraexemplo de
Abel. A seguir, introduziremos o conceito de con-
vergncia, porm o conceito de convergncia unifor-me
(o qual muito til para o estudo de convergncia de
sequncias e sries de funes) s visto em cur-sos
mais avanados.

Para a sequncia de nmeros reais Figura 3.8 - O conceito de

( xn ) = 1n , convergncia uniforme.

temos
1
lim x = lim = 0 .
n
n n n

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

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

01 1 1 1 1 x
n 4 3 2
Figura 3.9
 97

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

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

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

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

xn ,n > n0

( )
0 x
Figura 3.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 3.3. Sejam (M , d ) um espao mtrico e (xn ) uma se-

wquncia 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 3.11.

98

x
1

x
2

xn ,n > n0
r
a

Figura 3.11

Exemplo 3.6. Seja ( M , d ) um espao mtrico. A sequncia

( x1 , x2 , , xk , p, p, p, ) dita sequncia estacionria.

Temos que xn p .
n0 = k . Para
De fato, dado qualquer > 0 , basta tomar todo
n > n0 , temos d ( xn , p) = d ( p, p) = 0 < .

3n
Exemplo 3.7. Seja M = , com a mtrica usual. A sequncia
3n +1
converge para o nmero real 1. Vejamos por qu: d > 0 .
Devemos encontrar n0 tal que n > n0 3n
1 < .
3n +1
Agora, note que as seguintes desigualdades so equivalentes:

3n
1 < ,
3n +1

3n 3n 1
< ,
3n +1

1
< ,
3n +1

3n + 1 > 1 ,

11
n > 3 1 .
 99

Assim, se tomarmos n0 como o primeiro natural maior que

11 3n
1 , temos que n > n0 1 < , como desejado.
3 3n +1

Exemplo 3.8. Seja M = 2 , com a mtrica usual (isto , a mtri-ca

Euclidiana). A sequncia cujo termo geral o par ordenado
n
( xn , yn ) = 1 + 1 , ( 1) converge para o par ordenado (1, 0) .
n n
Para simplificar a notao, denotamos: z n = ( xn , yn ) ; a = (1, 0) .

Temos: d ( z n , a ) = ( xn 1) 2 + ( yn 0)2
2
1 2 1
= 1+ 1 +
n n
2 2
1 1 1
= + = 2
n n n

Nota: Observe que ( d ( z n , a)) uma sequncia de nmeros reais que

1
converge para zero, pois o produto da sequncia n (que 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 3.9. Seja ( M , d ) um espao mtrico. A sequncia

( xn ) = ( a , b, a , b, a , b, ) , onde a b divergente.

1 1
Exemplo 3.10. Em 2 , a sequncia ( z ) = , (0, 0) . n n
n

Exerccio Proposto
1) Usando a definio, comprove o resultado do exemplo 3.10.

Nota: Segue da definio de limite de sequncia que, em um espao

mtrico qualquer, uma sequncia xn a se, e somente se, a sequn-cia
de nmeros reais d ( xn , a) 0 .
100

Nos exemplos 3.8 e 3.10, temos sequncias convergentes em 2 . Ob-serve

os resultados e se questione:

Em 2 , uma sequncia ( xn , y n ) ( a , b) se, e somente se, xn a e y n

b?

A resposta positiva. Temos a seguinte proposio:

Proposio 3.1. A sequncia (( x1 , y1 ), ( x2 , y 2 ), , ( 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 .

Prova:
) Hiptese: ( xn , y n ) ( a , b) .

Tese: xn a e y n b .

Seja > 0 . Como ( xn , y n ) ( a , b) , existe n0 tal que

d (( xn , y n ), ( a , b)) < para todo n > n0 .
Ento, para todo n > n0 , temos:

| x a |= ( x a ) 2 ( x a ) 2 + ( y b ) 2 = d (( x , y ), ( a , b)) <
n n n n n n

| y b |= ( y b ) 2 ( x a ) 2 + ( y b ) 2 = d (( x , y ), ( a , b)) <
n n n n n n

Logo, xn a e y n b .

) Hiptese: xn a e y n b .

Tese: ( xn , y n ) ( a , b) .
Seja > 0 .

Como xn a , n1 tal que | xn a |< , n > n1 .

2
Como y n b , n2 tal que | y n b |< , n > n2 .
2
Seja n0 = max{n1 , n2} .

Para todo n > n0 , temos

 101

Observe que se a e b so
nmeros positivos, ento

Logo, ( xn , y n ) ( a , b) .

n
Nota: A proposio 3.1 pode ser generalizada para .
n
Exemplo 3.11. Em 4
, a sequncia ( zn ) = 1 , n 1 , ( 1) , 1 con-n

verge para (0,1, 0, 0) . n n n 2

Observao Importante. A convergncia depende da mtrica.

1
Exemplo 3.12. De fato, em , com a mtrica usual, 0.
n
1
Se tomarmos a mtrica 0 1 , a sequncia no converge para
1 n
zero, pois d , 0 = 1 , para todo n .
n
1 1
Com esta mtrica, a sequncia diverge, pois, a , d ,a = 1,
nn

exceto, possivelmente, para um determinado valor de n .

Um Exemplo de Sequncia de Funes. Seja C[0,1] o es-

pao das funes contnuas, f : [0,1] com a mtrica
d ( f , g ) = max{| f (t ) g (t) |}.
0 t 1

nt
Neste espao, considere a sequncia ( fn ) , 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 ?

102

Podemos verificar facilmente que

lim nt = 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) |}

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

t2
= max
0 t 1
n+t
2
max t =1 0.

0 t 1 n n
Nota: Observe que na seo 2.4 definimos uma mtrica num espao de
funes usando o supremo. Neste exemplo usamos o mximo porque
estamos trabalhando num espao de funes contnuas defi-nidas 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 3.2. Seja ( xn ) uma sequncia num espao mtrico ( M , d ) .

Se existir lim xn ele nico.
n

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

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

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

2
 103

Seja n0 = max{n1 , n2} .

Tome um n > n . Ento, d ( x , a) < e d ( x , b) < e, dessa forma,
0 n n
2 2
d ( a , b ) < d ( a , x ) + d ( x , b) < + = .
n n
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 se-
quncias 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, ) emcom a mtrica 0 1 ;

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

3.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
Mittag-Leffler, 1875, veja Dugac 1978, p. 69, apud [6, Hairer-
Wanner])

( 1) n 1 1 1
Em , considere a sequncia = 1, , , ,.
n 2 3 4

Podemos, de uma maneira muito natural, destacar duas subsequn-cias:

104

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 3.4. Seja ( xn ) uma sequncia em um espao mtrico

(M,d).

Uma subsequncia de ( xn ) uma restrio da aplicao

f:Mf
( n ) = xn

a um subconjunto infinito k = {n1 , n2 , , nk , / n1 < n2 < < nk < } de .

Denotamos: ( xn1 , xn2 , , xnk , ) ou ( xnk ) .

Observao. Uma subsequncia pode ser vista como uma sequncia,

atravs da aplicao
1x
n1
2x
n2

kx
nk

Proposio 3.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 .
 105

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 nk 0 n0 .
Para k > k0 temos nk > nk 0 > n0 e, assim, d ( xnk , a) < .

Logo, xn a .
k

Nota: Esta proposio muito til para mostrar que determinadas

sequncias divergem. De fato, basta exibir duas subsequncias con-
vergindo para valores distintos.

Exemplo 3.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 3.4. Sejam ( xn ) uma sequncia num espao mtrico

( M , d ) e a M . O ponto a o limite de uma subsequncia de
( 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 , k 0 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 ter-mos
de ( xn ) . Vamos construir uma subsequncia ( xnk ) de ( xn ) ,
convergindo para a , como segue:
106

Escolhemos xn entre a infinidade de termos de ( xn ) perten-

1

centes a B ( a,1) .
1
Como B a, tambm contm uma infinidade de termos ( xn ),
2 1.
escolhemos n2 > n tal que x B a,
1 n2

2
Suponhamos ter escolhido, desta forma, xn1 , xn2 , , xnk1 .
1
Como B a, contm uma infinidade de termos de ( xn ) , po-
k 1
demos escolher nk > nk 1 tal que xnk B a, .
k
A subsequncia ( xn ) de ( xn ) , assim construda, satisfaz
1 k

d ( x , a) < .
n
k k
1
Como 0 quando k , segue que x n
a.
k
k

3.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
(2 n) = (2, 4, 6,8, ) . n 2 3

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

conceitos? Vejamos:

Definio 3.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 3.14. A sequncia (1+ ( 1)n ) limitada em , pois o con-junto

de seus termos {0, 2} limitado.

Exemplo 3.15. As sequncias estacionrias so limitadas em qual-quer

espao mtrico.
 107

Exemplo 3.16. Em C[0,1] a sequncia ( fn ) , onde fn : [0,1] a

funo dada por f n (t ) = tn , limitada, pois d ( f n ,0) = 1, n . (Note

que 0 denota a funo nula.)

Exemplo 3.17. (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:
2
a) Uma sequncia no limitada em ;
3
b) Uma sequncia limitada em ;
c) Uma sequncia limitada num espao mtrico M com a m-trica
0 1 . Existe uma sequncia no limitada neste espao?

Proposio 3.5. Num espao mtrico (M , d ) , toda sequncia con-

vergente 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 to-mar,

ento,
r1 = max{d ( a , xn )} .
1 n n0

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 pro-
posio 3.5.
108

Observao. A proposio 3.5 til para mostrar que de-terminadas

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 3.1 (Teorema de Bolzano-Weierstrass). Toda sequncia li-

mitada 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 3.12 ilustra a definio do conjunto A .

infinidade de termos de xn

[ ]
a tA b
Figura 3.12

Temos:
i) a A , pois a xn , n ;

ii) t A , t b .

Logo, A e limitado superiormente.

Seja C = sup A .

Vamos mostrar, agora, que existe uma subsequncia de xn que

converge para C . Pela proposio 3.4 isso equivalente a mos-trar
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

3.13)
 109

tA

C C

Figura 3.13

Como t A , podemos dizer que C < xn para uma infinida-de 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 3.4 segue que C o limite de uma subsequn-

cia de ( xn ) .

Observao. O Teorema 3.1 pode ser generalizado para R 2 . Por

exemplo, se ( xn , yn ) uma sequncia limitada em 2 , ento ( xi ) uma
sequncia limitada em R e, portanto, possui uma subsequn-cia ( xnk )
convergente. Considerando agora a sequncia ( ynk ) , notamos que esta
sequncia limitada em R e portanto possui subsequncia ( ynkj )
convergente. Logo, ( xnk j , ynk j ) subsequncia de ( xn , yn ) con-
vergente.

Nota: Repare que a demonstrao acima pode ser facilmente adap-tada

para Rn e, portanto, o Teorema 3.1 tambm vale para Rn .

3.6 Caracterizao dos Conceitos do

Captulo 2, atravs de Sequncias
Proposio 3.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 .
110

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= n , podemos escolher um ponto
1
xn B a , n ( X {a}) .

A sequncia ( xn ) est em X {a} e satisfaz

1
d( a , x ) < .
n n
1
Como 0 segue que x a.
n
n

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

Basta observar que a sequncia 2

1
lim n =0.
n 2

Exerccio Proposto
6) Decida se os pontos dados so pontos de acumulao dos se-
guintes conjuntos:
a) a = 1 , X = (0,1) em .

b) a = (0,1) ,
1 1 1 21 3 1 4 2
X = (0,1), (1, 0), , , , , , , , , em .
2 2 3 3 4 4 5 5
c) a = 2 , X = em .
7 56
d) a = 9ea= 99 , X = {0, a1 a2 a2 / ai = 5, 6 ou 7} em .
 111

Proposio 3.7 (Ponto Aderente). Sejam ( M , d ) um espao mtrico e

X M . Um ponto a M pertence ao fecho de X , 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, ) . Te-

mos que ( xn ) est em X e xn a .
Se a X ' , pela proposio 3.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 3.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 elemen-tos 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 pe-ridica:
a = b0 , b1b2 b3
.
112

Tomamos a sequncia:

x1 = b0
x
2 = b0 , b1
x3 = b0 , b1b2

xn = b0 , b1b2 bn1 .

A sequncia xn a , pois
| x a |=| b ,b b b b ,b b b b |=| 0, 0 0b b |< 1 0

n 0 1 2 n1 0 1 2 n 1 n n n+1 10n1
Proposio 3.8 (Conjunto Fechado). Sejam ( M , d ) um espao m-
trico 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 3.7, a X . Como X fechado, X = X e,
assim, a X .

) Vamos mostrar que X X . Seja a X . Pela proposio 3.7,

existe uma sequncia ( xn ) em X , xn a . Aplicando a hi-ptese
segue que a X .

Logo, X X e ento X fechado.

Nota: A proposio 3.8 muito til para verificar que alguns con-juntos
no so fechados.

Exemplo 3.18. O conjunto X = [0,1] ( ) no fechado em .

2
De fato, a sequncia est em X e seu limite, zero, no
pertence a X . n

Exerccio Proposto
7) Verifique que no so fechados os conjuntos:
2 4 6 8
a) X = 3,5 , 7 , 9 ,em ;

b)
 113

1 1 1 1 1
b) X = 1, , , , , ,em ;
2 3 4 5 5
c) X = em ;

d) X = {( x , y ) / x 2 y2 < 1} em 2
.

Proposio 3.9 (Ponto de Fronteira). Sejam ( M , d ) um espao m-

trico 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. y n = a
n n

Prova:
) Seja a Fr( xn ). Ento a X e a C ( X ), pois

Fr( X ) = X C ( X ).

Pela proposio 3.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 = 1 . Como a = lim xn , existe n0 tal que
B ( a , 1 ) A , n > n0 .

Como os termos de ( xn ) pertencem a X , segue que

B(a,)X.
Analogamente, como a = lim yn , n1 , tal que
B ( a , 1 ) 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.

114

Exerccio Resolvido
3) Verifique que o ponto (0, 0) um ponto de fronteira do conjun-to X
= {( x , y ) 2 / x < y} em 2 .
Resoluo:

A figura 3.14 ilustra o conjunto X .

Figura 3.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 3.9.

Proposio 3.10 (Conjunto Aberto). Sejam ( M , d ) um espao m-

trico e A M . A aberto se, e somente se, cumpre a seguinte con-
dio:
( xn a A) xn A para todo n suficientemente grande.
 115

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
gran-de.
Tese: A aberto.

Vamos mostrar que C ( A) fechado. Para isso, vamos usar a

proposio 3.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 3.8, segue que C ( A) fechado.

Logo, A aberto.

3.7 Alguns Resultados Interessantes em

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

3.7.1 O Conjunto de Cantor

Nesta seo estudaremos o conjunto de Cantor, conjunto este introdu-
zido pelo matemtico alemo Georg Cantor em 1883. Alm de ter pro-
priedades 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 matemti-ca,
como sistemas dinmicos, anlise e topologia.

O conjunto de Cantor K um subconjunto fechado do intervalo [0,1] ,

construdo da seguinte forma:
116

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 intervalos

1 2
restantes 0, e ,1 .
3 3
12 1 2 78
Sobra, nesta etapa: 0, , ,
,1 .
9 9 3 3 9 9
k-sima etapa: Retira-se o tero mdio aberto de cada um dos inter-
valos restantes na etapa anterior.

Repete-se o processo indefinidamente. O conjunto K dos pontos no

retirados o conjunto de Cantor.

A figura 3.15 ilustra o processo de construo do conjunto de Cantor.

[ ] [ ]
0 1 2 1
3 3

[ ] [ ] [ ] [ ]
0 1 2 1 2 7 8 1
9 9 3 3 9 9

[][] [][] [] [ ] [][]

Figura 3.15

Observao. Note que todo x [0,1] se escreve como

a a3 a4
a1 + 2 + + + ... , onde a {0,1, 2} .
3 32 3 3 3 4 i
Logo, o conjunto de Cantor consiste de todos os pontos onde
ai {0, 2} .

3.7.1.1 Propriedades do Conjunto de Cantor (K)

1) K fechado
Se indicarmos por I1 , I 2 , I 3 , , In , os intervalos abertos omi-tidos,
temos que
 117

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

n=1 n =1

Como In aberto, ( In )C fechado para todo n . Pelas proprie-

dades de conjuntos fechados segue que K fechado.

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 de-pois

da n -sima etapa de construo de K restam apenas in-
1 1
tervalos de comprimento 3 n . Como 3 n 0, vemos que > 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 pon-tos de

acumulao).

Vamos mostrar isso em duas etapas.

Etapa 1: Vamos observar primeiro os pontos extremos dos interva-los

retirados 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 esquer-da

do intervalo ( c , b) retirado para formar K (Figura 3.16). Quando ( c , b)
foi retirado, restou um certo intervalo [ a , c] .

(b

[ ](
a an c

Figura 3.16
118

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.

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

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

3.7.2 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

limita-do, existe um intervalo [ a , b] tal que A [ a , b] .

Consideremos, agora, os intervalos

a+b a+b
a, e ,b .
2 2
 119

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 in-

tervalo [ a1 , b1 ] em dois
a +b
a, 1 1 e a1 + b1 , b.
1 1

2 2
Novamente, um desses intervalos contm uma infinidade de
pon-tos de A. Denotamos este intervalo por I 2 = [ a2 , b2 ] .

Continuando esta construo, obtemos uma sequncia

de interva-los encaixados e fechados
I1 I 2 I3 ,
onde I n = [ an , bn ] , cujos comprimentos so:
ba
I1 :
2
ba
I2 :
4
ba
I3 :
8

b a
In : 2 n .
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 + )

con-tm algum ponto a A , a p .
ba
Seja n tal que < . Observe que este nmero existe,
n0
0 2
ba
pois a sequncia 0.

n
2
Seja In0 o intervalo correspondente, conforme a
construo reali-zada. Ento,

a ,b p ,b .
n0 n0 (p,p+)e n0
a
n0
120

,b
Como a
n0
n0 contm uma infinidade de pontos de A , o mesmo
ocorre com ( p , p + ) . Logo, p ponto de acumulao de A .

Observao. Uma outra maneira de provar esta verso do teore-ma de

Bolzano-Weierstrass considerar uma sequncia ( xi ) , tal que xi xj ,
i , j , de elementos de A (pode ser feito, pois A ilimita-do). Ento,
pela primeira verso do teorema de Bolzano-Weierstrass, (xi ) possui
subsequncia convergente, digamos xik a . Mas ento a ponto de
acumulao de A .

3.8 Sequncias de Cauchy

Definio 3.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 3.19. A sequncia de Cauchy em .
n
1
De fato, como 0 , > 0 , n0 tal que
n
1

0 < , n > n .
n 2 0

Assim, n, m > 0

1 1 1 + 1 < + = .
m n m n 2 2

Exerccio Proposto
9) Considere um espao mtrico (M , d ) com a mtrica 0 1 . Ca-
racterize 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 sequn-cia
convergente de Cauchy?
A resposta positiva, conforme proposio que segue.
 121

Proposio 3.11. Toda sequncia convergente num espao mtrico ( M ,

d ) uma sequncia de Cauchy.

Prova:
Seja ( xn ) a . D = 1 . Ento existe n0 tal que
n > n d ( x , a) < .
0 n
2
Para m, n > n0 , temos
d(x,x)d(x,a)+d(a+x)
< + = .
n m n m
2 2

Nota: No vlida a recproca, isto , nem toda sequncia de Cau-chy

em um espao mtrico convergente.

Exemplo 3.20. 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

Exemplo 3.21. Seja M = com a mtrica usual.

A sequncia (1,1.4,1.41,1.414, ) de Cauchy em , mas no con-verge em

. Observe que a sequncia converge para 2 em e
2 .

Embora existam sequncias de Cauchy que no convergem, a pro-

priedade de Cauchy est intimamente ligada convergncia. A pro-
posio que segue mostra uma dessas relaes.

Proposio 3.12. Seja ( M , d ) um espao mtrico e ( xn ) um sequn-cia

de Cauchy em M . Se ( xn ) possui uma subsequncia ( xnk ) que converge
para a M , ento xn a .

Prova:

Seja > 0 . Como xnk a, k 0 tal que d ( xnk d

Como ( xn ) de Cauchy, n0 tal que

( xn , xm ) < 2 , m, n > n0 . , a) < 2, k > k0

.
122

Seja n1 = max{n0 , k0 } e seja nk > ( nk fixo).

n1 Temos

d ( xn , a ) d ( xn , xnk ) + d ( xnk , a) < 2 +

2= , n > n1 .
Logo, ( xn ) a .

Proposio 3.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.

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

3.9 Espaos Mtricos Completos

, portanto, apenas um smbolo para um nmero que ainda tem
que ser descoberto, mas no sua definio. A definio, porm,
satisfat-riamente 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 Cau-chy 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.
 123

Definio 3.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 3.2. O conjunto dos nmeros reais , com a mtrica usual, um

espao mtrico completo.

Prova:
Seja ( xn ) uma sequncia de Cauchy em . Pela proposio 3.13, (
xn ) limitada. Usando o Teorema de Bolzano-Weiers-trass,
podemos concluir que ( xn ) possui uma subsequncia convergente.
Pela proposio 3.12, temos que ( xn ) converge.

Nota Importante. A complitude de tambm pode ser demons-trada sem

o uso do Teorema de Bolzano-Weierstrass (e consequen-temente 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].

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 sequn-
cia de Cauchy em M que no converge em M . Tome, por exemplo,

a sequncia 1 . J mostramos que esta sequncia de Cauchy,

n
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.
124

Resoluo:

No exerccio proposto 9), voc caracterizou as sequn-

cias 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 induzi-da de

. Verifique que M completo.

Resoluo:
Seja ( xn ) uma sequncia de Cauchy em M . Ento ( xn )
de Cau-chy em .
Como completo, a tal que xn a . Mas [0, 2]
fecha-do. Pela caracterizao de conjunto fechado via
sequncias (pro-posio 3.8), a M .
Logo, ( xn ) converge em M e, consequentemente, M completo.

Exerccio Proposto
11) 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 3.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.
 125

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 3.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 3.11, ( xn ) de Cauchy. Como F completo, ( xn )
converge em F , isto , a ' F tal que lim xn = a ' .
Pela unicidade do limite (proposio 3.2), temos a = a ' . Pela
caracterizao de conjunto fechado via sequncia (proposio 3.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 M M
densamente e d = d sobre M . Basta adicionar a M os limi-tes das
sequncias de Cauchy em M .

Por exemplo, [0, 2] o completado de (0, 2) como subespao m-trico

de .

1 1 1 1 1 1
0,1, , , , , o completado de 1, , , , , como su-
2 3 n 2 3 n
bespao 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 pergun-tar: e os

espaos Euclidianos 2 , 3 , ..., n , so completos?

2
A resposta positiva, conforme voc pode constatar para no exerccio
que segue.
126

Exerccio Resolvido
2
7) Verifique que com a mtrica usual um espao mtrico
completo.

Resoluo:
2
Seja ( z n ) = (( xn , yn )) uma sequncia de Cauchy em .
Ento ( xn ) e ( yn ) so sequncias de Cauchy em (verifique
esse resultado de forma anloga prova da proposio 3.1).

Como completo, xn a e y n b . Usando a

propo-sio 3.1, voc conclui que z n ( a , b) .

Outra maneira de verificar que R 2 completo, notar

que se ( xn , yn ) sequncia de Cauchy em R2 ento ela
limitada e en-to, pelo teorema de Bolzano-Weierstrass
para R 2 , existe subse-quncia convergente e portanto,
pela Proposio 3.12, ( xn , yn ) convergente.

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?

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 inter-no, que

completo em relao mtrica oriunda deste produto
n

interno. Por exemplo, em n

com o produto interno x , y = xi yi ,
i=1

onde x = ( x1 , x2 , , xn ) e y = ( y1 , y 2 , , yn ) , temos

|| x ||= x,x

e
d ( x , y ) =|| x y || .
 127

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 afir-mao
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 z n = xn yn 0 .

4) Se ( xn ) converge e ( yn ) diverge, ento ( z n = xn + yn ) diverge.

5) Se ( xn ) e ( yn ) divergem, ento ( z n = xn + yn ) diverge.

6) Se ( xn ) a e a > 0 , ento xn > 0 para uma infinidade de n-dices.

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 subse-
quncia de Cauchy.

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

10) Se uma sequncia montona possui uma subsequncia con-

vergente, ento ela convergente (se necessrio revise a noo de
sequncia montona na seo 1.3 do texto de Clculo I).

2
11) Estude a convergncia das seguintes sequncias em :

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

n 1 ( n 1)2
b) ( z ) tal que z = , 2
n n 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 subsequn-cias
convergindo para pontos distintos.

14) Verifique que no so completos os seguintes subespaos m-tricos

de :
a) o intervalo [2, 5) ;
1
b) n,n;

c) [0,1] .

15) Verifique que no so completos os seguintes subespaos m-tricos

de 2 :
a) X = [0,1] [0,1) ;

b) Y = {(x , y ) 2
/ x > 0 e y > 0};

c) Z = {(x , y ) 2
/ 0 < x 2 + y2 < 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.

2
18) Se (xn ) e ( yn ) so sequncias de Cauchy em , o que se pode

afirmar a respeito da sequncia d ( xn , yn ) ?

 129

Resumo
Neste captulo voc estudou a noo de convergncia. Para facilitar seu
aprendizado foi revista a definio de convergncia para sequ-ncias de
nmeros reais. A seguir, a noo de convergncia foi es-tendida para
sequncias em um espao mtrico qualquer.

Os principais conceitos do captulo 2 foram retomados e caracteriza-dos

atravs de sequncias. Tambm foram abordados alguns resul-tados
interessantes de , como o princpio dos intervalos encaixa-dos e o
teorema de Bolzano-Weierstrass.

Voc se familiarizou com o conjunto de Cantor, que um dos con-juntos

mais interessantes da anlise matemtica.

Finalmente, voc concluiu o estudo deste captulo vendo a noo de

espao mtrico completo, que caracterizado por meio das sequn-cias
de Cauchy. O resultado mais importante : os espaos Euclidia-nos n , n
= 1, 2, 3,... so espaos mtricos completos.
130
Captulo 4
Continuidade
 133

4 Continuidade
Nosso objetivo nesta unidade estudarmos funes con-
tnuas e suas propriedades. Iniciaremos com uma breve
motivao do assunto e a seguir introduziremos a defini-
o de funo contnua em um espao mtrico. Nosso in-
teresse estudar diversas caracterizaes de funes con-
tnuas e suas relaes com conjuntos abertos, fechados,
compactos e/ou conexos.

4.1 Introduo
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-a-dia. Por
exemplo, quando vamos almoar em um restaurante que oferece buf por
quilo, o preo que pagamos pelo nosso prato de comida de-pende
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 1

100 473 1000 g 100 473 1000 g

Figura 4.1

Outro exemplo de uma funo contnua que aparece frequentemen-te no

nosso dia-a-dia a funo temperatura. Se cada ponto da Terra
134

identificado por sua latitude e longitude, ento a temperatura em cada

ponto da Terra uma funo contnua de duas variveis. Ou-tros
exemplos incluem velocidade do vento, presso atmosfrica, etc.

4.2 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

numricos da diferena

diminuem indefinidamente junto com os valores de (...).

Ou seja, Cauchy estava pedindo que variaes infinitamente pe-quenas

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 y0e...y0 + e.

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

seja arbitrariamente pequena, se a diferena x x0 for suficiente-
mente pequena.

Podemos agora recapitular a definio de continuidade, via e s e

s, de uma funo real f .

Definio 4.1. Seja X um subconjunto de e a X . A fun-

o 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.
 135

A definio de continuidade para espaos mtricos anloga defi-nio

acima. Apenas trocamos a noo de distncia em , ou seja, o mdulo,
pelas mtricas apropriadas. Vejamos:

Definio 4.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, po-rm

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 4.1. f : dada por f ( x ) = 2x , onde tem a mtrica usual,

contnua. Veja o grfico na figura 4.2.

y
f (x) = 2x

Figura 4.2

Note que dado e > 0 , podemos tomar = e para satisfazer a de-

finio de continuidade. 2

1 se x > 0
Exemplo 4.2. Seja f : , f (x) = .

1 se x 0
136

Ento f contnua em todo ponto de {0} e f

descontnua no 0. Veja o grfico na figura 4.3.

Figura 4.3

2
Exemplo 4.3. Seja f : .
x (x , x)

Uma representao grfica de f pode ser visualizada na figura 4.4.

f
(x,x)

0 x

Figura 4.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|xa|.

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

Exemplo 4.4. Voc viu um exemplo de uma mtrica em um espao de

funes. Veremos agora um exemplo de funo contnua envol-vendo
um espao de funes.

Seja l ( ) = {a : : sup{| a ( n) | < }}, ou seja, l ( ) o conjunto

n

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 4.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.
138

Exerccio Resolvido
1) Toda funo de Lipschitz contnua.

Resoluo:
e
Dado e > 0 , seja = k .

Logo, se d ( x , y) < ento

d ( f ( x ), f ( y )) kd ( x , y ) < k = e .

Exerccios Propostos
1) Mostre que f : [2, 4] , dada por f ( x) = 1 , de Lipschitz e,
portanto, contnua. x

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 4.5. Seja ( M , d ) um espao mtrico e p M .

Defina f : M por f (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.

 139

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 cont-nuas no
constantes.

Voc deve estar achando que nem sempre fcil mostrar que uma
funo contnua. Realmente, usando apenas a definio, em mui-tos
casos, difcil, seno impossvel, decidir pela continuidade ou no de
uma funo. Portanto, precisamos de outras caracterizaes de
continuidade de uma funo, e este ser o foco dos teoremas que
seguem.

Teorema 4.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.
140

11 1
Tomando = 1,
, , , e assim sucessivamente, temos que
2 3 4
n , xn M tal qued ( xn , a) < 1 e d ( f ( xn ), f ( a)) e .
n
Mas ento xn a e lim f ( xn ) f ( a) o que contradiz nossa hi-
n
ptese.

Logo, f contnua em a .

Como uma consequncia direta do teorema 4.1 acima, podemos agora

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

Proposio 4.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 .

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

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 pro-
priedades 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.

 141

Nota: A proposio 4.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 defini-o.

Observao. O teorema 4.1 tambm pode ser muito til quando

queremos mostrar que uma funo no contnua. Vejamos:
1 se x
Exemplo 4.6. Seja f : dada por f (x) = .
1 se x
Temos que f no contnua em nenhum ponto.
2
De fato, se a ento podemos tomar a sequncia (xn ) = a +
n
que converge para a , mas tal que f (xn ) 1 f (a) = 1 , pois
xn \ .

Se a , basta tomar uma sequncia (xn ) contida nose 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 teo-rema

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

142

Segue do teorema 4.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) = 1, se x = 0
x , cont-

nua. 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. Mostra-remos
abaixo que f contnua se, e somente se, a imagem in-versa de
abertos por f aberta, o que verdade se, e somente se, a imagem
inversa de fechados por f fechada. Vejamos:

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

a
Seja f 1 (F ) . Ento, pela Proposio 4.7, existe uma sequncia
(x ) em f 1 (F ) tal que x a .
n n
 143

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 ) aber-to de N e, portanto, (por hiptese) f 1 ( B ( f ( a), e)) aberto em M .

Como a f 1 ( B ( f ( a), e)) , existe > 0 tal que

1
B ( a , ) f ( B ( f ( a), e)) (tente desenhar o que est
acontecendo, isto deve ajud-lo). Veja a figura 4.5:

MNf

f1(B(f(a),))

x
a f(a)

Figura 4.5

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

x f 1 ( B ( f ( a), e)) .
144

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

dese-jado.

Corolrio 4.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 4.6:

g
1
1
f

Figura 4.6

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

eg?

Intuitivamente, f e g no parecem ser contnuas e o teore-

ma anterior torna fcil provar esta afirmao. Basta notar que
f 1 1 , 3 = f 1 B 1, 1
= 0,
1 que no aberto em e
2 2 2 2
g 1 ({1}) = que no fechado em .
 145

E a composio de funes contnuas? Voc decidiu que esta opera-o

(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 caracteriza-o de
funo contnua dada no teorema anterior para demonstrar que a
composio de duas funes contnuas uma funo contnua.

Proposio 4.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:
1
Seja A um aberto de P . suficiente mostrar que ( g f ) ( A)
aberto em M . Note que g 1 ( A) aberto em N (pelo teorema 4.2)
e f 1 ( g 1 ( A)) aberto em M (pelo teorema 4.2 novamente).

Mas ( g f ) 1 ( A) = f 1 ( g 1 ( A)) e, portanto, aberto em M

como desejado.

A proposio acima fala do comportamento global da continuidade com

respeito composio. E o comportamento local? Temos a se-guinte
proposio:

Proposio 4.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:
146

f g

1

a b=f(a) g(f(a))=g(b)

Figura 4.7

Exerccio Resolvido
3) Prove, via sequncias, a proposio 4.3.

Resoluo:
Seja ( xn ) sequncia em M tal que xn a . Como f contnua em a
, pelo teorema 4.1, f ( xn ) f ( a) . Como g contnua em f ( a) se-
gue que g ( f ( xn )) g ( f ( a)) e portanto g f contnua em a .

Exerccios Propostos
5) Seja f : A n contnua em x0 A, A ( M , D) , A aberto. Su-por
f ( xo ) 0 n . Provar que f ( x) 0 em alguma vizinhan-a do
ponto x0 .

6) Analisar a continuidade de

senx
f (x ) = x,x0 e f (0) = 1, x .

7) Sejam f : n m contnua e B n
limitado. f (B) obriga-
toriamente limitado?

4.3 Conjuntos Compactos

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

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 introdu-zir a noo de
cobertura.

Definio 4.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 aberto, dizemos
L

que C uma cobertura aberta de X.

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

XC.
L '

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

Exemplo 4.7. Em , considere os conjuntos:

X = [0,1] ,

1 1
C1 = , ,
2 2

C=1,3,2
42

C=1,5.3
84

A figura 4.8 ilustra este exemplo.

148

C2

1 0 1 1 1 1 5 3
2 8 4 2 4 2
C3
C1
Figura 4.8

Note que:

C = {C1 ,C 2 ,C3} uma cobertura aberta de X .

C ' = {C1 ,C2} uma subcobertura aberta de X .

C '' = {C1 ,C3} uma subcobertura aberta de X .

C ''' = {C 2 ,C3} no subcobertura de X .

Podemos, agora, ver a definio de conjuntos compactos.

Definio 4.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 con-

juntos compactos. No decorrer da seo, veremos as vrias carac-
terizaes de conjuntos compactos que do origem a estas outras
definies. Vejamos alguns exemplos:

Exemplo 4.8. Seja K = {1, 2, , n} . K compacto, pois se C = {C } L

uma cobertura aberta de K , ento 1C para algum 1 L ,
1
2 C
2 para algum 2 L , , n C 2 , para algum n L . Logo,
{C ,C
1 2 , ,C n } uma subcobertura aberta finita de K .
Exemplo 4.9. Qualquer conjunto finito compacto. A demonstrao
anloga feita no exemplo anterior.

Exemplo 4.10. Em , todo intervalo da forma [a ,b] compacto

(provaremos este fato mais para frente).
1 1 1
Exemplo 4.11. Seja X = 1, , , , , .
2 3 n
 149

Note que X infinito e para qualquer x X existe um intervalo

aberto Ix de centro x tal que I x ( X \ { x}) = . A figura 4.9 ilustra
a situao.

I1 I1 I1 I1 I
1
n
4 3
() ( ) ( ) ( 2 ) ( )
0 1 1 1 1 1
n 4 3 2
Figura 4.9

A famlia C = {Ix }xX uma cobertura aberta de X que no possui

subcobertura finita. Portanto, X no compacto.

Exemplo 4.12. De maneira semelhante desenvolvida no exemplo

anterior, mostra-se que e no so compactos em .

Exemplo 4.13. no compacto. Considere a cobertura {(n, n + 2)}n .

Tal cobertura no possui subcobertura finita.

Exemplo 4.14. n tambm no compacto. Por exemplo, a cobertu-ra

aberta {B (o , n)}n no possui subcobertura finita. Voc consegue
encontrar outras coberturas abertas de n que no possuem subco-berturas
finitas?

Voc deve estar achando que no muito fcil decidir quando um

conjunto compacto ou no. Para isto, veremos duas novas caracte-
rizaes de conjuntos compactos.

Teorema 4.3 (Bolzano-Weierstrass). Seja (M , d ) um espao mtri-co.

Ento A M compacto se, e somente se, toda sequncia em A possui
uma subsequncia convergente (que converge para um ponto de A ).

Prova:

A prova deste teorema pode ser encontrada em [14,

Marsden & Hoffman] ou [15, Munkres].

150

Como consequncia deste teorema, podemos ver que X = [0,1)

no compacto em , pois a sequncia { xn} , onde xn = 1 1
n
converge 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 4.4 (Teorema de Heine-Borel). K n compacto se, e

somente se, fechado e limitado.

Prova:

) Suponha que K compacto.

Ento, pelo teorema 4.3, toda sequncia em K possui

uma subse-quncia 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
limita-da. Logo, no possui subsequncia convergente, o que
contradiz a afirmao do pargrafo anterior.

Ainda K fechado, pois seno, a K tal que a = lim x , x K ,

n
n 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 Bolzano-

n
Weierstrass, generalizado para , existe uma subsequncia
con-vergente, cujo limite um ponto de K (pois K fechado).
Segue, ento, que K compacto pelo teorema 4.3.

 151

Nota: O teorema de Heine-Borel tambm pode ser provado dire-tamente,

sem o uso do teorema 4.3 (Bolzano-Weierstrass) (ver [14, Marsden &
Hoffman]).

Observao. Note que a caracterizao de compactos dada no te-orema

de Heine-Borel s vlida em n .

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 ) li-mitado
(por qu?) e fechado (por qu?), mas no compacto (pois a
1
cobertura B x , , x M no possui subcobertura finita).
2

Exemplo 4.15. Usando o teorema de Heine-Borel, podemos concluir que

qualquer bola fechada em n compacta.

Observao. interessante notar que a ida do teorema de Heine-Borel

valida em qualquer espao mtrico M , isto , se K M compacto
ento K fechado e limitado. Vejamos:

Seja x K . Ento a coleo de bolas abertas { B ( x , n)}nK cobre K , e

como K compacto, existe uma subcobertura finita e portanto
K limitado.

Para notar que K fechado, provamos que K C aber-

to. Para isto, tome x AC e considere a coleo de abertos
1
U n = y M : d ( x , y) > .
n

Como, y M , y x , d ( x , y) 0 , temos que {Un }n cobre K . Da

compacidade de A , obtemos uma subcobertura finita, digamos
U n1 ,...,Uni , com n1 < n2 < ... < nj .

1 K
Mas ento B x ,
C e portanto K C aberto e K fechado
n
j

como desejado.

Nota: No se assuste se a demonstrao acima lhe pareceu difcil. Ela

esta ai para que voc tenha um gostinho do tipo de anlise mais avanada
que vista usualmente nos cursos de Bacharelado.
152

Como comentamos no incio desta seo, funes contnuas em

conjuntos compactos possuem muitas caractersticas interessantes.
Iremos agora explorar algumas destas caractersticas.

Teorema 4.5. Seja f : M N uma funo contnua e M um espao

mtrico compacto. Ento f ( M ) compacto em N .

Prova:
Para provar que f ( M ) compacto, vamos mostrar que toda
se-quncia em f ( M ) possui uma subsequncia convergente.

Seja ( yn ) uma sequncia em f ( M ) . Ento, yn , xn M tal que

y n = f ( xn ) .

Logo ( 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 con-verge para f ( a) . Logo, f ( M ) compacto.

Exerccio Resolvido
4) Seja K 2 compacto. Prove que
A = {x : y R tal que (x , y ) k} compacto.

Resoluo:

Note que f : R 2 R dada por f (x , y ) = x contnua e A =

f (K ) . Logo, pelo teorema 4.5, A compacto.

Exerccios Propostos
8) Encontre uma funo f : R R contnua e um compacto
1
K tal que f (K ) no compacto.

Corolrio 4.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.
 153

Corolrio 4.3. Seja f : M uma funo contnua real em um es-M .

pao mtrico compacto Ento f atinge seu mximo e seu m-
nimo em M .

Prova:
Como f ( M ) limitado, existem y1 = inf { f ( x)} e y 2 = sup{ f ( x)} .
xM xM

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

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

e f ( x2 ) = max{ f ( x)}.
xM

4.4 Continuidade Uniforme

Aparentemente ainda no foi observado que (...) continuidade em um
ponto (...) no a continuidade (...) a qual pode ser chama-da 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 vagarosa-mente

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 procu-ravam

por condies suficientes para garantir a integrabilidade de funes
contnuas. Vejamos a definio:

Definio 4.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 > 0 , necessrio achar um > 0 que funcione para to-dos os
pontos do domnio da funo f !

Vejamos alguns exemplos:

Exemplo 4.16. f ( x ) = x uniformemente contnua em . Dado > 0, basta

tomar = e (se | x y |< , ento | f ( x ) f ( y) |< = e). Ver figura 4.10.
154

y
f

Figura 4.10

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

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

0 , depende de e e tambm diretamente de x0 , de modo que
( x0 ) 0 se x0 0+ .

A figura 4.11 ilustra este exemplo.

Figura 4.11

Exemplo 4.18. Se f de Lipschitz, ento f uniformemente con-

tnua. Vejamos:

Dado e > 0 , como f de Lipschitz, k 0 tal que

d ( f ( x ), f ( y )) kd ( x , y) x , y M .
 155

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

Exemplo 4.19. A funo f : R R dada por f ( x ) = x Lipschitz e

portanto uniformemente contnua.

Observao. Note que a restrio de f ao intervalo [1, ) , por exem-plo,

uniformemente contnua. Voc consegue encontrar outros in-tervalos
onde f uniformemente contnua?

Exerccios Propostos
9) Decida se a funo f :[0, + ) [0, +) definida por f (x ) = x2
uniformemente contnua.
10) Mostre que f :[a ,b] dada por f (x ) = x2 Lipschitz e por-tanto
uniformemente contnua.

Veremos agora um teorema (cuja primeira verso, para n , devida a

Heine, 1872, [6, Hairer & Wanner]) que nos garante que toda fun-o
contnua em um compacto uniformemente contnua.

Teorema 4.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
(isto , x B (a, ) ), ento d ( f (x ), f (a)) e
que se
d (x , a) < < .
a a
2
Agora,
a
B a, note que a coleo de bolas abertas de centro a e raio ;
2
a , cobre M .
2 aM
Como M compacto, existe uma subcobertura finita, digamos,

Ba , 1
1 ,Ba , 2
2 , ,Ba,n
n .
2 2 2
156

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 a
i
, , isto , d ( x , a ) < i , para algum i en-
i i

tre 1, 2, , n . 2 2

Mas ento, d ( y, a ) d ( y, x) + d ( x, a ) < + i i + i = e,

i i 2 2 2 i

usando a desigualdade triangular mais uma vez, temos, da conti-

nuidade em ai , que

d ( f ( x), f ( y)) d ( f ( x), f ( a )) + d ( f ( a ), f ( y)) e + e = e .

i i
2 2

Exemplo 4.20. A funo f : [0, ) [0, ) da por f ( x) = x uni-

formemente contnua em [0, ) . Vejamos:

Note que f restrita ao intevalo [0,1] uniformemente contnua pelo

teorema 4.6, pois [0,1] compacto. Tambm a restrio de f ao in-
tervalo [1, ) uniformemente contnua, pois se x 1, y 1, ento
x y x y x + y = ( x y )( x + y ) = x y x y
e portanto, dado e > 0 , basta tomar = e na definio de continui-dade
uniforme.

Conclumos que f : [0, ) [0, ) uniformemente contnua.

Figura 4.12
 157

Exerccios Propostos
11) D um exemplo de espaos mtricos M e N e uma funo contnua
f : M N tal que N compacto, mas M no com-pacto.

12) Prove que f ( x ) = x2 no uniformemente contnua em .

13) Sejam f e g funes reais uniformemente contnuas em um espao
mtrico M . Mostre que cf e f + g so uniformemente contnuas em
M.
14) Mostre que a composio de funes uniformemente contnu-as
uma funo uniformemente contnua.

4.5 Conjuntos Conexos

Nesta seo estudaremos os conjuntos conexos e, mais adiante, algu-mas
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 proprie-dades

da reta real, que a tornam conexa, gostaramos de capturar? A proposio
abaixo nos d esta resposta:

Proposio 4.4. Seja C um subconjunto aberto e fechado de . En-to C =

ou C = .

Prova:

Suponha que C e C . Ento existem x C e z

pertencen-te ao complementar de C . Sem perda de
generalidade, podemos assumir que x < z .

Seja S = C [ x , z] .

Note que S fechado (pois a interseco de dois

fechados) e limitado superiormente. Logo, S tem um
p
supremo, digamos , e p S .
158

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 4.13 ilustra uma das possveis posies de t :

S
t
[ ( ) ) R
x p p
z
p+
C

Figura 4.13

Podemos agora definir um conjunto conexo:

Definio 4.7. Seja (M , d ) um espao mtrico. Se os nicos subcon-

juntos de M que so simultaneamente abertos e fechado so M e , ento
M dito conexo.

Exemplo 4.20. conexo.

Exemplo 4.21. Qualquer intervalo da reta conexo (veremos a prova a

seguir).

Exemplo 4.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.

Exemplo 4.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.
 159

O exemplo 4.23 acima nos mostra um conjunto desconexo. Ele for-

mado por dois pedaos. Isto nos leva seguinte definio:

Definio 4.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,UV=MeUV=.

Proposio 4.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 sepa-rao 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 , CC formam uma sepa-
rao de M , o que contradiz a hiptese. Logo, C = M ou C = .

Com o resultado acima, podemos mostrar que o conjunto dos racio-nais,

visto como subconjunto de R , no conexo. Precisamos ento definir
conexidade para subconjuntos de um espao mtrico. Temos a seguinte
definio:

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

Voc consegue achar uma separao para ?

160

Exemplo 4.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 re-sultados.
Vejamos:

Teorema 4.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 ,

UV=,

UeV,

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. Assumin-
1
do este resultado, temos que o subconjunto S = x, sen : 0 <x<1
x
de 2 conexo.
 161

Figura 4.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 4.15).

S
t
[ ( ) ) R
x p p
z
p+
C

Figura 4.15

Este resultado segue da proposio abaixo.

Proposio 4.6. Seja C um subconjunto conexo de um espao m-trico

M . Se Y M tal que C Y C , ento Y conexo. Em par-ticular C
conexo.

Prova:
A prova desta proposio pode ser encontrada em [10, Kuhlkamp].

162

A proposio acima nos permite mostrar alguns resultados surpre-

endentes, que desafiam a nossa intuio. Com ela voc pode fazer o
seguinte exerccio:

Exerccio Proposto
15) Mostre que S {(0, q ) : q ; 1 q 1} , onde

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

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

Proposio 4.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 4.7.

Uma vez provado que (1,1) conexo, segue que (0,1) cone-xo,
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
16) Mostre que os intervalos abertos (a, +) e (,b) so conexos.
 163

Proposio 4.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 4.6 que I
conexo.

Exerccio Proposto
17) 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 se-

parao para C .

Terminaremos nosso estudo com uma aplicao muito importante da

conexidade: o teorema do valor intermedirio.

4.6 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 teo-rema 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 4.8 (Teorema do Valor Intermedirio). Seja M um es-

pao mtrico conexo e f : M contnua. Sejam y1 , y 2 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 se-
o anterior). Ento dados y1 , y 2 f ( M ) e y tal que y1 < y < y2 ,
y f ( M ) . Logo, x M tal que y = f ( x) .

164

Como uma aplicao do teorema do valor intermedirio, provare-mos

que na linha do equador existem dois pontos opostos com a mesma
temperatura (ver figura 4.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 S1 em 2 , isto ,

S 1 = {(cos t , sen t ) : t [0, 2 ]}

e que f : S1 a funo temperatura, a qual contnua.

Note que S1 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 S1 . Observe que g

contnua. Seja p S1 . 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 inter-medirio,
existe um ponto u S1 tal que g (u) = 0 e isto implica que f (u ) = f (u),
ou seja, a temperatura no ponto u igual no ponto u .

Figura 4.16

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 Inter-net.

Para terminar, seguem mais alguns exerccios.
 165

Exerccios Complementares
1) Analise a continuidade das funes:
a) f :
0, x 0
f (x) = ; 1, x
>0

b) g : {0}
0, x < 0
g (x) = ;
1, x > 0

c) h : X
2, x < 1 1 1
h (x) = X = 1,1 ,1 ,.
1, x = 1
2 3
2) Mostre que se f : X contnua em a X , ento | f | tam-bm 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 (x3 )]2 . h contnua? Justifique.

5) Mostre que a funo f (x ) = x2 definida para | x | 17 lipschit-

ziana, mas f (x ) = x2 definida em < x < + no . D outros
exemplos de funes lipschitzianas.

6) Uma funo f : M N satisfaz a condio de Holder de or-dem

k se existe um c > 0 tal que d ( f (x ), f ( y )) c[ d (x , y)]k. Mos-tre
que nestas condies f contnua.

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.

166

10) Seja M um espao mtrico e seja X A : M a funo carac-terstica

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 iso-

metria, 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 com-pacto 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, 2 , 3 , 4 ,em ;

e)
f) [1, 2] em ;

g) A = {x / 0 x 1 e x } ;
2
h) D = {(x , y ) / 0 x 1};
2 2
i) S = {(x , y ) / xy = 1} {(x , y ) / x 2 + y2 < 5} .

17) Seja M um espao mtrico com a mtrica discreta. Mostre que M

compacto se, e somente se, M finito.
 167

18) Sejam A e B subconjuntos de um espao mtrico tais que A

compacto e B fechado. Mostre que A B compacto (quan-do A
B ).

n
19) As seguintes afirmaes a respeito de so verdadeiras. Jus-
tifique-as:
a) B = {( x1 , x2 , , xn ) n
/ x12 + x22 + + xn2 1} compacto;

b) S n1 = {( x1 , x2 , , xn ) n
/ x12 + x22 + + xn2 = 1} compacto;
n
c) Uma bola aberta B ( p , r) , p e r > 0 no um con-
junto 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. Pro-var que

f 1 : f ( B ) B contnua.

23) Seja f : (0,1) uniformemente contnua. f obrigatoria-mente

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 des-conexos.

n
26) Seja A um subconjunto compacto de 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?
168

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, con-
juntos 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 teore-ma 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.
Respostas dos Exerccios
 171

Captulo 1
Exerccios Propostos
1) Como X e Y so enumerveis, existem f : X e g : Y bi-jees.

Definimos
h:XY
h ( x , y ) = ( f (x ), g ( y))

Ento h injetiva. Como enumervel, pela proposio 1.1, temos

que X Y enumervel.

2) Vamos exemplificar com p=4. Voc precisa encontrar 4 conjuntos A1

, A2 , A3 e A4 , infinitos e disjuntos, tais que

= A1 A2 A3 A4

Obtenha os conjuntos agrupando os naturais de 4 em 4, em or-dem

crescente. Coloque o primeiro elemento de cada grupo no conjunto A1
, o segundo no conjunto A2 , o terceiro no A3 e, final-mente, o quarto
elemento no conjunto A4 . Veja:

= 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12,

A
1 = {1, 5, 9, }
A2 = {2, 6, 10, }

A3 = {3, 7, 11, }

A
4= {4, 8, 12, }
Podemos escrever:
A1 = {4n 3, n }

A2 = {4n 2, n }

A3 = {4n 1, n }

A4 = {4n, n }
172

3) Supor X finito. O nmero de elementos de f ( X ) menor ou igual

ao numero de elementos de X, j que f uma funo. Como f uma
sobrejetiva, Y = f ( X ) .
Supor Y finito. Como f injetiva, o nmero de elementos de X
menor ou igual ao nmero de elementos de Y.

interessante voc fazer um diagrama para visualizar estes re-

sultados.

4) Basta voc definir

a) f : P
()
f n 2n 2, se n par
=
2n, se n impar

b) f : I

f ( n ) = 1 2n

c) f : Qp

n
, se n par
2p
f ( n) =
1n
, se n mpar
2p
Brinque com estas funes convencendo-se que elas so bijees.

5)
a) Sim. Sejam
X = {x1 , x2 , x3 ,..., xn }
Y = {y1 , y 2 , y3 ,..., yn ,...}

Basta voc definir f

:XY
f (xi ) = yi .
 173

b) No, pois um elemento de X no pode ter mais de uma ima-gem

pela funo g.

6) Use o processo diagonal de Cantor e proceda de forma anloga

apresentada no texto, para provar que o conjunto dos nmeros reais
entre 0 e 1 no enumervel.

7) Temos que mostrar que as condies S.1 e S.2 so equivalentes as

condies S.1 e S.2.

Suponha primeiro que S.1 e S.2 so vlidas. Ento claro que S.1
verdadeira. Agora, dado > 0 , se no existe x em X tal que
b < x b , ento, como S.1 vlida, x b para todo x em X.
Portanto b uma cota superior e S.2 implica que b b , uma
contradio.

Por outro lado, suponha que b seja tal que S.1 e S.2 so vli-das e
seja c tal que x c para todo x em X. Se b > c ento, para
= b c , por S.2, temos que existe x em X tal que b < x b .
2
b+c
Mas isto implica que x > > c , uma contradio. Logo b c
2
como desejado e S.2 vlida.

Exerccios complementares
1) Primeiro suponha que X infinito. Ento podemos listar
infinitos elementos distintos x1 , x2 , x3 ,... em e
c c
X = {x1 , x2 , x3 , ...} { x1 , x2 , ...} . Seja Z = { x , x ,...} { x , x ,...} . En-
2 3 1 2

to Z um subconjunto pr prio de X e a funo f : X Z , dada

por f ( xi ) = xi+1 para x { x , x ,...} e f ( x ) = x para x { x , x ,...}c
i 1 2 12

uma bijeo.

Por outro lado, se X finito ento X tem n elementos e qualquer

subconjunto prprio de X tem menos do que n elementos e por-tanto
no existe bijeo entre X e este subconjunto.

2) Sim. Voc pode definir uma bijeo.

f: S

f ( p , q) = circunferncia de centro (p, q) e raio 1.

174

3) Considere 2 conjuntos X e Y enumerveis. Podemos, ento, listar

seus elementos:
X = {x1 , x2 , x3 , }
Y = {y1 , y 2 , y3 , }

Voc pode criar uma lista com os elementos do conjunto W = X Y ,

tomando, alternativamente, um elemento de X e um elemento de Y,
na ordem crescente dos ndices.

Ou seja,
w1 = x1 , w2 = y1 , w3 = x2 , w4 = y2 , w5 = x3 , w6 = y3 ,

4) S enumervel, pois a unio enumervel dos conjuntos enume-

rveis S_i , onde S_i consiste do conjunto de todas as sucesses de
zeros e uns cujos termos a partir do i-simo termo so iguais a zero.

5) Voc pode escrever

2 2 2 2 2
X= , , , , , ,
1 2 3 4 n
a) 2 uma cota superior de X. Outros 2 exemplos de cota superior
so: 3 e 5.
0, -1, -15 so exemplos de cotas inferiores.

b) sup X = 2 , inf X = 0

6)
a) So exemplos de cotas superiores: 2, 50, 1500.

So exemplos de cotas inferiores: 1, 0, -1500.

sup X = 2 e inf X = 1 .

b) O conjunto Y no admite cotas superiores nem inferiores.

c) So exemplos de cotas superiores: 2; 2,01; 2,001.

O conjunto Z no admite cota inferior.

sup Z = 2 ; no existe inf Z .

 175

7) I.1 a cota inferior de X.

I.2 Qualquer nmero maior que a no cota inferior de X.

8)
a) X = {x / x > 0 e x2 < 5}

b) X = {x / x > 0 e x2 > 5}

c) X = {x / x > 0 e 3 < x2 < 5}

Observe que nestes conjuntos, quando existem, o supremo e o nfimo
so irracionais. Voc pode listar muitos outros exemplos.

9)
a) Verdadeira. O supremo de X o elemento mximo de X e o nfimo
o elemento mnimo de X.

b) Verdadeira. Se um conjunto tem supremo ele a menor das cotas

superiores e qualquer nmero maior que ele tambm uma cota
superior.
2
c) Falsa. Por exemplo, o conjunto X = n , n tem nfimo igual
a zero.

d) Falsa. Por exemplo, o conjunto dos naturais ilimitado, est

contido em , e no denso em .

10) 1 parte: Basta voc tomar o exemplo do item (a) do exerccio 8.

2
X= n , n um conjunto de nmeros irracionais e sup X = 0 .

11) Basta voc mostrar exemplos de intervalos encaixados que no

satisfazem apenas a hiptese listada e verificar que a concluso no
vlida.

a) Considere
I n = [ n,) .
Os intervalos In so fechados e encaixados.
No entanto,

In =
n=1
176

b) Considere
1
In = 0,
n
Os intervalos In so limitados e encaixados. No entanto,

In = .
n=1

Captulo 2
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 12 1 1 1 1
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 > y2 + 2} .
 177

4)
a) Int( A) = {( x1, x2 ) 2
/ x2 > x1}.

x2 x1=x2

1
x1

b) Int ( A) = A .

x2 2

x2= x1

x1

c) Int( A) = A .

x2 x= e x 1
2

x1
178

d) Int ( A) = A .

x2

x2=lnx1

x1

e) Int ( A) = .

f) Note que A = (0, +) . Logo, Int ( A) = A .

6) Em , tome A = , B = . Ento Int( A) = , Int(B) = e

Int( A B) = .

7)
a) A1 A2 aberto (Propriedade Ab2).
b) Supor que A1 A2 ... An1 aberto.

c) Provar que A1 A2 ... An aberto.

Como A1 A2 ... An = ( A1 A2 ... An 1 ) An , segue o

resulta-do, novamente pela propriedade Ab2.

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

mentar 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.
 179

9) Por induo, j sabemos que para n = 2 a propriedade vale (veja Fe 2).

Hiptese de induo: supor que a propriedade nvlida para n, ou

seja, se F1 , ..., Fn so conjuntos fechados, ento Fi fechado.
i=1

Para n +1: sejam F1 , ..., Fn , Fn+1 fechados. Ento,

n +1 n n

Fi = Fi Fn+1 , e como Fi fechado pela hiptese de indu-

i =1 i=1 i=1
n+1
o, segue que Fi fechado por Fe 2.
i=1

10)Em n , todo conjunto finito fechado, pois pode ser escrito como uma
unio finita de conjuntos unitrios (que so fechados). O resul-tado
segue vlido para qualquer espao mtrico.

1
11)Em , sejam Fn = ,1 , n = 1, 2, 3,... . Ento,Fn = (0,1] , que no

fechado em . n n=1

12) S ' = {( x , y ) 2
/ y x2 1} .

13)
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;

g) fechado.

14)
a) A = {0} A .

b) B = [0, ) .
180

15) 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 pon-

tos 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} .

16) Sim para Rn . Falso em geral. Por exemplo, considere M como

mtrica discreta.

17)
a) Falso. Por exemplo, se A = (0,1) e B = ( 1,1) em , ento
Fr ( A) = {0, 1} e Fr ( B) = {1, 1}.

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

2B'.

c) Seja x Fr( A B) . Ento r > 0 , B ( x , r ) ( A B)

e B ( x , r ) ( A B)C . Logo B ( x , r ) AC e
B ( x , r ) BC , r > 0 .

Suponha agora que existe r1 > 0 tal que B ( x , r1 ) A = . Ento,

r < r1 , B ( x , r ) A = e portanto B ( x , r ) B , r > 0 (pois,
B ( x , r ) ( A B) ). Logo, x Fr(B) .

Se no existe r1 como suposto, ento x Fr( A) . Logo,

Fr( A B ) Fr( A) Fr(B) .
y
18) Circunferncia
2 2 2
a) Fr ( A) = {(x , y ) / x + y = 1} . de raio = 1

2
b) Fr ( Int ( A)) = {(x , y ) / x 2 + y2 = 1}.
1 x
c) Fr ( A) = [0, 1] .

d) Fr ( B) = {0, 1} .

e) Fr (C ) = {(x , y ) 2
/ y = x 2 4x + 3}.
 181

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

c) 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 M1 , 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).

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

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

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

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) Seja a . Ento, existe um nmero inteiro m tal que m a m +1.

1 1
Logo, d ( a ,{m, m + 1})
2 e, portanto, d ( a, ) 2 .
1 1
8) Como p B p , n n , p B p, n .

n=1

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

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

9)
a) y b) y

x x

c) y d) y

x x

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

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 2 3 2 3 4

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) Seja A = {a1 ,...an } M . Tome r = min{d ( ai , a j ); i , j = 1,2,..., n} . En-

to, se a A , B ( a , r ) = {a} A e portanto A aberto.

15) Sejam Fn = [ n, ), n = 1, 2, 3,... . Ento,An = .

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

16)
a) X = (0, 1) em .

b) X = Q em .
1 1
c) X = 0,1, 2 , 3 ,... em .
d)
e) X = .
19)
a) Fr ( A1 ) = {a1}, Fr ( A2 ) = {0, 1, 3}, Fr ( A3 ) = .

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

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

1 1 {(0,
d) D ' = 0, ,n ,0 , m
n m
e) E ' = {(x , y ) 2
/x
e y = 0} .
21)
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 .

22)
a) Falso. Por exemplo, seja A = em com mtrica usual. En-to, 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, por-
tanto, x Fr ( A) .
186

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

b) Seja x A B . Ento, para toda bola aberta B ( x , r) , te-mos

que B ( x , r ) ( A B) e, portanto, B ( x , r ) B e
B ( x , r ) B . Logo, x
A B .

x A
c) Seja B . Ento, existe uma sequncia ( xn )n tal
xn A B n Sejam C = {n / xn
que xn x e . A} e
D = {n / xn B}. claro que C ou D um conjunto infini-to.
Sem perda de generalidade, suponha que C infinito. En-to, a
subsequncia (xk )kC converge para x e xn A n C . Logo, x
AAB.

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) , exis-

te B ( x , r1 ) B ( x , r2 ) B .
A e como x int(B) , existe 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) . Su-

por, 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 3
Exerccios Propostos
1
1) Dado > 0, N0 > 0 tal que < .
N
0 2
Ento, se n > N0 , temos que:
 12 1 2
2
d ( zn ,(0, 0)) = + = < .
n n n
 187

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

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

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

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

c) Toda sequncia em M limitada.

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

convergente.

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

n+ n +1
a
b) a = (0, 1) ponto de acumulao de X . Note que
= lim 1 , n .
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
d) Para a = 9.
Note que a = 0,777...

Seja x
= 0,7666...
1

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

x
= 0,777...7666...
n

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

mulao de X .
188

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 acumula-o

de X .

7)

a) No fechado, pois 1 X e 1 X .
b) No fechado, pois 0 X .

c) No fechado.

d) No fechado.

8)

Fr ( X ) = {( x , y ) 2
/ x = y} .
n n
(1, 1) Fr ( X ) , pois (1, 1) = lim ,1 = lim 1, .

n
n +1 n+ n +1
y
x=y

1 x

9) As sequncias de Chauchy so as sequncias estacionrias, ou seja,

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

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

M>0 que
3) Verdadeiro. Como ( yn ) limitada, tal
>0 (x )
y n < M n . Dado , como n converge para 0, N0 tal
que se n N , ento | x |< . Logo,
0 n
M

n N 0 , | xn y n |=| xn | | y n |< M M = .

4) Verdadeiro. Supor que (Zn ) converge. Ento ( y n =Z n X n ) con-

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

a
6) Verdadeiro. Para = , existe N0 > 0 , tal que
2
a
n > N | x a |< =
0, n
2
a a
<x a<
2 n 2
a
0< < x n N .
n 0
2
1 1
7) Falso. Por exemplo, seja (xn ) = e ( yn ) = + . Ento
lim xn = 0 = lim yn . n n
190

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

limitada. Logo, por Bolzano-Weierstrass, ( xn ) possui uma subsequ-
ncia convergente (a qual tambm de Cauchy).

9) Falso. Basta pegar uma sequncia em convergente para 2 (por

exemplo).

10) Verdadeiro. Vamos supor que ( xn ) seja uma sequncia no de-

crescente e ( xnk ) uma subsequncia que converge para a .
Mostraremos que ( xn ) converge para a .

Dado > 0, N0 > 0 tal que nk > N 0 , | xn a |< . Seja nk tal

k 1

que nk > N0 . Ento se m > nk , temos que existe nk tal que

1 1 m

xn xm xn
k k
1 m

< xn a xm a xn a <
k k
1 m

| xm a |<
para todo m > nk1 .

11)
1
a) n 1, .

2
b) n (1, 1) .

12)
a) (xn ) divergente.
b) a = b .
c) Analise (x ) = ((1)n ) .
n

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

14) Ver a proposio 2.14.

a) [2, 5) no fechado em .

b) O conjunto no fechado em .

c) O conjunto no fechado em .

2
15) Nenhum dos conjuntos fechado em .
(Ver proposio 2.14)

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

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 ( xn ) e ( yn ) so de Cauchy em 2, ento xn a e y n b, onde a

, b 2 . Logo, d ( xn , y n ) d ( a , b) .

Captulo 4
Exerccios Propostos
1) Note que
1
d ( f (x ), f ( y)) = 1 1 = y x =| x y | 1 1 | x y |= d ( x , y) .
x y xy | xy | 4 4
Logo, f de Lipschitz com constante 1.
4
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) |<
192

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

| ( 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) Considere f : R R dada por f (x) = 0 , x R , e K = {0} . Ento

K compacto e f 1 (0) = R no compacto.

1
5) Note que no existe lim cos . Logo, f no contnua (em 0).
x o x
n
6) Seja d0 a distncia entre f (x0 ) e 0 em . Considere a bola aber-
d 1 B
d 0
ta B f (x0 ), 0 . Ento f f (x0 ), uma vizinhana de

2 2
x0 , onde f no se anula.
senx
7) f contnua em 0 , pois lim = 1 = f (0) .
x0 x
f : (0, 1) 1
8) No. Por exemplo, seja definida por f (x) = .
x
9) No uniformemente contnua.
 193

10) Note que f contnua em [a , b] , que compacto em . Logo, pelo

Teorema 4.6, 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).

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

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

Ento
f:MN
x x
contnua, M no compacto e N compacto.

12) Supor que f uniformemente contnua em .

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

| x 2 y2 |< = 1.

Bom, considere pontos da forma xn = n + / 2 e y n = n , n .

Ento, | xn yn |< e, portanto,

| x 2 y2 |< 1
n n

n +n+2 2 n2 < 1
4
2
n+ <1 n
4

o que uma contradio.

Logo, f no uniformemente contnua em .
194

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

14) Sejam f : M e g : N P uniformemente contnuas.

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

(x ), f ( y)) < .

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

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

Pro-posio 4.6.

16) (a, +) conexo, pois a imagem de (0, 1) pela funo contnua f :

1
(0, 1) ( a, +) , dada por f (x ) = a 1 + x.

Analogamente, (a, +) uma imagem de (0, 1) pela funo

contnua g : (0, 1) ( a, +) , dada por g (t ) = b + 1 1 , e, portan-
to, conexo. t
 195

17) Seja S um conexo de . Suponha que S no um intervalo. 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) < .

1
3) f contnua em X , pois se F fechado em , ento f (F) um
conjunto finito de pontos de e, portanto, fechado.

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

tnuas.

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

6) Dado > 0 , tome =k c .

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

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

x2
9) M = N = ; X = e f : M N , dada por f ( x) = .
x2 +1
Ento, X = fechado, mas f ( X ) = [0,1) no fechado.

10) Supor que X A contnua em p.

1
Tome = . Ento, > 0 tal que, se d ( x , p) < , temos
2 1
| X ( x ) X ( p) |< . Isto implica que
A A 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, ) .

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

x se x
11) f (x) = .

x + 2 se x I
12) Verdadeiro. Seja x \ . Existe uma sequncia xn tal que
xn x . Como f e g so contnuas, temos que
f (x ) = lim f (xn ) = lim g ( xn ) = g ( x) .
n 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 , y 2 = f ( y1 ), y3 = f ( y 2 ), y 4 = f ( y3 ),... Como f ( M ) compacto,
yn possui uma subsequncia ( yn ) convergente.
k

1
Como ( ynk ) convergente, de Cauchy e, portanto, para = 2,

M2 > 0 tal que se nM 2 > M , ento, para j = 1, 2,3,... , temos que

d(y ,y )<1
nM 2 nM 2 + j n
1
d ( f nM2 ( y1 ), f nM 2 + j ( y1 )) < n
1
d ( f nM 2 + j nM2 ( y1 ), y1 ) < n.
1 n
Tome z = f nM 2 +1nM2 ( y ). Repita para = e tome z =fn M3+j M3 (y),
1 1 1
n n n , 3 2
n
onde M3+j M3 M 2 +1 M2 e sucessivamente para
1
= , n = 4,5,6,... . Logo, (z ) converge para y e, portanto,
n n 1

y1 f ( M ) , mas f ( M ) fechado (sendo compacto) e conclumos

que y1 f ( M ) = f ( M ) , como desejado.
198

14) A = (0, 1]

Sejam U = 1 ,1 n .
n

Ento, {Un }n no admite subcobertura finita.

0, x < 0
15) Seja f (x) = .

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

Seja f (x) = 2x,1x2.

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

17) ) Supor que M no finito, digamos M = {x1 , x2 , x3 ,...}. Ento

1
B x ,i uma cobertura aberta que no possui subco-
2 i=1,2,3,...
bertura finita e, portanto, M no compacto. A

volta trivial.
 199

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

A e, como A compacto, possui uma subsequncia conver-gente
para x A. Como B fechado e xn tambm est em B , temos que x
B e, portanto, A B compacto.

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 pos-sui

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 ,...U } finita de A .
1 n

{U } tambm cobre B e, portanto, existe uma subcobertura fi-nita

{U 1 ,...U n } de B .

Logo {U 1 ,...U n ,U 1 ,...,U n } subcobertura finita de A B .

21) No. Por exemplo, f (x ) = sen ( x2 ) (analise o comportamento da

funo quando x ).
200

22) Primeiro note que f 1 : f ( B ) B existe, pois f injetora. Para

mostrar que f 1 contnua, vamos mostrar que a imagem inver-sa 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 com-
pacto (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 (xn 1 ) + 1 n .

Como (xn ) limitada, o teorema de Bolzano-Weierstrass impli-ca

que (xn ) possui uma subsequncia convergente (e, portanto, de
Cauchy).

Agora, para provar que f no uniformemente contnua, basta tomar

1
= 2 . Para este fixo e > 0 , pelo feito acima, sempre encontramos
xnk , xnk+1 (0, 1) tais que
1
xnk xnk+1 <e f (xn ) f (xnk+1 ) > 1 > 2= .

Logo, f no uniformemente contnua, como desejado.

 201

24) ( a ) (b) . Supor que M no conexo.

Ento existem aberto U e V tal que

U, V, UV=M eUV=

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 V 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, ) tal que B (u , ) V = , o que implica que

B (u , ) U , como desejado.

Logo, U aberto. Mostra-se que V aberto analogamente.

25) Seja U = {( x , y ) 2 : 0 x 1} ,
V = ( x , y ) 2 x 1 , 1 2 1x 1 y 1
:0 y 0 (x , y ) : 1,
( 4 4 2
x,y) 2 2
: 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.
202

26) Como A compacto, ( xn ) possui uma subsequncia convergen-te,

digamos xnk a .

Dado > 0, N > 0 tal que d ( x , x ) < n, m N (pois (x )

1 n m 1 n

de Cauchy). 2

Ainda, N2 > 0 tal que d ( xnk , a ) < 2 nk N2 .

Tome N = max{N1 , N2}.

Se n > N , ento d ( xn , a ) d ( xn , x N ) + d ( x N , a) 2 + 2 = .

27) Seja f (x ) = arc tg x , B = . Ento, f ( B) = ( 1, 1) , que no fe-

chado.
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 ) com-pacto
em , logo fechado e limitado.

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

V no conexo.
 203

Referncias

1) BOYER, C. B. Histria da matemtica. Trad. de Elza F. Gomi-

de. So Paulo: Edgard Blucher, 1974.

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. Trad. de Hygi-

no H. Domingues. Campinas: Editora da UNICAMP, 1997.

4) GIMENEZ, C. S. C.; STARKE, R. Introduo ao clculo. Flori-

anpolis: 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 topolo-

gia. 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. Floria-

npolis: EdUFSC, 2002.

11) LIMA, E. L. Anlise real. v. 1. Rio de Janeiro: Instituto de Ma-

temtica Pura e Aplicada, CNPq, 1989.

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.

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

tice Hall, 1975.
204

16) RUDIN, W. Princpios de anlise matemtica. Rio de Janei-ro:

Ao Livro Tcnico; Braslia: Editora da Universidade de Bra-slia,
1971.
17) IRA (Interactive Real Analysis). Disponvel em: <http://
www.mathcs.org/analysis/reals/>. Acesso em: 18/06/2012.