2 Edio

Florianpolis, 2012
Elementos da
Anlise
Mirian Buss Gonalves
Daniel Gonalves
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 Grco
Coordenao: Cntia Cardoso
Projeto Grco Original: Diogo Henrique Ropelato, Marta Cristina Goulart
Braga, Natal Anacleto Chicca Junior
Redesenho do Projeto Grco: 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 Catalogrca










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 fnitos e infnitos enumerveis .............................. 12
1.3 Conjuntos no enumerveis ...................................................... 18
1.4 Algumas propriedades dos Nmeros Reais ........................... 21
1.5 Supremo e nfmo ....................................................................... 23
2 Noes Topolgicas em .............................................. 39
2.1 Introduo ................................................................................... 41
2.2 O espao Euclidiano
n
............................................................ 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 fnalidade 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 nfmo; 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 fm 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
, 1, 2, 3 n = .
Mesmo que os contedos possam lhe parecer difceis em alguns
momentos, enfrente o desafo. Estude com afnco e dedicao.
Acreditamos que esta disciplina vai lhe proporcionar uma viso
mais abrangente da Matemtica, lhe abrindo horizontes como
professor desta bela e desafadora 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 fnalizar a disciplina, guarde seu livro, pois ele ainda
poder lhe ser til em seu caminho profssional.
Mirian Buss Gonalves
Daniel Gonalves
Captulo 1
Cardinalidade e o corpo
dos nmeros reais
11
1 Cardinalidade e o corpo dos
nmeros reais
David Hilbert nasceu
em Konigsberg em 1862
e recebeu seu Ph.D. da
universidade dessa cidade
em 1885, onde lecionou at
1894. No perodo de 1895
at 1930 foi professor da
Universidade de Gottingen,
cidade onde faleceu em
1943.
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 nmo de um conjunto limitado.
1.1 Introduo
Antes de iniciar o seu estudo, leia a situao a seguir, conhecida
como o Hotel de Hilbert:
Era uma vez um hotel com um nmero infnito de quartos. To-
dos estavam ocupados. Chegou um novo hspede que necessita-
va muito de hospedagem. Como o gerente poderia resolver seu
problema?
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 infnito 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 fcam acomodados nos quartos
subsequentes e o primeiro quarto fcar livre para acomodar o hs-
pede recm chegado.
O que voc achou da soluo?
A situao analisada ilustra a idia de conjunto infnito enumervel,
isto , de um conjunto infnito, 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 infnito?
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 nitos e innitos enumerveis
Vamos considerar os conjuntos:
{1, 2, 3, } conjunto dos naturais = =
{1, 2, , } conjunto dos naturais de 1 a
n
n n = =
Com base nestes dois conjuntos temos a noo de conjunto fnito e
infnito enumervel.
A idia intuitiva que temos de um conjunto fnito 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 fnito?
Na histria da humanidade, houve muita difculdade para compre-
ender e aceitar grandezas infnitas. As primeiras referncias vieram
com a religio, em expresses do tipo Deus infnitamente bom.
13
No campo da Matemtica, um grande pesquisador, chamado Cantor,
desenvolveu um belo trabalho sobre conjuntos infnitos, introduzin-
do o conceito de cardinalidade. Ele mostrou que h diferentes tipos
de conjuntos infnitos, no sendo possvel, em alguns deles, colocar
seus elementos em sucesso (na forma de lista). Surgiram assim, os
conceitos de conjunto enumervel e de conjunto no enumervel.
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 sufciente na lista.
Temos as seguintes defnies.
Defnies.
1.1 Um conjunto X dito fnito se vazio ou se, para algum n, existe
uma bijeo . : X f
n

No ltimo caso, dizemos que X tem cardinalidade n, isto , X tem
n elementos.
1.2 Se X no for fnito, dizemos que X infnito.
1.3 Um conjunto infnito X dito enumervel se existe uma bijeo
: . f X
Exemplos.
1.1 Seja { tais que 5 3 7} X x x = = . Qual a cardinalidade de X?
Temos que os elementos de X so as solues da equao
, 7 3 5 = x ou seja,
)
`

= 2 ,
5
4
X . Logo, X tem 2 elementos. A
funo
2 2
5
4
1
:
2

X f
uma bijeo.
Georg Ferdinand Ludwig
Philip Cantor, lho de pais
dinamarqueses, nasceu em
S. Petersburgo, Rssia, em
1845. Estudou na Sua e
na Alemanha e desenvolveu
sua carreira na Universidade
de Halle. Faleceu no
hospital de doenas mentais
de Halle, em 1918.
14
1.2 O conjunto I dos nmeros inteiros positivos mpares enume-
rvel.
De fato, : ; ( ) 2 1 f f n n = uma bijeo, como voc pode
visualizar no quadro que segue:
1 2 3 4 5 6 ...
...
1 3 5 7 9 11 ...

Nota: Subconjuntos infnitos 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 sufciente 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 Y X f : injetiva e Y enumervel, ento X
fnito ou enumervel.
Prova: Como Y enumervel, existe uma bijeo : g Y . Consi-
deremos a funo composta = X f g h : .
N
g
f
X Y
h= g f
15
Como f e g so injetivas, o mesmo ocorre com h. Portanto,
: ( ) h X h X
uma bijeo.
Como ( ) h X , ele fnito ou enumervel. Logo, X fnito ou enu-
mervel.

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

Y fnito 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 defna ( ) h y como o menor elemento em
1
( ) ( ) f g y

.
Note que : h Y esta bem defnida, 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: Defnimos
:
( , ) 2 3
n m
f
n m

Temos que f injetiva, pois
1 1 2 2
1 1 2 2
2 3 2 3 ( ) ( )
n m n m
n m n m = =
,

pelo lema anterior.
Pela proposio 3 segue que enumervel.

16
Proposio 1.4. Se X e Y so enumerveis, ento Y X enumervel.
Prova: Como X e Y so enumerveis, existem : f X e
: g Y bijees.
Defnimos
:
( , ) ( ( ), ( ))
h X Y
h x y f x g y

=

Ento h sobrejetiva. Como enumervel, pela proposi-
o 1.2, temos que Y X 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.
Defnimos
: *
( , )
f Q
m
m n
n

Temos que f sobrejetiva (pela prpria defnio 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 exemplifcar 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
4
2
3

3
2

4
1
3
3
1
2
2
1
1
,
que contm todos os racionais positivos.
Proposio 1.5. Sejam ,... , , ,
2 1 m
X X X conjuntos enumerveis. A
unio
m
X X = enumervel.
Prova: Como
m
X enumervel, podemos considerar os ele-
mentos de
m
X como termos de uma sucesso , , ,
3 2 1
m m m
x x x .
Formamos o quadro

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

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

indicam, seus elementos podem ser dispostos em sucesso:
11 21 12 31 22 13 41 32 23 14
, , , , , , , , , ,... x x x x x x x x x x
18
Mais formalmente, note que a funo :
n
X f , dada
por (( , ))
nm
f n m x = , uma bijeo, e portanto
n
X enumervel.

Notas:
1) A unio fnita de conjuntos enumerveis enumervel.
2) O produto cartesiano fnito de conjuntos enumerveis enu-
mervel.
3) O resultado anterior no vlido para produtos infnitos.
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 infnitos 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.
Defnio 1.4. Todo conjunto infnito 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 infnita, 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, , , ,
3 2 1
x x x ,
conforme o quadro a seguir:
1 11 12 13 14
2 21 22 23 24
3 31 32 33 34
1 2 3 4
0, ...
0, ...
0, ...
0, ...
n n n n n
x x x x x
x x x x x
x x x x x
x x x x x
=
=
=
=

onde
i j
x 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
1
x , na primeira casa decimal, diferente de
2
x na segun-
da casa decimal, diferente de
3
x 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 tg( )
2
y x

= uma
bijeo do intervalo (0, 1) na reta toda ( , ) . Voc pode usar
um software grfco para visualizar esta bijeo.
Veja que o resultado acima nos remete a uma refexo 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 infnitos.
Dado um nmero natural 2 > p , atribua alguns valores para p, e
mostre que existem conjuntos
p
A A A , , ,
2 1
, infnitos e disjuntos,
tais que

p
i
i
A
1 =
=
3) Seja Y X f : uma bijeo. Mostre que um desses conjuntos
fnito se e somente se o outro tambm fnito.
4) Usando a defnio, 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 fnito e Y enumervel.
a) Existe uma funo injetiva Y X f : ?
b) Existe uma funo sobrejetiva Y X g : ?
Justifque.
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.
Defnio 1.5. Seja x . O mdulo, ou valor absoluto, de x def-
nido por:
, se 0
0, se 0
, se 0
x x
x x
x x
>

= =

<

Nota: O mdulo de x tambm pode ser defnido por uma das se-
guintes expresses:
max{ , } x x x = ou
2
x x = .
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 < a x .
Temos:

( , ).
x a x a
a x a
x a a



< < <
< < +
+
Podemos representar grafcamente:
0
x
x
a
( )
a

a

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 a x como a distncia de x at a.
22
Propriedades: Sejam um corpo ordenado e , , x y z . Ento:
Mod.1: y x y x + + (Desigualdade triangular).
Mod.2: . xy x y =
Mod.3: y x y x y x .
Mod.4: z y y x z x + .
Prova:
Mod.1: Temos as seguintes desigualdades:
x x x
y y y .
Adicionando as desigualdades, vem:
( ) ( ) x y x y x y + + + .
Portanto,
y x y x + + .
Mod.2: Temos,
2
2 2 2
( ) xy xy x y = = .
Portanto,
2 2 2 2
. xy x y x y 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
y y x y y x x + + =
x x y x x y y + + = .
Trabalhando com essas inequaes, obtemos:

x y x y
y x y x
Multiplicando a segunda inequao por -1, vem:

=

. y x x y y x
y x y x
Portanto,
y x y x y x e, assim, y x y x .
Nota: A prova da propriedade Mod.4 direta, sendo deixada como
exerccio.
1.5 Supremo e nmo
Nesta seo nosso objetivo principal introduzir os conceitos de
supremo e nfmo em . Como ambos so similares, vamos centrar
mais nossa ateno na noo de supremo.
Vamos iniciar falando de conjuntos limitados. Temos a seguinte de-
fnio:
Defnio 1.6. Seja X um subconjunto de .
a) Dizemos que X limitado superiormente se b tal que
b x 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
a x 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
Verifcar quais dos seguintes conjuntos so limitados inferiormente
e/ou superiormente.
a) {1, 3, 5, 7} X =
b)
)
`

= n
n
X ,
1
c) { 3 , } X n 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
, ,
4
1
,
3
1
,
2
1
, 1
n
X
Temos que n
n
, 1
1
0 . Logo, X um conjunto limitado
(0 uma cota inferior e 1 uma cota superior).
c) Temos,
{ 3, 6, 9, 12, , 3 , } X n = .
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 , , 0, a b a n > tal que an b > .
25
iii) Dado qualquer 0, a n > tal que a
n
< <
1
0 .
Prova:
i) ii) Sejam , , 0 a b a > . Como no limitado supe-
riormente, n tal que
a
b
n > . Segue que an b > .
ii) ) iii Em ii) tomamos 0 > a e 1 = b . Temos que n tal
que an b > . Logo, a
n
<
1
.
iii)

i) Seja , 0 b b > . Ento 0

1
>
b
. Por iii) n tal que
b n
1 1
< . Logo, b n > e, dessa forma, nenhum elemento de
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 defnir agora.
Defnio 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 b x .
S.2 Se c e , c x X x , ento c b .
Em outras palavras, podemos dizer que o supremo de X a menor
das cotas superiores de X.
Denotamos: X b sup = .
Nota: Uma outra caracterizao muito til do supremo dada a se-
guir.
Considere qualquer nmero positivo muito pequeno. Temos,

< >

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

26
Geometricamente podemos visualizar esta caracterizao do
supremo:
0 b

b
x
x

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 defniria o nfmo de um conjunto limitado infe-
riormente?
A defnio de nfmo anloga de supremo. Vejamos:
Defnio 1.8. Seja Y um conjunto limitado inferiormente. Um
elemento a dito nfmo de Y, se:
I.1 - Para qualquer Y y , tem-se y a .
I.2 - Se c e Y y y c , , ento a c .
Dessa forma, o nfmo de Y a maior das cotas inferiores de Y.
Denotamos: Y a inf =
Tambm podemos escrever:

+ < >

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

a
x
Y y
O supremo e o nfmo de um conjunto X so sempre elementos
de X?
A resposta negativa. O supremo e o nfmo de X podem ou no
pertencer a X.
Exemplos.
1) Seja {2, 5, 7, 9} X = .
Temos,
9 sup = X e 2 inf = X .
Nota: Observe que neste caso o supremo de X o elemento
mximo de X e o nfmo 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 nfmo.
2) Seja
)
`

= ,
1
, ,
4
1
,
3
1
,
2
1
, 1
n
X
Facilmente podemos visualizar que 1 sup = X
Qual o nfmo de X ?
Se voc pensou no zero voc acertou, pois:
I.1 -
1
, 0 n
n
(0 cota inferior de X).
I.2 - , 0 >
0
n tal que < <
0
1
0
n
(Prop. 1.7, iii))
0

x

0
1
n
28
Logo, 0 a maior das cotas inferiores, isto , 0 inf = X .
Nota: Observe que neste caso o nfmo no pertence ao con-
junto X.
3) Seja
1
,
n
X n
n

=
`
)
.
Podemos escrever,
)
`

= ,
1
, ,
4
3
,
3
2
,
2
1
, 0
n
n
X .
Temos,
inf {0} X = ;
sup {1} X = .
4) Seja
1
, X n
n

=
`
)
.
Temos que 1 inf = X e 0 sup = X .
5) Seja
1
,
2
n
X n

=
`
)
.
Temos que 0 inf = X e
2
1
sup = X .
6) Seja {2, 4, 6, 8, } X = .
Temos:
2 inf = X .
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 nfmo) 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 afrmao, precisamos primeiro da proposio
abaixo.
Proposio 1.8. No existe um nmero racional p tal que 2
2
= p .
Prova: Suponhamos que existe p tal que 2
2
= p . Ento po-
demos escrever
n
m
p = , sendo que os inteiros m e n no so am-
bos pares (se forem, podemos simplifcar, at deixarem de ser).
Temos,
2
2
2
=
|
.
|

\
|
=
n
m
p
ou,
2
2
2
=
n
m
ou, ainda,
2 2
2n m = .
Conclumos que
2
m par e, consequentemente, m par. Pode-
mos escrever, ento, r m 2 = , onde r um inteiro.
Elevando ao quadrado, temos,
2 2
4r m =
ou,
2 2
4 2 r n = , j que
2 2
2n m = .
Simplifcando, vem
2 2
2r n =
,
de onde conclumos que
2
n par e, consequentemente, n par.
Chegamos, dessa forma, a uma contradio, pois m e n no so
ambos pares.

30
Proposio 1.9. Sejam
2
{ tais que 0 e 2} X x x x = > < ;
2
{ tais que 0 e 2} Y y y y = > > .
No existe X sup em

e no existe Y inf 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:
1 2
2
2
+

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

x
x
.
Tomamos um nmero r tal que 1 < r e
1 2
2
0
2
+

< <
x
x
r .
A existncia desse nmero racional r garantida pela pro-
posio 1.7.
Provemos que X r x + .
Temos, ( ) 0 x r + > . Alm disso,
r r r < < <
2
1 0 ; (1)
2
2
2
0 (2 1) 2
2 1
x
r r x x
x

< < + <

+
. (2)
Usando (1) e (2), vem
2 2 2 2
2 2 2
( ) 2 2
(2 1) 2 2
x r x rx r x rx r
x r x x x
+ = + + < + +
= + + < + =
Portanto,
2
( ) 2 x r + < 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
y
y
2
2
2

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

y
y
.
Tomamos um nmero r tal que
y
y
r
2
2
0
2

< < .
Temos que
2
2 2 ry y < ou
2
2 2 ry y > .
Usando esse resultado, vem:
2 2 2
2
2 2
( ) 2
2
y 2
2.
y r y ry r
y ry
y
= +
>
> +
=
Logo,
2
( ) 2 y r > .
Para concluirmos que ( ) y r Y , falta verifcarmos, ainda,
se ( ) 0. y r >
Como
y
y
r
2
2
0
2

< < , temos que

y
y
r
1
2
< .
Como 0 > y , segue que y
y
r < <
2
e, portanto, ( ) 0 y r > .
Conclumos que ( ) y r Y e, dessa forma, Y no possui
elemento mnimo.
32
3) Se X x e Y y , ento y x < .
Sejam X x e Y y . Temos,

> >
< < >
2 e 0
2 0 e 0
2
2
y y
x x
Portanto,
2 2
2 0 y x < < < ou
2 2
0 y x < < . Como 0 > x e 0 > y ,
segue que y x < .
4) sup X
Vamos usar os resultados obtidos nas 3 etapas anteriores.
Suponhamos que existe X b sup = em . Ento:
i) 0 > b .
ii) b no satisfaz 2
2
< b .
De fato, como X no tem elemento mximo (provamos na
etapa 1), X b .
ii) 0 > b no satisfaz 2
2
> b .
De fato, vamos supor que 2
2
> b .
Temos ento que Y b . Usando a etapa 2, segue que Y a
tal que b a < (Y no tem elemento mnimo).
Utilizando o resultado obtido na etapa 3, conclumos que
b a x X x < < , .
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 2 ento , sup
2
= = b X b .
Pela proposio 3, sabemos que no existe Q b tal que
2
2
= b .
Logo, no existe X sup 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 afrmativa, 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 nfmo.
Nota: Existe em um nmero p tal que 2
2
= p . Este nmero re-
presentado por 2 e um nmero irracional.
O conjunto dos nmeros irracionais defnido 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 , 3 , 2 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: 2 509 , , 2 501 , 2 500 .
Vamos fnalizar a unidade enunciando um teorema muito impor-
tante, onde usamos fortemente os conceitos de supremo e nfmo
vistos acima.
34
Proposio 1.10. (Princpio dos Intervalos Encaixados)
Seja
n
I I I
2 1
uma sequncia decrescente de interva-
los fechados e limitados, [ , ]
n n n
I a b = . Ento, { }

=

1 n
n
I , isto , existe
pelo menos um nmero real x tal que n I x
n
, .
Mais precisamente, temos:
1
[ , ]
n
n
I a b

=
=

,
onde
1 2
1 2
sup{ , ,..., ,...}
inf{ , ,..., ,...} .
n
n
a a a a
b b b b
=

Prova: Como
1 2
I I , temos que
1 2 1 n n
a a a a
+

e
1 2 1 n n
b b b b
+

Alm disso,
m n
a b , , m n .
Logo, cada
n
b uma cota superior do conjunto
1 2
{ , , , , }
n
A a a a =
e cada
m
a uma cota inferior do conjunto
1 1
{ , , , , }
n
B b b b = .
Existem, ento, sup a A = e inf b B = em .
Como sup a A = , segue que
m
a a , m .
Como todo
n
b uma cota superior de A,
n
a b , n .
Temos, ento,
n n
a a b , n .
ou seja,
1
[ , ]
n n
n
a a b

35
Exemplo. Verifque o princpio dos intervalos encaixados para a fa-
mlia de intervalos
(

=
n n
I
n
1
,
1
.
Temos,
[ ]

=
(

=
=
n n
I
I
I
n
1
,
1
2
1
,
2
1
1 , 1
2
1
Os intervalos da famlia dada so fechados e limitados e satisfazem:

n
I I I
2 1
Logo, todas as hipteses da proposio 1.11 so verifcadas.
Alm disso, temos que n a
n
< , 0 e n b
n
> , 0 .
Logo, n I
n
, 0 e, assim,

1
0
n
n
I .
Finalmente, interessante constatar que
1 2
sup{ , , , , }
n
a a a 0 ,
1
, ,
3
1
,
2
1
, 1 sup =
)
`

=
n

e
1 2
1 1 1
inf{ , , , , } inf 1, , , , , 0
2 3
n
b b b
n

= =
`
)
.
Portanto,
1
[0, 0] {0}
n
n
I

=
= =

.
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 infnito 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?
Justifque.
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
1 2 3
( , , , ...) x x x x = esta no conjunto S se {0,1}
i
x
para todo i, e, a partir de certo ponto, todos os seus termos
so iguais a zero, isto , existe um
x
K tal que 0
i
x = para todo
x
i K > . Decida se S enumervel e justifque 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 nfmo de X.
6) Repita o exerccio 5 para os conjuntos:
a)
2 1
,
n
X n
n

=
`
)

