Você está na página 1de 158

Mirian Buss Gonalves

Daniel Gonalves

Elementos de Anlise

Florianpolis, 2009
Universidade Federal de Santa Catarina
Consrcio ReDiSul

Campus Universitrio Trindade


Caixa Postal 476
CEP 88040-900 Florianpolis SC

Reitor: Alvaro Toubes Prata


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

Curso de Licenciatura em Matemtica na


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

Comisso Editorial
Antnio Carlos Gardel Leito
Albertina Zatelli
Elisa Zunko Toma
Igor Mozolevski
Luiz Augusto Saeger
Roberto Corra da Silva
Ruy Coimbra Charo
Laboratrio de Novas Tecnologias - LANTEC/CED
Coordenao Pedaggica
Coordenao Geral: Andrea Lapa, Roseli Zen Cerny
Ncleo de Formao: Nilza Godoy Gomes
Ncleo de Pesquisa e Avaliao: Claudia Regina Flores

Ncleo de Criao e Desenvolvimento de Materiais


Design Grfico
Coordenao: Laura Martins Rodrigues, Thiago Rocha Oliveira
Projeto Grfico: Diogo Henrique Ropelato, Marta Cristina Goulart Braga,
Natal Anacleto Chicca Junior
Diagramao: Kallani Bonelli, Thiago Rocha Oliveira, Laura Martins
Rodrigues, Natlia de Gouva Silva
Ilustraes: Kallani Bonelli, Cristiane Amaral
Design Instrucional
Coordenao: Juliana Machado
Design Instrucional: Daynitti Ventura de Jesus

Reviso Gramatical: Christiane Maria Nunes de Souza, Marcos Eroni Pires

Copyright 2009, Universidade Federal de Santa Catarina / Consrcio RediSul


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

Ficha Catalogrfica
G635e Gonalves, Mirian Buss
Elementos de anlise / Mirian Buss Gonalves, Daniel Gonal-
ves. - Florianpolis : UFSC/EAD/CED/CFM, 2009.
158p.

ISBN 978-85-99379-66-0

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


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

1 Noes Topolgicas em  9
n

n
1.1 O espao Euclidiano  11
1.2 Espaos Mtricos 15
n
1.3 Mtricas em  17
1.4 Um Exemplo de Mtrica num Conjunto de Funes 19
1.5 Mtrica Induzida 21
1.6 Dimetro de um Conjunto; Distncias entre Conjuntos 22
1.7 Bolas Abertas 26
1.8 Conjuntos Abertos 30
1.9 Conjuntos Fechados 35
1.10 Pontos de Acumulao 37
1.11 Fecho de um Conjunto 40

2 Convergncia 53
2.1 Sequncias de Nmeros Reais 55
2.2 Sequncias em um Espao Mtrico 59
2.3 Limite de uma Sequncia 60
2.4 Subsequncias 67
2.5 Sequncias Limitadas 69
2.6 Caracterizao dos Conceitos do Captulo 1,
atravs de Sequncias 72
2.7 Alguns Resultados Interessantes em  78
2.7.1 O Conjunto de Cantor 78
2.7.2 Princpio dos Intervalos Encaixados................................ 81
2.7.3 Outra Verso do Teorema de Bolzano-Weierstrass 82
2.8 Sequncias de Cauchy 83
2.9 Espaos Mtricos Completos 86

3 Continuidade 93
3.1 Funes Contnuas 96
3.2 Conjuntos Compactos 108
3.3 Continuidade Uniforme113
3.4 Conjuntos Conexos116
3.5 Teorema do Valor Intermedirio 122

Respostas dos Exerccios 129


Referncias 157
Apresentao

Caro Leitor,

Seja bem-vindo ao estudo de Anlise Matemtica.

Provavelmente esta uma das ltimas disciplinas que faltam


para voc se graduar em Matemtica. Os contedos apresentados
neste livro aprofundam o seu conhecimento anterior e tm como
principal finalidade ampliar sua intuio matemtica e seu racio-
cnio lgico.

Para isso, voc ser introduzido na linguagem formal da Ma-


temtica, onde os conceitos, proposies etc. so tratados com
formalismo e rigor. No entanto, a linguagem matemtica clara
e precisa que vamos usar no ser carregada em demasia, de
forma a no prejudicar o desenvolvimento das ideias e o prprio
aprendizado.

Sem descuidar do rigor matemtico, procuramos apresentar os


contedos de uma maneira envolvente, de forma a lhe propiciar
uma aprendizagem autnoma e agradvel. Caber a voc a busca
do entendimento dos conceitos, das demonstraes, bem como a
resoluo dos exerccios propostos.

Os conceitos explorados so: noes bsicas de topologia em espa-


os mtricos, com nfase para os espaos Euclidianos; convergn-
cia de sequncias em espaos mtricos, explorando alguns resul-
tados relevantes em ; continuidade, destacando-se os teoremas
mais importantes utilizados no estudo de Clculo.

A fim de tornar a notao utilizada mais leve e simples, inicial-


mente apresentamos os conceitos no contexto de um espao m-
trico geral. No entanto, no decorrer de todo o texto, a maior parte
dos exemplos e aplicaes desenvolvida nos espaos Euclidia-
nos n , n = 1, 2,3 .

Mesmo que os contedos possam lhe parecer difceis em alguns


momentos, enfrente o desafio. Estude com afinco e dedicao.
Acreditamos que esta disciplina vai lhe proporcionar uma viso
mais abrangente da Matemtica, lhe abrindo horizontes como pro-
fessor 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
1 Noes Topolgicas em n
1 Noes Topolgicas em n

Neste captulo voc vai adquirir conhecimentos bsicos de


Topologia no n , com nfase para n = 1, 2,3. Isso oportu-
nizar 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, inte-
rior, fecho e fronteira de um conjunto.

Antes de iniciar o captulo, vejamos o que Cantor e Hilbert afir-


maram sobre o estudo de conjuntos:

Por conjunto entendemos a entidade formada quando colocamos


certos objetos, definidos e distintos m, da nossa intuio ou pensa-
mento. 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 cla-
ra e precisa.

n
1.1 O espao Euclidiano
[...] muito util considerar nmeros complexos, ou nmeros for-
mados por vrias unidades [...] (Peano, 1888a, Math. Ann., vol.
32, p.450, apud [6, Hairer-Wanner])

11
Os nmeros complexos aos quais Peano se refere so o que hoje
conhecemos por vetores (nomenclatura sugerida por Hamilton
(1853)). Sua importncia matemtica enorme e seu estudo des-
lanchou em meados do sculo 19, quando matemticos tiveram a
ideia de denotar pares de nmeros (ou n -uplas) por apenas uma
letra, por exemplo x = ( x1 , x2 , , xn ) , e considerar os mesmos como
novos objetos matemticos.

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


calar o espao n um espao vetorial.

interessante voc relembrar as propriedades de um espao ve-


torial. Retome o texto da disciplina lgebra Linear.

Como n um espao vetorial, podemos introduzir o conceito


de norma.

12
Definio 1.1. Uma norma em n uma funo || ||: n tal
que para quaisquer x, y n e , valem as seguintes proprie-
dades:

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 nor-
ma, estaremos subentendendo que a norma usada a norma Eu-
clidiana.

No nosso estudo, de forma geral, vamos trabalhar nos espaos


n , n = 1, 2,3 . Isso nos permite visualizar geometricamente os
conceitos que vamos explorar.

Exemplo 1.1. Identifique, no espao 1 , o conjunto


X = {x 1 / || x ||< 1} .

Observe que o espao 1 nada mais que o conjunto dos nme-


ros reais, que identificamos geometricamente com a reta real.
Temos || x ||=| x |< 1 1 < x < 1 .
Portanto, X o intervalo aberto (1,1) , representado na figura 1.1.

x
1 0 1

Figura 1.1

Exemplo 1.2. Identifique no espao 2 o conjunto


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

13
Geometricamente o espao 2 o plano cartesiano . Se ne-
cessrio, reveja a seo 3.7 do livro texto de Introduo ao Clculo.

Temos || x ||= x12 + x22 < 1 x12 + x22 < 1 .

Portanto, S o conjunto dos pontos interiores circunferncia de


centro em (0,0) e raio 1, ilustrada na figura 1.2.

x2

1 x1

Figura 1.2

Exemplo 1.3. Identifique no espao 3 o conjunto


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

3 o espao cartesiano , que voc utilizou no estudo


da Geometria Analtica e no Clculo para representar figuras geo-
mtricas espaciais como cubos, esferas e outras superfcies.

Temos || x ||= x12 + x22 + x32 = 1 x12 + x22 + x32 = 1 .

Assim, neste caso, S o conjunto dos pontos de uma esfera de


centro na origem (0,0,0) e raio 1, como mostra a figura 1.3.

x3

1 x2

x1

Figura 1.3

14
1.2 Espaos Mtricos
A noo de espao mtrico
foi introduzida em 1906 Intuitivamente, um espao mtrico um conjunto no qual temos
por Maurice Frchet e uma maneira de medir a distncia entre seus pontos.
desenvolvida e batizada
por Felix Hausdorff em
1914. Qual a sua noo de distncia entre dois pontos no plano carte-
siano 2 ?

Provavelmente, voc vai visualizar a figura 1.4 e concluir que a


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

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

x2

y2 y

x2
x

x1 y1 x1
Figura 1.4

Isso est correto. No entanto, podemos ter mais que uma maneira
de medir a distncia. Algumas propriedades devem ser satisfeitas:

M1: A distncia entre dois pontos nunca negativa e s zero


a distncia de um ponto a ele mesmo.

M2: A distncia simtrica, isto , a distncia de x at y


igual distncia de y at x .

M3: A distncia entre 2 pontos x e z sempre menor ou igual


soma das distncias de x at y e de y at z , onde y
um ponto qualquer.

Nota. Qualquer funo que satisfaz estas propriedades pode ser


usada para medir distncias.

Temos a seguinte definio:

15
Definio 1.2. Seja M um conjunto. Uma mtrica em M uma fun-
o d : M M , onde M M o produto cartesiano de M por
M : M M = {( x1 , x2 ) / x1 , x2 M }, tal que para quaisquer x, y, z M ,
temos:

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

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

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

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


do um espao mtrico.

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

d ( x, y ) = 0 | y x |= 0 y x = 0 x = y;

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

MM3:
3 : d ( x, z ) =| z x |
=| z y + y x |
| z y | + | y x |
=| y x | + | z y |
= d ( x, y ) + d ( y, z ).

0, se x = y
Exemplo 1.5. Seja M qualquer. A funo d ( x, y ) =
1, se x y
satisfaz as propriedades de mtrica, sendo denominada mtrica
trivial ou mtrica 0 1 .

Qual a deficincia que voc identifica nesta mtrica?

Ela no diferencia a distncia entre pontos distintos. Por exemplo,


se M = , d (4,9) = 1 , d (5,7) = 1 , etc.

16
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 proprie-


dade M 1 . Por exemplo, d (1, 3) = 5 < 0 .

n
1.3 Mtricas em
Sejam x = ( x1 , x2 , , xn ) e y = ( y1 , y2 , , yn ) pontos de n .

As mtricas usualmente utilizadas no espao n so:

i) Mtrica Euclidiana

d : n n

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

Nota. Observe que para esta mtrica, a distncia de x at y


dada pela norma euclidiana de x y , isto , d ( x, y ) =|| x y || .

ii) Mtrica Retangular ou de ngulo Reto

d1 : n n
d1 ( x, y ) =| y1 x1 | + | y2 x2 | + + | yn xn | .

iii) Mtrica do Mximo

d2 : n n
d 2 ( x, y ) = max{| y1 x1 |,| y2 x2 |,,| yn xn |}.

Observaes.

1) Em nosso estudo a Mtrica Euclidiana ser considerada a m-


trica usual de n .

2) Pode-se provar que

d 2 ( x, y ) d ( x, y ) d1 ( x, y ) kd 2 ( x, y ) ,

onde k uma constante. Devido a estas desigualdades, dizemos


que as trs mtricas so equivalentes. A equivalncia no sentido
de que elas vo produzir os mesmos abertos e fechados em n .

17
importante voc visualizar geometricamente essas medidas de
distncia. Para isso vamos utilizar o espao 2 . Retomando a fi-
gura 1.4, vemos que a distncia Euclidiana entre dois pontos a
distncia medida em linha reta. As figuras 1.5 e 1.6, respectiva-
mente, ilustram a mtrica retangular e a mtrica do mximo.
A mtrica retangular
tambm conhecida como
x2 Mtrica Metropolitana
ou de Manhattan, devido
s redes de transporte
y2 y na forma de grades
retangulares que ocorrem
em muitas cidades
x2 americanas e mesmo
x brasileiras. Em muitos
casos ela a mtrica
mais adequada para
x1 y1 x1 medir as distncias dos
deslocamentos nos centros
urbanos.

Figura 1.5

x2

y2 y

x2
x

x1 y1 x1

Figura 1.6

Exerccio Resolvido
2) Usando as trs mtricas anteriores, identifique os pontos de
2 tais que sua distncia at a origem seja igual a 1.

Resoluo:

Sejam o = (0,0) e x = ( x1 , x2 ) .

18
i) Para a mtrica Euclidiana, temos

d ( x, o) = 1 ( x1 0) 2 + ( x2 0) 2 = 1 x12 + x22 = 1 .

ii) Para a mtrica retangular, vem

d1 ( x, o) = 1 | x1 0 | + | x2 0 |= 1 | x1 | + | x2 |= 1 .

iii) Para a mtrica do mximo, temos

d 2 ( x, o) = 1 max{| x1 0 |,| x2 0 |} = 1 max{| x1 |,| x2 |} = 1.

A figura 1.7 ilustra as 3 situaes.

x2 x2 x2

1 x1 1 x1 1 x1

(i) (ii) (iii)


Figura 1.7

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

1.4 Um Exemplo de Mtrica num


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

uma mtrica em M .

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

x2

d ( f, g)
f

a b x1
Figura 1.8

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


O supremo do conjunto desses nmeros a distncia de f a g
(note que este supremo existe, pois f e g so limitadas).

Vamos verificar as propriedades de mtrica.

Sejam f , g , h M .

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

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

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

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

MM2:
2 : d ( f , g) = d (g, f ) .

imediata pelas propriedades de mdulo de nmeros reais.

M3: Seja x X . Temos

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

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

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

Segue que
d ( f , g ) = sup | g ( x) f ( x) | d ( f , h) + d (h, g ) .
x X

Cabe a voc agora resolver o exerccio que segue.

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

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

b) f ( x) = x 2 e g ( x) = x .

1.5 Mtrica Induzida


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

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

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


[0,1] .

A figura 1.9 ilustra o espao L .

x2
L

1 x1

Figura 1.9

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


do qualquer das mtricas definidas sobre 2 , por exemplo, a m-
trica Euclidiana.

21
1.6 Dimetro de um Conjunto;
Distncias entre Conjuntos
Consideremos os subconjuntos de 2 :

A = {( x1 , x2 ) 2 / x12 + x22 1} ;

B = {( x1 , x2 ) 2 / ( x1 3) 2 + x22 1} ;

C = [0,1] [0,1] .

Observe que C o produto cartesiano do intervalo fechado [0,1]


por ele mesmo:

a) Qual a maior distncia possvel entre 2 pontos do conjunto A ?

b) Qual a menor distncia possvel entre um ponto de A e um


ponto de B ?

c) Qual a maior distncia possvel entre dois pontos de C ?

d) Qual a menor distncia possvel entre a origem e um ponto


de B ?

e) Se substituirmos

A por A ' = {( x1 , x2 ) 2 / x12 + x22 < 1} e

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

as respostas sero as mesmas?

provvel que para responder estas questes voc tenha repre-


sentado geometricamente os conjuntos dados, conforme a figura
1.10.
x2 x2 x2

1 x1 1 2 3 4 x1 1 x1

A B C
Figura 1.10

22
Analisando a figura, podemos obter facilmente as respostas: (a) 2;
(b) 1; (c) 2 ; (d) 2.

As respostas para o item (e) no so to imediatas. Vejamos as


definies que seguem.

Definio 1.3 (Dimetro de um conjunto). Sejam ( M , d ) um es-


pao mtrico e A M , A . Dizemos que o conjunto A li-
mitado se existir um nmero real k > 0 , tal que

d ( x, y ) k , x, y A .

Se A limitado, chamamos de dimetro de A, e denotamos por


diam( A) , o nmero real

diam( A) = sup{d ( x, y ) / x, y A} .

Exemplo 1.7. Em , o dimetro do intervalo fechado [a, b] igual


ao dimetro do intervalo aberto (a, b) , sendo igual a b a , isto ,

diam([a, b]) = diam((a, b)) = b a .

Exemplo 1.8. Os dimetros dos conjuntos A , B e C , representa-


dos na figura 1.10 so:

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

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

x2 x2

1 x1 1 2 3 4x
1

A B
Figura 1.11

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

23
Definio 1.4 (Distncia de um ponto a um conjunto). Sejam
( M , d ) um espao mtrico, A M , A e p um ponto de M .
A distncia de p at A o nmero real que denotamos por d ( p, A),
dado por
d ( p, A) = inf{d ( p, x) / x A} .

Nota.

1) O nfimo existe, pois d ( p, x) 0 , x A .

2) Se p A , ento d ( p, A) = 0 .

Exemplo 1.9. Considere o conjunto C , representado na figura 1.10.


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

Temos que , pois ;e .


