Sie sind auf Seite 1von 204

Elementos da

Anlise
Mirian Buss Gonalves
Daniel Gonalves

2 Edio
Florianpolis, 2012

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

Universidade Federal de Santa Catarina


Reitora: Roselane Neckel
Vice-Reitora: Lcia Helena Martins Pacheco
Pr-Reitoria de Graduao: Roselane Ftima Campos e
Rogrio Luiz de Souza

Pr-Reitoria de Ps-Graduao: Joana Maria Pedro e


Juarez Vieira do Nascimento

Pr-Reitoria de Pesquisa: Jamil Assereuy Filho e Heliete Nunes


Pr-Reitoria de Extenso: Edilson da Rosa e
Maristela Helena Zimmer Bortolini

Pr-Reitoria de Planejamento e Oramento: Luiz Alberton e Izabela Raquel


Pr-Reitoria de Administrao: Antnio Carlos Montezuma Brito e
Irvando Luiz Speranzini

Pr-Reitoria de Assuntos Estudantis: Beatriz Augusto de Paiva e


Simone Matos Machado

Centro de Cincias da Educao: Vera Lucia Bazzo


Centro de Cincias Fsicas e Matemticas: Tarciso Antnio Grandi

Cursos de Licenciaturas na Modalidade a Distncia


Coordenao Acadmica Matemtica: Mrcio Rodolfo Fernandes
Coordenao de Ambientes Virtuais: Nereu Estanislau Burin

Comisso Editorial
Antnio Carlos Gardel Leito
Albertina Zatelli
Elisa Zunko Toma
Igor Mozolevski
Luiz Augusto Saeger
Roberto Corra da Silva
Ruy Coimbra Charo

Laboratrio de Novas Tecnologias - LANTEC/CED


Coordenao Pedaggica das Licenciaturas a Distncia UFSC/CED/CFM
Coordenao Geral: Roseli Zen Cerny
Ncleo de Formao: Marina Bazzo de Espndola
Ncleo de Pesquisa e Avaliao: Andra Brando Lapa
Ncleo de Criao e Desenvolvimento de Materiais: Juliana Cristina Faggion
Bergmann

Design Grfico
Coordenao: Cntia Cardoso
Projeto Grfico Original: Diogo Henrique Ropelato, Marta Cristina Goulart
Braga, Natal Anacleto Chicca Junior

Redesenho do Projeto Grfico: Laura Martins Rodrigues,


Thiago Rocha Oliveira

Diagramao: Cntia Cardoso, Joo Paulo Battisti de Abreu, Natlia Barreira


Ilustraes: Cristiane Amaral, Kallani Bonelli, Aline Correa
Capa: xxxxxx

Design Instrucional
Coordenao: xxxxx
Design Instrucional: Adriano Luiz dos Santos N, Niclio Jos Gesser
Reviso Gramatical: Contextuar
Copyright 2012, Universidade Federal de Santa Catarina/CFM/CED/UFSC
Nenhuma parte deste material poder ser reproduzida, transmitida e gravada, por qualquer
meio eletrnico, por fotocpia e outros, sem a prvia autorizao, por escrito, da Coordenao
Acadmica do Curso de Licenciatura em Matemtica na Modalidade a Distncia.

Ficha Catalogrfica


Catalogao na fonte pela Biblioteca Universitria da UFSC

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

2 Noes Topolgicas em

............................................... 39

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

3 Convergncia......................................................................... 89
3.1 Sequncias de Nmeros Reais................................................... 91
3.2 Sequncias em um Espao Mtrico.......................................... 95
3.3 Limite de uma Sequncia........................................................... 96
3.4 Subsequncias . ........................................................................ 103
3.5 Sequncias Limitadas............................................................... 106
3.6 Caracterizao dos Conceitos do captulo 2, atravs de
Sequncias................................................................................. 109
3.7 Alguns resultados interessantes em ....................................115
3.7.1 O conjunto de Cantor.........................................................115
3.7.2 Outra verso do Teorema de Bolzano-Weierstrass........115
3.8 Sequncias de Cauchy.............................................................. 120
3.9 Espaos Mtricos Completos................................................... 122
Resumo............................................................................................. 129

4 Continuidade....................................................................... 131
4.1 Introduo.................................................................................. 133
4.2 Funes Contnuas.................................................................... 134
4.3 Conjuntos Compactos................................................................146
4.4 Continuidade Uniforme........................................................... 153
4.5 Conjuntos Conexos....................................................................157
4.6 Teorema do Valor Intermedirio............................................. 163
Resumo..............................................................................................168

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


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

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

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

mais abrangente da Matemtica, lhe abrindo horizontes como


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

Mirian Buss Gonalves


Daniel Gonalves

Captulo 1
Cardinalidade e o corpo
dos nmeros reais

11

Cardinalidade e o corpo dos


nmeros reais

Nesta unidade voc ir se familiarizar com o conceito de


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

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

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 infinito de quartos. Todos estavam ocupados. Chegou um novo hspede que necessitava 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 infinito de quartos.
Numeramos os quartos do hotel
1, 2, 3,...,n,....
Pegamos, ento, o hspede do primeiro quarto e o passamos para o
segundo. O do segundo quarto, passamos para o terceiro. Procedemos assim sucessivamente.

12
Como resultado, todos os hspedes ficam acomodados nos quartos
subsequentes e o primeiro quarto ficar livre para acomodar o hspede recm chegado.
O que voc achou da soluo?
A situao analisada ilustra a idia de conjunto infinito enumervel,
isto , de um conjunto infinito, cujos elementos podem ser colocados
na forma de uma lista.
Voc pode perguntar:
Posso colocar em forma de uma lista todos os elementos de
um conjunto infinito?
Vamos ver que nem sempre isso possvel. Os conjuntos cujos elementos no podem ser dispostos em sucesso (no podem ser listados) so chamados de conjuntos no enumerveis.

1.2 Conjuntos finitos e infinitos enumerveis


Vamos considerar os conjuntos:
= {1, 2, 3, } = conjunto dos naturais
n = {1, 2, , n} = conjunto dos naturais de 1 a n
Com base nestes dois conjuntos temos a noo de conjunto finito e
infinito enumervel.
A idia intuitiva que temos de um conjunto finito de que podemos
contar seus elementos. Isso o mesmo que colocar seus elementos
em correspondncia um a um com os elementos de n , para algum n.
E quando um conjunto no finito?
Na histria da humanidade, houve muita dificuldade para compreender e aceitar grandezas infinitas. As primeiras referncias vieram
com a religio, em expresses do tipo Deus infinitamente bom.

13
Georg Ferdinand Ludwig
Philip Cantor, filho 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.

No campo da Matemtica, um grande pesquisador, chamado Cantor,


desenvolveu um belo trabalho sobre conjuntos infinitos, introduzindo o conceito de cardinalidade. Ele mostrou que h diferentes tipos
de conjuntos infinitos, 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 podem ser colocados numa lista de modo que qualquer elemento do
conjunto pode ser alcanado se avanarmos o suficiente na lista.
Temos as seguintes definies.
Definies.
1.1 Um conjunto X dito finito se vazio ou se, para algum n, existe
uma bijeo f : n X .
No ltimo caso, dizemos que X tem cardinalidade n, isto , X tem
n elementos.
1.2 Se X no for finito, dizemos que X infinito.
1.3 Um conjunto infinito X dito enumervel se existe uma bijeo
f : X.
Exemplos.
1.1 Seja X = {x tais que 5 x 3 = 7} . Qual a cardinalidade de X?
Temos que os elementos de X so as solues da equao
4
5 x 3 = 7, ou seja, X = , 2 . Logo, X tem 2 elementos. A
5
funo
f : 2 X
1
22
uma bijeo.

4
5

14
1.2 O conjunto I dos nmeros inteiros positivos mpares enumervel.
De fato, f : ; f (n) = 2n 1 uma bijeo, como voc pode
visualizar no quadro que segue:
1 2 3 4 5 6 ...
...
1 3 5 7 9 11 ...
Nota: Subconjuntos infinitos de conjuntos enumerveis so
enumerveis.
1.3 O conjunto dos nmeros inteiros Z enumervel.
Vamos resgatar a idia intuitiva. Podemos dispor todos os nmeros inteiros na forma de uma lista, como segue:
0, 1, -1, 2, -2, 3, -3, 4, -4, 5, -5,... .
Qualquer nmero inteiro, positivo ou negativo, ser alcanado
se avanarmos o suficiente nessa lista.
Existem outros conjuntos enumerveis?
A resposta sim, sendo o conjunto dos racionais o exemplo mais
importante (e surpreendente). As proposies que seguem indicam um caminho para provar esse e outros resultados interessantes.
Proposio 1.1. Se f : X Y injetiva e Y enumervel, ento X
finito ou enumervel.
Prova: Como Y enumervel, existe uma bijeo g : Y . Consideremos a funo composta h = g f : X .

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 finito ou enumervel. Logo, X finito ou enumervel.

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


Y finito ou enumervel.

Prova: De maneira similar a proposio anterior note que como


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

Vamos relembrar a seguir um Teorema da lgebra que utilizado


para provar que o produto cartesiano de por enumervel.
Como ele um resultado preliminar necessrio para essa prova o
introduzimos como um lema.
Lema (Teorema da lgebra). Todo nmero natural se decompe de
maneira nica como produto de fatores primos.
Proposio 1.3. enumervel.
Prova: Definimos

f :
(n, m) 2n 3m

Temos que f injetiva, pois


2n1 3m1 = 2n2 3m2 (n1 m1 ) = (n2 m2 ) ,

pelo lema anterior.


Pela proposio 3 segue que enumervel.

16

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


Prova: Como X e Y so enumerveis, existem f : X e
g : Y bijees.
Definimos
h: X Y
h( x, y ) = ( f ( x), g ( y ))
Ento h sobrejetiva. Como enumervel, pela proposio 1.2, temos que X Y enumervel.

Exerccio Proposto 1. Prove a proposio 1.4 acima utilizando a proposio 1.1.


Corolrio. O conjunto Q dos nmeros racionais enumervel.
Prova: Seja Z* o conjunto dos nmeros inteiros no nulos,
isto , * = {0}. Ento Z* enumervel. Pela proposio 6,
* enumervel.
Definimos
f : * Q
m
(m, n)
n

Temos que f sobrejetiva (pela prpria definio de Q). Como


* enumervel, pela proposio 4, conclumos que Q
enumervel.

Resgatando a idia intuitiva de conjunto enumervel,


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

17

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


segue, ilustramos o procedimento. A lista formada como indicado
pelas setas.
1
1
2
1
3
1
4
1

1
2
2
2
3
2
4
2

1
3
2
3
3
3
4
3

1
4
2
4
3
4
4
4

1
5
2
5
3
5
4
5

...
...
...
...

Observe que agrupamos os elementos cuja soma do numerador com


o denominador a mesma, eliminando os elementos repetidos. Isso
resultar na lista
1

1
2

1
3

1
4

2
3

3
2

4 ,

que contm todos os racionais positivos.


Proposio 1.5. Sejam X 1 , X 2 ,, X m ,... conjuntos enumerveis. A
unio X = X m enumervel.
Prova: Como X m enumervel, podemos considerar os elementos de X m como termos de uma sucesso xm1 , xm2 , xm3 , .
Formamos o quadro

x11
x21
x31

x12
x22
x32

x13
x23
x33

x41

x42

x43

x14 ...
x24 ...
x34 ...
x44 ...

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


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

18
Mais formalmente, note que a funo f : X n , dada
por f ((n, m)) = xnm , uma bijeo, e portanto X n enumervel.

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

1.3 Conjuntos no enumerveis


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

No seriam, ento, todos os conjuntos infinitos enumerveis?

Em 1874 Cantor surpreendeu os matemticos de sua poca com uma


descoberta muito importante. Ele mostrou que o conjunto dos nmeros reais tem cardinalidade diferente da do conjunto dos nmeros naturais.
Definio 1.4. Todo conjunto infinito que no enumervel, dito
no enumervel.
Proposio 1.6. O conjunto dos nmeros reais no enumervel.
Prova: Vamos mostrar que o conjunto dos nmeros reais entre
0 e 1 no enumervel.
Para isso usaremos a representao decimal infinita, que
nica para todo nmero real. Se voc no lembrar leia a seo..... do livro Anlise Matemtica para Licenciatura, de Geraldo vila.

19
Por exemplo,
0,397=0,396999...
0,5=0,4999...
Vamos supor que possvel estabelecer uma correspondncia biunvoca dos nmeros reais do intervalo (0, 1) com os nmeros naturais.
Podemos, ento, escrever esses nmeros em sucesso, x1 , x2 , x3 , ,
conforme o quadro a seguir:
x1 = 0, x11 x12 x13 x14 ...
x2 = 0, x21 x22 x23 x24 ...
x3 = 0, x31 x32 x33 x34 ...

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

onde xi j so algarismos de 0 a 9.
Vamos, agora, estabelecer uma contradio. Vamos fazer isso usando o processo diagonal de Cantor. Construmos um nmero diferente de todos os listados. Como?
Trocando os algarismos da diagonal. Assim, esse novo nmero ser
diferente de x1 , na primeira casa decimal, diferente de x2 na segunda casa decimal, diferente de x3 na terceira casa decimal e assim
sucessivamente.
Dessa forma chegamos a um absurdo. Conclumos, ento, que o
conjunto dos nmeros reais entre 0 e 1 no enumervel.

Nota: O conjunto dos nmeros reais tem a mesma cardinalidade do intervalo (0, 1). De fato, a funo y = tg( x ) uma
2
bijeo do intervalo (0, 1) na reta toda (, ) . Voc pode usar
um software grfico para visualizar esta bijeo.
Veja que o resultado acima nos remete a uma reflexo sobre os nmeros irracionais, que voltaro a ser discutidos na prxima unidade.

20

Exerccios Propostos
2) Os nmeros naturais podem ser escritos como a unio dos naturais mpares e dos naturais pares:
= {1, 3, 5, 7,} {2, 4, 6, 8,}
Esses dois conjuntos so disjuntos e infinitos.
Dado um nmero natural p > 2 , atribua alguns valores para p, e
mostre que existem conjuntos A1 , A2 ,, Ap , infinitos e disjuntos,
tais que
p

= Ai
i =1

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


finito se e somente se o outro tambm finito.
4) Usando a definio, prove que so enumerveis:
a) P= Conjunto dos inteiros pares
b) I= Conjunto dos inteiros negativos mpares
c) Qp= Conjunto dos racionais com denominador p.
5) Sejam X finito e Y enumervel.
a) Existe uma funo injetiva f : X Y ?
b) Existe uma funo sobrejetiva g : X Y ?
Justifique.
6) Mostre que o conjunto de todas as sucesses cujos termos so os
algarismos 0 e 1 no enumervel.

21

1.4 Algumas Propriedades dos Nmeros Reais


Nesta seo voc ter a oportunidade de revisar algumas propriedades dos nmeros reais, que denotamos por , as quais sero utilizadas no decorrer do seu aprendizado.
Definio 1.5. Seja x . O mdulo, ou valor absoluto, de x definido por:
x, se x > 0

x = 0, se x = 0
x, se x < 0

Nota: O mdulo de x tambm pode ser definido por uma das seguintes expresses:
x = x2 .

x = max{x, x} ou

importante voc j se familiarizar com as inequaes a seguir,


envolvendo mdulo, pois inequaes desse tipo sero de vital importncia nas sees seguintes.
Exemplo. Determinar os valores de x tais que x a < .
Temos:
x a < < x a <
a< x< a+
x (a , a + ).
Podemos representar graficamente:

A soluo constituda pelos elementos x pertencentes a um intervalo aberto de centro em a e raio .


Tambm podemos dizer que a soluo constituda pelos elementos
x tais que a distncia de x at a menor que . Neste caso, estamos
interpretando x a como a distncia de x at a.

22

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


Mod.1: x + y x + y (Desigualdade triangular).
Mod.2: xy = x y .
Mod.3: x y x y x y .
Mod.4: x z x y + y z .
Prova:
Mod.1: Temos as seguintes desigualdades:
x x x
y y y.
Adicionando as desigualdades, vem:
( x + y ) x + y ( x + y ) .
Portanto,
x+ y x + y .


Mod.2: Temos,
2

xy = ( xy ) 2 = x 2 y 2 .
Portanto,
xy = x 2 y 2 = x 2 y 2 = x y .
Mod.3: A primeira desigualdade dessa propriedade trivial,
pois a a , a .
Vejamos, ento, a segunda desigualdade:
Pela propriedade Mod.1, temos que:

23
x = x y+ y x y + y
y = yx+x yx + x .
Trabalhando com essas inequaes, obtemos:
x y x y

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

x y y x = x y .
Portanto,
x y x y x y e, assim, x y x y .
Nota: A prova da propriedade Mod.4 direta, sendo deixada como
exerccio.

1.5 Supremo e nfimo


Nesta seo nosso objetivo principal introduzir os conceitos de
supremo e nfimo em . Como ambos so similares, vamos centrar
mais nossa ateno na noo de supremo.
Vamos iniciar falando de conjuntos limitados. Temos a seguinte definio:
Definio 1.6. Seja X um subconjunto de .
a) Dizemos que X limitado superiormente se b tal que
x b para todo x X . Neste caso X (, b] e b chamado
uma cota superior de X.
b) Dizemos que X limitado inferiormente se a tal que
x a para todo x X . Nesse caso X [a, +) e a chamado
uma cota inferior de X.
c) Se X limitado superior e inferiormente, dizemos que X limitado.
Nota: X limitado existem a, b tais que X [a, b] .

24

Exerccios Resolvidos
Verificar quais dos seguintes conjuntos so limitados inferiormente
e/ou superiormente.
a) X = {1, 3, 5, 7}
1
b) X = , n
n

c) X = {3n, n }
Soluo:
a) Temos que 1 uma cota inferior de X. Logo, X limitado inferiormente. Temos, tambm, que 7 uma cota superior de X.
Logo X limitado superiormente. Conclumos, assim, que X
um conjunto limitado.
b) Podemos escrever
1
1 1 1
X = 1, , , , , ,
n
2 3 4
1
1, n . Logo, X um conjunto limitado
n
(0 uma cota inferior e 1 uma cota superior).

Temos que 0

c) Temos,
X = {3, 6, 9, 12,, 3n,} .
Podemos ver que -3 uma cota superior de X. Portanto, X
limitado superiormente.
O conjunto X no tem cota inferior. Ele no limitado inferiormente. Conclumos que o conjunto X no limitado.
Proposio 1.7. Em so equivalentes:
i) O conjunto dos nmeros naturais no limitado superiormente.
ii) Dados a, b , a > 0, n tal que an > b .

25

iii) Dado qualquer a > 0, n tal que 0 <

1
< a.
n

Prova:
i) ii) Sejam a, b , a > 0 . Como no limitado supeb
riormente, n tal que n > . Segue que an > b .
a
ii) iii ) Em ii) tomamos a > 0 e b = 1 . Temos que n tal
1
que an > b . Logo, < a .
n
1
iii) i) Seja b , b > 0 . Ento > 0 . Por iii) n tal que
b
1 1
< . Logo, n > b e, dessa forma, nenhum elemento de
n b
cota superior de .
Nota: Retome claramente em sua mente a noo de cota superior
de um conjunto. Procure visualizar geometricamente. Isso fundamental para voc compreender o conceito de supremo de um conjunto, que vamos definir agora.
Definio 1.7. Seja X um conjunto limitado superiormente.
Um elemento b dito supremo de X, se valem:
S.1 - Para qualquer x X , tem-se x b .
S.2 Se c e x c, x X , ento b c .
Em outras palavras, podemos dizer que o supremo de X a menor
das cotas superiores de X.
Denotamos: b = sup X .
Nota: Uma outra caracterizao muito til do supremo dada a seguir.
Considere qualquer nmero positivo muito pequeno. Temos,
S.1' - x X , x b
b = sup X
S.2' - > 0, x X tal que b < x b.

26
Geometricamente podemos visualizar esta caracterizao do
supremo:
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 supremo dadas acima so equivalentes.

Como voc definiria o nfimo de um conjunto limitado inferiormente?

A definio de nfimo anloga de supremo. Vejamos:


Definio 1.8. Seja Y um conjunto limitado inferiormente. Um
elemento a dito nfimo de Y, se:
I.1 - Para qualquer y Y , tem-se a y .
I.2 - Se c e c y, y Y , ento c a .
Dessa forma, o nfimo de Y a maior das cotas inferiores de Y.
Denotamos: a = inf Y
Tambm podemos escrever:
I.1' - y Y , a y
a = inf Y
I.2' - > 0, y Y tal que a y < a + .

27
Geometricamente,
y Y

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