b) {( 1) , }
n
Y n n =
c) {5 3 , } Z n n =
7) Escreva em linguagem coloquial a caracterizao de nfmo
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 nfmo em .
c) No possuem nfmo nem supremo em .
37
9) Identifque se so verdadeiras ou falsas as afrmaes que se-
guem, justifcando as suas respostas.
a) Se X um conjunto fnito, o nfmo de X e o supremo de X
pertencem a X.
b) Se um conjunto X tem supremo ento ele admite infnitas
cotas superiores.
c) O nfmo 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
Neste captulo voc vai adquirir conhecimentos b-
sicos de Topologia no
n
, com nfase para 1, 2, 3. n =
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 afr-
maram sobre o estudo de conjuntos:
Por conjunto entendemos a entidade formada quando colo-
camos certos objetos, defnidos 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.
2 Noes Topolgicas em
42
2.2 O espao Euclidiano
n

[...] 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
1 2
( , , , )
n
x x x x = , e considerar os mesmos como novos
objetos matemticos.
Comearemos agora nosso estudo, com toda a preciso necessria
para um bom entendimento das ideias.
O espao Euclidiano
n
consiste de todas as n -uplas ordenadas de
nmeros reais.
Simbolicamente, temos:
1 2 1 2
{( , , , ) / , , , }
n
n n
x x x x x x = .
Um elemento do espao
n
denotado por
1 2
( , , , )
n
x x x x = e nos
referimos a ele como um ponto de
n
.
Em
n
podemos defnir as operaes adio e multiplicao por
escalar, como segue:
Adio. Dados dois pontos de
n

,

1 2
( , , , )
n
x x x x = e
1 2
( , , , )
n
y y y y = ,
defne-se:
1 2 1 2 1 1 2 2
( , , , ) ( , , , ) ( , , , )
n n n n
x y x x x y y y x y x y x y + = + = + + + .
Multiplicao por escalar. Dado a e
1 2
( , , , )
n
n
x x x x = , de-
fne-se:
1 2 1 2
( , , , ) ( , , , )
n n
ax a x x x ax ax ax = = .
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.
Defnio 2.1. Uma norma em
n
uma funo || ||:
n
tal que
para quaisquer ,
n
x y e , valem as seguintes propriedades:
1:|| || 0 N x e || || 0 0; x x = =
2:|| || | ||| ||; N x x =
3:|| || || || || || . N x y x y + +
A norma de
n
que mais vamos utilizar a norma Euclidiana, dada
por
|| ||:
n

2 2 2
1 2 1 2
( , , , ) || ||
n n
x x x x x x x x = = + + + .
Observao. Veremos que outras normas podem ser defnidas em
n
. Sempre que no fzermos 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
,
1, 2, 3 n = . Isso nos permite visualizar geometricamente os conceitos
que vamos explorar.
Exemplo 2.1. Identifque, no espao
1
, o conjunto

1
{ / || || 1} X x x = < .
Observe que o espao
1
nada mais que o conjunto dos nme-
ros reais, que identicamos geometricamente com a reta real.
Temos || || | | 1 1 1 x x x = < < < .
Portanto, X o intervalo aberto ( 1,1) , representado na gura
2.1.
1 0 1
x
Figura 2.1
44
Exemplo 2.2. Identifque no espao
2
o conjunto
1 2
{ ( , )/ || || 1} S x x x x = = < .
Geometricamente o espao
2
o plano cartesiano . Se ne-
cessrio, reveja a seo 3.7 do livro texto de Introduo ao Clculo.
Temos
2 2 2 2
1 2 1 2
|| || 1 1 x x x x x = + < + < .
Portanto, S o conjunto dos pontos interiores circunferncia de
centro em (0, 0) e raio 1, ilustrada na gura 2.2.
x
2
x
1
1

Figura 2.2
Exemplo 2.3. Identifque no espao
3
o conjunto
1 2 3
{ ( , , )/ || || 1} S x x x x x = = = .
3
o espao cartesiano , que voc utilizou no estudo
da Geometria Analtica e no Clculo para representar guras geo-
mtricas espaciais como cubos, esferas e outras superfcies.
Temos
2 2 2 2 2 2
1 2 3 1 2 3
|| || 1 1 x x x x x x x = + + = + + = .
Assim, neste caso, S o conjunto dos pontos de uma esfera de
centro na origem (0, 0, 0) e raio 1, como mostra a gura 2.3.
x
3
x
2
1
x
1
Figura 2.3
45
2.3 Espaos Mtricos
Intuitivamente, um espao mtrico um conjunto no qual temos
uma maneira de medir a distncia entre seus pontos.
Qual a sua noo de distncia entre dois pontos no plano cartesiano
2
?
Provavelmente, voc vai visualizar a fgura 2.4 e concluir que a dis-
tncia entre 2 pontos o comprimento do segmento de reta que os
une, ou seja:
2 2
1 1 2 2
( , ) ( ) ( ) d x y y x y x = + .
x
2
x
x
1
y
1
x
1
y
2
y
x
2
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 defnio:
A noo de espao mtrico
foi introduzida em 1906
por Maurice Frchet e
desenvolvida e batizada por
Felix Hausdorff em 1914.
46
Defnio 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 :
1 2 1 2
{( , ) / , }, M M x x x x M = tal que para quaisquer , , x y z M ,
temos:
M1: ( , ) 0 d x y e ( , ) 0 ; d x y 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 = , .
A partir das propriedades dos nmeros reais podemos vericar fa-
cilmente que d uma mtrica em .
Temos:
M1: ( , ) 0
( , ) 0 0 0 ;
d x y y x
d x y y x y x x y
=
= = = =

M2: ( , ) ( , ) d x y d y x = , pois | | | |; y x x y =
M3: 3: ( , ) | |
| |
| | | |
| | | |
( , ) ( , ).
M d x z z x
z y y x
z y y x
y x z y
d x y d y z
=
= +
+
= +
= +
Exemplo 2.5. Seja M qualquer. A funo
0, se
( , )
1, se
x y
d x y
x y
=
=

satisfaz as propriedades de mtrica, sendo denominada mtrica tri-
vial ou mtrica 0 1 .
Qual a defcincia que voc identifca nesta mtrica?
Ela no diferencia a distncia entre pontos distintos. Por exemplo, se
M = , (4, 9) 1 d = , (5, 7) 1 d = , etc.
Essa a mtrica que voc
utilizou nas disciplinas de
Clculo, quando estudou,
por exemplo, limite de
sequncias. Se necessrio,
reveja a seo 1.3.4 do
texto de Clculo I [5,
Gimenez-Starke].
47
Exerccio Resolvido
1) A funo
2
( , ) 2 d x y x xy = + mtrica em ? Justifque.
Resoluo:
Note que d no uma mtrica em , pois no satisfaz a proprie-
dade 1 M . Por exemplo, (1, 3) 5 0 d = < .
Exerccio Proposto
1) A funo ( , ) 2 d x y x y = mtrica em ? Justifque.
2.4 Mtricas em
n

Sejam
1 2
( , , , )
n
x x x x = e
1 2
( , , , )
n
y y y y = pontos de
n
.
As mtricas usualmente utilizadas no espao
n
so:
i) Mtrica Euclidiana
:
n n
d
2 2 2
1 1 2 2
( , ) ( ) ( ) ( )
n n
d x y y x y x y x = + + + .
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
1
1 1 1 2 2
:
( , ) | | | | | |
n n
n n
d
d x y y x y x y x

= + + +

.
iii) Mtrica do Mximo
2
2 1 1 2 2
:
( , ) max{| |,| |, ,| |}.
n n
n n
d
d x y y x y x y x

=

Observaes.
1) Em nosso estudo a Mtrica Euclidiana ser considerada a mtrica
usual de
n
.
2) Pode-se provar que
2 1 2
( , ) ( , ) ( , ) ( , ) d x y d x y d x y kd x y ,
48
onde k uma constante. Por exemplo, em
2
, para mos-
trar que
1
( , ) ( , ) d x y d x y sufciente mostrar que
2 2
a b a b + + , , a b . Mas esta desigualdade equivalente a
2 2
2 2 2
( ) 2 0 2 a b a b a a b b 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 fgu-
ra 2.4, vemos que a distncia Euclidiana entre dois pontos a dis-
tncia medida em linha reta. As fguras 2.5 e 2.6, respectivamente,
ilustram a mtrica retangular e a mtrica do mximo.
y
2
x
2
y
x
2
x
x
1
y
1
x
1

Figura 2.5
y
2
x
2
y
x
2
x
x
1
y
1
x
1
Figura 2.6

Mtrica Retangular
Tambm conhecida como
Mtrica Metropolitana ou
de Manhattan, devido s re-
des de transporte na forma
de grades retangulares que
ocorrem em muitas cidades
americanas e mesmo brasi-
leiras. Em muitos casos ela
a mtrica mais adequada
para medir as distncias dos
deslocamentos nos centros
urbanos.
49
Exerccio Resolvido
2) Usando as trs mtricas anteriores, identifque os pontos de
2
tais que sua distncia at a origem seja igual a 1.
Resoluo:
Sejam (0, 0) o = e
1 2
( , ) x x x = .
i) Para a mtrica Euclidiana, temos
2 2 2 2
1 2 1 2
( , ) 1 ( 0) ( 0) 1 1 d x o x x x x = + = + = .
ii) Para a mtrica retangular, vem
1 1 2 1 2
( , ) 1 | 0 | | 0 | 1 | | | | 1 d x o x x x x = + = + = .
iii) Para a mtrica do mximo, temos
2 1 2 1 2
( , ) 1 max{| 0 |,| 0 |} 1 max{| |,| |} 1 d x o x x x x = = = .
A gura 2.7 ilustra as 3 situaes.
x
2
x
1 1
(i)
x
2
x
1 1
(ii)
x
2
x
1 1
(iii)
Figura 2.7
Exerccio Proposto
2) Refaa a fgura 2.7, usando as equaes obtidas em (i), (ii) e (iii) e
sobrepondo as 3 fguras 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 + ,
2
, , x y z .
50
Resoluo:
Dados
1 2
( , ) x x x = ,
1 2
( , ) y y y =

e
1 2
( , ) z z z = , temos que provar que:
2 2 2 2 2 2
1 1 2 2 1 1 2 2 1 1 2 2
( ) ( ) ( ) ( ) ( ) ( ) x z x z x y x y y z y z + + + +
Sejam ( )
i i i
a x y = ,

( )
i i i
b y z = ,

1, 2 i = .
Ento ( ) ( )
i i i i i i i i
x z x y y z a b = + = + e a inequao acima
equivalente a
2 2 2 2 2 2
1 1 2 2 1 2 1 2
( ) ( ) a b a b a a b b + + + + + +
2 2 2 2 2 2 2 2 2 2
1 1 2 2 1 2 1 2 1 2 1 2
( ) ( ) 2 a b a b a a a a b b b b + + + + + + + + +
2 2 2 2
1 1 2 2 1 2 1 2
( )( ) a b a b a a b b + + +
.
Para, mostrarmos esta ltima inequao, suciente mostrar que
2 2 2 2
1 1 2 2 1 2 1 2
( )( ) a b a b a a b b + + + , ,
i i
a b , 1, 2 i = .
Mas a inequao acima a famosa equao de Cauchy-Schwartz
em
2
( a b a b , para
1 2
( , ) a a a = ,
1 2
( , ) b b b = ), e podemos
prov-la elevando ao quadrado em ambos os lados, agrupando
termos, e notando que
2
1 2 2 1
( ) 0 a b a b , ,
i i
a b , 1, 2 i = .
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 M M
uma mtrica em

M .
A fgura 2.8 ilustra a mtrica dada para [ , ] X a b = .
x
2
g
d ( f , g)
f
a b
x
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 verifcar as propriedades de mtrica.
Sejam , , . f g h M
M1: 1: ( , ) 0 M d f g pela prpria defnio da mtrica.
( , ) 0 sup{| ( ) ( ) |} 0 | ( ) ( ) | 0
x X
d f g g x f x g x f x

= = =

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

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

M2: 2: ( , ) ( , ) M d f g d g f = .
imediata pelas propriedades de mdulo de nmeros reais.
importante voc revisar
bem a seo 2.6, que
explora os conceitos de
supremo e nmo, no texto
de Introduo ao Clculo [4,
Gimenez-Starke].
52
M3: Seja x X . Temos
| ( ) ( ) | | ( ) ( ) ( ) ( ) |
| ( ) ( ) | | ( ) ( ) |
| ( ) ( ) | | ( ) ( ) |
sup | ( ) ( ) | sup | ( ) ( ) |
( , ) ( , ).
x X x X
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
h x f x g x h x
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
( , ) sup | ( ) ( ) | ( , ) ( , )
x X
d f g g x f x d f h d h g

= +

.
Cabe a voc agora resolver o exerccio que segue.
Exerccio Proposto
3) Seja [0,1] X = . Determinar ( , ) d f g , sendo:
d) ( ) f x x = e ( ) 1 g x = ;
e)
2
( ) f x x = 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 [0,1] L = , onde [0,1] o intervalo fechado
[0,1] .
A fgura 2.9 ilustra o espao L .
53
x
2
x
1
1
L
Figura 2.9
Podemos medir distncias nesta faixa de
2
(isto , em L ) usando
qualquer das mtricas defnidas sobre
2
, por exemplo, a mtrica
Euclidiana.
2.7 Dimetro de um Conjunto;
Distncias entre Conjuntos
Consideremos os subconjuntos de
2
:
2 2 2
1 2 1 2
{( , ) / 1} A x x x x = + ;
2 2 2
1 2 1 2
{( , ) / ( 3) 1} B x x x x = + ;
[0,1] [0,1] C = .
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
2 2 2
1 2 1 2
' {( , ) / 1} A x x x x = + < e
54
B por
2 2 2
1 2 1 2
' {( , ) / ( 3) 1} B x x x x = + < ,
as respostas sero as mesmas?
provvel que para responder estas questes voc tenha represen-
tado geometricamente os conjuntos dados, conforme a fgura 2.10.
x
2
1
A B C
1 2 3 4 1
x
2
x
2
x
1
x
1
x
1
Figura 2.10
Analisando a fgura, 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 def-
nies que seguem.
Defnio 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 0 k > , 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( ) sup{ ( , ) / , } A 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([ , ]) diam(( , )) a b a b b a = = .
55
Exemplo 2.8. Os dimetros dos conjuntos A, B e C , representados
na fgura 2.10 so:
diam( ) 2 A = ; diam( ) 2 B = ; diam( ) 2 C = .
Na fgura 2.11, representamos os conjuntos ' A e ' B .
x
2
x
2
B A
1 1 2 4 3
x
1
x
1
Figura 2.11
Temos diam( ') diam( ') 2 A B = = .
Nota: Antes de ler o prximo exerccio revise a noo de supremo.
Exerccio Resolvido
4) Demonstre a afrmao do Exemplo 2.7.
Resoluo:
Faremos para o intervalo [ , ] a b . O caso do intervalo ( , ) a b ca
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
n
< . Ento
1
, a b
n
per-
tencem a [ , ] a b e
1 1
, ( ) ( ) d a b b a b a
n n

| |
= >
|
\ .
.
Logo, ( ) sup{ ( , ), , [ , ]} b a d x y x y a b = .
56
Defnio 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
( , ) inf{ ( , ) / } d p A d p x x A = .
Nota:
1) O nfmo existe, pois ( , ) 0 d p x , x A .
2) Se p A , ento ( , ) 0 d p A = .
Exemplo 2.9. Considere o conjunto C , representado na fgura 2.10.
Dados
1
(0,1) P ,
2
1 1
,
2 2
P
| |
|
\ .
e
3
(2, 2) P , determinar a distncia ( , )
i
d P C ,
1, 2, 3 i = .
Temos que , pois

; e .
Defnio 2.5 (Distncia entre dois conjuntos). Sejam ( , ) M d um espa-
o mtrico, , A B M , A e B . Defnimos a distncia de A

at B como sendo o nmero real
{ } ( , ) inf ( , ) / e d A B d x y x A y B = .
Nota:
1) Se A B , ento ( , ) 0 d A B = .
2) A B = no implica que ( , ) 0 d A B > .
De fato, tome, por exemplo, os intervalos [0,1) A = e [1, 2] B = em .
Temos A B e ( , ) 0 d A B = .
Exemplo 2.10. Sejam:
2
{( , ) / 0} A x y y = = e
2
{( , ) / 0 e 1} B x y x xy = > = .
Mostrar que a distncia entre A e B zero.
Comprove este
resultado, raciocinando
geometricamente.
57
A fgura 2.12 ilustra os conjuntos A e B em
2
. A o eixo dos x e
B o grfco da funo
1
y
x
= , 0 x > .
Figura 2.12
Queremos mostrar que ( , ) 0 d A B = . Para isso, de acordo com a
-caracterizao de nfmo, 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
0
x tal que
0
1
x

> . Tomamos
0
( , 0) p x = e
0
0
1
, q x
x
| |
=
|
\ .
.
Temos
p A e q B
e
2
2
0 0
0 0
1 1
( , ) ( ) 0 d p q x x
x x

| |
= + = <
|
\ .
.
Logo, ( , ) inf{ ( , ) / e } 0 d A B d x y x A y B = = .
x
y
B
A
58
Exerccio Proposto
4) D exemplos de conjuntos A e B , tais que:
a) ( , ) 3 d A B = em ;
b) ( , ) 2 d o A = em
2
; onde o a origem.
c) ( , ) 1 d A B = em
2
e em
3
.
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.
Defnio 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

defnida
por
( , ) { / ( , ) } B x r y M d y x r = < .
Em
n
, podemos escrever
( , ) { / || || }
n
B x r y y x r = < .
Exemplo 2.11. Identifque, geometricamente, as bolas abertas:
1) ( , ) B a em .
2) ( , ) B a em
2
, para as 3 mtricas introduzidas.
Temos:
1) Em , com a mtrica usual, a bola aberta de centro em a e
raio o intervalo aberto ( , ) a a + , ilustrado na fgura 2.13.
0 a a a+
Figura 2.13
2) A fgura 2.14 (a), (b) e (c) mostra as bolas abertas em
2
,
para as mtricas Euclidiana, retangular e do mximo, respec-
tivamente.
59
x
2
x
2
x
1
a
1
(a) (b) (c)
a
1
a
1
a
2
a
2
a
2
x
1
x
1
x
2
Figura 2.14
Propriedades das bolas abertas. Seja ( , ) M d um espao mtrico.
Propriedade B1. O dimetro de ( , ) B x r satisfaz
diam( ( , )) 2 B x r r .
De fato, sejam , ( , ) y z B x r . Ento,
( , ) d y x r < e ( , ) d z x r < .
Usando a propriedade 3 M , segue que
( , ) ( , ) ( , ) 2 d y z d y x d x z r r r + < + = .
Assim, 2r

uma cota superior do conjunto das distncias entre 2
pontos quaisquer da bola e, ento, o seu dimetro satisfaz:
diam( ( , )) sup{ ( , ) / , ( , )} 2 B x r d y z y z B x r r = .
Exemplo 2.12. Em
n
, diam( ( , )) 2 B x r r = , valendo, assim, a igualda-
de na propriedade B1.
Exemplo 2.13. Seja M = , com a mtrica zero-um. Se 1 r < ,
( , ) { } B x r x = (conjunto unitrio). Logo, diam( ( , )) 0 B x r = e vale, neste
caso, a desigualdade estrita na propriedade B1.
Propriedade B2. Dadas as bolas
1
( , ) B x r e
2
( , ) B x r ,
1 2 1 2
( , ) ( , ) r r B x r B x r .
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
1
r , tal que
1
( , ) ( , ) B y r B x r .
Prova:
Seja ( , ) y B x r . Tome
1
( , ) r r d x y = , como representado na f-
gura 2.15, para
2
com a mtrica usual.
x
r
r
1
d(x,y)
y
Figura 2.15
Seja
1
( , ) z B y r . Temos que
1
( , ) ( , ) ( , ) ( , ) ( , ) ( , ) d z x d z y d y x r d y x r d x y d y x r + < + = + = .
Logo, ( , ) z B x r e, portanto,
1
( , ) ( , ) B y r B x r .

Propriedade B4. Sejam