Comprove este
resultado, raciocinando
Definio 1.5 (Distncia entre dois conjuntos). Sejam ( M , d ) um geometricamente.
espao mtrico, A, B M , A e B . Definimos a distncia
de A at B como sendo o nmero real

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

Nota.

1) Se A B , ento d ( A, B) = 0 .

2) A B = no implica que d ( A, B) > 0 .

De fato, tome, por exemplo, os intervalos A = [0,1) e B = [1, 2] em .

Temos A B e d ( A, B) = 0 .

Exemplo 1.10. Sejam:

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

Mostrar que a distncia entre A e B zero.

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


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

24
y

x
A

Figura 1.12

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


-caracterizao de nfimo, devemos mostrar que:

Para todo > 0 , existem p A e q B tais que d ( p, q ) < .

D > 0 . Ento, pela propriedade Arquimediana de , existe um


1
x0 tal que x0 > . Tomamos

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

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

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

a) d ( A, B) = 3 em ;

b) d (o, A) = 2 em 2 ; onde o a origem.


3
c) d ( A, B) = 1 em 2 e em .

25
1.7 Bolas Abertas
Vamos agora introduzir a noo de bola aberta, que muito im-
portante para introduzir o conceito de conjunto aberto e outras
noes topolgicas.

Definio 1.6. Sejam ( M , d ) um espao mtrico e x M . Seja r


um nmero real positivo. A bola aberta de centro x e raio r
definida por
B ( x , r ) = { y M / d ( y , x ) < r} .

Em n , podemos escrever

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

Exemplo 1.11. Identifique, geometricamente, as bolas abertas:

1) B (a, ) em .

2) B (a, ) em 2 , para as 3 mtricas introduzidas.

Temos:

1) Em , com a mtrica usual, a bola aberta de centro em a e


raio o intervalo aberto (a , a + ) , ilustrado na figura
1.13.

0 a a a+
Figura 1.13

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


para as mtricas Euclidiana, retangular e do mximo, res-
pectivamente.
x2 x2 x2

a2 a2 a2

a1 x1 a1 x1 a1 x1
(a) (b) (c)
Figura 1.14

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

Propriedade B1. O dimetro de B ( x, r ) satisfaz

diam( B( x, r )) 2r .

De fato, sejam y, z B ( x, r ) . Ento,

d ( y, x) < r e d ( z , x) < r .

Usando a propriedade M 3 , segue que

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

Assim, 2r uma cota superior do conjunto das distncias entre 2


pontos quaisquer da bola e, ento, o seu dimetro satisfaz:

diam( B( x, r )) = sup{d ( y, z ) / y, z B ( x, r )} 2r .

Exemplo 1.12. Em , diam( B( x, r )) = 2r , valendo, assim, a igual-


dade na propriedade B1.

Exemplo 1.13. Seja M = , com a mtrica zero-um. Se r < 1 ,


B ( x, r ) = {x} (conjunto unitrio). Logo, diam( B( x, r )) = 0 e vale,
neste caso, a desigualdade estrita na propriedade B1.

Propriedade B2. Dadas as bolas B ( x, r1 ) e B ( x, r2 ) ,

r1 r2 B( x, r1 ) B( x, r2 ) .

Observao. A prova trivial. Faa uma representao geomtri-


ca 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 fi-


gura 1.15, para 2 com a mtrica usual.

27
y r1
d(x,y)
r
x

Figura 1.15

Seja z B ( y, r1 ) . Temos que

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

Logo, z B ( x, r ) e, portanto,

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

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

B ( x, r1 ) B ( y, r2 ) .

Se z B ( x, r1 ) B ( y, r2 ) , ento existe uma bola aberta com centro


em z contida na interseo B( x, r1 ) B( y, r2 ) .

A figura 1.16 ilustra esta propriedade para 2 com a mtrica usu-


al.

r2

z y
r1
x

Figura 1.16

28
Prova:

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

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

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

Tome = min{1 , 2 } .

Por B2, B( z , ) B( z , 1 ) e B ( z , ) B( z , 2 ) .

Por (1) e (2), conclumos que

B ( z , ) B ( x, r1 ) B( y, r2 ) .

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


to
B ( x, r1 ) B ( y, r2 ) = .

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

r1 r2
x y

d(x,y)

Figura 1.17

Prova (Por contradio):

Vamos supor que existe um ponto

z B ( x, r1 ) B ( y, r2 ) .

Ento d ( x, z ) < r1 e d ( y, z ) < r2 , e, portanto,

d ( x, y ) d ( x, z ) + d ( z , y ) < r1 + r2 ,

o que contraria a hiptese.


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

Definio 1.7 (Interior de um Conjunto). Seja A M , A . Di-


zemos 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 In-


terior de A e denotado por
Int( A) .

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

Exemplo 1.14. Considere, em 2 , o conjunto

A = {( x1 , x2 ) 2 / ( x1 1) 2 + ( x2 1) 2 1} .

Quais os pontos de A que so pontos interiores? Existem pontos


de A que no so interiores? Quais?

A figura 1.18 ilustra este exemplo.

x2

1 x1

Figura 1.18

30
Todos os pontos internos circunferncia de centro em (1,1) e raio
1 so pontos interiores. Os pontos sobre a circunferncia perten-
cem ao conjunto A , mas no so pontos interiores.

Exemplo 1.15. Em , considere os intervalos:

a) Intervalo aberto (a, b) ;

b) Intervalo fechado [a, b] ;

c) Intervalo aberto ilimitado (a, +) ;

d) Intervalo fechado ilimitado [a, +) .

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

Em (b), temos que Int([a, b]) = (a, b) . Os pontos a e b no so


pontos interiores.

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

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


interior.

Exerccio Proposto
4) Identifique, representando geometricamente, Int( A) , sendo:

a) A = {( x1 , x2 ) 2 / x2 x1} ;

b) A = {( x1 , x2 ) 2 / x12 x2 < 0} ;

c) A = {( x1 , x2 ) 2 / x2 > e x1 } ;

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

e) A = (conjunto dos inteiros em );



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

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


aberto se todo ponto de A um ponto interior de A .

Nota. O interior de A sempre est contido em A . Logo, se


A Int( A) , ento A aberto.

31
Exemplo 1.16. Toda bola aberta um conjunto aberto.

De fato, esse resultado uma consequncia imediata da proprie-


dade B3.

Exemplo 1.17. O conjunto A = {x / 0 < x < 1} aberto em , mas


o conjunto B = {( x1 , x2 ) 2 / 0 < x1 < 1, x2 = 0} no aberto em 2 .

A figura 1.19 ilustra esta situao

x2

0 A 1 x B 1 x1

Figura 1.19

O bserve que, com a mtrica Euclidiana, uma bola


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

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


tarefa to fcil. s vezes precisamos ter alguma boa ideia para
fazer isto. Veja o exemplo abaixo:

Exemplo 1.18. Mostrar que o conjunto A = {( x, y ) 2 / x > y 2 + 1}


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

1 x

x=y 2 +1

Figura 1.20

32
Para ver isto, seja (a, b) A . Sem perder a generalidade, supor
b 0 . Tomar > 0 tal que

a > (b + ) 2 + + 1 .

A existncia de pode ser provada usando a frmula de Bhaskara.


Vamos mostrar que B((a, b), ) A. Fazendo isso, segue que A
aberto.

Seja ento ( x, y ) B((a, b), ). Temos

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

e isto implica que | x a |< e | y b |< . Assim,


< x a < ,
< y b < .
Ou,
a < x < a + ,
b < y < b + .
Logo, x a > (b + ) 2 + + 1 = (b + ) 2 + 1 > y 2 + 1.

Isto , x > y 2 + 1. 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 .

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

B ( z , r ) A3 .

Como z A1 e A1 aberto, existe r1 > 0 tal que

B( z , r1 ) A1 .

Da mesma forma, r2 > 0 tal que

B ( z , r2 ) A2 .

Seja r = min{r1 , r2 } .

Ento, B ( z , r ) B ( z , r1 ) A1 e B ( z , r ) B( z , r2 ) A2 .

Logo, B ( z , r ) A1 A2 e, assim, A1 A2 aberto.



Propriedade Ab3. A unio arbitrria de conjuntos abertos um
aberto.

Prova:

Sejam { A } uma coleo de abertos e A = A .



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

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

Logo, A aberto.

Exerccio Proposto
5) Usando induo matemtica, mostre que a interseo finita
de abertos um aberto, isto , se A1 , A2 , , An so conjuntos Se necessrio revise o
captulo 5, Princpio
n
abertos, ento A = Ai aberto, n . de Induo do texto
i =1 de Fundamentos de
Matemtica I [2,
Nota. A interseo de uma coleo infinita de abertos pode no
Carvalho-Gimenez].
ser um aberto.

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

Ento, A
n =1
n = {0} , que no aberto.

34
1.9 Conjuntos Fechados
Conjuntos fechados so definidos simplesmente como conjuntos
cujo complementar aberto. No decorrer deste captulo veremos
algumas outras caracterizaes de conjuntos fechados. Porm,
vale a pena ressaltar que, mesmo em , descrever completamen-
te quais so os conjuntos fechados de um espao mtrico um
problema complicado. Abaixo voc pode ver o desenho do trin-
gulo de Sierpinski em 2 e 3 (figura 1.21). Ambos so conjuntos
O tringulo de Sierpinski fechados (pois os complementares so abertos) e do uma ideia
uma generalizao do
conjunto de Cantor (o qual de quo complicados os conjuntos fechados podem ser.
estudaremos mais tarde).
Se voc quiser saber mais,
sugerimos uma busca na
internet com as palavras
Tringulo de Sierpinski
ou, em ingls, Sierpinski
triangle.

Figura 1.21

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


complementar, C ( F ) , for aberto.

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


em 2 .

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


fechados.

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


fechado em 3 .

Nota. Assim como definimos bola aberta, podemos definir bola


fechada.
B[ x, r ] = { y M / d ( y, x) r}

uma bola fechada em M .

Em n , podemos escrever:

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

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

Na linguagem cotidiana, quando nos referimos a portas, janelas,


livros etc., as palavras aberto e fechado so antnimos. Po-
rm, 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 con-


junto aberto e fechado ao mesmo tempo. Isto segue do fato
que B ( x, 1 ) = {x} .
2
Existem muitos conjuntos que no so abertos nem fecha-
dos. Um exemplo simples o conjunto dos nmeros racio-
nais 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 con-


junto fechado.

Prova:

Sejam F1 e F2 conjuntos fechados e F = F1 F2 .

Temos que
C ( F ) = C ( F1 F2 ) = C ( F1 ) C ( F2 ) .

Como F1 e F2 so fechados C ( F1 ) e C ( F2 ) so abertos,


pela propriedade Ab2, segue que C ( F ) aberto.

Logo, F fechado.

Propriedade Fe3. A interseo de qualquer coleo de conjuntos


fechados fechada.

36
Prova:

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

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

Como F fechado, C ( F ) aberto.

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


Logo, F fechado.

Exerccios Propostos
7) Mostre que a unio finita de fechados um fechado (use
induo matemtica).

8) Em n todo conjunto unitrio fechado? E todo conjunto


finito? Esses resultados so vlidos para qualquer espao
mtrico?

9) Atravs de um exemplo, mostre que a unio de uma famlia


arbitrria de fechados pode no ser fechada.

1.10 Pontos de Acumulao


Intuitivamente, um ponto x um ponto de acumulao de um
conjunto A se existirem outros pontos de A arbitrariamente pr-
ximos de x .

Temos a seguinte definio:

Definio 1.10. Seja A M . Um ponto x M um ponto de acu-


mulao de A se toda bola aberta centrada em x contiver algum
ponto de A , que seja distinto de x .

Denotamos o conjunto dos pontos de acumulao de A por A ' .

Simbolicamente, escrevemos:

x A ' r > 0 , B ( x, r ) { A {x}} .

Observe que x no precisa pertencer a A para ser ponto de acu-


mulao.

Mesmo sem ter sido usada esta nomenclatura, voc j entrou em


contato com o conceito de ponto de acumulao, quando voc es-
tudou limite de funes.

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

[...] calcular o limite de uma funo num ponto b examinar o com-


portamento da funo em pontos extremamente prximo de b [...],

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


acumulao do domnio da funo.

Exemplo 1.23. Em um conjunto unitrio no tem pontos de


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

Exemplo 1.24. Seja A o intervalo (0,1) em . Ento, A ' o inter-


valo fechado [0,1].

1 1 1
Exemplo 1.25. Seja A = 1, , ,, , em . Ento, A ' = {0} .
2 3 n
Exemplo 1.26. Considere, em , o conjunto dos racionais .

Qual o conjunto ' ?

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


mulao de .

De fato, seja x e r > 0 .

Devemos mostrar que a bola aberta


B ( x, r ) = ( x r , x + r )

contm pelo menos um racional distinto de x .

Como o conjunto dos nmeros naturais ilimitado em ,


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

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

Figura 1.22

38
Logo, pelo menos um desses nmeros racionais estar entre x r
e x + r e ser distinto de x , pois o comprimento do intervalo
2
( x r , x + r ) 2r > .
n
Proposio 1.1. F M fechado se, e somente se, F ' F .

Prova:

) F fechado F ' F .

Vamos usar a seguinte propriedade de conjuntos

A B C ( B) C ( A),

onde C ( A) denota o complementar de A em M .

Seja x C ( F ) . Como C ( F ) aberto, existe B ( x, r ) C ( F ) .


Portanto, B( x, r ) F = , o que implica que x C ( F ') (x no
ponto de acumulao de F ).

Logo, F ' F .

) F ' F F fechado.

Vamos mostrar que C ( F ) aberto.

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

Portanto, existe r > 0 tal que B( x, r ) F = , o que implica que


B ( x, r ) C ( F ) .

Logo, x Int(C ( F )) e, dessa forma, C ( F ) aberto.

Segue que F fechado.


Exerccios Propostos
10) Encontrar S ' , sendo S = {( x, y ) 2 / y < x 2 1} .

11) Decida quais dos seguintes conjuntos so fechados em :

1 1 1
a) A = 1, , ,, , ;
2 3 n

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

39
3 4 5 6
c) C = 1, 2, , , , , ;
2 3 4 5
1 1 1 1
d) D = , , , , ;
2 4 8 16
1
e) Domnio de f , sendo f ( x) = ;
x 1
f) Imagem de g , sendo g ( x) = x 2 + 2 x + 2 .

1.11 Fecho de um Conjunto


Em linguagem cotidiana (ou coloquial), podemos pensar no interior
de um conjunto A como o maior aberto contido em A . De forma
anloga, podemos pensar no menor fechado que contm A .

Temos a definio:

Definio 1.11. Seja A M . O fecho de A , denotado por A , o


conjunto obtido pela unio de A com seus pontos de acumulao.

Simbolicamente, escrevemos:

i) A = A A ' ;

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

Proposio 1.2. O fecho de qualquer conjunto sempre um con-


junto 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 acu-


mulao de X . Segue que y C ( X ) .

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

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


que contm A descrita pelo teorema abaixo, cuja prova pode ser
encontrada em [16, Rudin].

Teorema 1.1. Seja A M . Ento, A o menor fechado que con-


tm A , isto , A = F .
A F
F fechado

Exerccio Resolvido
3) Determine os pontos de acumulao e o fecho de cada um
dos seguintes subconjuntos de .

a)
Resoluo:

Note que no possui ponto de acumulao, pois para todo


1
n , B n, = . Disto segue que = (veja definio
2
1.11) e, portanto, fechado.

b)
Resoluo:

Note que = , pois dado um nmero real x qualquer, toda bola


aberta B ( x, ) contm racionais diferentes de x . Pela definio
1.11, segue que = .

c) (0, 2)
Resoluo:

Primeiro observe que se x [0, 2] ento existe um > 0 tal que


B ( x, ) (0, 2) e, portanto, x no ponto de acumula-
o de (0, 2) . Por outro lado, fcil ver que se x [0, 2] , ento
B ( x, ) (0, 2) para todo > 0 . Logo, (0, 2)=[0,2] . Segue
da definio 1.11 que (0, 2) = [0, 2] .

Exerccios Propostos
12) Determine o fecho dos seguintes conjuntos em :

41
1 1 1
a) A = 1, , , , ;
2 3 4

1
b) B = , n .
n =1 n

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


que a incluso no outro sentido no vlida.

Exerccio Resolvido
4) Seja A M . Mostrar que

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

Prova:

) Sejam x A e = inf{d ( x, y ) / y A} .

Se x A , ento = 0 (trivial).

Se x A mas x A ' , ento r > 0 , B( x, r ) A .

Assim, r > 0 , existe y A tal que d ( x, y ) < r .

Como r > 0 qualquer, segue de = 0 .

) Seja x M tal que = inf{d ( x, y ) / y A} = 0 .

Se x A , nada a provar.

Se x A , pela definio de nfimo, para qualquer r > 0 , existe


y A tal que d ( x, y ) < r .

Segue que y A B ( x, ) e, ento, x A ' A .


Usando o conceito de fecho de um conjunto, podemos facilmente


introduzir a definio de conjunto denso. Vejamos:

Definio 1.12. Seja A M . Dizemos que A denso em M se, e


somente se, A = M .

Intuitivamente, um conjunto A denso em M quando seus pon-


tos estiverem espalhados por toda parte de M .

Em , um conjunto A denso quando todo intervalo aberto, por


menor que seja o seu comprimento, contiver pontos de A .

42
Exemplo 1.27. denso em .

Exemplo 1.28. denso em .