de X?
A resposta negativa. O supremo e o nfimo de X podem ou no
pertencer a X.
Exemplos.
1) Seja X = {2, 5, 7, 9} .
Temos,
sup X = 9 e inf X = 2 .
Nota: Observe que neste caso o supremo de X o elemento
mximo de X e o nfimo de X seu elemento mnimo. Sempre
que um conjunto X tem elemento mximo esse elemento o
supremo. De forma anloga, sempre que X tem elemento mnimo, esse elemento o nfimo.
1
1 1 1
2) Seja X = 1, , , , , ,
n
2 3 4
Facilmente podemos visualizar que sup X = 1
Qual o nfimo de X ?
Se voc pensou no zero voc acertou, pois:
1
0 (0 cota inferior de X).
n
1
I.2 - > 0, n0 tal que 0 <
< (Prop. 1.7, iii))
n0
1
n0
I.1 - n ,

28
Logo, 0 a maior das cotas inferiores, isto , inf X = 0 .
Nota: Observe que neste caso o nfimo no pertence ao conjunto X.
n 1

3) Seja X =
, n .
n

n 1
1 2 3
Podemos escrever, X = 0, , , , ,
, .
n
2 3 4

Temos,
inf X = {0} ;
sup X = {1} .
1

4) Seja X = , n .
n

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


1

5) Seja X = n , n .
2

Temos que inf X = 0 e sup X =

1
.
2

6) Seja X = {2, 4, 6, 8, } .
Temos:
inf X = 2 .
Como X no limitado superiormente, X no possui supremo.
Acima vimos exemplos de alguns conjuntos cujo supremo e/ou infmo 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 supremo (ou nfimo) em .

29
A resposta a pergunta acima negativa. Existem subconjuntos limitados de nmeros racionais cujo supremo no um nmero racional. Para provar esta afirmao, precisamos primeiro da proposio
abaixo.
Proposio 1.8. No existe um nmero racional p tal que p 2 = 2 .
2
Prova: Suponhamos que existe p tal que p = 2 . Ento pom
demos escrever p = , sendo que os inteiros m e n no so amn
bos pares (se forem, podemos simplificar, at deixarem de ser).

Temos,
2

m
p = =2
n
2

ou,

m2
=2
n2

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

30
Proposio 1.9. Sejam
X = {x tais que x > 0 e x 2 < 2} ;
Y = { y tais que y > 0 e y 2 > 2} .
No existe sup X em e no existe inf Y em .
Prova: Vamos fazer esta demonstrao em etapas.
1) O conjunto X no possui elemento mximo.
Seja x um elemento qualquer de X. Vamos mostrar que existe em X um outro elemento maior que x. Consideremos o
nmero racional:
2 x2 .
2x + 1
Como x X , 2 x 2 > 0 e x > 0 . Portanto 2 x + 1 > 0 e, dessa
forma,
2 x2
> 0.
2x + 1
2 x2
.
2x + 1
A existncia desse nmero racional r garantida pela proposio 1.7.

Tomamos um nmero r tal que r < 1 e 0 < r <

Provemos que x + r X .
Temos, ( x + r ) > 0 . Alm disso,
0 < r <1 r2 < r ;
0<r <

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

Usando (1) e (2), vem


( x + r ) 2 = x 2 + 2rx + r 2 < x 2 + 2rx + r
= x 2 + r (2 x + 1) < x 2 + 2 x 2 = 2
Portanto, ( x + r ) 2 < 2 e, dessa forma, x + r X .
Conclumos que X no possui elemento mximo.

(1)
(2)

31
2) O conjunto Y no possui elemento mnimo .
Seja y Y . Vamos mostrar que existe em Y outro elemento
menor que y.
Consideremos o nmero racional
y2 2
.
2y
Como y Y , y 2 > 2 e y > 0 . Portanto, y 2 2 > 0 e 2 y > 0
e, assim,
y2 2
>0.
2y
Tomamos um nmero r tal que
y2 2
.
0<r<
2y
Temos que 2ry < y 2 2 ou 2ry > 2 y 2 .
Usando esse resultado, vem:
( y r ) 2 = y 2 2ry + r 2
> y 2 2ry
> y2 + 2 y 2
= 2.
Logo, ( y r ) 2 > 2 .
Para concluirmos que ( y r ) Y , falta verificarmos, ainda,
se ( y r ) > 0.
Como 0 < r <

y2 2
, temos que
2y
y 1
r< .
2 y

Como y > 0 , segue que r <

y
< y e, portanto, ( y r ) > 0 .
2

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


elemento mnimo.

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

y > 0 e y 2 > 2
Portanto, 0 < x 2 < 2 < y 2 ou 0 < x 2 < y 2 . Como x > 0 e y > 0 ,
segue que x < y .
4) sup X
Vamos usar os resultados obtidos nas 3 etapas anteriores.
Suponhamos que existe b = sup X em . Ento:
i) b > 0 .
ii) b no satisfaz b 2 < 2 .
De fato, como X no tem elemento mximo (provamos na
etapa 1), b X .
0 satisfaz b 2 > 2 .
ii) b >no

De fato, vamos supor que b 2 > 2 .


Temos ento que b Y . Usando a etapa 2, segue que a Y
tal que a < b (Y no tem elemento mnimo).
Utilizando o resultado obtido na etapa 3, conclumos que
x X , x < a < b .
Portanto, b no a menor cota superior de X, ou seja, b no
o supremo de X, o que uma contradio.
Por ii) e iii) temos que:
Se existir b = sup X , ento b 2 = 2 .
Pela proposio 3, sabemos que no existe b Q tal que
b2 = 2 .
Logo, no existe sup X em .

33
Comprovamos, assim, que existem conjuntos de nmeros racionais
que no possuem supremo em . Existem lacunas em . Voc
pode ser perguntar, intuitivamente falando, se as lacunas de podem ser completadas. A resposta afirmativa, e o conjunto que contm , e completa suas lacunas, o conjunto dos nmeros reais.
Temos o seguinte axioma:
Axioma. Em todo subconjunto no vazio, limitado superiormente, possui supremo.
Nota: O Axioma axima implica que em todo subconjunto limitado inferiormente possui nfimo.
Nota: Existe em um nmero p tal que p 2 = 2 . Este nmero representado por 2 e um nmero irracional.
O conjunto dos nmeros irracionais definido como o complementar 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
nmero neperiano e .

2 , 3, e o

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 exemplo, poderamos tomar: 500 2 , 501 2 , ,509 2 .
Vamos finalizar a unidade enunciando um teorema muito importante, onde usamos fortemente os conceitos de supremo e nfimo
vistos acima.

34
Proposio 1.10. (Princpio dos Intervalos Encaixados)
Seja I 1 I 2 I n uma sequncia decrescente de intervalos fechados e limitados, I n = [an , bn ] . Ento,

I
n =1

{ }, isto , existe

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


Mais precisamente, temos:

I
n =1

= [ a, b] ,

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


onde
b = inf{b1 , b2 ,..., bn ,...} .
Prova: Como I1 I 2 , temos que
a1 a2 an an +1
e
b1 b2 bn bn +1
Alm disso, am bn , m, n .
Logo, cada bn uma cota superior do conjunto A = {a1 , a2 , , an , }
e cada am uma cota inferior do conjunto B = {b1 , b1 , , bn , } .
Existem, ento, a = sup A e b = inf B em .
Como a = sup A , segue que am a , m .
Como todo bn uma cota superior de A,
a bn , n .
Temos, ento,
an a bn , n .

ou seja, a [an , bn ] .
n =1

35
Exemplo. Verifique o princpio dos intervalos encaixados para a famlia de intervalos
1 1
In = , .
n n
Temos,
I 1 = [ 1, 1]
1 1
I2 = ,
2 2

1 1
In = ,
n n

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


I1 I 2 I n
Logo, todas as hipteses da proposio 1.11 so verificadas.
Alm disso, temos que a n < 0, n e bn > 0, n .

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

Finalmente, interessante constatar que


1 1
1

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

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

I
n =1

= [0, 0] = {0} .

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

36

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

X = , n :
n

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


se existirem.
b) Determine, se existirem, o supremo e o nfimo de X.
6) Repita o exerccio 5 para os conjuntos:
2n 1

a) X =
, n
n

b) Y = {(1) n n, n }
c) Z = {5 3n, n }
7) Escreva em linguagem coloquial a caracterizao de nfimo
dada pelas condies I.1 e I.2 do texto.
8) D 2 exemplos de conjuntos de nmeros racionais que:
a) No possuem supremo em .
b) No possuem nfimo em .
c) No possuem nfimo nem supremo em .

37
9) Identifique se so verdadeiras ou falsas as afirmaes que seguem, justificando as suas respostas.
a) Se X um conjunto finito, o nfimo de X e o supremo de X
pertencem a X.
b) Se um conjunto X tem supremo ento ele admite infinitas
cotas superiores.
c) O nfimo de um conjunto limitado de nmeros irracionais
um irracional.
d) Qualquer subconjunto ilimitado de nmeros racionais
denso em .
10) Em , d um exemplo de um conjunto de nmeros racionais
que tem supremo irracional e de um conjunto de nmeros irracionais que tem supremo racional.
11) Mostre que no princpio dos intervalos encaixados no podemos retirar as hipteses:
a) os intervalos so limitados;
b) os intervalos so fechados.

Captulo 2
Noes Topolgicas em n

41

Noes Topolgicas em

Neste captulo voc vai adquirir conhecimentos bsicos de Topologia no n , com nfase para n = 1, 2,3.
Isso oportunizar a voc uma viso mais ampla e mais
fundamentada das disciplinas do ensino mdio, quando
lecion-las.

Em particular, vamos explorar o conceito de mtrica,


que nos permite medir distncias, tais como distncia
entre dois pontos e distncia entre conjuntos. Veremos
tambm as noes de conjunto aberto, conjunto fechado,
interior, fecho e fronteira de um conjunto.

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

Embarcaremos agora no paraso criado por Cantor, munidos


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

42

2.2 O espao Euclidiano

[...] muito util considerar nmeros complexos, ou nmeros


formados por vrias unidades [...] (Peano, 1888a, Math. Ann.,
vol. 32, p.450, apud [6, Hairer-Wanner])

Os nmeros complexos aos quais Peano se refere so o que hoje


conhecemos por vetores (nomenclatura sugerida por Hamilton
(1853)). Sua importncia matemtica enorme e seu estudo deslanchou em meados do sculo 19, quando matemticos tiveram a ideia
de denotar pares de nmeros (ou n -uplas) por apenas uma letra,
por exemplo x = ( x1 , x2 , , xn ) , e considerar os mesmos como novos
objetos matemticos.
Comearemos agora nosso estudo, com toda a preciso necessria
para um bom entendimento das ideias.
O espao Euclidiano n consiste de todas as n -uplas ordenadas de
nmeros reais.
Simbolicamente, temos:
n = {( x1 , x2 , , xn ) / x1 , x2 , , xn } .
Um elemento do espao n denotado por x = ( x1 , x2 , , xn ) e nos
referimos a ele como um ponto de n .
Em n podemos definir as operaes adio e multiplicao por
escalar, como segue:
Adio. Dados dois pontos de n , x = ( x1 , x2 , , xn ) e y = ( y1 , y2 , , yn ) ,
define-se:
x + y = ( x1 , x2 , , xn ) + ( y1 , y2 , , yn ) = ( x1 + y1 , x2 + y2 , , xn + yn ) .
Multiplicao por escalar. Dado a e x = ( x1 , x2 , , xn ) n , define-se:
ax = a ( x1 , x2 , , xn ) = (ax1 , ax2 , , axn ) .
Observao. Com as operaes de adio e multiplicao por escalar o espao n um espao vetorial sobre o corpo dos nmeros
reais .

43
interessante voc relembrar as propriedades de um espao vetorial. Retome o texto da disciplina lgebra Linear.
Como n um espao vetorial, podemos introduzir o conceito de
norma.
Definio 2.1. Uma norma em n uma funo || ||: n tal que
para quaisquer x, y n e , valem as seguintes propriedades:
N1:|| x || 0 e || x ||= 0 x = 0;
N 2 :|| x ||=| ||| x ||;
N 3 :|| x + y |||| x || + || y || .
A norma de n que mais vamos utilizar a norma Euclidiana, dada
por
|| ||: n
x = ( x1 , x2 , , xn ) || x ||= x12 + x22 + + xn2 .
Observao. Veremos que outras normas podem ser definidas em
n . Sempre que no fizermos uma referncia explcita norma, estaremos subentendendo que a norma usada a norma Euclidiana.
No nosso estudo, de forma geral, vamos trabalhar nos espaos n ,
n = 1, 2,3 . Isso nos permite visualizar geometricamente os conceitos
que vamos explorar.
Exemplo 2.1. Identifique, no espao 1 , o conjunto
X = {x 1 / || x ||< 1}.
Observe que o espao 1 nada mais que o conjunto dos nmeros reais, que identificamos geometricamente com a reta real.
Temos || x ||=| x |< 1 1 < x < 1 .
Portanto, X o intervalo aberto (1,1) , representado na figura
2.1.
1

Figura 2.1

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

x1

Figura 2.2

Exemplo 2.3. Identifique no espao 3 o conjunto


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

1
x1
Figura 2.3

x2

45

A noo de espao mtrico


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

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 figura 2.4 e concluir que a distncia entre 2 pontos o comprimento do segmento de reta que os
une, ou seja:
d ( x, y ) = ( y1 x1 ) 2 + ( y2 x2 ) 2 .
x2
y2
x2

y
x
x1

y1

x1

Figura 2.4

Isso est correto. No entanto, podemos ter mais que uma maneira
de medir a distncia. Algumas propriedades devem ser satisfeitas:
M1: A distncia entre dois pontos nunca negativa e s zero
a distncia de um ponto a ele mesmo.
M2: A distncia simtrica, isto , a distncia de x at y
igual distncia de y at x .
M3: A distncia entre 2 pontos x e z sempre menor ou igual
soma das distncias de x at y e de y at z , onde y um
ponto qualquer.
Nota: Qualquer funo que satisfaz estas propriedades pode ser
usada para medir distncias.
Temos a seguinte definio:

46
Definio 2.2. Seja M um conjunto. Uma mtrica em M uma funo d : M M , onde M M o produto cartesiano de M por
M : M M = {( x1 , x2 ) / x1 , x2 M }, tal que para quaisquer x, y, z M ,
temos:
M1: d ( x, y ) 0 e d ( x, y ) = 0 x = y;
M2: d ( x, y ) = d ( y, x);
M3: d ( x, z ) d ( x, y ) + d ( y, z ) .
O par ( M , d ) , onde M um conjunto e d uma mtrica, chamado
um espao mtrico.
Exemplo 2.4. M = ,

A partir das propriedades dos nmeros reais podemos verificar facilmente que d uma mtrica em .
Temos:
M1: d ( x, y ) = y x 0
d ( x, y ) = 0 y x = 0 y x = 0 x = y;
M2: d ( x, y ) = d ( y, x) , pois | y x |=| x y |;
MM3:
3 : d ( x, z ) =| z x |
=| z y + y x |
| z y | + | y x |
=| y x | + | z y |
= d ( x, y ) + d ( y, z ).

0, se x = y
Exemplo 2.5. Seja M qualquer. A funo d ( x, y ) =
1, se x y
satisfaz as propriedades de mtrica, sendo denominada mtrica trivial ou mtrica 0 1 .
Qual a deficincia que voc identifica nesta mtrica?
Ela no diferencia a distncia entre pontos distintos. Por exemplo, se
M = , d (4,9) = 1 , d (5,7) = 1 , etc.

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 d ( x, y ) = x 2 + 2 xy mtrica em ? Justifique.
Resoluo:
Note que d no uma mtrica em , pois no satisfaz a propriedade M 1 . Por exemplo, d (1, 3) = 5 < 0 .

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

2.4 Mtricas em

Sejam x = ( x1 , x2 , , xn ) e y = ( y1 , y2 , , yn ) pontos de n .
As mtricas usualmente utilizadas no espao n so:
i) Mtrica Euclidiana
d : n n
d ( x, y ) = ( y1 x1 ) 2 + ( y2 x2 ) 2 + + ( yn xn ) 2 .
Nota: Observe que para esta mtrica, a distncia de x at y dada
pela norma euclidiana de x y , isto , d ( x, y ) =|| x y || .
ii) Mtrica Retangular ou de ngulo Reto
d1 : n n
d1 ( x, y ) =| y1 x1 | + | y2 x2 | + + | yn xn | .
iii) Mtrica do Mximo
d2 : n n
d 2 ( x, y ) = max{| y1 x1 |,| y2 x2 |, ,| yn xn |}.
Observaes.
1) Em nosso estudo a Mtrica Euclidiana ser considerada a mtrica
usual de n .
2) Pode-se provar que
d 2 ( x, y ) d ( x, y ) d1 ( x, y ) kd 2 ( x, y ) ,

48
onde k uma constante. Por exemplo, em 2 , para mostrar

que

d ( x, y ) d1 ( x, y )

suficiente

mostrar

que

a 2 + b 2 a + b , a, b . Mas esta desigualdade equivalente a


2

a 2 + b 2 ( a + b ) 2 = a + 2 a b + b 0 2 a b , o que verdade
a, b .
Devido a estas desigualdades, dizemos que as trs mtricas so
equivalentes. A equivalncia no sentido de que elas vo produzir
os mesmos abertos e fechados em n .
importante voc visualizar geometricamente essas medidas de
distncia. Para isso vamos utilizar o espao 2 . Retomando a figura 2.4, vemos que a distncia Euclidiana entre dois pontos a distncia medida em linha reta. As figuras 2.5 e 2.6, respectivamente,
ilustram a mtrica retangular e a mtrica do mximo.
x2
y

y2
x2

x
x1

y1

x1

Figura 2.5

x2
y

y2
x2

x
y1

x1

Figura 2.6

x1

Mtrica Retangular
Tambm conhecida como
Mtrica Metropolitana ou
de Manhattan, devido s redes de transporte na forma
de grades retangulares que
ocorrem em muitas cidades
americanas e mesmo brasileiras. Em muitos casos ela
a mtrica mais adequada
para medir as distncias dos
deslocamentos nos centros
urbanos.

49

Exerccio Resolvido
2) Usando as trs mtricas anteriores, identifique os pontos de
2 tais que sua distncia at a origem seja igual a 1.
Resoluo:
Sejam o = (0,0) e x = ( x1 , x2 ) .
i) Para a mtrica Euclidiana, temos
d ( x, o) = 1 ( x1 0) 2 + ( x2 0) 2 = 1 x12 + x22 = 1 .
ii) Para a mtrica retangular, vem
d1 ( x, o) = 1 | x1 0 | + | x2 0 |= 1 | x1 | + | x2 |= 1 .
iii) Para a mtrica do mximo, temos
d 2 ( x, o) = 1 max{| x1 0 |,| x2 0 |} = 1 max{| x1 |,| x2 |} = 1.
A figura 2.7 ilustra as 3 situaes.
x2

x2

(i)

x1

x2

(ii)

x1

x1

(iii)

Figura 2.7

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

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

50
Resoluo:
Dados x = ( x1 , x2 ) , y = ( y1 , y2 ) e z = ( z1 , z2 ) , temos que provar que:
( x1 z1 ) 2 + ( x2 z2 ) 2 ( x1 y1 ) 2 + ( x2 y2 ) 2 + ( y1 z1 ) 2 + ( y2 z2 ) 2
Sejam ai = ( xi yi ) , bi = ( yi zi ) , i = 1,2 .
Ento xi zi = ( xi yi ) + ( yi zi ) = ai + bi e a inequao acima
equivalente a
(a1 + b1 ) 2 + (a2 + b2 ) 2 a12 + a22 + b12 + b22
(a1 + b1 ) 2 + (a2 + b2 ) 2 a12 + a22 + 2 a12 + a22 b12 + b22 + b12 + b22
a1b1 + a2b2 (a12 + a22 )(b12 + b22 ) .
Para, mostrarmos esta ltima inequao, suficiente mostrar que
a1b1 + a2b2 (a12 + a22 )(b12 + b22 ) , ai , bi , i = 1,2 .
Mas a inequao acima a famosa equao de Cauchy-Schwartz
em 2 ( a b a b , para a = (a1 , a2 ) , b = (b1 , b2 ) ), e podemos
prov-la elevando ao quadrado em ambos os lados, agrupando
termos, e notando que (a1b2 a2b1 ) 2 0 , ai , bi , i = 1,2 .
Conclumos que a desigualdade riangular vlida em 2 .
Nota: Um argumento semelhante pode ser usado para provar a desigualdade 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
importante voc revisar
bem a seo 2.6, que
explora os conceitos de
supremo e nfimo, no texto
de Introduo ao Clculo [4,
Gimenez-Starke].

uma mtrica em M .
A figura 2.8 ilustra a mtrica dada para X = [a, b] .
x2
g
d ( f, g)

x1

Figura 2.8

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


O supremo do conjunto desses nmeros a distncia de f a g
(note que este supremo existe, pois f e g so limitadas).
Vamos verificar as propriedades de mtrica.
Sejam f , g , h M .
MM1:
1: d ( f , g ) 0 pela prpria definio da mtrica.
d ( f , g ) = 0 sup{| g ( x) f ( x) |} = 0 | g ( x) f ( x) |= 0
xX

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

f ( x) = g ( x) , x X .
MM2:
2 : d ( f , g) = d (g, f ) .
imediata pelas propriedades de mdulo de nmeros reais.