1
( , ) B x r e
2
( , ) B y r , tais que
1 2
( , ) ( , ) B x r B y r .
Se
1 2
( , ) ( , ) z B x r B y r , ento existe uma bola aberta com centro em
z contida na interseo
1 2
( , ) ( , ) B x r B y r .
61
A fgura 2.16 ilustra esta propriedade para
2
com a mtrica usual.
r
1
r
2
z
y
x
Figura 2.16
Prova:
Seja
1 2
( , ) ( , ) z B x r B y r . Pela propriedade B3:

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

2
0 > tal que
2 2
( , ) ( , ) B z B y r . (2)
Tome
1 2
min{ , } = .
Por B2,
1
( , ) ( , ) B z B z e
2
( , ) ( , ) B z B z .
Por (1) e (2), conclumos que
1 2
( , ) ( , ) ( , ) B z B x r B y r .

Propriedade B5. Sejam

1
( , ) B x r e
2
( , ) B y r . Se
1 2
( , ) r r d x y + , ento
1 2
( , ) ( , ) B x r B y r = .
A fgura 2.17 ilustra esta propriedade para
2
com a mtrica usual.
62
d(x,y)
r
1
r
2
x
y
Figura 2.17
Prova (Por contradio):
Vamos supor que existe um ponto
1 2
( , ) ( , ) z B x r B y r .
Ento
1
( , ) d x z r < e
2
( , ) d y z r < , e, portanto,
1 2
( , ) ( , ) ( , ) d x y d x z d z y r r + < + ,
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 defnio 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
Defnio 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
Int( ) ( , ) x A B x r A .
Exemplo 2.14. Considere, em
2
, o conjunto
2 2 2
1 2 1 2
{( , ) / ( 1) ( 1) 1} A x x x x = + .
Quais os pontos de A que so pontos interiores? Existem pontos de
A que no so interiores? Quais?
A fgura 2.18 ilustra este exemplo.
1
1
x
2
x
1
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) Identifque, representando geometricamente, Int( ) A , sendo:
a)
2
1 2 2 1
{( , ) / } A x x x x = ;
b)
2 2
1 2 1 2
{( , ) / 0} A x x x x = < ;
c)
1
2
1 2 2
{( , ) / }
x
A x x x e = > ;
d)
2
1 2 1 2 1
{( , ) / 0 e ln } A x x x x x = > < ;
e) A = (conjunto dos inteiros em );
f)
1
1
,
n
A n
n

=
| |
=
|
\ .

em .
Exerccio Resolvido
5) Mostre que Int( ) Int( ) Int( ) A B A B = .
Resoluo:
Seja Int( ) Int( ) x A B . Ento, pela denio de interior, existem
1
r

e
2
r tais que
1
( , ) B x r A e
2
( , ) B x r B . Pela propriedade de bolas
abertas B4,
3
r tal que
3 1 2
( , ) ( , ) ( , ) B x r B x r B x r A B .
Logo, Int( ) x A B e provamos que Int( ) Int( ) Int( ) A B A B . A
outra incluso ca como exerccio.
65
Exerccio Proposto
6) Decida se Int( ) Int( ) Int( ) A B A B . Se for verdadeiro prove,
caso contrrio apresente um contra-exemplo.
Defnio 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 Int( ) A 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 { / 0 1} A x x = < < aberto em , mas o
conjunto
2
1 2 1 2
{( , ) / 0 1, 0} B x x x x = < < = no aberto em
2
.
A fgura 2.19 ilustra esta situao
A B 0 1 1
x
x
2
x
1
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
x
I o
maior intervalo aberto tal que
x
x I A . Note que se x y , ento
66
x y
I I = ou
x y
I I = . Ento,
x
A I = e esta unio enumervel,
pois dentro de cada
x
I 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
2 2
{( , ) / 1} A x y x y = > +
aberto (ver fgura 2.20) usando a defnio de conjunto aberto.
A
1
y
x
x=y
2
+1
Figura 2.20
Para ver isto, seja ( , ) a b A . Sem perder a generalidade, supor 0 b .
Tomar 0 > tal que
2
( ) 1 a b > + + + .
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
2 2
( ) ( ) || ( , ) ( , ) || x a y b x y a b + = <
e isto implica que | | e | | . x a y b < < Assim,
,
.
x a
y b


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


< < +
< < +
Logo,
2 2 2
( ) 1 ( ) 1 1. x a b b y > + + + = + + > +
Isto ,
2
1. x y > + 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
1
A e
2
A conjuntos abertos e
3 1 2
A A A = .
Se
3
A = , nada temos a provar.
Seja
3
z A .
Devemos mostrar que existe uma bola aberta ( , ) B z r tal que
3
( , ) B z r A .
Como
1
z A e
1
A aberto, existe
1
0 r > tal que
1 1
( , ) B z r A .
Da mesma forma,
2
0 r > tal que
2 2
( , ) B z r A .
Seja
1 2
min{ , } r r r = .
Ento,
1 1
( , ) ( , ) B z r B z r A e
2 2
( , ) ( , ) B z r B z r A .
Logo,
1 2
( , ) B z r A A e, assim,
1 2
A A 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 fnita de
abertos um aberto, isto , se
1 2
, , ,
n
A A A so conjuntos aber-
tos, ento
1
n
i
i
A A
=
=

aberto, n .
Nota: A interseo de uma coleo infnita de abertos pode no ser
um aberto.
Exemplo 2.20. Em , tome
1 1
/
n
A x x
n n

= < <
`
)
, n.
Ento,
1
{0}
n
n
A

=
=

, que no aberto.
2.10 Conjuntos Fechados
Conjuntos fechados so defnidos simplesmente como conjuntos
cujo complementar aberto. No decorrer deste captulo veremos al-
gumas outras caracterizaes de conjuntos fechados. Porm, vale a
pena ressaltar que, mesmo em , descrever completamente quais
so os conjuntos fechados de um espao mtrico um problema
complicado. Abaixo voc pode ver o desenho do tringulo de Sier-
pinski em
2
e
3
(fgura 2.21). Ambos so conjuntos fechados
(pois os complementares so abertos) e do uma ideia de quo com-
plicados os conjuntos fechados podem ser.
Se necessrio revise o
captulo 5, Princpio
de Induo do texto
de Fundamentos de
Matemtica I [2, Carvalho-
Gimenez].

Tringulo de Sierpinski
uma generalizao do
conjunto de Cantor (o qual
estudaremos mais tarde).
Se voc quiser saber mais,
sugerimos uma busca na in-
ternet com as palavras Tri-
ngulo de Sierpinski ou, em
ingls, Sierpinski triangle..
69

Figura 2.21
Defnio 2.9. Seja F M . Dizemos que F fechado se o seu com-
plementar, ( ) C F , for aberto.
Exemplo 2.21. O conjunto
2 2 2
1 2 1 2
{( , ) / 1} F x x x x = + fechado
em
2
.
Exemplo 2.22. Os intervalos [ , ] a b , ( , ] b e [ , ) a + so conjuntos
fechados.
Exemplo 2.23. O conjunto
3 2 2 2
1 2 3 1 2 3
{( , , ) / 1} F x x x x x x = + + 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 defnimos bola aberta, podemos defnir bola fe-
chada.
[ , ] { / ( , ) } B x r y M d y x r =
uma bola fechada em M .
Em
n
, podemos escrever:
[ , ] { / || || }
n
B x r y 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
, { }
2
( ) B x 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
1
F e
2
F conjuntos fechados e
1 2
F F F = .
Temos que
1 2 1 2
( ) ( ) ( ) ( ) C F C F F C F C F = = .
Como
1
F e
2
F so fechados
1
( ) C F e
2
( ) C F 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 fnita de fechados um fechado (use indu-
o matemtica).
10) Em
n
todo conjunto unitrio fechado? E todo conjunto fni-
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 defnio:
Defnio 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:
' 0 x A r > , ( , ) { { }} 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 fnito 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].
Exemplo 2.28. Seja
1 1 1
1, , , , ,
2 3
A
n

=
`
)
em . Ento, ' {0} A = .
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 0 r > .
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
tal que n n
r
> ou, reescrevendo,
1
r
n
< .
Os racionais
p
n
, p dividem a reta real em intervalos de com-
primento
1
r
n
< , como ilustrado na gura 2.22.
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
( , ) x r x r +
2
2r
n
> .
Exemplo 2.30. Em
2
, seja
1
,sen : 0 1 A x x
x
| |
= < <
`
|
\ . )
.
Ento ' {(0, ) : 1 1} {(1,sen 1)} A A y y = .
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.
Para ter uma ideia de M,
tente plotar o grco
de
1
sen y
x
= no
computador.
74
Seja ( ) x C F . Como ' F F , ento ' x F .
Portanto, existe 0 r > tal que ( , ) B x r F = , o que implica
que ( , ) ( ) B x r C F .
Logo, Int( ( )) x C F e, dessa forma, ( ) C F aberto.
Segue que F fechado.

Exerccios Propostos
12) Encontrar ' S , sendo
2 2
{( , ) / 1} S x y y x = < .
13) Decida quais dos seguintes conjuntos so fechados em :
a)
1 1 1
1, , , , ,
2 3
A
n

=
`
)
;
b)
1 1 1
0,1, , , , ,
2 3
B
n

=
`
)
;
c)
3 4 5 6
1, 2, , , , ,
2 3 4 5
C

=
`
)
;
d)
1 1 1 1
, , , ,
2 4 8 16
D

=
`
)
;
e) Domnio de f , sendo
1
( )
1
f x
x
=

;
f) Imagem de g , sendo
2
( ) 2 2 g x x x = + + .
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 defnio:
Defnio 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) 0 a A r > , ( , ) 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 0 r > 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
1
0 r > tal que
1
( , ) ( , ) ( ) B y r B a r C X .
Assim,
1
( , ) B y r X = , o que implica que y no ponto de
acumulao de X . Segue que ( ) y C X .
Conclumos, assim, que Int( ( )) a 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 ,
fechado
A F
F
A F

= .
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
,
2
B n
| |
=
|
\ .
. Disto segue que = (veja denio 2.11) e,
portanto, fechado.
b)
Resoluo:
Note que = , pois dado um nmero real x qualquer, toda bola
aberta ( , ) B x contm racionais diferentes de x . Pela denio
2.11, segue que = .
c) (0, 2)
Resoluo:
Primeiro observe que se [0, 2] x ento existe um 0 > tal que
( , ) (0, 2) B x e, portanto, x no ponto de acumula-
o de (0, 2) . Por outro lado, fcil ver que se [0, 2] x , ento
( , ) (0, 2) B x para todo 0 > . Logo, =[ (0, 2) 0,2] . Segue da
denio 2.11 que (0, 2) [0, 2] = .
Exerccios Propostos
14) Determine o fecho dos seguintes conjuntos em :
a)
1 1 1
1, , , ,
2 3 4
A

=
`
)
;
b)
1
1
,
n
B n
n

=
| |
=
|
\ .

.
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
inf{ ( , ) / } 0 x A d x y y A = .
Prova:
) Sejam x A e inf{ ( , ) / } d x y y A = .
Se x A , ento 0 = (trivial).
Se x A mas ' x A , ento 0 r > , ( , ) B x r A .
Assim, 0 r > , existe y A tal que ( , ) d x y r < .
Como 0 r > qualquer, segue de
0 =
.
) Seja x M tal que inf{ ( , ) / } 0 d x y y A = = .
Se x A , nada a provar.
Se x A , pela denio de nmo, para qualquer 0 r > , 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 defnio de conjunto denso. Vejamos:
Defnio 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 fnalizar 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 fgura 2.23.
Fronteira entre
Brasil e Bolvia
AMAZONAS
MANAUS
RIO BRANCO
CUIAB
BOA VISTA
PORTO VELHO
MACAP
BELM
GOINIA
PALMAS
CAMPO GRANDE
BELO HOR
SO PAULO
CURITIBA
RORAIMA
ACRE
PERU
RONDNIA
BOLVIA
PAR
AMAP
MATO GROSSO
MATO GROSSO
DO SUL
MARANHO
TOCANTINS
DISTRITO
FEDERAL
GOIS
SO PAULO
PARAGUAI
MINAS
GERAIS
PARAN
SANTA
CATARINA
Figura 2.23
Temos a seguinte defnio.
Defnio 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
Fr( ) 0 x A r > ,
( , )
e
( , ) ( )
B x r A
B x r C A

.
A fgura 2.24 ilustra esta defnio.
Exemplo 2.34. Encontrar Fr( ) A , sendo
2
A , o conjunto:
2 2 2
{( , ) / 1} A x y x y = < .
79
O conjunto A est representado na gura 2.25. Observe que
2 2
1 x y =
a equao de uma hiprbole. A fronteira de A o grco desta
hiprbole, isto ,
2 2 2
Fr( ) {( , ) / 1} A x y x y = = .
A
y y
x x 1 1 1 1
Fr(A)
Figura 2.25
Exemplo 2.35. Seja A um conjunto unitrio. Veja que neste
caso, Fr( ) A A = .
Exerccios Propostos
17) Verifque se so verdadeiras ou falsas as sentenas:
a) Fr( ) Fr( ) A B A B ;
b)

Fr( ) ' x A x A , isto , x um ponto de acumulao de
A;
c) Fr( ) Fr( ) Fr( ) A B A B .
18) Identifque e represente geometricamente a fronteira dos se-
guintes conjuntos:
a)
2 2 2
{( , ) / 1} A x y x y = + ;
b)
Int( ) A
(sendo
A
o conjunto do item a);
c)
[0,1] A =
em

;
d)
[0,1] B =
em

;
e)
2 2
{( , ) / 4 3} C x y y x x = > +
.
80
Propriedades da Fronteira:
Propriedade Fr1. Fr( ) ( ) A A C A = .
Prova:
( , )
Fr( ) 0, e e ( )
( , ) ( )
( )
B x r A x A
x A r x A C A
B x r C A
x C A

>

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

.
Prova:
) Seja Int( ) Fr( ) x A A .
Se Int( ) x A , nada a provar, pois Int( ) A A A .
Se Int( ) x A e Fr( ) x A , temos que 0 > , ( , ) B x A .
Logo, x A .
Conclumos, ento, que Int( ) Fr( ) A 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
Int( ) x A ou Int( ) x A .
Se Int( ) x A , nada a provar.
Suponha que Int( ) x 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 , 0 r > .
Logo, Fr( ) x 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, Fr( ) x A .
Conclumos, ento, que Int( ) Fr( ) A A 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 fnalizar, observe a fgura 2.26, onde est representado o sub-

conjunto de
2
,
2
{( , ) / 1} A x y x = > .
y
x
1 A
Figura 2.26
82
Temos
2
Fr( ) {( , ) / 1} A x y x = =
2
Int( ( )) {( , ) / 1} C A x y x = < .
Dado um ponto qualquer
2
p , exatamente uma das trs possibi-
lidades a seguir ocorre:
Int( ) p A ou Fr( ) p A ou Int( ( )) p C A .
Esse resultado pode ser generalizado.
Proposio 2.3. Seja A M . Dado p M , tem-se 3 possibilidades
exclusivas:
Int( ) p A ou Fr( ) p A ou Int( ( )) p C A .
Assim, a ideia intuitiva de que a fronteira desempenha um papel de
limitante entre um conjunto e seu exterior, como ilustrado na fgura
2.23, vale para qualquer conjunto de um espao mtrico.
Exerccios Propostos
19) D exemplos de conjuntos A em ,
2
e
3
, identifcando:
Int( ) A , ' A , A, Fr( ) A , ( ) C A , Int( ( )) C A .
20) D exemplos para ilustrar que:
a) Fr( ) Fr( ) A B mas A B ;
b) Um ponto de fronteira no ponto interior.
Exerccios Complementares
1) Verifque quais das seguintes funes so mtricas em :
a) ( , ) | | d x y x y = + ;
b) ( , ) | | | | d x y x y = ;
c)
2
( , ) ( ) d x y x y = .
2) Verifque quais das seguintes funes so mtricas em
2
:
a)
1 1 2 2
( , ) 3| | 3| | d x y y x y x = + ;
83
b)
1 1 2 2
( , ) | | | | d x y x y x y = + + + ;
sendo
1 2
( , ) x x x = e
1 2
( , ) y y y = .
3) Seja : f uma funo estritamente crescente. Seja
: d defnida por ( , ) | ( ) ( ) | d x y f x f y = . Mostre que
d uma mtrica sobre .
4) Seja X um conjunto no vazio e
{ : / limitada} M f X f = .
Em M considere a mtrica
( , ) sup{| ( ) ( ) |}
x X
d f g f x g x

= .
Tomando [1, 3] X = ,
2
( ) f x x = e ( ) 1 g x x = + , determine ( , ) d f g .
5) Em , considere a mtrica usual. Verifque que valem as
igualdades:
a) ( , ) 0 d p = , p ;
b) ( , ) 0 d = ;
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( ) 0 A A = unitrio.
7) Considere com a mtrica usual. Verifque que
1
0 ( , )
2
d a , a ,
onde o conjunto dos inteiros.
8) Sejam p um ponto de um espao mtrico e n. Prove que a
interseo das bolas abertas de centro em p e raio
1
n
o con-
junto unitrio { } p , isto ,
1
1
, { }
n
B p p
n

=
| |
=
|
\ .

.
84
9) Seja
2
{( , ) / 0} A x y y = . Tomando
2
com a mtrica usual
e A com a mtrica induzida, desenhe as bolas abertas e fecha-
das que seguem:
a) ( ,1) B o ;
b) ( ,1)
A
B o ;
c) [ ,1] B o ;
d) [ ,1]
A
B o ;
onde
A
B denota uma bola em A e o denota a origem.
10) Determine o interior dos seguintes conjuntos em :
a) {1, 2, 3, } = ;
b) / , e 0
p
x p q q
q

= =
`
)
;
c) ;
d) Intervalo aberto (1, 2) ;
e) (1, 2) ;
f) Intervalo [1, 2) ;
g) Intervalo fechado [1, 2] ;
h) [1, 2] {3} .
11) Identifque quais dos seguintes subconjuntos de
2
, com a
mtrica usual, so abertos e/ou fechados ou nem abertos nem
fechados:
a)
2 2 2
{( , ) / 4 0} A x y x x y = + ;
b)
2
{( , ) / 0} B x y y = > ;
c)
2
{( , ) / 2 e 2} C x y x y = < ;
d)
2
{( , ) / 0 e 0} D x y x y = = = ;
e)
2
{( , ) / 1} E x y x = ;
f)
2 2 2
{( , ) / 1} F x y y x = > ;
g) (0, 2) (1, 2) G B B = .
85
12) Determine os pontos de acumulao e o fecho de cada um dos
seguintes subconjuntos de :
, , , (0, 2) , [0, 2) , [0, 2] , (0,1) ,
1 1 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 fnito. Prove que
todo subconjunto de M aberto.
15) Sejam
n
x no vazios em . D exemplos mostrando que
1
n
n
F

pode ser vazio se os
n
F 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 signifcado 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 .
18) D exemplos, em
2
, de:
a) conjuntos abertos;
b) conjuntos fechados;
c) conjuntos nem abertos nem fechados.
86
19) Determine a fronteira dos conjuntos:
a) Em
1 1
: [ ; ) A a = + ;
2
[0,1) {3} A = ;
3
A = ;
b) Em
2
1
: {( , ) / 1} B x y xy = = ;
2
{( , ) / 0 e 0} B x y x y = > > .
20) Encontre os pontos de acumulao dos seguintes conjuntos
em
2
:
a) {( , ) / , } A m n m n = ;
b) {( , ) / , so racionais} B p q p q = ;
c)
1 1
, / C n
n n
| |
=
`
|
\ . )
;
d)
1 1
, / , D m n
m n
| |
=
`
|
\ . )
;
e) / 0
1
, , ,
m
D m n
n
n
n
| |
=
`
|
\ .

)
.
21) Prove que, em
n
, vale:
a) Int( ) \ Fr( ) A A A = ;
b) \ Int( \ )
n n
A A = R R .
22) Quais afrmaes so verdadeiras em um espao mtrico M ?
Justifque suas respostas.
a) Int( ) Int( ) A A = ;
b) A A A = ;
c) Int( ) A A = ;
d) Fr( ) Fr( ) A A = ;
e) Fr( ) \ A M A se A aberto.
23) Prove que em um espao mtrico, tem-se:
a) Fr( ) Fr( \ ) A M A = ;
b) A B A B ;
c) A B A B ;
d) Int( ) Int( ) Int( ) A B A B ;
e) Int( ) Int( ) Int( ) A B A 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 denio 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
innito. Para isso, precisamos denir 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 infnita) 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 fque para fora da mesa (Figura 3.1).
Apesar de este mtodo funcionar, iremos atingir uma distn-
cia de, no mximo, aproximadamente 1. Poderamos, ento,
pensar em usar contrapesos para atingir distncias maiores. Figura 3.1
MESA
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
1
M e
2
M , localizados em
1
x e
2
x , respecti-
vamente (Figura 3.2), dado por
M
1
x
1
x
1
c
M
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,
n
c , 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).
1 1 2 2
1 2
.
x M x M
c
M M
+
=
+
Figura 3.2
93
Mesa 0 1 2 3
1
Figura 3.4
Portanto, a extremidade deste livro j alcanou a distncia
1
1 D = 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):
Mesa 0 1 2 3
1
2
Figura 3.5
e o centro de gravidade desta pilha de dois livros :
2 2 1 1
2 1
( 1) 1 0 1 1
.
1 1 2
x M c M
c
M M
+ +
= = =
+ +
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
2
e tere-
mos alcanado a distncia
2
1
1
2
D = +