Exemplo 1.29. e no so densos em .

Vamos finalizar esta unidade com o conceito de fronteira de um


conjunto. Este conceito pode ser visualizado intuitivamente no
2 , onde para muitos conjuntos a fronteira desempenha o papel
de limitante, como pode ser observado no mapa da figura 1.23.
BOA VISTA

RORAIMA AMAP
MACAP

BELM
MANAUS

AMAZONAS
PAR MARANHO

Fronteira entre
ACRE PORTO VELHO
PALMAS
RIO BRANCO
RONDNIA TOCANTINS

Brasil e Bolvia
PERU
MATO GROSSO

DISTRITO
FEDERAL
CUIAB
BOLVIA
GOINIA
GOIS
MINAS
GERAIS
MATO GROSSO
DO SUL BELO HOR
CAMPO GRANDE

SO PAULO

PARAGUAI
SO PAULO
PARAN

CURITIBA

Figura 1.23SANTA
CATARINA

Temos a seguinte definio.

Definio 1.13. Seja A M , A . Dizemos que um ponto


x M um ponto de fronteira de A se toda bola aberta centra-
da 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) .

M Simbolicamente, escrevemos
Fr(A)
B ( x, r ) A

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

A figura 1.24 ilustra esta definio.

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


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

43
O conjunto A est representado na figura 1.25. Observe que

x2 y 2 = 1

a equao de uma hiprbole. A fronteira de A o grfico desta


hiprbole, isto ,

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

y y

1 1 x 1 1 x
A Fr(A)

Figura 1.25

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


caso, Fr( A) = A .

Exerccios Propostos
14) Verifique se so verdadeiras ou falsas as sentenas:

a) A B Fr( A) Fr( B ) ;

b) x Fr( A) x A ' , isto , x um ponto de acumulao


de A ;

c) Fr ( A B) Fr ( A) Fr ( B) .

15) Identifique e represente geometricamente a fronteira dos


seguintes conjuntos:

a) A = {( x, y ) 2 / x 2 + y 2 1} ;

b) Int( A) (sendo A o conjunto do item a);

c) A = [0,1] em ;

d) B = [0,1] em ;

44
e) C = {( x, y ) 2 / y > x 2 4 x + 3} .

Propriedades da Fronteira:

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

Prova:
B ( x, r ) A x A

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

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

Prova:

) Seja x Int( A) Fr( A) .

Se x Int( A) , nada a provar, pois Int( A) A A .

Se x Int( A) e x Fr( A) , temos que > 0 , B( x, ) A .

Logo, x A .

Conclumos, ento, que Int( A) Fr( A) A .

) Seja x A . Temos duas possibilidades exclusivas

i) x A , ou

ii) x A e x A ' .

i) x A . Novamente temos duas possibilidades exclusivas

x Int( A) ou x Int( A) .

Se x Int( A) , nada a provar.

Suponha que x Int( A) . Ento, toda bola aberta centrada em x


contm pontos do complementar de A .

Como x A , temos

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

Logo, x Fr( A) .

ii) x A e x A ' .

45
Como x ponto de acumulao de A , qualquer bola aberta cen-
trada 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 conjun-


to fechado.

Prova:

Vamos provar que o complementar aberto. Pela propriedade Fr1,


temos

C (Fr( A)) = C ( A C ( A)) = C ( A) C (C ( A)) .

Como A e C ( A) so fechados, seus complementares so abertos.


Pela propriedade Ab3, segue que C (Fr( A)) aberto.

Logo, Fr( A) fechado.


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


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

x
1 A

Figura 1.26

46
Temos
Fr( A) = {( x, y ) 2 / x = 1}

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

Dado um ponto qualquer p 2 , exatamente uma das trs possi-


bilidades a seguir ocorre:

p Int( A) ou p Fr( A) ou p Int(C ( A)) .

Esse resultado pode ser generalizado.

Proposio 1.3. Seja A M . Dado p M , tem-se 3 possibilida-


des exclusivas:
p Int( A) ou p Fr( A) ou p Int(C ( A)) .

Assim, a ideia intuitiva de que a fronteira desempenha um papel


de limitante entre um conjunto e seu exterior, como ilustrado na
figura 1.23, vale para qualquer conjunto de um espao mtrico.

Exerccios Propostos
16) D exemplos de conjuntos A em , 2 e 3 , identifican-
do:
Int( A) , A ' , A , Fr( A) , C ( A) , Int(C ( A)) .

17) D exemplos para ilustrar que:

a) Fr( A) Fr( B ) mas A B ;

b) Um ponto de fronteira no ponto interior.

Exerccios Complementares
1) Verifique quais das seguintes funes so mtricas em :

a) d ( x, y ) =| x + y | ;

b) d ( x, y ) =| x | | y | ;

c) d ( x, y ) = 2 | x y | ;

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

47
2) Verifique quais das seguintes funes so mtricas em 2 :

a) d ( x, y ) = 3 | y1 x1 | +3 | y2 x2 | ;

b) d ( x, y ) =| x1 + y1 | + | x2 + y2 | ;

sendo x = ( x1 , x2 ) e y = ( y1 , y2 ) .

3) Seja f : uma funo estritamente crescente. Seja


d : definida por d ( x, y ) =| f ( x) f ( y ) | . Mostre
que d uma mtrica sobre .

4) Seja X um conjunto no vazio e


M = { f : X / f limitada} .

Em M considere a mtrica
d ( f , g ) = sup{| f ( x) g ( x) |} .
xX

Tomando X = [1,3] , 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. Mos-


tre que diam( A) = 0 A unitrio.

7) Considere com a mtrica usual. Verifique que


1
0 d (a, ) , a ,
2
onde o conjunto dos inteiros.

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


1
que a interseo das bolas abertas de centro em p e raio
n
o conjunto unitrio { p} , isto ,

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

48
9) Seja A = {( x, y ) 2 / y 0} . Tomando 2 com a mtrica
usual e A com a mtrica induzida, desenhe as bolas abertas
e fechadas que seguem:

a) B (o,1) ;

b) BA (o,1) ;

c) B[o,1] ;

d) BA[o,1] ;

onde BA denota uma bola em A e o denota a origem.

10) Determine o interior dos seguintes conjuntos em :

a) = {1, 2,3,} ;

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

d) Intervalo aberto (1, 2) ;

e) (1, 2) ;

f) Intervalo [1, 2) ;

g) Intervalo fechado [1, 2] ;

h) [1, 2] {3} .

11) Identifique quais dos seguintes subconjuntos de 2 , com


a mtrica usual, so abertos e/ou fechados ou nem abertos
nem fechados:

a) A = {( x, y ) 2 / x 2 4 x + y 2 0} ;

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

c) C = {( x, y ) 2 / x < 2 e y 2} ;

d) D = {( x, y ) 2 / x = 0 e y = 0} ;

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

f) F = {( x, y ) 2 / y 2 x 2 > 1} ;

g) G = B (0, 2) B(1, 2) .

49
12) Determine os pontos de acumulao e o fecho de cada um
dos seguintes subconjuntos de :
1 1 1
, , , (0, 2) , [0, 2) , [0, 2] , (0,1) , 1, , , , , .
2 3 n
13) Num espao mtrico qualquer ( M , d ) , mostre que se
A M aberto e a M , ento A \{a} aberto.

14) Sejam xn no vazios em . D exemplos mostrando que


F
n =1
n pode ser vazio se os Fn forem apenas fechados ou ape-

nas limitados.

15) Seja X ' o conjunto dos pontos de acumulao de X . D


exemplos de conjuntos X tais que:

a) X e X ' sejam distintos;

b) X seja subconjunto prprio de X ' ;

c) X ' seja subconjunto prprio de X ;

d) X ' = X .

16) Com suas palavras, d o significado das expresses:

a) a X no ponto interior de X ;

b) X no um conjunto aberto;

c) F no um conjunto fechado;

d) a X no um ponto de fronteira;

e) a X no um ponto de acumulao de X .

17) D exemplos, em 2 , de:

a) conjuntos abertos;

b) conjuntos fechados;

c) conjuntos nem abertos nem fechados.

18) Determine a fronteira dos conjuntos:

a) Em : A1 = [a1; +) ; A2 = [0,1) {3} ; A3 = ;

50
b) Em 2 : B1 = {( x, y ) / xy = 1} ; B2 = {( x, y ) / x > 0 e y > 0} .

19) Encontre os pontos de acumulao dos seguintes conjun-


tos em 2 :

a) A = {(m, n) / m, n } ;

b) B = {( p, q ) / p, q so racionais} ;
1 1
c) C = , / n ;
n n
1 1
d) D = , / m, n ;
m n
m 1
e) D = , / m, n , n 0 .
n n

20) Prove que, em n , vale:

a) int( A) = A \ Fr ( A) ;

b) A = n \ int( n \ A) .

21) Quais afirmaes so verdadeiras em um espao mtrico


M ? Justifique suas respostas.

a) Int ( A) = int( A) ;

b) A A = A ;

c) Int ( A) = A ;

d) Fr ( A) = Fr ( A) ;

e) Fr ( A) M \ A se A aberto.

22) Prove que em um espao mtrico, tem-se:

a) Fr ( A) = Fr ( M \ A) ;

b) A B A B ;

c) A B A B ;

d) Int ( A B ) = Int ( A) Int ( B ) ;

e) Int ( A B ) Int ( A) Int ( B ) .

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

52
2 Convergncia
2 Convergncia

Neste captulo iremos estudar sequncias. Iniciaremos re-


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

2.1 Sequncias de Nmeros Reais


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

Q ue distncia podemos atingir com uma


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

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


podemos usar apenas um livro por andar. Este problema co-
nhecido como o problema da Torre Inclinada de Lire e possui
mais de uma soluo possvel.

A primeira ideia que nos vem simplesmente empilhar os


livros verticalmente e equilibrar no beirado da mesa, de
forma que parte deles fique para fora da mesa (Figura 2.1).

Apesar de este mtodo funcionar, iremos atingir uma dis-


tncia de, no mximo, aproximadamente 1. Poderamos,
MESA
ento, pensar em usar contrapesos para atingir distncias
Figura 2.1 maiores. Porm, o problema prope que usemos apenas

55
um livro por andar e, portanto, no podemos seguir esta ideia.
Vamos, ento, atacar o problema usando a matemtica que j
aprendemos nos clculos.

Primeiro, lembramos que o centro de gravidade combinado c de


dois objetos com massa M 1 e M 2 , localizados em x1 e x2 , respec-
tivamente (Figura 2.2), dado por

x1M 1 + x2 M 2
c= .
M1 + M 2

M1 M2

x1 c x1

Figura 2.2

Para modelar nosso problema, vamos imaginar uma reta real se


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

Mesa 0 1 2 3

Figura 2.3

Podemos assumir que nossa pilha de livros no cair desde que


o centro de gravidade da pilha com n -livros, cn , seja menor ou
igual a zero. Em particular, o mais direita possvel que o centro
pode estar na origem. Vamos, ento, empilhar nossos livros da
seguinte maneira:

Comeamos com a mesa vazia e colocamos um livro sobre a mesa,


de forma que sua extremidade direita esteja no zero. Como o livro
tem largura 2 e massa 1, o centro de gravidade -1. Podemos, en-
to, deslocar o livro para a direita at que o centro de gravidade
dele esteja sobre o zero e ele no cair da mesa (Figura 2.4).

56
1
Mesa 0 1 2 3
Figura 2.4

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


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

1
2
Mesa 0 1 2 3
Figura 2.5

e o centro de gravidade desta pilha de dois livros :

x2 M 2 + c1M 1 (1) 1 + 0 1 1
c= = = .
M 2 + M1 1+1 2
Agora, deslocamos esta pilha para a direita at que o seu centro
de gravidade esteja no 0 , ou seja, podemos deslocar a pilha por
1 1
e teremos alcanado a distncia D2 = 1 + do beirado da mesa
2 2
(Figura 2.6):

1
2
Mesa 0 1 2 3
Figura 2.6

Procedendo desta maneira sucessivamente, teremos que uma pi-


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

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

57
Distncia Atingida Livros Necessrios (N)
2 N=4
4 N = 31
10 N = 12.367
22 N = 2.012.783.315
40 N = 132.159.290.357.566.703

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


de madeira. Voc pode tentar o mesmo em casa!

Figura 2.7

E ste exemplo ilustrou como o trabalho com


sequncias infinitas interessante. Espe-
ramos 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 infi-
nita de nmeros reais, arranjados em uma certa ordem. Mais precisa-
mente, temos uma sequncia (infinita) se para cada nmero natural
n associamos um nmero real xn , conforme definio que segue.

Definio 2.1. Uma sequncia de nmeros reais uma funo


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

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

Exemplo 2.2. (cos ,cos 2 ,cos3,) = (cos n) .

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

2 3 n
Na disciplina de Clculo I, voc estudou as sequncias de n-
meros reais. Antes de continuar seu estudo, interessante voc
revisar a seo 1.3 do livro-texto da referida disciplina.

Generalizando, podemos pensar em sequncias no 2 , 3 , ... ,


n , ou em um espao mtrico qualquer.

Exemplo 2.4. f : 2
1 1
n , .
n 2n

Os termos desta sequncia so formados por pares ordenados de


nmeros reais, como segue:

1 1 1 1 1
1, , , , , , .
2 2 4 3 6

Exemplo 2.5. f : 3
1 1 1
n , , .
n n n

Neste caso, os termos da sequncia so formados por ternas orde-


nadas de nmeros reais. Temos

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

2.2 Sequncias em um Espao Mtrico


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

Notao. Usamos a mesma notao utilizada para sequncias de


nmeros reais, ou seja: ( x1 , x2 , , xn ,) ou ( xn ) .

O conjunto dos termos da sequncia ser denotado por f () , ou


{x1 , x2 ,} .

59
Nota. Veja que o conjunto dos termos da sequncia difere da se-
quncia, como ilustrado no seguinte exemplo:

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

Conjunto dos termos: {0, 2}.

2.3 Limite de uma Sequncia


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

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


convergncia uniforme.
1
( xn ) = ,
n
temos
1
lim xn = lim =0.
n n n

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


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

x
0 1 1 1 1 1
n 4 3 2
Figura 2.9

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

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

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


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

60
xn ,n > n0

( )
0 x

Figura 2.10

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


menor que .

Nota. Lembre que | xn a | nos d a distncia de xn at a .

Como podemos generalizar a definio de limite de uma sequncia


para um espao mtrico qualquer?

Definio 2.3. Sejam ( M , d ) um espao mtrico e ( xn ) uma se-


quncia em M . Dizemos que ( xn ) converge para a M se para
todo > 0 existir n0 tal que

d ( xn , a ) < para todo n > n0 .

Escrevemos: lim xn = a ou xn a , ou ainda, lim xn = a .


n

Se ( xn ) no converge, ela dita divergente.

Nota. Utilizando bolas abertas, podemos escrever:


lim xn = a r > 0 , existir n0 tal que xn B(a, r ) para todo
n

n > n0 .

A visualizao geomtrica ilustrada na figura 2.11.


x1

x2

xn ,n > n0
r
a

Figura 2.11

61
Exemplo 2.6. Seja ( M , d ) um espao mtrico. A sequncia
( x1 , x2 , , xk , p, p, p,) dita sequncia estacionria.

Temos que xn p .

De fato, dado qualquer > 0 , basta tomar n0 = k . Para todo


n > n0 , temos d ( xn , p ) = d ( p, p ) = 0 < .

Exemplo 2.7. Seja M = , com a mtrica usual. A sequncia


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

3n
1 < ,
3n + 1

3n 3n 1
< ,
3n + 1

1
< ,
3n + 1

1
3n + 1 > ,

11
n > 1 .
3
Assim, se tomarmos n0 como o primeiro natural maior que
11 3n
1 , temos que n > n0 1 < , como desejado.
3 3n + 1

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


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

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

Nota. Observe que (d ( zn , a )) uma sequncia de nmeros reais


1
que converge para zero, pois o produto da sequncia 0
(que
n
converge para zero) pela constante 2 (ver teorema 7, da seo

1.3.4 do livro-texto de Clculo I).

1 (1) n
Logo, 1 + , (1,0) .
n n
Exemplo 2.9. Seja ( M , d ) um espao mtrico. A sequncia
( xn ) = (a, b, a, b, a, b,) , onde a b divergente.

1 1
Exemplo 2.10. Em 2 , a sequncia ( zn ) = , (0,0) .
n n

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

Nota. Segue da definio de limite de sequncia que, em um es-


pao mtrico qualquer, uma sequncia xn a se, e somente se, a
sequncia de nmeros reais d ( xn , a ) 0 .

Nos exemplos 2.8 e 2.10, temos sequncias convergentes em 2 .


Observe os resultados e se questione:

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


e yn b ?

A resposta positiva. Temos a seguinte proposio:

Proposio 2.1. A sequncia (( x1 , y1 ),( x2 , y2 ), ,( xn , yn ),) conver-


ge para (a, b) em 2 se, e somente se, a sequncia ( xn ) converge
para a e a sequncia ( yn ) converge para b em .

63
Prova:

) Hiptese: ( xn , yn ) (a, b) .

Tese: xn a e yn b .

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


d (( xn , yn ),(a, b)) < para todo n > n0 .

Ento, para todo n > n0 , temos:

| xn a |= ( xn a ) 2 ( xn a) 2 + ( yn b) 2 = d (( xn , yn ),(a, b)) <

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

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

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

Para todo n > n0 , temos

Observe que se a e b so
nmeros positivos, ento

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