52

M3: Seja x X . Temos


| g ( x) f ( x) |=| g ( x) h( x) + h( x) f ( x) |
| g ( x) h( x) | + | h( x) f ( x) |
=| h( x) f ( x) | + | g ( x) h( x) |
sup | h( x) f ( x) | + sup | g ( x) h( x) |
xX

xX

= d ( f , h) + d (h, g ).
Conclumos, assim, que d ( f , h) + d (h, g ) uma cota superior do conjunto
{| g ( x) f ( x) |, x X } .
Segue que
d ( f , g ) = sup | g ( x) f ( x) | d ( f , h) + d (h, g ) .
x X

Cabe a voc agora resolver o exerccio que segue.

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

2.6 Mtrica Induzida


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

53
x2

x1

Figura 2.9

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


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

2.7 Dimetro de um Conjunto;


Distncias entre Conjuntos
Consideremos os subconjuntos de 2 :
A = {( x1 , x2 ) 2 / x12 + x22 1} ;
B = {( x1 , x2 ) 2 / ( x1 3) 2 + x22 1} ;
C = [0,1] [0,1] .
Observe que C o produto cartesiano do intervalo fechado [0,1]
por ele mesmo:
a) Qual a maior distncia possvel entre 2 pontos do conjunto A ?
b) Qual a menor distncia possvel entre um ponto de A e um
ponto de B ?
c) Qual a maior distncia possvel entre dois pontos de C ?
d) Qual a menor distncia possvel entre a origem e um ponto de
B?
e) Se substituirmos
A por A ' = {( x1 , x2 ) 2 / x12 + x22 < 1} e

54

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


as respostas sero as mesmas?
provvel que para responder estas questes voc tenha representado geometricamente os conjuntos dados, conforme a figura 2.10.
x2

x2

x1

x2

4 x1

Figura 2.10

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


(b) 1; (c) 2 ; (d) 2.
As respostas para o item (e) no so to imediatas. Vejamos as definies que seguem.
Definio 2.3 (Dimetro de um conjunto). Sejam ( M , d ) um espao
mtrico e A M , A . Dizemos que o conjunto A limitado se
existir um nmero real k > 0 , tal que
d ( x, y ) k , x, y A .
Se A limitado, chamamos de dimetro de A, e denotamos por
diam( A) , o nmero real
diam( A) = sup{d ( x, y ) / x, y A} .
Exemplo 2.7. Em , o dimetro do intervalo fechado [a, b] igual
ao dimetro do intervalo aberto (a, b) , sendo igual a b a , isto ,
diam([a, b]) = diam((a, b)) = b a .

x1

55
Exemplo 2.8. Os dimetros dos conjuntos A , B e C , representados
na figura 2.10 so:
diam( A) = 2 ; diam( B) = 2 ; diam(C ) = 2 .
Na figura 2.11, representamos os conjuntos A ' e B ' .
x2

x2

x1

4x
1

B
Figura 2.11

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


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

Exerccio Resolvido
4) Demonstre a afirmao do Exemplo 2.7.
Resoluo:
Faremos para o intervalo [a, b] . O caso do intervalo (a, b) fica
como exerccio.
Primeiro note que b a cota supeior para d ( x, y ) com x, y [a, b] ,
pois se x, y [a, b] ento y b e x a . Logo, b a x y .
1
1
< . Ento a, b pern
n
1
1

tencem a [a, b] e d a, b = (b a ) > (b a ) .


n
n

Agora, dado > 0 , tome n tal que

Logo, (b a ) = sup{d ( x, y ), x, y [a, b]} .

56
Definio 2.4 (Distncia de um ponto a um conjunto). Sejam
( M , d ) um espao mtrico, A M , A e p um ponto de M .
A distncia de p at A o nmero real que denotamos por d ( p, A),
dado por
d ( p, A) = inf{d ( p, x) / x A} .
Nota:
1) O nfimo existe, pois d ( p, x) 0 , x A .
2) Se p A , ento d ( p, A) = 0 .
Exemplo 2.9. Considere o conjunto C , representado na figura 2.10.
1 1
Dados P1 (0,1), P2 , e P3 (2, 2), determinar a distncia d ( Pi , C ),
2 2
i = 1, 2,3 .
Temos que

, pois

;e

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

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

Mostrar que a distncia entre A e B zero.

Comprove este
resultado, raciocinando
geometricamente.

57

A figura 2.12 ilustra os conjuntos A e B em 2 . A o eixo dos x e


1
B o grfico da funo y = , x > 0 .
x
y

x
A
Figura 2.12

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


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

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

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

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

58

Exerccio Proposto
4) D exemplos de conjuntos A e B , tais que:
a) d ( A, B) = 3 em ;
b) d (o, A) = 2 em 2 ; onde o a origem.
c) d ( A, B) = 1 em 2 e em 3 .

2.8 Bolas Abertas


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

a+

Figura 2.13

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


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

59

x2

x2

x2

a2

a2

a2

a1
(a)

x1

a1

x1

(b)

a1

x1

(c)

Figura 2.14

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


Propriedade B1. O dimetro de B ( x, r ) satisfaz
diam( B( x, r )) 2r .
De fato, sejam y, z B( x, r ) . Ento,
d ( y, x) < r e d ( z , x) < r .
Usando a propriedade M 3 , segue que
d ( y , z ) d ( y , x ) + d ( x, z ) < r + r = 2 r .
Assim, 2r uma cota superior do conjunto das distncias entre 2
pontos quaisquer da bola e, ento, o seu dimetro satisfaz:
diam( B( x, r )) = sup{d ( y, z ) / y, z B( x, r )} 2r .
Exemplo 2.12. Em n , diam( B( x, r )) = 2r , valendo, assim, a igualdade na propriedade B1.
Exemplo 2.13. Seja M = , com a mtrica zero-um. Se r < 1 ,
B ( x, r ) = {x} (conjunto unitrio). Logo, diam( B( x, r )) = 0 e vale, neste
caso, a desigualdade estrita na propriedade B1.
Propriedade B2. Dadas as bolas B ( x, r1 ) e B ( x, r2 ) ,
r1 r2 B( x, r1 ) B( x, r2 ) .

60
Observao. A prova trivial. Faa uma representao geomtrica
em 2 , com a mtrica usual.
Propriedade B3. Dado um ponto qualquer y B( x, r ) , existe um nmero real r1 , tal que
B ( y, r1 ) B ( x, r ) .
Prova:
Seja y B( x, r ) . Tome r1 = r d ( x, y ) , como representado na figura 2.15, para 2 com a mtrica usual.

y
r

r1
d(x,y)

Figura 2.15

Seja z B ( y, r1 ) . Temos que


d ( z , x) d ( z , y ) + d ( y, x) < r1 + d ( y, x) = r d ( x, y ) + d ( y, x) = r .
Logo, z B ( x, r ) e, portanto,
B ( y, r1 ) B ( x, r ) .

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


B ( x, r1 ) B ( y, r2 ) .
Se z B( x, r1 ) B( y, r2 ) , ento existe uma bola aberta com centro em
z contida na interseo B( x, r1 ) B( y, r2 ) .

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

r2
z
r1

Figura 2.16

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

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

(1)

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

(2)

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

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


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

62

r2

r1

y
d(x,y)

Figura 2.17

Prova (Por contradio):


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

2.9 Conjuntos Abertos


Estudaremos nesta seo os conjuntos que so chamados de abertos. A nomenclatura provm do estudo dos intervalos abertos de
. Em , possvel caracterizar os conjuntos abertos como aqueles que podem ser escritos como uma unio disjunta, enumervel
de intervalos abertos. Infelizmente no temos uma caracterizao
como esta para conjuntos abertos de um espao mtrico qualquer
e, portanto, precisamos de uma definio que funcione em todos
os casos. Para isto, utilizaremos o conceito de bola aberta. Vamos
trabalhar, em geral, num espao mtrico ( M , d ) , o que ser omitido
sempre que estiver claro no contexto. Vejamos:

63

Definio 2.7 (Interior de um Conjunto). Seja A M , A . Dizemos que um ponto x A um ponto interior de A , se existir uma
bola aberta centrada em x e contida em A .
O conjunto de todos os pontos interiores de A denominado Interior de A e denotado por
Int( A) .
Simbolicamente, escrevemos
x Int( A) B( x, r ) A .
Exemplo 2.14. Considere, em 2 , o conjunto
A = {( x1 , x2 ) 2 / ( x1 1) 2 + ( x2 1) 2 1} .
Quais os pontos de A que so pontos interiores? Existem pontos de
A que no so interiores? Quais?
A figura 2.18 ilustra este exemplo.
x2

x1

Figura 2.18

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


1 so pontos interiores. Os pontos sobre a circunferncia pertencem
ao conjunto A , mas no so pontos interiores.
Exemplo 2.15. Em , considere os intervalos:
a) Intervalo aberto (a, b) ;

64

b) Intervalo fechado [a, b] ;


c) Intervalo aberto ilimitado (a, +) ;
d) Intervalo fechado ilimitado [a, +) .
Em (a), todos os pontos so pontos interiores.
Em (b), temos que Int([a, b]) = (a, b) . Os pontos a e b no so pontos interiores.
Em (c), todos os pontos so pontos interiores.
Em (d), temos que Int([a, +]) = (a, +) . O ponto a no ponto
interior.

Exerccio Proposto
5) Identifique, representando geometricamente, Int( A) , sendo:
a) A = {( x1 , x2 ) 2 / x2 x1} ;
b) A = {( x1 , x2 ) 2 / x12 x2 < 0} ;
c) A = {( x1 , x2 ) 2 / x2 > e x1 } ;
d) A = {( x1 , x2 ) 2 / x1 > 0 e x2 < ln x1} ;
e) A = (conjunto dos inteiros em );

1
f) A = , n em .

n =1 n

Exerccio Resolvido
5) Mostre que Int( A) Int( B) = Int( A B) .
Resoluo:
Seja x Int( A) Int( B) . Ento, pela definio de interior, existem
r1 e r2 tais que B( x, r1 ) A e B( x, r2 ) B . Pela propriedade de bolas
abertas B4, r3 tal que B ( x, r3 ) B ( x, r1 ) B( x, r2 ) A B .
Logo, x Int( A B) e provamos que Int( A) Int( B) Int( A B) . A
outra incluso fica como exerccio.

65

Exerccio Proposto
6) Decida se Int( A B) Int( A) Int( B) . Se for verdadeiro prove,
caso contrrio apresente um contra-exemplo.
Definio 2.8 (Conjunto Aberto). Seja A M . Dizemos que A
aberto se todo ponto de A um ponto interior de A .
Nota: O interior de A sempre est contido em A . Logo, se A Int( A) ,
ento A aberto.
Exemplo 2.16. Toda bola aberta um conjunto aberto.
De fato, esse resultado uma consequncia imediata da propriedade B3.
Exemplo 2.17. O conjunto A = {x / 0 < x < 1} aberto em , mas o
conjunto B = {( x1 , x2 ) 2 / 0 < x1 < 1, x2 = 0} no aberto em 2 .
A figura 2.19 ilustra esta situao
x2

x1

Figura 2.19

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


2
um intervalo aberto e em 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 prova, suponha que A seja aberto. Para todo x A , seja I x o
maior intervalo aberto tal que x I x A . Note que se x y , ento

66

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


pois dentro de cada I x podemos escolher um nmero racional distinto.
Em geral, provar que um conjunto, mesmo de 2 , aberto no
tarefa to fcil. s vezes precisamos ter alguma boa ideia para fazer
isto. Veja o exemplo abaixo:
Exemplo 2.19. Mostrar que o conjunto A = {( x, y ) 2 / x > y 2 + 1}
aberto (ver figura 2.20) usando a definio de conjunto aberto.
y

A
1

x =y 2 +1
Figura 2.20

Para ver isto, seja (a, b) A . Sem perder a generalidade, supor b 0 .


Tomar > 0 tal que
a > (b + ) 2 + + 1 .
A existncia de pode ser provada usando a frmula de Bhaskara.
Vamos mostrar que B((a, b), ) A. Fazendo isso, segue que A
aberto.
Seja ento ( x, y ) B ((a, b), ). Temos
( x a ) 2 + ( y b) 2 =|| ( x, y ) (a, b) ||<
e isto implica que | x a |< e | y b |< . Assim,
< x a < ,
< y b < .

67
Ou,
a < x < a + ,
b < y < b + .
Logo, x a > (b + ) 2 + + 1 = (b + ) 2 + 1 > y 2 + 1.
Isto , x > y 2 + 1. Isso diz que ( x, y ) A e, portanto, B((a, b), ) A.
Propriedades dos Conjuntos Abertos:
Propriedade Ab1. O conjunto vazio e o espao todo M so abertos.
Prova:
imediata.

Propriedade Ab2. A interseo de dois abertos quaisquer um


aberto.
Prova:
Sejam A1 e A2 conjuntos abertos e
A3 = A1 A2 .
Se A3 = , nada temos a provar.
Seja z A3 .
Devemos mostrar que existe uma bola aberta B ( z , r ) tal que
B( z , r ) A3 .
Como z A1 e A1 aberto, existe r1 > 0 tal que
B( z , r1 ) A1 .
Da mesma forma, r2 > 0 tal que
B ( z , r2 ) A2 .
Seja r = min{r1 , r2 } .
Ento, B( z , r ) B( z , r1 ) A1 e B( z , r ) B( z , r2 ) A2 .
Logo, B ( z , r ) A1 A2 e, assim, A1 A2 aberto.

68
Propriedade Ab3. A unio arbitrria de conjuntos abertos um
aberto.
Prova:
Sejam { A } uma coleo de abertos e A = A .

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


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

Exerccio Proposto
7) Usando induo matemtica, mostre que a interseo finita de
abertos um aberto, isto , se A1 , A2 , , An so conjuntos abern

tos, ento A = Ai aberto, n .


i =1

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

Nota: A interseo de uma coleo infinita de abertos pode no ser


um aberto.
1
1

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


n
n

Ento,

A
n =1

= {0} , que no aberto.

2.10 Conjuntos Fechados


Conjuntos fechados so definidos simplesmente como conjuntos
cujo complementar aberto. No decorrer deste captulo veremos algumas outras caracterizaes de conjuntos fechados. Porm, vale a
pena ressaltar que, mesmo em , descrever completamente quais
so os conjuntos fechados de um espao mtrico um problema
complicado. Abaixo voc pode ver o desenho do tringulo de Sierpinski em 2 e 3 (figura 2.21). Ambos so conjuntos fechados
(pois os complementares so abertos) e do uma ideia de quo complicados os conjuntos fechados podem ser.

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

69

Figura 2.21

Definio 2.9. Seja F M . Dizemos que F fechado se o seu complementar, C ( F ) , for aberto.
Exemplo 2.21. O conjunto F = {( x1 , x2 ) 2 / x12 + x22 1} fechado
em 2 .
Exemplo 2.22. Os intervalos [a, b] , (, b] e [a, +) so conjuntos
fechados.
Exemplo 2.23. O conjunto F = {( x1 , x2 , x3 ) 3 / x12 + x22 + x32 1} fechado em 3 .
Exemplo 2.24. Seja ( M , d ) espao mtrico onde d a mtrica descrita. Ento todo subconjunto de M fechado.
Nota: Assim como definimos bola aberta, podemos definir bola fechada.
B[ x, r ] = { y M / d ( y, x) r}
uma bola fechada em M .
Em n , podemos escrever:
B[ x, r ] = { y n / || y x || r} .

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

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

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


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

Propriedade Fe3. A interseo de qualquer coleo de conjuntos fechados fechada.

71
Prova:
Sejam {F } uma coleo de conjuntos fechados e F = F.
Temos
C ( F ) = C ( F ) = [C (F )] .
Como F fechado, C ( F ) aberto.
Pela propriedade Ab3, segue que C ( F ) aberto.
Logo, F fechado.

Exerccios Propostos
9) Mostre que a unio finita de fechados um fechado (use induo matemtica).
10) Em n todo conjunto unitrio fechado? E todo conjunto finito? 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 conjunto A se existirem outros pontos de A arbitrariamente prximos
de x .
Temos a seguinte definio:
Definio 2.10. Seja A M . Um ponto x M um ponto de acumulao de A se toda bola aberta centrada em x contiver algum ponto de A ,
que seja distinto de x .
Denotamos o conjunto dos pontos de acumulao de A por A ' .
Simbolicamente, escrevemos:
x A ' r > 0 , B ( x, r ) { A {x}} .

72
Observe que x no precisa pertencer a A para ser ponto de acumulao.
Mesmo sem ter sido usada esta nomenclatura, voc j entrou em
contato com o conceito de ponto de acumulao, quando voc estudou limite de funes.
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 acumulao. Um conjunto finito tambm no tem pontos de acumulao.
Exemplo 2.26. Em , ' = .
Exemplo 2.27. Seja A o intervalo (0,1) em . Ento, A ' o intervalo fechado [0,1].
1
1 1
Exemplo 2.28. Seja A = 1, , ,, , em . Ento, A ' = {0} .
n
2 3
Exemplo 2.29. Considere, em , o conjunto dos racionais .
Qual o conjunto ' ?
A resposta , isto , todo nmero real a um ponto de acumulao de .
De fato, seja x e r > 0 .
Devemos mostrar que a bola aberta
B ( x, r ) = ( x r , x + r )
contm pelo menos um racional distinto de x .

73

Como o conjunto dos nmeros naturais ilimitado em ,


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

2
n

1
n

1
n

2
n

3 ...
n

Figura 2.22

Logo, pelo menos um desses nmeros racionais estar entre x r


e x + r e ser distinto de x , pois o comprimento do intervalo
2
( x r , x + r ) 2r > .
n
Para ter uma ideia de M ,
tente plotar o grfico
1
de y = sen
no
x
computador.

Exemplo 2.30. Em 2 , seja A = x,sen : 0 < x < 1 .


x

Ento A ' = A {(0, y ) : 1 y 1} {(1,sen 1)} .


Proposio 2.1. F M fechado se, e somente se, F ' F .
Prova:
) F fechado F ' F .
Vamos usar a seguinte propriedade de conjuntos
A B C ( B) C ( A),
onde C ( A) denota o complementar de A em M .
Seja x C ( F ) . Como C ( F ) aberto, existe B ( x, r ) C ( F ) .
Portanto, B( x, r ) F = , o que implica que x C ( F ') (x no
ponto de acumulao de F ).
Logo, F ' F .
) F ' F F fechado.
Vamos mostrar que C ( F ) aberto.

74

Seja x C ( F ) . Como F ' F , ento x F ' .


Portanto, existe r > 0 tal que B( x, r ) F = , o que implica
que B ( x, r ) C ( F ) .
Logo, x Int(C ( F )) e, dessa forma, C ( F ) aberto.
Segue que F fechado.

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

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

3 4 5 6

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

1 1 1 1

d) D = , , , , ;
2 4 8 16
e) Domnio de f , sendo f ( x) =

1
;
x 1

f) Imagem de g , sendo g ( x) = x 2 + 2 x + 2 .
g) O conjunto de Cantor em .

2.12 Fecho de um Conjunto


Em linguagem cotidiana (ou coloquial), podemos pensar no interior
de um conjunto A como o maior aberto contido em A . De forma
anloga, podemos pensar no menor fechado que contm A .
Temos a definio:
Definio 2.11. Seja A M . O fecho de A , denotado por A , o conjunto obtido pela unio de A com seus pontos de acumulao.

75
Simbolicamente, escrevemos:
i) A = A A ' ;
ii) a A r > 0 , B(a, r ) A .
Proposio 2.2. O fecho de qualquer conjunto sempre um conjunto fechado.
Prova:
Seja X M . Vamos mostrar que C ( X ) aberto.
Seja a C ( X ). Ento a X e a X ' e, portanto, existe r > 0 tal
que
B (a, r ) X = , isto , B(a, r ) C ( X ).
Vamos mostrar, agora, que B (a, r ) C ( X ) .
De fato, seja y B(a, r ) . Pela propriedade de bolas abertas B3,
existe r1 > 0 tal que
B ( y, r1 ) B (a, r ) C ( X ) .
Assim, B ( y, r1 ) X = , o que implica que y no ponto de
acumulao de X . Segue que y C ( X ) .
Conclumos, assim, que a Int(C ( X )) . Logo, C ( X ) aberto e,
portanto, X fechado.

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


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

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

76

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

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

1
b) B = , n .

n =1 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 pontos de B[ x, r ] so pontos de acumulao de B ( x, r ) ?

77

Exerccio Resolvido
7) Seja A M . Mostrar que
x A inf{d ( x, y ) / y A} = 0 .
Prova:
) Sejam x A e = inf{d ( x, y ) / y A} .
Se x A , ento = 0 (trivial).
Se x A mas x A ' , ento r > 0 , B( x, r ) A .
Assim, r > 0 , existe y A tal que d ( x, y ) < r .
Como r > 0 qualquer, segue de = 0 .
) Seja x M tal que = inf{d ( x, y ) / y A} = 0 .
Se x A , nada a provar.
Se x A , pela definio de nfimo, para qualquer r > 0 , existe
y A tal que d ( x, y ) < r .
Segue que y A B ( x, ) e, ento, x A ' A .