do beirado da mesa (Figura 3.6):
Mesa 0 1 2 3
1
2
Figura 3.6
Procedendo desta maneira sucessivamente, teremos que uma pilha
de n livros alcana a distncia de
1 1
1 .
2
n
D
n
= + + + Este o termo
geral da sequncia das somas parciais da srie harmnica divergen-
te
1
1
n
n

(mas no iremos estudar esta srie neste curso). A divergn-

cia da mesma signifca que, somando termos sufcientes 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 sufciente 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 fgura 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 inf-
nitas interessante. Esperamos que voc fque entusiasmado
e estude com afnco os contedos que sero explorados nesta
unidade.
Uma sequncia de nmeros reais nada mais do que uma lista infnita
de nmeros reais, arranjados em uma certa ordem. Mais precisamente,
temos uma sequncia (infnita) se para cada nmero natural n associa-
mos um nmero real
n
x , conforme defnio que segue.
Defnio 3.1. Uma sequncia de nmeros reais uma funo
:

n
f
n x

N R
.
95
Denotamos:
1 2
( , , , , )
n
x x x . . ou simplesmente ( )
n
x .
Exemplo 3.1. (2, 4, 6,8, ) (2 ) n = . .
Exemplo 3.2. (cos , cos 2 , cos3 , ) (cos ) n = . .
Exemplo 3.3.
1 1 1
1, , ,
2 3 n
| | | |
=
| |
\ . \ .

.
Na disciplina de Clculo I, voc estudou as sequncias de nmeros
reais. Antes de continuar seu estudo, interessante voc revisar a
seo 1.3 do livro-texto da referida disciplina.
Generalizando, podemos pensar em sequncias no
2
R ,
3
R , ... ,
n
R , ou em um espao mtrico qualquer.
Exemplo 3.4.
2
:
1 1
,
2
f
n
n n

| |

|
\ .
N R
.
Os termos desta sequncia so formados por pares ordenados de
nmeros reais, como segue:
1 1 1 1 1
1, , , , , ,
2 2 4 3 6
| | | | | | | |
| | | |
\ . \ . \ . \ .
.
Exemplo 3.5.
3
:
1 1 1
, ,
f
n
n n n

| |

|
\ .
N R
.
Neste caso, os termos da sequncia so formados por ternas orde-
nadas de nmeros reais. Temos
( )
1 1 1 1 1 1
1,1,1 , , , , , , ,
2 2 2 3 3 3
| | | | | |
| | |
\ . \ . \ .
.
3.2 Sequncias em um Espao Mtrico
Defnio 3.2. Seja ( , ) M d um espao mtrico. Uma sequncia em
M uma funo
:

n
f M
n x

N
.
96
Notao. Usamos a mesma notao utilizada para sequncias de
nmeros reais, ou seja:
1 2
( , , , , )
n
x x x . . ou ( )
n
x .
O conjunto dos termos da sequncia ser denotado por ( ) f N , ou
1 2
{ , , } x x . .
Nota: Veja que o conjunto dos termos da sequncia difere da se-
quncia, como ilustrado no seguinte exemplo:
Sequncia: (1 ( 1) ) (0, 2, 0, 2, )
n
+ = . .
Conjunto dos termos: {0, 2}.
3.3 Limite de uma Sequncia
A fgura 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
1
( )
n
x
n
| |
=
|
\ .
,
temos
1
lim lim 0
n
n n
x
n

= = .
Intuitivamente, observando a fgura 3.9, vemos que os termos da
sequncia tornam-se arbitrariamente prximos de zero quando n
tende a infnito.
0 1 1 1 1 1
2 3 4
x
n
Figura 3.9
Figura 3.8 - O conceito de
convergncia uniforme.
97
Formalmente, verifca-se a defnio: 0 > , se
0
n N
e
0
1
n

,
ento
| 0 |
n
x < para todo
0
n n > .
Esta defnio pode ser visualizada na fgura 3.10. A partir de
0
n ,
todos os termos da sequncia situam-se num intervalo aberto de
centro em 0 e raio .
x
n
,n > n
0

0
x
( )

Figura 3.10
Tambm podemos dizer que, para
0
n n > , a distncia entre
n
x e 0
menor que .
Nota: Lembre que | |
n
x a nos d a distncia de
n
x at a .
Como podemos generalizar a defnio de limite de uma sequncia
para um espao mtrico qualquer?
Defnio 3.3. Sejam ( , ) M d um espao mtrico e ( )
n
x uma se-
wquncia em M . Dizemos que ( )
n
x converge para a M se para
todo 0 > existir
0
n N tal que
( , )
n
d x a < para todo
0
n n > .
Escrevemos: lim
n
n
x a

= ou
n
x a , ou ainda, lim
n
x a = .
Se ( )
n
x no converge, ela dita divergente.
Nota: Utilizando bolas abertas, podemos escrever:
lim 0
n
n
x a r

= > , existir
0
n N tal que ( , )
n
x B a r para todo
0
n n > .
A visualizao geomtrica ilustrada na fgura 3.11.
98
x
1
r
a
x
2
x
n
,n > n
0

Figura 3.11
Exemplo 3.6. Seja ( , ) M d um espao mtrico. A sequncia
1 2
( , , , , , , , )
k
x x x p p p . . dita sequncia estacionria.
Temos que
n
x p .
De fato, dado qualquer 0 > , basta tomar
0
n k = N. Para todo
0
n n > , temos ( , ) ( , ) 0
n
d x p d p p = = < .
Exemplo 3.7. Seja M = R, com a mtrica usual. A sequncia
3
3 1
n
n
| |
|
+
\ .

converge para o nmero real 1. Vejamos por qu: d 0 > .
Devemos encontrar
0
n N tal que
0
3
1
3 1
n
n n
n
> <
+
.
Agora, note que as seguintes desigualdades so equivalentes:
3
1
3 1
n
n
<
+
,
3 3 1
3 1
n n
n


<
+
,

1
3 1 n
<
+
,
1
3 1 , n

+ >
1 1
1
3
n

| |
>
|
\ .
.
99
Assim, se tomarmos
0
n como o primeiro natural maior que
1 1
1
3
| |

|
\ .
, temos que
0
3
1
3 1
n
n n
n
> <
+
, como desejado.
Exemplo 3.8. Seja
2
M = R , com a mtrica usual (isto , a mtri-
ca Euclidiana). A sequncia cujo termo geral o par ordenado
1 ( 1)
( , ) 1 ,
n
n n
x y
n n
| |
= +
|
\ .
converge para o par ordenado (1, 0) .
Para simplicar a notao, denotamos: ( , )
n n n
z x y = ; (1, 0) a = .
Temos:

2 2
2 2
2 2
( , ) ( 1) ( 0)
1 1
1 1
1 1 1
2
n n n
d z a x y
n n
n n n
= +
| | | |
= + +
| |
\ . \ .
| | | |
= + =
| |
\ . \ .
Nota: Observe que ( ( , ))
n
d z a uma sequncia de nmeros reais que
converge para zero, pois o produto da sequncia
1
0
n
(que converge
para zero) pela constante 2 (ver teorema 7, da seo 1.3.4 do livro-
texto de Clculo I).
Logo,
1 ( 1)
1 , (1, 0)
n
n n
| |
+
|
\ .
.
Exemplo 3.9. Seja ( , ) M d um espao mtrico. A sequncia
( ) ( , , , , , , )
n
x a b a b a b = . , onde a b divergente.
Exemplo 3.10. Em
2
R , a sequncia
1 1
( ) , (0, 0)
n
z
n n
| |
=
|
\ .
.
Exerccio Proposto
1) Usando a defnio, comprove o resultado do exemplo 3.10.
Nota: Segue da defnio de limite de sequncia que, em um espao
mtrico qualquer, uma sequncia
n
x a se, e somente se, a sequn-
cia de nmeros reais ( , ) 0
n
d x a .
100
Nos exemplos 3.8 e 3.10, temos sequncias convergentes em
2
R . Ob-
serve os resultados e se questione:
Em
2
R , uma sequncia ( , ) ( , )
n n
x y a b se, e somente se,
n
x a e
n
y b ?
A resposta positiva. Temos a seguinte proposio:
Proposio 3.1. A sequncia
1 1 2 2
(( , ), ( , ), , ( , ), )
n n
x y x y x y . . converge
para ( , ) a b em
2
R se, e somente se, a sequncia ( )
n
x converge para
a e a sequncia ( )
n
y converge para b em R.
Prova:
) Hiptese: ( , ) ( , )
n n
x y a b .
Tese:
n
x a e
n
y b .
Seja 0 > . Como ( , ) ( , )
n n
x y a b , existe
0
n N tal que
(( , ), ( , ))
n n
d x y a b < para todo
0
n n > .
Ento, para todo
0
n n > , temos:
2 2 2
| | ( ) ( ) ( ) (( , ), ( , ))
n n n n n n
x a x a x a y b d x y a b = + = <
e
2 2 2
| | ( ) ( ) ( ) (( , ), ( , ))
n n n n n n
y b y b x a y b d x y a b = + = <
Logo,
n
x a e
n
y b .
) Hiptese:
n
x a e
n
y b .
Tese: ( , ) ( , )
n n
x y a b .
Seja 0 > .
Como
n
x a ,
1
n N tal que | |
2
n
x a

< ,
1
n n > .
Como
n
y b ,
2
n N tal que | |
2
n
y b

< ,
2
n n > .
Seja
0 1 2
max{ , } n n n = .
Para todo
0
n n > , temos
101
Logo, ( , ) ( , )
n n
x y a b .

Nota: A proposio 3.1 pode ser generalizada para

n
R .
Exemplo 3.11. Em
4
R , a sequncia
1 1 ( 1) 1
( ) , , ,
2
n
n n
n
z
n n n
| |
=
|
\ .
con-
verge para (0,1, 0, 0) .
Observao Importante. A convergncia depende da mtrica.
Exemplo 3.12. De fato, em R, com a mtrica usual,
1
0
n
| |

|
\ .
.
Se tomarmos a mtrica 0 1 , a sequncia
1
n
| |
|
\ .
no converge para
zero, pois
1
, 0 1 d
n
| |
=
|
\ .
, para todo n .
Com esta mtrica, a sequncia
1
n
| |
|
\ .
diverge, pois, a R,
1
, 1 d a
n
| |
=
|
\ .
,
exceto, possivelmente, para um determinado valor de n .
Um Exemplo de Sequncia de Funes. Seja [0,1] C o es-
pao das funes contnuas, :[0,1] f R com a mtrica
0 1
( , ) max{| ( ) ( ) |}
t
d f g f t g t

= .
Neste espao, considere a sequncia ( )
n
f , onde ( )
n
nt
f t
n t
=
+
para
todo [0,1] t .
Cada termo da sequncia uma funo de t . Assim, o limite, se
existir, ser uma funo de t .
O que ocorre se considerarmos t fxo e n ?
Observe que se a e b so
nmeros positivos, ento
102
Podemos verifcar facilmente que
lim
n
nt
t
n t

=
+
.
Denote ( ) f t t = .
Afrmao: lim ( ) ( )
n
n
f t f t

= em [0,1] C .
De fato,

0 1
0 1
2
0 1
2
0 1
2
0 1
( , ) max{| ( ) ( ) |}
max
max
max
1
max 0.
n n
t
t
t
t
t
d f f f t f t
nt
t
n t
t
n t
t
n t
t
n n





=

=
`
+
)


=
`
+

)

=
`
+
)

=
`
)
Nota: Observe que na seo 2.4 defnimos uma mtrica num espao
de funes usando o supremo. Neste exemplo usamos o mximo
porque estamos trabalhando num espao de funes contnuas def-
nidas num intervalo fechado e limitado. Em um intervalo desse tipo
toda funo contnua assume valor mximo.
Exerccio Proposto
2) Use um software grfco e construa o grfco das funes: ( ) f t ,
( )
n
f t , 1, 2, , 5 n = . .
Proposio 3.2. Seja ( )
n
x uma sequncia num espao mtrico ( , ) M d .
Se existir lim
n
n
x

ele nico.
Prova:
Vamos supor que lim
n
n
x a

= e lim
n
n
x b

= . Seja 0 > .
Como
n
x a ,
1
n N tal que ( , )
2
n
d x a

< para todo
1
n n > .
Como
n
x b ,
2
n N tal que ( , )
2
n
d x b

< para todo
2
n n > .
103
Seja
0 1 2
max{ , } n n n = .
Tome um
0
n n > . Ento, ( , )
2
n
d x a

< e ( , )
2
n
d x b

< e, dessa forma,
( , ) ( , ) ( , )
2 2
n n
d a b d a x d x b

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

Exerccio Proposto
3) Verifque quais das sequncias abaixo convergem. Para as se-
quncias convergentes d o limite:
a)
1
( 1) ( 1)
,
n n
n n
+
| |
|
\ .
em
2
R ;
b) ( , , , , , , ) a b a b a b . , a b em R;
c) (1, 2, 3, , , , , ) p p p . . em R com a mtrica 0 1 ;
d) A sequncia ( )
n
f , onde ( )
n
t
f t
n
= , no espao [0,1] C com a
mtrica
0 1
( , ) max{| ( ) ( ) |}
t
d f g f t g t

= .
3.4 Subsequncias
Introduziremos agora a noo de subsequncias. Se voc ach-la
difcil, no desanime! Veja o que escreveu Mittag-Leffer, 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-Leffer, 1875, veja Dugac 1978, p. 69, apud [6,
Hairer-Wanner])
Em R, considere a sequncia
( 1) 1 1 1
1, , , ,
2 3 4
n
n
| | | |
=
| |
\ .
\ .
.
Podemos, de uma maneira muito natural, destacar duas subsequn-
cias:
104
1 1
1, , ,
3 5
| |

|
\ .
e
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, , ,
4 7
| |

|
\ .
uma subsequncia?
A resposta positiva. Vejamos:
Defnio 3.4. Seja ( )
n
x uma sequncia em um espao mtrico
( , ) M d .
Uma subsequncia de ( )
n
x uma restrio da aplicao
:
( )
n
f M
f n x

=
N
a um subconjunto infnito
1 2 1 2
{ , , , , / }
k k
k n n n n n n = < < < < . . . .
de N.
Denotamos:
1 2
( , , , , )
k
n n n
x x x . . ou ( )
k
n
x .
Observao. Uma subsequncia pode ser vista como uma sequncia,
atravs da aplicao
1
2
1
2
k
n
n
n
x
x
k x

.
.
Proposio 3.3. Seja ( , ) M d um espao mtrico. Se uma sequncia
( )
n
x de pontos de M converge para a, ento toda subsequncia de
( )
n
x tambm converge para a .
105
Prova:
Seja ( )
k
n
x uma subsequncia de ( )
n
x . Seja 0 > . Como lim
n
x a = ,
existe
0
n N tal que ( , )
n
d x a < para todo
0
n n > .
Como o conjunto de ndices da subsequncia
1 2
{ , , , , }
k
n n n . .
infnito, existe
0
k tal que
0
0 k
n n .
Para
0
k k > temos
0
0 k k
n n n > > e, assim, ( , )
k
n
d x a < .
Logo,
k
n
x a .

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 R, a sequncia
1
(( 1) ) (1, 1,1, 1, )
n+
= . 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 ( )
n
x uma sequncia num espao mtrico
( , ) M d e a M . O ponto a o limite de uma subsequncia de
( )
n
x se, e somente se, para todo 0 r > , a bola aberta ( , ) B a r contiver
uma infnidade de termos de ( )
n
x .
Prova:
) Vamos supor que existe ( )
k
n
x subsequncia de ( )
n
x tal que
k
n
x a .
Ento para todo 0 r > ,
0
k N tal que ( , )
k
n
d x a r < para todo
0
k k > . Logo, para
0
k k > , ( , )
k
n
x B a r , ou seja, ( , ) B a r contm
uma infnidade de termos de ( )
n
x .
) Suponha que r , ( , ) B a r contm uma infnidade de ter-
mos de ( )
n
x . Vamos construir uma subsequncia ( )
k
n
x de ( )
n
x ,
convergindo para a , como segue:
106
Escolhemos
1
n
x entre a infnidade de termos de ( )
n
x perten-
centes a ( ,1) B a .
Como
1
,
2
B a
| |
|
\ .
tambm contm uma infnidade de termos ( )
n
x ,
escolhemos
2 1
n n > tal que
2
1
,
2
n
x B a
| |

|
\ .
.
Suponhamos ter escolhido, desta forma,
1 2 1
, , ,
k
n n n
x x x

. .
Como
1
, B a
k
| |
|
\ .
contm uma infnidade de termos de ( )
n
x , po-
demos escolher
1 k k
n n

> tal que
1
,
k
n
x B a
k
| |

|
\ .
.
A subsequncia ( )
k
n
x de ( )
n
x , assim construda, satisfaz
1
( , )
k
n
d x a
k
< .
Como
1
0
k
quando k , segue que
k
n
x a .

3.5 Sequncias Limitadas

Voc estudou sequncias limitadas em R 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.
Observe as sequncias de nmeros reais
1 1 1
1, , ,
2 3 n
| | | |
=
| |
\ . \ .
e
(2 ) (2, 4, 6,8, ) n = . .
A 1 sequncia limitada e a 2 no limitada. Como formalizar
estes conceitos? Vejamos:
Defnio 3.5. Seja ( , ) M d um espao mtrico. Dizemos que uma
sequncia ( )
n
x de pontos de M limitada quando o conjunto dos
seus termos
1 2 3
{ , , , } x x x . limitado, ou seja, est contido em uma
bola, o que em termos formais signifca que existem 0 L > e
0
x M
tal que
0
( , ),
n
x B x L n N.
Exemplo 3.14. A sequncia (1 ( 1) )
n
+ limitada em R, 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 [0,1] C a sequncia ( )
n
f , onde :[0,1]
n
f R a
funo dada por ( )
n
n
f t t = , limitada, pois ( , 0) 1,
n
d f n = . (Note
que 0 denota a funo nula.)
Exemplo 3.17. ( ( 1) ) (0, 4, 0,8, 0,12, )
n
n n + = . no limitada, pois o
conjunto de seus termos {0, 4,8,12, } . no limitado.
Exerccio Proposto
4) D exemplos:
a) Uma sequncia no limitada em
2
R ;
b) Uma sequncia limitada em
3
R ;
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
n
x a . Ento, para 1 = ,
0
n N tal que
0
( ,1)
n
n n x B a > .
O conjunto
0
1 2
{ , , , }
n
x x x . um conjunto fnito. Podemos to-
mar, ento,
0
1
1
max{ ( , )}
n
n n
r d a x

