Escolar Documentos
Profissional Documentos
Cultura Documentos
Elementos Da Análise - Versao Preliminar
Elementos Da Análise - Versao Preliminar
Anlise
Mirian Buss Gonalves
Daniel Gonalves
2 Edio
Florianpolis, 2012
Governo Federal
Presidente da Repblica: Dilma Vana Rousseff
Ministro de Educao: Alozio Mercadante
Coordenador Nacional da Universidade Aberta do Brasil: Celso Costa
Comisso Editorial
Antnio Carlos Gardel Leito
Albertina Zatelli
Elisa Zunko Toma
Igor Mozolevski
Luiz Augusto Saeger
Roberto Corra da Silva
Ruy Coimbra Charo
Design Grfico
Coordenao: Cntia Cardoso
Projeto Grfico Original: Diogo Henrique Ropelato, Marta Cristina Goulart
Braga, Natal Anacleto Chicca Junior
Design Instrucional
Coordenao: xxxxx
Design Instrucional: Adriano Luiz dos Santos N, Niclio Jos Gesser
Reviso Gramatical: Contextuar
Copyright 2012, Universidade Federal de Santa Catarina/CFM/CED/UFSC
Nenhuma parte deste material poder ser reproduzida, transmitida e gravada, por qualquer
meio eletrnico, por fotocpia e outros, sem a prvia autorizao, por escrito, da Coordenao
Acadmica do Curso de Licenciatura em Matemtica na Modalidade a Distncia.
Ficha Catalogrfica
Catalogao na fonte pela Biblioteca Universitria da UFSC
Sumrio
Apresentao.............................................................................. 7
1 Cardinalidade e o corpo dos nmeros reais...................... 9
1.1 Introduo.................................................................................... 11
1.2 Conjuntos finitos e infinitos enumerveis............................... 12
1.3 Conjuntos no enumerveis....................................................... 18
1.4 Algumas propriedades dos Nmeros Reais............................ 21
1.5 Supremo e nfimo........................................................................ 23
2 Noes Topolgicas em
............................................... 39
2.1 Introduo.................................................................................... 41
n
2.2 O espao Euclidiano ............................................................. 42
2.3 Espaos mtricos......................................................................... 45
n
2.4 Mtricas em ........................................................................... 47
2.5 Um exemplo de Mtrica num Conjunto de Funes.............. 50
2.6 Mtrica Induzida......................................................................... 52
2.7 Dimetro de um Conjunto; Distncias entre Conjuntos........ 53
2.8 Bolas Abertas............................................................................... 58
2.9 Conjuntos Abertos...................................................................... 62
2.10 Conjuntos Fechados.................................................................. 68
2.11 Pontos de Acumulao............................................................. 71
2.12 Fecho de um Conjunto...............................................................74
Resumo............................................................................................... 87
3 Convergncia......................................................................... 89
3.1 Sequncias de Nmeros Reais................................................... 91
3.2 Sequncias em um Espao Mtrico.......................................... 95
3.3 Limite de uma Sequncia........................................................... 96
3.4 Subsequncias . ........................................................................ 103
3.5 Sequncias Limitadas............................................................... 106
3.6 Caracterizao dos Conceitos do captulo 2, atravs de
Sequncias................................................................................. 109
3.7 Alguns resultados interessantes em ....................................115
3.7.1 O conjunto de Cantor.........................................................115
3.7.2 Outra verso do Teorema de Bolzano-Weierstrass........115
3.8 Sequncias de Cauchy.............................................................. 120
3.9 Espaos Mtricos Completos................................................... 122
Resumo............................................................................................. 129
4 Continuidade....................................................................... 131
4.1 Introduo.................................................................................. 133
4.2 Funes Contnuas.................................................................... 134
4.3 Conjuntos Compactos................................................................146
4.4 Continuidade Uniforme........................................................... 153
4.5 Conjuntos Conexos....................................................................157
4.6 Teorema do Valor Intermedirio............................................. 163
Resumo..............................................................................................168
Apresentao
Caro Leitor,
Seja bem-vindo ao estudo de Anlise Matemtica.
Provavelmente esta uma das ltimas disciplinas que faltam
para voc se graduar em Matemtica. Os contedos apresentados
neste livro aprofundam o seu conhecimento anterior e tm como
principal finalidade ampliar sua intuio matemtica e seu raciocnio lgico.
Para isso, voc ser introduzido na linguagem formal da Matemtica, onde os conceitos, proposies etc. so tratados com formalismo e rigor. No entanto, a linguagem matemtica clara e precisa
que vamos usar no ser carregada em demasia, de forma a no
prejudicar o desenvolvimento das ideias e o prprio aprendizado.
Sem descuidar do rigor matemtico, procuramos apresentar os
contedos de uma maneira envolvente, de forma a lhe propiciar
uma aprendizagem autnoma e agradvel. Caber a voc a busca
do entendimento dos conceitos, das demonstraes, bem como a
resoluo dos exerccios propostos.
Os conceitos explorados so: conjuntos enumerveis e reviso de
supremo e nfimo; noes bsicas de topologia em espaos mtricos, com nfase para os espaos Euclidianos; convergncia de
sequncias em espaos mtricos, explorando alguns resultados
relevantes em ; continuidade, destacando-se os teoremas mais
importantes utilizados no estudo de Clculo.
A fim de tornar a notao utilizada mais leve e simples, inicialmente apresentamos os conceitos no contexto de um espao mtrico geral. No entanto, no decorrer de todo o texto, a maior parte
dos exemplos e aplicaes desenvolvida nos espaos Euclidianos n , n = 1, 2,3 .
Mesmo que os contedos possam lhe parecer difceis em alguns
momentos, enfrente o desafio. Estude com afinco e dedicao.
Acreditamos que esta disciplina vai lhe proporcionar uma viso
Captulo 1
Cardinalidade e o corpo
dos nmeros reais
11
1.1 Introduo
David Hilbert nasceu
em Konigsberg em 1862
e recebeu seu Ph.D. da
universidade dessa cidade
em 1885, onde lecionou at
1894. No perodo de 1895
at 1930 foi professor da
Universidade de Gottingen,
cidade onde faleceu em
1943.
12
Como resultado, todos os hspedes ficam acomodados nos quartos
subsequentes e o primeiro quarto ficar livre para acomodar o hspede recm chegado.
O que voc achou da soluo?
A situao analisada ilustra a idia de conjunto infinito enumervel,
isto , de um conjunto infinito, cujos elementos podem ser colocados
na forma de uma lista.
Voc pode perguntar:
Posso colocar em forma de uma lista todos os elementos de
um conjunto infinito?
Vamos ver que nem sempre isso possvel. Os conjuntos cujos elementos no podem ser dispostos em sucesso (no podem ser listados) so chamados de conjuntos no enumerveis.
13
Georg Ferdinand Ludwig
Philip Cantor, filho de pais
dinamarqueses, nasceu em
S. Petersburgo, Rssia, em
1845. Estudou na Sua e
na Alemanha e desenvolveu
sua carreira na Universidade
de Halle. Faleceu no
hospital de doenas mentais
de Halle, em 1918.
4
5
14
1.2 O conjunto I dos nmeros inteiros positivos mpares enumervel.
De fato, f : ; f (n) = 2n 1 uma bijeo, como voc pode
visualizar no quadro que segue:
1 2 3 4 5 6 ...
...
1 3 5 7 9 11 ...
Nota: Subconjuntos infinitos de conjuntos enumerveis so
enumerveis.
1.3 O conjunto dos nmeros inteiros Z enumervel.
Vamos resgatar a idia intuitiva. Podemos dispor todos os nmeros inteiros na forma de uma lista, como segue:
0, 1, -1, 2, -2, 3, -3, 4, -4, 5, -5,... .
Qualquer nmero inteiro, positivo ou negativo, ser alcanado
se avanarmos o suficiente nessa lista.
Existem outros conjuntos enumerveis?
A resposta sim, sendo o conjunto dos racionais o exemplo mais
importante (e surpreendente). As proposies que seguem indicam um caminho para provar esse e outros resultados interessantes.
Proposio 1.1. Se f : X Y injetiva e Y enumervel, ento X
finito ou enumervel.
Prova: Como Y enumervel, existe uma bijeo g : Y . Consideremos a funo composta h = g f : X .
f
X
Y
h = g f
15
Como f e g so injetivas, o mesmo ocorre com h. Portanto,
h : X h( X )
uma bijeo.
Como h( X ) , ele finito ou enumervel. Logo, X finito ou enumervel.
f :
(n, m) 2n 3m
16
17
1
2
2
2
3
2
4
2
1
3
2
3
3
3
4
3
1
4
2
4
3
4
4
4
1
5
2
5
3
5
4
5
...
...
...
...
1
2
1
3
1
4
2
3
3
2
4 ,
x11
x21
x31
x12
x22
x32
x13
x23
x33
x41
x42
x43
x14 ...
x24 ...
x34 ...
x44 ...
18
Mais formalmente, note que a funo f : X n , dada
por f ((n, m)) = xnm , uma bijeo, e portanto X n enumervel.
Notas:
1) A unio finita de conjuntos enumerveis enumervel.
2) O produto cartesiano finito de conjuntos enumerveis enumervel.
3) O resultado anterior no vlido para produtos infinitos.
19
Por exemplo,
0,397=0,396999...
0,5=0,4999...
Vamos supor que possvel estabelecer uma correspondncia biunvoca dos nmeros reais do intervalo (0, 1) com os nmeros naturais.
Podemos, ento, escrever esses nmeros em sucesso, x1 , x2 , x3 , ,
conforme o quadro a seguir:
x1 = 0, x11 x12 x13 x14 ...
x2 = 0, x21 x22 x23 x24 ...
x3 = 0, x31 x32 x33 x34 ...
xn = 0, xn1 xn 2 xn 3 xn 4 ...
onde xi j so algarismos de 0 a 9.
Vamos, agora, estabelecer uma contradio. Vamos fazer isso usando o processo diagonal de Cantor. Construmos um nmero diferente de todos os listados. Como?
Trocando os algarismos da diagonal. Assim, esse novo nmero ser
diferente de x1 , na primeira casa decimal, diferente de x2 na segunda casa decimal, diferente de x3 na terceira casa decimal e assim
sucessivamente.
Dessa forma chegamos a um absurdo. Conclumos, ento, que o
conjunto dos nmeros reais entre 0 e 1 no enumervel.
Nota: O conjunto dos nmeros reais tem a mesma cardinalidade do intervalo (0, 1). De fato, a funo y = tg( x ) uma
2
bijeo do intervalo (0, 1) na reta toda (, ) . Voc pode usar
um software grfico para visualizar esta bijeo.
Veja que o resultado acima nos remete a uma reflexo sobre os nmeros irracionais, que voltaro a ser discutidos na prxima unidade.
20
Exerccios Propostos
2) Os nmeros naturais podem ser escritos como a unio dos naturais mpares e dos naturais pares:
= {1, 3, 5, 7,} {2, 4, 6, 8,}
Esses dois conjuntos so disjuntos e infinitos.
Dado um nmero natural p > 2 , atribua alguns valores para p, e
mostre que existem conjuntos A1 , A2 ,, Ap , infinitos e disjuntos,
tais que
p
= Ai
i =1
21
x = 0, se x = 0
x, se x < 0
Nota: O mdulo de x tambm pode ser definido por uma das seguintes expresses:
x = x2 .
x = max{x, x} ou
22
Mod.2: Temos,
2
xy = ( xy ) 2 = x 2 y 2 .
Portanto,
xy = x 2 y 2 = x 2 y 2 = x y .
Mod.3: A primeira desigualdade dessa propriedade trivial,
pois a a , a .
Vejamos, ento, a segunda desigualdade:
Pela propriedade Mod.1, temos que:
23
x = x y+ y x y + y
y = yx+x yx + x .
Trabalhando com essas inequaes, obtemos:
x y x y
y x y x
Multiplicando a segunda inequao por -1, vem:
x y x y
x y y x = x y .
Portanto,
x y x y x y e, assim, x y x y .
Nota: A prova da propriedade Mod.4 direta, sendo deixada como
exerccio.
24
Exerccios Resolvidos
Verificar quais dos seguintes conjuntos so limitados inferiormente
e/ou superiormente.
a) X = {1, 3, 5, 7}
1
b) X = , n
n
c) X = {3n, n }
Soluo:
a) Temos que 1 uma cota inferior de X. Logo, X limitado inferiormente. Temos, tambm, que 7 uma cota superior de X.
Logo X limitado superiormente. Conclumos, assim, que X
um conjunto limitado.
b) Podemos escrever
1
1 1 1
X = 1, , , , , ,
n
2 3 4
1
1, n . Logo, X um conjunto limitado
n
(0 uma cota inferior e 1 uma cota superior).
Temos que 0
c) Temos,
X = {3, 6, 9, 12,, 3n,} .
Podemos ver que -3 uma cota superior de X. Portanto, X
limitado superiormente.
O conjunto X no tem cota inferior. Ele no limitado inferiormente. Conclumos que o conjunto X no limitado.
Proposio 1.7. Em so equivalentes:
i) O conjunto dos nmeros naturais no limitado superiormente.
ii) Dados a, b , a > 0, n tal que an > b .
25
1
< a.
n
Prova:
i) ii) Sejam a, b , a > 0 . Como no limitado supeb
riormente, n tal que n > . Segue que an > b .
a
ii) iii ) Em ii) tomamos a > 0 e b = 1 . Temos que n tal
1
que an > b . Logo, < a .
n
1
iii) i) Seja b , b > 0 . Ento > 0 . Por iii) n tal que
b
1 1
< . Logo, n > b e, dessa forma, nenhum elemento de
n b
cota superior de .
Nota: Retome claramente em sua mente a noo de cota superior
de um conjunto. Procure visualizar geometricamente. Isso fundamental para voc compreender o conceito de supremo de um conjunto, que vamos definir agora.
Definio 1.7. Seja X um conjunto limitado superiormente.
Um elemento b dito supremo de X, se valem:
S.1 - Para qualquer x X , tem-se x b .
S.2 Se c e x c, x X , ento b c .
Em outras palavras, podemos dizer que o supremo de X a menor
das cotas superiores de X.
Denotamos: b = sup X .
Nota: Uma outra caracterizao muito til do supremo dada a seguir.
Considere qualquer nmero positivo muito pequeno. Temos,
S.1' - x X , x b
b = sup X
S.2' - > 0, x X tal que b < x b.
26
Geometricamente podemos visualizar esta caracterizao do
supremo:
x X
27
Geometricamente,
y Y
28
Logo, 0 a maior das cotas inferiores, isto , inf X = 0 .
Nota: Observe que neste caso o nfimo no pertence ao conjunto X.
n 1
3) Seja X =
, n .
n
n 1
1 2 3
Podemos escrever, X = 0, , , , ,
, .
n
2 3 4
Temos,
inf X = {0} ;
sup X = {1} .
1
4) Seja X = , n .
n
5) Seja X = n , n .
2
1
.
2
6) Seja X = {2, 4, 6, 8, } .
Temos:
inf X = 2 .
Como X no limitado superiormente, X no possui supremo.
Acima vimos exemplos de alguns conjuntos cujo supremo e/ou infmo no pertenciam ao conjunto. Porm em todos os exemplos, o
supremo e o infmo eram nmeros racionais.
29
A resposta a pergunta acima negativa. Existem subconjuntos limitados de nmeros racionais cujo supremo no um nmero racional. Para provar esta afirmao, precisamos primeiro da proposio
abaixo.
Proposio 1.8. No existe um nmero racional p tal que p 2 = 2 .
2
Prova: Suponhamos que existe p tal que p = 2 . Ento pom
demos escrever p = , sendo que os inteiros m e n no so amn
bos pares (se forem, podemos simplificar, at deixarem de ser).
Temos,
2
m
p = =2
n
2
ou,
m2
=2
n2
ou, ainda, m 2 = 2n 2 .
Conclumos que m 2 par e, consequentemente, m par. Podemos escrever, ento, m = 2r , onde r um inteiro.
Elevando ao quadrado, temos,
m 2 = 4r 2
ou,
2n 2 = 4r 2 , j que m 2 = 2n 2 .
Simplificando, vem
n 2 = 2r 2 ,
de onde conclumos que n 2 par e, consequentemente, n par.
Chegamos, dessa forma, a uma contradio, pois m e n no so
ambos pares.
30
Proposio 1.9. Sejam
X = {x tais que x > 0 e x 2 < 2} ;
Y = { y tais que y > 0 e y 2 > 2} .
No existe sup X em e no existe inf Y em .
Prova: Vamos fazer esta demonstrao em etapas.
1) O conjunto X no possui elemento mximo.
Seja x um elemento qualquer de X. Vamos mostrar que existe em X um outro elemento maior que x. Consideremos o
nmero racional:
2 x2 .
2x + 1
Como x X , 2 x 2 > 0 e x > 0 . Portanto 2 x + 1 > 0 e, dessa
forma,
2 x2
> 0.
2x + 1
2 x2
.
2x + 1
A existncia desse nmero racional r garantida pela proposio 1.7.
Provemos que x + r X .
Temos, ( x + r ) > 0 . Alm disso,
0 < r <1 r2 < r ;
0<r <
2 x2
r (2 x + 1) < 2 x 2 .
2x + 1
(1)
(2)
31
2) O conjunto Y no possui elemento mnimo .
Seja y Y . Vamos mostrar que existe em Y outro elemento
menor que y.
Consideremos o nmero racional
y2 2
.
2y
Como y Y , y 2 > 2 e y > 0 . Portanto, y 2 2 > 0 e 2 y > 0
e, assim,
y2 2
>0.
2y
Tomamos um nmero r tal que
y2 2
.
0<r<
2y
Temos que 2ry < y 2 2 ou 2ry > 2 y 2 .
Usando esse resultado, vem:
( y r ) 2 = y 2 2ry + r 2
> y 2 2ry
> y2 + 2 y 2
= 2.
Logo, ( y r ) 2 > 2 .
Para concluirmos que ( y r ) Y , falta verificarmos, ainda,
se ( y r ) > 0.
Como 0 < r <
y2 2
, temos que
2y
y 1
r< .
2 y
y
< y e, portanto, ( y r ) > 0 .
2
32
3) Se x X e y Y , ento x < y .
Sejam x X e y Y . Temos,
x > 0 e 0 < x 2 < 2
y > 0 e y 2 > 2
Portanto, 0 < x 2 < 2 < y 2 ou 0 < x 2 < y 2 . Como x > 0 e y > 0 ,
segue que x < y .
4) sup X
Vamos usar os resultados obtidos nas 3 etapas anteriores.
Suponhamos que existe b = sup X em . Ento:
i) b > 0 .
ii) b no satisfaz b 2 < 2 .
De fato, como X no tem elemento mximo (provamos na
etapa 1), b X .
0 satisfaz b 2 > 2 .
ii) b >no
33
Comprovamos, assim, que existem conjuntos de nmeros racionais
que no possuem supremo em . Existem lacunas em . Voc
pode ser perguntar, intuitivamente falando, se as lacunas de podem ser completadas. A resposta afirmativa, e o conjunto que contm , e completa suas lacunas, o conjunto dos nmeros reais.
Temos o seguinte axioma:
Axioma. Em todo subconjunto no vazio, limitado superiormente, possui supremo.
Nota: O Axioma axima implica que em todo subconjunto limitado inferiormente possui nfimo.
Nota: Existe em um nmero p tal que p 2 = 2 . Este nmero representado por 2 e um nmero irracional.
O conjunto dos nmeros irracionais definido como o complementar de em , e denotado por .
Vimos anteriormente que um conjunto enumervel e que
no enumervel. Como a unio de dois conjuntos enumerveis um
conjunto enumervel, conclumos que no enumervel.
Entre os nmeros irracionais mais conhecidos esto
nmero neperiano e .
2 , 3, e o
34
Proposio 1.10. (Princpio dos Intervalos Encaixados)
Seja I 1 I 2 I n uma sequncia decrescente de intervalos fechados e limitados, I n = [an , bn ] . Ento,
I
n =1
{ }, isto , existe
I
n =1
= [ a, b] ,
ou seja, a [an , bn ] .
n =1
35
Exemplo. Verifique o princpio dos intervalos encaixados para a famlia de intervalos
1 1
In = , .
n n
Temos,
I 1 = [ 1, 1]
1 1
I2 = ,
2 2
1 1
In = ,
n n
Logo, 0 I n , n e, assim, 0 I n .
n =1
sup{a1 , a2 ,, an ,} = sup 1, , , , , = 0
2 3
n
e
1
1 1
inf{b1 , b2 ,, bn ,} = inf 1, , ,, , = 0 .
n
2 3
Portanto,
I
n =1
= [0, 0] = {0} .
36
Exerccios Complementares:
1) Mostre que X um conjunto infinito se, e somente se, X pode
ser colocado em correspondncia biunvuca com um subconjunto prprio dele mesmo, isto , se, e somente se, existe uma
bijeo entre X e um subconjunto prprio dele mesmo.
2) Seja S o conjunto das circunferncias de raio 1 e de centro (p, q),
onde p e q so nmeros inteiros positivos. S enumervel?
Justifique.
3) Mostre que a unio de 2 conjuntos disjuntos enumerveis
enumervel.
4) Considere o conjunto S das sequncias (sucesses) cujos termos
so os algarismos 0 e 1 e que eventualmente se anulam, isto ,
uma sucesso x = ( x1 , x2 , x3 ,...) esta no conjunto S se xi {0,1}
para todo i, e, a partir de certo ponto, todos os seus termos
so iguais a zero, isto , existe um K x tal que xi = 0 para todo
i > K x . Decida se S enumervel e justifique sua resposta.
5) Dado o conjunto
2
X = , n :
n
a) X =
, n
n
b) Y = {(1) n n, n }
c) Z = {5 3n, n }
7) Escreva em linguagem coloquial a caracterizao de nfimo
dada pelas condies I.1 e I.2 do texto.
8) D 2 exemplos de conjuntos de nmeros racionais que:
a) No possuem supremo em .
b) No possuem nfimo em .
c) No possuem nfimo nem supremo em .
37
9) Identifique se so verdadeiras ou falsas as afirmaes que seguem, justificando as suas respostas.
a) Se X um conjunto finito, o nfimo de X e o supremo de X
pertencem a X.
b) Se um conjunto X tem supremo ento ele admite infinitas
cotas superiores.
c) O nfimo de um conjunto limitado de nmeros irracionais
um irracional.
d) Qualquer subconjunto ilimitado de nmeros racionais
denso em .
10) Em , d um exemplo de um conjunto de nmeros racionais
que tem supremo irracional e de um conjunto de nmeros irracionais que tem supremo racional.
11) Mostre que no princpio dos intervalos encaixados no podemos retirar as hipteses:
a) os intervalos so limitados;
b) os intervalos so fechados.
Captulo 2
Noes Topolgicas em n
41
Noes Topolgicas em
Neste captulo voc vai adquirir conhecimentos bsicos de Topologia no n , com nfase para n = 1, 2,3.
Isso oportunizar a voc uma viso mais ampla e mais
fundamentada das disciplinas do ensino mdio, quando
lecion-las.
2.1 Introduo
Antes de iniciar o captulo, vejamos o que Cantor e Hilbert afirmaram sobre o estudo de conjuntos:
Por conjunto entendemos a entidade formada quando colocamos certos objetos, definidos e distintos m, da nossa intuio
ou pensamento. Estes objetos so chamados os elementos de
M. (G. Cantor, 1895, Werke, p. 282, apud [6, Hairer-Wanner])
Ningum nos expulsar do paraso que Cantor criou para
ns. (Hilbert, Math. Ann, vol 95, p. 170, apud [6, Hairer-Wanner])
42
43
interessante voc relembrar as propriedades de um espao vetorial. Retome o texto da disciplina lgebra Linear.
Como n um espao vetorial, podemos introduzir o conceito de
norma.
Definio 2.1. Uma norma em n uma funo || ||: n tal que
para quaisquer x, y n e , valem as seguintes propriedades:
N1:|| x || 0 e || x ||= 0 x = 0;
N 2 :|| x ||=| ||| x ||;
N 3 :|| x + y |||| x || + || y || .
A norma de n que mais vamos utilizar a norma Euclidiana, dada
por
|| ||: n
x = ( x1 , x2 , , xn ) || x ||= x12 + x22 + + xn2 .
Observao. Veremos que outras normas podem ser definidas em
n . Sempre que no fizermos uma referncia explcita norma, estaremos subentendendo que a norma usada a norma Euclidiana.
No nosso estudo, de forma geral, vamos trabalhar nos espaos n ,
n = 1, 2,3 . Isso nos permite visualizar geometricamente os conceitos
que vamos explorar.
Exemplo 2.1. Identifique, no espao 1 , o conjunto
X = {x 1 / || x ||< 1}.
Observe que o espao 1 nada mais que o conjunto dos nmeros reais, que identificamos geometricamente com a reta real.
Temos || x ||=| x |< 1 1 < x < 1 .
Portanto, X o intervalo aberto (1,1) , representado na figura
2.1.
1
Figura 2.1
44
Exemplo 2.2. Identifique no espao 2 o conjunto
S = {x = ( x1 , x2 )/ || x ||< 1} .
Geometricamente o espao 2 o plano cartesiano . Se necessrio, reveja a seo 3.7 do livro texto de Introduo ao Clculo.
Temos || x ||= x12 + x22 < 1 x12 + x22 < 1 .
Portanto, S o conjunto dos pontos interiores circunferncia de
centro em (0,0) e raio 1, ilustrada na figura 2.2.
x2
x1
Figura 2.2
1
x1
Figura 2.3
x2
45
y
x
x1
y1
x1
Figura 2.4
Isso est correto. No entanto, podemos ter mais que uma maneira
de medir a distncia. Algumas propriedades devem ser satisfeitas:
M1: A distncia entre dois pontos nunca negativa e s zero
a distncia de um ponto a ele mesmo.
M2: A distncia simtrica, isto , a distncia de x at y
igual distncia de y at x .
M3: A distncia entre 2 pontos x e z sempre menor ou igual
soma das distncias de x at y e de y at z , onde y um
ponto qualquer.
Nota: Qualquer funo que satisfaz estas propriedades pode ser
usada para medir distncias.
Temos a seguinte definio:
46
Definio 2.2. Seja M um conjunto. Uma mtrica em M uma funo d : M M , onde M M o produto cartesiano de M por
M : M M = {( x1 , x2 ) / x1 , x2 M }, tal que para quaisquer x, y, z M ,
temos:
M1: d ( x, y ) 0 e d ( x, y ) = 0 x = y;
M2: d ( x, y ) = d ( y, x);
M3: d ( x, z ) d ( x, y ) + d ( y, z ) .
O par ( M , d ) , onde M um conjunto e d uma mtrica, chamado
um espao mtrico.
Exemplo 2.4. M = ,
A partir das propriedades dos nmeros reais podemos verificar facilmente que d uma mtrica em .
Temos:
M1: d ( x, y ) = y x 0
d ( x, y ) = 0 y x = 0 y x = 0 x = y;
M2: d ( x, y ) = d ( y, x) , pois | y x |=| x y |;
MM3:
3 : d ( x, z ) =| z x |
=| z y + y x |
| z y | + | y x |
=| y x | + | z y |
= d ( x, y ) + d ( y, z ).
0, se x = y
Exemplo 2.5. Seja M qualquer. A funo d ( x, y ) =
1, se x y
satisfaz as propriedades de mtrica, sendo denominada mtrica trivial ou mtrica 0 1 .
Qual a deficincia que voc identifica nesta mtrica?
Ela no diferencia a distncia entre pontos distintos. Por exemplo, se
M = , d (4,9) = 1 , d (5,7) = 1 , etc.
47
Exerccio Resolvido
1) A funo d ( x, y ) = x 2 + 2 xy mtrica em ? Justifique.
Resoluo:
Note que d no uma mtrica em , pois no satisfaz a propriedade M 1 . Por exemplo, d (1, 3) = 5 < 0 .
Exerccio Proposto
1) A funo d ( x, y ) = 2 x y mtrica em ? Justifique.
2.4 Mtricas em
Sejam x = ( x1 , x2 , , xn ) e y = ( y1 , y2 , , yn ) pontos de n .
As mtricas usualmente utilizadas no espao n so:
i) Mtrica Euclidiana
d : n n
d ( x, y ) = ( y1 x1 ) 2 + ( y2 x2 ) 2 + + ( yn xn ) 2 .
Nota: Observe que para esta mtrica, a distncia de x at y dada
pela norma euclidiana de x y , isto , d ( x, y ) =|| x y || .
ii) Mtrica Retangular ou de ngulo Reto
d1 : n n
d1 ( x, y ) =| y1 x1 | + | y2 x2 | + + | yn xn | .
iii) Mtrica do Mximo
d2 : n n
d 2 ( x, y ) = max{| y1 x1 |,| y2 x2 |, ,| yn xn |}.
Observaes.
1) Em nosso estudo a Mtrica Euclidiana ser considerada a mtrica
usual de n .
2) Pode-se provar que
d 2 ( x, y ) d ( x, y ) d1 ( x, y ) kd 2 ( x, y ) ,
48
onde k uma constante. Por exemplo, em 2 , para mostrar
que
d ( x, y ) d1 ( x, y )
suficiente
mostrar
que
a 2 + b 2 ( a + b ) 2 = a + 2 a b + b 0 2 a b , o que verdade
a, b .
Devido a estas desigualdades, dizemos que as trs mtricas so
equivalentes. A equivalncia no sentido de que elas vo produzir
os mesmos abertos e fechados em n .
importante voc visualizar geometricamente essas medidas de
distncia. Para isso vamos utilizar o espao 2 . Retomando a figura 2.4, vemos que a distncia Euclidiana entre dois pontos a distncia medida em linha reta. As figuras 2.5 e 2.6, respectivamente,
ilustram a mtrica retangular e a mtrica do mximo.
x2
y
y2
x2
x
x1
y1
x1
Figura 2.5
x2
y
y2
x2
x
y1
x1
Figura 2.6
x1
Mtrica Retangular
Tambm conhecida como
Mtrica Metropolitana ou
de Manhattan, devido s redes de transporte na forma
de grades retangulares que
ocorrem em muitas cidades
americanas e mesmo brasileiras. Em muitos casos ela
a mtrica mais adequada
para medir as distncias dos
deslocamentos nos centros
urbanos.
49
Exerccio Resolvido
2) Usando as trs mtricas anteriores, identifique os pontos de
2 tais que sua distncia at a origem seja igual a 1.
Resoluo:
Sejam o = (0,0) e x = ( x1 , x2 ) .
i) Para a mtrica Euclidiana, temos
d ( x, o) = 1 ( x1 0) 2 + ( x2 0) 2 = 1 x12 + x22 = 1 .
ii) Para a mtrica retangular, vem
d1 ( x, o) = 1 | x1 0 | + | x2 0 |= 1 | x1 | + | x2 |= 1 .
iii) Para a mtrica do mximo, temos
d 2 ( x, o) = 1 max{| x1 0 |,| x2 0 |} = 1 max{| x1 |,| x2 |} = 1.
A figura 2.7 ilustra as 3 situaes.
x2
x2
(i)
x1
x2
(ii)
x1
x1
(iii)
Figura 2.7
Exerccio Proposto
2) Refaa a figura 2.7, usando as equaes obtidas em (i), (ii) e (iii) e
sobrepondo as 3 figuras no mesmo sistema de coordenadas.
Exerccio Resolvido
3) Em 2 , mostre que a mtrica Euclidiana satisfaz a desigualdade triangular, isto , mostre que d ( x, y ) d ( x, z ) + d ( z , y ) ,
x, y, z 2 .
50
Resoluo:
Dados x = ( x1 , x2 ) , y = ( y1 , y2 ) e z = ( z1 , z2 ) , temos que provar que:
( x1 z1 ) 2 + ( x2 z2 ) 2 ( x1 y1 ) 2 + ( x2 y2 ) 2 + ( y1 z1 ) 2 + ( y2 z2 ) 2
Sejam ai = ( xi yi ) , bi = ( yi zi ) , i = 1,2 .
Ento xi zi = ( xi yi ) + ( yi zi ) = ai + bi e a inequao acima
equivalente a
(a1 + b1 ) 2 + (a2 + b2 ) 2 a12 + a22 + b12 + b22
(a1 + b1 ) 2 + (a2 + b2 ) 2 a12 + a22 + 2 a12 + a22 b12 + b22 + b12 + b22
a1b1 + a2b2 (a12 + a22 )(b12 + b22 ) .
Para, mostrarmos esta ltima inequao, suficiente mostrar que
a1b1 + a2b2 (a12 + a22 )(b12 + b22 ) , ai , bi , i = 1,2 .
Mas a inequao acima a famosa equao de Cauchy-Schwartz
em 2 ( a b a b , para a = (a1 , a2 ) , b = (b1 , b2 ) ), e podemos
prov-la elevando ao quadrado em ambos os lados, agrupando
termos, e notando que (a1b2 a2b1 ) 2 0 , ai , bi , i = 1,2 .
Conclumos que a desigualdade riangular vlida em 2 .
Nota: Um argumento semelhante pode ser usado para provar a desigualdade triangular em 2 .
51
A funo
d :M M
importante voc revisar
bem a seo 2.6, que
explora os conceitos de
supremo e nfimo, no texto
de Introduo ao Clculo [4,
Gimenez-Starke].
uma mtrica em M .
A figura 2.8 ilustra a mtrica dada para X = [a, b] .
x2
g
d ( f, g)
x1
Figura 2.8
d ( f , g ) = 0 sup{| g ( x) f ( x) |} = 0 | g ( x) f ( x) |= 0 , x X
xX
f ( x) = g ( x) , x X .
MM2:
2 : d ( f , g) = d (g, f ) .
imediata pelas propriedades de mdulo de nmeros reais.
52
xX
= d ( f , h) + d (h, g ).
Conclumos, assim, que d ( f , h) + d (h, g ) uma cota superior do conjunto
{| g ( x) f ( x) |, x X } .
Segue que
d ( f , g ) = sup | g ( x) f ( x) | d ( f , h) + d (h, g ) .
x X
Exerccio Proposto
3) Seja X = [0,1] . Determinar d ( f , g ) , sendo:
d) f ( x) = x e g ( x) = 1 ;
e) f ( x) = x 2 e g ( x) = x .
53
x2
x1
Figura 2.9
54
x2
x1
x2
4 x1
Figura 2.10
x1
55
Exemplo 2.8. Os dimetros dos conjuntos A , B e C , representados
na figura 2.10 so:
diam( A) = 2 ; diam( B) = 2 ; diam(C ) = 2 .
Na figura 2.11, representamos os conjuntos A ' e B ' .
x2
x2
x1
4x
1
B
Figura 2.11
Exerccio Resolvido
4) Demonstre a afirmao do Exemplo 2.7.
Resoluo:
Faremos para o intervalo [a, b] . O caso do intervalo (a, b) fica
como exerccio.
Primeiro note que b a cota supeior para d ( x, y ) com x, y [a, b] ,
pois se x, y [a, b] ento y b e x a . Logo, b a x y .
1
1
< . Ento a, b pern
n
1
1
56
Definio 2.4 (Distncia de um ponto a um conjunto). Sejam
( M , d ) um espao mtrico, A M , A e p um ponto de M .
A distncia de p at A o nmero real que denotamos por d ( p, A),
dado por
d ( p, A) = inf{d ( p, x) / x A} .
Nota:
1) O nfimo existe, pois d ( p, x) 0 , x A .
2) Se p A , ento d ( p, A) = 0 .
Exemplo 2.9. Considere o conjunto C , representado na figura 2.10.
1 1
Dados P1 (0,1), P2 , e P3 (2, 2), determinar a distncia d ( Pi , C ),
2 2
i = 1, 2,3 .
Temos que
, pois
;e
Definio 2.5 (Distncia entre dois conjuntos). Sejam ( M , d ) um espao mtrico, A, B M , A e B . Definimos a distncia de A
at B como sendo o nmero real
d ( A, B) = inf {d ( x, y ) / x A e y B} .
Nota:
1) Se A B , ento d ( A, B) = 0 .
2) A B = no implica que d ( A, B) > 0 .
De fato, tome, por exemplo, os intervalos A = [0,1) e B = [1, 2] em .
Temos A B e d ( A, B) = 0 .
Exemplo 2.10. Sejam:
A = {( x, y ) 2 / y = 0}
B = {( x, y ) 2 / x > 0 e xy = 1} .
Comprove este
resultado, raciocinando
geometricamente.
57
x
A
Figura 2.12
1
p = ( x0 ,0) e q = x0 , .
x0
Temos
p A e qB
e
2
1
d ( p, q ) = ( x0 x0 ) + 0 = < .
x0
x0
Logo, d ( A, B) = inf{d ( x, y ) / x A e y B} = 0 .
58
Exerccio Proposto
4) D exemplos de conjuntos A e B , tais que:
a) d ( A, B) = 3 em ;
b) d (o, A) = 2 em 2 ; onde o a origem.
c) d ( A, B) = 1 em 2 e em 3 .
a+
Figura 2.13
59
x2
x2
x2
a2
a2
a2
a1
(a)
x1
a1
x1
(b)
a1
x1
(c)
Figura 2.14
60
Observao. A prova trivial. Faa uma representao geomtrica
em 2 , com a mtrica usual.
Propriedade B3. Dado um ponto qualquer y B( x, r ) , existe um nmero real r1 , tal que
B ( y, r1 ) B ( x, r ) .
Prova:
Seja y B( x, r ) . Tome r1 = r d ( x, y ) , como representado na figura 2.15, para 2 com a mtrica usual.
y
r
r1
d(x,y)
Figura 2.15
61
A figura 2.16 ilustra esta propriedade para 2 com a mtrica usual.
r2
z
r1
Figura 2.16
Prova:
Seja z B ( x, r1 ) B ( y, r2 ) . Pela propriedade B3:
(1)
(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 ) .
62
r2
r1
y
d(x,y)
Figura 2.17
63
Definio 2.7 (Interior de um Conjunto). Seja A M , A . Dizemos que um ponto x A um ponto interior de A , se existir uma
bola aberta centrada em x e contida em A .
O conjunto de todos os pontos interiores de A denominado Interior de A e denotado por
Int( A) .
Simbolicamente, escrevemos
x Int( A) B( x, r ) A .
Exemplo 2.14. Considere, em 2 , o conjunto
A = {( x1 , x2 ) 2 / ( x1 1) 2 + ( x2 1) 2 1} .
Quais os pontos de A que so pontos interiores? Existem pontos de
A que no so interiores? Quais?
A figura 2.18 ilustra este exemplo.
x2
x1
Figura 2.18
64
Exerccio Proposto
5) Identifique, representando geometricamente, Int( A) , sendo:
a) A = {( x1 , x2 ) 2 / x2 x1} ;
b) A = {( x1 , x2 ) 2 / x12 x2 < 0} ;
c) A = {( x1 , x2 ) 2 / x2 > e x1 } ;
d) A = {( x1 , x2 ) 2 / x1 > 0 e x2 < ln x1} ;
e) A = (conjunto dos inteiros em );
1
f) A = , n em .
n =1 n
Exerccio Resolvido
5) Mostre que Int( A) Int( B) = Int( A B) .
Resoluo:
Seja x Int( A) Int( B) . Ento, pela definio de interior, existem
r1 e r2 tais que B( x, r1 ) A e B( x, r2 ) B . Pela propriedade de bolas
abertas B4, r3 tal que B ( x, r3 ) B ( x, r1 ) B( x, r2 ) A B .
Logo, x Int( A B) e provamos que Int( A) Int( B) Int( A B) . A
outra incluso fica como exerccio.
65
Exerccio Proposto
6) Decida se Int( A B) Int( A) Int( B) . Se for verdadeiro prove,
caso contrrio apresente um contra-exemplo.
Definio 2.8 (Conjunto Aberto). Seja A M . Dizemos que A
aberto se todo ponto de A um ponto interior de A .
Nota: O interior de A sempre est contido em A . Logo, se A Int( A) ,
ento A aberto.
Exemplo 2.16. Toda bola aberta um conjunto aberto.
De fato, esse resultado uma consequncia imediata da propriedade B3.
Exemplo 2.17. O conjunto A = {x / 0 < x < 1} aberto em , mas o
conjunto B = {( x1 , x2 ) 2 / 0 < x1 < 1, x2 = 0} no aberto em 2 .
A figura 2.19 ilustra esta situao
x2
x1
Figura 2.19
66
A
1
x =y 2 +1
Figura 2.20
67
Ou,
a < x < a + ,
b < y < b + .
Logo, x a > (b + ) 2 + + 1 = (b + ) 2 + 1 > y 2 + 1.
Isto , x > y 2 + 1. Isso diz que ( x, y ) A e, portanto, B((a, b), ) A.
Propriedades dos Conjuntos Abertos:
Propriedade Ab1. O conjunto vazio e o espao todo M so abertos.
Prova:
imediata.
68
Propriedade Ab3. A unio arbitrria de conjuntos abertos um
aberto.
Prova:
Sejam { A } uma coleo de abertos e A = A .
Exerccio Proposto
7) Usando induo matemtica, mostre que a interseo finita de
abertos um aberto, isto , se A1 , A2 , , An so conjuntos abern
Se necessrio revise o
captulo 5, Princpio
de Induo do texto
de Fundamentos de
Matemtica I [2, CarvalhoGimenez].
Ento,
A
n =1
Tringulo de Sierpinski
uma generalizao do
conjunto de Cantor (o qual
estudaremos mais tarde).
Se voc quiser saber mais,
sugerimos uma busca na internet com as palavras Tringulo de Sierpinski ou, em
ingls, Sierpinski triangle..
69
Figura 2.21
Definio 2.9. Seja F M . Dizemos que F fechado se o seu complementar, C ( F ) , for aberto.
Exemplo 2.21. O conjunto F = {( x1 , x2 ) 2 / x12 + x22 1} fechado
em 2 .
Exemplo 2.22. Os intervalos [a, b] , (, b] e [a, +) so conjuntos
fechados.
Exemplo 2.23. O conjunto F = {( x1 , x2 , x3 ) 3 / x12 + x22 + x32 1} fechado em 3 .
Exemplo 2.24. Seja ( M , d ) espao mtrico onde d a mtrica descrita. Ento todo subconjunto de M fechado.
Nota: Assim como definimos bola aberta, podemos definir bola fechada.
B[ x, r ] = { y M / d ( y, x) r}
uma bola fechada em M .
Em n , podemos escrever:
B[ x, r ] = { y n / || y x || r} .
Exerccio Proposto
8) Mostre que toda bola fechada um conjunto fechado.
70
Na linguagem cotidiana, quando nos referimos a portas, janelas, livros etc., as palavras aberto e fechado so antnimos. Porm,
quando aplicadas a subconjuntos de n elas no o so.
n e so abertos e fechados simultaneamente.
Em um espao mtrico discreto (na mtrica 0-1) todo conjunto
aberto e fechado ao mesmo tempo. Isto segue do fato que
B ( x, 1 ) = {x} .
2
Existem muitos conjuntos que no so abertos nem fechados.
Um exemplo simples o conjunto dos nmeros racionais em
.
Propriedades dos Conjuntos Fechados:
Propriedade Fe1. O conjunto e o espao todo M so fechados.
Prova:
imediata, pois e M so abertos.
71
Prova:
Sejam {F } uma coleo de conjuntos fechados e F = F.
Temos
C ( F ) = C ( F ) = [C (F )] .
Como F fechado, C ( F ) aberto.
Pela propriedade Ab3, segue que C ( F ) aberto.
Logo, F fechado.
Exerccios Propostos
9) Mostre que a unio finita de fechados um fechado (use induo matemtica).
10) Em n todo conjunto unitrio fechado? E todo conjunto finito? Esses resultados so vlidos para qualquer espao mtrico?
11) Atravs de um exemplo, mostre que a unio de uma famlia
arbitrria de fechados pode no ser fechada.
72
Observe que x no precisa pertencer a A para ser ponto de acumulao.
Mesmo sem ter sido usada esta nomenclatura, voc j entrou em
contato com o conceito de ponto de acumulao, quando voc estudou limite de funes.
A nota da pgina 79 do texto de Clculo I [5, Gimenez-Starke],
[...] calcular o limite de uma funo num ponto b examinar o
comportamento da funo em pontos extremamente prximo de
b [...],
73
2
n
1
n
1
n
2
n
3 ...
n
Figura 2.22
74
Exerccios Propostos
12) Encontrar S ' , sendo S = {( x, y ) 2 / y < x 2 1} .
13) Decida quais dos seguintes conjuntos so fechados em :
1
1 1
a) A = 1, , ,, , ;
n
2 3
1 1
1
b) B = 0,1, , , , , ;
2 3
n
3 4 5 6
c) C = 1, 2, , , , , ;
2 3 4 5
1 1 1 1
d) D = , , , , ;
2 4 8 16
e) Domnio de f , sendo f ( x) =
1
;
x 1
f) Imagem de g , sendo g ( x) = x 2 + 2 x + 2 .
g) O conjunto de Cantor em .
75
Simbolicamente, escrevemos:
i) A = A A ' ;
ii) a A r > 0 , B(a, r ) A .
Proposio 2.2. O fecho de qualquer conjunto sempre um conjunto fechado.
Prova:
Seja X M . Vamos mostrar que C ( X ) aberto.
Seja a C ( X ). Ento a X e a X ' e, portanto, existe r > 0 tal
que
B (a, r ) X = , isto , B(a, r ) C ( X ).
Vamos mostrar, agora, que B (a, r ) C ( X ) .
De fato, seja y B(a, r ) . Pela propriedade de bolas abertas B3,
existe r1 > 0 tal que
B ( y, r1 ) B (a, r ) C ( X ) .
Assim, B ( y, r1 ) X = , o que implica que y no ponto de
acumulao de X . Segue que y C ( X ) .
Conclumos, assim, que a Int(C ( X )) . Logo, C ( X ) aberto e,
portanto, X fechado.
Prova:
Note que o resultado segue do fato que se A B ento A ' B ' .
76
Exerccio Resolvido
6) Determine os pontos de acumulao e o fecho de cada um dos
seguintes subconjuntos de .
a)
Resoluo:
Note que no possui ponto de acumulao, pois para todo n ,
1
B n, = . Disto segue que = (veja definio 2.11) e,
2
portanto, fechado.
b)
Resoluo:
Note que = , pois dado um nmero real x qualquer, toda bola
aberta B ( x, ) contm racionais diferentes de x . Pela definio
2.11, segue que = .
c) (0, 2)
Resoluo:
Primeiro observe que se x [0, 2] ento existe um > 0 tal que
B ( x, ) (0, 2) e, portanto, x no ponto de acumulao de (0, 2) . Por outro lado, fcil ver que se x [0, 2] , ento
B ( x, ) (0, 2) para todo > 0 . Logo, (0, 2)=[0,2] . Segue da
definio 2.11 que (0, 2) = [0, 2] .
Exerccios Propostos
14) Determine o fecho dos seguintes conjuntos em :
1 1 1
a) A = 1, , , , ;
2 3 4
1
b) B = , n .
n =1 n
77
Exerccio Resolvido
7) Seja A M . Mostrar que
x A inf{d ( x, y ) / y A} = 0 .
Prova:
) Sejam x A e = inf{d ( x, y ) / y A} .
Se x A , ento = 0 (trivial).
Se x A mas x A ' , ento r > 0 , B( x, r ) A .
Assim, r > 0 , existe y A tal que d ( x, y ) < r .
Como r > 0 qualquer, segue de = 0 .
) Seja x M tal que = inf{d ( x, y ) / y A} = 0 .
Se x A , nada a provar.
Se x A , pela definio de nfimo, para qualquer r > 0 , existe
y A tal que d ( x, y ) < r .
Segue que y A B ( x, ) e, ento, x A ' A .
78
Vamos finalizar esta unidade com o conceito de fronteira de um
conjunto. Este conceito pode ser visualizado intuitivamente no 2 ,
onde para muitos conjuntos a fronteira desempenha o papel de limitante, como pode ser observado no mapa da figura 2.23.
BOA VISTA
AMAP
RORAIMA
MACAP
BELM
MANAUS
AMAZONAS
ACRE
PAR
MARANHO
Fronteira entre
Brasil e Bolvia
PORTO VELHO
PALMAS
RIO BRANCO
TOCANTINS
RONDNIA
PERU
MATO GROSSO
DISTRITO
FEDERAL
CUIAB
BOLVIA
GOIS
GOINIA
MINAS
GERAIS
MATO GROSSO
DO SUL
BELO HOR
CAMPO GRANDE
SO PAULO
PARAGUAI
SO PAULO
PARAN
CURITIBA
SANTA
CATARINA
Figura 2.23
x Fr( A) r > 0 , e
.
B ( x, r ) C ( A)
79
O conjunto A est representado na figura 2.25. Observe que
x2 y 2 = 1
a equao de uma hiprbole. A fronteira de A o grfico desta
hiprbole, isto ,
Fr( A) = {( x, y ) 2 / x 2 y 2 = 1} .
y
Fr(A)
Figura 2.25
Exerccios Propostos
17) Verifique se so verdadeiras ou falsas as sentenas:
a) A B Fr( A) Fr( B) ;
b) x Fr( A) x A ' , isto , x um ponto de acumulao de
A;
c) Fr( A B ) Fr( A) Fr( B) .
18) Identifique e represente geometricamente a fronteira dos seguintes conjuntos:
a) A = {( x, y ) 2 / x 2 + y 2 1} ;
b) Int( A) (sendo A o conjunto do item a);
c) A = [0,1] em ;
d) B = [0,1] em ;
2
2
e) C = {( x, y ) / y > x 4 x + 3} .
80
Propriedades da Fronteira:
Propriedade Fr1. Fr( A) = A C ( A) .
Prova:
x A
B ( x, r ) A
e
x A C ( A)
x Fr( A) r > 0, e
B( x, r ) C ( A)
x C ( A)
81
Como x A , temos
B( x, r ) A e B ( x, r ) C ( A) , r > 0 .
Logo, x Fr( A) .
ii) x A e x A ' .
Como x ponto de acumulao de A , qualquer bola aberta
centrada em x contm pontos de A . Como x A , o mesmo
ocorre com C ( A) .
Logo, x Fr( A) .
Conclumos, ento, que A Int( A) Fr( A) .
Figura 2.26
82
Temos
Fr( A) = {( x, y ) 2 / x = 1}
Int(C ( A)) = {( x, y ) 2 / x < 1} .
Dado um ponto qualquer p 2 , exatamente uma das trs possibilidades a seguir ocorre:
p Int( A) ou p Fr( A) ou p Int(C ( A)) .
Esse resultado pode ser generalizado.
Proposio 2.3. Seja A M . Dado p M , tem-se 3 possibilidades
exclusivas:
p Int( A) ou p Fr( A) ou p Int(C ( A)) .
Assim, a ideia intuitiva de que a fronteira desempenha um papel de
limitante entre um conjunto e seu exterior, como ilustrado na figura
2.23, vale para qualquer conjunto de um espao mtrico.
Exerccios Propostos
19) D exemplos de conjuntos A em , 2 e 3 , identificando:
Int( A) , A ' , A , Fr( A) , C ( A) , Int(C ( A)) .
20) D exemplos para ilustrar que:
a) Fr( A) Fr( B) mas A B ;
b) Um ponto de fronteira no ponto interior.
Exerccios Complementares
1) Verifique quais das seguintes funes so mtricas em :
a) d ( x, y ) =| x + y | ;
b) d ( x, y ) =| x | | y | ;
c) d ( x, y ) = ( x y ) 2 .
2) Verifique quais das seguintes funes so mtricas em 2 :
a) d ( x, y ) = 3 | y1 x1 | +3 | y2 x2 | ;
83
b) d ( x, y ) =| x1 + y1 | + | x2 + y2 | ;
sendo x = ( x1 , x2 ) e y = ( y1 , y2 ) .
3) Seja f : uma funo estritamente crescente. Seja
d : definida por d ( x, y ) =| f ( x) f ( y ) | . Mostre que
d uma mtrica sobre .
4) Seja X um conjunto no vazio e
M = { f : X / f limitada} .
Em M considere a mtrica
d ( f , g ) = sup{| f ( x) g ( x) |} .
xX
1
, a ,
2
B p, n = { p} .
n =1
84
p
b) = x = / p, q e q 0 ;
q
c) ;
d) Intervalo aberto (1, 2) ;
e) (1, 2) ;
f) Intervalo [1, 2) ;
g) Intervalo fechado [1, 2] ;
h) [1, 2] {3} .
11) Identifique quais dos seguintes subconjuntos de 2 , com a
mtrica usual, so abertos e/ou fechados ou nem abertos nem
fechados:
a) A = {( x, y ) 2 / x 2 4 x + y 2 0} ;
b) B = {( x, y ) 2 / y > 0} ;
c) C = {( x, y ) 2 / x < 2 e y 2} ;
d) D = {( x, y ) 2 / x = 0 e y = 0} ;
e) E = {( x, y ) 2 / x 1} ;
f) F = {( x, y ) 2 / y 2 x 2 > 1} ;
g) G = B (0, 2) B(1, 2) .
85
12) Determine os pontos de acumulao e o fecho de cada um dos
seguintes subconjuntos de :
1
1 1
, , , (0, 2) , [0, 2) , [0, 2] , (0,1) , 1, , , , , .
n
2 3
13) Num espao mtrico qualquer ( M , d ) , mostre que se A M
aberto e a M , ento A \{a} aberto.
14) Seja ( M , d ) um espao mtrico onde M finito. Prove que
todo subconjunto de M aberto.
15) Sejam xn no vazios em . D exemplos mostrando que
F
n =1
86
19) Determine a fronteira dos conjuntos:
a) Em : A1 = [a1; +) ; A2 = [0,1) {3} ; A3 = ;
b) Em 2 : B1 = {( x, y ) / xy = 1} ; B2 = {( x, y ) / x > 0 e y > 0} .
20) Encontre os pontos de acumulao dos seguintes conjuntos
em 2 :
a) A = {(m, n) / m, n } ;
b) B = {( p, q ) / p, q so racionais} ;
1 1
c) C = , / n ;
n n
1 1
d) D = , / m, n ;
m n
m 1
e) D = , / m, n , n 0 .
n n
87
Resumo
Neste captulo voc se familiarizou com as noes topolgicas bsicas
em um espao mtrico, tais como: bolas abertas, conjuntos abertos,
conjuntos fechados, pontos de acumulao, etc. Muitos exemplos foram desenvolvidos no espao n , em especial em e 2 , de modo
a desenvolver a sua intuio geomtrica. Foram apresentados exerccios resolvidos e propostos, fundamentais para o seu aprendizado.
88
Captulo 3
Convergncia
91
Convergncia
Neste captulo iremos estudar sequncias. Iniciaremos revendo brevemente o conceito de sequncia de nmeros
reais. A seguir, introduziremos a definio de sequncia
em um espao mtrico.
Nosso interesse estudar o comportamento de uma sequncia. Em particular, queremos entender o comportamentodo n -simo termo da sequncia, quando n tende a
infinito. Para isso, precisamos definir a noo de convergncia.
Assumiremos que todos os livros tm largura 2 e peso 1 e que podemos usar apenas um livro por andar. Este problema conhecido
como o problema da Torre Inclinada de Lire e possui mais de uma
soluo possvel.
A primeira ideia que nos vem simplesmente empilhar os
livros verticalmente e equilibrar no beirado da mesa, de forma que parte deles fique para fora da mesa (Figura 3.1).
MESA
Figura 3.1
Apesar de este mtodo funcionar, iremos atingir uma distncia de, no mximo, aproximadamente 1. Poderamos, ento,
pensar em usar contrapesos para atingir distncias maiores.
92
Porm, o problema prope que usemos apenas um livro por andar
e, portanto, no podemos seguir esta ideia. Vamos, ento, atacar o
problema usando a matemtica que j aprendemos nos clculos.
Primeiro, lembramos que o centro de gravidade combinado c de
dois objetos com massa M 1 e M 2 , localizados em x1 e x2 , respectivamente (Figura 3.2), dado por
c=
x1M 1 + x2 M 2
.
M1 + M 2
M1
M2
x1
x1
Figura 3.2
Para modelar nosso problema, vamos imaginar uma reta real se extendendo para a direita com origem exatamente no beirado da mesa
(Figura 3.3).
Mesa
Figura 3.3
93
Mesa
Figura 3.4
Mesa
Figura 3.5
x2 M 2 + c1M 1 (1) 1 + 0 1
1
=
= .
M 2 + M1
1+1
2
Mesa
Figura 3.6
94
tenhamos pacincia para empilhar o nmero suficiente de livros. A
tabela abaixo mostra a quantidade de livros necessria para atingir
determinada distncia:
Distncia Atingida
Livros Necessrios
2
4
10
22
40
N=4
N = 31
N = 12.367
N = 2.012.783.315
N = 132.159.290.357.566.703
Figura 3.7
Este exemplo ilustrou como o trabalho com sequncias infinitas interessante. Esperamos que voc fique entusiasmado
e estude com afinco os contedos que sero explorados nesta
unidade.
Uma sequncia de nmeros reais nada mais do que uma lista infinita
de nmeros reais, arranjados em uma certa ordem. Mais precisamente,
temos uma sequncia (infinita) se para cada nmero natural n associamos um nmero real xn , conforme definio que segue.
Definio 3.1. Uma sequncia de nmeros reais uma funo
f :
n xn .
95
Denotamos: ( x1 , x2 , , xn ,) ou simplesmente ( xn ) .
Exemplo 3.1. (2, 4,6,8,) = (2n) .
Exemplo 3.2. (cos ,cos 2 ,cos3,) = (cos n) .
Exemplo 3.3. 1, 1 , 1 , = 1 .
2 3 n
Na disciplina de Clculo I, voc estudou as sequncias de nmeros
reais. Antes de continuar seu estudo, interessante voc revisar a
seo 1.3 do livro-texto da referida disciplina.
Generalizando, podemos pensar em sequncias no 2 , 3 , ... ,
n , ou em um espao mtrico qualquer.
Exemplo 3.4. f : 2
1 1
n , .
n 2n
Os termos desta sequncia so formados por pares ordenados de
nmeros reais, como segue:
1 1 1 1 1
1, , , , , , .
2 2 4 3 6
Exemplo 3.5. f : 3
1 1 1
n , , .
n n n
Neste caso, os termos da sequncia so formados por ternas ordenadas de nmeros reais. Temos
1 1 1 1 1 1
(1,1,1) , 2 , 2 , 2 , 3 , 3 , 3 , .
96
Notao. Usamos a mesma notao utilizada para sequncias de
nmeros reais, ou seja: ( x1 , x2 , , xn ,) ou ( xn ) .
O conjunto dos termos da sequncia ser denotado por f () , ou
{x1 , x2 ,} .
Nota: Veja que o conjunto dos termos da sequncia difere da sequncia, como ilustrado no seguinte exemplo:
Sequncia: (1 + (1) n ) = (0, 2,0, 2,) .
Conjunto dos termos: {0, 2}.
1
( xn ) = ,
n
temos
1
=0.
n n
lim xn = lim
n
0 1
n
1
4
1
3
1
2
Figura 3.9
97
1
Formalmente, verifica-se a definio: > 0 , se n0 e n0 ,
ento
Figura 3.10
n > n0 .
A visualizao geomtrica ilustrada na figura 3.11.
98
x1
x2
xn ,n > n0
a
Figura 3.11
3n + 1
converge para o nmero real 1. Vejamos por qu: d > 0 .
3n
1 < .
Devemos encontrar n0 tal que n > n0
3n + 1
Agora, note que as seguintes desigualdades so equivalentes:
3n
1 < ,
3n + 1
3n 3n 1
< ,
3n + 1
1
< ,
3n + 1
1
3n + 1 > ,
11
n > 1 .
3
99
Assim, se tomarmos n0 como o primeiro natural maior que
11
3n
1 < , como desejado.
1 , temos que n > n0
3
3n + 1
Exemplo 3.8. Seja M = 2 , com a mtrica usual (isto , a mtrica Euclidiana). A sequncia cujo termo geral o par ordenado
1 (1) n
( xn , yn ) = 1 + ,
converge para o par ordenado (1,0) .
n n
Para simplificar a notao, denotamos: zn = ( xn , yn ) ; a = (1,0) .
Temos:
d ( zn , a ) = ( xn 1) 2 + ( yn 0) 2
2
1 1
= 1 + 1 +
n n
2
1
1 1
= + = 2
n
n n
Nota: Observe que (d ( zn , a )) uma sequncia de nmeros reais que
1
0 converge
converge para zero, pois o produto da sequncia
(que
n
para zero) pela constante 2 (ver teorema 7, da seo 1.3.4 do livrotexto de Clculo I).
1 (1) n
Logo, 1 + ,
(1,0) .
n n
Exemplo 3.9. Seja ( M , d ) um espao mtrico. A sequncia
( xn ) = (a, b, a, b, a, b,) , onde a b divergente.
1 1
Exemplo 3.10. Em 2 , a sequncia ( zn ) = , (0,0) .
n n
Exerccio Proposto
1) Usando a definio, comprove o resultado do exemplo 3.10.
Nota: Segue da definio de limite de sequncia que, em um espao
mtrico qualquer, uma sequncia xn a se, e somente se, a sequncia de nmeros reais d ( xn , a ) 0 .
100
Nos exemplos 3.8 e 3.10, temos sequncias convergentes em 2 . Observe os resultados e se questione:
Em 2 , uma sequncia ( xn , yn ) (a, b) se, e somente se, xn a e
yn b ?
A resposta positiva. Temos a seguinte proposio:
Proposio 3.1. A sequncia (( x1 , y1 ),( x2 , y2 ), ,( xn , yn ),) converge
para (a, b) em 2 se, e somente se, a sequncia ( xn ) converge para
a e a sequncia ( yn ) converge para b em .
Prova:
) Hiptese: ( xn , yn ) (a, b) .
Tese: xn a e yn b .
Seja > 0 . Como ( xn , yn ) (a, b) , existe n0 tal que
d (( xn , yn ),(a, b)) < para todo n > n0 .
Ento, para todo n > n0 , temos:
| xn a |= ( xn a ) 2 ( xn a) 2 + ( yn b) 2 = d (( xn , yn ),(a, b)) <
e
| yn b |= ( yn b) 2 ( xn a ) 2 + ( yn b) 2 = d (( xn , yn ),(a, b)) <
Logo, xn a e yn b .
) Hiptese: xn a e yn b .
Tese: ( xn , yn ) (a, b) .
Seja > 0 .
, n > n1 .
2
101
Observe que se a e b so
nmeros positivos, ento
Logo, ( xn , yn ) (a, b) .
nt
Neste espao, considere a sequncia ( f n ) , onde f n (t ) =
para
n+t
todo t [0,1] .
Cada termo da sequncia uma funo de t . Assim, o limite, se
existir, ser uma funo de t .
O que ocorre se considerarmos t fixo e n ?
102
Podemos verificar facilmente que
nt
=t.
n n + t
lim
Denote f (t ) = t .
d ( f n , f ) = max{| f n (t ) f (t ) |}
De fato,
0t 1
nt
= max
t
0t 1
n+t
t 2
= max
0t 1
n + t
t2
= max
0t 1
n + t
t2 1
max = 0.
0t 1
n n
Nota: Observe que na seo 2.4 definimos uma mtrica num espao
de funes usando o supremo. Neste exemplo usamos o mximo
porque estamos trabalhando num espao de funes contnuas definidas num intervalo fechado e limitado. Em um intervalo desse tipo
toda funo contnua assume valor mximo.
Exerccio Proposto
2) Use um software grfico e construa o grfico das funes: f (t ) ,
f n (t ) , n = 1, 2,,5 .
Proposio 3.2. Seja ( xn ) uma sequncia num espao mtrico ( M , d ) .
Se existir lim xn ele nico.
n
Prova:
Vamos supor que lim xn = a e lim xn = b . Seja > 0 .
n
n
103
Seja n0 = max{n1 , n2 } .
Tome um n > n0 . Ento, d ( xn , a ) <
d (a, b) < d (a, xn ) + d ( xn , b) <
+ = .
2 2
Exerccio Proposto
3) Verifique quais das sequncias abaixo convergem. Para as sequncias convergentes d o limite:
(1) n+1 (1) n
2
a)
,
em ;
n
n
b) (a, b, a, b, a, b,) , a b em ;
c) (1, 2,3,, p, p, p,) em com a mtrica 0 1 ;
t
d) A sequncia ( f n ) , onde f n (t ) = , no espao C[0,1] com a
n
mtrica d ( f , g ) = max{| f (t ) g (t ) |} .
0t 1
3.4 Subsequncias
Introduziremos agora a noo de subsequncias. Se voc ach-la
difcil, no desanime! Veja o que escreveu Mittag-Leffler, ainda em
1875:
Eu acho realmente surpreendente que Mr. Weierstrass e Mr.
Kronecker consigam atrair tantos estudantes entre 15 e 20
para aulas que so to difceis e em um nvel to avanado.
(Carta de Mittag-Leffler, 1875, veja Dugac 1978, p. 69, apud [6,
Hairer-Wanner])
(1) n
1 1 1
Em , considere a sequncia
= 1, , , , .
2 3 4
n
Podemos, de uma maneira muito natural, destacar duas subsequncias:
104
1 1
1, , , e
3 5
1 1 1
, , , .
2 4 6
A primeira a restrio da sequncia dada ao conjunto dos naturais
mpares e a segunda aos naturais pares.
Outras subsequncias podem ser
1 1
1, , , uma subsequncia?
4 7
obtidas?
Por
exemplo,
k xnk
105
Prova:
Seja ( xnk ) uma subsequncia de ( xn ) . Seja > 0 . Como lim xn = a ,
existe n0 tal que d ( xn , a ) < para todo n > n0 .
Como o conjunto de ndices da subsequncia {n1 , n2 , , nk ,}
infinito, existe k0 tal que nk0 n0 .
Para k > k0 temos nk > nk0 > n0 e, assim, d ( xnk , a ) < .
Logo, xnk a .
106
Escolhemos xn1 entre a infinidade de termos de ( xn ) pertencentes a B (a,1) .
1
Como B a, tambm contm uma infinidade de termos ( xn ),
2
1
escolhemos n2 > n1 tal que xn2 B a, .
2
Suponhamos ter escolhido, desta forma, xn1 , xn2 , , xnk 1 .
1
Como B a, contm uma infinidade de termos de ( xn ) , po k
1
demos escolher nk > nk 1 tal que xnk B a, .
k
A subsequncia ( xnk ) de ( xn ) , assim construda, satisfaz
1
d ( xnk , a ) < .
k
1
Como 0 quando k , segue que xnk a .
k
107
Exerccio Proposto
4) D exemplos:
a) Uma sequncia no limitada em 2 ;
b) Uma sequncia limitada em 3 ;
c) Uma sequncia limitada num espao mtrico M com a mtrica 0 1 . Existe uma sequncia no limitada neste espao?
Proposio 3.5. Num espao mtrico ( M , d ) , toda sequncia convergente limitada.
Prova:
Seja xn a . Ento, para = 1 , n0 tal que
n > n0 xn B(a,1) .
O conjunto {x1 , x2 , , xn0 } um conjunto finito. Podemos tomar, ento,
r1 = max{d (a, xn )} .
1 n n0
Exerccio Proposto
5) D um exemplo para mostrar que no vale a recproca da proposio 3.5.
108
Observao. A proposio 3.5 til para mostrar que determinadas sequncias divergem. Por exemplo, a sequncia
(n + (1) n n) = (0, 4,0,8,0,12,) diverge, pois no limitada.
A seguir, vamos demonstrar um teorema muito famoso, vlido para
as sequncias em , cujo enunciado voc j utilizou na disciplina
de Clculo I.
Teorema 3.1 (Teorema de Bolzano-Weierstrass). Toda sequncia limitada de nmeros reais possui uma subsequncia convergente.
Prova:
Seja ( xn ) uma sequncia limitada de nmeros reais. Ento
a, b tais que xn [a, b] , n .
Seja A = {t / t xn para uma infinidade de ndices n} .
A figura 3.12 ilustra a definio do conjunto A .
infinidade de termos de xn
[
a
]
b
tA
Figura 3.12
Temos:
i) a A , pois a xn , n ;
ii) t A , t b .
Logo, A e limitado superiormente.
Seja C = sup A .
Vamos mostrar, agora, que existe uma subsequncia de xn que
converge para C . Pela proposio 3.4 isso equivalente a mostrar que: > 0 , B (C , ) contm uma infinidade de termos de
( xn ) .
Seja > 0 . Como C = sup A , t A tal que C < t (ver figura
3.13)
109
tA
C
C
Figura 3.13
Como t A , podemos dizer que C < xn para uma infinidade de termos xn . Por outro lado, C + A . Portanto, existe no
mximo um nmero finito de termos xn , tais que xn C + .
Conclumos, ento, que para uma infinidade de termos xn ,
C < xn < C + .
Pela proposio 3.4 segue que C o limite de uma subsequncia de ( xn ) .
Nota: Repare que a demonstrao acima pode ser facilmente adaptada para R n e, portanto, o Teorema 3.1 tambm vale para R n .
110
Como xn X {a} , n , temos que B (a, r ) ( X {a}) .
Logo, a ponto de acumulao de X .
) Vamos supor que a X ' . Devemos mostrar que existe
( xn ) em X {a} tal que xn a .
1
Como a X ' , r > 0 , B (a, r ) ( X {a}) . Assim, para r = ,
n
podemos escolher um ponto
1
xn B a, ( X {a}) .
n
A sequncia ( xn ) est em X {a} e satisfaz
d (a, xn ) <
Como
1
.
n
1
0 segue que xn a .
n
Exerccio Resolvido
1) Em , verifique que 0 ponto de acumulao do conjunto
1 1 1
X = 1, , , , .
2 4 8
Resoluo:
Basta observar que a sequncia 1 est em X {0} e que
n
2
1
lim n = 0 .
n 2
Exerccio Proposto
6) Decida se os pontos dados so pontos de acumulao dos seguintes conjuntos:
a) a = 1 , X = (0,1) em .
b) a = (0,1) ,
1 1 1 2 1 3 1 4
X = (0,1), (1, 0), , , , , , , , , em 2 .
2 2 3 3 4 4 5 5
c) a = 2 , X = em .
7
56
d) a = e a =
, X = {0, a1a2 a2 / ai = 5, 6 ou 7} em .
99
9
111
Exerccio Resolvido
2) Verificar se denso em .
Resoluo:
Devemos responder a pergunta: todo nmero real a o limite de
uma sequncia de racionais?
A resposta positiva. De fato:
Se a , basta tomar a sequncia (a, a, a,) a .
Se a , a pode ser expresso como uma decimal infinita no peridica:
a = b0 , b1b2b3 .
112
Tomamos a sequncia:
x1 = b0
x2 = b0 , b1
x3 = b0 , b1b2
xn = b0 , b1b2 bn 1 .
A sequncia xn a , pois
| xn a |=| b0 , b1b2 bn1 b0 , b1b2 bn1bn |=| 0,0 0bnbn+1 |<
1
0
10n1
Proposio 3.8 (Conjunto Fechado). Sejam ( M , d ) um espao mtrico e X M . X fechado se, e somente se, X contm todos os
limites de sequncias de pontos de X .
Prova:
) Suponha que X fechado. Seja ( xn ) uma sequncia em
X , xn a . Pela proposio 3.7, a X . Como X fechado,
X = X e, assim, a X .
) Vamos mostrar que X X . Seja a X . Pela proposio
3.7, existe uma sequncia ( xn ) em X , xn a . Aplicando a hiptese segue que a X .
Logo, X X e ento X fechado.
Nota: A proposio 3.8 muito til para verificar que alguns conjuntos no so fechados.
Exemplo 3.18. O conjunto X = [0,1] ( ) no fechado em .
pertence a X .
Exerccio Proposto
7) Verifique que no so fechados os conjuntos:
2 4 6 8
a) X = , , , , em ;
3 5 7 9
113
1 1 1 1 1
b) X = 1, , , , , , em ;
2 3 4 5 5
c) X = em ;
d) X = {( x, y ) / x 2 y 2 < 1} em 2 .
Proposio 3.9 (Ponto de Fronteira). Sejam ( M , d ) um espao mtrico e X M . Um ponto a M um ponto de fronteira de X se, e
somente se, existem sequncias ( xn ) em X e ( yn ) em C ( X ) tais que
lim xn = lim yn = a
n
n.
Prova:
) Seja a Fr( xn ). Ento a X e a C ( X ), pois
Fr( X ) = X C ( X ).
Pela proposio 3.7, a o limite de uma sequncia de pontos
de X e, tambm, o limite de uma sequncia de pontos de
C ( X ).
) Vamos supor que a = lim xn = lim yn , com ( xn ) em X e ( yn )
em C ( X ) . Seja = 1 . Como a = lim xn , existe n0 tal que
B(a, 1 ) A , n > n0 .
Logo, a Fr( x) .
114
Exerccio Resolvido
3) Verifique que o ponto (0, 0) um ponto de fronteira do conjunto X = {( x, y ) 2 / x < y} em 2 .
Resoluo:
A figura 3.14 ilustra o conjunto X .
y
Figura 3.14
1
1 1
A sequncia , 0 = (1, 0), , 0 , , 0 , est em X
n
2 3
e converge para (0, 0) .
1
1 1
A sequncia , 0 = (1, 0), , 0 , , 0 , est em C ( X ) e
n
2 3
tambm converge para (0, 0) .
Logo, (0, 0) Fr( X ) .
Exerccio Proposto
8) Determine a fronteira do conjunto X do exerccio resolvido
anterior. Escolha dois pontos distintos de (0, 0) e mostre que
eles pertencem a fronteira de X usando a proposio 3.9.
Proposio 3.10 (Conjunto Aberto). Sejam ( M , d ) um espao mtrico e A M . A aberto se, e somente se, cumpre a seguinte condio:
( xn a A) xn A para todo n suficientemente grande.
115
Prova:
) Seja xn a A. Como A aberto, 1 > 0 tal que B (a, 1 ) A .
Como xn a , para este 1 > 0 , n0 tal que
xn B(a, 1 ) A para todo n > n0 .
) bom destacar bem nossa hiptese e nossa tese, neste
caso. Temos:
Hiptese: ( xn a A) xn A para todo n suficientemente grande.
Tese: A aberto.
Vamos mostrar que C ( A) fechado. Para isso, vamos usar a
proposio 3.8.
Seja ( xn ) uma sequncia em C ( A) , xn a . Usando a hiptese,
conclumos que a C ( A) . De fato, no podemos ter a A , pois
ento xn pertenceria a A para n suficientemente grande.
Pela proposio 3.8, segue que C ( A) fechado.
Logo, A aberto.
116
1 Etapa: Retira-se do intervalo [0,1] o seu tero mdio aberto 1 , 2 .
3 3
2 Etapa: Retira-se o tero mdio aberto de cada um dos intervalos
1 2
restantes 0, e ,1 .
3 3
1 2 1 2 7 8
Sobra, nesta etapa: 0, , , ,1 .
9 9 3 3 9 9
k-sima etapa: Retira-se o tero mdio aberto de cada um dos intervalos restantes na etapa anterior.
Repete-se o processo indefinidamente. O conjunto K dos pontos
no retirados o conjunto de Cantor.
A figura 3.15 ilustra o processo de construo do conjunto de Cantor.
[
0
[
0
]
1
9
[] []
[
2
9
]
1
3
[
2
3
]
1
3
[
2
3
[] []
]
1
[
8
9
]
7
9
[] []
]
1
[] []
Figura 3.15
se
escreve
como
117
n =1
n =1
Como I n aberto, ( I n )C fechado para todo n . Pelas propriedades de conjuntos fechados segue que K fechado.
2) Int( K ) =
Seja x K . Ento x Int( K ) se existir um > 0 , tal que
( x , x + ) K .
Para ver que x no ponto interior, devemos observar que depois da n -sima etapa de construo de K restam apenas in1
1
tervalos de comprimento n . Como n 0, vemos que > 0 ,
3
3
( x , x + ) K .
3) K no enumervel.
A prova pode ser encontrada em [12, Lima].
4) K no contm pontos isolados (todos os pontos de K so pontos de acumulao).
Vamos mostrar isso em duas etapas.
Etapa 1: Vamos observar primeiro os pontos extremos dos intervalos retirados na construo de K , isto , os pontos
1 2 1 2 7 8
, , , , , , .
3 3 9 9 9 9
Seja c K um desses pontos, digamos, seja c a extremidade esquerda do intervalo (c, b) retirado para formar K (Figura 3.16). Quando
(c, b) foi retirado, restou um certo intervalo [a, c] .
[ ](
an c
(
b
Figura 3.16
118
Nas etapas seguintes, restaro sempre teros finais de intervalos do
tipo [an , c] , an K .
O comprimento c an 0 e, assim, > 0 , an (c , c + ) .
Logo, c no ponto isolado ( ponto de acumulao).
Etapa 2: Seja c K , agora, que no seja extremo de intervalo retirado.
Existem tais pontos? A resposta positiva, pois K no enumervel.
Vamos provar que c no ponto isolado de K .
Dado qualquer > 0 , mostraremos que (c, c + ) K .
De fato, dado qualquer > 0 , existe algum ponto de K no intervalo
(c, c + ) , caso contrrio, este intervalo estaria todo contido num dos
intervalos removidos e (como c K ) c s poderia ser extremo de
um dos intervalos retirados.
1 2 4 8
1 2
dada pela srie geomtrica + +
+ + = ,
3 9 27 81
n =1 3 3
que converge para 1.
119
Pelo menos um desses dois intervalos contm uma infinidade de
ponto de A, pois A infinito.
Denotamos este intervalo por I1 = [a1 , b1 ] . Dividimos, agora, o intervalo [a1 , b1 ] em dois
a1 + b1 a1 + b1
a1 , 2 e 2 , b1 .
Novamente, um desses intervalos contm uma infinidade de pontos de A. Denotamos este intervalo por I 2 = [a2 , b2 ] .
Continuando esta construo, obtemos uma sequncia de intervalos encaixados e fechados
I1 I 2 I 3 ,
onde I n = [an , bn ] , cujos comprimentos so:
ba
2
ba
I2 :
4
ba
I3 :
8
ba
In : n .
2
I1 :
120
Observao. Uma outra maneira de provar esta verso do teorema de Bolzano-Weierstrass considerar uma sequncia ( xi ) , tal que
xi x j , i, j , de elementos de A (pode ser feito, pois A ilimitado). Ento, pela primeira verso do teorema de Bolzano-Weierstrass,
( xi ) possui subsequncia convergente, digamos xik a . Mas ento
a ponto de acumulao de A .
1
0 , > 0 , n0 tal que
n
0 < , n > n0 .
n
2
Assim, n, m > 0
1 1
1
1
+ < + = .
m n m n 2 2
Exerccio Proposto
9) Considere um espao mtrico ( M , d ) com a mtrica 0 1 . Caracterize as sequncias de Cauchy em M .
1
No exemplo anterior vimos que a sequncia de Cauchy em .
n
Esta sequncia convergente. Voc pode se perguntar: toda sequncia convergente de Cauchy?
A resposta positiva, conforme proposio que segue.
121
Proposio 3.11. Toda sequncia convergente num espao mtrico
( M , d ) uma sequncia de Cauchy.
Prova:
Seja ( xn ) a . D = 1 . Ento existe n0 tal que
n > n0 d ( xn , a ) < .
2
Para m, n > n0 , temos
d ( xn , xm ) d ( xn , a ) + d (a + xm ) < + = .
2 2
Nota: No vlida a recproca, isto , nem toda sequncia de Cauchy em um espao mtrico convergente.
Exemplo 3.20. Seja M o intervalo aberto (0, 2) em , com a mtrica
usual de induzida em M .
1
Neste espao a sequncia de Cauchy, mas no converge.
n
Exemplo 3.21. Seja M = com a mtrica usual.
A sequncia (1,1.4,1.41,1.414,) de Cauchy em , mas no converge em . Observe que a sequncia converge para 2 em e
2 .
Embora existam sequncias de Cauchy que no convergem, a propriedade de Cauchy est intimamente ligada convergncia. A proposio que segue mostra uma dessas relaes.
Proposio 3.12. Seja ( M , d ) um espao mtrico e ( xn ) um sequncia de Cauchy em M . Se ( xn ) possui uma subsequncia ( xnk ) que
converge para a M , ento xn a .
Prova:
d ( xn , xm ) < , m, n > n0 .
2
122
Logo, ( xn ) a .
+ = , n > n1 .
2 2
Exerccio Proposto
10) Verifique se a sequncia ( xn ) sequncia de Cauchy:
(1) n
em .
xn =
n
Dica: Reveja o exemplo 3.20.
123
Nota Importante. A complitude de tambm pode ser demonstrada sem o uso do Teorema de Bolzano-Weierstrass (e consequentemente sem o uso da propriedade do supremo), construindo-se
via cortes de Dedekind. Mais detalhes podem ser encontrados em
[14, Marsden & Hoffman] ou [16, Rudin].
Exerccios Resolvidos
4) Seja M o intervalo aberto (0, 2) com a mtrica usual induzida
de . Verifique que M no completo.
Resoluo:
Para mostrar que M no completo, voc deve exibir uma sequncia de Cauchy em M que no converge em M . Tome, por exemplo,
a sequncia 1 . J mostramos que esta sequncia de Cauchy,
n
mas no converge em M .
Observao. interessante voc dar exemplos de outras sequncias
de Cauchy em M que no convergem em M .
5) Seja ( M , d ) um espao mtrico, em que d a mtrica 0 1 .
Verifique que ( M , d ) completo.
124
Resoluo:
No exerccio proposto 9), voc caracterizou as sequncias de Cauchy em M . As sequncias de Cauchy em M so as
sequncias estacionrias, isto ,
( xn ) = ( x1 , x2 , , xk , p, p, p,)
que convergem para p M .
Logo, M completo.
6) Seja M o intervalo fechado [0, 2] com a mtrica usual induzida de . Verifique que M completo.
Resoluo:
Seja ( xn ) uma sequncia de Cauchy em M . Ento ( xn ) de Cauchy em .
Como completo, a tal que xn a . Mas [0, 2] fechado. Pela caracterizao de conjunto fechado via sequncias (proposio 3.8), a M .
Logo, ( xn ) converge em M e, consequentemente, M completo.
Exerccio Proposto
11) D outros exemplos de subespaos de que sejam:
i) completos;
ii) no completos.
Nota: Os exerccios anteriores devem ter levado voc a cogitar se os
resultados obtidos podem ser generalizados.
Temos a seguinte proposio.
Proposio 3.14 Todo subespao fechado de um espao mtrico
completo completo. Reciprocamente, todo subespao completo de
qualquer espao mtrico fechado.
Prova:
) Hiptese: ( M , d ) completo, F M , F fechado.
125
Tese: F completo.
Seja ( xn ) uma sequncia de Cauchy em F . Ento ( xn ) de
Cauchy em M . Como M completo, ( xn ) a M . Como F
fechado, pela proposio 3.8, a F .
Logo, ( xn ) converge em F e, dessa forma, F completo.
) Hiptese: ( M , d ) um espao mtrico, F M , F completo;
Tese: F fechado.
Seja ( xn ) uma sequncia de pontos de F, com lim xn = a M . Pela
proposio 3.11, ( xn ) de Cauchy. Como F completo, ( xn )
converge em F , isto , a ' F tal que lim xn = a ' .
Pela unicidade do limite (proposio 3.2), temos a = a ' . Pela
caracterizao de conjunto fechado via sequncia (proposio
3.8), conclumos que F fechado.
1 1
0,1, , , , , o completado de 1, , , , , como su2 3
n
n
2 3
bespao de .
Um dos processos de construo dos nmeros reais atravs do
completamento de : acrescenta-se a os limites das sequncias
de Cauchy em . No apresentamos a construo de neste texto.
Admitimos a existncia dos nmeros reais como um axioma.
Voc viu que um espao mtrico completo. Voc pode perguntar: e os espaos Euclidianos 2 , 3 , ..., n , so completos?
A resposta positiva, conforme voc pode constatar para 2 no
exerccio que segue.
126
Exerccio Resolvido
7) Verifique que 2 com a mtrica usual um espao mtrico
completo.
Resoluo:
Seja ( zn ) = (( xn , yn )) uma sequncia de Cauchy em 2 .
Ento ( xn ) e ( yn ) so sequncias de Cauchy em (verifique esse
resultado de forma anloga prova da proposio 3.1).
Como completo, xn a e yn b . Usando a proposio 3.1, voc conclui que zn (a, b) .
Outra maneira de verificar que R 2 completo, notar que se
( xn , yn ) sequncia de Cauchy em R 2 ento ela limitada e ento, pelo teorema de Bolzano-Weierstrass para R 2 , existe subsequncia convergente e portanto, pela Proposio 3.12, ( xn , yn )
convergente.
Para concluir este captulo, observamos que em muitos momentos
um matemtico ouve falar em espaos de Banach e em espaos de
Hilbert.
O que so estes espaos afinal?
Espaos de Banach: um espao vetorial normado que completo
com a mtrica induzida pela norma, isto ,
d ( x, y ) =|| x y || .
Espaos de Hilbert: um espao vetorial com produto interno, que completo em relao mtrica oriunda deste produto
n
x, x
e
d ( x, y ) =|| x y || .
i =1
127
Se voc tiver interesse pode aprofundar-se estudando em livros
mais avanados de Anlise Matemtica, tais como: [14, Marsden &
Hoffman] ou [16, Rudin].
Exerccios Complementares
Nos exerccios de 1 a 10, considere com a mtrica usual. Se a afirmao dada verdadeira, prove-a; se for falsa, d um contraexemplo:
1) Toda sequncia limitada convergente;
2) Toda sequncia convergente limitada.
3) Se xn 0 e ( yn ) limitada, ento zn = xn yn 0 .
4) Se ( xn ) converge e ( yn ) diverge, ento ( zn = xn + yn ) diverge.
5) Se ( xn ) e ( yn ) divergem, ento ( zn = xn + yn ) diverge.
6) Se ( xn ) a e a > 0 , ento xn > 0 para uma infinidade de ndices.
7) Se xn < yn , n ento lim xn < lim yn . Supor as duas sequncias
convergentes.
8) Se ( xn ) uma sequncia tal que o conjunto de seus termos est
contido no conjunto de Cantor, ento ( xn ) possui uma subsequncia de Cauchy.
9) Toda sequncia de Cauchy em converge para um elemento
de .
10) Se uma sequncia montona possui uma subsequncia convergente, ento ela convergente (se necessrio revise a noo
de sequncia montona na seo 1.3 do texto de Clculo I).
11) Estude a convergncia das seguintes sequncias em 2 :
1 n2 + 1
a) ( zn ) tal que zn = 1 n1 ,
;
2n 2
2
128
n 1
(n 1) 2
, 2
b) ( zn ) tal que zn =
n
n2
b) , n ;
n
c) [0,1] .
15) Verifique que no so completos os seguintes subespaos mtricos de 2 :
a) X = [0,1] [0,1) ;
b) Y = {( x, y ) 2 / x > 0 e y > 0} ;
c) Z = {( x, y ) 2 / 0 < x 2 + y 2 < 1} ;
d) W = {( x, y ) 2 /1 < ( x 1) 2 + ( y 2) 2 < 2} .
16) O conjunto dos nmeros inteiros , como subespao de
completo? Justifique.
17) Se ( M , d ) um espao mtrico tal que M finito, mostre que
M completo.
18) Se ( xn ) e ( yn ) so sequncias de Cauchy em 2 , o que se pode
afirmar a respeito da sequncia d ( xn , yn ) ?
129
Resumo
Neste captulo voc estudou a noo de convergncia. Para facilitar
seu aprendizado foi revista a definio de convergncia para sequncias de nmeros reais. A seguir, a noo de convergncia foi estendida para sequncias em um espao mtrico qualquer.
Os principais conceitos do captulo 2 foram retomados e caracterizados atravs de sequncias. Tambm foram abordados alguns resultados interessantes de , como o princpio dos intervalos encaixados e o teorema de Bolzano-Weierstrass.
Voc se familiarizou com o conjunto de Cantor, que um dos conjuntos mais interessantes da anlise matemtica.
Finalmente, voc concluiu o estudo deste captulo vendo a noo de
espao mtrico completo, que caracterizado por meio das sequncias de Cauchy. O resultado mais importante : os espaos Euclidianos n , n = 1, 2,3,... so espaos mtricos completos.
130
Captulo 4
Continuidade
133
Continuidade
Nosso objetivo nesta unidade estudarmos funes contnuas e suas propriedades. Iniciaremos com uma breve
motivao do assunto e a seguir introduziremos a definio de funo contnua em um espao mtrico. Nosso interesse estudar diversas caracterizaes de funes contnuas e suas relaes com conjuntos abertos, fechados,
compactos e/ou conexos.
4.1 Introduo
Por que funes contnuas merecem nossa ateno?
Porque elas possuem algumas caractersticas especiais e ao mesmo
tempo esto presentes em inmeros eventos do nosso dia-a-dia. Por
exemplo, quando vamos almoar em um restaurante que oferece
buf por quilo, o preo que pagamos pelo nosso prato de comida depende continuamente do peso dos alimentos escolhidos. Se, por um
acaso, o restaurante estiver com uma promoo onde os clientes que
pesam exatamente 473g de comida ganham sua refeio de graa,
temos que nossa funo preo tem uma descontinuidade no 473g.
A figura abaixo ilustra estes dois casos quando o preo da comida
R$10,00 o quilo.
R$
R$
10
10
1
100 473
1000
100 473
1000
Figura 4.1
Outro exemplo de uma funo contnua que aparece frequentemente no nosso dia-a-dia a funo temperatura. Se cada ponto da Terra
134
identificado por sua latitude e longitude, ento a temperatura em
cada ponto da Terra uma funo contnua de duas variveis. Outros exemplos incluem velocidade do vento, presso atmosfrica, etc.
(...).
Ou seja, Cauchy estava pedindo que variaes infinitamente pequenas de x acarretassem variaes infinitamente pequenas de f .
Porm esta definio no est completamente correta e a escola de
Bolzano-Weierstrass se encarregou de corrigi-la. Vejamos o que
Weierstrass escreveu em 1874:
Aqui, chamaremos a quantidade y de uma funo contnua de
x, se depois de escolhermos uma quantidade e, a existncia de
pode ser provada, de maneira que para qualquer valor entre
x0 ... x0+ o valor correspondente de y est entre y0 e...y0 + e.
135
A definio de continuidade para espaos mtricos anloga definio acima. Apenas trocamos a noo de distncia em , ou seja,
o mdulo, pelas mtricas apropriadas. Vejamos:
Definio 4.2. Sejam M e N espaos mtricos. A funo f : M N
dita contnua em a M se para todo e > 0 , existe um > 0 , tal que
se d ( x, a ) < ento d ( f ( x), f (a)) < e .
Se f contnua em todos os pontos a M , ento f dita contnua.
Observao. Note que M e N podem ter mtricas diferentes, porm decidimos denotar ambas por d na definio acima, ficando
claro pelo contexto quando d se refere mtrica em M e quando
d se refere mtrica em N .
Observao. Em termos de bolas abertas temos que f : M N
contnua em a e > 0 , > 0 tal que f ( B(a, )) B( f (a ), e) .
Vejamos alguns exemplos:
Exemplo 4.1. f : dada por f ( x) = 2 x , onde tem a mtrica
usual, contnua. Veja o grfico na figura 4.2.
y
f (x)=2x
Figura 4.2
e
Note que dado e > 0 , podemos tomar = para satisfazer a de2
finio de continuidade.
1 se x > 0
Exemplo 4.2. Seja f : , f ( x) =
.
1 se x 0
136
Ento f contnua em todo ponto de {0} e f descontnua
no 0. Veja o grfico na figura 4.3.
Figura 4.3
(x,x)
0 x
Figura 4.4
Logo, tomando =
137
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
Logo, f contnua.
Vejamos agora as funes de Lipschitz:
Definio 4.3. Uma funo f : M N uma funo de Lipschitz
(ou lipschitziana) se existe k > 0 tal que
d ( f ( x), f ( y )) kd ( x, y ), x, y M .
Tente mostrar, sem ler a resoluo abaixo antes, que toda funo de
Lipschitz contnua.
138
Exerccio Resolvido
1) Toda funo de Lipschitz contnua.
Resoluo:
e
.
k
Logo, se d ( x, y ) < ento
Dado e > 0 , seja =
d ( f ( x), f ( y )) kd ( x, y ) < k = e .
Exerccios Propostos
1
1) Mostre que f :[2, 4] , dada por f ( x) = , de Lipschitz e,
x
portanto, contnua.
2) Mostre que f : , dada por f ( x) =| x | , Lipschitz com
constante k = 1 e, portanto, contnua.
Nosso prximo exemplo nos diz que a funo distncia em um
espao mtrico contnua. Vejamos:
Exemplo 4.5. Seja ( M , d ) um espao mtrico e p M .
Defina f : M por f (x) = d (x,p).
x d ( x, p )
Ento f contnua e f ( x) = 0 x = p .
Inicialmente, observe que
d ( x, p ) d ( x, y ) + d ( y , p )
e
d ( y , p ) d ( y , x ) + d ( x, p ) .
Dessas desigualdades, segue que
d ( y , x ) d ( y , p ) d ( x, p ) d ( y , x )
ou, de forma equivalente,
| d ( y, p ) d ( x, p ) | d ( y, x) .
Agora, d e > 0 . Tome = e .
139
Se d ( x, y ) < ento| d ( y, p ) d ( x, p ) | d ( y, x) < = e .
Logo, f contnua em qualquer ponto x M .
Observao. Note que do exemplo acima podemos concluir que em
todo espao mtrico com mais de um ponto, existem funes contnuas no constantes.
Voc deve estar achando que nem sempre fcil mostrar que uma
funo contnua. Realmente, usando apenas a definio, em muitos casos, difcil, seno impossvel, decidir pela continuidade ou
no de uma funo. Portanto, precisamos de outras caracterizaes
de continuidade de uma funo, e este ser o foco dos teoremas que
seguem.
Teorema 4.1. Seja f : M N e a M . Ento f contnua em a, se,
e somente se, para toda sequncia ( xn ) em M que converge para a ,
a sequncia ( f ( xn )) converge para f (a ) (em smbolos, f contnua
em a ( xn ) : xn a , temos f ( xn ) f (a ) ).
Prova:
) Primeiro, vamos supor que f contnua em a .
Seja ( xn ) uma sequncia em M tal que xn a . Vamos mostrar
que f ( xn ) f (a ) .
D e > 0 . Como f contnua em a , existe > 0 tal que se
d ( x, a ) < ento d ( f ( x), f (a)) < e .
Uma vez que xn a , temos que existe n0 tal que se
n n0 ento d ( xn , a ) < . Logo, se n n0 ento d ( xn , a ) < e
d ( f ( x), f (a )) < e e, portanto, f ( xn ) f (a ) .
) Agora, vamos assumir a recproca, isto , vamos assumir que
( xn ) tal que xn a , temos f ( xn ) f (a ) .
Para provar que f contnua em a , vamos supor que ela no
contnua em a e chegar a uma contradio.
Supor que f no contnua em a, ou seja, e > 0 tal que > 0,
xi M tal que d ( xi , a ) < e d ( f ( xi ), f (a)) e .
140
1 1 1
Tomando = 1, , , , e assim sucessivamente, temos que
2 3 4
1
n , xn M tal que d ( xn , a ) < e d ( f ( xn ), f (a )) e .
n
Mas ento xn a e lim f ( xn ) f (a ) o que contradiz nossa hin
ptese.
Logo, f contnua em a .
f
contnua em M se g ( x) 0, x M .
g
141
Nota: A proposio 4.1 tambm pode ser provada pela definio de
continuidade via e e .
Exerccio Proposto
3) Mostre os itens (i) e (ii) da proposio anterior usando a definio.
Observao. O teorema 4.1 tambm pode ser muito til quando
queremos mostrar que uma funo no contnua. Vejamos:
1 se x
Exemplo 4.6. Seja f : dada por f ( x) =
.
1 se x
Temos que f no contnua em nenhum ponto.
2
De fato, se a ento podemos tomar a sequncia ( xn ) = a +
Exerccio Resolvido
2) Verifique se a seguinte funo contnua ou no:
x + 1, para x > 0
g : {0} dada por g( x) =
.
x, para x < 0
Resoluo:
Mostraremos que g contnua em todo a {0} usando o teorema 4.1. Supor a > 0 . Seja ( xn ) uma sequncia que converge para
a . Ento existe N > 0 tal que para todo n > N , xn > 0 e, portanto,
g ( xn ) = xn + 1
para todo n > N e isto implica que ( g ( xn )) converge para
a + 1 = g (a) + 1 .
142
Segue do teorema 4.1 que g contnua em a . Analogamente,
mostra-se que g contnua em a < 0 .
Exerccio Proposto
cos , se x 0
, cont4) Decida se f : , dada por f ( x) =
x
1, se x = 0
nua. Justifique sua resposta.
Uma das operaes entre funes que no foi contemplada na
proposio anterior foi a composio de funes contnuas (o
que voc arriscaria afirmar a respeito desta operao?
Tente demonstrar o seu palpite!
Apesar de podermos atacar este problema usando apenas a
definio de continuidade, o mesmo ficar mais fcil depois de
vermos mais uma caracterizao de funo contnua. Mostraremos abaixo que f contnua se, e somente se, a imagem inversa de abertos por f aberta, o que verdade se, e somente
se, a imagem inversa de fechados por f fechada. Vejamos:
143
f 1(B(f(a),))
x
f(a)
Figura 4.5
144
1 se x ,
1 x se x 0 e
x
x
1 se x
0 se x < 0
Figura 4.6
145
E a composio de funes contnuas? Voc decidiu que esta operao (quando possvel de se realizar) nos d outra funo contnua,
certo? Voc tentou mostrar este resultado usando apenas a definio
de continuidade? Conseguiu? No que segue usaremos a caracterizao de funo contnua dada no teorema anterior para demonstrar
que a composio de duas funes contnuas uma funo contnua.
Proposio 4.2. Sejam M , N e P espaos mtricos, f : M N e
g : N P contnuas. Ento a funo g f : M P contnua.
Prova:
Seja A um aberto de P . suficiente mostrar que ( g f ) 1 ( A)
aberto em M . Note que g 1 ( A) aberto em N (pelo teorema
4.2) e f 1 ( g 1 ( A)) aberto em M (pelo teorema 4.2 novamente).
Mas ( g f ) 1 ( A) = f 1 ( g 1 ( A)) e, portanto, aberto em M
como desejado.
146
b=f(a )
g( f(a ))=g( b)
Figura 4.7
Exerccio Resolvido
3) Prove, via sequncias, a proposio 4.3.
Resoluo:
Seja ( xn ) sequncia em M tal que xn a . Como f contnua em a ,
pelo teorema 4.1, f ( xn ) f (a ) . Como g contnua em f (a ) segue que g ( f ( xn )) g ( f (a )) e portanto g f contnua em a .
Exerccios Propostos
5) Seja f : A n contnua em x0 A, A ( M , D) , A aberto. Supor f ( xo ) 0 n . Provar que f ( x) 0 em alguma vizinhana do ponto x0 .
6) Analisar a continuidade de
f ( x) =
senx
, x 0 e f (0) = 1, x .
x
147
148
C2
1
2
0 1
8
C1
1
4
1
2
5
4
3
2
C3
Figura 4.8
Note que:
C = {C1 , C2 , C3} uma cobertura aberta de X .
C ' = {C1 , C2 } uma subcobertura aberta de X .
C '' = {C1 , C3} uma subcobertura aberta de X .
C ''' = {C2 , C3} no subcobertura de X .
Podemos, agora, ver a definio de conjuntos compactos.
Definio 4.5. Seja K ( M , d ) . Dizemos que K compacto se toda
cobertura aberta de K contm uma subcobertura finita.
Voc pode encontrar na literatura vrias outras definies para conjuntos compactos. No decorrer da seo, veremos as vrias caracterizaes de conjuntos compactos que do origem a estas outras
definies. Vejamos alguns exemplos:
Exemplo 4.8. Seja K = {1, 2, , n} . K compacto, pois se C = {C }L
uma cobertura aberta de K , ento 1 C1 para algum 1 L ,
2 C2 para algum 2 L, , n C2 , para algum n L . Logo,
{C1 , C2 , , Cn } uma subcobertura aberta finita de K .
Exemplo 4.9. Qualquer conjunto finito compacto. A demonstrao
anloga feita no exemplo anterior.
Exemplo 4.10. Em , todo intervalo da forma [a, b] compacto
(provaremos este fato mais para frente).
1
1 1
Exemplo 4.11. Seja X = 1, , ,, , .
n
2 3
149
I1
I1
( )
1
n
( )
1
4
( )
1
3
I1
(
1
2
I1
(
Figura 4.9
150
151
Nota: O teorema de Heine-Borel tambm pode ser provado diretamente, sem o uso do teorema 4.3 (Bolzano-Weierstrass) (ver [14,
Marsden & Hoffman]).
Observao. Note que a caracterizao de compactos dada no teorema de Heine-Borel s vlida em n .
Por exemplo, se M um conjunto infinito e d a mtrica discreta
(isto , d ( x, y ) = 0 , se x = y e d ( x, y ) = 1 , se x y ) ento ( M , d ) limitado (por qu?) e fechado (por qu?), mas no compacto (pois a
1
U n = y M : d ( x, y ) > .
n
como desejado.
C
C
K e portanto K aberto e K fechado
152
Como comentamos no incio desta seo, funes contnuas em
conjuntos compactos possuem muitas caractersticas interessantes.
Iremos agora explorar algumas destas caractersticas.
Teorema 4.5. Seja f : M N uma funo contnua e M um espao
mtrico compacto. Ento f ( M ) compacto em N .
Prova:
Para provar que f ( M ) compacto, vamos mostrar que toda sequncia em f ( M ) possui uma subsequncia convergente.
Seja ( yn ) uma sequncia em f ( M ) . Ento, yn , xn M tal que
yn = f ( xn ) .
Logo ( xn ) uma sequncia em M , e como M compacto, ( xn )
tem uma subsequncia ( xnk ) , convergente para um a em M .
Como f contnua, ( f ( xnk )) subsequncia de ( f ( xn )) que converge para f (a ) . Logo, f ( M ) compacto.
Exerccio Resolvido
4) Seja K 2 compacto. Prove que
A = {x : y R tal que ( x, y ) k} compacto.
Resoluo:
Note que f : R 2 R dada por f ( x, y ) = x contnua e A = f ( K ) .
Logo, pelo teorema 4.5, A compacto.
Exerccios Propostos
8) Encontre uma funo f : R R contnua e um compacto
K tal que f 1 ( K ) no compacto.
Corolrio 4.2. Se f : M N contnua e M compacto, ento
f ( M ) fechado e limitado.
Dica para fazer a prova: Leia com ateno a prova do teorema de
Heine-Borel.
153
Corolrio 4.3. Seja f : M uma funo contnua real em um espao mtrico compacto M . Ento f atinge seu mximo e seu mnimo em M .
Prova:
Como f ( M ) limitado, existem y1 = inf{ f ( x)} e y2 = sup{ f ( x)} .
xM
xM
e f ( x2 ) = max{ f ( x)} .
xM
A noo de continuidade uniforme comeou a aparecer vagarosamente nas aulas de Dirichlet, em 1854, e Weierstrass, em 1861. A
primeira publicao devida a Heine [6, Hairer & Wanner].
Esta noo apareceu quando os matemticos do sculo XIX procuravam por condies suficientes para garantir a integrabilidade de
funes contnuas. Vejamos a definio:
Definio 4.6. Dizemos que f : M N uniformemente contnua
em M se dado e > 0 , existe um > 0 tal que se d ( x, y ) < ento
d ( f ( x), f ( y )) < e .
Observao. Note que na definio de continuidade uniforme, uma
vez dado > 0 , necessrio achar um > 0 que funcione para todos os pontos do domnio da funo f !
Vejamos alguns exemplos:
Exemplo 4.16. f ( x) = x uniformemente contnua em . Dado
> 0 , basta tomar = e (se | x y |< , ento | f ( x) f ( y ) |< = e). Ver
figura 4.10.
154
Figura 4.10
1
no
x
uniformemente contnua em [0, ) . De fato, o da continuidade,
em x0 > 0 , depende de e e tambm diretamente de x0 , de modo que
( x0 ) 0 se x0 0+ .
Exemplo 4.17. A funo f :[0, ) [0, ) dada por f ( x) =
Figura 4.11
e > 0 , como
de Lipschitz,
d ( f ( x), f ( y )) kd ( x, y ) x, y M .
k 0
tal que
155
e
, temos que: se d ( x, y ) < ento
k
e
d ( f ( x), f ( y )) kd ( x, y ) < k = e .
k
Tomando =
Exerccios Propostos
9) Decida se a funo f :[0, +) [0, +) definida por f ( x) = x 2
uniformemente contnua.
10) Mostre que f :[a, b] dada por f (x) = x 2 Lipschitz e portanto uniformemente contnua.
Veremos agora um teorema (cuja primeira verso, para n , devida
a Heine, 1872, [6, Hairer & Wanner]) que nos garante que toda funo contnua em um compacto uniformemente contnua.
Teorema 4.6. Seja f : M N contnua e M compacto. Ento f
uniformemente contnua em M .
Prova:
D e > 0 . Como f contnua, para todo a M existe a > 0 tal
e
que se d ( x, a ) < a (isto , x B(a, a ) ), ento d ( f ( x), f (a )) < .
2
156
Seja = min 1 , 2 , , n . Mostraremos agora que se x, y M
2
2 2
so tais que d ( x, y ) < ento d ( f ( x), f ( y )) < e .
Como x M , x B ai , i , isto , d ( x, ai ) < i , para algum i en2
2
tre 1, 2,, n .
i i i
+ = i e,
2 2 2
usando a desigualdade triangular mais uma vez, temos, da continuidade em ai , que
d ( f ( x), f ( y )) d ( f ( x), f ( ai )) + d ( f ( ai ), f ( y ))
e e
+ = e.
2 2
Exemplo 4.20. A funo f :[0, ) [0, ) da por f ( x) = x uniformemente contnua em [0, ) . Vejamos:
Note que f restrita ao intevalo [0,1] uniformemente contnua pelo
teorema 4.6, pois [0,1] compacto. Tambm a restrio de f ao intervalo [1, ) uniformemente contnua, pois se x 1 , y 1 , ento
x y
x y
x + y = ( x y )( x + y ) = x y x y
Figura 4.12
157
Exerccios Propostos
11) D um exemplo de espaos mtricos M e N e uma funo
contnua f : M N tal que N compacto, mas M no compacto.
12) Prove que f ( x) = x 2 no uniformemente contnua em .
13) Sejam f e g funes reais uniformemente contnuas em um
espao mtrico M . Mostre que cf e f + g so uniformemente
contnuas em M .
14) Mostre que a composio de funes uniformemente contnuas uma funo uniformemente contnua.
158
Como p S , p z . Mas p z , pois z S (uma vez que z C ).
Logo, p < z .
Por outro lado, C aberto e p C . Logo existe um e > 0 tal que
B ( p, e) C .
Seja t tal que p < t < min{ p + e, z} .
Ento t C [ x, z ] = S . Mas isto uma contradio, pois t > p e
p o supremo de S (a contradio veio do fato que supomos que
C aberto e fechado e no ou ).
Logo, nossa suposio falsa e, portanto, C = ou C = .
A figura 4.13 ilustra uma das possveis posies de t :
S
[
(
p
)
p
t
)
R
p+ z
C
Figura 4.13
159
O exemplo 4.23 acima nos mostra um conjunto desconexo. Ele formado por dois pedaos. Isto nos leva seguinte definio:
Definio 4.8. Uma separao de um espao mtrico M um par
de conjuntos abertos, no vazios, disjuntos, cuja unio M .
Em smbolos, uma separao um par de abertos U , V tal que
U , V , U V = M e U V = .
Proposio 4.5. Um espao mtrico M conexo se, e somente se,
no existe uma separao de M .
Prova:
) Primeiro vamos assumir que M conexo.
Supor que U , V uma separao de M . Ento U e U C = V
aberto. Logo U fechado e a hiptese implica que U = M e,
portanto, V = , o que uma contradio. Logo, no existe separao de M .
) Hiptese: No existe uma separao de M .
Tese: M conexo.
Vamos supor que M no conexo. Seja C fechado e aberto de M
e suponha que C M e C . Ento C , C C formam uma separao de M , o que contradiz a hiptese. Logo, C = M ou C = .
Com o resultado acima, podemos mostrar que o conjunto dos racionais, visto como subconjunto de R , no conexo. Precisamos ento
definir conexidade para subconjuntos de um espao mtrico. Temos
a seguinte definio:
Definio 4.9. Um subconjunto de um espao mtrico conexo se
ele for conexo com a mtrica induzida (lembre-se que os abertos so
definidos em termos da mtrica).
Voc consegue achar uma separao para ?
160
2
de conexo.
161
Figura 4.14
S
[
(
p
)
p
t
)
R
z
p+
C
Figura 4.15
162
A proposio acima nos permite mostrar alguns resultados surpreendentes, que desafiam a nossa intuio. Com ela voc pode fazer o
seguinte exerccio:
Exerccio Proposto
15) Mostre que S {(0, q ) : q ; 1 q 1} , onde
x +1
2
Exerccio Proposto
16) Mostre que os intervalos abertos (a, +) e (, b) so conexos.
163
Proposio 4.8. Qualquer intervalo da reta conexo.
Prova:
Seja I um intervalo da reta. Pela proposio anterior o interior
do intervalo I conexo e ento segue da proposio 4.6 que I
conexo.
Exerccio Proposto
17) Mostre que a recproca da proposio anterior vlida, isto ,
mostre que se C um conjunto conexo de , ento C um
intervalo.
Dica. Suponha que C no um intervalo e encontre uma separao para C .
Terminaremos nosso estudo com uma aplicao muito importante
da conexidade: o teorema do valor intermedirio.
164
Como uma aplicao do teorema do valor intermedirio, provaremos que na linha do equador existem dois pontos opostos com a
mesma temperatura (ver figura 4.16). Isto mesmo. Usaremos a teoria
desenvolvida nesta seo para resolver um problema real. Para isto,
vamos supor que a linha do equador o crculo S 1 em 2 , isto ,
S 1 = {(cos t ,sen t ) : t [0, 2 ]}
e que f : S 1 a funo temperatura, a qual contnua.
Note que S 1 conexo, pois a imagem da funo contnua
h :[0, 2 ] S 1 dada por h(t ) = (cos t ,sen t ) .
Agora, defina g ( x) = f ( x) f ( x), x S 1 . Observe que g contnua.
Seja p S 1 . Considere g ( p ) e g ( p ) . Note que
g ( p) = f ( p) f ( p) = g ( p ) .
Logo, ou g ( p ) = 0 , o que implica que f ( p ) = f ( p ) , ou g ( p ) e
g ( p ) tem sinais opostos. Neste caso, pelo teorema do valor intermedirio, existe um ponto u S 1 tal que g (u ) = 0 e isto implica que
f (u ) = f (u ), ou seja, a temperatura no ponto u igual no ponto u .
p
p
Figura 4.16
165
Exerccios Complementares
1) Analise a continuidade das funes:
a) f :
0, x 0
;
f ( x) =
1, x > 0
b) g : {0}
0, x < 0
g ( x) =
;
1, x > 0
c) h : X
2, x < 1
h( x ) =
1, x = 1
1
1
X = 1,1 ,1 , .
2
3
166
10) Seja M um espao mtrico e seja X A : M a funo caracterstica de um subconjunto A M , isto , X A ( x) = 1 se x A e
X A ( x) = 0 se x A . Mostre que X A contnua em p M se, e
somente se p no um ponto da fronteira de A .
11) Defina uma bijeo f : que seja descontnua em todos
os pontos de .
12) Identifique se verdadeiro ou falso, justificando sua resposta:
Se f , g : so duas funes contnuas tais que f (r ) = g (r )
para todo r , ento f = g .
13) Sejam M um espao mtrico compacto e f : M M uma isometria, isto , d ( f ( x), f ( y )) = d ( x, y ), x, y M . Provar que f
bijeo.
14) Seja A = (0,1] . Encontre uma cobertura aberta de A que no
possui subcobertura finita.
15) Encontre uma funo contnua f : e um conjunto compacto K tal que f 1 ( K ) no compacto. Repita o processo
para K conexo.
16) Verifique se so compactos (mtrica usual):
a) em ;
b) em ;
c) B = {2} [3, 4] em ;
1 2 3
d) 1, , , , em ;
2 3 4
e) [1, 2] em ;
f) A = {x / 0 x 1 e x } ;
g) D = {( x, y ) 2 / 0 x 1} ;
h) S = {( x, y ) 2 / xy = 1} {( x, y ) 2 / x 2 + y 2 < 5} .
17) Seja M um espao mtrico com a mtrica discreta. Mostre que
M compacto se, e somente se, M finito.
167
18) Sejam A e B subconjuntos de um espao mtrico tais que A
compacto e B fechado. Mostre que A B compacto (quando A B ).
19) As seguintes afirmaes a respeito de n so verdadeiras. Justifique-as:
a) B = {( x1 , x2 , , xn ) n / x12 + x22 + + xn2 1} compacto;
b) S n1 = {( x1 , x2 , , xn ) n / x12 + x22 + + xn2 = 1} compacto;
c) Uma bola aberta B ( p, r ) , p n e r > 0 no um conjunto compacto.
20) Se A e B so subconjuntos compactos de um espao mtrico
M , mostre que A B e A B so compactos.
21) Uma funo f : contnua e limitada obrigatoriamente
uniformemente contnua?
22) Sejam f : B m contnua e injetiva e B n compacto. Provar que f 1 : f ( B) B contnua.
23) Seja f : (0,1) uniformemente contnua. f obrigatoriamente limitada?
24) Seja M um espao mtrico. Mostre que so equivalentes:
a) M no conexo;
b) Existem subconjuntos no vazios U e V de M tal que
M = U V , U V = = U V .
25) Se A e B so subconjuntos conexos de n , d exemplos para
mostrar que A B , A B e A B podem ser conexos ou desconexos.
26) Seja A um subconjunto compacto de n e ( xn ) uma sequncia de
Cauchy em A . Mostre que ( xn ) converge para um ponto de A .
27) D exemplo de uma funo contnua f : e um conjunto
fechado B tal que f ( B) no fechado. Isso possvel se
B for tambm limitado?
168
28) Seja f uma funo contnua de um espao mtrico compacto
e conexo, M em . Mostre que f ( M ) um intervalo fechado.
29) Ser a unio de conjuntos conexos um conjunto conexo?
Resumo
Neste captulo voc aprofundou seu conhecimento sobre uma classe
muito importante de funes: as funes contnuas.
Voc tambm se deparou com algumas noes novas, tais como, conjuntos compactos, conjuntos conexos e continuidade uniforme.
Foram apresentados alguns teoremas importantes, que embasam o
estudo de Clculo, como o teorema do valor intermedirio e o teorema que garante que toda funo contnua em um espao compacto
atinge seus extremos.
Voc concluiu seu estudo vendo uma aplicao prtica do teorema
do valor intermedirio.
171
Captulo 1
Exerccios Propostos
1) Como X e Y so enumerveis, existem f : X e g : Y bijees.
Definimos
h: X Y
h( x, y ) = ( f ( x), g ( y ))
= 1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
A1 = {1, 5, 9, }
A2 = {2, 6, 10, }
A3 = {3, 7, 11, }
A4 = {4, 8, 12, }
Podemos escrever:
A1 = {4n 3, n }
A2 = {4n 2, n }
A3 = {4n 1, n }
A4 = {4n, n }
172
f ( n) =
1 n , se n mpar
2 p
Brinque com estas funes convencendo-se que elas so bijees.
5)
a) Sim. Sejam
X = {x1 , x2 , x3 ,..., xn }
Y = { y1 , y2 , y3 ,..., yn ,...}
Basta voc definir
f : X Y
f ( xi ) = yi .
173
b) No, pois um elemento de X no pode ter mais de uma imagem pela funo g.
6) Use o processo diagonal de Cantor e proceda de forma anloga
apresentada no texto, para provar que o conjunto dos nmeros
reais entre 0 e 1 no enumervel.
7) Temos que mostrar que as condies S.1 e S.2 so equivalentes as
condies S.1 e S.2.
Suponha primeiro que S.1 e S.2 so vlidas. Ento claro que
S.1 verdadeira. Agora, dado > 0 , se no existe x em X tal que
b < x b , ento, como S.1 vlida, x b para todo x em
X. Portanto b uma cota superior e S.2 implica que b b ,
uma contradio.
Por outro lado, suponha que b seja tal que S.1 e S.2 so vlidas e seja c tal que x c para todo x em X. Se b > c ento, para
bc
, por S.2, temos que existe x em X tal que b < x b .
=
2
b+c
Mas isto implica que x >
> c , uma contradio. Logo b c
2
como desejado e S.2 vlida.
Exerccios complementares
1) Primeiro suponha que X infinito. Ento podemos listar
infinitos
elementos
distintos
em
e
x1 , x2 , x3 ,...
c
c
X = {x1 , x2 , x3 , ...} {x1 , x2 ,...} . Seja Z = {x2 , x3 , ...} {x1 , x2 ,...} . Ento Z um subconjunto prprio de X e a funo f : X Z , dada
por f ( xi ) = xi +1 para xi {x1 , x2 ,...} e f ( x) = x para x {x1 , x2 ,...}c
uma bijeo.
174
3) Considere 2 conjuntos X e Y enumerveis. Podemos, ento, listar
seus elementos:
X = {x1 , x2 , x3 ,}
Y = { y1 , y2 , y3 ,}
Voc pode criar uma lista com os elementos do conjunto
W = X Y , tomando, alternativamente, um elemento de X e um
elemento de Y, na ordem crescente dos ndices.
Ou seja,
w1 = x1 , w2 = y1 , w3 = x2 , w4 = y 2 , w5 = x3 , w6 = y3 ,
4) S enumervel, pois a unio enumervel dos conjuntos enumerveis S_i , onde S_i consiste do conjunto de todas as sucesses
de zeros e uns cujos termos a partir do i-simo termo so iguais
a zero.
5) Voc pode escrever
2
2 2 2 2
X = , , , , , ,
n
1 2 3 4
a) 2 uma cota superior de X. Outros 2 exemplos de cota superior
so: 3 e 5.
0, -1, -15 so exemplos de cotas inferiores.
b) sup X = 2 , inf X = 0
6)
a) So exemplos de cotas superiores: 2, 50, 1500.
So exemplos de cotas inferiores: 1, 0, -1500.
sup X = 2 e inf X = 1 .
b) O conjunto Y no admite cotas superiores nem inferiores.
c) So exemplos de cotas superiores: 2; 2,01; 2,001.
O conjunto Z no admite cota inferior.
sup Z = 2 ; no existe inf Z .
175
7) I.1 a cota inferior de X.
I.2 Qualquer nmero maior que a no cota inferior de X.
8)
a) X = {x / x > 0 e x 2 < 5}
b) X = {x / x > 0 e x 2 > 5}
c) X = {x / x > 0 e 3 < x 2 < 5}
Observe que nestes conjuntos, quando existem, o supremo e o
nfimo so irracionais. Voc pode listar muitos outros exemplos.
9)
a) Verdadeira. O supremo de X o elemento mximo de X e o
nfimo o elemento mnimo de X.
b) Verdadeira. Se um conjunto tem supremo ele a menor das
cotas superiores e qualquer nmero maior que ele tambm
uma cota superior.
2
igual a zero.
d) Falsa. Por exemplo, o conjunto dos naturais ilimitado, est
contido em , e no denso em .
10) 1 parte: Basta voc tomar o exemplo do item (a) do exerccio 8.
2
X =
, n um conjunto de nmeros irracionais e sup X = 0 .
n
I
n =1
176
b) Considere
1
I n = 0,
n
Os intervalos I n so limitados e encaixados. No entanto,
I
n =1
= .
Captulo 2
Exerccios Propostos
2)
a) d ( f , g ) = sup | f ( x) g ( x) |= sup | x 1|= 1 .
x[ 0, 1]
x[ 0, 1]
b) d ( f , g ) = sup | f ( x) g ( x) |= sup | x 2 x | .
x[ 0, 1]
x[ 0, 1]
1 1 1 1 1
Logo, d ( f , g ) = sup | ( x 2 x) |= = = .
x[ 0, 1]
2 2 4 2 4
177
4)
a) Int ( A) = {( x1 , x2 ) 2 / x2 > x1}.
x1=x2
x2
1
1
x1
b) Int ( A) = A .
x2
x2= x12
x1
c) Int ( A) = A .
x2
x2= e x 1
x1
178
d) Int ( A) = A .
x2
x 2=lnx 1
x1
e) Int ( A) = .
f) Note que A = (0, +) . Logo, Int ( A) = A .
6) Em , tome A = , B = . Ento Int( A) = , Int( B) = e
Int( A B) = .
7)
a) A1 A2 aberto (Propriedade Ab2).
b) Supor que A1 A2 ... An1 aberto.
c) Provar que A1 A2 ... An aberto.
Como A1 A2 ... An = ( A1 A2 ... An1 ) An , segue o resultado, novamente pela propriedade Ab2.
8) Seja B[ x, r ] uma bola fechada. Vamos mostrar que seu complementar aberto. Para isto, tome y e C ( B[ x, r ]) . Como a bola
fechada, temos que
= d ( y, B[ x, r ]) .
Mas, ento,
B y, C ( B[ x, r ]) .
2
179
9) Por induo, j sabemos que para n = 2 a propriedade vale
(veja Fe 2).
Hiptese de induo: supor que a propriedade nvlida para n,
ou seja, se F1 ,..., Fn so conjuntos fechados, ento Fi fechado.
i =1
F = F F
i =1
i =1
o, segue que
n +1
, e como
F
i =1
n +1
F fechado por Fe 2.
i =1
10)Em n , todo conjunto finito fechado, pois pode ser escrito como
uma unio finita de conjuntos unitrios (que so fechados). O resultado segue vlido para qualquer espao mtrico.
1
11)Em , sejam Fn = ,1 , n = 1, 2,3,... . Ento,
n
fechado em .
Fn = (0,1] , que no
n =1
12) S ' = {( x, y ) 2 / y x 2 1} .
13)
a) No fechado, pois 0 A ' e 0 A .
b) fechado.
c) fechado.
d) No fechado, pois 0 D ' e 0 D .
e) Domnio de f = {x : x 1} . Logo, no fechado.
f) fechado;
g) fechado.
14)
a) A = {0} A .
b) B = [0, ) .
180
15) Afirmao: A B A B .
Prova: Seja x A B .
Se x A B , ento claro que x A B .
Se x ( A B) ' ento toda bola aberta que contm x contm pontos de A B distintos de x . Logo, toda bola aberta que contm x
contm pontos de A e pontos de B e, portanto, x A ' B ' A B ,
como desejado.
Agora, seja A = (0,1) e B = (1, 2) em .
Ento, A B = e A B = {1} .
16) Sim para R n . Falso em geral. Por exemplo, considere M como
mtrica discreta.
17)
a) Falso. Por exemplo, se A = (0,1) e B = (1,1) em , ento
Fr ( A) = {0, 1} e Fr ( B) = {1, 1} .
b) Falso. Por exemplo, se B = (0, 1) {2}, ento 2 Fr ( B ) , mas
2 B'.
c) Seja x Fr( A B ) . Ento
B ( x, r ) ( A B ) C .
e
B( x, r ) B C , r > 0 .
r > 0 ,
Logo
B ( x, r ) ( A B )
B( x, r ) AC
e
x Fr( A) . Logo,
y
Circunferncia
de raio = 1
b) Fr ( Int ( A)) = {( x, y ) 2 / x 2 + y 2 = 1} .
c) Fr ( A) = [0, 1] .
d) Fr ( B) = {0, 1} .
e) Fr (C ) = {( x, y ) 2 / y = x 2 4 x + 3} .
181
19)
a) A = (0, ) e B = (,0) .
b) A = (1, 1) em . Fr ( A) = {1,1} .
Exerccios Complementares
1) Neste exerccio temos que verificar se as condies M 1 a M 3 da
definio de mtrica so satisfeitas.
a) No mtrica, pois d (2, 2) = 0 ; logo, no satisfaz M1.
b) No mtrica, pois d (2, 2) = 0 ; logo, no satisfaz M 1 .
c) No mtrica. Note que
1
1 1 1 1
d (0, 1) = 1 > d 0, + d ,1 = + = ;
2
2 4 4 2
logo, M 3 no satisfeita.
2)
a) mtrica.
b) No mtrica.
182
5)
a) Seja p . Se p , ok.
Se p , use a representao decimal infinita de p :
p = a, a1 a2 ...an ... e considere a sequncia de nmeros racionais
a
a, a1
a, a1 a2
a, a1 a2 ...an
1
1
e, portanto, d (a, ) .
2
2
1
1
8) Como p B p, n , p B p, .
n
n
n =1
1
1
Se x B p, , ento d ( x, p ) < n .
n
n
n =1
Logo, d ( x, p ) = 0 e, portanto, x = p .
183
9)
a)
b)
c)
10)
a) int () = .
b) int () = .
c) .
d) int((1, 2)) = (1, 2) .
e) .
f) (1, 2) .
g) (1, 2) .
h) int([1, 2] {3}) = (1, 2) .
11)
a) Fechado.
b) Aberto.
c) Nem aberto nem fechado.
d) Fechado.
e) Aberto.
f) Aberto.
g) Aberto.
d)
184
12) = ; =
1 1 1
1 1
1, , ,... = 0,1, , , ,... .
2 3 4
2 3
1
Sejam An = 0, , n = 1, 2, 3,... . Ento,
n
n =1
n =1
=.
=.
16)
a) X = (0, 1) em .
b) X = Q em .
1 1
c) X = 0,1, , ,... em .
2 3
d) X = .
19)
a) Fr ( A1 ) = {a1}, Fr ( A2 ) = {0, 1, 3}, Fr ( A3 ) = .
b) Fr ( B1 ) = B1 , Fr ( B2 ) =
= {( x, y : x = 0, y > 0)} {( x, y ) : y = 0, x > 0} {0,0}.
185
20)
a) A = .
b) B = 2 .
c) C ' = {(0, 0)} .
1
1
d) D ' = 0, , n ,0 , m {(0,0)} .
n
m
e) E ' = {( x, y ) 2 / x e y = 0} .
21)
a) Note que se x int( A) , ento existe uma bola aberta B ( x, r )
completamente contida em A , e que, portanto, no contm
pontos do complementar de A . Logo, x Fr ( A) .
Por outro lado, se a A \ Fr ( A) , ento existe uma bola aberta
B (a, r ) completamente contida em A e, portanto, a int( A) .
b) Seja x A . Ento, por definio, B ( x, ) A > 0 . Logo,
x int( n \ A) e, portanto, x n \ int( n \ A) .
Por outro lado, seja x n \ int( n \ A) .
Ento, x int( n \ A) e, portanto, toda bola aberta B ( x, r )
contm pontos do complementar de n \ A, ou seja, de A.
Logo, x A .
22)
a) Falso. Por exemplo, seja A = em com mtrica usual. Ento, A = e int() = , mas int () = .
b) Verdadeiro. Segue diretamente da definio de fecho.
c) Falso. Em , tome A = [0, 1) . Ento, int( A) = [0, 1] A .
d) Falso. Em , tome A = . Ento, Fr () = Fr () = e
Fr () = .
e) Verdadeiro. Note que, se x A , como A aberto, ento existe
uma bola aberta B ( x, r ) completamente contida em A e, portanto, x Fr ( A) .
186
23)
a) Segue diretamente da definio de fronteira de um conjunto.
b) Seja x A B . Ento, para toda bola aberta B ( x, r ) , temos que B ( x, r ) ( A B ) e, portanto, B( x, r ) B e
B( x, r ) B . Logo, x A B .
c) Seja x A B . Ento, existe uma sequncia ( xn ) n tal
que xn x e xn A B n . Sejam C = {n / xn A} e
D = {n / xn B} . claro que C ou D um conjunto infinito. Sem perda de generalidade, suponha que C infinito. Ento, a subsequncia ( xk ) kC converge para x e xn A n C .
Logo, x A A B .
d) Segue diretamente da definio de interior de um conjunto
que int( A B ) int( A) int( B) .
Seja, agora, x int( A) int( B) . Como x int( A) , existe B ( x, r1 ) A e como x int( B) , existe B( x, r2 ) B . Tome
r = min(r1 , r2 ) . Ento, B( x, r ) A B e, portanto, x int( A B ) ,
como desejado.
e) Seja x int( A) int( B) . Ento, x int( A) ou x int( B) . Supor, sem perda de generalidade, que x int( A) . Ento, existe
uma bola B ( x, r ) A . Logo, B ( x, r ) A A B e, portanto,
x int( A B) .
Captulo 3
Exerccios Propostos
1) Dado > 0, N 0 > 0 tal que
<
.
N0
2
2
1 1
d ( zn ,(0, 0)) = + =
< .
n
n n
187
3)
a) A sequncia converge para (0, 0) .
b) Diverge.
c) Converge para p .
d) ( f n ) converge para a funo nula O(t ) = 0 t [0, 1] .
4)
a) ( xn ) = ((0, n)) .
b) Se xn = (1,1,1) n , ento ( xn ) limitada.
c) Toda sequncia em M limitada.
5) Em com a mtrica usual ( xn ) = ((1) n ) limitada mas no
convergente.
6)
n
.
n+ n + 1
d) Para a =
Seja
x1 = 0,7666...
x2 = 0,7766...
x3 = 0,7776...
xn = 0,777...7666...
188
56
.
99
Note que a = 0,56565656...
Para a =
Tome
.
x1 = 0,567777...
x2 = 0,56567777...
x3 = 0,565656777...
n
(1, 1) Fr ( X ) , pois (1, 1) = lim
,1 = lim 1,
.
n n + 1
n+
n +1
y
x=y
1
189
10)
a) [0, 1],[2, 3] .
b) (0, 1), (2, 3) .
Exerccios Complementares
1) Falso. Por exemplo, ((1) n ) .
2) Verdadeiro. A prova est feita na proposio 2.5.
3) Verdadeiro.
Como
( yn )
limitada,
M >0
tal
que
. Logo,
que se n N 0 , ento | xn |<
M
n N 0 , | xn yn |=| xn | | yn |<
M = .
M
4) Verdadeiro. Supor que ( Z n ) converge. Ento ( yn = Z n X n ) converge, o que contradiz a hiptese.
5) Falso. Por exemplo, tome
xn = (1, 2, 1, 2, 1, 2,...) e yn = ( 1, 2, 1, 2, 1, 2,...) .
Ento xn + yn = (0, 0, 0, 0, 0,...) .
6) Verdadeiro. Para =
a
, existe N 0 > 0 , tal que
2
n > N 0, | xn a |< =
a
2
a
a
< xn a <
2
2
a
0 < < xn n N 0 .
2
1
1
7) Falso. Por exemplo, seja ( xn ) = e ( yn ) = + . Ento
n
n
lim xn = 0 = lim yn .
190
8) Verdadeiro. Como ( xn ) est contida no conjunto de Cantor, ( xn )
limitada. Logo, por Bolzano-Weierstrass, ( xn ) possui uma subsequncia convergente (a qual tambm de Cauchy).
9) Falso. Basta pegar uma sequncia em convergente para
(por exemplo).
10) Verdadeiro. Vamos supor que ( xn ) seja uma sequncia no decrescente e ( xnk ) uma subsequncia que converge para a .
Mostraremos que ( xn ) converge para a .
Dado > 0, N 0 > 0 tal que nk > N 0 , | xnk a |< . Seja nk1 tal
que nk1 > N 0 . Ento se m > nk1 , temos que existe nkm tal que
xnk xm xnk
1
| xm a |<
para todo m > nk1 .
11)
1
a) n 1, .
2
b) n (1, 1) .
12)
a) ( xn ) divergente.
b) a = b .
c) Analise ( xn ) = ((1) n ) .
n
n + 1 , se n par
.
13) Em , seja xn =
1 , se n mpar
n
( xn ) satisfaz as condies pedidas.
191
14) Ver a proposio 2.14.
a) [2,5) no fechado em .
b) O conjunto no fechado em .
c) O conjunto no fechado em .
15) Nenhum
dos
conjuntos
(Ver proposio 2.14)
fechado
em
2 .
Captulo 4
Exerccios Propostos
1) Note que
d ( f ( x), f ( y )) =
1 1
yx
1
1
1
=
=| x y |
| x y |= d ( x, y ) .
x y
xy
| xy | 4
4
1
.
4
192
| f ( x) f (a ) |< .
2
Tambm 2 > 0 tal que se d ( x, a ) < 2 ento
| g ( x) g (a ) |< .
2
Logo, se d ( x, a ) < = min{1 , 2 } , ento
| ( f + g )( x) ( f + g )(a ) |=| f ( x) f (a ) + g ( x) g (a ) |
| f ( x) f (a ) | + | g ( x) g (a ) |
+ = .
2 2
4) Considere f : R R dada por f ( x) = 0 , x R , e K = {0} . Ento
K compacto e f 1 (0) = R no compacto.
1
5) Note que no existe lim cos . Logo, f no contnua (em 0).
x o
x
6) Seja d 0 a distncia entre f ( x0 ) e 0 em n . Considere a bola aber
d
d
ta B f ( x0 ), 0 . Ento f 1 B f ( x0 ), 0 uma vizinhana de
2
2
x0 , onde f no se anula.
senx
= 1 = f (0) .
x 0
x
1
8) No. Por exemplo, seja f : (0, 1) definida por f ( x) = .
x
9) No uniformemente contnua.
193
2
n2 < 1
4
2
n +
< 1 n
4
o que uma contradio.
Logo, f no uniformemente contnua em .
194
13) Faremos para f + g . O caso cf anlogo.
Suponha que f e g so uniformemente contnuas e f , g : M .
Ento, dado > 0, 1 tal que, se d ( x, y ) < 1, ento | f ( x) f ( y ) |<
2 tal que d ( x, y ) < 2 , ento | g ( x) g ( y ) |<
.
2
Tome = min{1 , 2 } .
Logo, se d ( x, y ) < , ento:
d (( f + g )( x),( f + g )( y )) =| ( f + g )( x) ( f + g ) ( y ) |=
= | f ( x) f ( y ) + g ( x) g ( y ) || f ( x) f ( y ) | + | g ( x) g ( y ) |<
< + = .
2 2
14) Sejam f : M e g : N P uniformemente contnuas.
Dado > 0, > 0 tal que, se d ( x, y ) < , ento
d ( f ( x), f ( y )) < .
Para este > 0, 1 > 0 tal que, se d ( x, y ) < 1 , ento
d ( g ( x), g ( y )) < .
Logo, se d ( x, y ) < 1 , ento d ( f ( g ( x)), f ( g ( y ))) < .
15) Basta notar que S S {(0, q ) : q ; 1 q 1} S e usar a Proposio 4.6.
16) (a, +) conexo, pois a imagem de (0, 1) pela funo contnua
1
f : (0, 1) (a, +) , dada por f ( x) = a 1 + .
x
Analogamente, (a, +) uma imagem de (0, 1) pela funo
1
contnua g : (0, 1) (a, +) , dada por g (t ) = b + 1 , e, portant
to, conexo.
195
17) Seja S um conexo de . Suponha que S no um intervalo.
Ento existe um t tal que existem a, b S e a < t < b .
Agora, U = (, t ) S e V = (t , +) S formam uma separao
de S .
Logo, S no conexo.
Exerccios Complementares
1)
a) contnua em {0} .
b) contnua em {0} .
c) contnua em X {1} .
2) Suponha que f : X contnua em a .
Como f contnua em a , > 0 tal que se d ( x, a ) < , ento
| f ( x) f (a ) |< .
Logo, para este , temos que || f ( x) | | f (a ) ||| f ( x) f (a ) |< ,
sempre que d ( x, a ) < .
3) f contnua em X , pois se F fechado em , ento f 1 ( F )
um conjunto finito de pontos de e, portanto, fechado.
4) h contnua, pois a multiplicao e composio de funes contnuas.
5) Note que, se | x |< 17 , ento,
d ( f ( x), f ( y )) =| x 2 y 2 |=|| x y || x + y ||=| x y || x + y | 34 d ( x, y )
e, portanto, f lipschitziana em [17, 17] .
Porm, em (, ) f no lipschitziana, pois
d ( f ( x), f ( y )) =| x + y | d ( x, y ) .
196
.
c
Tome =
197
x se x
11) f ( x) =
.
x + 2 se x I
12) Verdadeiro. Seja x \ . Existe uma sequncia xn tal que
xn x . Como f
e g so contnuas, temos que
f ( x) = lim f ( xn ) = lim g ( xn ) = g ( x) .
n
1
,
2
d( f
nM 2
( y1 ), f
1
n
nM 2 + j
( y1 )) <
1
n
1
( y1 ), y1 ) < .
n
1
n
n
n
n
Tome z1 = f M 2 +1 M 2 ( y1 ). Repita para = e tome z2 = f M3+ j M3 ( y1 ) ,
3
onde
nM 3 + j nM 3 nM 2 +1 nM 2 ,
e
sucessivamente
para
1
= , n = 4,5,6,... . Logo, ( zn ) converge para y1 e, portanto,
n
y1 f ( M ) , mas f ( M ) fechado (sendo compacto) e conclumos
d( f
nM 2 + j nM 2
198
14) A = (0, 1]
1
Sejam U n = ,1 n .
n
Ento, {U n }n no admite subcobertura finita.
0, x < 0
15) Seja f ( x) =
.
x, x > 0
Ento f contnua e f 1 ([0, 2]) = (, 2) , que no compacto.
0, x 0
x, 0 x 1
Seja f ( x) =
.
2
x
,
1
0, x 2
Ento f 1 ({0}) = (, 0) [2, +] , que no conexo.
16)
a) No compacto (no limitado).
b) No compacto (no limitado).
c) Compacto.
d) Compacto.
e) No compacto (no fechado).
f) No compacto (no fechado).
g) No compacto (no limitado).
h) No compacto (no fechado).
17) ) Supor que M no finito, digamos M = {x1 , x2 , x3 ,...} . Ento
1
uma cobertura aberta que no possui subco B xi ,
2 i=1,2,3,...
bertura finita e, portanto, M no compacto.
A volta trivial.
199
200
1
= .
2
201
tal
que
B (u , ) V = ,
que
implica
que
B (u , ) U , como desejado.
Logo, U aberto. Mostra-se que V aberto analogamente.
25) Seja U = {( x, y ) 2 : 0 x 1} ,
1
1
1
V = ( x, y ) 2 : 0 x , 1 y 0 ( x, y ) 2 : x 1, 1 y
4
4
2
2 2
( x, y ) : x 1, 1 y 0 .
3
1 2
Ento, U V = 0, ,1 , que no conexo.
4 3
Para A B , basta tomar A = [0, 1], B[2, 3] . Ento A B no
conexo.
Para A \ B , tome A = [3, 5] e B[2, 3]. Ento A \ B = [0, 2] (3, 5],
que no conexo.
202
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
203
Referncias
1) BOYER, C. B. Histria da matemtica. Trad. de Elza F. Gomide. So Paulo: Edgard Blucher, 1974.
2) CARVALHO, N. T. B.; GIMENEZ, C. S. C. Fundamentos da
matemtica I. Florianpolis: UFSC/EAD/CED/CFM, 2007.
3) EVES, H. Introduo histria da matemtica. Trad. de Hygino H. Domingues. Campinas: Editora da UNICAMP, 1997.
4) GIMENEZ, C. S. C.; STARKE, R. Introduo ao clculo. Florianpolis: UFSC/EAD/CED/CFM, 2007.
5) GIMENEZ, C. S. C.; STARKE, R. Clculo I. Florianpolis:
UFSC/EAD/CED/CFM, 2008.
6) HAIRER, E.; WANNER, G. Analysis by its history. New York:
Springer, 1995.
7) DOMINGUES, H. H. Espaos mtricos e introduo topologia. So Paulo: Atual, EdUSP, 1982.
8) JOHNSONBAUGH, R.; PFAFFENBERGER, W. E. Foundations
of mathematical analysis. New York: Marcel Dekker, 1981.
9) KOSMALA, W. A. J. A friendly introduction to analysis.
2. ed. New Jersey: Prentice Hall, 2004.
10) KHLKAMP, N. Introduo a topologia geral. 2. ed. Florianpolis: EdUFSC, 2002.
11) LIMA, E. L. Anlise real. v. 1. Rio de Janeiro: Instituto de Matemtica Pura e Aplicada, CNPq, 1989.
12) LIMA, E. L. Curso de anlise. Rio de Janeiro: Instituto de
Matemtica Pura e Aplicada, CNPq, 1976.
13) LIMA, E. L. Espaos mtricos. Rio de Janeiro: Instituto de
Matemtica Pura e Aplicada, CNPq, 1978.
14) MARSDEN, J. E.; HOFFMAN, M. J. Elementary classical
analysis. 2. ed. New York: W. H. Freeman and Company, 1993.
15) MUNKRES, J. R. Topology: A first course. New Jersey: Prentice Hall, 1975.
204
16) RUDIN, W. Princpios de anlise matemtica. Rio de Janeiro: Ao Livro Tcnico; Braslia: Editora da Universidade de Braslia, 1971.
17) IRA (Interactive Real Analysis). Disponvel em: <http://
www.mathcs.org/analysis/reals/>. Acesso em: 18/06/2012.