Usando o conceito de fecho de um conjunto, podemos facilmente


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

78
Vamos finalizar esta unidade com o conceito de fronteira de um
conjunto. Este conceito pode ser visualizado intuitivamente no 2 ,
onde para muitos conjuntos a fronteira desempenha o papel de limitante, como pode ser observado no mapa da figura 2.23.
BOA VISTA

AMAP

RORAIMA

MACAP

BELM
MANAUS

AMAZONAS

ACRE

PAR

MARANHO

Fronteira entre
Brasil e Bolvia

PORTO VELHO
PALMAS
RIO BRANCO

TOCANTINS

RONDNIA

PERU
MATO GROSSO

DISTRITO
FEDERAL
CUIAB

BOLVIA

GOIS

GOINIA

MINAS
GERAIS

MATO GROSSO
DO SUL

BELO HOR

CAMPO GRANDE

SO PAULO
PARAGUAI
SO PAULO

PARAN

CURITIBA

SANTA
CATARINA

Figura 2.23

Temos a seguinte definio.


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

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

A figura 2.24 ilustra esta definio.


Exemplo 2.34. Encontrar Fr( A), sendo A 2, o conjunto:
A = {( x, y ) 2 / x 2 y 2 < 1} .

79
O conjunto A est representado na figura 2.25. Observe que
x2 y 2 = 1
a equao de uma hiprbole. A fronteira de A o grfico desta
hiprbole, isto ,
Fr( A) = {( x, y ) 2 / x 2 y 2 = 1} .
y

Fr(A)

Figura 2.25

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


caso, Fr( A) = A .

Exerccios Propostos
17) Verifique se so verdadeiras ou falsas as sentenas:
a) A B Fr( A) Fr( B) ;
b) x Fr( A) x A ' , isto , x um ponto de acumulao de
A;
c) Fr( A B ) Fr( A) Fr( B) .
18) Identifique e represente geometricamente a fronteira dos seguintes conjuntos:
a) A = {( x, y ) 2 / x 2 + y 2 1} ;
b) Int( A) (sendo A o conjunto do item a);
c) A = [0,1] em ;
d) B = [0,1] em ;
2
2
e) C = {( x, y ) / y > x 4 x + 3} .

80
Propriedades da Fronteira:
Propriedade Fr1. Fr( A) = A C ( A) .
Prova:
x A
B ( x, r ) A

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

x C ( A)

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


Prova:
) Seja x Int( A) Fr( A) .
Se x Int( A) , nada a provar, pois Int( A) A A .
Se x Int( A) e x Fr( A) , temos que > 0 , B( x, ) A .
Logo, x A .
Conclumos, ento, que Int( A) Fr( A) A .
) Seja x A . Temos duas possibilidades exclusivas
i) x A , ou
ii) x A e x A ' .
i) x A . Novamente temos duas possibilidades exclusivas
x Int( A) ou x Int( A) .
Se x Int( A) , nada a provar.
Suponha que x Int( A) . Ento, toda bola aberta centrada em
x contm pontos do complementar de A .

81

Como x A , temos
B( x, r ) A e B ( x, r ) C ( A) , r > 0 .
Logo, x Fr( A) .
ii) x A e x A ' .
Como x ponto de acumulao de A , qualquer bola aberta
centrada em x contm pontos de A . Como x A , o mesmo
ocorre com C ( A) .
Logo, x Fr( A) .
Conclumos, ento, que A Int( A) Fr( A) .

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


fechado.
Prova:
Segue diretamente de Fr1, pois a interseco de fechados fechada.

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


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

Figura 2.26

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

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

Exerccios Complementares
1) Verifique quais das seguintes funes so mtricas em :
a) d ( x, y ) =| x + y | ;
b) d ( x, y ) =| x | | y | ;
c) d ( x, y ) = ( x y ) 2 .
2) Verifique quais das seguintes funes so mtricas em 2 :
a) d ( x, y ) = 3 | y1 x1 | +3 | y2 x2 | ;

83

b) d ( x, y ) =| x1 + y1 | + | x2 + y2 | ;
sendo x = ( x1 , x2 ) e y = ( y1 , y2 ) .
3) Seja f : uma funo estritamente crescente. Seja
d : definida por d ( x, y ) =| f ( x) f ( y ) | . Mostre que
d uma mtrica sobre .
4) Seja X um conjunto no vazio e
M = { f : X / f limitada} .
Em M considere a mtrica
d ( f , g ) = sup{| f ( x) g ( x) |} .
xX

Tomando X = [1,3] , f ( x) = x 2 e g ( x) = x + 1 , determine d ( f , g ) .


5) Em , considere a mtrica usual. Verifique que valem as
igualdades:
a) d ( p, ) = 0 , p ;
b) d (, ) = 0 ;
Se a mtrica considerada sobre fosse a zero-um, estas igualdades continuariam vlidas?
6) Seja A um conjunto no vazio de um espao mtrico. Mostre
que diam( A) = 0 A unitrio.
7) Considere com a mtrica usual. Verifique que
0 d ( a, )

1
, a ,
2

onde o conjunto dos inteiros.


8) Sejam p um ponto de um espao mtrico e n . Prove que a
1
interseo das bolas abertas de centro em p e raio
o conn
junto unitrio { p} , isto ,

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

84

9) Seja A = {( x, y ) 2 / y 0} . Tomando 2 com a mtrica usual


e A com a mtrica induzida, desenhe as bolas abertas e fechadas que seguem:
a) B (o,1) ;
b) BA (o,1) ;
c) B[o,1] ;
d) BA[o,1] ;
onde BA denota uma bola em A e o denota a origem.
10) Determine o interior dos seguintes conjuntos em :
a) = {1, 2,3,} ;

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

c) ;
d) Intervalo aberto (1, 2) ;
e) (1, 2) ;
f) Intervalo [1, 2) ;
g) Intervalo fechado [1, 2] ;
h) [1, 2] {3} .
11) Identifique quais dos seguintes subconjuntos de 2 , com a
mtrica usual, so abertos e/ou fechados ou nem abertos nem
fechados:
a) A = {( x, y ) 2 / x 2 4 x + y 2 0} ;
b) B = {( x, y ) 2 / y > 0} ;
c) C = {( x, y ) 2 / x < 2 e y 2} ;
d) D = {( x, y ) 2 / x = 0 e y = 0} ;
e) E = {( x, y ) 2 / x 1} ;
f) F = {( x, y ) 2 / y 2 x 2 > 1} ;
g) G = B (0, 2) B(1, 2) .

85
12) Determine os pontos de acumulao e o fecho de cada um dos
seguintes subconjuntos de :
1
1 1
, , , (0, 2) , [0, 2) , [0, 2] , (0,1) , 1, , , , , .
n
2 3
13) Num espao mtrico qualquer ( M , d ) , mostre que se A M
aberto e a M , ento A \{a} aberto.
14) Seja ( M , d ) um espao mtrico onde M finito. Prove que
todo subconjunto de M aberto.
15) Sejam xn no vazios em . D exemplos mostrando que

F
n =1

pode ser vazio se os Fn forem apenas fechados ou apenas limitados.


16) Seja X ' o conjunto dos pontos de acumulao de X . D exemplos de conjuntos X tais que:
a) X e X ' sejam distintos;
b) X seja subconjunto prprio de X ' ;
c) X ' seja subconjunto prprio de X ;
d) X ' = X .
17) Com suas palavras, d o significado das expresses:
a) a X no ponto interior de X ;
b) X no um conjunto aberto;
c) F no um conjunto fechado;
d) a X no um ponto de fronteira;
e) a X no um ponto de acumulao de X .
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 : A1 = [a1; +) ; A2 = [0,1) {3} ; A3 = ;
b) Em 2 : B1 = {( x, y ) / xy = 1} ; B2 = {( x, y ) / x > 0 e y > 0} .
20) Encontre os pontos de acumulao dos seguintes conjuntos
em 2 :
a) A = {(m, n) / m, n } ;
b) B = {( p, q ) / p, q so racionais} ;
1 1

c) C = , / n ;
n n

1 1

d) D = , / m, n ;
m n

m 1

e) D = , / m, n , n 0 .
n n

21) Prove que, em n , vale:


a) Int( A) = A \ Fr( A) ;
b) A = R n \ Int(R n \ A) .
22) Quais afirmaes so verdadeiras em um espao mtrico M ?
Justifique suas respostas.
a) Int( A) = Int( A) ;
b) A A = A ;
c) Int( A) = A ;
d) Fr( A) = Fr( A) ;
e) Fr( A) M \ A se A aberto.
23) Prove que em um espao mtrico, tem-se:
a) Fr( A) = Fr( M \ A) ;
b) A B A B ;
c) A B A B ;
d) Int( A B) Int( A) Int( B) ;
e) Int( A B) Int( A) Int( B) .

87

Resumo
Neste captulo voc se familiarizou com as noes topolgicas bsicas
em um espao mtrico, tais como: bolas abertas, conjuntos abertos,
conjuntos fechados, pontos de acumulao, etc. Muitos exemplos foram desenvolvidos no espao n , em especial em e 2 , de modo
a desenvolver a sua intuio geomtrica. Foram apresentados exerccios resolvidos e propostos, fundamentais para o seu aprendizado.

88

Captulo 3
Convergncia

91

Convergncia

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

3.1 Sequncias de Nmeros Reais


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

Que distncia podemos atingir com uma pilha de livros (que


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

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

Apesar de este mtodo funcionar, iremos atingir uma distncia de, no mximo, aproximadamente 1. Poderamos, ento,
pensar em usar contrapesos para atingir distncias maiores.

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 M 1 e M 2 , localizados em x1 e x2 , respectivamente (Figura 3.2), dado por
c=

x1M 1 + x2 M 2
.
M1 + M 2

M1

M2

x1

x1

Figura 3.2

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

Figura 3.3

Podemos assumir que nossa pilha de livros no cair desde que o


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

93

Mesa

Figura 3.4

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


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

Mesa

Figura 3.5

e o centro de gravidade desta pilha de dois livros :


c=

x2 M 2 + c1M 1 (1) 1 + 0 1
1
=
= .
M 2 + M1
1+1
2

Agora, deslocamos esta pilha para a direita at que o seu centro de


1
gravidade esteja no 0 , ou seja, podemos deslocar a pilha por e tere2
1
mos alcanado a distncia D2 = 1 + do beirado da mesa (Figura 3.6):
2
2

Mesa

Figura 3.6

Procedendo desta maneira sucessivamente, teremos que uma pilha


1
1
de n livros alcana a distncia de Dn = 1 + + + . Este o termo
2
n
geral da sequncia das somas parciais da srie harmnica divergen
1
te (mas no iremos estudar esta srie neste curso). A divergnn =1 n
cia da mesma significa que, somando termos suficientes da mesma,
podemos ultrapassar qualquer nmero real positivo. Ou seja, podemos atingir qualquer distncia com nossa pilha de livros, desde que

94
tenhamos pacincia para empilhar o nmero suficiente de livros. A
tabela abaixo mostra a quantidade de livros necessria para atingir
determinada distncia:
Distncia Atingida

Livros Necessrios

2
4
10
22
40

N=4
N = 31
N = 12.367
N = 2.012.783.315
N = 132.159.290.357.566.703

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


de madeira. Voc pode tentar o mesmo em casa!

Figura 3.7

Este exemplo ilustrou como o trabalho com sequncias infinitas interessante. Esperamos que voc fique entusiasmado
e estude com afinco os contedos que sero explorados nesta
unidade.

Uma sequncia de nmeros reais nada mais do que uma lista infinita
de nmeros reais, arranjados em uma certa ordem. Mais precisamente,
temos uma sequncia (infinita) se para cada nmero natural n associamos um nmero real xn , conforme definio que segue.
Definio 3.1. Uma sequncia de nmeros reais uma funo
f :
n xn .

95
Denotamos: ( x1 , x2 , , xn ,) ou simplesmente ( xn ) .
Exemplo 3.1. (2, 4,6,8,) = (2n) .
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 , 3 , ... ,
n , ou em um espao mtrico qualquer.
Exemplo 3.4. f : 2
1 1
n , .
n 2n
Os termos desta sequncia so formados por pares ordenados de
nmeros reais, como segue:
1 1 1 1 1
1, , , , , , .
2 2 4 3 6
Exemplo 3.5. f : 3
1 1 1
n , , .
n n n
Neste caso, os termos da sequncia so formados por ternas ordenadas de nmeros reais. Temos

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

3.2 Sequncias em um Espao Mtrico


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

96
Notao. Usamos a mesma notao utilizada para sequncias de
nmeros reais, ou seja: ( x1 , x2 , , xn ,) ou ( xn ) .
O conjunto dos termos da sequncia ser denotado por f () , ou
{x1 , x2 ,} .
Nota: Veja que o conjunto dos termos da sequncia difere da sequncia, como ilustrado no seguinte exemplo:
Sequncia: (1 + (1) n ) = (0, 2,0, 2,) .
Conjunto dos termos: {0, 2}.

3.3 Limite de uma Sequncia


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

Figura 3.8 - O conceito de


convergncia uniforme.

1
( xn ) = ,
n
temos
1
=0.
n n

lim xn = lim
n

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


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

0 1
n

1
4

1
3

1
2
Figura 3.9

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

ento

| xn 0 |< para todo n > n0 .


Esta definio pode ser visualizada na figura 3.10. A partir de n0 ,
todos os termos da sequncia situam-se num intervalo aberto de
centro em 0 e raio .
xn ,n > n0
(

Figura 3.10

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


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

Se ( xn ) no converge, ela dita divergente.


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

n > n0 .
A visualizao geomtrica ilustrada na figura 3.11.

98
x1
x2

xn ,n > n0
a

Figura 3.11

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


( x1 , x2 , , xk , p, p, p,) dita sequncia estacionria.
Temos que xn p .
De fato, dado qualquer > 0 , basta tomar n0 = k . Para todo
n > n0 , temos d ( xn , p ) = d ( p, p ) = 0 < .
3n
Exemplo 3.7. Seja M = , com a mtrica usual. A sequncia

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

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

11
n > 1 .
3

99
Assim, se tomarmos n0 como o primeiro natural maior que
11
3n
1 < , como desejado.
1 , temos que n > n0
3
3n + 1
Exemplo 3.8. Seja M = 2 , com a mtrica usual (isto , a mtrica Euclidiana). A sequncia cujo termo geral o par ordenado
1 (1) n
( xn , yn ) = 1 + ,
converge para o par ordenado (1,0) .
n n
Para simplificar a notao, denotamos: zn = ( xn , yn ) ; a = (1,0) .
Temos:

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

1 1
= 1 + 1 +
n n
2

1
1 1
= + = 2
n
n n
Nota: Observe que (d ( zn , a )) uma sequncia de nmeros reais que
1
0 converge
converge para zero, pois o produto da sequncia
(que
n
para zero) pela constante 2 (ver teorema 7, da seo 1.3.4 do livrotexto de Clculo I).
1 (1) n
Logo, 1 + ,
(1,0) .
n n
Exemplo 3.9. Seja ( M , d ) um espao mtrico. A sequncia
( xn ) = (a, b, a, b, a, b,) , onde a b divergente.
1 1
Exemplo 3.10. Em 2 , a sequncia ( zn ) = , (0,0) .
n n

Exerccio Proposto
1) Usando a definio, comprove o resultado do exemplo 3.10.
Nota: Segue da definio de limite de sequncia que, em um espao
mtrico qualquer, uma sequncia xn a se, e somente se, a sequncia de nmeros reais d ( xn , a ) 0 .

100

Nos exemplos 3.8 e 3.10, temos sequncias convergentes em 2 . Observe os resultados e se questione:
Em 2 , uma sequncia ( xn , yn ) (a, b) se, e somente se, xn a e
yn b ?
A resposta positiva. Temos a seguinte proposio:
Proposio 3.1. A sequncia (( x1 , y1 ),( x2 , y2 ), ,( xn , yn ),) converge
para (a, b) em 2 se, e somente se, a sequncia ( xn ) converge para
a e a sequncia ( yn ) converge para b em .
Prova:
) Hiptese: ( xn , yn ) (a, b) .
Tese: xn a e yn b .
Seja > 0 . Como ( xn , yn ) (a, b) , existe n0 tal que
d (( xn , yn ),(a, b)) < para todo n > n0 .
Ento, para todo n > n0 , temos:
| xn a |= ( xn a ) 2 ( xn a) 2 + ( yn b) 2 = d (( xn , yn ),(a, b)) <
e
| yn b |= ( yn b) 2 ( xn a ) 2 + ( yn b) 2 = d (( xn , yn ),(a, b)) <
Logo, xn a e yn b .
) Hiptese: xn a e yn b .
Tese: ( xn , yn ) (a, b) .
Seja > 0 .

, n > n1 .
2

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


2
Seja n0 = max{n1 , n2 } .
Como xn a , n1 tal que | xn a |<

Para todo n > n0 , temos

101

Observe que se a e b so
nmeros positivos, ento

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

Nota: A proposio 3.1 pode ser generalizada para n .


1 n 1 (1) n 1
,
, conExemplo 3.11. Em 4 , a sequncia ( zn ) = ,
n n
n 2n

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


Observao Importante. A convergncia depende da mtrica.
1
Exemplo 3.12. De fato, em , com a mtrica usual, 0 .
n
1
Se tomarmos a mtrica 0 1 , a sequncia no converge para
n
1
zero, pois d ,0 = 1 , para todo n .
n
1
1
Com esta mtrica, a sequncia diverge, pois, a , d , a = 1,
n
n
exceto, possivelmente, para um determinado valor de n .
Um Exemplo de Sequncia de Funes. Seja C[0,1] o espao das funes contnuas, f :[0,1] com a mtrica
d ( f , g ) = max{| f (t ) g (t ) |} .
0t 1

nt
Neste espao, considere a sequncia ( f n ) , onde f n (t ) =
para
n+t
todo t [0,1] .
Cada termo da sequncia uma funo de t . Assim, o limite, se
existir, ser uma funo de t .
O que ocorre se considerarmos t fixo e n ?

102
Podemos verificar facilmente que
nt
=t.
n n + t

lim
Denote f (t ) = t .

Afirmao: lim f n (t ) = f (t ) em C[0,1] .


n

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

De fato,

0t 1

nt

= max
t
0t 1
n+t

t 2
= max

0t 1
n + t
t2
= max

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

Nota: Observe que na seo 2.4 definimos uma mtrica num espao
de funes usando o supremo. Neste exemplo usamos o mximo
porque estamos trabalhando num espao de funes contnuas definidas num intervalo fechado e limitado. Em um intervalo desse tipo
toda funo contnua assume valor mximo.

Exerccio Proposto
2) Use um software grfico e construa o grfico das funes: f (t ) ,
f n (t ) , n = 1, 2,,5 .
Proposio 3.2. Seja ( xn ) uma sequncia num espao mtrico ( M , d ) .
Se existir lim xn ele nico.
n

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

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


2

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


2

103
Seja n0 = max{n1 , n2 } .
Tome um n > n0 . Ento, d ( xn , a ) <
d (a, b) < d (a, xn ) + d ( xn , b) <

e d ( xn , b) < e, dessa forma,


2
2


+ = .
2 2

Assim, 0 d (a, b) < , > 0 .


Logo, d (a, b) = 0 e, portanto, a = b .

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

3.4 Subsequncias
Introduziremos agora a noo de subsequncias. Se voc ach-la
difcil, no desanime! Veja o que escreveu Mittag-Leffler, ainda em
1875:
Eu acho realmente surpreendente que Mr. Weierstrass e Mr.
Kronecker consigam atrair tantos estudantes entre 15 e 20
para aulas que so to difceis e em um nvel to avanado.
(Carta de Mittag-Leffler, 1875, veja Dugac 1978, p. 69, apud [6,
Hairer-Wanner])

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

104
1 1

1, , , e
3 5

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

1, , , uma subsequncia?
4 7

obtidas?

Por

exemplo,

A resposta positiva. Vejamos:


Definio 3.4. Seja ( xn ) uma sequncia em um espao mtrico
(M , d ) .
Uma subsequncia de ( xn ) uma restrio da aplicao
f : M
f (n) = xn
a um subconjunto infinito k = {n1 , n2 , , nk , / n1 < n2 < < nk < }
de .
Denotamos: ( xn1 , xn2 , , xnk ,) ou ( xnk ) .
Observao. Uma subsequncia pode ser vista como uma sequncia,
atravs da aplicao
1 xn1
2 xn2

k xnk

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


( xn ) de pontos de M converge para a, ento toda subsequncia de
( xn ) tambm converge para a .

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

Nota: Esta proposio muito til para mostrar que determinadas