= .
O conjunto
0
1 2
{ , , , }
n
x x x . est contido na bola aberta
1
( , ) B a r .
Seja
1
max{1, } r r = .
Ento todos os termos da sequncia pertencem bola ( , ) B a r .
Conclumos que ( )
n
x 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
( ( 1) ) (0, 4, 0,8, 0,12, )
n
n n + = . diverge, pois no limitada.
A seguir, vamos demonstrar um teorema muito famoso, vlido para
as sequncias em R, 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 ( )
n
x uma sequncia limitada de nmeros reais. Ento
, a b R tais que [ , ]
n
x a b , n .
Seja { / para uma infinidade de ndices }
n
A t t x n = R .
A fgura 3.12 ilustra a defnio do conjunto A.
[ ]
infinidade de termos de x
n
a b
tA
Figura 3.12
Temos:
i) a A , pois
n
a x , n ;
ii) t A , t b .
Logo, A e limitado superiormente.
Seja sup C A = .
Vamos mostrar, agora, que existe uma subsequncia de
n
x que
converge para C . Pela proposio 3.4 isso equivalente a mos-
trar que: 0 > , ( , ) B C contm uma infnidade de termos de
( )
n
x .
Seja 0 > . Como sup C A = , t A tal que C t < (ver fgura
3.13)
109
tA
C C
Figura 3.13
Como t A , podemos dizer que
n
C x < para uma infnida-
de de termos
n
x . Por outro lado, C A + . Portanto, existe no
mximo um nmero fnito de termos
n
x , tais que
n
x C + .
Conclumos, ento, que para uma infnidade de termos
n
x ,
n
C x C < < +

.
Pela proposio 3.4 segue que C o limite de uma subsequn-
cia de ( )
n
x .

Observao. O Teorema 3.1 pode ser generalizado para

2
R . Por
exemplo, se ( , )
n n
x y uma sequncia limitada em
2
R , ento ( )
i
x
uma sequncia limitada em R e, portanto, possui uma subsequn-
cia ( )
k
n
x convergente. Considerando agora a sequncia ( )
k
n
y , notamos
que esta sequncia limitada em R e portanto possui subsequncia
( )
kj
n
y convergente. Logo, ( , )
k k
j j
n n
x y subsequncia de ( , )
n n
x y con-
vergente.
Nota: Repare que a demonstrao acima pode ser facilmente adap-
tada para
n
R e, portanto, o Teorema 3.1 tambm vale para
n
R .
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 ( )
n
x em { } X a
tal que
n
x a . Ento para todo 0 r > , existe
0
n N tal que
( , )
n
x B a r , para todo
0
n n > .
110
Como { }
n
x 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
( )
n
x em { } X a tal que
n
x a .
Como ' a X , 0 r > , ( , ) ( { }) B a r X a . Assim, para
1
r
n
= ,
podemos escolher um ponto
1
, ( { })
n
x B a X a
n
| |

|
\ .
.
A sequncia ( )
n
x est em { } X a e satisfaz
1
( , )
n
d a x
n
< .
Como
1
0
n
segue que
n
x a .

Exerccio Resolvido
1) Em R, verifque que 0 ponto de acumulao do conjunto
1 1 1
1, , , ,
2 4 8
X

=
`
)
.
Resoluo:
Basta observar que a sequncia
1
2
n
| |
|
\ .
est em {0} X e que
1
lim 0
2
n
n
= .
Exerccio Proposto
6) Decida se os pontos dados so pontos de acumulao dos se-
guintes conjuntos:
a) 1 a = , (0,1) X = em R.
b) (0,1) a = ,
1 1 1 2 1 3 1 4
(0,1), (1, 0), , , , , , , , ,
2 2 3 3 4 4 5 5
X
| | | | | | | |
=
`
| | | |
\ . \ . \ . \ . )
em
2
R .
c) 2 a = , X = em R.
d)
7
9
a = e
56
99
a = ,
1 2 2
{0, / 5, 6 ou 7}
i
X a a a a = = em R.
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 ( ) ( , , , )
n
x a a a = . . Te-
mos que ( )
n
x est em X e
n
x a .
Se ' a X , pela proposio 3.6, existe uma sequncia ( )
n
x em
{ } X a tal que
n
x a .
) Supor que existe uma sequncia ( )
n
x em X tal que
n
x a .
Se
n
x a para todo n , ento ( )
n
x uma sequncia de pontos
em { } X a com
n
x a . Logo, a ponto de acumulao de X
e, assim, a X , pois ' X X .
Se existir algum mN tal que
m
x a = , ento a X X .
Logo, em qualquer caso, a X .

Defnio 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) Verifcar se denso em R.
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 innita no pe-
ridica:
0 1 2 3
, a b b b b = ..
112
Tomamos a sequncia:
1 0
2 0 1
3 0 1 2
0 1 2 1
,
,
,
n n
x b
x b b
x b b b
x b b b b

=
=
=
=
.
. .
A sequncia
n
x a , pois
0 1 2 1 0 1 2 1 1 1
1
| | | , , | | 0, 0 0 | 0
10
n n n n n n n
x a b bb b b bb b b b b
+
= = < . . . . .
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 ( )
n
x uma sequncia em
X ,
n
x 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 ( )
n
x em X ,
n
x a . Aplicando a hi-
ptese segue que a X .
Logo, X X e ento X fechado.

Nota: A proposio 3.8 muito til para verifcar que alguns con-
juntos no so fechados.
Exemplo 3.18. O conjunto [0,1] ( ) X = R no fechado em R.
De fato, a sequncia
2
n
| |
|
|
\ .
est em X e seu limite, zero, no
pertence a X .
Exerccio Proposto
7) Verifque que no so fechados os conjuntos:
a)
2 4 6 8
, , , ,
3 5 7 9
X

=
`
)
em R;
113
b)
1 1 1 1 1
1, , , , , ,
2 3 4 5 5
X

=
`
)
em R;
c) X = em R;
d)
2 2
{( , ) / 1} X x y x y = < em
2
R .
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 ( )
n
x em X e ( )
n
y em ( ) C X tais que
lim lim
n n
n n
x y a

= =
.
Prova:
) Seja Fr( )
n
a x . 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 lim lim
n n
a x y = = , com ( )
n
x em X e ( )
n
y
em ( ) C X . Seja 1 = . Como lim
n
a x = , existe
0
n N tal que
1
( , ) B a A ,
0
n n > .
Como os termos de ( )
n
x pertencem a X , segue que
( , ) B a X
.
Analogamente, como lim
n
a y = ,
1
n N, tal que
1
( , ) B a A ,
1
n n > .
Como os termos de ( )
n
y pertencem a ( ) C X , segue que
( , ) ( ) B a C X .
Logo, Fr( ) a x .

Vamos ilustrar o uso desta proposio no exerccio que segue.

114
Exerccio Resolvido
3) Verifque que o ponto (0, 0) um ponto de fronteira do conjun-
to
2
{( , ) / } X x y x y = < R em
2
R .
Resoluo:
A gura 3.14 ilustra o conjunto X .
y
x
Figura 3.14
A sequncia
1 1 1
, 0 ( 1, 0), , 0 , , 0 ,
2 3 n
| | | | | | | |
=
| | | |
\ . \ . \ . \ .
est em X
e converge para (0, 0) .
A sequncia
1 1 1
, 0 (1, 0), , 0 , , 0 ,
2 3 n
| | | | | | | |
=
| | | |
\ . \ . \ . \ .
est em ( ) C X e
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:
( )
n n
x a A x A para todo n sufcientemente grande.
115
Prova:
) Seja
n
x a A . Como A aberto,
1
0 > tal que
1
( , ) B a A

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

3.7 Alguns Resultados Interessantes em R

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 desafam 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 Etapa: Retira-se do intervalo [0,1] o seu tero mdio aberto
1 2
,
3 3
| |
|
\ .
.
2 Etapa: Retira-se o tero mdio aberto de cada um dos intervalos
restantes
1
0,
3
(
(

e
2
,1
3
(
(

.
Sobra, nesta etapa:
1 2 1 2 7 8
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 indefnidamente. O conjunto K dos pontos
no retirados o conjunto de Cantor.
A fgura 3.15 ilustra o processo de construo do conjunto de Cantor.
[ [
[ [ [ [
0
0
1
3
1
3
1
9
2
9
7
9
8
9
2
3
2
3
1
1
] ]
]
[ ] [ ] [ ] [ ] [ ] [ ] [ ] [ ]
] ] ]
Figura 3.15
Observao. Note que todo [0,1] x se escreve como
3 1 2 4
2 3 4
...
3 3 3 3
a a a a
+ + + + , onde {0,1, 2}
i
a .
Logo, o conjunto de Cantor consiste de todos os pontos onde
{0, 2}
i
a .
3.7.1.1 Propriedades do Conjunto de Cantor (K)
1) K fechado
Se indicarmos por
1 2 3
, , , , ,
n
I I I I . . os intervalos abertos omi-
tidos, temos que
117
1
1 1
[0,1] [0,1] [0, ( ] ) 1
C
n n
n
n n
c
n
I K I I

=
= =

| |
| |
= = =
| |
\ .
\ .


.
Como
n
I aberto, ( )
C
n
I fechado para todo n . Pelas proprie-
dades de conjuntos fechados segue que K fechado.
2) Int( ) K =
Seja x K . Ento Int( ) x 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-
tervalos de comprimento
1
3
n
. Como
1
0
3
n
, 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 .
[ ( ( ]
a c b a
n
Figura 3.16
118
Nas etapas seguintes, restaro sempre teros fnais de intervalos do
tipo [ , ]
n
a c ,
n
a K .
O comprimento 0
n
c a e, assim, 0 > , ( , )
n
a 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
dada pela srie geomtrica
1
1
1 2 4 8 1 2
3 9 27 81 3 3
n
n

=
| |
+ + + + =
|
\ .

,
que converge para 1.
3.7.2 Outra Verso do Teorema de Bolzano-Weierstrass
Todo subconjunto infnito e limitado de R possui um ponto de
acumulao.
Prova:
Seja A um subconjunto innito e limitado de R. Como A limita-
do, existe um intervalo [ , ] a b tal que [ , ] A a b .
Consideremos, agora, os intervalos
,
2
a b
a
+ (
(

e ,
2
a b
b
+ (
(

.
119
Pelo menos um desses dois intervalos contm uma innidade de
ponto de A, pois A innito.
Denotamos este intervalo por
1 1 1
[ , ] I a b = . Dividimos, agora, o in-
tervalo
1 1
[ , ] a b em dois
1 1
1
,
2
a b
a
+ (
(

e
1 1
1
,
2
a b
b
+ (
(

.
Novamente, um desses intervalos contm uma innidade de pon-
tos de A. Denotamos este intervalo por
2 2 2
[ , ] I a b = .
Continuando esta construo, obtemos uma sequncia de interva-
los encaixados e fechados
1 2 3
I I I .,
onde [ , ]
n n n
I a b = , cujos comprimentos so:
1
2
3
:
2
:
4
:
8
:
2
n n
b a
I
b a
I
b a
I
b a
I

.
.
Pelo princpio dos intervalos encaixados, existe pelo menos um
ponto p comum a todos os intervalos.
Armao: 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 .
Seja
0
n N tal que
0
2
n
b a

< . Observe que este nmero existe,

pois a sequncia 0
2
n
b a | |

|
\ .
.
Seja
0
n
I o intervalo correspondente, conforme a construo reali-
zada. Ento,
0 0
, ( , )
n n
a b p p ( +

e
0 0
,
n n
p a b (

.
120
Como
0 0
,
n n
a b (

contm uma innidade 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 ( )
i
x , tal que
i j
x x , , i j , de elementos de A (pode ser feito, pois A ilimita-
do). Ento, pela primeira verso do teorema de Bolzano-Weierstrass,
( )
i
x possui subsequncia convergente, digamos
k
i
x a . Mas ento
a

ponto de acumulao de A.
3.8 Sequncias de Cauchy
Defnio 3.7. Seja ( , ) M d um espao mtrico. Uma sequncia ( )
n
x
de pontos de M dita uma sequncia de Cauchy se, e somente se,
0 > ,
0
n N tal que ( , )
m n
d x x < ,
0
, m n n > .
Exemplo 3.19. A sequncia
1
n
| |
|
\ .
de Cauchy em R.
De fato, como
1
0
n
, 0 > ,
0
n N tal que
1
0
2 n

< ,
0
n n > .
Assim, , 0 n m >
1 1 1 1
2 2 m n m n

+ < + = .
Exerccio Proposto
9) Considere um espao mtrico ( , ) M d com a mtrica 0 1 . Ca-
racterize as sequncias de Cauchy em M .
No exemplo anterior vimos que a sequncia
1
n
| |
|
\ .
de Cauchy em R.
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 ( )
n
x a . D 1 = . Ento existe
0
n N tal que
0
( , )
2
n
n n d x a

> < .
Para
0
, m n n > , temos
( , ) ( , ) ( )
2 2
n m n m
d x x d x a d a x

+ + < + = .

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 R, com a mtrica
usual de R induzida em M .
Neste espao a sequncia
1
n
| |
|
\ .
de Cauchy, mas no converge.
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 R 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 ( )
n
x um sequn-
cia de Cauchy em M . Se ( )
n
x possui uma subsequncia ( )
k
n
x que
converge para a M , ento
n
x a .
Prova:
Seja 0 > . Como
k
n
x a ,
0
k N tal que ( , )
2
k
n
d x a

< ,
0
k k > .
Como ( )
n
x de Cauchy,
0
n N tal que
( , )
2
n m
d x x

< ,
0
, m n n > .
122
Seja
1 0 0
max{ , } n n k = e seja
1 k
n n > (
k
n fxo).
Temos
( , ) ( , ) ( , )
2 2
k k
n n n n
d x a d x x d x a

+ < + = ,
1
n n > .
Logo, ( )
n
x a .

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

Cauchy limitada.
Prova:
Seja ( )
n
x uma sequncia de Cauchy em M . Tome 1 = . Para
este existe
0
n N tal que ( , ) 1
n m
d x x < ,
0
, n m n > .
Assim, o conjunto
0 0
1
{ , , }
n n
A x x
+
= . limitado.
Seja
0
1 2 1
{ , , , }
n
B x x x

= . . Como B fnito, B limitado.
Logo,
1 2
{ , , , , }
n
x x x A B = . . limitado.

Exerccio Proposto
10) Verifque se a sequncia ( )
n
x sequncia de Cauchy:
( 1)
n
n
x
n

= em R.
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 defnio. A defnio, 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 ( )
n
x de Cauchy e no convergir, isto
se deve ao espao M e no sequncia ( )
n
x .
Vejamos a seguinte defnio.
123
Defnio 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 R, com a mtrica usual,
um espao mtrico completo.
Prova:
Seja ( )
n
x uma sequncia de Cauchy em R. Pela proposio
3.13, ( )
n
x limitada. Usando o Teorema de Bolzano-Weiers-
trass, podemos concluir que ( )
n
x possui uma subsequncia
convergente. Pela proposio 3.12, temos que ( )
n
x converge.

Nota Importante. A complitude de R 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 R
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 R. Verifque 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
n
| |
|
\ .
. J mostramos que esta sequncia de Cauchy,
mas no converge em M .
Observao. interessante voc dar exemplos de outras sequncias
de Cauchy em M que no convergem em M .
5) Seja ( , ) M d um espao mtrico, em que d a mtrica 0 1 .
Verifque 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 ,
1 2
( ) ( , , , , , , , )
n k
x x x x 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 R. Verifque que M completo.
Resoluo:
Seja ( )
n
x uma sequncia de Cauchy em M . Ento ( )
n
x de Cau-
chy em R.
Como R completo, a R tal que
n
x a . Mas [0, 2] fecha-
do. Pela caracterizao de conjunto fechado via sequncias (pro-
posio 3.8), a M .
Logo, ( )
n
x converge em M e, consequentemente, M completo.
Exerccio Proposto
11) D outros exemplos de subespaos de R 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 ( )
n
x uma sequncia de Cauchy em F . Ento ( )
n
x de
Cauchy em M . Como M completo, ( )
n
x a M . Como F
fechado, pela proposio 3.8, a F .
Logo, ( )
n
x converge em F e, dessa forma, F completo.
) Hiptese: ( , ) M d um espao mtrico, F M , F completo;
Tese: F fechado.
Seja ( )
n
x uma sequncia de pontos de F, com lim
n
x a M = . Pela
proposio 3.11, ( )
n
x de Cauchy. Como F completo, ( )
n
x
converge em F , isto , ' a F tal que lim '
n
x 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 R.
1 1 1
0,1, , , , ,
2 3 n

`
)
o completado de
1 1 1
1, , , , ,
2 3 n

`
)
como su-
bespao de R.
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 R neste texto.
Admitimos a existncia dos nmeros reais como um axioma.
Voc viu que R um espao mtrico completo. Voc pode pergun-
tar: e os espaos Euclidianos
2
R ,
3
R , ...,
n
R , so completos?
A resposta positiva, conforme voc pode constatar para
2
R no
exerccio que segue.
126
Exerccio Resolvido
7) Verifque que
2
R com a mtrica usual um espao mtrico
completo.
Resoluo:
Seja ( ) (( , ))
n n n
z x y = uma sequncia de Cauchy em
2
R .
Ento ( )
n
x e ( )
n
y so sequncias de Cauchy em R(verique esse
resultado de forma anloga prova da proposio 3.1).
Como R completo,
n
x a R e
n
y b R. Usando a propo-
sio 3.1, voc conclui que ( , )
n
z a b .
Outra maneira de vericar que
2
R completo, notar que se
( , )
n n
x y sequncia de Cauchy em
2
R ento ela limitada e en-
to, pelo teorema de Bolzano-Weierstrass para
2
R , existe subse-
quncia convergente e portanto, pela Proposio 3.12, ( , )
n n
x y
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 afnal?
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
interno. Por exemplo, em
n
R com o produto interno
1
,
n
i i
i
x y x y
=
=

,
onde
1 2
( , , , )
n
x x x x = e
1 2
( , , , )
n
y y y y = , 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 R com a mtrica usual. Se a afr-
mao dada verdadeira, prove-a; se for falsa, d um contraexemplo:
1) Toda sequncia limitada convergente;
2) Toda sequncia convergente limitada.
3) Se 0
n
x e ( )
n
y limitada, ento 0
n n n
z x y = .
4) Se ( )
n
x converge e ( )
n
y diverge, ento ( )
n n n
z x y = + diverge.
5) Se ( )
n
x e ( )
n
y divergem, ento ( )
n n n
z x y = + diverge.
6) Se ( )
n
x a e 0 a > , ento 0
n
x > para uma infnidade de n-
dices.
7) Se
n n
x y < , n ento lim lim
n n
x y < . Supor as duas sequncias
convergentes.
8) Se ( )
n
x uma sequncia tal que o conjunto de seus termos est
contido no conjunto de Cantor, ento ( )
n
x 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).
11) Estude a convergncia das seguintes sequncias em
2
R :
a) ( )
n
z tal que
2
1 2
1 1
1 ,
2 2
n n
n
z
n

| | +
=
|
\ .
;
128
b) ( )
n
z tal que
2
2
1 ( 1)
, 2
n
n n
z
n n
| |

= |
|
\ .
.
12) Seja ( , ) M d um espao mtrico e ( )
n
x 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 ( )
n
x ;
b) se ( )
n
x 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) Verifque que no so completos os seguintes subespaos m-
tricos de R:
a) o intervalo [2, 5) ;
b)
1
, n
n