Nota. A proposio 2.1 pode ser generalizada para n .

1 n 1 (1) n 1
Exemplo 2.11. Em 4 , a sequncia ( zn ) = , , , con-
n n n 2n
verge para (0,1,0,0) .

64
Observao Importante: A convergncia depende da mtrica.

1
Exemplo 2.12. De fato, em , com a mtrica usual, 0 .
n
1
Se tomarmos a mtrica 0 1 , a sequncia no converge para
n
1
zero, pois d ,0 = 1 , para todo n .
n
1 1
Com esta mtrica, a sequncia diverge, pois, a , d , a = 1,
n n
exceto, possivelmente, para um determinado valor de n .

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


pao das funes contnuas, f :[0,1] com a mtrica
d ( f , g ) = max{| f (t ) g (t ) |} .
0t 1
nt
Neste espao, considere a sequncia ( f n ) , onde f n (t ) = para
n+t
todo t [0,1] .

Cada termo da sequncia uma funo de t . Assim, o limite, se


existir, ser uma funo de t .

O que ocorre se considerarmos t fixo e n ?

Podemos verificar facilmente que


nt
lim =t.
n n + t

Denote f (t ) = t .

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


n

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

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

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

65
Nota. Observe que na seo 1.4 definimos uma mtrica num espa-
o de funes usando o supremo. Neste exemplo usamos o mxi-
mo porque estamos trabalhando num espao de funes contnu-
as definidas num intervalo fechado e limitado. Em um intervalo
desse tipo toda funo contnua assume valor mximo.

Exerccio Proposto
2) Use um software grfico e construa o grfico das funes:
f (t ) , f n (t ) , n = 1, 2,,5 .

Proposio 2.2. Seja ( xn ) uma sequncia num espao mtrico


( M , d ) . Se existir lim xn ele nico.
n

Prova:

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


n n

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

Como xn b , n2 tal que d ( xn , b) < para todo n > n2 .
2
Seja n0 = max{n1 , n2 } .

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

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

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


Exerccio Proposto
3) Verifique quais das sequncias abaixo convergem. Para as
sequncias convergentes d o limite:

(1) n+1 (1) n 2


a) , em ;
n n
b) (a, b, a, b, a, b,) , a b em ;

c) (1, 2,3,, p, p, p,) em com a mtrica 0 1 ;

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

2.4 Subsequncias
Introduziremos agora a noo de subsequncias. Se voc ach-la
difcil, no desanime! Veja o que escreveu Mittag-Leffler, ainda
em 1875:

Eu acho realmente surpreendente que Mr. Weierstrass e Mr. Kro-


necker consigam atrair tantos estudantes entre 15 e 20 para aulas
que so to difceis e em um nvel to avanado. (Carta de Mittag-
Leffler, 1875, veja Dugac 1978, p. 69, apud [6, Hairer-Wanner])

(1) n 1 1 1
Em , considere a sequncia = 1, , , , .
n 2 3 4
Podemos, de uma maneira muito natural, destacar duas subse-
quncias:
1 1
1, , , e
3 5

1 1 1
, , , .
2 4 6
A primeira a restrio da sequncia dada ao conjunto dos natu-
rais mpares e a segunda aos naturais pares.

Outras subsequncias podem ser obtidas? Por exemplo,


1 1
1, , , uma subsequncia?
4 7
A resposta positiva. Vejamos:

Definio 2.4. Seja ( xn ) uma sequncia em um espao mtrico


(M , d ) .

Uma subsequncia de ( xn ) uma restrio da aplicao


f : M
f (n) = xn
a um subconjunto infinito k = {n1 , n2 , , nk , / n1 < n2 < < nk < }
de .

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

67
Observao. Uma subsequncia pode ser vista como uma sequn-
cia, atravs da aplicao

1 xn1
2 xn2

k xnk

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


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

Prova:

Seja ( xnk ) uma subsequncia de ( xn ) . Seja > 0 . Como lim xn = a ,


existe n0 tal que d ( xn , a ) < para todo n > n0 .

Como o conjunto de ndices da subsequncia {n1 , n2 , , nk ,}


infinito, existe k0 tal que nk0 n0 .

Para k > k0 temos nk > nk0 > n0 e, assim, d ( xnk , a ) < .

Logo, xnk a .

Nota. Esta proposio muito til para mostrar que determina-


das sequncias divergem. De fato, basta exibir duas subsequn-
cias convergindo para valores distintos.

Exemplo 2.13. Em , a sequncia ((1) n+1 ) = (1, 1,1, 1,) diver-


ge. De fato, basta destacar as subsequncias:
(1,1,1,) 1
(1, 1, 1,) 1 .
As bolas abertas, estudadas detalhadamente no primeiro captu-
lo, constituem uma ferramenta muito importante quando estuda-
mos convergncia em espaos mtricos. A proposio que segue
ilustra bem isso.

Proposio 2.4. Sejam ( xn ) uma sequncia num espao mtrico


( M , d ) e a M . O ponto a o limite de uma subsequncia de

68
( xn ) se, e somente se, para todo r > 0 , a bola aberta B (a, r ) conti-
ver 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 ) , con-
vergindo para a , como segue:

Escolhemos xn1 entre a infinidade de termos de ( xn ) pertencentes


a B (a,1) .

1
Como B a, tambm contm uma infinidade de termos ( xn ),
2
1
escolhemos n2 > n1 tal que xn2 B a, .
2
Suponhamos ter escolhido, desta forma, xn1 , xn2 , , xnk 1 .

1
Como B a, contm uma infinidade de termos de ( xn ) , pode-
k
1
mos escolher nk > nk 1 tal que xnk B a, .
k
A subsequncia ( xnk ) de ( xn ) , assim construda, satisfaz
1
d ( xnk , a ) < .
k
1
Como 0 quando k , segue que xnk a .
k

2.5 Sequncias Limitadas


Voc estudou sequncias limitadas em na disciplina de Cl-
culo I. Tenha sempre este contedo disponvel e caso necessrio
revise. As ideias intuitivas e geomtricas l apreendidas so gene-
ralizadas aqui para espaos mtricos.

1 1 1
Observe as sequncias de nmeros reais = 1, , , e
(2n) = (2, 4,6,8,) . n 2 3

69
A 1 sequncia limitada e a 2 no limitada. Como formalizar
estes conceitos? Vejamos:

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


sequncia ( xn ) de pontos de M limitada quando o conjunto
dos seus termos {x1 , x2 , x3 ,} limitado, ou seja, est contido em
uma bola, o que em termos formais significa que existem L > 0 e
x0 M tal que xn B( x0 , L), n .

Exemplo 2.14. A sequncia (1 + (1) n ) limitada em , pois o


conjunto de seus termos {0, 2} limitado.

Exemplo 2.15. As sequncias estacionrias so limitadas em qual-


quer espao mtrico.

Exemplo 2.16. (n + (1) n n) = (0, 4,0,8,0,12,) no limitada, pois


o conjunto de seus termos {0, 4,8,12,} no limitado.

Exerccio Proposto
4) D exemplos:

a) Uma sequncia no limitada em 2 ;

b) Uma sequncia limitada em 3 ;

c) Uma sequncia limitada num espao mtrico M com a


mtrica 0 1 . Existe uma sequncia no limitada neste
espao?

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


vergente limitada.

Prova:

Seja xn a . Ento, para = 1 , n0 tal que

n > n0 xn B(a,1) .

O conjunto {x1 , x2 , , xn0 } um conjunto finito. Podemos tomar,


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

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

Seja r = max{1, r1} .

Ento todos os termos da sequncia pertencem bola B (a, r ) .


Conclumos que ( xn ) limitado.

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

Observao. A proposio 2.5 til para mostrar que de-


terminadas sequncias divergem. Por exemplo, a sequncia
(n + (1) n n) = (0, 4,0,8,0,12,) diverge, pois no limitada.

A seguir, vamos demonstrar um teorema muito famoso, vlido


para as sequncias em , cujo enunciado voc j utilizou na dis-
ciplina de Clculo I.

Teorema 2.1 (Teorema de Bolzano-Weierstrass). Toda sequncia


limitada de nmeros reais possui uma subsequncia convergente.

Prova:

Seja ( xn ) uma sequncia limitada de nmeros reais. Ento


a, b tais que xn [a, b] , n .

Seja A = {t / t xn para uma infinidade de ndices n} .

A figura 2.12 ilustra a definio do conjunto A .

infinidade de termos de xn

[ ]
a tA b
Figura 2.12

Temos:

i) a A , pois a xn , n ;

ii) t A , t b .

71
Logo, A e limitado superiormente.

Seja C = sup A .

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


converge para C . Pela proposio 2.4 isso equivalente a mostrar
que: > 0 , B (C , ) contm uma infinidade de termos de ( xn ) .

Seja > 0 . Como C = sup A , t A tal que C < t (ver figura


2.13)

tA

C C
Figura 2.13

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


termos xn . Por outro lado, C + A . Portanto, existe no mximo
um nmero finito de termos xn , tais que xn C + .

Conclumos, ento, que para uma infinidade de termos xn ,

C < xn < C + .

Pela proposio 2.4 segue que C o limite de uma subsequncia


de ( xn ) .

Observao. O teorema 2.1 pode ser generalizado para n .

2.6 Caracterizao dos Conceitos do Captulo


1, atravs de Sequncias
Proposio 2.6 (Ponto de Acumulao). Sejam ( M , d ) um espao
mtrico e X M . Um ponto a M um ponto de acumulao
de X se, e somente se, a limite de uma sequncia de pontos de
X {a} .

Prova:

) Vamos supor que existe uma sequncia ( xn ) em X {a}


tal que xn a . Ento para todo r > 0 , existe n0 tal que
xn B(a, r ) , para todo n > n0 .

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

Logo, a ponto de acumulao de X .

) Vamos supor que a X ' . Devemos mostrar que existe ( xn )


em X {a} tal que xn a .

Como a X ' , r > 0 , B (a, r ) ( X {a}) . Assim, para


1
r = , podemos escolher um ponto
n
1
xn B a, ( X {a}) .
n
A sequncia ( xn ) est em X {a} e satisfaz
1
d (a, xn ) < .
n
1
Como 0 segue que xn a .
n

Exerccio Resolvido
1) Em , verifique que 0 ponto de acumulao do conjunto
1 1 1
X = 1, , , , .
2 4 8

Resoluo:

Basta observar que a sequncia 1 est em X {0} e que


n
1 2
lim n = 0 .
n 2

Exerccio Proposto
6) Decida se os pontos dados so pontos de acumulao dos
seguintes conjuntos:

a) a = 1 , X = (0,1) em .

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

73
Proposio 2.7 (Ponto Aderente). Sejam ( M , d ) um espao mtri-
co e X M . Um ponto a M aderente a X se, e somente se, a
Relembre que o conjunto
limite de uma sequncia de pontos de X .
dos pontos aderentes a X
denominado por fecho de X
Prova: e denotado por .

) Supor a X . Ento a X ou a X ' .

Se a X , podemos formar a sequncia ( xn ) = (a, a, a,) . Temos


que ( xn ) est em X e xn a .

Se a X ' , pela proposio 2.6, existe uma sequncia ( xn ) em


X {a} tal que xn a .

) Supor que existe uma sequncia ( xn ) em X tal que xn a.

Se xn a para todo n , ento ( xn ) uma sequncia de pontos em


X {a} com xn a . Logo, a ponto de acumulao de X e,
assim, a X , pois X ' X .

Se existir algum m tal que xm = a , ento a X X .

Logo, em qualquer caso, a X .


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


dito denso em M se X = M .

Intuitivamente, dizemos que X denso em M quando os ele-


mentos de X esto espalhados por toda parte de M .

Exerccio Resolvido
2 ) Verificar se denso em .

Resoluo:

Devemos responder a pergunta: todo nmero real a o limite de


uma sequncia de racionais?

A resposta positiva. De fato:

Se a , basta tomar a sequncia (a, a, a,) a .

Se a , a pode ser expresso como uma decimal infinita no


peridica:

74
a = b0 , b1b2b3 .

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

xn = b0 , b1b2 bn 1 .

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

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


mtrico e X M . X fechado se, e somente se, X contm todos
os limites de sequncias de pontos de X .

Prova:

) Suponha que X fechado. Seja ( xn ) uma sequncia em X ,


xn a . Pela proposio 2.7, a X . Como X fechado, X = X
e, assim, a X .

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


existe uma sequncia ( xn ) em X , xn a . Aplicando a hiptese
segue que a X .

Logo, X X e ento X fechado.


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

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


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

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

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

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

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


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

Prova:

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

Fr( X ) = X C ( X ).

Pela proposio 2.7, a o limite de uma sequncia de pontos de X


e, tambm, o limite de uma sequncia de pontos de C ( X ) .

) Vamos supor que a = lim xn = lim yn , com ( xn ) em X e ( yn )

em C ( X ) . Seja > 0 . Como a = lim xn , existe n0 tal que

xn B(a, ) , n > n0 .

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

B (a, ) X .

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

yn B(a, ) , n > n1 .

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

B (a, ) C ( X ) .

Logo, a Fr( x) .

Vamos ilustrar o uso desta proposio no exerccio que segue.

76
Exerccio Resolvido
3) Verifique que o ponto (0, 0) um ponto de fronteira do con-
junto X = {( x, y ) 2 / x < y} em 2 .

Resoluo:

A figura 2.14 ilustra o conjunto X .

Figura 2.14

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

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

Logo, (0, 0) Fr( X ) .

Exerccio Proposto
8) Determine a fronteira do conjunto X do exerccio resolvido
anterior. Escolha dois pontos distintos de (0, 0) e mostre que
eles pertencem a fronteira de X usando a proposio 2.9.

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


trico e A M . A aberto se, e somente se, cumpre a seguinte
condio:

( xn a A) xn A para todo n suficientemente grande.

77
Prova:

) Seja xn a A. Como A aberto, 1 > 0 tal que B (a, 1 ) A .

Como xn a , para este 1 > 0 , n0 tal que

xn B(a, 1 ) A para todo n > n0 .

) bom destacar bem nossa hiptese e nossa tese, neste caso.


Temos:

Hiptese: ( xn a A) xn A para todo n suficientemente grande.

Tese: A aberto.

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


posio 2.8.

Seja ( xn ) uma sequncia em C ( A) , xn a . Usando a hiptese,


conclumos que a C ( A) . De fato, no podemos ter a A , pois
ento xn pertenceria a A para n suficientemente grande.

Pela proposio 2.8, segue que C ( A) fechado.

Logo, A aberto.

2.7 Alguns Resultados Interessantes em


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

2.7.1 O Conjunto de Cantor


Nesta seo estudaremos o conjunto de Cantor, conjunto este intro-
duzido 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 im-
portantes da matemtica moderna, aparecendo em diversas reas
da matemtica, como sistemas dinmicos, anlise e topologia.

O conjunto de Cantor K um subconjunto fechado do intervalo


[0,1] , construdo da seguinte forma:

78
1 2
1 Etapa: Retira-se do intervalo [0,1] o seu tero mdio aberto , .
3 3
2 Etapa: Retira-se o tero mdio aberto de cada um dos interva-
1 2
los restantes 0, e ,1 .
3 3
1 2 1 2 7 8
Sobra, nesta etapa: 0, , , ,1 .
9 9 3 3 9 9
k-sima etapa: Retira-se o tero mdio aberto de cada um dos
intervalos restantes na etapa anterior.

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


no retirados o conjunto de Cantor.

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

[ ] [ ]
0 1 2 1
3 3

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

[] [] [] [] [] [] [] []
Figura 2.15

2.7.1.1 Propriedades do Conjunto de Cantor (K)

1) K fechado

Se indicarmos por I1 , I 2 , I 3 , , I n , os intervalos abertos


omitidos, temos que
C


K = [0,1] I n = [0,1] I n = [0,1] ( I n )c .
n =1 n =1 n =1
Como I n aberto, ( I n )C fechado para todo n . Pelas pro-
priedades de conjuntos fechados segue que K fechado.

79
2) Int( K ) =

Seja x K . Ento x Int( K ) se existir um > 0 , tal que


( x , x + ) K .

Para ver que x no ponto interior, devemos observar que


depois da n -sima etapa de construo de K restam ape-
1 1
nas intervalos de comprimento n . Como n 0, vemos que
3 3
> 0 , ( x , x + ) K .

3) K no enumervel.

A prova pode ser encontrada em [12, Lima].

4) K no contm pontos isolados (todos os pontos de K so


pontos de acumulao).

Vamos mostrar isso em duas etapas.

Etapa 1: Vamos observar primeiro os pontos extremos dos inter-


valos omitidos na construo de K , isto , os pontos
1 2 1 2 7 8
, , , , , ,.
3 3 9 9 9 9
Seja c K um desses pontos, digamos, seja c a extremidade es-
querda do intervalo (c, b) omitido para formar K (Figura 2.16).
Quando (c, b) foi retirado, restou um certo intervalo [a, c] .