sequncias divergem. De fato, basta exibir duas subsequncias convergindo para valores distintos.
Exemplo 3.13. Em , a sequncia ((1) n+1 ) = (1, 1,1, 1,) diverge.
De fato, basta destacar as subsequncias:
(1,1,1,) 1
(1, 1, 1,) 1 .
As bolas abertas, estudadas detalhadamente no primeiro captulo,
constituem uma ferramenta muito importante quando estudamos
convergncia em espaos mtricos. A proposio que segue ilustra
bem isso.
Proposio 3.4. Sejam ( xn ) uma sequncia num espao mtrico
( M , d ) e a M . O ponto a o limite de uma subsequncia de
( xn ) se, e somente se, para todo r > 0 , a bola aberta B (a, r ) contiver
uma infinidade de termos de ( xn ) .
Prova:
) Vamos supor que existe ( xnk ) subsequncia de ( xn ) tal que
xnk a .
Ento para todo r > 0 , k0 tal que d ( xnk , a ) < r para todo
k > k0 . Logo, para k > k0 , xnk B(a, r ) , ou seja, B (a, r ) contm
uma infinidade de termos de ( xn ) .
) Suponha que r , B (a, r ) contm uma infinidade de termos de ( xn ) . Vamos construir uma subsequncia ( xnk ) de ( xn ) ,
convergindo para a , como segue:

106
Escolhemos xn1 entre a infinidade de termos de ( xn ) pertencentes a B (a,1) .
1
Como B a, tambm contm uma infinidade de termos ( xn ),
2
1
escolhemos n2 > n1 tal que xn2 B a, .
2
Suponhamos ter escolhido, desta forma, xn1 , xn2 , , xnk 1 .
1
Como B a, contm uma infinidade de termos de ( xn ) , po k
1
demos escolher nk > nk 1 tal que xnk B a, .
k
A subsequncia ( xnk ) de ( xn ) , assim construda, satisfaz
1
d ( xnk , a ) < .
k
1
Como 0 quando k , segue que xnk a .
k

3.5 Sequncias Limitadas


Voc estudou sequncias limitadas em na disciplina de Clculo
I. Tenha sempre este contedo disponvel e caso necessrio revise.
As ideias intuitivas e geomtricas l apreendidas so generalizadas
aqui para espaos mtricos.
1 1 1
Observe as sequncias de nmeros reais = 1, , , e
n 2 3
(2n) = (2, 4,6,8,) .
A 1 sequncia limitada e a 2 no limitada. Como formalizar
estes conceitos? Vejamos:
Definio 3.5. Seja ( M , d ) um espao mtrico. Dizemos que uma
sequncia ( xn ) de pontos de M limitada quando o conjunto dos
seus termos {x1 , x2 , x3 ,} limitado, ou seja, est contido em uma
bola, o que em termos formais significa que existem L > 0 e x0 M
tal que xn B( x0 , L), n .
Exemplo 3.14. A sequncia (1 + (1) n ) limitada em , pois o conjunto de seus termos {0, 2} limitado.
Exemplo 3.15. As sequncias estacionrias so limitadas em qualquer espao mtrico.

107

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


funo dada por f n (t ) = t n , limitada, pois d ( f n ,0) = 1, n . (Note
que 0 denota a funo nula.)
Exemplo 3.17. (n + (1) n n) = (0, 4,0,8,0,12,) no limitada, pois o
conjunto de seus termos {0, 4,8,12,} no limitado.

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

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


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

Exerccio Proposto
5) D um exemplo para mostrar que no vale a recproca da proposio 3.5.

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

]
b

tA
Figura 3.12

Temos:
i) a A , pois a xn , n ;
ii) t A , t b .
Logo, A e limitado superiormente.
Seja C = sup A .
Vamos mostrar, agora, que existe uma subsequncia de xn que
converge para C . Pela proposio 3.4 isso equivalente a mostrar que: > 0 , B (C , ) contm uma infinidade de termos de
( xn ) .
Seja > 0 . Como C = sup A , t A tal que C < t (ver figura
3.13)

109
tA
C

C
Figura 3.13

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

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


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

Nota: Repare que a demonstrao acima pode ser facilmente adaptada para R n e, portanto, o Teorema 3.1 tambm vale para R n .

3.6 Caracterizao dos Conceitos do Captulo 2,


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

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

1
.
n

1
0 segue que xn a .
n

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

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

1 1 1 2 1 3 1 4
X = (0,1), (1, 0), , , , , , , , , em 2 .
2 2 3 3 4 4 5 5

c) a = 2 , X = em .
7
56
d) a = e a =
, X = {0, a1a2 a2 / ai = 5, 6 ou 7} em .
99
9

111

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


e X M . Um ponto a M pertence ao fecho de X , a X , se, e
somente se, a limite de uma sequncia de pontos de X .
Prova:
) Supor a X . Ento a X ou a X ' .
Se a X , podemos formar a sequncia ( xn ) = (a, a, a,) . Temos que ( xn ) est em X e xn a .
Se a X ' , pela proposio 3.6, existe uma sequncia ( xn ) em
X {a} tal que xn a .
) Supor que existe uma sequncia ( xn ) em X tal que xn a.
Se xn a para todo n , ento ( xn ) uma sequncia de pontos
em X {a} com xn a . Logo, a ponto de acumulao de X
e, assim, a X , pois X ' X .
Se existir algum m tal que xm = a , ento a X X .
Logo, em qualquer caso, a X .

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


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

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

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

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

1
0
10n1

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

Nota: A proposio 3.8 muito til para verificar que alguns conjuntos no so fechados.
Exemplo 3.18. O conjunto X = [0,1] ( ) no fechado em .

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


n

pertence a X .

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

113

1 1 1 1 1
b) X = 1, , , , , , em ;
2 3 4 5 5
c) X = em ;
d) X = {( x, y ) / x 2 y 2 < 1} em 2 .
Proposio 3.9 (Ponto de Fronteira). Sejam ( M , d ) um espao mtrico e X M . Um ponto a M um ponto de fronteira de X se, e
somente se, existem sequncias ( xn ) em X e ( yn ) em C ( X ) tais que
lim xn = lim yn = a
n
n.
Prova:
) Seja a Fr( xn ). Ento a X e a C ( X ), pois
Fr( X ) = X C ( X ).
Pela proposio 3.7, a o limite de uma sequncia de pontos
de X e, tambm, o limite de uma sequncia de pontos de
C ( X ).
) Vamos supor que a = lim xn = lim yn , com ( xn ) em X e ( yn )
em C ( X ) . Seja = 1 . Como a = lim xn , existe n0 tal que
B(a, 1 ) A , n > n0 .

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


B (a, ) X .

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


B(a, 1 ) A , n > n1 .

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


B (a, ) C ( X ) .

Logo, a Fr( x) .

Vamos ilustrar o uso desta proposio no exerccio que segue.

114

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

Figura 3.14

1
1 1
A sequncia , 0 = (1, 0), , 0 , , 0 , est em X
n
2 3
e converge para (0, 0) .
1
1 1
A sequncia , 0 = (1, 0), , 0 , , 0 , est em C ( X ) e
n
2 3
tambm converge para (0, 0) .
Logo, (0, 0) Fr( X ) .

Exerccio Proposto
8) Determine a fronteira do conjunto X do exerccio resolvido
anterior. Escolha dois pontos distintos de (0, 0) e mostre que
eles pertencem a fronteira de X usando a proposio 3.9.
Proposio 3.10 (Conjunto Aberto). Sejam ( M , d ) um espao mtrico e A M . A aberto se, e somente se, cumpre a seguinte condio:
( xn a A) xn A para todo n suficientemente grande.

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

3.7 Alguns Resultados Interessantes em


Vejamos agora alguns resultados interessantes no conjunto de nmeros 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 introduzido pelo matemtico alemo Georg Cantor em 1883. Alm de ter propriedades muito interessantes, e que de certa forma desafiam a nossa
intuio, o conjunto de Cantor um dos conjuntos mais importantes
da matemtica moderna, aparecendo em diversas reas da matemtica, como sistemas dinmicos, anlise e topologia.
O conjunto de Cantor K um subconjunto fechado do intervalo
[0,1] , construdo da seguinte forma:

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
1 2
restantes 0, e ,1 .
3 3
1 2 1 2 7 8
Sobra, nesta etapa: 0, , , ,1 .
9 9 3 3 9 9
k-sima etapa: Retira-se o tero mdio aberto de cada um dos intervalos restantes na etapa anterior.
Repete-se o processo indefinidamente. O conjunto K dos pontos
no retirados o conjunto de Cantor.
A figura 3.15 ilustra o processo de construo do conjunto de Cantor.
[
0

[
0

]
1
9

[] []

[
2
9

]
1
3

[
2
3

]
1
3

[
2
3

[] []

]
1

[
8
9

]
7
9

[] []

]
1

[] []

Figura 3.15

Observao. Note que todo x [0,1]


a1 a2 a3 a4
+ + + + ... , onde ai {0,1, 2} .
3 32 33 34

se

escreve

como

Logo, o conjunto de Cantor consiste de todos os pontos onde


ai {0, 2} .
3.7.1.1 Propriedades do Conjunto de Cantor (K)
1) K fechado
Se indicarmos por I1 , I 2 , I 3 , , I n , os intervalos abertos omitidos, temos que

117

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


n =1

n =1
n =1

Como I n aberto, ( I n )C fechado para todo n . Pelas propriedades de conjuntos fechados segue que K fechado.
2) Int( K ) =
Seja x K . Ento x Int( K ) se existir um > 0 , tal que
( x , x + ) K .
Para ver que x no ponto interior, devemos observar que depois da n -sima etapa de construo de K restam apenas in1
1
tervalos de comprimento n . Como n 0, vemos que > 0 ,
3
3
( x , x + ) K .
3) K no enumervel.
A prova pode ser encontrada em [12, Lima].
4) K no contm pontos isolados (todos os pontos de K so pontos de acumulao).
Vamos mostrar isso em duas etapas.
Etapa 1: Vamos observar primeiro os pontos extremos dos intervalos 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 esquerda do intervalo (c, b) retirado para formar K (Figura 3.16). Quando
(c, b) foi retirado, restou um certo intervalo [a, c] .

[ ](
an c

(
b
Figura 3.16

118
Nas etapas seguintes, restaro sempre teros finais de intervalos do
tipo [an , c] , an K .
O comprimento c an 0 e, assim, > 0 , an (c , c + ) .
Logo, c no ponto isolado ( ponto de acumulao).
Etapa 2: Seja c K , agora, que no seja extremo de intervalo retirado.
Existem tais pontos? A resposta positiva, pois K no enumervel.
Vamos provar que c no ponto isolado de K .
Dado qualquer > 0 , mostraremos que (c, c + ) K .
De fato, dado qualquer > 0 , existe algum ponto de K no intervalo
(c, c + ) , caso contrrio, este intervalo estaria todo contido num dos
intervalos removidos e (como c K ) c s poderia ser extremo de
um dos intervalos retirados.

5) A soma dos comprimentos dos intervalos removidos 1.


De fato, a soma dos comprimentos dos intervalos removidos
n 1

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

3.7.2 Outra Verso do Teorema de Bolzano-Weierstrass


Todo subconjunto infinito e limitado de possui um ponto de
acumulao.
Prova:
Seja A um subconjunto infinito e limitado de . Como A limitado, existe um intervalo [a, b] tal que A [a, b] .
Consideremos, agora, os intervalos
a +b a +b
a, 2 e 2 , b .

119
Pelo menos um desses dois intervalos contm uma infinidade de
ponto de A, pois A infinito.
Denotamos este intervalo por I1 = [a1 , b1 ] . Dividimos, agora, o intervalo [a1 , b1 ] em dois
a1 + b1 a1 + b1
a1 , 2 e 2 , b1 .
Novamente, um desses intervalos contm uma infinidade de pontos de A. Denotamos este intervalo por I 2 = [a2 , b2 ] .
Continuando esta construo, obtemos uma sequncia de intervalos encaixados e fechados
I1 I 2 I 3 ,
onde I n = [an , bn ] , cujos comprimentos so:
ba
2
ba
I2 :
4
ba
I3 :
8

ba
In : n .
2
I1 :

Pelo princpio dos intervalos encaixados, existe pelo menos um


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

120

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


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

Observao. Uma outra maneira de provar esta verso do teorema de Bolzano-Weierstrass considerar uma sequncia ( xi ) , tal que
xi x j , i, j , de elementos de A (pode ser feito, pois A ilimitado). Ento, pela primeira verso do teorema de Bolzano-Weierstrass,
( xi ) possui subsequncia convergente, digamos xik a . Mas ento
a ponto de acumulao de A .

3.8 Sequncias de Cauchy


Definio 3.7. Seja ( M , d ) um espao mtrico. Uma sequncia ( xn )
de pontos de M dita uma sequncia de Cauchy se, e somente se,

> 0 , n0 tal que d ( xm , xn ) < , m, n > n0 .


1
Exemplo 3.19. A sequncia de Cauchy em .
n
De fato, como

1
0 , > 0 , n0 tal que
n

0 < , n > n0 .
n
2

Assim, n, m > 0
1 1
1
1

+ < + = .
m n m n 2 2

Exerccio Proposto
9) Considere um espao mtrico ( M , d ) com a mtrica 0 1 . Caracterize as sequncias de Cauchy em M .
1
No exemplo anterior vimos que a sequncia de Cauchy em .
n
Esta sequncia convergente. Voc pode se perguntar: toda sequncia convergente de Cauchy?
A resposta positiva, conforme proposio que segue.

121
Proposio 3.11. Toda sequncia convergente num espao mtrico
( M , d ) uma sequncia de Cauchy.
Prova:
Seja ( xn ) a . D = 1 . Ento existe n0 tal que

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

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

Nota: No vlida a recproca, isto , nem toda sequncia de Cauchy em um espao mtrico convergente.
Exemplo 3.20. Seja M o intervalo aberto (0, 2) em , com a mtrica
usual de induzida em M .
1
Neste espao a sequncia de Cauchy, mas no converge.
n
Exemplo 3.21. Seja M = com a mtrica usual.
A sequncia (1,1.4,1.41,1.414,) de Cauchy em , mas no converge em . Observe que a sequncia converge para 2 em e
2 .
Embora existam sequncias de Cauchy que no convergem, a propriedade de Cauchy est intimamente ligada convergncia. A proposio que segue mostra uma dessas relaes.
Proposio 3.12. Seja ( M , d ) um espao mtrico e ( xn ) um sequncia de Cauchy em M . Se ( xn ) possui uma subsequncia ( xnk ) que
converge para a M , ento xn a .
Prova:

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


2
Como ( xn ) de Cauchy, n0 tal que

d ( xn , xm ) < , m, n > n0 .
2

122

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


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

Logo, ( xn ) a .


+ = , n > n1 .
2 2

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


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

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

3.9 Espaos Mtricos Completos


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

J comentamos que a propriedade de Cauchy est intimamente


ligada convergncia. Mas vimos exemplos de sequncias de Cauchy que no convergem em determinados espaos. Podemos dizer
que, num espao ( M , d ) , se ( xn ) de Cauchy e no convergir, isto
se deve ao espao M e no sequncia ( xn ) .
Vejamos a seguinte definio.

123

Definio 3.8. Seja ( M , d ) um espao mtrico. Dizemos que M


completo se toda sequncia de Cauchy em M for convergente em M .
Nota: Observe que no completo.
Teorema 3.2. O conjunto dos nmeros reais , com a mtrica usual,
um espao mtrico completo.
Prova:
Seja ( xn ) uma sequncia de Cauchy em . Pela proposio
3.13, ( xn ) limitada. Usando o Teorema de Bolzano-Weierstrass, podemos concluir que ( xn ) possui uma subsequncia
convergente. Pela proposio 3.12, temos que ( xn ) converge.

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

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

n
mas no converge em M .
Observao. interessante voc dar exemplos de outras sequncias
de Cauchy em M que no convergem em M .
5) Seja ( M , d ) um espao mtrico, em que d a mtrica 0 1 .
Verifique que ( M , d ) completo.

124
Resoluo:
No exerccio proposto 9), voc caracterizou as sequncias de Cauchy em M . As sequncias de Cauchy em M so as
sequncias estacionrias, isto ,
( xn ) = ( x1 , x2 , , xk , p, p, p,)
que convergem para p M .
Logo, M completo.
6) Seja M o intervalo fechado [0, 2] com a mtrica usual induzida de . Verifique que M completo.
Resoluo:
Seja ( xn ) uma sequncia de Cauchy em M . Ento ( xn ) de Cauchy em .
Como completo, a tal que xn a . Mas [0, 2] fechado. Pela caracterizao de conjunto fechado via sequncias (proposio 3.8), a M .
Logo, ( xn ) converge em M e, consequentemente, M completo.

Exerccio Proposto
11) D outros exemplos de subespaos de que sejam:
i) completos;
ii) no completos.
Nota: Os exerccios anteriores devem ter levado voc a cogitar se os
resultados obtidos podem ser generalizados.
Temos a seguinte proposio.
Proposio 3.14 Todo subespao fechado de um espao mtrico
completo completo. Reciprocamente, todo subespao completo de
qualquer espao mtrico fechado.
Prova:
) Hiptese: ( M , d ) completo, F M , F fechado.

125
Tese: F completo.
Seja ( xn ) uma sequncia de Cauchy em F . Ento ( xn ) de
Cauchy em M . Como M completo, ( xn ) a M . Como F
fechado, pela proposio 3.8, a F .
Logo, ( xn ) converge em F e, dessa forma, F completo.
) Hiptese: ( M , d ) um espao mtrico, F M , F completo;
Tese: F fechado.
Seja ( xn ) uma sequncia de pontos de F, com lim xn = a M . Pela
proposio 3.11, ( xn ) de Cauchy. Como F completo, ( xn )
converge em F , isto , a ' F tal que lim xn = a ' .
Pela unicidade do limite (proposio 3.2), temos a = a ' . Pela
caracterizao de conjunto fechado via sequncia (proposio
3.8), conclumos que F fechado.

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


ou completado, ou seja, existe um espao mtrico ( M , d ) tal que
M M densamente e d = d sobre M . Basta adicionar a M os limites das sequncias de Cauchy em M .
Por exemplo, [0, 2] o completado de (0, 2) como subespao mtrico de .
1 1
1
1

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

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

126

Exerccio Resolvido
7) Verifique que 2 com a mtrica usual um espao mtrico
completo.
Resoluo:
Seja ( zn ) = (( xn , yn )) uma sequncia de Cauchy em 2 .
Ento ( xn ) e ( yn ) so sequncias de Cauchy em (verifique esse
resultado de forma anloga prova da proposio 3.1).
Como completo, xn a e yn b . Usando a proposio 3.1, voc conclui que zn (a, b) .
Outra maneira de verificar que R 2 completo, notar que se
( xn , yn ) sequncia de Cauchy em R 2 ento ela limitada e ento, pelo teorema de Bolzano-Weierstrass para R 2 , existe subsequncia convergente e portanto, pela Proposio 3.12, ( xn , yn )
convergente.
Para concluir este captulo, observamos que em muitos momentos
um matemtico ouve falar em espaos de Banach e em espaos de
Hilbert.
O que so estes espaos afinal?
Espaos de Banach: um espao vetorial normado que completo
com a mtrica induzida pela norma, isto ,
d ( x, y ) =|| x y || .
Espaos de Hilbert: um espao vetorial com produto interno, que completo em relao mtrica oriunda deste produto
n

interno. Por exemplo, em n com o produto interno x, y = xi yi ,


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

x, x

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

i =1

127
Se voc tiver interesse pode aprofundar-se estudando em livros
mais avanados de Anlise Matemtica, tais como: [14, Marsden &
Hoffman] ou [16, Rudin].

Exerccios Complementares
Nos exerccios de 1 a 10, considere com a mtrica usual. Se a afirmao dada verdadeira, prove-a; se for falsa, d um contraexemplo:
1) Toda sequncia limitada convergente;
2) Toda sequncia convergente limitada.
3) Se xn 0 e ( yn ) limitada, ento zn = xn yn 0 .
4) Se ( xn ) converge e ( yn ) diverge, ento ( zn = xn + yn ) diverge.
5) Se ( xn ) e ( yn ) divergem, ento ( zn = xn + yn ) diverge.
6) Se ( xn ) a e a > 0 , ento xn > 0 para uma infinidade de ndices.
7) Se xn < yn , n ento lim xn < lim yn . Supor as duas sequncias
convergentes.
8) Se ( xn ) uma sequncia tal que o conjunto de seus termos est
contido no conjunto de Cantor, ento ( xn ) possui uma subsequncia de Cauchy.
9) Toda sequncia de Cauchy em converge para um elemento
de .
10) Se uma sequncia montona possui uma subsequncia convergente, ento ela convergente (se necessrio revise a noo
de sequncia montona na seo 1.3 do texto de Clculo I).
11) Estude a convergncia das seguintes sequncias em 2 :

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

128

n 1
(n 1) 2
, 2
b) ( zn ) tal que zn =
n
n2

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


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

b) , n ;
n