`
)
N N ;
c) [0,1] .
15) Verifque que no so completos os seguintes subespaos m-
tricos de
2
R :
a) [0,1] [0,1) X = ;
b)
2
{( , ) / 0 e 0} Y x y x y = > > R ;
c)
2 2 2
{( , ) / 0 1} Z x y x y = < + < R ;
d)
2 2 2
{( , ) / 1 ( 1) ( 2) 2} W x y x y = < + < R .
16) O conjunto dos nmeros inteiros Z, como subespao de R
completo? Justifque.
17) Se ( , ) M d um espao mtrico tal que M fnito, mostre que
M completo.
18) Se ( )
n
x e ( )
n
y so sequncias de Cauchy em
2
R , o que se pode
afrmar a respeito da sequncia ( , )
n n
d x y ?
129
Resumo
Neste captulo voc estudou a noo de convergncia. Para facilitar
seu aprendizado foi revista a defnio 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 R, 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 , 1, 2, 3,...
n
n = R so espaos mtricos completos.
130
Captulo 4
Continuidade
133
Nosso objetivo nesta unidade estudarmos funes con-
tnuas e suas propriedades. Iniciaremos com uma breve
motivao do assunto e a seguir introduziremos a deni-
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 fgura abaixo ilustra estes dois casos quando o preo da comida
R$10,00 o quilo.
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
R$
10
1
100 473 1000 g
R$
10
1
100 473 1000 g
4 Continuidade
134
identifcado 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 indefnidamente junto com os valores de (...).
Ou seja, Cauchy estava pedindo que variaes infnitamente pe-
quenas de x acarretassem variaes infnitamente pequenas de f .
Porm esta defnio 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
x
0
...x
0
+ o valor correspondente de y est entre y
0
e...y
0
+ e.
Ou seja, Bolzano e Weierstrass pedem que a diferena
0
( ) ( ) f x f x
seja arbitrariamente pequena, se a diferena
0
x x for sufciente-
mente pequena.
Podemos agora recapitular a defnio de continuidade, via e s e
s, de uma funo real f .
Defnio 4.1. Seja X um subconjunto de R e a X . A fun-
o : f X R dita contnua em a se para todo 0 e > , 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 defnio de continuidade para espaos mtricos anloga def-
nio acima. Apenas trocamos a noo de distncia em R, ou seja,
o mdulo, pelas mtricas apropriadas. Vejamos:
Defnio 4.2. Sejam M e N espaos mtricos. A funo : f M N
dita contnua em a a M se para todo 0 e > , 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 defnio acima, fcando
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 0 a e > , 0 > tal que ( ( , )) ( ( ), ) f B a B f a e .
Vejamos alguns exemplos:
Exemplo 4.1. : f R R dada por ( ) 2 f x x = , onde R tem a mtrica
usual, contnua. Veja o grfco na fgura 4.2.
f (x) =2x
x
y
Figura 4.2
Note que dado 0 e > , podemos tomar
2
e
= para satisfazer a de-
nio de continuidade.
Exemplo 4.2. Seja : f R R,
1 se 0
( )
1 se 0
x
f x
x
>
=

.
136
Ento f contnua em todo ponto de {0} R e f descontnua
no 0. Veja o grco na gura 4.3.
Figura 4.3
Exemplo 4.3. Seja
2
:
( , )
f
x x x
R R

.
Uma representao grca de f pode ser visualizada na gura 4.4.
(x,x)
0 x
f
Figura 4.4
Vamos mostrar que f contnua em aR usando a denio:
Dado 0 e > , observe que
2 2
( ( ), ( )) (( , ), ( , )) ( ) ( ) 2 | | d f x f a d x x a a x a x a x a = = + = .
Logo, tomando
2
e
= temos que se | | ( , ) x a d x a = < ento
( ( ), ( )) 2 | | 2 2
2
d f x f a x a
e
e = < = = .
Logo, f contnua em aR . 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 ( ) : : sup{| ( ) | } { }
n
l a a n

= <
N
N N R , ou seja, ( ) l

N o conjunto
de todas as funes limitadas de N em R, ou equivalentemente, o
conjunto de todas as sequncias limitadas.
Muniremos l

com a mtrica do sup, ou seja,

( , ) sup{| ( ) ( ) |}
n
d a b a n b n

=
N
.
Defniremos agora,
: ( )
(1)
f l
a a

N R
.
Observe que f associa a cada sequncia o seu primeiro termo.
Vamos mostrar que f contnua em todo ( ) a l

N .
Dado 0 e > , tome e = .
Note que se ( , ) d a x < ento sup{| ( ) ( ) |}
n
a n x n

<
N
e, portanto,
| ( ) ( ) | | (1) (1) | sup{| ( ) ( ) |}
n
f a f x a x a n x n e

= < =
N
.
Logo, f contnua.
Vejamos agora as funes de Lipschitz:
Defnio 4.3. Uma funo : f M N uma funo de Lipschitz
(ou lipschitziana) se existe 0 k > 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:
Dado 0 e > , seja
k
e
= .
Logo, se ( , ) d x y < ento
( ( ), ( )) ( , ) d f x f y kd x y k e < = .
Exerccios Propostos
1) Mostre que :[2, 4] f R, dada por ( )
1
f x
x
= , de Lipschitz e,
portanto, contnua.
2) Mostre que : f R R, dada por ( ) | | f x x = , Lipschitz com
constante 1 k = 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 .
Defna :
( , )
f M
x d x p
R

por f (x) = d (x,p).

Ento f contnua e ( ) 0 f x 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 0 e > . 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 defnio, 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 ( )
n
x em M que converge para a ,
a sequncia ( ( ))
n
f x converge para ( ) f a (em smbolos, f contnua
em a ( ) :
n n
x x a , temos ( ) ( )
n
f x f a ).
Prova:
) Primeiro, vamos supor que f contnua em a .
Seja ( )
n
x uma sequncia em M tal que
n
x a . Vamos mostrar
que ( ) ( )
n
f x f a .
D 0 e > . Como f contnua em a , existe 0 > tal que se
( , ) d x a < ento ( ( ), ( )) d f x f a e < .
Uma vez que
n
x a , temos que existe
0
n N tal que se
0
n n ento ( , )
n
d x a < . Logo, se
0
n n ento ( , )
n
d x a < e
( ( ), ( )) d f x f a e < e, portanto, ( ) ( )
n
f x f a .
) Agora, vamos assumir a recproca, isto , vamos assumir que
( ) tal que
n n
x x a , temos ( ) ( )
n
f x 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, 0 e > tal que 0 > ,

i
x M tal que ( , )
i
d x a < e ( ( ), ( ))
i
d f x f a e .
140
Tomando
1 1 1
1, , , ,
2 3 4
= e assim sucessivamente, temos que
n N,
n
x M tal que
1
( , )
n
d x a
n
< e ( ( ), ( ))
n
d f x f a e .
Mas ento
n
x a e lim ( ) ( )
n
n
f x f a

o que contradiz nossa hi-

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 R.
iv) f g contnua em M .
v)
f
g
contnua em M se ( ) 0, g x x M .
Faremos a prova do item (iv). Os outros fcam como exerccio.
Prova:
iv) Seja a M , e ( )
n
x uma sequncia em M tal que
n
x a .
Como f e g so contnuas em a , as sequncias ( ( ))
n
f x e ( ( ))
n
g x
convergem para ( ) f a e ( ) g a , respectivamente. Agora, pelas pro-
priedades de limites de sequncias reais, temos que a sequncia
(( )( )) ( ( ) ( )) ( ) ( ) ( )( )
n n n
f g x f x g x 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 defnio de
continuidade via e e .
Exerccio Proposto
3) Mostre os itens (i) e (ii) da proposio anterior usando a defni-
o.
Observao. O teorema 4.1 tambm pode ser muito til quando
queremos mostrar que uma funo no contnua. Vejamos:
Exemplo 4.6. Seja : f R R dada por
1 se
( )
1 se
x
f x
x

=

.
Temos que f no contnua em nenhum ponto.
De fato, se a ento podemos tomar a sequncia
2
( )
n
x a
n
| |
= +
|
|
\ .

que converge para a , mas tal que ( ) 1 ( ) 1
n
f x f a = , pois
\
n
x R .
Se a, basta tomar uma sequncia ( )
n
x contida nos e tal
que
n
x a . Temos ento que ( ) 1 ( ) 1
n
f x f a = , pois
n
x .
Logo, mostramos que f no contnua em nenhum ponto de R.
Exerccio Resolvido
2) Verifque se a seguinte funo contnua ou no:
1, para 0
: {0} dada por g( ) .
, para 0
x x
g x
x x
+ >
=

<

R R
Resoluo:
Mostraremos que g contnua em todo {0} a R usando o teo-
rema 4.1. Supor 0 a > . Seja ( )
n
x uma sequncia que converge para
a . Ento existe 0 N > tal que para todo n N > , 0
n
x > e, portanto,
( ) 1
n n
g x x = +
para todo n N > e isto implica que ( ( ))
n
g x converge para
1 ( ) 1 a g a + = + .
142
Segue do teorema 4.1 que g contnua em a . Analogamente,
mostra-se que g contnua em 0 a < .
Exerccio Proposto
4) Decida se : f R R, dada por
1
cos , se 0
( )
1, se 0
x
f x x
x

, cont-
nua. Justifque sua resposta.
Uma das operaes entre funes que no foi contemplada na
proposio anterior foi a composio de funes contnuas (o
que voc arriscaria afrmar a respeito desta operao?
Tente demonstrar o seu palpite!
Apesar de podermos atacar este problema usando apenas a
defnio de continuidade, o mesmo fcar 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
1
( ) f F

fechado.
iii) se A N aberto, ento
1
( ) f 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
1
( ) f F

fechado e, para isto, sufciente

mostrar que
1 1
( ) ( ) f F f F

.
Seja
1
( ) a f F

. Ento, pela Proposio 4.7, existe uma sequncia

( )
n
x em
1
( ) f F

tal que
n
x a .
143
Como f contnua em a , ( ) ( )
n
f x f a e como
1
( )
n
x f F

, n N,
temos que ( )
n
f x F , n N e, portanto, ( ) f a pertence ao fecho de
, F F . Como F fechado, F F = e isto implica que ( ) f a F . Logo
1
( ) a f F

como desejado.
ii) iii) Seja A N aberto.
Ento
C
A fechado e por hiptese
1
( )
C
f A

fechado.
Como
1 1
( ) [ ( )]
C C
f A f A

= (por qu?), segue que
1
[ ( )]
C
f A

fechado
e, portanto,
1
( ) f A

aberto como desejado.

iii) i) Vamos agora assumir que (iii) vlido e provaremos que f
contnua pela defnio.
Seja a M e 0 e > .
Lembre que ( ( ), ) B f a e (bola aberta de centro ( ) f a e raio e ) aber-
to de N e, portanto, (por hiptese)
1
( ( ( ), )) f B f a e

aberto em M .
Como
1
( ( ( ), )) a f 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 fgura 4.5:
Figu
f
f(a)
x

a
M N
f
1
(B(f(a),))

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

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

0 e > ,
1
( ( , )) f 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

:
1 se 0

0 se 0
f
x x
x
x

<

R R

e

:
1 se

1 se
g
x
x
x

R R

,
cujos grfcos so dados na fgura 4.6:
1
1
1
f
g
Figura 4.6
O que podemos dizer sobre a continuidade (de uma maneira global)
de f e g ?
Intuitivamente, f e g no parecem ser contnuas e o teore-
ma anterior torna fcil provar esta afrmao. Basta notar que
1 1
1 3 1 1
, 1, 0,
2 2 2 2
f f B

| | | | | | |
= =
| | | |

\ . \ . . \ .
que no aberto em R e
1
({1}) g

= que no fechado em R.
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 defnio
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:
Seja A um aberto de P . sufciente mostrar que
1
( ) ( ) g f A

aberto em M . Note que
1
( ) g A

aberto em N (pelo teorema

4.2) e
1 1
( ( )) f g A

aberto em M (pelo teorema 4.2 novamente).
Mas
1 1 1
( ) ( ) ( ( )) g f A f g 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 0 e > . Como g contnua em b ,
1
0 > tal que se
1
( , ) d y b < , ento ( ( ), ( )) d g y g b e < .
Como f contnua em a , para este
1
0 > , 0 > tal que se
( , ) d x a < , ento
1
( , ) d y b < .
Logo, se ( , ) d x a < ento ( ( ( )), ( ( ))) d g f x g f a e < como desejado.
A gura seguinte ilustra esta demonstrao:
146
f
g( f ( a) ) =g( b)

a
g

1

b=f ( a)
Figura 4.7

Exerccio Resolvido
3) Prove, via sequncias, a proposio 4.3.
Resoluo:
Seja ( )
n
x sequncia em M tal que
n
x a . Como f contnua em a ,
pelo teorema 4.1, ( ) ( )
n
f x f a . Como g contnua em ( ) f a se-
gue que ( ( )) ( ( ))
n
g f x g f a e portanto g f contnua em a .



Exerccios Propostos
5) Seja :
n
f A R contnua em
0
, ( , ) x A A M D , A aberto. Su-
por ( ) 0
n
o
f x R . Provar que ( ) 0 f x em alguma vizinhan-
a do ponto
0
x .
6) Analisar a continuidade de
( ) , 0 e (0) 1,
senx
f x x f x
x
= = R.
7) Sejam :
n m
f R R contnua e
n
B R 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 fnitos. (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
R
como os subconjuntos fechados e limitados. Comearemos com a
defnio mais geral de compacidade. Para isto, precisamos introdu-
zir a noo de cobertura.
Defnio 4.4. Seja ( , ) X M d . Dizemos que uma famlia { }
L
C C

=
de conjuntos C M

, onde L um conjunto qualquer de indices,

uma cobertura de X se
L
X C

. Se cada C

aberto, dizemos
que C uma cobertura aberta de X.
Uma subcobertura de C uma subfamlia
'
' { }
L
C C

= onde ' L L
e
' L
X C

.
O exemplo a seguir deve tornar a defnio mais clara para voc.
Exemplo 4.7. Em R, considere os conjuntos:
[0,1] X = ,
1
1 1
,
2 2
C
| |
=
|
\ .
,
2
1 3
,
4 2
C
| |
=
|
\ .
,
3
1 5
,
8 4
C
| |
=
|
\ .
.
A fgura 4.8 ilustra este exemplo.
148
C
2
C
3
C
1
1 0 1 1 1 1
4 2
5 3
2 4 8 2
Figura 4.8
Note que:
1 2 3
{ , , } C C C C =

uma cobertura aberta de X .
1 2
' { , } C C C = uma subcobertura aberta de X .
1 3
'' { , } C C C = uma subcobertura aberta de X .
2 3
''' { , } C C C = no subcobertura de X .
Podemos, agora, ver a defnio de conjuntos compactos.
Defnio 4.5. Seja ( , ) K M d . Dizemos que K compacto se toda
cobertura aberta de K contm uma subcobertura fnita.
Voc pode encontrar na literatura vrias outras defnies para con-
juntos compactos. No decorrer da seo, veremos as vrias carac-
terizaes de conjuntos compactos que do origem a estas outras
defnies. Vejamos alguns exemplos:
Exemplo 4.8. Seja {1, 2, , } K n = . . K compacto, pois se { }
L
C C

=
uma cobertura aberta de K , ento
1
1 C

para algum
1
L ,
2
2 C

para algum
2
2
, , L n C

. , para algum
n
L . Logo,
1 2
{ , , , }
n
C C C

. uma subcobertura aberta fnita de K .
Exemplo 4.9. Qualquer conjunto fnito compacto. A demonstrao
anloga feita no exemplo anterior.
Exemplo 4.10. Em R, todo intervalo da forma [ , ] a b compacto
(provaremos este fato mais para frente).
Exemplo 4.11. Seja
1 1 1
1, , , , ,
2 3
X
n

=
`
)
R .
149
Note que X infnito e para qualquer x X existe um intervalo
aberto
x
I de centro x tal que ( \ { })
x
I X x = . A fgura 4.9 ilustra
a situao.
( ) ( ) ( ) ( ) ( )
0
I
1
1 1 1 1 1
2 3 4 n
I I I I
1 1 1 1
n
4 3 2
Figura 4.9
A famlia { }
x x X
C I

= uma cobertura aberta de X que no possui
subcobertura fnita. Portanto, X no compacto.
Exemplo 4.12. De maneira semelhante desenvolvida no exemplo
anterior, mostra-se que N e Z no so compactos em R.
Exemplo 4.13. R no compacto. Considere a cobertura {( , 2)}
n
n n

+
Z
.
Tal cobertura no possui subcobertura fnita.
Exemplo 4.14.
n
R tambm no compacto. Por exemplo, a cobertu-
ra aberta { ( , )}
n
B o n
N
no possui subcobertura fnita. Voc consegue
encontrar outras coberturas abertas de
n
R que no possuem subco-
berturas fnitas?
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 [0,1) X =
no compacto em R, pois a sequncia { }
n
x , onde
1
1
n
x
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).
n
K R 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 N,
n
x K , tal
que || ||
n
x n > e a sequncia { }
n
x no possui subsequncia limita-
da. Logo, no possui subsequncia convergente, o que contradiz a
armao do pargrafo anterior.
Ainda K fechado, pois seno, a K tal que lim
n
n
a x

= ,
n
x K ,
e isto implica que todas as subsequncias de { }
n
x convergem para
a , que no pertence a K , uma contradio. Logo, K fechado.
) Suponha que K fechado e limitado.
Seja { }
n
x uma sequncia em K .
Como K limitado, { }
n
x limitada. Pelo Teorema de Bolzano-
Weierstrass, generalizado para
n
R , 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
R .
Por exemplo, se M um conjunto infnito e d a mtrica discreta
(isto , ( , ) 0 d x y = , se x y = e ( , ) 1 d x y = , se x y ) ento ( , ) M d li-
mitado (por qu?) e fechado (por qu?), mas no compacto (pois a
cobertura
1
, ,
2
B x x M
| |

`
|
\ . )
no possui subcobertura fnita).
Exemplo 4.15. Usando o teorema de Heine-Borel, podemos concluir
que qualquer bola fechada em
n
R 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 { ( , )}
n K
B x n

cobre K ,
e como K compacto, existe uma subcobertura fnita e portanto
K

limitado.
Para notar que K fechado, provamos que
C
K aber-
to. Para isto, tome
C
x A e considere a coleo de abertos
1
: ( , )
n
U y M d x y
n

= >
`
)
.
Como, y M , y x , ( , ) 0 d x y , temos que { }
n n
U
N
cobre K . Da
compacidade de A, obtemos uma subcobertura fnita, digamos
1
,...,
i
n n
U U , com
1 2
...
j
n n n < < < .
Mas ento
1
,
C
j
B x K
n
| |

|
|
\ .
e portanto
C
K aberto e K fechado
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 ( )
n
y uma sequncia em ( ) f M . Ento,
n
y ,
n
x M tal que
( )
n n
y f x = .
Logo ( )
n
x uma sequncia em M , e como M compacto, ( )
n
x
tem uma subsequncia ( )
k
n
x , convergente para um a em M .
Como f contnua, ( ( ))
k
n
f x subsequncia de ( ( ))
n
f x que con-
verge para ( ) f a . Logo, ( ) f M compacto.

Exerccio Resolvido
4) Seja
2
K R

compacto. Prove que
{ : tal que ( , ) } A x y x y k = R R

compacto.
Resoluo:
Note que
2
: f R 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
K R tal que
1
( ) 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 R uma funo contnua real em um es-
pao mtrico compacto M . Ento f atinge seu mximo e seu m-
nimo em M .
Prova:
Como ( ) f M limitado, existem
1
inf{ ( )}
x M
y f x

= e
2
sup{ ( )}
x M
y f x

= .
Como ( ) f M fechado,
1
y e
2
y pertencem a ( ) f M , isto ,
1 1
( ) y f x = e
2 2
( ) y f x = com
1 2
, x x M . Logo
1
( ) min{ ( )}
x M
f x f x

=
e
2
( ) max{ ( )}
x M
f x f x

= .

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 sufcientes para garantir a integrabilidade de
funes contnuas. Vejamos a defnio:
Defnio 4.6. Dizemos que : f M N uniformemente contnua
em M se dado 0 e > , existe um 0 > tal que se ( , ) d x y < ento
( ( ), ( )) d f x f y e < .
Observao. Note que na defnio 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 R. Dado
0 > , basta tomar e = (se | | x y < , ento | ( ) ( ) | f x f y e < = ). Ver
fgura 4.10.
154

f
y
x

Figura 4.10
Exemplo 4.17. A funo :[0, ) [0, ) f dada por
1
( ) f x
x
=

no
uniformemente contnua em [0, ) . De fato, o da continuidade,
em
0
0 x > , depende de e e tambm diretamente de
0
x , de modo que
0
( ) 0 x se
0
0 x
+
.
A fgura 4.11 ilustra este exemplo.
f

Figura 4.11
Exemplo 4.18. Se f de Lipschitz, ento f uniformemente con-
tnua. Vejamos:
Dado 0 e > , como f de Lipschitz, 0 k tal que
( ( ), ( )) ( , ) d f x f y kd x y , x y M .
155
Tomando
k
e
= , temos que: se ( , ) d x y < ento
( ( ), ( )) ( , ) d f x f y kd x y k
k
e
e < = .
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
2
:[0, ) [0, ) definida por ( ) f f x x + + =
uniformemente contnua.
10) Mostre que
2
:[ , ] dada por ( ) f a b f x x = R Lipschitz e por-
tanto uniformemente contnua.
Veremos agora um teorema (cuja primeira verso, para
n
R , 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 0 e > . Como f contnua, para todo a M existe 0
a
> tal
que se ( , )
a
d x a < (isto , ( , )
a
x B a ), ento ( ( ), ( ))
2
d f x f a
e
< .
Agora, note que a coleo de bolas abertas de centro a e raio
2
a

;
,
2
a
a M
B a

| |
`
|
\ . )
, cobre M .
Como M compacto, existe uma subcobertura nita, digamos,
1 2
1 2
, , , , , ,
2 2 2
n
n
B a B a B a
| | | | | |
| | |
\ . \ . \ .
. .
156
Seja
1 2
min , , ,
2 2 2
n

=
`
)
. Mostraremos agora que se , x y M
so tais que ( , ) d x y < ento ( ( ), ( )) d f x f y e < .
Como x M , ,
2
i
i
x B a
| |