[ ]( (
a an c b
Figura 2.16

Nas etapas seguintes, restaro sempre teros finais de intervalos


do tipo [an , c] , an K .

O comprimento c an 0 e, assim, > 0 , an (c , c + ) .

Logo, c no ponto isolado ( ponto de acumulao).

Etapa 2: Seja c K , agora, que no seja extremo de intervalo re-


tirado.

Existem tais pontos? A resposta positiva, pois K no enumervel.

80
Vamos provar que c no ponto isolado de K .

Dado qualquer > 0 , mostraremos que (c, c + ) K .

De fato, dado qualquer > 0 , existe algum ponto de K no inter-

valo (c, c + ) , caso contrrio, este intervalo estaria todo contido


num dos intervalos removidos e (como c K ) c s poderia ser
extremo de um dos intervalos retirados.

5) A soma dos comprimentos dos intervalos removidos 1.

De fato, a soma dos comprimentos dos intervalos removidos


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

2.7.2 Princpio dos Intervalos Encaixados


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

I n = [an , bn ]

intervalos fechados e limitados em tais que

I1 I 2 I n I n +1 .

Ento existe pelo menos um ponto comum a todos os intervalos.

Prova:

Como I1 I 2 , temos que

a1 a2 an an +1

b1 b2 bn bn +1

Alm disso, am bn , m, n .

Logo, cada bn uma cota superior do conjunto A = {a1 , a2 , , an ,}


e cada am uma cota inferior do conjunto B = {b1 , b1 , , bn ,}.

Existem, ento, a = sup A e b = inf B em .

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

Como todo bn uma cota superior de A,

a bn , n .

Temos, ento,
an a bn , n .

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

Exerccio Proposto

9) De forma anloga, mostre que b [an , bn ] .
n =1

2.7.3 Outra Verso do Teorema de Bolzano-Weierstrass


Todo subconjunto infinito e limitado de possui um ponto de
acumulao.

Prova:

Seja A um subconjunto infinito e limitado de . Como A limita-


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

Consideremos, agora, os intervalos


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

Pelo menos um desses dois intervalos contm uma infinidade de


ponto de A, pois A infinito.

Denotamos este intervalo por I1 = [a1 , b1 ] . Dividimos, agora, o in-


tervalo [a1 , b1 ] em dois
a1 + b1 a1 + b1
a1 , 2 e 2 , b1 .

Novamente, um desses intervalos contm uma infinidade de pon-


tos de A. Denotamos este intervalo por I 2 = [a2 , b2 ] .

Continuando esta construo, obtemos uma sequncia de interva-


los encaixados e fechados

I1 I 2 I 3 ,

82
onde I n = [an , bn ] , cujos comprimentos so:
ba
I1 :
2
ba
I2 :
4
ba
I3 :
8

ba
In : n .
2
Pelo princpio dos intervalos encaixados, existe pelo menos um
ponto p comum a todos os intervalos.

Afirmao: p ponto de acumulao de A .

De fato, vejamos:

Dado > 0 , devemos mostrar que a bola aberta ( p , p + )


contm algum ponto a A , a p .
ba
Seja n0 tal que n0 < . Observe que este nmero existe,
2
ba
pois a sequncia n 0 .
2
Seja I n0 o intervalo correspondente, conforme a construo rea-
lizada. Ento,

an0 , bn0 ( p , p + ) e p an0 , bn0 .

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


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

2.8 Sequncias de Cauchy


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

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

1
Exemplo 2.18. A sequncia de Cauchy em .
n

83
1
De fato, como 0 , > 0 , n0 tal que
n
1
0 < , n > n0 .
n 2
Assim, n, m > 0

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

Exerccio Proposto
10) Considere um espao mtrico ( M , d ) com a mtrica 0 1 .
Caracterize as sequncias de Cauchy em M .

1
No exemplo anterior vimos que a sequncia de Cauchy em
n
. Esta sequncia convergente. Voc pode se perguntar: toda
sequncia convergente de Cauchy?

A resposta positiva, conforme proposio que segue.

Proposio 2.11. Toda sequncia convergente num espao mtri-


co ( M , d ) uma sequncia de Cauchy.

Prova:

Seja ( xn ) a . D > 0 . Ento existe n0 tal que



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

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

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


chy em um espao mtrico convergente.

Exemplo 2.19. Seja M o intervalo aberto (0, 2) em , com a m-


trica usual de induzida em M .

1
Neste espao a sequncia de Cauchy, mas no converge.
n

84
Exemplo 2.20. Seja M = com a mtrica usual.

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


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

Embora existam sequncias de Cauchy que no convergem, a


propriedade de Cauchy est intimamente ligada convergncia.
A proposio que segue mostra uma dessas relaes.

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


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

Prova:

Seja > 0. Como xnk a, k0 tal que d ( xnk , a ) < , k > k0 .
2
Como ( xn ) de Cauchy, n0 tal que

d ( xn , xm ) < , m, n > n0 .
2
Seja n1 = max{n0 , k0 } e seja nk > n1 ( nk fixo).

Temos

d ( xn , a ) d ( xn , xnk ) + d ( xnk , a ) < + = , n > n1 .
2 2
Logo, ( xn ) a .

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


Cauchy limitada.

Prova:

Seja ( xn ) uma sequncia de Cauchy em M . Tome = 1 . Para este


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

Assim, o conjunto A = {xn 0 , xn 0 +1 ,} limitado.

Seja B = {x1 , x2 , , xn 0 1} . Como B finito, B limitado.

Logo, {x1 , x2 , , xn ,} = A B limitado.


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

2.9 Espaos Mtricos Completos


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

J comentamos que a propriedade de Cauchy est intimamente


ligada convergncia. Mas vimos exemplos de sequncias de
Cauchy que no convergem em determinados espaos. Podemos
dizer que, num espao ( M , d ) , se ( xn ) de Cauchy e no conver-
gir, isto se deve ao espao M e no sequncia ( xn ) .

Vejamos a seguinte definio.

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


completo se toda sequncia de Cauchy em M for convergente
em M .

Nota. Observe que no completo.

Teorema 2.2. O conjunto dos nmeros reais , com a mtrica


usual, um espao mtrico completo.

Prova:
Seja ( xn ) uma sequncia de Cauchy em . Pela proposio 2.13,
( xn ) limitada. Usando o Teorema de Bolzano-Weierstrass, pode-
mos concluir que ( xn ) possui uma subsequncia convergente. Pela
proposio 2.12, temos que ( xn ) converge.

Nota Importante. A complitude de tambm pode ser demons-


trada sem o uso do Teorema de Bolzano-Weierstrass (e consequen-
temente sem o uso da propriedade do supremo), construindo-se
via cortes de Dedekind. Mais detalhes podem ser encontrados
em [14, Marsden & Hoffman] ou [16, Rudin].

86
Exerccios Resolvidos
4) Seja M o intervalo aberto (0, 2) com a mtrica usual indu-
zida de . Verifique que M no completo.

Resoluo:

Para mostrar que M no completo, voc deve exibir uma se-


quncia de Cauchy em M que no converge em M . Tome, por

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



n
Cauchy, mas no converge em M .

Observao. interessante voc dar exemplos de outras sequn-


cias de Cauchy em M que no convergem em M .

5) Seja ( M , d ) um espao mtrico, em que d a mtrica 0 1 .


Verifique que ( M , d ) completo.

Resoluo:

No exerccio proposto 10), voc caracterizou as sequn-


cias de Cauchy em M . As sequncias de Cauchy em M so as
sequncias estacionrias, isto ,

( xn ) = ( x1 , x2 , , xk , p, p, p,)

que convergem para p M .

Logo, M completo.

6) Seja M o intervalo fechado [0, 2] com a mtrica usual indu-


zida de . Verifique que M completo.

Resoluo:

Seja ( xn ) uma sequncia de Cauchy em M . Ento ( xn ) de Cau-


chy em .

Como completo, a tal que xn a . Mas [0, 2] fecha-


do. Pela caracterizao de conjunto fechado via sequncias (pro-
posio 2.8), a M .

Logo, ( xn ) converge em M e, consequentemente, M completo.

87
Exerccio Proposto
12) D outros exemplos de subespaos de que sejam:

i) completos;

ii) no completos.

Nota. Os exerccios anteriores devem ter levado voc a cogitar se


os resultados obtidos podem ser generalizados.

Temos a seguinte proposio.

Proposio 2.14 Todo subespao fechado de um espao mtrico


completo completo. Reciprocamente, todo subespao completo
de qualquer espao mtrico fechado.

Prova:

) Hiptese: ( M , d ) completo, F M , F fechado.

Tese: F completo.

Seja ( xn ) uma sequncia de Cauchy em F . Ento ( xn ) de Cau-


chy em M . Como M completo, ( xn ) a M . Como F
fechado, pela proposio 2.8, a F .

Logo, ( xn ) converge em F e, dessa forma, F completo.

) Hiptese: ( M , d ) um espao mtrico, F M , F comple-


to;

Tese: F fechado.

Seja ( xn ) uma sequncia de pontos de F, com lim xn = a M . Pela


proposio 2.11, ( xn ) de Cauchy. Como F completo, ( xn )
converge em F , isto , a ' F tal que lim xn = a ' .

Pela unicidade do limite (proposio 2.2), temos a = a ' . Pela ca-


racterizao de conjunto fechado via sequncia (proposio 2.8),
conclumos que F fechado.

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


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

88
M M densamente e d = d sobre M . Basta adicionar a M os
limites das sequncias de Cauchy em M .

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


mtrico de .

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

Um dos processos de construo dos nmeros reais atravs


do completamento de : acrescenta-se a os limites das se-
quncias 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 per-


guntar: e os espaos Euclidianos 2 , 3 , ..., n , so completos?

A resposta positiva, conforme voc pode constatar para 2 no


exerccio que segue.

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

Resoluo:

Seja ( zn ) = (( xn , yn )) uma sequncia de Cauchy em 2 .

Ento ( xn ) e ( yn ) so sequncias de Cauchy em (verifique esse


resultado de forma anloga prova da proposio 2.1).

Como completo, xn a e yn b . Usando a pro-


posio 2.1, voc conclui que zn (a, b) .

Para concluir este captulo, observamos que em muitos momentos


um matemtico ouve falar em espaos de Banach e em espaos de
Hilbert.

O que so estes espaos afinal?

89
Espaos de Banach: um espao vetorial normado que comple-
to 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
in-
terno. Por exemplo, em com o produto interno x, y = xi yi ,
n

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

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

Se voc tiver interesse pode aprofundar-se estudando em livros


mais avanados de Anlise Matemtica, tais como: [14, Marsden
& Hoffman] ou [16, Rudin].

Exerccios Complementares
Nos exerccios de 1 a 10, considere com a mtrica usual. Se a
afirmao dada verdadeira, prove-a; se for falsa, d um contra-
exemplo:

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


cias convergentes.

8) Se ( xn ) uma sequncia tal que o conjunto de seus termos


est contido no conjunto de Cantor, ento ( xn ) possui uma
subsequncia de Cauchy.

90
9) Toda sequncia de Cauchy em converge para um elemen-
to 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 Cl-
culo I).

11) Estude a convergncia das seguintes sequncias em 2 :

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

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

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 sub-
sequncias convergindo para pontos distintos.

14) Verifique que no so completos os seguintes subespaos


mtricos de :

a) o intervalo [2,5) ;

1
b) , n ;
n
c) [0,1] .

15) Verifique que no so completos os seguintes subespaos


mtricos de 2 :

a) X = [0,1] [0,1) ;

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

91
c) Z = {( x, y ) 2 / 0 < x 2 + y 2 < 1} ;

d) W = {( x, y ) 2 /1 < ( x 1) 2 + ( y 2) 2 < 2} .

16) O conjunto dos nmeros inteiros , como subespao de


completo? Justifique.

17) Se ( M , d ) um espao mtrico tal que M finito, mostre


que M completo.

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


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

Resumo
Neste captulo voc estudou a noo de convergncia. Para facili-
tar seu aprendizado foi revista a definio de convergncia para
sequncias de nmeros reais. A seguir, a noo de convergncia
foi estendida para sequncias em um espao mtrico qualquer.

Os principais conceitos do captulo 1 foram retomados e caracte-


rizados 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 se-
quncias de Cauchy. O resultado mais importante : os espaos
Euclidianos n , n = 1, 2,3,... so espaos mtricos completos.

92
3 Continuidade
3 Continuidade

Nosso objetivo nesta unidade estudarmos funes cont-


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

Por que funes contnuas merecem nossa ateno?

Porque elas possuem algumas caractersticas especiais e ao mes-


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

R$ R$

10 10

1 1

100 473 1000 g 100 473 1000 g

Figura 3.1

Outro exemplo de uma funo contnua que aparece frequente-


mente no nosso dia-a-dia a funo temperatura. Se cada ponto

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

3.1 Funes Contnuas


Temos agora uma noo intuitiva de continuidade que precisa-
mos formalizar. O primeiro matemtico que tentou fazer isto foi
Cauchy, em 1821 (Cours dAnalyse, p. 43 apud [6, Hairer & Wan-
ner]). Vejamos o que Cauchy escreveu:

(...) ser chamada uma funo contnua, se (...) os valores nu-


mricos da diferena

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

Ou seja, Cauchy estava pedindo que variaes infinitamente pe-


quenas de x acarretassem variaes infinitamente pequenas de
f . Porm esta definio no est completamente correta e a esco-
la 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 suficien-
temente pequena.

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


s, de uma funo real f .

Definio 3.1. Seja X um subconjunto de e a X . A funo


f : X dita contnua em a se para todo e > 0 , existe um
> 0 , tal que, para todo x A satisfazendo | x a |< temos que
| f ( x) f (a ) |< e .

Se f contnua em todos os pontos do seu domnio, ento f


dita contnua.

96
A definio de continuidade para espaos mtricos anloga
definio acima. Apenas trocamos a noo de distncia em , ou
seja, o mdulo, pelas mtricas apropriadas. Vejamos:

Definio 3.2. Sejam M e N espaos mtricos. A funo


f : M N dita contnua em a M se para todo e > 0 , existe
um > 0 , tal que se d ( x, a ) < ento d ( f ( x), f (a)) < e .

Se f contnua em todos os pontos a M , ento f dita con-


tnua.

Observao. Note que M e N podem ter mtricas diferentes, po-


rm decidimos denotar ambas por d na definio acima, ficando
claro pelo contexto quando d se refere mtrica em M e quando
d se refere mtrica em N .

Observao. Em termos de bolas abertas temos que f : M N


contnua em a e > 0 , > 0 tal que f ( B(a, )) B( f (a ), e) .

Vejamos alguns exemplos:

Exemplo 3.1. f : dada por f ( x) = 2 x , onde tem a mtri-


ca usual, contnua. Veja o grfico na figura 3.2.

y
f (x) = 2x

Figura 3.2

e
Note que dado e > 0 , podemos tomar = para satisfazer a de-
2
finio de continuidade.

97
1 se x > 0
Exemplo 3.2. Seja f : , f ( x) = .
1 se x 0
Ento f contnua em todo ponto de {0} e f descontnua
no 0. Veja o grfico na figura 3.3.

Figura 3.3

Exemplo 3.3. Seja f : 2 .


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

f
(x,x)

0 x

Figura 3.4

Vamos mostrar que f contnua em a usando a definio:

Dado e > 0 , observe que

d ( f ( x), f (a )) = d (( x, x),(a, a )) = ( x a) 2 + ( x a) 2 = 2 | x a | .
e
Logo, tomando = temos que se | x a |= d ( x, a ) < ento
2
e
d ( f ( x), f (a)) = 2 | x a |< 2 = 2 = e.
2
Logo, f contnua em a . Como a era qualquer, temos que f
contnua.

98
Exemplo 3.4. Voc viu um exemplo de uma mtrica em um es-
pao de funes. Veremos agora um exemplo de funo contnua
envolvendo um espao de funes.

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


n

junto de todas as funes limitadas de em , ou equivalente-


mente, o conjunto de todas as sequncias limitadas.

Muniremos l com a mtrica do sup, ou seja,

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


n

Definiremos agora,
f : l ()
.
a a (1)
Observe que f associa a cada sequncia o seu primeiro termo.

Vamos mostrar que f contnua em todo a l () .

Dado e > 0 , tome = e .

Note que se d (a, x) < ento sup{| a (n) x(n) |} < e, portanto,
n

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


n

Logo, f contnua.

Vejamos agora as funes de Lipschitz:

Definio 3.3. Uma funo f : M N uma funo de Lips-


chitz (ou lipschitziana) se existe k > 0 tal que

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

Tente mostrar, sem ler a resoluo abaixo antes, que toda funo
de Lipschitz contnua.

Exerccio Resolvido
1) Toda funo de Lipschitz contnua.

Resoluo:
e
Dado e > 0 , seja = .
k
Logo, se d ( x, y ) < ento

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

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

2) Mostre que f : , dada por f ( x) =| x | , Lipschitz com


constante k = 1 e, portanto, contnua.

Nosso prximo exemplo nos diz que a funo distncia em um


espao mtrico contnua. Vejamos:

Exemplo 3.5. Seja ( M , d ) um espao mtrico e p M .

Defina f : M por f (x) = d (x,p).


x d ( x, p )
Ento f contnua e f ( x) = 0 x = p .

Inicialmente, observe que

d ( x, p ) d ( x, y ) + d ( y , p )
e
d ( y , p ) d ( y , x ) + d ( x, p ) .

Dessas desigualdades, segue que

d ( y , x ) d ( y , p ) d ( x, p ) d ( y , x )

ou, de forma equivalente,

| d ( y, p ) d ( x, p ) | d ( y, x) .

Agora, d e > 0 . Tome = e .

Se d ( x, y ) < ento| d ( y, p ) d ( x, p ) | d ( y, x) < = e .

Logo, f contnua em qualquer ponto x M .

Observao. Note que do exemplo acima podemos concluir que


em todo espao mtrico com mais de um ponto, existem funes
contnuas no constantes.