c) [0,1] .
15) Verifique que no so completos os seguintes subespaos mtricos de 2 :
a) X = [0,1] [0,1) ;
b) Y = {( x, y ) 2 / x > 0 e y > 0} ;
c) Z = {( x, y ) 2 / 0 < x 2 + y 2 < 1} ;
d) W = {( x, y ) 2 /1 < ( x 1) 2 + ( y 2) 2 < 2} .
16) O conjunto dos nmeros inteiros , como subespao de
completo? Justifique.
17) Se ( M , d ) um espao mtrico tal que M finito, mostre que
M completo.
18) Se ( xn ) e ( yn ) so sequncias de Cauchy em 2 , o que se pode
afirmar a respeito da sequncia d ( xn , yn ) ?

129

Resumo
Neste captulo voc estudou a noo de convergncia. Para facilitar
seu aprendizado foi revista a definio de convergncia para sequncias de nmeros reais. A seguir, a noo de convergncia foi estendida para sequncias em um espao mtrico qualquer.
Os principais conceitos do captulo 2 foram retomados e caracterizados atravs de sequncias. Tambm foram abordados alguns resultados interessantes de , como o princpio dos intervalos encaixados e o teorema de Bolzano-Weierstrass.
Voc se familiarizou com o conjunto de Cantor, que um dos conjuntos mais interessantes da anlise matemtica.
Finalmente, voc concluiu o estudo deste captulo vendo a noo de
espao mtrico completo, que caracterizado por meio das sequncias de Cauchy. O resultado mais importante : os espaos Euclidianos n , n = 1, 2,3,... so espaos mtricos completos.

130

Captulo 4
Continuidade

133

Continuidade

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

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 depende continuamente do peso dos alimentos escolhidos. Se, por um
acaso, o restaurante estiver com uma promoo onde os clientes que
pesam exatamente 473g de comida ganham sua refeio de graa,
temos que nossa funo preo tem uma descontinuidade no 473g.
A figura abaixo ilustra estes dois casos quando o preo da comida
R$10,00 o quilo.
R$

R$

10

10

1
100 473

1000

100 473

1000

Figura 4.1

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

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

4.2 Funes Contnuas


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

diminuem indefinidamente junto com os valores de

(...).

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

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


seja arbitrariamente pequena, se a diferena x x0 for suficientemente pequena.
Podemos agora recapitular a definio de continuidade, via e s e
s, de uma funo real f .
Definio 4.1. Seja X um subconjunto de e a X . A funo f : X dita contnua em a se para todo e > 0 , existe um
> 0 , tal que, para todo x A satisfazendo | x a |< temos que
| f ( x) f (a ) |< e .
Se f contnua em todos os pontos do seu domnio, ento f dita
contnua.

135
A definio de continuidade para espaos mtricos anloga definio acima. Apenas trocamos a noo de distncia em , ou seja,
o mdulo, pelas mtricas apropriadas. Vejamos:
Definio 4.2. Sejam M e N espaos mtricos. A funo f : M N
dita contnua em a M se para todo e > 0 , existe um > 0 , tal que
se d ( x, a ) < ento d ( f ( x), f (a)) < e .
Se f contnua em todos os pontos a M , ento f dita contnua.
Observao. Note que M e N podem ter mtricas diferentes, porm decidimos denotar ambas por d na definio acima, ficando
claro pelo contexto quando d se refere mtrica em M e quando
d se refere mtrica em N .
Observao. Em termos de bolas abertas temos que f : M N
contnua em a e > 0 , > 0 tal que f ( B(a, )) B( f (a ), e) .
Vejamos alguns exemplos:
Exemplo 4.1. f : dada por f ( x) = 2 x , onde tem a mtrica
usual, contnua. Veja o grfico na figura 4.2.
y

f (x)=2x

Figura 4.2

e
Note que dado e > 0 , podemos tomar = para satisfazer a de2
finio de continuidade.
1 se x > 0
Exemplo 4.2. Seja f : , f ( x) =
.
1 se x 0

136
Ento f contnua em todo ponto de {0} e f descontnua
no 0. Veja o grfico na figura 4.3.

Figura 4.3

Exemplo 4.3. Seja f : 2 .


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

(x,x)

0 x

Figura 4.4

Vamos mostrar que f contnua em a usando a definio:


Dado e > 0 , observe que
d ( f ( x), f (a )) = d (( x, x),(a, a )) = ( x a) 2 + ( x a) 2 = 2 | x a | .
e
temos que se | x a |= d ( x, a ) < ento
2
e
d ( f ( x), f (a)) = 2 | x a |< 2 = 2
= e.
2

Logo, tomando =

Logo, f contnua em a . Como a era qualquer, temos que f


contnua.

137

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


de funes. Veremos agora um exemplo de funo contnua envolvendo um espao de funes.
Seja l () = {a : : sup{| a (n) | < }} , ou seja, l () o conjunto
n

de todas as funes limitadas de em , ou equivalentemente, o


conjunto de todas as sequncias limitadas.
Muniremos l com a mtrica do sup, ou seja,
d (a, b) = sup{| a (n) b(n) |} .
n

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

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


n

Logo, f contnua.
Vejamos agora as funes de Lipschitz:
Definio 4.3. Uma funo f : M N uma funo de Lipschitz
(ou lipschitziana) se existe k > 0 tal que
d ( f ( x), f ( y )) kd ( x, y ), x, y M .
Tente mostrar, sem ler a resoluo abaixo antes, que toda funo de
Lipschitz contnua.

138

Exerccio Resolvido
1) Toda funo de Lipschitz contnua.
Resoluo:
e
.
k
Logo, se d ( x, y ) < ento
Dado e > 0 , seja =

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

Exerccios Propostos
1
1) Mostre que f :[2, 4] , dada por f ( x) = , de Lipschitz e,
x
portanto, contnua.
2) Mostre que f : , dada por f ( x) =| x | , Lipschitz com
constante k = 1 e, portanto, contnua.
Nosso prximo exemplo nos diz que a funo distncia em um
espao mtrico contnua. Vejamos:
Exemplo 4.5. Seja ( M , d ) um espao mtrico e p M .
Defina f : M por f (x) = d (x,p).
x d ( x, p )
Ento f contnua e f ( x) = 0 x = p .
Inicialmente, observe que
d ( x, p ) d ( x, y ) + d ( y , p )
e
d ( y , p ) d ( y , x ) + d ( x, p ) .
Dessas desigualdades, segue que
d ( y , x ) d ( y , p ) d ( x, p ) d ( y , x )
ou, de forma equivalente,
| d ( y, p ) d ( x, p ) | d ( y, x) .
Agora, d e > 0 . Tome = e .

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 contnuas no constantes.
Voc deve estar achando que nem sempre fcil mostrar que uma
funo contnua. Realmente, usando apenas a definio, em muitos casos, difcil, seno impossvel, decidir pela continuidade ou
no de uma funo. Portanto, precisamos de outras caracterizaes
de continuidade de uma funo, e este ser o foco dos teoremas que
seguem.
Teorema 4.1. Seja f : M N e a M . Ento f contnua em a, se,
e somente se, para toda sequncia ( xn ) em M que converge para a ,
a sequncia ( f ( xn )) converge para f (a ) (em smbolos, f contnua
em a ( xn ) : xn a , temos f ( xn ) f (a ) ).
Prova:
) Primeiro, vamos supor que f contnua em a .
Seja ( xn ) uma sequncia em M tal que xn a . Vamos mostrar
que f ( xn ) f (a ) .
D e > 0 . Como f contnua em a , existe > 0 tal que se
d ( x, a ) < ento d ( f ( x), f (a)) < e .
Uma vez que xn a , temos que existe n0 tal que se
n n0 ento d ( xn , a ) < . Logo, se n n0 ento d ( xn , a ) < e
d ( f ( x), f (a )) < e e, portanto, f ( xn ) f (a ) .
) Agora, vamos assumir a recproca, isto , vamos assumir que
( xn ) tal que xn a , temos f ( xn ) f (a ) .
Para provar que f contnua em a , vamos supor que ela no
contnua em a e chegar a uma contradio.
Supor que f no contnua em a, ou seja, e > 0 tal que > 0,
xi M tal que d ( xi , a ) < e d ( f ( xi ), f (a)) e .

140
1 1 1
Tomando = 1, , , , e assim sucessivamente, temos que
2 3 4
1
n , xn M tal que d ( xn , a ) < e d ( f ( xn ), f (a )) e .
n
Mas ento xn a e lim f ( xn ) f (a ) o que contradiz nossa hin
ptese.
Logo, f contnua em a .

Como uma consequncia direta do teorema 4.1 acima, podemos


agora mostrar facilmente que funes reais contnuas so bem
comportadas com respeito s operaes de soma, multiplicao e
multiplicao por escalar.
Proposio 4.1. Sejam f e g funes reais contnuas em um espao
mtrico M . Ento:
i) | f | contnua em M .
ii) f g contnua em M .
iii) cf contnua em M , c .
iv) f g contnua em M .
v)

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

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


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

141
Nota: A proposio 4.1 tambm pode ser provada pela definio de
continuidade via e e .

Exerccio Proposto
3) Mostre os itens (i) e (ii) da proposio anterior usando a definio.
Observao. O teorema 4.1 tambm pode ser muito til quando
queremos mostrar que uma funo no contnua. Vejamos:
1 se x
Exemplo 4.6. Seja f : dada por f ( x) =
.
1 se x
Temos que f no contnua em nenhum ponto.

2
De fato, se a ento podemos tomar a sequncia ( xn ) = a +

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


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

Exerccio Resolvido
2) Verifique se a seguinte funo contnua ou no:
x + 1, para x > 0
g : {0} dada por g( x) =
.
x, para x < 0
Resoluo:
Mostraremos que g contnua em todo a {0} usando o teorema 4.1. Supor a > 0 . Seja ( xn ) uma sequncia que converge para
a . Ento existe N > 0 tal que para todo n > N , xn > 0 e, portanto,
g ( xn ) = xn + 1
para todo n > N e isto implica que ( g ( xn )) converge para
a + 1 = g (a) + 1 .

142
Segue do teorema 4.1 que g contnua em a . Analogamente,
mostra-se que g contnua em a < 0 .

Exerccio Proposto

cos , se x 0
, cont4) Decida se f : , dada por f ( x) =
x
1, se x = 0
nua. Justifique sua resposta.
Uma das operaes entre funes que no foi contemplada na
proposio anterior foi a composio de funes contnuas (o
que voc arriscaria afirmar a respeito desta operao?
Tente demonstrar o seu palpite!
Apesar de podermos atacar este problema usando apenas a
definio de continuidade, o mesmo ficar mais fcil depois de
vermos mais uma caracterizao de funo contnua. Mostraremos abaixo que f contnua se, e somente se, a imagem inversa de abertos por f aberta, o que verdade se, e somente
se, a imagem inversa de fechados por f fechada. Vejamos:

Teorema 4.2. Seja f : M N . So equivalentes:


i) f contnua.
ii) se F N fechado, ento f 1 ( F ) fechado.
iii) se A N aberto, ento f 1 ( A) aberto.
Mostraremos o teorema via a seguinte sequncia de implicaes: i)
ii) iii) i)
i) ii) Suponha que f contnua e seja F fechado em N .
Queremos mostrar que f 1 ( F ) fechado e, para isto, suficiente
mostrar que
f 1 ( F ) f 1 ( F ) .
Seja a f 1 ( F ) . Ento, pela Proposio 4.7, existe uma sequncia
( xn ) em f 1 ( F ) tal que xn a .

143

Como f contnua em a , f ( xn ) f (a ) e como xn f 1 ( F ) , n ,


temos que f ( xn ) F , n e, portanto, f (a ) pertence ao fecho de
F , F . Como F fechado, F = F e isto implica que f (a ) F . Logo
a f 1 ( F ) como desejado.
ii) iii) Seja A N aberto.
Ento AC fechado e por hiptese f 1 ( AC ) fechado.
Como f 1 ( AC ) = [ f 1 ( A)]C (por qu?), segue que [ f 1 ( A)]C fechado
e, portanto, f 1 ( A) aberto como desejado.
iii) i) Vamos agora assumir que (iii) vlido e provaremos que f
contnua pela definio.
Seja a M e e > 0 .
Lembre que B ( f (a ), e) (bola aberta de centro f (a ) e raio e ) aberto de N e, portanto, (por hiptese) f 1 ( B( f (a ), e)) aberto em M .
Como a f 1 ( B( f (a ), e)) , existe > 0 tal que
B (a, ) f 1 ( B ( f (a ), e)) (tente desenhar o que est acontecendo,
isto deve ajud-lo). Veja a figura 4.5:
M

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

f(a)

Figura 4.5

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


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

144

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

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


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

Considere agora as funes


g :
f :

1 se x ,
1 x se x 0 e

x
x

1 se x
0 se x < 0

cujos grficos so dados na figura 4.6:

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 teorema anterior torna fcil provar esta afirmao. Basta notar que
1 1
1 3
f 1 , = f 1 B 1, = 0, que no aberto em e
2 2
2 2
1
g ({1}) = que no fechado em .

145
E a composio de funes contnuas? Voc decidiu que esta operao (quando possvel de se realizar) nos d outra funo contnua,
certo? Voc tentou mostrar este resultado usando apenas a definio
de continuidade? Conseguiu? No que segue usaremos a caracterizao de funo contnua dada no teorema anterior para demonstrar
que a composio de duas funes contnuas uma funo contnua.
Proposio 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 . suficiente mostrar que ( g f ) 1 ( A)
aberto em M . Note que g 1 ( A) aberto em N (pelo teorema
4.2) e f 1 ( g 1 ( A)) aberto em M (pelo teorema 4.2 novamente).
Mas ( g f ) 1 ( A) = f 1 ( g 1 ( A)) e, portanto, aberto em M
como desejado.

A proposio acima fala do comportamento global da continuidade


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

146

b=f(a )

g( f(a ))=g( b)

Figura 4.7

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

Exerccios Propostos
5) Seja f : A n contnua em x0 A, A ( M , D) , A aberto. Supor f ( xo ) 0 n . Provar que f ( x) 0 em alguma vizinhana do ponto x0 .
6) Analisar a continuidade de
f ( x) =

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

7) Sejam f : n m contnua e B n limitado. f ( B) obrigatoriamente limitado?

4.3 Conjuntos Compactos


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

147

Como Frechet j observou em 1928, conjuntos compactos esto entre


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

que C uma cobertura aberta de X.


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

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


Exemplo 4.7. Em , considere os conjuntos:
X = [0,1] ,
1 1
C1 = , ,
2 2
1 3
C2 = , ,
4 2
1 5
C3 = , .
8 4
A figura 4.8 ilustra este exemplo.

148

C2
1
2

0 1
8
C1

1
4

1
2

5
4

3
2

C3
Figura 4.8

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

149

Note que X infinito e para qualquer x X existe um intervalo


aberto I x de centro x tal que I x ( X \{x}) = . A figura 4.9 ilustra
a situao.
I1

I1

I1

( )
1
n

( )
1
4

( )
1
3

I1
(

1
2

I1
(

Figura 4.9

A famlia C = {I x }xX uma cobertura aberta de X que no possui


subcobertura finita. Portanto, X no compacto.
Exemplo 4.12. De maneira semelhante desenvolvida no exemplo
anterior, mostra-se que e no so compactos em .
Exemplo 4.13. no compacto. Considere a cobertura {(n, n + 2)}n .
Tal cobertura no possui subcobertura finita.
Exemplo 4.14. n tambm no compacto. Por exemplo, a cobertura aberta {B(o, n)}n no possui subcobertura finita. Voc consegue
encontrar outras coberturas abertas de n que no possuem subcoberturas finitas?
Voc deve estar achando que no muito fcil decidir quando um
conjunto compacto ou no. Para isto, veremos duas novas caracterizaes de conjuntos compactos.
Teorema 4.3 (Bolzano-Weierstrass). Seja ( M , d ) um espao mtrico. Ento A M compacto se, e somente se, toda sequncia em
A possui uma subsequncia convergente (que converge para um
ponto de A ).
Prova:
A prova deste teorema pode ser encontrada em [14, Marsden &
Hoffman] ou [15, Munkres].

150

Como consequncia deste teorema, podemos ver que X = [0,1)


1
no compacto em , pois a sequncia {xn } , onde xn = 1
n
converge para 1. Logo, todas as suas subsequncias convergem
para 1, mas 1 no pertence a X .
Mas e o conjunto [0,1]? Como provar que compacto?
Para isso, usaremos o teorema a seguir.
Teorema 4.4 (Teorema de Heine-Borel). K n compacto se, e
somente se, fechado e limitado.
Prova:
) Suponha que K compacto.
Ento, pelo teorema 4.3, toda sequncia em K possui uma subsequncia convergente (em K ).
Mas isto implica que K limitado, pois seno, n , xn K , tal
que || xn ||> n e a sequncia {xn } no possui subsequncia limitada. Logo, no possui subsequncia convergente, o que contradiz a
afirmao do pargrafo anterior.
Ainda K fechado, pois seno, a K tal que a = lim xn , xn K ,
n

e isto implica que todas as subsequncias de {xn } convergem para


a , que no pertence a K , uma contradio. Logo, K fechado.
) Suponha que K fechado e limitado.
Seja {xn } uma sequncia em K .
Como K limitado, {xn } limitada. Pelo Teorema de BolzanoWeierstrass, generalizado para n , existe uma subsequncia convergente, cujo limite um ponto de K (pois K fechado). Segue,
ento, que K compacto pelo teorema 4.3.

151
Nota: O teorema de Heine-Borel tambm pode ser provado diretamente, sem o uso do teorema 4.3 (Bolzano-Weierstrass) (ver [14,
Marsden & Hoffman]).
Observao. Note que a caracterizao de compactos dada no teorema de Heine-Borel s vlida em n .
Por exemplo, se M um conjunto infinito e d a mtrica discreta
(isto , d ( x, y ) = 0 , se x = y e d ( x, y ) = 1 , se x y ) ento ( M , d ) limitado (por qu?) e fechado (por qu?), mas no compacto (pois a
1

cobertura B x, , x M no possui subcobertura finita).


2

Exemplo 4.15. Usando o teorema de Heine-Borel, podemos concluir


que qualquer bola fechada em n compacta.
Observao. interessante notar que a ida do teorema de HeineBorel valida em qualquer espao mtrico M , isto , se K M
compacto ento K fechado e limitado. Vejamos:
Seja x K . Ento a coleo de bolas abertas {B( x, n)}nK cobre K ,
e como K compacto, existe uma subcobertura finita e portanto
K limitado.
Para notar que K fechado, provamos que K C aberto. Para isto, tome x AC e considere a coleo de abertos
1

U n = y M : d ( x, y ) > .
n

Como, y M , y x , d ( x, y ) 0 , temos que {U n }n cobre K . Da


compacidade de A , obtemos uma subcobertura finita, digamos
U n1 ,...,U ni , com n1 < n2 < ... < n j .
1
Mas ento B x,
n
j

como desejado.

C
C
K e portanto K aberto e K fechado

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 sequncia em f ( M ) possui uma subsequncia convergente.
Seja ( yn ) uma sequncia em f ( M ) . Ento, yn , xn M tal que
yn = f ( xn ) .
Logo ( xn ) uma sequncia em M , e como M compacto, ( xn )
tem uma subsequncia ( xnk ) , convergente para um a em M .
Como f contnua, ( f ( xnk )) subsequncia de ( f ( xn )) que converge para f (a ) . Logo, f ( M ) compacto.

Exerccio Resolvido
4) Seja K 2 compacto. Prove que
A = {x : y R tal que ( x, y ) k} compacto.
Resoluo:
Note que f : R 2 R dada por f ( x, y ) = x contnua e A = f ( K ) .
Logo, pelo teorema 4.5, A compacto.

Exerccios Propostos
8) Encontre uma funo f : R R contnua e um compacto
K tal que f 1 ( K ) no compacto.
Corolrio 4.2. Se f : M N contnua e M compacto, ento
f ( M ) fechado e limitado.
Dica para fazer a prova: Leia com ateno a prova do teorema de
Heine-Borel.

153
Corolrio 4.3. Seja f : M uma funo contnua real em um espao mtrico compacto M . Ento f atinge seu mximo e seu mnimo em M .
Prova:
Como f ( M ) limitado, existem y1 = inf{ f ( x)} e y2 = sup{ f ( x)} .
xM

xM

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


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

e f ( x2 ) = max{ f ( x)} .
xM

4.4 Continuidade Uniforme


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

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

154

Figura 4.10

1
no
x
uniformemente contnua em [0, ) . De fato, o da continuidade,
em x0 > 0 , depende de e e tambm diretamente de x0 , de modo que
( x0 ) 0 se x0 0+ .
Exemplo 4.17. A funo f :[0, ) [0, ) dada por f ( x) =

A figura 4.11 ilustra este exemplo.

Figura 4.11

Exemplo 4.18. Se f de Lipschitz, ento f uniformemente contnua. Vejamos:


Dado

e > 0 , como

de Lipschitz,

d ( f ( x), f ( y )) kd ( x, y ) x, y M .

k 0

tal que

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

Tomando =

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 exemplo, uniformemente contnua. Voc consegue encontrar outros intervalos onde f uniformemente contnua?

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

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


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