|
\ .
, isto , ( , )
2
i
i
d x a

< , para algum i en-
tre 1, 2, , n . .
Mas ento, ( , ) ( , ) ( , )
2 2 2
i i i
i i i
d y a d y x d x a

+ < + = + e,
usando a desigualdade triangular mais uma vez, temos, da conti-
nuidade em
i
a , que
( ( ), ( )) ( ( ), ( )) ( ( ), ( ))
2 2
i i
d f x f y d f x f a d f a f y
e e
e + + = .

Exemplo 4.20. A funo :[0, ) [0, ) f 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 1 x , 1 y , ento
( )( ) x y x y x y x y x y x y x y + = + =

e portanto, dado 0 e > , basta tomar e = na defnio de continui-
dade uniforme.
Conclumos que :[0, ) [0, ) f uniformemente contnua.

y
x
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
2
( ) f x x = no uniformemente contnua em R.
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 afrmar que R (a reta real) conexo,
mas o subconjunto [ 1, 0] [1, 2) no conexo.
Mas como defnir 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 R. En-
to C = R ou C = .
Prova:
Suponha que C R 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 supremo, digamos
p
,
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 0 e > tal que
( , ) B p C e .
Seja t R tal que min{ , } p t p z e < < + .
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 R ou ).
Logo, nossa suposio falsa e, portanto, C = R ou C = .
A gura 4.13 ilustra uma das possveis posies de t :
S
C
R
x
p
z
t
p+
[ ( )

)
p
Figura 4.13

Podemos agora defnir um conjunto conexo:

Defnio 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. R 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 [0,1] (2, 3] M = e d a mtrica usual de R. Ento
( , ) M d no conexo e voc pode verifcar 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 defnio:
Defnio 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 , U V M = e U V = .
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
C
U 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 ,
C
C 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
defnir conexidade para subconjuntos de um espao mtrico. Temos
a seguinte defnio:
Defnio 4.9. Um subconjunto de um espao mtrico conexo se
ele for conexo com a mtrica induzida (lembre-se que os abertos so
defnidos em termos da mtrica).
Voc consegue achar uma separao para ?
160
Exemplo 4.24. no conexo. Uma separao de
{ / 2}
{ / 2}
U x x
V x x
= <
= >

.
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 = ,
U V = ,
U e V ,
U , V so abertos.
Mas ento, como f contnua
1
( ) f U

,
1
( ) f V

uma separao
de M (verique!), 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-
do este resultado, temos que o subconjunto
1
, sen : 0 1 S x x
x
| |
= < <
`
|
\ . )

de
2
R conexo.
161
S
Figura 4.14
Por que S conexo?
Simplesmente porque S a imagem do conexo (0,1) pela funo
contnua
2
1
: (0,1) dada por ( ) , sen f f x x
x
| |
=
|
\ .
R .
Ainda mais interessante e muito surpreendente o fato que o fecho
de {(0, ) : [ 1,1]} S S t t = conexo (veja a fgura 4.15).
S
C
R
x
p
z
t
p+
[ ( )

)
p
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 desafam a nossa intuio. Com ela voc pode fazer o
seguinte exerccio:
Exerccio Proposto
15) Mostre que {(0, ) : ; 1 1} S q q q , onde
1
, sen : 0 1 S x x
x
| |
= < <
`
|
\ . )
conexo.
Vamos agora, fnalmente, mostrar que os intervalos de R so conexos.
Proposio 4.7. Todo intervalo aberto da reta real conexo.
Prova Parcial:
Lembre que j mostramos que R conexo. Para mostrar, por
exemplo, que o intervalo ( 1,1) conexo, basta verifcar (faa!)
que a funo : ( 1,1) dada por ( )
1 | |
x
f f x
x
=
+
R contnua e
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
1
: ( 1,1) (0,1) definida por ( )
2
x
f f x
+
=
do intervalo conexo ( 1,1) (verifque!).
Finalmente, qualquer intervalo da forma ( , ) a b conexo, pois
a imagem da funo contnua
: (0,1) ( , ) dada por ( ) (1 ) a b t t a tb = +
(verique!).

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 R, 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 R 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 R contnua. Sejam
1 2
, ( ) y y f M e
1 2
y y y < < . Ento existe x M tal que ( ) f x y = .
Prova:
Como M conexo e f contnua, ( ) f M conexo. Como
( ) f M R, ( ) f M um intervalo (ver o ltimo exerccio da se-
o anterior). Ento dados
1 2
, ( ) y y f M e y tal que
1 2
y y y < < ,
( ) 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 fgura 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
1
S em
2
R , isto ,
1
{(cos , sen ) : [0, 2 ]} S t t t =
e que
1
: f S R a funo temperatura, a qual contnua.
Note que
1
S conexo, pois a imagem da funo contnua
1
:[0, 2 ] dada por ( ) (cos , sen ) h S h t t t = .
Agora, defna
1
( ) ( ) ( ), g x f x f x x S = . Observe que g contnua.
Seja
1
p S . Considere ( ) g p e ( ) g p . Note que
( ) ( ) ( ) ( ) g p f p f p g p = = .
Logo, ou ( ) 0 g p = , 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
1
u S tal que ( ) 0 g u = e isto implica que
( ) ( ) f u f u = , ou seja, a temperatura no ponto u igual no ponto u .
p
p
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) :
0, 0
( )
1, 0
f
x
f x
x

=

>

R R
;
b) : {0}
0, 0
( )
1, 0
g
x
g x
x

<
=

>

R R
;
c) :
2, 1
( )
1, 1
h X
x
h x
x

<
=

=

R
1 1
1,1 ,1 ,
2 3
X

=
`
)

.
2) Mostre que se : f X R contnua em a X , ento | | f tam-
bm o .
3) Seja X R fnito. Seja : f X R. Analise a continuidade de
f .
4) Sejam , : f g R R contnuas. Defna : h R R,
3 2
( ) ( )[ ( )] h x f x g x = . h contnua? Justifque.
5) Mostre que a funo
2
( ) f x x = defnida para | | 17 x lipschit-
ziana, mas
2
( ) f x x = defnida 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 0 c > tal que ( ( ), ( )) [ ( , )]
k
d f x f y c d x y . 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 :
A
X M R a funo carac-
terstica de um subconjunto A M , isto , ( ) 1
A
X x = se x A e
( ) 0
A
X x = se x A . Mostre que
A
X contnua em p M se, e
somente se p no um ponto da fronteira de A.
11) Defna uma bijeo : f R R que seja descontnua em todos
os pontos de R.
12) Identifque se verdadeiro ou falso, justifcando sua resposta:
Se , : f g R R 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 (0,1] A = . Encontre uma cobertura aberta de A que no
possui subcobertura fnita.
15) Encontre uma funo contnua : f R R e um conjunto com-
pacto K R tal que
1
( ) f K

no compacto. Repita o processo

para K conexo.
16) Verifque se so compactos (mtrica usual):
a) em R;
b) Z em R;
c) {2} [3, 4] B = em R;
d)
1 2 3
1, , , ,
2 3 4

`
)
em R;
e) [1, 2] em R;
f) { / 0 1 e } A x x x = R ;
g)
2
{( , ) / 0 1} D x y x = R ;
h)
2 2 2 2
{( , ) / 1} {( , ) / 5} S x y xy x y x y = = + < R R .
17) Seja M um espao mtrico com a mtrica discreta. Mostre que
M compacto se, e somente se, M fnito.
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 ).
19) As seguintes afrmaes a respeito de
n
R so verdadeiras. Jus-
tifque-as:
a)
2 2 2
1 2 1 2
{( , , , ) / 1}
n
n n
B x x x x x x = + + + . R . compacto;
b)
1 2 2 2
1 2 1 2
{( , , , ) / 1}
n n
n n
S x x x x x x

= + + + = . R . compacto;
c) Uma bola aberta ( , ) B p r ,
n
p R e 0 r > 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 R Rcontnua e limitada obrigatoriamente
uniformemente contnua?
22) Sejam :
m
f B R contnua e injetiva e
n
B R compacto. Pro-
var que
1
: ( ) f f B B

contnua.
23) Seja : (0,1) f Runiformemente 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
R , d exemplos para
mostrar que A B , A B e A B podem ser conexos ou des-
conexos.
26) Seja A um subconjunto compacto de
n
R e ( )
n
x uma sequncia de
Cauchy em A. Mostre que ( )
n
x converge para um ponto de A.
27) D exemplo de uma funo contnua : f R R e um conjunto
fechado B R 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 R. 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 N e : g Y N bi-
jees.
Defnimos
:
( , ) ( ( ), ( ))
h X Y
h x y f x g y

=
N N
Ento h injetiva. Como N N enumervel, pela proposio 1.1,
temos que Y X enumervel.
2) Vamos exemplifcar com p=4. Voc precisa encontrar 4 conjuntos
4 3 2 1
e , , A A A A , infnitos e disjuntos, tais que
1 2 3 4
A A A A = N
Obtenha os conjuntos agrupando os naturais de 4 em 4, em or-
dem crescente. Coloque o primeiro elemento de cada grupo no
conjunto
1
A , o segundo no conjunto
2
A , o terceiro no
3
A e, fnal-
mente, o quarto elemento no conjunto
4
A . Veja:
1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12,


=
`

)
N .
_ _ _
1
{1, 5, 9, } A = .
2
{2, 6, 10, } A = .
3
{3, 7, 11, } A = .
4
{4, 8, 12, } A = .
Podemos escrever:
1
{4 3, } A n n = N
2
{4 2, } A n n = N
3
{4 1, } A n n = N
4
{4 , } A n n = N
172
3) Supor X fnito. 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 fnito. 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 defnir
a) : f P N
2 2, se par
( )
2 , se impar
n n
f n
n n

=

b) : f I N
( ) 1 2 f n n =
c) :
p
f Q N
, se par
2
( )
1
, se mpar
2
n
n
p
f n
n
n
p

Brinque com estas funes convencendo-se que elas so bijees.
5)
a) Sim. Sejam
1 2 3
1 2 3
{ , , ,..., }
{ , , ,..., ,...}
n
n
X x x x x
Y y y y y
=
=
Basta voc defnir
Y X f :
( )
i i
f x y = .
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
2
b c

= , por S.2, temos que existe x em X tal que b x b < .
Mas isto implica que
2
b c
x c
+
> > , uma contradio. Logo b c
como desejado e S.2 vlida.
Exerccios complementares
1) Primeiro suponha que X infnito. Ento podemos listar
infnitos elementos distintos
1 2 3
, , ,... x x x em e
1 2 3 1 2
, , ... { } { , , . , ..}
c
x x x x x X = .
Seja
2 3 1 2
{ , ...} { , , ,...}
c
x x x x Z = . En-
to Z um subconjunto pr
prio de X e a funo : f X Z , dada
por
1
( )
i i
f x x
+
= para
1 2
{ , ,...}
i
x x x e ( ) f x x = para
1 2
{ , ,...}
c
x x x
uma bijeo.
Por outro lado, se X fnito 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 defnir uma bijeo.
: f S N N
( , ) 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:
1 2 3
1 2 3
{ , , , }
{ , , , }
X x x x
Y y y y
=
=
.
.

Voc pode criar uma lista com os elementos do conjunto
Y X W = , tomando, alternativamente, um elemento de X e um
elemento de Y, na ordem crescente dos ndices.
Ou seja,
. , , , , , ,
3 6 3 5 2 4 2 3 1 2 1 1
y w x w y w x w y w x w = = = = = =
4) S enumervel, pois a unio enumervel dos conjuntos enume-
rveis _i S , onde _i S 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
, ,
4
2
,
3
2
,
2
2
,
1
2
n
X
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) 2 sup = X , 0 inf = X
6)
a) So exemplos de cotas superiores: 2, 50, 1500.
So exemplos de cotas inferiores: 1, 0, -1500.
2 sup = X e 1 inf = X .
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.
2 sup = Z ; no existe Z inf .
175
7) I.1 a cota inferior de X.
I.2 Qualquer nmero maior que a no cota inferior de X.
8)
a)
2
{ / 0 e 5} X x x x = > <
b)
2
{ / 0 e 5} X x x x = > >
c)
2
{ / 0 e 3 5} X x x x = > < <
Observe que nestes conjuntos, quando existem, o supremo e o
nfmo so irracionais. Voc pode listar muitos outros exemplos.
9)
a) Verdadeira. O supremo de X o elemento mximo de X e o
nfmo 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.
c) Falsa. Por exemplo, o conjunto
2
, X n
n


=
`

)
N tem nfmo
igual a zero.
d) Falsa. Por exemplo, o conjunto dos naturais ilimitado, est
contido em , e no denso em R .
10) 1 parte: Basta voc tomar o exemplo do item (a) do exerccio 8.
2
, X n
n


=
`

)
N um conjunto de nmeros irracionais e 0 sup = X .
11) Basta voc mostrar exemplos de intervalos encaixados que no
satisfazem apenas a hiptese listada e verifcar que a concluso
no vlida.
a) Considere
[ , )
n
I n = .
Os intervalos
n
I so fechados e encaixados.
No entanto,

=
=
1 n
n
I
176
b) Considere
|
.
|

\
|
=
n
I
n
1
, 0
Os intervalos
n
I so limitados e encaixados. No entanto,

=
=
1 n
n
I
.
Captulo 2
Exerccios Propostos
2)
a)
[ ] [ ] 0, 1 0, 1
( , ) sup | ( ) ( ) | sup | 1| 1
x x
d f g f x g x x

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

= = .
Note que o sup

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

| |
= = = =
|
\ .
.
3) Possveis exemplos so:
a)
b)
c) {(0, 0, 0)}, {(0, 0, 1)} A B = = ou {( , ) : 1} A x y x = e
2
{( , ) : 2} B x y x y = > + .
{0}, {3}; A B = =
{(0, 2)}; A =
177
4)
a)

.
x
2
x
1
=x
2
1
1
x
1
b) ( ) Int A A = .
x
2
x
2
= x
1
2
x
1
c) ( ) Int A A =
.
x
2
x
1
x
2
= e
x
1
2
1 2 2 1
( ) {( , ) / } Int A x x x x = > R
178
d) ( ) Int A A =
.
x
2
x
1
x
2
=lnx
1
e) ( ) Int A = .
f) Note que (0, + ) A = . Logo, ( ) Int A A = .
6) Em R, tome

A = , B = . Ento Int( ) A = , Int( ) B = e

.
7)
a)
1 2
A A aberto (Propriedade Ab2).
b) Supor que
1 2 1
...
n
A A A

aberto.
c) Provar que
1 2
...
n
A A A aberto.
Como
1 2 1 2 1
... ( ... )
n n n
A A A A A A A

= , 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,
, ( [ , ])
2
B y C B x r
| |

|
\ .
.
E, portanto, ( [ , ]) C B x r aberto, como desejado.
Int( ) A B = R
179
9) Por induo, j sabemos que para 2 n = a propriedade vale
(veja Fe 2).
Hiptese de induo: supor que a propriedade vlida para n,
ou seja, se
1
,...,
n
F F so conjuntos fechados, ento
1
n
i
i
F
=

fechado.
Para 1 n + : sejam
1 1
,..., ,
n n
F F F
+
fechados. Ento,
1
1
1 1
n n
i i n
i i
F F F
+
+
= =
=

, e como
1
n
i
i
F
=

fechado pela hiptese de indu-

o, segue que
1
1
n
i
i
F
+
=

fechado por Fe 2.
10)Em
n
R , todo conjunto fnito fechado, pois pode ser escrito como
uma unio fnita de conjuntos unitrios (que so fechados). O resul-
tado segue vlido para qualquer espao mtrico.
11)Em R, sejam
1
,1 , 1, 2, 3,...
n
F n
n
(
= =
(

. Ento,
1
(0,1]
n
Fn

=
=

, que no
fechado em .
12)
2 2
' {( , ) / 1} S x y y x = R .
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 { : 1} f x x = R . Logo, no fechado.
f) fechado;
g) fechado.
14)
a) {0} A A = .
b) [0, ) B = .
180
15) Afrmao: 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 (0,1) A = e (1, 2) B = em R.
Ento, A B = e {1} A B = .
16) Sim para
n
R . Falso em geral. Por exemplo, considere M como
mtrica discreta.
17)
a) Falso. Por exemplo, se (0,1) A = e ( 1,1) B = em R, ento
( ) {0, 1} Fr A = e ( ) { 1, 1} Fr B = .
b) Falso. Por exemplo, se (0, 1) {2} B = , ento 2 ( ) Fr B , mas
2 ' B .
c) Seja Fr( ) x A B . Ento 0 r > , ( , ) ( ) B x r A B
e ( , ) ( )
C
B x r A B . Logo ( , )
C
B x r A e
( , )
C
B x r B , 0 r > .
Suponha agora que existe
1
0 r > tal que
1
( , ) B x r A = . Ento,
1
r r < , ( , ) B x r A = e portanto ( , ) B x r B , 0 r > (pois,

( , ) ( ) B x r A B ). Logo, Fr( ) x B .
Se no existe
1
r como suposto, ento Fr( ) x A . Logo,
Fr( ) Fr( ) Fr( ) A B A B .
18)
a)
2 2 2
( ) {( , ) / 1} Fr A x y x y = + = R .
b)
2 2 2
( ( )) {( , ) / 1} Fr Int A x y x y = + = R .
c) ( ) [0, 1] Fr A = .
d) ( ) {0, 1} Fr B = .
e)
2 2
( ) {( , ) / 4 3} Fr C x y y x x = = + R .
Circunferncia
de raio = 1
x
y
1
181
19)
a) (0, ) A = e ( , 0) B = .
b) ( 1, 1) A = em R. ( ) { 1,1} Fr A = .
Exerccios Complementares
1) Neste exerccio temos que verifcar se as condies 1 M a 3 M da
defnio de mtrica so satisfeitas.
a) No mtrica, pois (2, 2) 0 d = ; logo, no satisfaz M1.
b) No mtrica, pois (2, 2) 0 d = ; logo, no satisfaz 1 M .
c) No mtrica. Note que

1 1 1 1 1
(0, 1) 1 0, ,1
2 2 4 4 2
d d d
| | | |
= > + = + =
| |
\ . \ .
;
logo, 3 M no satisfeita.
2)
a) mtrica. b) No mtrica.
3) Para verifcar 1 M , note que

( , ) 0 | ( ) ( ) | 0 ( ) ( ) d x y f x f y f x f y = = = ,
e como f injetora (estritamente crescente), temos que x y = .
Para verifcar 3 M , 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)
2
[1, 3]
( , ) sup | 1|
x
d f g x x

= .
Como
2
( 1) ' x x no se anulam em [1, 3] , o sup atingido em
um dos extremos. Portanto, ( , ) 5 d f g = .
182
5)
a) Seja pR. Se p, ok.
Se p, use a representao decimal infnita de p :
1 2
, ... ...
n
p a a a a = e considere a sequncia de nmeros racionais
1
1 2
1 2
,
,
, ...
n
a
a a
a a a
a a a a
.
.
Como esta sequncia converge para p , dado qualquer 0 > , a
partir de um
0
n , a distncia entre os termos desta sequncia e p
so menores que .
Logo, inf{ ( , ) / } 0 d p x x = .
b) O raciocnio anlogo ao item a.
6) Se A no unitrio, sejam , x y A . Ento, diam( ) ( , ) 0 A d x y > .
Logo, ( , ) 0 d x y A = unitrio. A recproca clara.
7) Seja aR . Ento, existe um nmero inteiro m tal que 1 m a m + .
Logo,
1
( ,{ , 1})
2
d a m m+ e, portanto,
1
( , )
2
d a Z .
8) Como
1
1 1
, , ,
n
p B p n p B p
n n

=
| | | |

| |
\ . \ .
N

.
Se
1
1
,
n
x B p
n

=
| |

|
\ .

, ento
1
( , ) d x p n
n
< N .
Logo, ( , ) 0 d x p = e, portanto, x p = .
183
9)
a)
y
x
b)
y
x
c)
y
x
d)
y
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) ; = = Z Z Z
((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
1
r R tal que
1
( , ) B x r A . Seja
1
min{ ( , ), } r d x a r = . Ento, ( , ) { } B x r A a e,
portanto, { } A a aberto.
14) Seja
1
{ ,... }
n
A a a M = . Tome min{ ( , ); , 1, 2,..., }
i j
r d a a i j n = = . En-
to, se a A , ( , ) { } B a r a A = e portanto A aberto.
15) Sejam [ , ), 1, 2, 3,...
n
F n n = = . Ento,
1
n
n
A

=
=

.
Sejam
1
0, , 1, 2, 3,...
n
A n
n
| |
= =
|
\ .
. Ento,
1
n
n
A

=
=

.
16)
a) (0, 1) X = em R.
b) X Q = em R.
c)
1 1
0,1, , ,...
2 3
X

=
`
)
emR.
d) X = R.
19)
a)
1 1 2 3
( ) { }, ( ) {0, 1, 3}, ( ) Fr A a Fr A Fr A = = = Z.
b)
1 1 2
( ) , ( )
{( , : 0, 0)} {( , ) : 0, 0} {0,0}.
Fr B B Fr B
x y x y x y y x
= =
= = > = >
185
20)
a) A = .
b)
2
B = R .
c) ' {(0, 0)} C = .
d)
1 1
' 0, , , 0 , {(0, 0)} D n m
n m
| | | |
=
` `
| |
\ . \ . ) )
N N .
e)
2
' {( , ) / e 0} E x y x y = = R R .
21)
a) Note que se int( ) x 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, int( ) a A .
b) Seja x A . Ento, por defnio, ( , ) 0 B x A > . Logo,
int( \ )
n
x A R e, portanto, \ int( \ )
n n
x A R R .
Por outro lado, seja \ int( \ )
n n
x A R R .
Ento, int( \ )
n
x A R e, portanto, toda bola aberta ( , ) B x r
contm pontos do complementar de \
n
A R , ou seja, de A.
Logo, x A .
22)
a) Falso. Por exemplo, seja A = em R com mtrica usual. En-
to, A = R e int( ) = R R , mas int ( ) = .
b) Verdadeiro. Segue diretamente da defnio de fecho.
c) Falso. Em R, tome [0, 1) A = . Ento, int( ) [0, 1] A A = .
d) Falso. Em R, tome A = . Ento, ( ) ( ) Fr Fr = = R e
( ) Fr = R.
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 defnio 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 .
c) Seja x A B . Ento, existe uma sequncia ( )
n n
x
N
tal
que
n
x x e
n
x A B n . Sejam { / }
n
C n x A = N e
{ / }
n
D n x B = N . claro que C ou D um conjunto infni-
to. Sem perda de generalidade, suponha que C infnito. En-
to, a subsequncia ( )
k k C
x