Voc deve estar achando que nem sempre fcil mostrar que
uma funo contnua. Realmente, usando apenas a definio,
em muitos casos, difcil, seno impossvel, decidir pela conti-
nuidade ou no de uma funo. Portanto, precisamos de outras

100
caracterizaes de continuidade de uma funo, e este ser o foco
dos teoremas que seguem.

Teorema 3.1. Seja f : M N e a M . Ento f contnua em a,


se, e somente se, para toda sequncia ( xn ) em M que converge
para a , a sequncia ( f ( xn )) converge para f (a ) (em smbolos, f
contnua em a ( xn ) : xn a , temos f ( xn ) f (a ) ).

Prova:

) Primeiro, vamos supor que f contnua em a .

Seja ( xn ) uma sequncia em M tal que xn a . Vamos mostrar


que f ( xn ) f (a ) .

D e > 0 . Como f contnua em a , existe > 0 tal que se


d ( x, a ) < ento d ( f ( x), f (a)) < e .

Uma vez que xn a , temos que existe n0 tal que se


n n0 ento d ( xn , a ) < . Logo, se n n0 ento d ( xn , a ) < e
d ( f ( x), f (a )) < e e, portanto, f ( xn ) f (a ) .

) Agora, vamos assumir a recproca, isto , vamos assumir que


( xn ) tal que xn a , temos f ( xn ) f (a ) .

Para provar que f contnua em a , vamos supor que ela no


contnua em a e chegar a uma contradio.

Supor que f no contnua em a, ou seja, e > 0 tal que > 0,


xi M tal que d ( xi , a ) < e d ( f ( xi ), f (a )) e .
1 1 1
Tomando = 1, , , , e assim sucessivamente, temos que
2 3 4
1
n , xn M tal que d ( xn , a ) < e d ( f ( xn ), f (a )) e .
n
Mas ento xn a e lim f ( xn ) f (a ) o que contradiz nossa hi-
n
ptese.

Logo, f contnua em a .

Como uma consequncia direta do teorema 3.1 acima, podemos


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

101
Proposio 3.1. Sejam f e g funes reais contnuas em um es-
pao mtrico M . Ento:

i) | f | contnua em M .

ii) f g contnua em M .

iii) cf contnua em M , c .

iv) f g contnua em M .

f
v) contnua em M se g ( x) 0, x M .
g
Faremos a prova do item (iv). Os outros ficam como exerccio.

Prova:

iv) Seja a M , e ( xn ) uma sequncia em M tal que xn a .

Como f e g so contnuas em a , as sequncias ( f ( xn )) e ( g ( xn ))


convergem para f (a ) e g (a ) , respectivamente. Agora, pelas pro-
priedades de limites de sequncias reais, temos que a sequncia

(( f g )( xn )) = ( f ( xn ) g ( xn )) f (a ) g (a ) = ( f g )(a ) .

(Se necessrio revise a primeira unidade do texto de Clculo I) e,


portanto, f g contnua.

Nota. A proposio 3.1 tambm pode ser provada pela definio


de continuidade via e e .

Exerccio Proposto
3) Mostre os itens (i) e (ii) da proposio anterior usando a de-
finio.

Observao. O teorema 3.1 tambm pode ser muito til quando


queremos mostrar que uma funo no contnua. Vejamos:

1 se x
Exemplo 3.6. Seja f : dada por f ( x) = .
1 se x
Temos que f no contnua em nenhum ponto.
2
De fato, se a ento podemos tomar a sequncia ( xn ) = a +
n
102
que converge para a , mas tal que f ( xn ) 1 f (a ) = 1 , pois
xn \ .

Se a , basta tomar uma sequncia ( xn ) contida nos e


tal que xn a . Temos ento que f ( xn ) 1 f (a ) = 1 , pois
xn .

Logo, mostramos que f no contnua em nenhum ponto de .

Exerccio Resolvido
2) Verifique se a seguinte funo contnua ou no:
x + 1, para x > 0
g : {0} dada por g( x) = .
x, para x < 0

Resoluo:
Mostraremos que g contnua em todo a {0} usando o te-
orema 3.1. Supor a > 0 . Seja ( xn ) uma sequncia que converge
para a . Ento existe N > 0 tal que para todo n > N , xn > 0 e,
portanto,
g ( xn ) = xn + 1

para todo n > N e isto implica que ( g ( xn )) converge para

a + 1 = g (a) + 1 .

Segue do teorema 3.1 que g contnua em a . Analogamente,


mostra-se que g contnua em a < 0 .

Exerccio Proposto
1
cos , se x 0
4) Decida se f : , dada por f ( x) = x ,
1, se x = 0
contnua. Justifique sua resposta.

Uma das operaes entre funes que no foi contemplada na


proposio anterior foi a composio de funes contnuas (o que
voc arriscaria afirmar a respeito desta operao?

Tente demonstrar o seu palpite!

Apesar de podermos atacar este problema usando apenas a defi-


nio de continuidade, o mesmo ficar mais fcil depois de ver-
mos mais uma caracterizao de funo contnua. Mostraremos

103
abaixo que f contnua se, e somente se, a imagem inversa de
abertos por f aberta, o que verdade se, e somente se, a ima-
gem inversa de fechados por f fechada. Vejamos:

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

i) f contnua.

ii) se F N fechado, ento f 1 ( F ) fechado.

iii) se A N aberto, ento f 1 ( A) aberto.

Mostraremos o teorema via a seguinte sequncia de implicaes:


i) ii) iii) i)

i) ii) Suponha que f contnua e seja F fechado em N .

Queremos mostrar que f 1 ( F ) fechado e, para isto, suficiente


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

Seja a f 1 ( F ) . Ento, pela Proposio 2.7, existe uma sequncia


( xn ) em f 1 ( F ) tal que xn a .

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


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

ii) iii) Seja A N aberto.

Ento AC fechado e por hiptese f 1 ( AC ) fechado.

Como f 1 ( AC ) = [ f 1 ( A)]C (por qu?), segue que [ f 1 ( A)]C fecha-


do e, portanto, f 1 ( A) aberto como desejado.

iii) i) Vamos agora assumir que (iii) vlido e provaremos que


f contnua pela definio.

Seja a M e e > 0 .

Lembre que B ( f (a ), e) (bola aberta de centro f (a ) e raio e )


aberto de N e, portanto, (por hiptese) f 1 ( B( f (a), e)) aberto
em M .

104
Como a f 1 ( B( f (a ), e)) , existe > 0 tal que
B (a, ) f 1 ( B ( f (a ), e)) (tente desenhar o que est acontecendo,
isto deve ajud-lo). Veja a figura 3.5:
M N
f
f 1(B(f(a),))

x
a f(a)

Figura 3.5

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

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

Logo, f ( x) ( B( f (a ), e)) e temos que d ( f ( x), f (a)) < e como de-


sejado.

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


e > 0 , f 1 ( B(b, e)) aberto.

Prova:
uma consequncia imediata do teorema anterior e do fato que
todo aberto de um espao mtrico se escreve com reunio de bolas
abertas.

Considere agora as funes

f : g :

1 x se x 0 e 1 se x ,
x x
0 se x < 0 1 se x

cujos grficos so dados na figura 3.6:

105
g
1
1
f

Figura 3.6

O que podemos dizer sobre a continuidade (de uma maneira glo-


bal) de f e g ?

Intuitivamente, f e g no parecem ser contnuas e o teore-

ma anterior torna fcil provar esta afirmao. Basta notar que


1 3 1 1
f 1 , = f 1 B 1, = 0, que no aberto em e
2 2 2 2
1
g ({1}) = que no fechado em .

E a composio de funes contnuas? Voc decidiu que esta ope-


rao (quando possvel de se realizar) nos d outra funo cont-
nua, certo? Voc tentou mostrar este resultado usando apenas a
definio de continuidade? Conseguiu? No que segue usaremos a
caracterizao de funo contnua dada no teorema anterior para
demonstrar que a composio de duas funes contnuas uma
funo contnua.

Proposio 3.2. Sejam M , N e P espaos mtricos, f : M N e


g : N P contnuas. Ento a funo g f : M P contnua.

Prova:

Seja A um aberto de P . suficiente mostrar que ( g f ) 1 ( A)


aberto em M . Note que g 1 ( A) aberto em N (pelo teorema
3.2) e f 1 ( g 1 ( A)) aberto em M (pelo teorema 3.2 novamen-
te).

Mas ( g f ) 1 ( A) = f 1 ( g 1 ( A)) e, portanto, aberto em M


como desejado.

106
A proposio acima fala do comportamento global da continuida-
de com respeito composio. E o comportamento local? Temos a
seguinte proposio:

Proposio 3.3. Se f : M N e g : N P so contnuas em


a M e em b = f (a ) N , respectivamente, ento g f : M P
contnua em a .

Prova:

D e > 0 . Como g contnua em b , 1 > 0 tal que se

d ( y, b) < 1 , ento d ( g ( y ), g (b)) < e .

Como f contnua em a , para este 1 > 0 , > 0 tal que se

d ( x, a ) < , ento d ( y, b) < 1 .

Logo, se d ( x, a ) < ento d ( g ( f ( x)), g ( f (a))) < e como deseja-


do. A figura seguinte ilustra esta demonstrao:

f g

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

Figura 3.7

Exerccios Propostos
5) Seja f : A n contnua em x0 A, A ( M , D) , A aberto.
Supor f ( xo ) 0 n . Provar que f ( x) 0 em alguma vizi-
nhana do ponto x0 .

6) Analisar a continuidade de
senx
f ( x) = , x 0 e f (0) = 1, x .
x

7) Sejam f : n m contnua e B n limitado. f ( B ) obri-


gatoriamente limitado?

107
3.2 Conjuntos Compactos
Ns j comentamos e iremos reconhecer, por todo este livro, a im-
portncia de conjuntos compactos. Todos aqueles que estudam anli-
se geral j viram que impossvel viver sem os compactos. (Frechet,
1928, Espaces abstraits, p. 66 apud [6, Hairer & Wanner]).

Como Frechet j observou em 1928, conjuntos compactos esto


entre os conjuntos mais importantes da matemtica.

De maneira coloquial, podemos dizer que conjuntos compactos


so conjuntos que tentam se comportar como conjuntos finitos.
(Por exemplo, voc j viu no curso de Clculo que toda funo
contnua em um compacto atinge o seu mximo e seu mnimo).

Nesta seo iremos caracterizar os subconjuntos compactos de


n como os subconjuntos fechados e limitados. Comearemos
com a definio mais geral de compacidade. Para isto, precisamos
introduzir a noo de cobertura.

Definio 3.4. Seja X ( M , d ) . Dizemos que uma famlia


C = {C }L de conjuntos C M , onde L um conjunto qual-
quer de indices, uma cobertura de X se X C . Se cada C
L
aberto, dizemos que C uma cobertura aberta de X.

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


L ' L e X C .
L '

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

Exemplo 3.7. Em , considere os conjuntos:

X = [0,1] ,

1 1
C1 = , ,
2 2
1 3
C2 = , ,
4 2
1 5
C3 = , .
8 4

108
A figura 3.8 ilustra este exemplo.

C2

1 0 1 1 1 1 5 3
2 8 4 2 4 2
C3
C1
Figura 3.8

Note que:

C = {C1 , C2 , C3} uma cobertura aberta de X .

C ' = {C1 , C2 } uma subcobertura aberta de X .

C '' = {C1 , C3} uma subcobertura aberta de X .