B a1 , 1 , B a2 , 2 , , B an , n .
2
2
2

156



Seja = min 1 , 2 , , n . Mostraremos agora que se x, y M
2
2 2
so tais que d ( x, y ) < ento d ( f ( x), f ( y )) < e .


Como x M , x B ai , i , isto , d ( x, ai ) < i , para algum i en2
2
tre 1, 2,, n .
i i i
+ = i e,
2 2 2
usando a desigualdade triangular mais uma vez, temos, da continuidade em ai , que

Mas ento, d ( y, ai ) d ( y, x) + d ( x, ai ) < +

d ( f ( x), f ( y )) d ( f ( x), f ( ai )) + d ( f ( ai ), f ( y ))

e e
+ = e.
2 2

Exemplo 4.20. A funo f :[0, ) [0, ) da por f ( x) = x uniformemente 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 intervalo [1, ) uniformemente contnua, pois se x 1 , y 1 , ento
x y

x y

x + y = ( x y )( x + y ) = x y x y

e portanto, dado e > 0 , basta tomar = e na definio de continuidade uniforme.


Conclumos que f :[0, ) [0, ) uniformemente contnua.
y

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

4.5 Conjuntos Conexos


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

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

(
p

)
p

t
)
R
p+ z

C
Figura 4.13

Podemos agora definir um conjunto conexo:


Definio 4.7. Seja ( M , d ) um espao mtrico. Se os nicos subconjuntos de M que so simultaneamente abertos e fechado so M e
, ento M dito conexo.
Exemplo 4.20. conexo.
Exemplo 4.21. Qualquer intervalo da reta conexo (veremos a prova
a seguir).
Exemplo 4.22. Se M a mtrica 0 1 , ento ( M , d ) no conexo
para qualquer M , pois os conjuntos unitrios {x} , onde x M , so
abertos e fechados.
Exemplo 4.23. Seja M = [0,1] (2,3] e d a mtrica usual de . Ento
( M , d ) no conexo e voc pode verificar que [0,1] M aberto e
fechado.

159
O exemplo 4.23 acima nos mostra um conjunto desconexo. Ele formado por dois pedaos. Isto nos leva seguinte definio:
Definio 4.8. Uma separao de um espao mtrico M um par
de conjuntos abertos, no vazios, disjuntos, cuja unio M .
Em smbolos, uma separao um par de abertos U , V tal que
U , V , 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 U C = V
aberto. Logo U fechado e a hiptese implica que U = M e,
portanto, V = , o que uma contradio. Logo, no existe separao de M .
) Hiptese: No existe uma separao de M .
Tese: M conexo.
Vamos supor que M no conexo. Seja C fechado e aberto de M
e suponha que C M e C . Ento C , C C formam uma separao de M , o que contradiz a hiptese. Logo, C = M ou C = .

Com o resultado acima, podemos mostrar que o conjunto dos racionais, visto como subconjunto de R , no conexo. Precisamos ento
definir conexidade para subconjuntos de um espao mtrico. Temos
a seguinte definio:
Definio 4.9. Um subconjunto de um espao mtrico conexo se
ele for conexo com a mtrica induzida (lembre-se que os abertos so
definidos em termos da mtrica).
Voc consegue achar uma separao para ?

160

Exemplo 4.24. no conexo. Uma separao de


U = {x / x < 2}
V = {x / x > 2}

Gostaramos agora de construir novos conjuntos conexos, a partir


dos conjuntos que conhecemos. Para isto, precisamos de alguns resultados. 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 f 1 (U ) , f 1 (V ) uma separao


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

O teorema acima muito importante e nos permite encontrar um


grande nmero de conjuntos conexos. Usaremos este teorema para
mostrar que todos os intervalos da reta real so conexos. Assumin
1

do este resultado, temos que o subconjunto S = x,sen : 0 < x < 1


x

2
de conexo.

161

Figura 4.14

Por que S conexo?


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

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


x

Ainda mais interessante e muito surpreendente o fato que o fecho


de S = S {(0, t ) : t [1,1]} conexo (veja a figura 4.15).

S
[

(
p

)
p

t
)
R
z

p+

C
Figura 4.15

Este resultado segue da proposio abaixo.


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

162
A proposio acima nos permite mostrar alguns resultados surpreendentes, que desafiam a nossa intuio. Com ela voc pode fazer o
seguinte exerccio:

Exerccio Proposto
15) Mostre que S {(0, q ) : q ; 1 q 1} , onde

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


x

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


Proposio 4.7. Todo intervalo aberto da reta real conexo.
Prova Parcial:
Lembre que j mostramos que conexo. Para mostrar, por
exemplo, que o intervalo (1,1) conexo, basta verificar (faa!)
x
que a funo f : (1,1) dada por f ( x) =
contnua e
1+ | x |
sobrejetora. Da, o resultado segue do Teorema 4.7.
Uma vez provado que (1,1) conexo, segue que (0,1) conexo, pois a imagem pela funo contnua
f : (1,1) (0,1) definida por f ( x) =

x +1
2

do intervalo conexo (1,1) (verifique!).


Finalmente, qualquer intervalo da forma (a, b) conexo, pois
a imagem da funo contnua
: (0,1) (a, b) dada por (t ) = (1 t )a + tb
(verifique!).

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

163
Proposio 4.8. Qualquer intervalo da reta conexo.
Prova:
Seja I um intervalo da reta. Pela proposio anterior o interior
do intervalo I conexo e ento segue da proposio 4.6 que I
conexo.

Exerccio Proposto
17) Mostre que a recproca da proposio anterior vlida, isto ,
mostre que se C um conjunto conexo de , ento C um
intervalo.
Dica. Suponha que C no um intervalo e encontre uma separao 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 teorema toma a seguinte forma:
Seja f :[a, b] uma funo contnua. Se f (a ) < y < f (b) ou
f (b) < y < f (a ) ento existe C (a, b) tal que f (C ) = y .
Provaremos uma verso um pouco mais geral.
Teorema 4.8 (Teorema do Valor Intermedirio). Seja M um espao mtrico conexo e f : M contnua. Sejam y1 , y2 f ( M ) e
y1 < y < y2 . Ento existe x M tal que f ( x) = y .
Prova:
Como M conexo e f contnua, f ( M ) conexo. Como
f ( M ) , f ( M ) um intervalo (ver o ltimo exerccio da seo anterior). Ento dados y1 , y2 f ( M ) e y tal que y1 < y < y2 ,
y f ( M ) . Logo, x M tal que y = f ( x) .

164
Como uma aplicao do teorema do valor intermedirio, provaremos que na linha do equador existem dois pontos opostos com a
mesma temperatura (ver figura 4.16). Isto mesmo. Usaremos a teoria
desenvolvida nesta seo para resolver um problema real. Para isto,
vamos supor que a linha do equador o crculo S 1 em 2 , isto ,
S 1 = {(cos t ,sen t ) : t [0, 2 ]}
e que f : S 1 a funo temperatura, a qual contnua.
Note que S 1 conexo, pois a imagem da funo contnua
h :[0, 2 ] S 1 dada por h(t ) = (cos t ,sen t ) .
Agora, defina g ( x) = f ( x) f ( x), x S 1 . Observe que g contnua.
Seja p S 1 . Considere g ( p ) e g ( p ) . Note que
g ( p) = f ( p) f ( p) = g ( p ) .
Logo, ou g ( p ) = 0 , o que implica que f ( p ) = f ( p ) , ou g ( p ) e
g ( p ) tem sinais opostos. Neste caso, pelo teorema do valor intermedirio, existe um ponto u S 1 tal que g (u ) = 0 e isto implica que
f (u ) = f (u ), ou seja, a temperatura no ponto u igual no ponto u .
p

p
Figura 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 Internet. Para terminar, seguem mais alguns exerccios.

165

Exerccios Complementares
1) Analise a continuidade das funes:
a) f :
0, x 0
;
f ( x) =
1, x > 0
b) g : {0}
0, x < 0
g ( x) =
;
1, x > 0
c) h : X
2, x < 1
h( x ) =
1, x = 1


1
1

X = 1,1 ,1 , .
2
3

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


3) Seja X finito. Seja f : X . Analise a continuidade de
f.
4) Sejam f , g : contnuas. Defina h : ,
h( x) = f ( x)[ g ( x 3 )]2 . h contnua? Justifique.
5) Mostre que a funo f ( x) = x 2 definida para | x | 17 lipschitziana, mas f ( x) = x 2 definida em < x < + no . D outros
exemplos de funes lipschitzianas.
6) Uma funo f : M N satisfaz a condio de Holder de ordem k se existe um c > 0 tal que d ( f ( x), f ( y )) c[d ( x, y )]k . Mostre que nestas condies f contnua.
7) Sejam M , N espaos mtricos, f , g : M N contnuas e X
denso em M . Se f ( x) = g ( x) , x X , mostre que f = g .
8) D um exemplo de uma funo contnua f : M N e um
aberto X M tal que f ( X ) no aberto.
9) Repita o exerccio 8 para X fechado.

166
10) Seja M um espao mtrico e seja X A : M a funo caracterstica de um subconjunto A M , isto , X A ( x) = 1 se x A e
X A ( x) = 0 se x A . Mostre que X A contnua em p M se, e
somente se p no um ponto da fronteira de A .
11) Defina uma bijeo f : que seja descontnua em todos
os pontos de .
12) Identifique se verdadeiro ou falso, justificando sua resposta:
Se f , g : so duas funes contnuas tais que f (r ) = g (r )
para todo r , ento f = g .
13) Sejam M um espao mtrico compacto e f : M M uma isometria, isto , d ( f ( x), f ( y )) = d ( x, y ), x, y M . Provar que f
bijeo.
14) Seja A = (0,1] . Encontre uma cobertura aberta de A que no
possui subcobertura finita.
15) Encontre uma funo contnua f : e um conjunto compacto K tal que f 1 ( K ) no compacto. Repita o processo
para K conexo.
16) Verifique se so compactos (mtrica usual):
a) em ;
b) em ;
c) B = {2} [3, 4] em ;
1 2 3
d) 1, , , , em ;
2 3 4
e) [1, 2] em ;
f) A = {x / 0 x 1 e x } ;
g) D = {( x, y ) 2 / 0 x 1} ;
h) S = {( x, y ) 2 / xy = 1} {( x, y ) 2 / x 2 + y 2 < 5} .
17) Seja M um espao mtrico com a mtrica discreta. Mostre que
M compacto se, e somente se, M finito.

167
18) Sejam A e B subconjuntos de um espao mtrico tais que A
compacto e B fechado. Mostre que A B compacto (quando A B ).
19) As seguintes afirmaes a respeito de n so verdadeiras. Justifique-as:
a) B = {( x1 , x2 , , xn ) n / x12 + x22 + + xn2 1} compacto;
b) S n1 = {( x1 , x2 , , xn ) n / x12 + x22 + + xn2 = 1} compacto;
c) Uma bola aberta B ( p, r ) , p n e r > 0 no um conjunto compacto.
20) Se A e B so subconjuntos compactos de um espao mtrico
M , mostre que A B e A B so compactos.
21) Uma funo f : contnua e limitada obrigatoriamente
uniformemente contnua?
22) Sejam f : B m contnua e injetiva e B n compacto. Provar que f 1 : f ( B) B contnua.
23) Seja f : (0,1) uniformemente contnua. f obrigatoriamente limitada?
24) Seja M um espao mtrico. Mostre que so equivalentes:
a) M no conexo;
b) Existem subconjuntos no vazios U e V de M tal que
M = U V , U V = = U V .
25) Se A e B so subconjuntos conexos de n , d exemplos para
mostrar que A B , A B e A B podem ser conexos ou desconexos.
26) Seja A um subconjunto compacto de n e ( xn ) uma sequncia de
Cauchy em A . Mostre que ( xn ) converge para um ponto de A .
27) D exemplo de uma funo contnua f : e um conjunto
fechado B tal que f ( B) no fechado. Isso possvel se
B for tambm limitado?

168
28) Seja f uma funo contnua de um espao mtrico compacto
e conexo, M em . Mostre que f ( M ) um intervalo fechado.
29) Ser a unio de conjuntos conexos um conjunto conexo?

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

Respostas dos Exerccios

171

Captulo 1
Exerccios Propostos
1) Como X e Y so enumerveis, existem f : X e g : Y bijees.
Definimos

h: X Y
h( x, y ) = ( f ( x), g ( y ))

Ento h injetiva. Como enumervel, pela proposio 1.1,


temos que X Y enumervel.
2) Vamos exemplificar com p=4. Voc precisa encontrar 4 conjuntos
A1 , A2 , A3 e A4 , infinitos e disjuntos, tais que
= A1 A2 A3 A4
Obtenha os conjuntos agrupando os naturais de 4 em 4, em ordem crescente. Coloque o primeiro elemento de cada grupo no
conjunto A1 , o segundo no conjunto A2 , o terceiro no A3 e, finalmente, o quarto elemento no conjunto A4 . Veja:

= 1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,

A1 = {1, 5, 9, }
A2 = {2, 6, 10, }
A3 = {3, 7, 11, }
A4 = {4, 8, 12, }
Podemos escrever:
A1 = {4n 3, n }
A2 = {4n 2, n }
A3 = {4n 1, n }
A4 = {4n, n }

172

3) Supor X finito. O nmero de elementos de f ( X ) menor ou igual


ao numero de elementos de X, j que f uma funo. Como f
uma sobrejetiva, Y = f ( X ) .
Supor Y finito. Como f injetiva, o nmero de elementos de X
menor ou igual ao nmero de elementos de Y.
interessante voc fazer um diagrama para visualizar estes resultados.
4) Basta voc definir
a) f : P
2n 2, se n par
f ( n) =
2n, se n impar
b) f : I
f ( n) = 1 2n
c) f : Q p
n

2 p , se n par

f ( n) =
1 n , se n mpar
2 p
Brinque com estas funes convencendo-se que elas so bijees.
5)
a) Sim. Sejam
X = {x1 , x2 , x3 ,..., xn }
Y = { y1 , y2 , y3 ,..., yn ,...}
Basta voc definir
f : X Y
f ( xi ) = yi .

173
b) No, pois um elemento de X no pode ter mais de uma imagem 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 vlidas e seja c tal que x c para todo x em X. Se b > c ento, para
bc
, por S.2, temos que existe x em X tal que b < x b .
=
2
b+c
Mas isto implica que x >
> c , uma contradio. Logo b c
2
como desejado e S.2 vlida.

Exerccios complementares
1) Primeiro suponha que X infinito. Ento podemos listar
infinitos
elementos
distintos
em
e
x1 , x2 , x3 ,...
c
c
X = {x1 , x2 , x3 , ...} {x1 , x2 ,...} . Seja Z = {x2 , x3 , ...} {x1 , x2 ,...} . Ento Z um subconjunto prprio de X e a funo f : X Z , dada
por f ( xi ) = xi +1 para xi {x1 , x2 ,...} e f ( x) = x para x {x1 , x2 ,...}c
uma bijeo.

Por outro lado, se X finito ento X tem n elementos e qualquer


subconjunto prprio de X tem menos do que n elementos e portanto no existe bijeo entre X e este subconjunto.
2) Sim. Voc pode definir uma bijeo.
f : S
f ( p, q ) = circunferncia de centro (p, q) e raio 1.

174
3) Considere 2 conjuntos X e Y enumerveis. Podemos, ento, listar
seus elementos:
X = {x1 , x2 , x3 ,}
Y = { y1 , y2 , y3 ,}
Voc pode criar uma lista com os elementos do conjunto
W = X Y , tomando, alternativamente, um elemento de X e um
elemento de Y, na ordem crescente dos ndices.
Ou seja,
w1 = x1 , w2 = y1 , w3 = x2 , w4 = y 2 , w5 = x3 , w6 = y3 ,
4) S enumervel, pois a unio enumervel dos conjuntos enumerveis S_i , onde S_i consiste do conjunto de todas as sucesses
de zeros e uns cujos termos a partir do i-simo termo so iguais
a zero.
5) Voc pode escrever
2
2 2 2 2
X = , , , , , ,
n
1 2 3 4
a) 2 uma cota superior de X. Outros 2 exemplos de cota superior
so: 3 e 5.
0, -1, -15 so exemplos de cotas inferiores.
b) sup X = 2 , inf X = 0
6)
a) So exemplos de cotas superiores: 2, 50, 1500.
So exemplos de cotas inferiores: 1, 0, -1500.
sup X = 2 e inf X = 1 .
b) O conjunto Y no admite cotas superiores nem inferiores.
c) So exemplos de cotas superiores: 2; 2,01; 2,001.
O conjunto Z no admite cota inferior.
sup Z = 2 ; no existe inf Z .

175
7) I.1 a cota inferior de X.
I.2 Qualquer nmero maior que a no cota inferior de X.
8)
a) X = {x / x > 0 e x 2 < 5}
b) X = {x / x > 0 e x 2 > 5}
c) X = {x / x > 0 e 3 < x 2 < 5}
Observe que nestes conjuntos, quando existem, o supremo e o
nfimo so irracionais. Voc pode listar muitos outros exemplos.
9)
a) Verdadeira. O supremo de X o elemento mximo de X e o
nfimo o elemento mnimo de X.
b) Verdadeira. Se um conjunto tem supremo ele a menor das
cotas superiores e qualquer nmero maior que ele tambm
uma cota superior.
2

c) Falsa. Por exemplo, o conjunto X =


, n tem nfimo
n

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

X =
, n um conjunto de nmeros irracionais e sup X = 0 .
n

11) Basta voc mostrar exemplos de intervalos encaixados que no


satisfazem apenas a hiptese listada e verificar que a concluso
no vlida.
a) Considere
I n = [n, ) .
Os intervalos I n so fechados e encaixados.
No entanto,

I
n =1

176
b) Considere
1
I n = 0,
n
Os intervalos I n so limitados e encaixados. No entanto,

I
n =1

= .

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

x[ 0, 1]

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

x[ 0, 1]

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


1
quando 2 x 1 = 0 x = .
2
2

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

3) Possveis exemplos so:


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

177
4)
a) Int ( A) = {( x1 , x2 ) 2 / x2 > x1}.
x1=x2

x2
1
1

x1

b) Int ( A) = A .
x2

x2= x12

x1
c) Int ( A) = A .
x2

x2= e x 1

x1

178

d) Int ( A) = A .
x2

x 2=lnx 1

x1
e) Int ( A) = .
f) Note que A = (0, +) . Logo, Int ( A) = A .
6) Em , tome A = , B = . Ento Int( A) = , Int( B) = e
Int( A B) = .
7)
a) A1 A2 aberto (Propriedade Ab2).
b) Supor que A1 A2 ... An1 aberto.
c) Provar que A1 A2 ... An aberto.
Como A1 A2 ... An = ( A1 A2 ... An1 ) An , segue o resultado, novamente pela propriedade Ab2.
8) Seja B[ x, r ] uma bola fechada. Vamos mostrar que seu complementar aberto. Para isto, tome y e C ( B[ x, r ]) . Como a bola
fechada, temos que
= d ( y, B[ x, r ]) .
Mas, ento,


B y, C ( B[ x, r ]) .
2

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

179
9) Por induo, j sabemos que para n = 2 a propriedade vale
(veja Fe 2).
Hiptese de induo: supor que a propriedade nvlida para n,
ou seja, se F1 ,..., Fn so conjuntos fechados, ento Fi fechado.
i =1

Para n + 1 : sejam F1 ,..., Fn , Fn+1 fechados. Ento,


n +1

F = F F
i =1

i =1

o, segue que

n +1

, e como

F
i =1

n +1

fechado pela hiptese de indu-

F fechado por Fe 2.
i =1

10)Em n , todo conjunto finito fechado, pois pode ser escrito como
uma unio finita de conjuntos unitrios (que so fechados). O resultado segue vlido para qualquer espao mtrico.
1
11)Em , sejam Fn = ,1 , n = 1, 2,3,... . Ento,
n
fechado em .

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

12) S ' = {( x, y ) 2 / y x 2 1} .
13)
a) No fechado, pois 0 A ' e 0 A .
b) fechado.
c) fechado.
d) No fechado, pois 0 D ' e 0 D .
e) Domnio de f = {x : x 1} . Logo, no fechado.
f) fechado;
g) fechado.
14)
a) A = {0} A .
b) B = [0, ) .

180

15) Afirmao: A B A B .
Prova: Seja x A B .
Se x A B , ento claro que x A B .
Se x ( A B) ' ento toda bola aberta que contm x contm pontos de A B distintos de x . Logo, toda bola aberta que contm x
contm pontos de A e pontos de B e, portanto, x A ' B ' A B ,
como desejado.
Agora, seja A = (0,1) e B = (1, 2) em .
Ento, A B = e A B = {1} .
16) Sim para R n . Falso em geral. Por exemplo, considere M como
mtrica discreta.
17)
a) Falso. Por exemplo, se A = (0,1) e B = (1,1) em , ento
Fr ( A) = {0, 1} e Fr ( B) = {1, 1} .
b) Falso. Por exemplo, se B = (0, 1) {2}, ento 2 Fr ( B ) , mas
2 B'.
c) Seja x Fr( A B ) . Ento
B ( x, r ) ( A B ) C .
e
B( x, r ) B C , r > 0 .