converge para x e
n
x A n C .
Logo, x A A B .
d) Segue diretamente da defnio de interior de um conjunto
que int( ) int( ) int( ) A B A B .
Seja, agora, int( ) int( ) x A B . Como int( ) x A , exis-
te
1
( , ) B x r A e como int( ) x B , existe
2
( , ) B x r B . Tome
1 2
( , ) r min r r = . Ento, ( , ) B x r A B e, portanto, int( ) x A B ,
como desejado.
e) Seja int( ) int( ) x A B . Ento, int( ) x A ou int( ) x B . Su-
por, sem perda de generalidade, que int( ) x A . Ento, existe
uma bola ( , ) B x r A . Logo, ( , ) B x r A A B e, portanto,
int( ) x A B .
Captulo 3
Exerccios Propostos
1) Dado
0
0, 0 N > > tal que
0
1
2 N

< .
Ento, se
0
n N > , temos que:
2 2
1 1 2
( , (0, 0))
n
d z
n n n

| | | |
= + = <
| |
\ . \ .
.
187
3)
a) A sequncia converge para (0, 0) .
b) Diverge.
c) Converge para p .
d) ( )
n
f converge para a funo nula ( ) 0 [0, 1] O t t = .
4)
a) ( ) ((0, ))
n
x n = .
b) Se (1,1,1)
n
x =

n N, ento ( )
n
x limitada.
c) Toda sequncia em M limitada.
5) Em R com a mtrica usual ( ) (( 1) )
n
n
x = limitada mas no
convergente.
6)
a) 1 a = ponto de acumulao de X. Note que lim
1
n
n
a
n
+
=
+
.
b) (0, 1) a = ponto de acumulao de X . Note que
1
lim ,
1
n
n
a
n n
+
| |
=
|
+
\ .
.
c) 2 a = ponto de acumulao de . Tome a sequncia de
racionais 1; 1, 4; 1, 41; 1, 414; 1, 4142;...
d) Para
7
9
a = .
Note que 0, 777... a =
Seja
1
2
3
0, 7666...
0, 7766...
0, 7776...
0, 777...7666...
n
x
x
x
x
=
=
=
=
.
Ento { },
n
x X a n N e
n
x a . Logo, a ponto de acu-
mulao de X .
188
Para
56
99
a = .
Note que 0, 56565656... a =
Tome
1
2
3
0, 567777...
0, 56567777...
0, 565656777...
x
x
x
=
=
=
.
Ento
n
x a , { }
n
x 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)

2
( ) {( , ) / } Fr X x y x y = = R
.
(1, 1) ( ) Fr X , pois (1, 1) lim ,1 lim 1,
1 1
n n
n n
n n
+
| | | |
= =
| |
+ +
\ . \ .
.
1
x = y
y
x 1
9) As sequncias de Chauchy so as sequncias estacionrias, ou
seja, sequncias da forma
1 2 3
( , , ,..., , , , , , , ,...)
n
x x x x 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.
3) Verdadeiro. Como
( )
n
y
limitada,
0 M >
tal que
n
y M n < N. Dado
0 >
, como
( )
n
x
converge para 0
0, N
tal
que se
0
n N
, ento | |
n
x
M

< . Logo,
0
, | | | | | |
n n n n
n N x y x y M
M

= < = .
4) Verdadeiro. Supor que ( )
n
Z converge. Ento ( )
n n n
y Z X = con-
verge, o que contradiz a hiptese.
5) Falso. Por exemplo, tome
(1, 2, 1, 2, 1, 2,...) e ( 1, 2, 1, 2, 1, 2,...)
n n
x y = = .
Ento (0, 0, 0, 0, 0,...)
n n
x y + = .
6) Verdadeiro. Para
2
a
= , existe
0
0 N > , tal que
0,
0
| |
2
2 2
0 .
2
n
n
n
a
n N x a
a a
x a
a
x n N
> < =
< <
< <
7) Falso. Por exemplo, seja
1
( )
n
x
n
| |
=
|
\ .
e
1
( )
n
y
n
| |
= +
|
\ .
. Ento
lim 0 lim
n n
x y = = .
190
8) Verdadeiro. Como ( )
n
x est contida no conjunto de Cantor, ( )
n
x
limitada. Logo, por Bolzano-Weierstrass, ( )
n
x 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 ( )
n
x seja uma sequncia no de-
crescente e ( )
k
n
x uma subsequncia que converge para a .
Mostraremos que ( )
n
x converge para a .
Dado
0
0, 0 N > > tal que
0
, | |
k
k n
n N x a > < . Seja
1
k
n tal
que
1
0 k
n N > . Ento se
1
k
m n > , temos que existe
m
k
n tal que

1
1
| |
k k
m
k k
m
n m n
n m n
m
x x x
x a x a x a
x a

< <
<
para todo
1
k
m n > .
11)
a)
1
1,
2
n
| |

|
\ .
Z .
b) (1, 1)
n
Z .
12)
a) ( )
n
x divergente.
b) a b = .
c) Analise ( ) (( 1) )
n
n
x = .
13) Em R, seja
, se par
1
1
, se mpar
n
n
n
n
x
n
n

+
=

.
( )
n
x satisfaz as condies pedidas.
191
14) Ver a proposio 2.14.
a) [2, 5) no fechado emR.
b) O conjunto no fechado emR.
c) O conjunto no fechado emR.
15) Nenhum dos conjuntos fechado em
2
R .
(Ver proposio 2.14)
16) Sim, pois fechado emR. (Ver proposio 2.14)
17) Se M fnito, ento toda sequncia de Cauchy estacionria (da
forma
1 2 3
( , , ,..., , , , , , , ,...)
n
x x x x c c c c c c , logo, convergente.
18) Se ( )
n
x e ( )
n
y so de Cauchy em
2
R , ento
n
x a e
n
y b ,
onde
2
, a bR . Logo, ( , ) ( , )
n n
d x y d a b .
Captulo 4
Exerccios Propostos
1) Note que
1 1 1 1 1
( ( ), ( )) | | | | ( , )
| | 4 4
y x
d f x f y x y x y d x y
x y xy xy

= = = =
.
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 R e : g M R 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
1
0, 0 > > tal que se
1
( , ) d x a < , ento
| ( ) ( ) |
2
f x f a

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

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

+ + = +
+
+ =
4) Considere : f R R dada por ( ) 0 f x = , x R, e {0} K = . Ento
K compacto e
1
(0) f

= R no compacto.
5) Note que no existe
1
limcos
x o
x

. Logo, f no contnua (em 0).

6) Seja
0
d a distncia entre
0
( ) f x e 0 em
n
R . Considere a bola aber-
ta
0
0
( ),
2
d
B f x
| |
|
\ .
. Ento
1 0
0
( ),
2
d
f B f x

| | | |
| |
\ . \ .
uma vizinhana de
0
x , onde
f
no se anula.
7) f contnua em 0 , pois
0
lim 1 (0)
x
senx
f
x

= = .
8) No. Por exemplo, seja
: (0, 1) f R
defnida por
1
( ) f x
x
= .
9) No uniformemente contnua.
193
10) Note que f contnua em [ , ] a b , que compacto em R. Logo,
pelo Teorema 4.6, f uniformemente contnua em [ , ] a b .
Para provar que f Lipschitz em [ , ] a b , note que:

2 2
( ( ), ( )) | | | ( )( ) |
= | || |
max{| 2 |,| 2 |} ( , ).
d f x f y x y x y x y
x y x y
a b d x y
= = +
+

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

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

f M N
x x

contnua, M no compacto e N compacto.

12) Supor que f uniformemente contnua em R.
Ento, para 1 = , existe 0 > tal que, se | | x y < , ento
2 2
| | 1 x y < = .
Bom, considere pontos da forma / 2
n
x n = + e ,
n
y n n = N .
Ento, | |
n n
x y < e, portanto,
2 2
2
2 2
2
| | 1
1
4
1
4
n n
x y
n n n
n n

<
+ + <
+ < N
o que uma contradio.
Logo, f no uniformemente contnua em R.
194
13) Faremos para f g + . O caso cf anlogo.
Suponha que f e g so uniformemente contnuas e , : f g M R.
Ento, dado
1
0, > tal que, se
1
( , ) d x y < , ento | ( ) ( ) |
2
f x f y

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

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

14) Sejam : f M N e : g N P uniformemente contnuas.
Dado 0, 0 > > tal que, se ( , ) d x y < , ento
( ( ), ( )) d f x f y < .
Para este
1
0, 0 > > tal que, se
1
( , ) d x y < , ento
( ( ), ( )) d g x g y < .
Logo, se
1
( , ) d x y < , ento ( ( ( )), ( ( ))) d f g x f g y < .
15) Basta notar que {(0, ) : ; 1 1} S S q q q S e usar a Pro-
posio 4.6.
16) ( , ) a + conexo, pois a imagem de (0, 1) pela funo contnua
: (0, 1) ( , ) f a + , dada por
1
( ) 1 f x a
x
= + .
Analogamente, ( , ) a + uma imagem de (0, 1) pela funo
contnua : (0, 1) ( , ) g a + , dada por
1
( ) 1 g t b
t
= + , e, portan-
to, conexo.
( ) (( )( ), ( )( )) | ( )( ) ( ) |
= | ( ) ( ) ( ) ( ) | | ( ) ( ) | | ( ) ( ) |
.
2 2
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

+ + = + + =
+ + <
< + =
195
17) Seja S um conexo de R. Suponha que S no um intervalo.
Ento existe um t R 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} R .
b) contnua em {0} R .
c) contnua em {1} X .
2) Suponha que : f X R 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 < .
3) f contnua em X , pois se F fechado em R, ento
1
( ) f F

um conjunto fnito de pontos de R e, portanto, fechado.
4) h contnua, pois a multiplicao e composio de funes con-
tnuas.
5) Note que, se | | 17 x < , ento,
e, portanto, f lipschitziana em [ 17, 17] .
Porm, em ( , ) f

no lipschitziana, pois
( ( ), ( )) | | ( , ) d f x f y x y d x y = + .
2 2
( ( ), ( )) | | || || || | || | 34 ( , ) d f x f y x y x y x y x y x y d x y = = + = +
196
6) Dado 0 > , tome
k
c

= .
Logo, se ( , ) d x a < , ento ( ( ), ( )) [ ( , )]
k k
d f x f a c d x a c < = .
7) Seja \ m M X . Como X denso em M , existe uma sequncia
n
x em X tal que
n
x m .
Logo, ( ) lim ( ) lim ( ) ( )
n n
n n
f m f x g x g m

= = = .
8) Tome M N = = R e : f M N uma funo constante. A imagem
de qualquer intervalo aberto por f um conjunto unitrio que
no aberto.
9) M N = = R; X = R e : f M N , dada por
2
2
( )
1
x
f x
x
=
+
.
Ento, X = R fechado, mas ( ) [0,1) f X = no fechado.
10) Supor que
A
X contnua em p.
Tome
1
2
= . Ento, 0 > tal que, se ( , ) d x p < , temos
1
| ( ) ( ) |
2
A A
X x X p < . Isto implica que
( ) ( ), ( , )
A A
X x X 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 | ( ) ( ) | 0
A A
X x X p = < .
Portanto,
A
X contnua em p .
197
11)
se
( )
2 se
x x
f x
x x I

=

+

.
12) Verdadeiro. Seja \ x R . Existe uma sequncia
n
x tal que
n
x x . Como f e g so contnuas, temos que
( ) lim ( ) lim ( ) ( )
n n
n n
f x f x g x g x

= = = .
13) Primeiro vamos mostrar que f injetora.
Note que, se x y , ento ( , ) 0 d x y > e, ento,
( ( ), ( )) ( , ) 0 d f x f y d x y = > 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
1
\ ( ) y M f M . Considere a sequncia
1 2 1 3 2 4 3
, ( ), ( ), ( ),... y y f y y f y y f y = = = Como ( ) f M compacto,
n
y possui uma subsequncia ( )
k
n
y convergente.
Como ( )
k
n
y convergente, de Cauchy e, portanto, para
1
2
= ,
2
0 M > tal que se
2
M
n M > , ento, para 1, 2, 3,... j = , temos que
2 2
2 2
2 2
1 1
1 1
1
( , )
1
( ( ), ( ))
1
( ( ), ) .
M M j
M M j
M j M
n n
n n
n n
d y y
n
d f y f y
n
d f y y
n
+
+
+

<
<
<
Tome
1
2 2
1 1
( )
M M
n n
z f y
+

= . Repita para
1
3
= e tome
3 3
2 1
( )
M j M
n n
f y z
+

= ,
onde
3 3 2 2
1 M j M M M
n n n n
+ +
, e sucessivamente para
1
, 4, 5, 6,... n
n
= = . Logo, ( )
n
z converge para
1
y e, portanto,
1
( ) y f M , mas ( ) f M fechado (sendo compacto) e conclumos
que
1
( ) ( ) y f M f M = , como desejado.
198
14) (0, 1] A =
Sejam
1
,1
n
U n
n
| (
=

(
\
N.
Ento, { }
n n
U
N
no admite subcobertura fnita.
15) Seja
0, 0
( )
, 0
x
f x
x x
<
=

>

.
Ento f contnua e
1
([0, 2]) ( , 2) f

= , que no compacto.
Seja
0, 0
, 0 1
( )
2 , 1 2
0, 2
x
x x
f x
x x
x

.
Ento
1
({0}) ( , 0) [2, ] f

= + , 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 fnito, digamos
1 2 3
{ , , ,...} M x x x = . Ento
1,2,3,...
1
,
2
i
i
B x
=
| |
`
|
\ . )
uma cobertura aberta que no possui subco-
bertura fnita e, portanto, M no compacto.
A volta trivial.
199
18) Seja { }
n
x uma sequncia em A B . Ento,
n
x uma sequncia
em A e, como A compacto, possui uma subsequncia conver-
gente para x A . Como B fechado e
n
x tambm est em B ,
temos que x B e, portanto, A B compacto.
19)
a) B fechado e limitado.
b)
1 n
S

fechado e limitado.
c) ( , ) B p r no fechado.
20) Sejam , A B compacto.
Seja { }
n
x uma sequncia em A B .
Como A compacto, { }
n
x possui uma subsequncia { }
k
n
x que
converge para x A .
Como { }
k
n
x uma sequncia em B (que compacto), esta pos-
sui uma subsequncia { }
k
n
x que converge para y B . Como
{ }
k
n
x subsequncia de{ }
k
n
x , 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

1
{ ,... }
n
U U

fnita de A.
{ } U

tambm cobre B e, portanto, existe uma subcobertura f-

nita
1
{ ,... }
n
U U

de B .
Logo
1 1
{ ,... , ,..., }
n n
U U U U

subcobertura fnita de A B .
21) No. Por exemplo,
2
( ) ( ) f x sen x = (analise o comportamento da
funo quando x ).
200
22) Primeiro note que
1
: ( ) f f B B

existe, pois f injetora. Para

mostrar que
1
f

contnua, vamos mostrar que a imagem inver-
sa de um fechado por
1
f

fechado.
Seja F B fechado. Temos que
1 1 1
( ) ( ) { : ( ) }
={ : ( )} ( ).
f F x B f 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
1
(0, 1) x . Como f no limitada,
2
(0, 1) x tal que
2 1
( ) ( ) 1 f x f x > + .
De novo, como f no limitada,
3
(0, 1) x tal que
3 2
( ) ( ) 1 f x f x > + .
Procedendo dessa forma, criamos uma sequncia ( )
n
x tal que
(0, 1)
n
x n e
1
( ) ( ) 1
n n
f x f x n

> + N.
Como ( )
n
x limitada, o teorema de Bolzano-Weierstrass impli-
ca que ( )
n
x possui uma subsequncia convergente (e, portanto,
de Cauchy).
Agora, para provar que f no uniformemente contnua, basta
tomar
1
2
= . Para este fxo e 0 > , pelo feito acima, sempre
encontramos
1
, (0, 1)
k k
n n
x x
+
tais que
1 k k
n n
x x
+
< e
1
1
( ) ( ) 1
2
k
n n
f x f x
+
> > = .
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 U V M =
e U V =
Vamos mostrar que U V = .
Seja u U , como U aberto, existe ( , ) B u U e, portanto,
( , ) B u V = , o que implica que u V .
Analogamente, mostra-se que U V = .
( ) ( ) b a . Supor que existem 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
2
{( , ) : 0 1} U x y x = R ,
Ento,
1 2
0, ,1
4 3
U V
( (
=
( (

, que no conexo.
Para A B , basta tomar [0, 1], [2, 3] A B = . Ento A B no
conexo.
Para \ A B , tome [3, 5] e [2, 3] A B = . Ento \ [0, 2] (3, 5] A B = ,
que no conexo.
2 2
2
1 1 1
( , ) : 0 , 1 0 ( , ) : 1, 1
4 4 2
2
( , ) : 1, 1 0 .
3
V x y x y x y x y
x y x y

=
` `
) )


`
)
R R
R
202
26) Como A compacto, ( )
n
x possui uma subsequncia convergen-
te, digamos
k
n
x a .
Dado
1
0, 0 N > > tal que
1
( , ) ,
2
n m
d x x n m N

< (pois ( )
n
x
de Cauchy).
Ainda,
2
0 N > tal que
2
( , )
2
k
n k
d x a n N

< .
Tome
1 2
max{ , } N N N = .
Se n N > , ento ( , ) ( , ) ( , )
2 2
n n N N
d x a d x x d x a

+ + = .
27) Seja ( ) , f x arc tg x B = = R. Ento, ( ) ( 1, 1) f B = , 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 R e, portanto, um intervalo.
Como M compacto e f contnua, temos que ( ) f M com-
pacto em R, logo fechado e limitado.
29) No. Por exemplo, em R, (0, 1) U = e (2, 3) V = 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 frst 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.