C ''' = {C2 , C3} no subcobertura de X .

Podemos, agora, ver a definio de conjuntos compactos.

Definio 3.5. Seja K ( M , d ) . Dizemos que K compacto se


toda cobertura aberta de K contm uma subcobertura finita.

Voc pode encontrar na literatura vrias outras definies para


conjuntos compactos. No decorrer da seo, veremos as vrias
caracterizaes de conjuntos compactos que do origem a estas
outras definies. Vejamos alguns exemplos:

Exemplo 3.8. Seja K = {1, 2,, n} . K compacto, pois se C = {C }L


uma cobertura aberta de K , ento 1 C1 para algum 1 L ,
2 C2 para algum 2 L, , n C2 , para algum n L . Logo,
{C1 , C2 , , Cn } uma subcobertura aberta finita de K .

Exemplo 3.9. Qualquer conjunto finito compacto. A demonstra-


o anloga feita no exemplo anterior.

Exemplo 3.10. Em , todo intervalo da forma [a, b] compacto


(provaremos este fato mais para frente).

109
1 1 1
Exemplo 3.11. Seja X = 1, , ,, , .
2 3 n
Note que X infinito e para qualquer x X existe um intervalo
aberto I x de centro x tal que I x ( X \{x}) = . A figura 3.9 ilus-
tra a situao.

I1 I1 I1 I1 I1
n 4 3 2
( ) ( ) ( ) ( ) ( )
0 1 1 1 1 1
n 4 3 2

Figura 3.9

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


sui subcobertura finita. Portanto, X no compacto.

Exemplo 3.12. De maneira semelhante desenvolvida no exem-


plo anterior, mostra-se que e no so compactos em .

Exemplo 3.13. no compacto. Considere a cobertura


{(n, n + 2)}n . Tal cobertura no possui subcobertura finita.

Exemplo 3.14. n tambm no compacto. Por exemplo, a co-


bertura aberta {B(o, n)}n no possui subcobertura finita. Voc
consegue encontrar outras coberturas abertas de n que no pos-
suem subcoberturas finitas?

Voc deve estar achando que no muito fcil decidir quando


um conjunto compacto ou no. Para isto, veremos duas novas
caracterizaes de conjuntos compactos.

Teorema 3.3 (Bolzano-Weierstrass). Seja ( M , d ) um espao m-


trico. Ento M compacto se, e somente se, toda sequncia em
M possui uma subsequncia convergente (que converge para um
ponto M ).

Prova:
A prova deste teorema pode ser encontrada em [14, Marsden &
Hoffman] ou [15, Munkres].

110
Como consequncia deste teorema, podemos ver que X = [0,1)
1
no compacto em , pois a sequncia {xn } , onde xn = 1 con-
n
verge para 1. Logo, todas as suas subsequncias convergem para
1, mas 1 no pertence a X .

Mas e o conjunto [0,1]? Como provar que compacto?

Para isso, usaremos o teorema a seguir.

Teorema 3.4 (Teorema de Heine-Borel). K n compacto se, e


somente se, fechado e limitado.

Prova:

) Suponha que K compacto.

Ento, pelo teorema 3.3, toda sequncia em K possui uma subse-


quncia convergente (em K ).

Mas isto implica que K limitado, pois seno, n , xn K , tal


que || xn ||> n e a sequncia {xn } no possui subsequncia limita-
da. Logo, no possui subsequncia convergente, o que contradiz a
afirmao do pargrafo anterior.

Ainda K fechado, pois seno, a K tal que a = lim 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 Bolzano-


Weierstrass, generalizado para n , existe uma subsequncia con-
vergente, cujo limite um ponto de K (pois K fechado). Segue,
ento, que K compacto pelo teorema 3.3.

Nota. O teorema de Heine-Borel tambm pode ser provado dire-


tamente, sem o uso do teorema 3.3 (Bolzano-Weierstrass) (ver [14,
Marsden & Hoffman]).

Observao. Note que a caracterizao de compactos dada no


teorema de Heine-Borel s vlida em n .

111
Por exemplo, se M um conjunto infinito e d a mtrica discreta
(isto , d ( x, y ) = 0 , se x = y e d ( x, y ) = 1 , se x y ) ento ( M , d )
limitado (por qu?) e fechado (por qu?), mas no compacto (pois
1
a cobertura B x, , x M no possui subcobertura finita).
2
Exemplo 3.15. Usando o teorema de Heine-Borel, podemos con-
cluir que qualquer bola fechada em n compacta.

Como comentamos no incio desta seo, funes contnuas em


conjuntos compactos possuem muitas caractersticas interessan-
tes. Iremos agora explorar algumas destas caractersticas.

Teorema 3.5. Seja f : M N uma funo contnua e M um es-


pao mtrico compacto. Ento f ( M ) compacto em N .

Prova:

Para provar que M compacto, vamos mostrar que toda sequn-


cia em f ( M ) possui uma subsequncia convergente.

Seja ( f ( xn )) uma sequncia em f ( M ) .

Ento ( xn ) uma sequncia em M , e como M compacto,


( xn ) tem uma subsequncia ( xnk ) , convergente para um a em
M . Como f contnua, ( f ( xnk )) subsequncia de ( f ( xn )) que
converge para f (a ) . Logo, f ( M ) compacto.

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


f ( M ) fechado e limitado.

Dica para fazer a prova: Leia com ateno a prova do teorema de


Heine-Borel.

Corolrio 3.3. Seja f : M uma funo contnua real em um


espao mtrico compacto M . Ento f atinge seu mximo e seu
mnimo em M .

Prova:
Como f ( M ) limitado, existem y1 = inf{ f ( x)} e y2 = sup{ f ( x)} .
xM xM

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

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


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

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

A noo de continuidade uniforme comeou a aparecer vagarosa-


mente nas aulas de Dirichlet, em 1854, e Weierstrass, em 1861. A
primeira publicao devida a Heine [6, Hairer & Wanner].

Esta noo apareceu quando os matemticos do sculo XIX pro-


curavam por condies suficientes para garantir a integrabilidade
de funes contnuas. Vejamos a definio:

Definio 3.6. Dizemos que f : M N uniformemente cont-


nua em M se dado e > 0 , existe um > 0 tal que se d ( x, y ) <
ento d ( f ( x), f ( y )) < e .

Observao. Note que na definio de continuidade uniforme,


uma vez dado e > 0 , necessrio achar um > 0 que funcione
para Todos os pontos do domnio da funo f !

Vejamos alguns exemplos:

Exemplo 3.16. f ( x) = x uniformemente contnua em . Dado


e > 0 , basta tomar = e (se | x y |< , ento | f ( x) f ( y ) |< = e).
Ver figura 3.10.
y
f

Figura 3.10

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


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

113
em x0 > 0 , depende de e e tambm diretamente de x0 , de modo
que ( x0 ) 0 se x0 0+ .

A figura 3.11 ilustra este exemplo.

x
Figura 3.11

Exemplo 3.18. Se f de Lipschitz, ento f uniformemente


contnua. Vejamos:

Dado e > 0 , como f de Lipschitz, k 0 tal que


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

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

1
Exemplo 3.19. f : (0, +) (0, +) definida por f ( x) = no
x
uniformemente contnua (ver figura 3.12).


Figura 3.12

114
Note que dado e > 0 , para que | f ( x) f ( y ) |< e , quando x e y se
aproximam de 0, necessrio que o valor de tenda para 0.

Observao. Note que a restrio de f ao intervalo [1, ) , por


exemplo, uniformemente contnua. Voc consegue encontrar
outros intervalos onde f uniformemente contnua?

Exerccios Propostos
8) Decida se a funo f :[0, +) [0, +) definida por f ( x) = x 2
uniformemente contnua.

9) Mostre que f :[a, b] dada por f (x) = x 2 uniformemente


contnua mas no de Lipschitz.

Veremos agora um teorema (cuja primeira verso, para n , devi-


da a Heine, 1872, [6, Hairer & Wanner]) que nos garante que toda
funo contnua em um compacto uniformemente contnua.

Teorema 3.6. Seja f : M N contnua e M compacto. Ento f


uniformemente contnua em M .

Prova:

D e > 0 . Como f contnua, para todo a M existe a > 0 tal


e
que se d ( x, a ) < a (isto , x B(a, a ) ), ento d ( f ( x), f (a)) < .
2

Agora, note que a coleo de bolas abertas de centro a e raio a ;
2
a
B a, , cobre M .
2 aM
Como M compacto, existe uma subcobertura finita, digamos,


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


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


Como x M , x B ai , i , isto , d ( x, ai ) < i , para algum i
entre 1, 2,, n . 2 2

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

nuidade em ai , que
e e
d ( f ( x), f ( y )) d ( f ( x), f ( ai )) + d ( f ( ai ), f ( y )) + = e.
2 2

Exerccios Propostos
10) D um exemplo de espaos mtricos M e N e uma funo
contnua f : M N tal que N compacto, mas M no
compacto.

11) Prove que f ( x) = x 2 no uniformemente contnua em .

12) Sejam f e g funes reais uniformemente contnuas em


um espao mtrico M . Mostre que cf e f + g so unifor-
memente contnuas em M .

13) Mostre que a composio de funes uniformemente cont-


nuas uma funo uniformemente contnua.

3.4 Conjuntos Conexos


Nesta seo estudaremos os conjuntos conexos e, mais adiante, al-
gumas de suas aplicaes, como o teorema do valor intermedirio.

Intuitivamente, podemos pensar que conjuntos conexos so aque-


les 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 pro-


priedades da reta real, que a tornam conexa, gostaramos de cap-
turar? A proposio abaixo nos d esta resposta:

Proposio 3.4. Seja C um subconjunto aberto e fechado de .


Ento C = ou C = .

Prova:

Suponha que C e C . Ento existem x C e z perten-


cente ao complementar de C . Sem perda de generalidade, pode-
mos assumir que x < z .

116
Seja S = C [ x, z ] .

Note que S fechado (pois a interseco de dois fechados) e


limitado superiormente. Logo, S tem um supremo, digamos p, e
pS .

Como p S , p z . Mas p z , pois z S (uma vez que z C ).


Logo, p < z .

Por outro lado, C aberto e p C . Logo existe um e > 0 tal que


B ( p, e) C .

Seja t tal que p < t < min{ p + e, z} .

Ento t C [ x, z ] = S . Mas isto uma contradio, pois t > p e


p o supremo de S (a contradio veio do fato que supomos que
C aberto e fechado e no ou ).

Logo, nossa suposio falsa e, portanto, C = ou C = .

A figura 3.13 ilustra uma das possveis posies de t:


S
t
[ ( ) ) R
x p p p+ z
C

Figura 3.13

Podemos agora definir um conjunto conexo:

Definio 3.7. Seja ( M , d ) um espao mtrico. Se os nicos sub-


conjuntos de M que so simultaneamente abertos e fechado so
M e , ento M dito conexo.

Exemplo 3.20. conexo.

Exemplo 3.21. Qualquer intervalo da reta conexo (veremos a


prova a seguir).

Exemplo 3.22. Se M a mtrica 0 1 , ento ( M , d ) no conexo


para qualquer M , pois os conjuntos unitrios {x} , onde x M ,
so abertos e fechados.

117
Exemplo 3.23. Seja M = [0,1] (2,3] e d a mtrica usual de .
Ento ( M , d ) no conexo e voc pode verificar que [0,1] M
aberto e fechado.

O exemplo 3.23 acima nos mostra um conjunto desconexo. Ele


formado por dois pedaos. Isto nos leva seguinte definio:

Definio 3.8. Uma separao de um espao mtrico M um par


de conjuntos abertos, no vazios, disjuntos, cuja unio M .

Em smbolos, uma separao um par de abertos U , V tal que


U , V , U V = M e U V = .

Proposio 3.5. Um espao mtrico M conexo se, e somente se,


no existe uma separao de M .

Prova:

) Primeiro vamos assumir que M conexo.

Supor que U , V uma separao de M . Ento U e U C = V


aberto. Logo U fechado e a hiptese implica que U = M e,
portanto, V = , o que uma contradio. Logo, no existe se-
parao 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 ra-


cionais no conexo. Mas os racionais so um subconjunto de .
Precisamos ento definir conexidade para subconjuntos de um
espao mtrico. Temos a seguinte definio:

Definio 3.9. Um subconjunto de um espao mtrico conexo


se ele for conexo com a mtrica induzida (lembre-se que os aber-
tos so definidos em termos da mtrica).

118
Voc consegue achar uma separao para ?

Exemplo 3.24. no conexo. Uma separao de

U = {x / x < 2}
.
V = {x / x > 2}
Gostaramos agora de construir novos conjuntos conexos, a partir
dos conjuntos que conhecemos. Para isto, precisamos de alguns
resultados. Vejamos:

Teorema 3.7. Se f uma funo contnua de um espao mtrico


conexo M em um espao mtrico N, ento f ( M ) conexo.

Prova:

Suponha que f ( M ) no conexo. Ento existe uma separao U ,


V de f ( M ) tal que

f (M ) = U V ,

U V = ,

U e V ,

U , V so abertos.

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


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

Logo, f ( M ) conexo.

O teorema acima muito importante e nos permite encontrar


um grande nmero de conjuntos conexos. Usaremos este teo-
rema para mostrar que todos os intervalos da reta real so co-
nexos. Assumindo este resultado, temos que o subconjunto
1
S = x,sen : 0 < x < 1 de 2 conexo.
x

119
S

Figura 3.14

Por que S conexo?

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


1
contnua f : (0,1) 2 dada por f ( x) = x,sen .
x
Ainda mais interessante e muito surpreendente o fato que o fe-
cho de S = S {(0, t ) : t [1,1]} conexo (veja a figura 3.15).

1
S

Figura 3.15

Este resultado segue da proposio abaixo.

Proposio 3.6. Seja C um subconjunto conexo de um espao m-


trico M . Se Y M tal que C Y C , ento Y conexo. Em
particular C conexo.

Prova:
A prova desta proposio pode ser encontrada em [10,
Kuhlkamp].

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

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

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

Vamos agora, finalmente, mostrar que os intervalos de so co-


nexos.

Proposio 3.7. Todo intervalo aberto da reta real conexo.

Prova Parcial:

Lembre que j mostramos que conexo. Para mostrar, por


exemplo, que o intervalo (1,1) conexo, basta verificar (faa!)
x
que a funo f : (1,1) dada por f ( x) = contnua e
1+ | x |
sobrejetora. Da, o resultado segue do Teorema 3.7.

Uma vez provado que (1,1) conexo, segue que (0,1) conexo,
pois a imagem pela funo contnua
x +1
f : (1,1) (0,1) definida por f ( x) =
2
do intervalo conexo (1,1) (verifique!).

Finalmente, qualquer intervalo da forma (a, b) conexo, pois a


imagem da funo contnua
: (0,1) (a, b) dada por (t ) = (1 t )a + tb

(verifique!).

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

121
Proposio 3.8. Qualquer intervalo da reta conexo.

Prova:
Seja I um intervalo da reta. Pela proposio anterior o interior
do intervalo I conexo e ento segue da proposio 3.6 que I
conexo.

Exerccio Proposto
16) Mostre que a recproca da proposio anterior vlida, isto
, mostre que se C um conjunto conexo de , ento C
um intervalo.

Dica. Suponha que C no um intervalo e encontre uma


separao para C .

Terminaremos nosso estudo com uma aplicao muito importan-


te da conexidade: o teorema do valor intermedirio.

3.5 Teorema do Valor Intermedirio


O teorema do valor intermedirio um dos teoremas principais
no estudo do Clculo e dele dependem inmeros resultados que
voc deve ter visto durante seu curso. Na sua verso mais sim-
ples, o teorema toma a seguinte forma:

Seja f :[a, b] uma funo contnua. Se f (a ) < y < f (b) ou


f (b) < y < f (a ) ento existe C (a, b) tal que f (C ) = y .

Provaremos uma verso um pouco mais geral.

Teorema 3.8. (Teorema do Valor Intermedirio) Seja M um es-


pao 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 se-
o anterior). Ento dados y1 , y2 f ( M ) e y tal que y1 < y < y2 ,
y f ( M ) . Logo, x M tal que y = f ( x) .

122
Como uma aplicao do teorema do valor intermedirio, prova-
remos que na linha do equador existem dois pontos opostos com
a mesma temperatura (ver figura 3.16). Isto mesmo. Usaremos a
teoria desenvolvida nesta seo para resolver um problema real.
Para isto, vamos supor que a linha do equador o crculo S 1 em
2 , isto ,

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


tnua.

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 in-
termedirio, 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 .

Figura 3.16

123
possvel tambm provar que existem dois pontos opostos na
terra com a mesma temperatura e presso atmosfrica. Mas para
isto necessrio o teorema de Borsur-Ulam (ver [15, Munkres]).

Aos interessados, sugerimos uma pesquisa sobre o assunto na In-


ternet.

Para terminar, seguem mais alguns exerccios.

Exerccios Complementares
1) Analise a continuidade das funes:

a) f :
0, x 0
f ( x) = ;
1, x > 0

b) g : {0}
0, x < 0
g ( x) = ;
1, x > 0

c) h : X
2, x < 1 1 1
h( x ) = X = 1,1 ,1 , .
1, x = 1 2 3

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


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


chitziana, mas f ( x) = x 2 definida em < x < + no . D
outros exemplos de funes lipschitzianas.

6) Uma funo f : M N satisfaz a condio de Holder de


ordem k se existe um c > 0 tal que d ( f ( x), f ( y )) c[d ( x, y )]k .
Mostre que nestas condies f contnua.

124
7) Sejam M , N espaos mtricos, f , g : M N contnuas e X
denso em M . Se f ( x) = g ( x) , x X , mostre que f = g .

8) D um exemplo de uma funo contnua f : M N e um


aberto X M tal que f ( X ) no aberto.

9) Repita o exerccio 8 para X fechado.

10) Seja M um espao mtrico e seja X A : M a funo ca-


racterstica 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 to-


dos os pontos de .

12) Identifique se verdadeiro ou falso, justificando sua res-


posta: Se f , g : so duas funes contnuas tais que
f (r ) = g (r ) para todo r , ento f = g .

13) Sejam M um espao mtrico compacto e f : M M uma


isometria, isto , d ( f ( x), f ( y )) = d ( x, y ), x, y M . Provar
que f bijeo.

14) Seja A = (0,1] . Encontre uma cobertura aberta de A que


no possui subcobertura finita.

15) Encontre uma funo contnua f : e um conjunto


compacto K tal que f 1 ( K ) no compacto. Repita o
processo para K conexo.

16) Verifique se so compactos (mtrica usual):

a) em ;

b) em ;

c) B = {2} [3, 4] em ;

1 2 3
d) 1, , , , em ;
2 3 4
e) [1, 2] em ;

125
f) A = {x / 0 x 1 e x } ;

g) D = {( x, y ) 2 / 0 x 1} ;

h) S = {( x, y ) 2 / xy = 1} {( x, y ) 2 / x 2 + y 2 < 5} .

17) Seja M um espao mtrico com a mtrica discreta. Mostre


que M compacto se, e somente se, M finito.

18) Sejam A e B subconjuntos de um espao mtrico tais que


A compacto e B fechado. Mostre que A B compacto
(quando A B ).

19) As seguintes afirmaes a respeito de n so verdadeiras.


Justifique-as:

a) B = {( x1 , x2 , , xn ) n / x12 + x22 + + xn2 1} compacto;

b) S n1 = {( x1 , x2 , , xn ) n / x12 + x22 + + xn2 = 1} compacto;

c) Uma bola aberta B ( p, r ) , p n e r > 0 no um con-


junto compacto.

20) Se A e B so subconjuntos compactos de um espao mtri-


co M , mostre que A B e A B so compactos.

21) Uma funo f : contnua e limitada obrigatoria-


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


riamente limitada?

24) Seja M um espao mtrico. Mostre que so equivalentes:

a) M no conexo;

b) Existem subconjuntos no vazios U e V de M tal que


M = U V , U V = = U V .

25) Se A e B so subconjuntos conexos de n , d exemplos


para mostrar que A B , A B e A B podem ser conexos
ou desconexos.

126
26) Seja A um subconjunto compacto de n e ( xn ) uma sequn-
cia de Cauchy em A . Mostre que ( xn ) converge para um ponto
de A .

27) D exemplo de uma funo contnua f : e um con-


junto fechado B tal que f ( B ) no fechado. Isso pos-
svel se B for tambm limitado?

28) Seja f uma funo contnua de um espao mtrico com-


pacto 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 teore-


ma do valor intermedirio.

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

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

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


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

3) Possveis exemplos so:


a) A = {0}, B = {3};

b) A = {(0, 2)};

c) A = {(0, 0, 0)}, B = {(0, 0, 1)} ou A = {( x, y ) : x 1} e


B = {( x, y ) : x > y 2 + 2} .

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

x2 x1=x2

1 x1

131
b) Int ( A) = A .

x2
x2= x12

x1

c) Int ( A) = A .

x2 x2= e x 1

x1

d) Int ( A) = A .

x2

x 2=lnx 1

x1

e) Int ( A) = .

f) Note que A = (0, +) . Logo, Int ( A) = A .

132
5) a) A A
1 2 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 re-


sultado, novamente pela propriedade Ab2.

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


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

= d ( y, B[ x, r ]) .

Mas, ento,

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

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


(veja Fe 2).

Hiptese de induo: supor que a propriedade vlidan para


n , ou seja, se F1 ,..., Fn so conjuntos fechados, ento Fi
i =1
fechado.

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


n +1 n n

Fi = Fi Fn+1 , e como
i =1 i =1
F
i =1
i fechado pela hiptese de
n +1
induo, segue que F fechado por Fe 2.
i =1
i

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


n

como uma unio finita de conjuntos unitrios (que so fecha-


dos). O resultado segue vlido para qualquer espao mtrico.

9) Em , sejam F 1

n = ,1 , n = 1, 2,3,... . Ento,
n
Fn = (0,1] , que
n =1
no fechado em .

133
10) S ' = {( x, y) 2
/ y x 2 1} .

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


b) fechado.

c) fechado.

d) No fechado, pois 0 D ' e 0 D .

e) Domnio de f = {x : x 1} . Logo, no fechado.

f) fechado.

12) a) A = {0} A . b) B = [0, ) .

13) Afirmao: A B A B .
Prova: Seja x A B .

Se x A B , ento claro que x A B .

Se x ( A B) ' ento toda bola aberta que contm x contm


pontos de A B distintos de x . Logo, toda bola aberta que
contm x contm pontos de A e pontos de B e, portanto,
x A ' B ' A B , como desejado.

Agora, seja A = (0,1) e B = (1, 2) em .

Ento, A B = e A B = {1} .

14) a) Falso. Por exemplo, se A = (0,1) e 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 ' .
y
15) a) Fr ( A) = {( x, y) 2
/ x 2 + y 2 = 1} . Circunferncia
de raio = 1

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

134
c) Fr ( A) = [0, 1] .

d) Fr ( B) = {0, 1} .

e) Fr (C ) = {( x, y ) 2 / y = x 2 4 x + 3} .

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


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

Exerccios Complementares
1) Neste exerccio temos que verificar se as condies M 1 a M 3
da definio de mtrica so satisfeitas.

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

b) No mtrica, pois d (2, 2) = 0 ; logo, no satisfaz M 1 .

c) mtrica. Para verificar M 3 , note que


d ( x, y ) = 2 | x y |= 2 | x z + z y | 2 | x z | +2 | z y |
=d ( x, z ) + d ( z , y ).
d) No mtrica. Note que
1 1 1 1 1
d (0, 1) = 1 > d 0, + d ,1 = + = ;
2 2 4 4 2
logo, M 3 no satisfeita.

2) a) mtrica. b) No mtrica.

3) Para verificar M 1 , note que


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

e como f injetora (estritamente crescente), temos que


x= y.

Para verificar M 3 , basta notar que


d ( x, y ) =| f ( x) f ( y ) |=| f ( x) f ( z ) + f ( z ) f ( y ) |
| f ( x) f ( z ) | + | f ( z ) f ( y ) |
=d ( x, z ) + d ( z , y ).
135
4) d ( f , g ) = sup | x
x[1, 3]
2
x 1| .

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


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

5) a) Seja p . Se p , ok.

Se p , use a representao decimal infinita de p :


p = a, a1 a2 ...an ... e considere a sequncia de nmeros ra-
cionais
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


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

8) 1 1

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


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

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

136
9) a) y b) y

x x

c) y d) y

x x

10) a) int () = .
b) int () = .

c) .

d) int((1, 2)) = (1, 2) .

e) .

f) (1, 2) .

g) (1, 2) .

h) int([1, 2] {3}) = (1, 2) .

11) a) Fechado.
b) Aberto.

c) Nem aberto nem fechado.

d) Fechado.

e) Aberto.

f) Aberto.

g) Aberto.

137
12) = ; =

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


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

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


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

1 1 1 1 1 1 1
1, , ,... = {0}; 1, , ,... = 0,1, , , ,... .
2 3 2 3 2 3 4

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


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

14) Sejam F

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


n =1
n =.

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

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

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

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


1 1 2 3

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


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

19) a) A = .
b) B = 2 .

c) C ' = {(0, 0)} .

138
1 1
d) D ' = 0, , n ,0 , m .
n m
e) E ' = {( x, y ) 2 / x e y = 0} .

20) a) Note que se x int( A) , ento existe uma bola aberta


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

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


aberta B (a, r ) completamente contida em A e, portanto,
a int( A) .

b) Seja x A . Ento, por definio, B ( x, ) A > 0 .


Logo, x int( n \ A) e, portanto, x n \ int( n \ A) .

Por outro lado, seja x n \ int( n \ A) .

Ento, x int( n \ A) e, portanto, toda bola aberta B ( x, r )


contm pontos do complementar de n \ A, ou seja, de A.
Logo, x A .

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


Ento, A = e int() = , mas int () = .

b) Verdadeiro. Segue diretamente da definio de fecho.

c) Falso. Em , tome A = [0, 1) . Ento, int( A) = [0, 1] A .

d) Falso. Em , tome A = . Ento, Fr () = Fr () = e


Fr () = .

e) Verdadeiro. Note que, se x A , como A aberto, ento


existe uma bola aberta B ( x, r ) completamente contida
em A e, portanto, x Fr ( A) .

22) a) Segue diretamente da definio de fronteira de um con-


junto.

b) Seja x A B . Ento, para toda bola aberta B ( x, r ) , te-


mos que B ( x, r ) ( A B ) e, portanto, B( x, r ) A
e B( x, r ) B . Logo, x A B .

139
c) Seja x A B . Ento, existe uma sequncia ( xn ) n tal
que xn x e xn A B n . Sejam C = {n / xn A} e
D = {n / xn B} . claro que C ou D um conjunto
infinito. Sem perda de generalidade, suponha que C
infinito. Ento, a subsequncia ( xk ) kC converge para x e
xn A n C . Logo, x A A B .

d) Segue diretamente da definio de interior de um con-


junto que int( A B) int( A) int( B) .

Seja, agora, x int( A) int( B) . Como x int( A) , exis-


te B ( x, r1 ) A e como x int( B) , existe B( x, r2 ) B .
Tome r = min(r1 , r2 ) . Ento, B( x, r ) A B e, portanto,
x int( A B ) , como desejado.

e) Seja x int( A) int( B) . Ento, x int( A) ou x int( B) .


Supor, sem perda de generalidade, que x int( A) . Ento,
existe uma bola B ( x, r ) A . Logo, B ( x, r ) A A B e,
portanto, x int( A B) .

Captulo 2
Exerccios Propostos
1) Dado > 0, N 0 > 0 tal que
1
N0
<

2
.

Ento, se n > N 0 , temos que:

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

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


b) Diverge.

c) Converge para p .

d) ( f n ) converge para a funo nula O(t ) = 0 t [0, 1] .

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

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

c) Toda sequncia em M limitada.

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


n
n

convergente.

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


n+

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


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

c) a = 2 ponto de acumulao de . Tome a sequncia de
racionais 1; 1, 4; 1, 41; 1, 414; 1, 4142;...

7
d) Para a = .
9
Note que a = 0,777...

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

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

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


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

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

Ento xn a , xn X {a} e, portanto, a ponto de acu-


mulao de X .

141
7) a) No fechado, pois 1 X e 1 X .

b) No fechado, pois 0 X .

c) No fechado.

d) No fechado.

8) Fr ( X ) = {( x, y ) 2 / x = y} .
n n
(1, 1) Fr ( X ) , pois (1, 1) = lim ,1 = lim 1, .
n n + 1
n+ n + 1

y
x=y

1 x

9) Como b = inf B , segue que b b m . Como todo an cota


m
inferior de B, an b, n . Logo, an b bn n , ou seja,

b [an , bn ].
n =1

10) As sequncias de Chauchy so as sequncias estacionrias,


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

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


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

Exerccios Complementares
1) Falso. Por exemplo, ((1) ) . n

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


142
3) Verdadeiro. Como ( yn ) limitada, M > 0 tal que
yn < M n . Dado > 0 , como ( xn ) converge para 0, N 0

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


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

4) Verdadeiro. Supor que ( Z n ) converge. Ento ( yn = Z n X n )


converge, o que contradiz a hiptese.

5) Falso. Por exemplo, tome


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

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

6) Verdadeiro. Para = a2 , existe N 0 > 0 , tal que

a
n > N 0, | xn a |< =
2
a a
< xn a <
2 2
a
0 < < xn n N 0 .
2

7) Falso. Por exemplo, seja 1 1


( xn ) = e ( yn ) = + . Ento
lim xn = 0 = lim yn . n n

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


n n
limitada. Logo, por Bolzano-Weierstrass, ( xn ) possui uma
subsequncia convergente (a qual tambm de Cauchy).

9) Falso. Basta pegar uma sequncia em convergente para


2 (por exemplo).

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


n
decrescente e ( xnk ) uma subsequncia que converge para
a . Mostraremos que ( xn ) converge para a .

143
Dado > 0, N 0 > 0 tal que nk > N 0 , | xnk a |< . Seja nk1 tal
que nk1 > N 0 . Ento se m > nk1 , temos que existe nkm tal que

xnk xm xnk
1 m

< xnk a xm a xnk a <


1 m

| xm a |<

para todo m > nk1 .

11) a) n
1
1, .
2
b) n (1, 1) .

12) a) ( x ) divergente.
n

b) a = b .

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

n
n + 1 , se n par
13) Em , seja xn =
1
.
, se n mpar
n

( xn ) satisfaz as condies pedidas.

14) Ver a proposio 2.14.


a)[2,5) no fechado em .

b) O conjunto no fechado em .

c) O conjunto no fechado em .

15) Nenhum dos conjuntos fechado em 2


.
(Ver proposio 2.14)

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

144
17) Se M finito, ento toda sequncia de Cauchy estacionria
(da forma ( x1 , x2 , x3 ,..., xn , c, c, c, c, c, c,...) , logo, convergente.

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


n n
2
n a e yn b ,
2
onde a, b . Logo, d ( xn , yn ) d (a, b) .

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

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


3) Sejam f : M e g : M contnuas em a .

i) Mostrar que | f | contnua em a .

Como f contnua em a , dado > 0, > 0 tal que se


d ( x, a ) < , ento | f ( x) f (a ) |< . Mas, ento para este ,
|| f ( x) | | f (a ) ||| f ( x) f (a ) |< .

ii) Mostre que f + g contnua em a .

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



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

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

145
| ( f + g )( x) ( f + g )(a ) |=| f ( x) f (a ) + g ( x) g (a ) |
| f ( x) f (a ) | + | g ( x) g (a ) |

+ = .
2 2

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


x o
f no contnua (em 0).

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


0

d d
aberta B f ( x0 ), 0 . Ento f 1 B f ( x0 ), 0 uma vizi-
2 2
nhana de x0 , onde f no se anula.

6) f contnua em 0 , pois lim


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

7) No. Por exemplo, seja f : (0, 1) definida por f ( x) =


1
x
.

8) No uniformemente contnua.
9) Note que f contnua em [a, b] , que compacto em .
Logo, pelo Teorema 3.5, f uniformemente contnua em
[ a, b] .

Para provar que f Lipschitz em [a, b] , note que:


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

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


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

Ento
f :M N
xx
contnua, M no compacto e N compacto.

146
11) Supor que f uniformemente contnua em .

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


| x 2 y 2 |< = 1 .

Bom, considere pontos da forma xn = n + / 2 e


yn = n, n .

Ento, | xn yn |< e, portanto,

| xn2 yn2 |< 1


2
n 2 + n + n2 < 1
4
2
n + < 1 n
4

o que uma contradio.


Logo, f no uniformemente contnua em .

12) Faremos para f + g . O caso cf anlogo.

Suponha que f e g so uniformemente contnuas e


f ,g :M .

Ento, dado > 0, 1 tal que, se d ( x, y ) < 1 , ento



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

2 tal que d ( x, y ) < 2 , ento | g ( x) g ( y ) |< .
2
Tome = min{1 , 2 } .

Logo, se d ( x, y ) < , ento:


d (( f + g )( x),( f + g )( y )) =| ( f + g )( x) ( f + g )( y ) |=
= | f ( x) f ( y ) + g ( x) g ( y ) || f ( x) f ( y ) | + | g ( x) g ( y ) |<

< + = .
2 2

13) Sejam f : M e g : N P uniformemente contnuas.

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


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

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

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

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


Proposio 3.6.

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


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

16) Seja S um conexo de . Suponha que S no um inter-


valo.

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

Agora, U = (, t ) S e V = (t , +) S formam uma sepa-


rao de S .

Logo, S no conexo.

Exerccios Complementares
1) a) contnua em {0} .
b) contnua em {0} .

c) contnua em X {1} .

2) Suponha que f : X contnua em a .

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


| f ( x) f (a ) |< .

Logo, para este , temos que || f ( x) | | f (a ) ||| f ( x) f (a ) |< ,


sempre que d ( x, a ) < .

148
3) f contnua em X , pois se F fechado em , ento f 1 ( F )
um conjunto finito de pontos de e, portanto, fechado.

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


contnuas.

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


d ( f ( x), f ( y )) =| x 2 y 2 |=|| x y || x + y ||=| x y || x + y | 34 d ( x, y )

e, portanto, f lipschitziana em [17, 17] .

Porm, em (, ) f no lipschitziana, pois


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

6) Dado > 0 , tome = k



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


cia xn em X tal que xn m .

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


n n

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


gem de qualquer intervalo aberto por f um conjunto unit-
rio que no aberto.

9) M = N = ; X = e f : M N , dada por f ( x) =
x2
x2 + 1
.

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

10) Supor que X A contnua em p.


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

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

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


que xn x . Como f e g so contnuas, temos que
f ( x) = lim f ( xn ) = lim g ( xn ) = g ( x) .
n 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 ) com-
pacto, yn possui uma subsequncia ( ynk ) convergente.

Como ( ynk ) convergente, de Cauchy e, portanto, para


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

1
d ( ynM , ynM + j ) <
2 2
n
nM 2 nM 2 + j 1
d( f ( y1 ), f ( y1 )) <
n
nM 2 + j nM 2 1
d( f ( y1 ), y1 ) < .
n

150
nM 2 +1 nM 2 1
Tome z1 = f ( y1 ) . Repita para = e tome
3
nM 3 + j nM 3
z2 = f ( y1 ) , onde nM 3 + j nM 3 nM 2 +1 nM 2 , e sucessiva-
1
mente para = , n = 4,5,6,... . Logo, ( zn ) converge para y1 e,
n
portanto, y1 f ( M ) , mas f ( M ) fechado (sendo compacto)

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

14) A = (0, 1]
1
Sejam U n = ,1 n .
n
Ento, {U n }n no admite subcobertura finita.

0, x < 0
15) Seja f ( x) = .
x, x > 0
Ento f contnua e f 1 ([0, 2]) = (, 2) , que no com-
pacto.
0, x 0
x, 0 x 1

Seja f ( x) = .
2 x , 1 x 2
0, x 2

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

16) a) No compacto (no limitado).


b) No compacto (no limitado).

c) Compacto.

d) Compacto.

e) No compacto (no fechado).

f) No compacto (no fechado).

g) No compacto (no limitado).

h) No compacto (no fechado).

151
17) ) Supor que M no finito, digamos M = {x1 , x2 , x3 ,...} .
1
Ento B xi , uma cobertura aberta que no
2 i=1,2,3,...
possui subcobertura finita e, portanto, M no compacto.

A volta trivial.

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


n uma sequn-
n
cia 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, por-


tanto, A B compacto.

Para mostrar que A B compacto, seja {U } uma cober-


tura 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 subcobertu-


ra finita {U 1 ,...U n } de B .

Logo {U 1 ,...U n ,U 1 ,...,U n } subcobertura finita de A B .

152
21) No. Por exemplo, f ( x) = sen( x 2 ) (analise o comportamento
da funo quando x ).

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

Para mostrar que f 1 contnua, vamos mostrar que a ima-


gem 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 fecha-


dos), como desejado.

23) Sim, f obrigatoriamente limitada. Para provar isto, supo-


nha que f no limitada.

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


f ( x2 ) > f ( x1 ) + 1 .

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


f ( x3 ) > f ( x2 ) + 1 .

Procedendo dessa forma, criamos uma sequncia ( xn ) tal


que xn (0, 1) n e f ( xn ) > f ( xn1 ) + 1 n .

Como ( xn ) limitada, o teorema de Bolzano-Weierstrass


implica que ( xn ) possui uma subsequncia convergente (e,
portanto, de Cauchy).

Agora, para provar que f no uniformemente contnua,


1
basta tomar = . Para este fixo e > 0 , pelo feito aci-
2
ma, sempre encontramos xnk , xnk +1 (0, 1) tais que
1
xnk xnk +1 < e f ( xn ) f ( xnk +1 ) > 1 > = .
2
Logo, f no uniformemente contnua, como desejado.

153
24) (a) (b) . Supor que M no conexo.
Ento existem aberto U e V tal que
U , V , U V = M e U V =

Vamos mostrar que U V = .

Seja u U , como U aberto, existe B (u , ) U e, portanto,

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

Analogamente, mostra-se que U V = .

(b) (a ) . Supor que existem U e V subconjuntos

tais que M = U V ,U V = = U V .

Falta mostrar que U e V so abertos.

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

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

B (u , ) U , como desejado.

Logo, U aberto. Mostra-se que V aberto analogamente.

25) Seja U = {( x, y) 2
: 0 x 1} ,

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

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

Para A \ B , tome A = [3, 5] e B[2, 3] . Ento


A \ B = [0, 2] (3, 5] , que no conexo.

26) Como A compacto, ( xn ) possui uma subsequncia con-


vergente, digamos xnk a .

154

Dado > 0, N1 > 0 tal que d ( xn , xm ) < n, m N1 (pois
2
( xn ) de Cauchy).


Ainda, N 2 > 0 tal que d ( xnk , a ) < 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 ) co-


nexo 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 cone-


xos, mas U V no conexo.

155
Referncias

1) BOYER, C. B. Histria da matemtica. So Paulo: Edgard


Blucher, 1974. Trad. de Elza F. Gomide.

2) CARVALHO, N. T. B.; GIMENEZ, C. S. C. Fundamentos da


matemtica I. Florianpolis: UFSC/EAD/CED/CFM, 2007.

3) EVES, H. Introduo histria da matemtica. Campinas:


Editora da UNICAMP, 1997. Trad. de Hygino H. Domingues.

4) GIMENEZ, C. S. C.; STARKE, R. Introduo ao clculo. Flo-


rianpolis: 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 topo-


logia. So Paulo: Atual, EdUSP, 1982.

8) JOHNSONBAUGH, R.; PFAFFENBERGER, W. E. Founda-


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


rianpolis: EdUFSC, 2002.

11) LIMA, E. L. Anlise real. Rio de Janeiro: Instituto de Mate-


mtica Pura e Aplicada, CNPq, 1989. v. 1.

12) LIMA, E. L. Curso de anlise. Rio de Janeiro: Instituto de


Matemtica Pura e Aplicada, CNPq, 1976.

13) LIMA, E. L. Espaos mtricos. Rio de Janeiro: Instituto de


Matemtica Pura e Aplicada, CNPq, 1978.

14) MARSDEN, J. E.; HOFFMAN, M. J. Elementary classical


analysis. 2. ed. New York: W. H. Freeman and Company,
1993.

157
15) MUNKRES, J. R. Topology: A first course. New Jersey:
Prentice Hall, 1975.

16) RUDIN, W. Princpios de anlise matemtica. Rio de Ja-


neiro: Ao Livro Tcnico; Braslia: Editora da Universidade de
Braslia, 1971.

17) IRA (Interactive Real Analysis). Disponvel em: <http://


web01.shu.edu/projects/reals/index.html>.

158