r > 0 ,
Logo

B ( x, r ) ( A B )
B( x, r ) AC
e

Suponha agora que existe r1 > 0 tal que B ( x, r1 ) A = . Ento,


r < r1 , B ( x, r ) A = e portanto B ( x, r ) B , r > 0 (pois,
B ( x, r ) ( A B ) ). Logo, x Fr( B) .
Se no existe r1 como suposto, ento
Fr( A B ) Fr( A) Fr( B ) .
18)
a) Fr ( A) = {( x, y ) 2 / x 2 + y 2 = 1} .

x Fr( A) . Logo,
y
Circunferncia
de raio = 1

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

181

19)
a) A = (0, ) e B = (,0) .
b) A = (1, 1) em . Fr ( A) = {1,1} .

Exerccios Complementares
1) Neste exerccio temos que verificar se as condies M 1 a M 3 da
definio de mtrica so satisfeitas.
a) No mtrica, pois d (2, 2) = 0 ; logo, no satisfaz M1.
b) No mtrica, pois d (2, 2) = 0 ; logo, no satisfaz M 1 .
c) No mtrica. Note que
1
1 1 1 1
d (0, 1) = 1 > d 0, + d ,1 = + = ;
2
2 4 4 2
logo, M 3 no satisfeita.
2)
a) mtrica.

b) No mtrica.

3) Para verificar M 1 , note que


d ( x, y ) = 0 | f ( x) f ( y ) |= 0 f ( x) = f ( y ) ,
e como f injetora (estritamente crescente), temos que x = y .
Para verificar M 3 , basta notar que
d ( x, y ) =| f ( x) f ( y ) |=| f ( x) f ( z ) + f ( z ) f ( y ) |
| f ( x) f ( z ) | + | f ( z ) f ( y ) |
=d ( x, z ) + d ( z , y ).
4) d ( f , g ) = sup | x 2 x 1| .
x[1, 3]

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


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

182
5)
a) Seja p . Se p , ok.
Se p , use a representao decimal infinita de p :
p = a, a1 a2 ...an ... e considere a sequncia de nmeros racionais
a
a, a1
a, a1 a2

a, a1 a2 ...an

Como esta sequncia converge para p , dado qualquer > 0 , a


partir de um n0 , a distncia entre os termos desta sequncia e p
so menores que .
Logo, inf{d ( p, x) / x } = 0 .
b) O raciocnio anlogo ao item a.
6) Se A no unitrio, sejam x, y A . Ento, diam( A) d ( x, y ) > 0 .
Logo, d ( x, y ) = 0 A unitrio. A recproca clara.
7) Seja a . Ento, existe um nmero inteiro m tal que m a m + 1.
Logo, d (a,{m, m + 1})

1
1
e, portanto, d (a, ) .
2
2

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

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

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

183
9)
a)

b)

c)

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.

d)

184

12) = ; =

((0, 2)) ' = [0, 2]; (0, 2) = [0, 2]


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

1 1 1
1 1
1, , ,... = 0,1, , , ,... .
2 3 4
2 3

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


Se a A . Seja x A {a} . Como A aberto, existe r1 tal que
B( x, r1 ) A . Seja r = min{d ( x, a ), r1} . Ento, B ( x, r ) A {a} e,
portanto, A {a} aberto.
14) Seja A = {a1 ,...an } M . Tome r = min{d (ai , a j ); i, j = 1, 2,..., n} . Ento, se a A , B (a, r ) = {a} A e portanto A aberto.

15) Sejam Fn = [n, ), n = 1, 2, 3,... . Ento,

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

n =1

n =1

=.
=.

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

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

d) X = .
19)
a) Fr ( A1 ) = {a1}, Fr ( A2 ) = {0, 1, 3}, Fr ( A3 ) = .
b) Fr ( B1 ) = B1 , Fr ( B2 ) =
= {( x, y : x = 0, y > 0)} {( x, y ) : y = 0, x > 0} {0,0}.

185
20)
a) A = .
b) B = 2 .
c) C ' = {(0, 0)} .
1
1

d) D ' = 0, , n ,0 , m {(0,0)} .
n
m

e) E ' = {( x, y ) 2 / x e y = 0} .
21)
a) Note que se x int( A) , ento existe uma bola aberta B ( x, r )
completamente contida em A , e que, portanto, no contm
pontos do complementar de A . Logo, x Fr ( A) .
Por outro lado, se a A \ Fr ( A) , ento existe uma bola aberta
B (a, r ) completamente contida em A e, portanto, a int( A) .
b) Seja x A . Ento, por definio, B ( x, ) A > 0 . Logo,
x int( n \ A) e, portanto, x n \ int( n \ A) .
Por outro lado, seja x n \ int( n \ A) .
Ento, x int( n \ A) e, portanto, toda bola aberta B ( x, r )
contm pontos do complementar de n \ A, ou seja, de A.
Logo, x A .
22)
a) Falso. Por exemplo, seja A = em com mtrica usual. Ento, A = e int() = , mas int () = .
b) Verdadeiro. Segue diretamente da definio de fecho.
c) Falso. Em , tome A = [0, 1) . Ento, int( A) = [0, 1] A .
d) Falso. Em , tome A = . Ento, Fr () = Fr () = e
Fr () = .
e) Verdadeiro. Note que, se x A , como A aberto, ento existe
uma bola aberta B ( x, r ) completamente contida em A e, portanto, x Fr ( A) .

186
23)
a) Segue diretamente da definio de fronteira de um conjunto.
b) Seja x A B . Ento, para toda bola aberta B ( x, r ) , temos 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 ( xn ) n tal
que xn x e xn A B n . Sejam C = {n / xn A} e
D = {n / xn B} . claro que C ou D um conjunto infinito. Sem perda de generalidade, suponha que C infinito. Ento, a subsequncia ( xk ) kC converge para x e xn A n C .
Logo, x A A B .
d) Segue diretamente da definio de interior de um conjunto
que int( A B ) int( A) int( B) .
Seja, agora, x int( A) int( B) . Como x int( A) , existe B ( x, r1 ) A e como x int( B) , existe B( x, r2 ) B . Tome
r = min(r1 , r2 ) . Ento, B( x, r ) A B e, portanto, x int( A B ) ,
como desejado.
e) Seja x int( A) int( B) . Ento, x int( A) ou x int( B) . Supor, sem perda de generalidade, que x int( A) . Ento, existe
uma bola B ( x, r ) A . Logo, B ( x, r ) A A B e, portanto,
x int( A B) .

Captulo 3
Exerccios Propostos
1) Dado > 0, N 0 > 0 tal que

<
.
N0
2

Ento, se n > N 0 , temos que:


2

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

187
3)
a) A sequncia converge para (0, 0) .
b) Diverge.
c) Converge para p .
d) ( f n ) converge para a funo nula O(t ) = 0 t [0, 1] .
4)
a) ( xn ) = ((0, n)) .
b) Se xn = (1,1,1) n , ento ( xn ) limitada.
c) Toda sequncia em M limitada.
5) Em com a mtrica usual ( xn ) = ((1) n ) limitada mas no
convergente.
6)

n
.
n+ n + 1

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


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

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


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

d) Para a =

Seja

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

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

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

188

56
.
99
Note que a = 0,56565656...
Para a =

Tome

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

Ento xn a , xn X {a} e, portanto, a ponto de acumulao 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} .

n
(1, 1) Fr ( X ) , pois (1, 1) = lim
,1 = lim 1,
.
n n + 1
n+

n +1
y
x=y
1

9) As sequncias de Chauchy so as sequncias estacionrias, ou


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

189
10)
a) [0, 1],[2, 3] .
b) (0, 1), (2, 3) .

Exerccios Complementares
1) Falso. Por exemplo, ((1) n ) .
2) Verdadeiro. A prova est feita na proposio 2.5.
3) Verdadeiro.

Como

( yn )

limitada,

M >0

tal

que

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

. Logo,
que se n N 0 , ento | xn |<
M

n N 0 , | xn yn |=| xn | | yn |<
M = .
M
4) Verdadeiro. Supor que ( Z n ) converge. Ento ( yn = Z n X n ) converge, o que contradiz a hiptese.
5) Falso. Por exemplo, tome
xn = (1, 2, 1, 2, 1, 2,...) e yn = ( 1, 2, 1, 2, 1, 2,...) .
Ento xn + yn = (0, 0, 0, 0, 0,...) .
6) Verdadeiro. Para =

a
, existe N 0 > 0 , tal que
2

n > N 0, | xn a |< =

a
2

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

1
1
7) Falso. Por exemplo, seja ( xn ) = e ( yn ) = + . Ento
n
n
lim xn = 0 = lim yn .

190
8) Verdadeiro. Como ( xn ) est contida no conjunto de Cantor, ( xn )
limitada. Logo, por Bolzano-Weierstrass, ( xn ) possui uma subsequncia convergente (a qual tambm de Cauchy).
9) Falso. Basta pegar uma sequncia em convergente para

(por exemplo).
10) Verdadeiro. Vamos supor que ( xn ) seja uma sequncia no decrescente e ( xnk ) uma subsequncia que converge para a .
Mostraremos que ( xn ) converge para a .
Dado > 0, N 0 > 0 tal que nk > N 0 , | xnk a |< . Seja nk1 tal
que nk1 > N 0 . Ento se m > nk1 , temos que existe nkm tal que
xnk xm xnk
1

< xnk a xm a xnk a <


1

| xm a |<
para todo m > nk1 .
11)
1
a) n 1, .
2
b) n (1, 1) .
12)
a) ( xn ) divergente.
b) a = b .
c) Analise ( xn ) = ((1) n ) .
n
n + 1 , se n par
.
13) Em , seja xn =
1 , se n mpar
n
( xn ) satisfaz as condies pedidas.

191
14) Ver a proposio 2.14.
a) [2,5) no fechado em .
b) O conjunto no fechado em .
c) O conjunto no fechado em .
15) Nenhum
dos
conjuntos
(Ver proposio 2.14)

fechado

em

2 .

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


17) Se M finito, ento toda sequncia de Cauchy estacionria (da
forma ( x1 , x2 , x3 ,..., xn , c, c, c, c, c, c,...) , logo, convergente.
18) Se ( xn ) e ( yn ) so de Cauchy em 2, ento xn a e yn b ,
onde a, b 2 . Logo, d ( xn , yn ) d (a, b) .

Captulo 4
Exerccios Propostos
1) Note que
d ( f ( x), f ( y )) =

1 1
yx
1
1
1
=
=| x y |
| x y |= d ( x, y ) .
x y
xy
| xy | 4
4

Logo, f de Lipschitz com constante

1
.
4

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


3) Sejam f : M e g : M contnuas em a .
i) Mostrar que | f | contnua em a .
Como f contnua em a , dado > 0, > 0 tal que se
d ( x, a ) < , ento | f ( x) f (a ) |< . Mas, ento para este ,
|| f ( x) | | f (a ) ||| f ( x) f (a ) |< .

192

ii) Mostre que f + g contnua em a .


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

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

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

+ = .
2 2
4) Considere f : R R dada por f ( x) = 0 , x R , e K = {0} . Ento
K compacto e f 1 (0) = R no compacto.
1
5) Note que no existe lim cos . Logo, f no contnua (em 0).
x o
x
6) Seja d 0 a distncia entre f ( x0 ) e 0 em n . Considere a bola aber
d
d
ta B f ( x0 ), 0 . Ento f 1 B f ( x0 ), 0 uma vizinhana de
2
2


x0 , onde f no se anula.
senx
= 1 = f (0) .
x 0
x

7) f contnua em 0 , pois lim

1
8) No. Por exemplo, seja f : (0, 1) definida por f ( x) = .
x
9) No uniformemente contnua.

193

10) Note que f contnua em [a, b] , que compacto em . Logo,


pelo Teorema 4.6, f uniformemente contnua em [a, b] .
Para provar que f Lipschitz em [a, b] , note que:
d ( f ( x), f ( y )) =| x 2 y 2 |=| ( x y )( x + y ) |
= | x + y || x y |
max{| 2a |,| 2b |} d ( x, y ).
11) Seja M = [0, 1] com a mtrica 0 1 .
N = [0, 1] com a mtrica usual de .
Ento
f :M N
xx

contnua, M no compacto e N compacto.


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

2
n2 < 1
4

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

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

.
2

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

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

195
17) Seja S um conexo de . Suponha que S no um intervalo.
Ento existe um t tal que existem a, b S e a < t < b .
Agora, U = (, t ) S e V = (t , +) S formam uma separao
de S .
Logo, S no conexo.

Exerccios Complementares
1)
a) contnua em {0} .
b) contnua em {0} .
c) contnua em X {1} .
2) Suponha que f : X contnua em a .
Como f contnua em a , > 0 tal que se d ( x, a ) < , ento
| f ( x) f (a ) |< .
Logo, para este , temos que || f ( x) | | f (a ) ||| f ( x) f (a ) |< ,
sempre que d ( x, a ) < .
3) f contnua em X , pois se F fechado em , ento f 1 ( F )
um conjunto finito de pontos de e, portanto, fechado.
4) h contnua, pois a multiplicao e composio de funes contnuas.
5) Note que, se | x |< 17 , ento,
d ( f ( x), f ( y )) =| x 2 y 2 |=|| x y || x + y ||=| x y || x + y | 34 d ( x, y )
e, portanto, f lipschitziana em [17, 17] .
Porm, em (, ) f no lipschitziana, pois
d ( f ( x), f ( y )) =| x + y | d ( x, y ) .

196

6) Dado > 0 , tome =

.
c

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


7) Seja m M \ X . Como X denso em M , existe uma sequncia
xn em X tal que xn m .
Logo, f (m) = lim f ( xn ) = lim g ( xn ) = g (m) .
n

8) Tome M = N = e f : M N uma funo constante. A imagem


de qualquer intervalo aberto por f um conjunto unitrio que
no aberto.
x2
9) M = N = ; X = e f : M N , dada por f ( x) = 2
.
x +1
Ento, X = fechado, mas f ( X ) = [0,1) no fechado.
10) Supor que X A contnua em p.
1
. Ento, > 0 tal que, se d ( x, p ) < , temos
2
1
| X A ( x) X A ( p ) |< . Isto implica que
2
X A ( x) = X A ( p ), x B ( p, ) e, portanto, se p A , ento
x A x B ( p, ) e, se p A , ento x A x B ( p, ) .

Tome =

Logo, p no ponto de fronteira.


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

197

x se x
11) f ( x) =
.
x + 2 se x I
12) Verdadeiro. Seja x \ . Existe uma sequncia xn tal que
xn x . Como f
e g so contnuas, temos que
f ( x) = lim f ( xn ) = lim g ( xn ) = g ( x) .
n

13) Primeiro vamos mostrar que f injetora.


Note que, se x y , ento d ( x, y ) > 0 e, ento,
d ( f ( x), f ( y )) = d ( x, y ) > 0 e, portanto, f ( x) f ( y ) .
Agora vamos provar que f sobrejetora.
Primeiro, note que f contnua (prove!) e, portanto, f ( M )
compacto.
Seja
agora
y1 M \ f ( M ) .
Considere
a
sequncia
y1 , y2 = f ( y1 ), y3 = f ( y2 ), y4 = f ( y3 ),... Como f ( M ) compacto,
yn possui uma subsequncia ( ynk ) convergente.
Como ( ynk ) convergente, de Cauchy e, portanto, para =

1
,
2

M 2 > 0 tal que se nM 2 > M , ento, para j = 1, 2,3,... , temos que


d ( ynM , ynM + j ) <
2

d( f

nM 2

( y1 ), f

1
n
nM 2 + j

( y1 )) <

1
n

1
( y1 ), y1 ) < .
n
1
n
n
n
n
Tome z1 = f M 2 +1 M 2 ( y1 ). Repita para = e tome z2 = f M3+ j M3 ( y1 ) ,
3
onde
nM 3 + j nM 3 nM 2 +1 nM 2 ,
e
sucessivamente
para
1
= , n = 4,5,6,... . Logo, ( zn ) converge para y1 e, portanto,
n
y1 f ( M ) , mas f ( M ) fechado (sendo compacto) e conclumos
d( f

nM 2 + j nM 2

que y1 f ( M ) = f ( M ) , como desejado.

198

14) A = (0, 1]
1
Sejam U n = ,1 n .
n
Ento, {U n }n no admite subcobertura finita.
0, x < 0
15) Seja f ( x) =
.
x, x > 0
Ento f contnua e f 1 ([0, 2]) = (, 2) , que no compacto.
0, x 0
x, 0 x 1

Seja f ( x) =
.
2

x
,
1

0, x 2
Ento f 1 ({0}) = (, 0) [2, +] , que no conexo.
16)
a) No compacto (no limitado).
b) No compacto (no limitado).
c) Compacto.
d) Compacto.
e) No compacto (no fechado).
f) No compacto (no fechado).
g) No compacto (no limitado).
h) No compacto (no fechado).
17) ) Supor que M no finito, digamos M = {x1 , x2 , x3 ,...} . Ento
1
uma cobertura aberta que no possui subco B xi ,
2 i=1,2,3,...
bertura finita e, portanto, M no compacto.
A volta trivial.

199

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


em A e, como A compacto, possui uma subsequncia convergente para x A . Como B fechado e xn tambm est em B ,
temos que x B e, portanto, A B compacto.
19)
a) B fechado e limitado.
b) S n1 fechado e limitado.
c) B ( p, r ) no fechado.
20) Sejam A, B compacto.
Seja {xn } uma sequncia em A B .
Como A compacto, {xn } possui uma subsequncia {xnk } que
converge para x A .
Como {xnk } uma sequncia em B (que compacto), esta possui uma subsequncia {xnk } que converge para y B . Como
{xnk } subsequncia de{xnk } , temos que y = x e, portanto,
A B compacto.
Para mostrar que A B compacto, seja {U } uma cobertura
de A B .
Ento {U } cobre A e, portanto, existe uma subcobertura
{U 1 ,...U n } finita de A .
{U } tambm cobre B e, portanto, existe uma subcobertura finita {U 1 ,...U n } de B .
Logo {U 1 ,...U n ,U 1 ,...,U n } subcobertura finita de A B .
21) No. Por exemplo, f ( x) = sen( x 2 ) (analise o comportamento da
funo quando x ).

200

22) Primeiro note que f 1 : f ( B ) B existe, pois f injetora. Para


mostrar que f 1 contnua, vamos mostrar que a imagem inversa de um fechado por f 1 fechado.
Seja F B fechado. Temos que
( f 1 ) 1 ( F ) = {x B : f 1 ( x) F }
={x B : x f ( F )} = B f ( F ).
Agora, note que B fechado (pois compacto). Ainda, F compacto (pois um fechado contido em um compacto) e, usando o
fato de que f contnua, f ( F ) compacto e, logo, fechado.
Portanto, B f ( F ) fechado ( a interseco de dois fechados),
como desejado.
23) Sim, f obrigatoriamente limitada. Para provar isto, suponha
que f no limitada.
Seja x1 (0, 1) . Como f no limitada, x2 (0, 1) tal que
f ( x2 ) > f ( x1 ) + 1 .
De novo, como
f ( x3 ) > f ( x2 ) + 1 .

no limitada, x3 (0, 1) tal que

Procedendo dessa forma, criamos uma sequncia ( xn ) tal que


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

1
= .
2

Logo, f no uniformemente contnua, como desejado.

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 = ,

que

implica

que

B (u , ) U , como desejado.
Logo, U aberto. Mostra-se que V aberto analogamente.
25) Seja U = {( x, y ) 2 : 0 x 1} ,
1
1
1


V = ( x, y ) 2 : 0 x , 1 y 0 ( x, y ) 2 : x 1, 1 y
4
4
2

2 2
( x, y ) : x 1, 1 y 0 .
3

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

202

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

Dado > 0, N1 > 0 tal que d ( xn , xm ) <


n, m N1 (pois ( xn )
2
de Cauchy).
Ainda, N 2 > 0 tal que d ( xnk , a ) <

nk N 2 .
2

Tome N = max{N1 , N 2 } .
Se n > N , ento d ( xn , a ) d ( xn , xN ) + d ( xN , a )


+ = .
2 2

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


Se B fosse limitado (e fechado), ento seria compacto, logo f ( B)
seria compacto e, portanto, fechado e limitado.
28) Como M conexo e f contnua, temos que f ( M ) conexo
em e, portanto, um intervalo.
Como M compacto e f contnua, temos que f ( M ) compacto em , logo fechado e limitado.
29) No. Por exemplo, em , U = (0, 1) e V = (2, 3) so conexos,
mas U V no conexo.

203

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

204
16) RUDIN, W. Princpios de anlise matemtica. Rio de Janeiro: Ao Livro Tcnico; Braslia: Editora da Universidade de Braslia, 1971.
17) IRA (Interactive Real Analysis). Disponvel em: <http://
www.mathcs.org/analysis/reals/>. Acesso em: 18/06/2012.