Cap tulo 22 Converg encia, Pontos Limite e Pontos de Acumula c ao em Espa cos Topol ogicos

Conte udo
22.1 Primeiras Deni co es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1028 22.2 Espa cos Hausdor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1030 22.3 O Limite do Inmo e o Limite do Supremo . . . . . . . . . . . . . . . . . . 1031 22.4 Redes e o Caso de Espa cos Topol ogicos Gerais . . . . . . . . . . . . . . . . 1036 22.4.1 Redes em Espa cos M etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1038

amos neste cap tulo tratar de forma mais aprofundada o conceito de converg encia, o qual foi introduzido anteriormente para o caso especial de seq u encias em espa cos m etricos (vide Cap tulo 17). Ser a dada particular aten ca o aos espa cos do tipo Hausdor, que ser ao denidos abaixo, e a ` no ca o de rede em um espa co topol ogico geral.

22.1

Primeiras Deni co es

Dado um espa co topol ogico X , uma seq u encia x e uma fun ca o x : X . Por vezes estamos interessados em considerar uma seq u encia apenas atrav es de seu conjunto imagem: Im x = {x(n) X, n }. Os elementos da seq u encia s ao os valores x(n), que freq uentemente s ao denotados apenas por xn . Com um certo abuso de linguagem e costume referir-nos a ` seq u encia x como sendo {x(n) X, n }, ou denotamo-la por {xn , n } ou mesmo por {xn } ou at e apenas por xn . Em geral, essas nota co es s ao mais pr aticas e n ao causam confus ao. A no ca o tradicional de converg encia de uma seq u encia em um espa co m etrico e a seguinte:

Seja M um espa co m etrico com m etrica d e seja {an } uma seq u encia em M . Dizemos que {an } converge a um elemento a M se para todo > 0 existir N N ( ) tal que d(a n , a) < sempre que n > N .

Abaixo vamos apresentar uma nova no ca o de converg encia de seq u encias em espa cos topol ogicos gerais que e equivalente a `quela apresentada acima no caso de espa cos m etricos. Comecemos com duas no co es u teis. Seja x uma seq u encia em X e A X . 1. Dizemos que a seq u encia x est a eventualmente em A se existir um natural N N (A) (que pode eventualmente depender de A) tal que xn A para todo n > N . 2. Dizemos que a seq u encia x est a freq uentemente em A se houver innitos valores de n para os quais xn A. 1028

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 22

1029/1355

Se uma seq u encia x est a eventualmente em A, ent ao ela est a freq uentemente em A, mas a rec proca n n ao e necessariamente verdadeira. Por exemplo, a seq u encia de n umeros reais a n = (1) est a freq uentemente no intervalo (0, 2), mas n ao eventualmente. Nota. Nas deni co es aqui apresentadas estamos fazendo uso do ordenamento usual de geral vide a Se ca o 22.4 sobre redes em espa cos topol ogicos.

. Para o caso

Denamos agora as no co es de ponto de acumula ca o e ponto limite de uma seq u encia x em X , um conjunto dotado de uma topologia . 1. Um ponto x em X e dito ser um ponto de acumula ca o da seq u encia x em rela ca o a ` topologia de X se x est a freq uentemente em todo aberto A que cont em x. 2. Um ponto x em X e dito ser um ponto limite, ou simplesmente limite, da seq u encia x em rela ca o a ` topologia de X se x est a eventualmente em todo aberto A que cont em x. Note que todo limite e um ponto de acumula ca o, mas a rec proca n ao e verdadeira. E. 22.1 Exerc cio. Mostre que {1, +1} s ao os pontos de acumula c ao da seq u encia x n := (1)n +1/n, n , n > 0 na topologia usual de . Essa seq u encia tem limites nessa topologia? E a seq u encia 2 xn := 1/n , n , n > 0?

E. 22.2 Exerc cio. Seja uma seq u encia r : tal que Im r = (tais seq u encias existem pois e cont avel). Mostre que e o conjunto de todos os pontos de acumula c ao de r na topologia usual de . Mostre que r n ao tem limites na topologia usual de .

E. 22.3 Exerc cio. Seja a seq u encia do exerc cio anterior, mas agora tome a topologia discreta ( ). Mostre que r n ao tem pontos de acumula c ao nessa topologia se a fun c ao r for injetora.

Se x e um limite da seq u encia xn dizemos que xn converge a x e escrevemos x = lim xn .

n

E. 22.4 Exerc cio. Mostre que as duas no co es de converg encia que apresentamos acima s ao equivalentes no caso de seq u encias em espa cos m etricos. Ou ltimo exerc cio nos arma a equival encia, no caso de espa cos m etricos, dos dois conceitos de converg encia que apresentamos, mas e importante frisar que a converg encia de uma seq u encia e fortemente dependente da topologia adotada. Isso pode ser claramente visto no exemplo discutido a seguir. Uma seq u encia {xn } em X e dita ser eventualmente constante se existir x X e N xn = x para todo n > N .

tais que

Seja, ent ao, X um conjunto n ao-enumer avel ( , por exemplo) e seja a topologia co-cont avel 1 em X : cc (X ). Ent ao, nenhuma seq u encia que n ao seja eventualmente constante tem limites em X em u encia em X e seja x X um ponto qualquer rela ca o a cc (X ). Isso segue do seguinte. Seja x uma seq e seja ainda A := (Im x)c {x} = (Im x {x}c )c . Como Im x {x}c e cont avel, ent ao A e aberto em
1

A topologia co-cont avel foi denida a ` p agina 969.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 22

1030/1355

cc (X ) e cont em x. Por em, x n ao est a eventualmente em A se n ao for eventualmente constante, pois Im x A = Im x {x}. Assim, para qualquer x X podemos achar um aberto que cont em x onde x n ao est a eventualmente. Logo, nenhuma seq u encia x tem limites na topologia considerada. avel Um exemplo ilustrativo e o da seq u encia xn = 1/n, n , n > 0, em . Na topologia co-cont cc ( ) essa seq u encia n ao converge a zero, ao contr ario do que ocorre na topologia usual, pois o conjunto A := \ {1/n, n , n > 0} e aberto, cont em x = 0, mas n ao cont em nenhum elemento da seq u encia xn .

Em fun ca o de exemplos como esses, h a pouca utilidade no conceito de converg encia de seq u encias em certos espa cos topol ogicos n ao-m etricos. O que ent ao normalmente se faz nesses casos e considerar uma generaliza ca o do conceito de seq u encia, conhecido como rede (net em ingl es). Para esse novo conceito h a uma deni ca o an aloga de converg encia que funciona de modo mais efetivo em espa cos topol ogicos gerais. Disso trataremos na Se ca o 22.4.

22.2

Espa cos Hausdor

Um espa co topol ogico X dotado de uma topologia e dito possuir a propriedade de Hausdor 2 se para quaisquer pontos distintos x, y X existirem dois abertos Ax e Ay em tais que x Ax , y Ay mas Ax Ay = . Um espa co topol ogico que tem a propriedade Hausdor e dito simplesmente ser um espa co Hausdor, ou do tipo Hausdor. Vamos primeiro a alguns exemplos de espa cos que n ao tem a propriedade Hausdor. Seja X qualquer com a topologia indiscreta. Esse espa co n ao tem a propriedade de Hausdor. Seja X n ao nito com a topologia co-nita. Esse espa co n ao tem a propriedade de Hausdor. Seja X n ao-cont avel com a topologia co-cont avel. Esse espa co n ao tem a propriedade de Hausdor. Para esses dois u ltimos exemplos, vide p agina 970. ltimo par agrafo. E. 22.5 Exerc cio. Prove as armativas do u Agora temos a seguinte proposi ca o: Proposi c ao 22.1 Todo espa co m etrico tem a propriedade de Hausdor.

Demonstra c ao. Seja M espa co m etrico com m etrica d, sejam x, y M distintos e seja r = d(x, y ) > 0. Sejam ent ao os abertos Ax = Bd (x, r/3) e Ay = Bd (y, r/3). Suponha que exista um ponto z Ax Ay . Ent ao, como z pertence ao mesmo tempo a Bd (x, r/3) e Bd (y, r/3), vale que d(x, z ) < r/3 e d(z, y ) < r/3. Agora, pela desigualdade triangular tem-se r = d(x, y ) d(x, z ) + d(z, y ) < 2r/3. Por em, a desigualdade r < 2r/3 e absurda. Da , n ao pode existir qualquer ponto z em A x Ay . Nem todo espa co Hausdor e m etrico. A topologia de Sorgenfrey3 [S] de (p agina 972) e Hausdor (prove isso!) mas n ao e m etrica (vimos isso a ` p agina 979). O mesmo vale para a topologia ( ).

2 3

Felix Hausdor (1868-1942). Robert Sorgenfrey (1915 - 1996).

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 22

1031/1355

Chegamos agora a uma propriedade importante de espa cos Hausdor, sejam eles espa cos m etricos ou n ao. Proposi c ao 22.2 Uma seq u encia em um espa co Hausdor pode ter no m aximo um ponto limite.

Prova. Suponha que uma seq u encia a em um espa co Hausdor X com topologia tenha dois limites distintos x e y . Sejam Vx x e Vy y dois abertos disjuntos de contendo x e y , respectivamente. Que tais abertos sempre existem e garantido pela propriedade de Hausdor, que est a sendo suposta. Ent ao, como a converge a x e a y , temos que an Vx para todo n > N (Vx ) e an Vy para todo n > N (Vy ). Logo, an Vx Vy para todo n > max{N (Vx ), N (Vx )}. Isso contraria a hip otese que Vx Vy = . Corol ario 22.1 Uma seq u encia em um espa co m etrico pode ter no m aximo um limite. Note que seq u encias em espa cos Hausdor podem ter muitos pontos de acumula ca o. E. 22.6 Exerc cio. Seja A a cole c ao de todos os subconjuntos de 2 do tipo {(x, y ) 2 , com a < y < b para < a < b < } (fa ca um desenho de um tal conjunto). Seja [A] a topologia gerada por tais conjuntos.

1. Mostre que [A] n ao e Hausdor. Para tal, tente ver se e poss vel encontrar dois abertos nessa topologia que contenham os pontos x = (0, 0) e y = (1, 0), respectivamente, mas que n ao se interceptem. 2. Mostre que a seq u encia xn = (0, 1/n), n , n > 0 tem por limite todos os pontos da forma (x, 0) para todo x . (Na topologia usual de 2 o u nico limite dessa seq u encia e o ponto (0, 0)).

22.3

O Limite do Inmo e o Limite do Supremo

Recordemos a deni ca o de conjunto dirigido. Um conjunto I e dito ser um conjunto dirigido se for dotado de uma rela ca o de ordem parcial, que denotaremos por , e se for dotado da seguinte propriedade: para quaisquer dois elementos a e b de I existe pelo menos um terceiro elemento c I tal que a c e b c. Seja I um conjunto dirigido e : I no ponto i I .

uma fun ca o de I em

. Denotaremos por i o valor de

Dene-se o limite do nmo da fun ca o como sendo lim inf = sup inf k ,
I nI k n

(22.1)

ou, numa nota ca o mais completa (e algo pedante), lim inf = sup ({inf ({k , k
I

n, k I }) , n I }) .

(22.2)

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 22

1032/1355

Analogamente, dene-se o limite do supremo da fun ca o como sendo lim sup = inf sup k ,
I nI k n

(22.3)

ou, lim sup = inf ({sup ({k , k

I

n, k I }) , n I }) .

(22.4)

As deni co es acima indicam que tanto o limite do supremo quanto o do nmo dependem da ordem adotada . Omitiremos essa depend encia para n ao carregar a nota ca o. f E acil provar que sempre se tem lim inf lim sup .
I I

(22.5)

Caso lim inf I = lim supI o limite de e denido como sendo lim = lim inf = lim sup .
I I I

(22.6)

Invari ancia por Redu c ao Inicial do Dom nio Que interesses h a nas deni co es acima? H a v arios. Um deles reside na seguinte propriedade. Suponha que I possa ser escrito como uma uni ao I = I0 J onde I0 e J t em as seguintes propriedades 1. Para todo i0 I0 existe pelo menos um j J tal que i0 2. J e um conjunto dirigido pela mesma rela ca o de ordem 3. Para todo j J vale que se k Ent ao vale que lim inf = lim inf
J I

j. .

j ent ao k J .

e que lim sup = lim sup ,

J I

ou seja, os limites do nmo e do supremo de uma fun ca o em um conjunto dirigido n ao mudam se subtrairmos de I um conjunto do come co de I (no caso, I0 ). Essa propriedade, que e uma das principais raz oes de ser das deni co es de limite acima e que tem uma import ancia fundamental, ser a denominada aqui invari ancia por redu ca o inicial do dom nio. Vamos prov a-la para o limite do nmo. O caso do limite do supremo e an alogo. Como sup(A B ) = max{sup(A), sup(B )} segue que lim inf = max {sup ({inf ({k , k
I

n, k I }) , n I0 }) , sup ({inf ({k , k

n, k I }) , n J })} . (22.7)

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 22

1033/1355

Pelas hip oteses, existe para todo i0 I0 pelo menos um elemento j (i0 ) J com a propriedade que j (i0 ) i0 . Logo, para cada i0 I0 tem-se {ak , k e, assim, inf({ak , k Dado que sup ({inf ({k , k segue que para cada i0 I0 xo sup ({inf ({k , k Assim, sup ({inf ({k , k j, k I }) , j J }) sup ({inf ({k , k n, k I }) , n I0 }) . j, k I }) , j J }) inf({ak , k i0 , k I }). j, k I }) , j J }) inf ({k , k j (i0 ), k I }) j (i0 ), k I }) inf({ak , k i0 , k I }). j (i0 ), k I } {ak , k i0 , k I }

Como lim inf I e o m aximo entre os elementos de cada lado da u ltima desigualdade (veja (22.7)), provou-se que lim inf = sup ({inf ({k , k n, k I }) , n J }) .
I

Claramente, para cada n J {k , k pois se k n, k I } = {k , k n, k J }

n com n J ent ao tem-se que k J (propriedade 3 da deni ca o de I0 e J ). Assim, lim inf = sup ({inf ({k , k
I

n, k J }) , n J }) = lim inf .
J

Limite do Supremo e Limite do Inmo de um Conjunto Recordemos a seguinte deni ca o. Seja X um conjunto com uma topologia . Seja A um subconjunto de X . Um ponto x X e dito ser um ponto limite de A se todo aberto T que contiver x contiver pelo menos um ponto de A distinto x. Ou seja, se x T ent ao (T A) \ {x} = . Denotaremos por pt(A) o conjunto de pontos limite de de A. Vamos supor que X seja parcialmente ordenado. Denimos ent ao lim sup A = sup(pt(A))

e lim inf A = inf(pt(A)).

desde, e claro, que os supremos e nmos existam em X . Como antes essa deni ca o depende do ordenamento adotado em X .

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 22

1034/1355

Advert encia Seja I como antes um conjunto dirigido e seja uma fun ca o : I . Denotemos por Im() a imagem de . Adotemos em a topologia usual e o ordenamento usual. ent E ao tentador fazermos a seguinte pergunta: ser a verdade que lim inf I = lim inf Im() e que lim supI = lim sup Im()?

A resposta pode ser sim ou n ao dependendo do tipo de ordenamento adotado em I . Vejamos os seguintes exemplos. Exemplo 1. Adotemos I = e em seq u encia denida da seguinte forma

adotemos o ordenamento usual. Tomemos como fun ca o a 1 1/n, para n par . 1 + 1/n, para n mpar

n :=

O conjunto Im() tem dois pontos limite, a saber, 1 e +1. Assim, lim inf Im() = 1 e

lim sup Im() = 1.

tamb E em f acil de provar que lim inf = 1 e

lim sup = 1.

E. 22.7 Exerc cio. Verique isso. Exemplo 2. Adotemos X = e em adotemos o seguinte ordenamento : se n e m s ao ambos pares ou ambos mpares ent ao n m se n m. Entanto, se n e par e m e mpar temos sempre que n m.

Esse ordenamento coloca todos os pares como menores que todos os mpares. Entre os pares e entre os mpares o ordenamento e o usual. Tomemos a mesma seq u encia denida acima. Claramente continuamos tendo lim inf Im() = 1 e

lim sup Im() = 1.

Por em, com o ordenamento dos naturais adotado, temos que lim inf = 1 e

lim sup = 1.

E. 22.8 Exerc cio. Verique isso. Mais Sobre O Limite do Supremo e Sobre o Limite do Inmo

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 22

1035/1355

Vericamos acima que n ao e verdadeira em geral a armativa que o limite do supremo de uma seq u encia coincide com o supremo dos pontos limite de sua imagem. H a por em uma rela ca o entre o limite do supremo e os pontos de acumula ca o da seq u encia. Tomemos I como sendo o conjunto dos naturais com o ordenamento usual e seja : I seq u encia. Adotamos em a topologia usual e o ordenamento usual.

uma

Seja Ac() o conjunto de todos os pontos de acumula ca o da seq u encia . Tem-se ent ao que lim inf = inf(Ac())
I

e que lim sup = sup(Ac()).

I

N ao apresentaremos a prova aqui. Observamos, por em, que esse fato e verdadeiro qualquer que seja o ordenamento adotado em . Para provar isso precisamos ainda introduzir o conceito de ponto de acumula ca o para fun co es denidas em conjuntos dirigidos gerais, o que faremos na Se ca o 22.4 sobre redes.

E. 22.9 Exerc cio. Seja a seq u encia cn = sen (1/n), n = 1, 2, 3, . . .. Determine seus pontos de acumula c ao, lim sup cn e lim inf cn . E. 22.10 Exerc cio. desigualdades. Sejam cn e dn duas seq u encias limitadas de n umeros reais. Mostre as seguintes

1. lim sup(cn + dn ) lim sup cn + lim sup dn .

n n n

2. lim sup(cn dn ) (lim sup cn )(lim sup dn ).

n n n

3. Para todo a > 0 vale lim sup(acn ) = a lim sup cn .

n n

4. Para todo a < 0 vale lim sup(acn ) = a lim inf cn .

n n

O estudante pode estar se perguntando por que n ao temos sempre simplesmente a igualdade lim sup(cn + dn ) = lim sup cn + lim sup dn . Veja o que ocorre no exemplo simples onde cn = (1)n e dn = (1)n . Aqui temos lim sup(cn + dn ) = lim sup 0 = 0, mas lim sup cn = +1 e lim sup dn = +1. Logo, lim sup(cn + dn )0 < 2 = lim sup cn + lim sup dn e a igualdade, portanto, n ao e v alida nesse caso. u encia de n umeros reais. Mostre que E. 22.11 Exerc cio. Seja an uma seq lim sup(an ) = lim inf an .
n n

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 22

1036/1355

E. 22.12 Exerc cio. Sejam cn e dn duas seq u encias de n umeros reais tais que cn dn para todo n Mostre que lim sup cn lim sup dn e lim inf cn lim inf dn .

22.4

Redes e o Caso de Espa cos Topol ogicos Gerais

Seja I um conjunto dirigido com respeito a ` uma rela ca o de ordem parcial (a no ca o de conjunto dirigido foi introduzida a ` p agina 32). Se X e um conjunto n ao-vazio, uma fun ca o f : I X e denominada uma rede baseada no conjunto dirigido I com respeito a . O estudante deve observar que uma seq u encia e uma rede baseada em , que e um conjunto dirigido com respeito a ` ordem usual dos naturais.

Redes s ao, portanto, generaliza co es da no ca o de seq u encias e assumem em espa cos topol ogicos gerais um papel semelhante ao de seq u encias em espa cos m etricos. De modo an alogo ao que costumeiramente se faz com seq u encias, designaremos uma rede x : I X por {x }I , por {x , I }, ou simplesmente por x , sendo I e subentendidos. Vamos a algumas deni co es. Seja uma rede {x }I em X com I sendo dirigido por .

1. Dizemos que {x }I est a freq uentemente em A X se para todo I existir um I com tal que x A. 2. Dizemos que {x }I est a eventualmente em A X se existe 0 I tal que x A para todo 0 . 3. Se (X, ) for um espa co topol ogico, dizemos que x X e um ponto de acumula ca o de {x }I com respeito a se {x }I estiver freq uentemente em qualquer -aberto que cont em x. Nesse caso, dizemos que {x }I acumula-se em x com respeito a . 4. Se (X, ) for um espa co topol ogico, dizemos que x X e um ponto limite de {x }I com respeito a se {x }I estiver eventualmente em qualquer -aberto que cont em x. Nesse caso, dizemos que {x }I converge a x com respeito a . O estudante deve notar que essas deni co es correspondem perfeitamente a `quelas introduzidas para seq u encias a ` p agina 1028 e seguinte. Se (X, ) for um espa co topol ogico e x X , seja Ix a cole ca o de todos os -abertos que cont em x. Ent ao, Ix e um conjunto dirigido pelo ordenamento parcial denido pela inclus ao de conjuntos . c ao. E. 22.13 Exerc cio. Prove essa arma Seja (X, ) um espa co topol ogico, x X e B X . A cole ca o Ix, B := {A B, A Ix } e um conjunto dirigido pelo ordenamento parcial denido pela inclus ao de conjuntos . E. 22.14 Exerc cio. Prove essa arma c ao.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 22

1037/1355

Esses dois exerc cios nos preparam para as seguintes proposi co es relevantes. Proposi c ao 22.3 Sejam (X, ) um espa co topol ogico, x X e Ix a cole ca o de todos os -abertos que cont em x. Seja {xA }AIx uma rede em X com base no conjunto dirigido Ix . Se a rede {xA }AIx tiver a propriedade que xA A para todo A Ix , ent ao {xA }AIx converge a x. A prova e quase imediata pelas deni co es e deixada ao leitor como exerc cio. Proposi c ao 22.4 Se (X, ) for um espa co topol ogico e B X , ent ao x B se e somente se existir uma rede em B que converge a x.

Prova. Precisamos primeiro provar que se x B ent ao existe uma rede {x }I que converge a x com a propriedade que x B para todo I . Sabemos que todo elemento de Ix tem intersec ca o n ao-vazia com B , pela deni ca o de fecho de um conjunto. Assim o conjunto Ix, B denido em exerc cio acima e n ao vazio, e um subconjunto de B e e um conjunto dirigido pelo ordenamento parcial denido pela inclus ao de conjuntos . Por uma ligeira varia ca o da proposi ca o anterior, e f acil ver que qualquer rede baseada em Ix, B e que a cada A Ix, B associe xA A converge a x e est a, claramente, contida em B . Vamos agora provar que se uma rede {x }I com x B para todo I converge a x, ent ao x B . Se {x }I converge a x, ent ao {x }I est a eventualmente em cada aberto A que cont em x. Isso implica que cada aberto A que cont em x cont em elementos de {x }I , que est ao em B . Logo, A B = , provando que x B . O conceito de rede permite mais uma caracteriza ca o de espa cos Hausdor. A proposi ca o abaixo generaliza um fato bem conhecido de espa cos m etricos. Proposi c ao 22.5 Um espa co topol ogico (X, ) e do tipo Hausdor se e somente se toda rede em X que for convergente tiver apenas um ponto limite.

Prova. Seja (X, ) e do tipo Hausdor e seja {x }I uma rede em X que converge a a e a b com a = b. Podemos encontrar A contendo a e B contendo b tais que A B = . Mas isso e imposs vel, pois se {x }I converge a a e a b, ent ao {x }I est a eventualmente em A e B , o que contradiz A B = . Vamos agora supor que o espa co topol ogico (X, ) tem a propriedade que toda rede em X que for convergente tem apenas um ponto limite. Se (X, ) n ao e do tipo Hausdor ent ao existem a e b, elementos distintos de X , tais que cada elemento de Ia tem intersec ca o n ao-vazia com cada elemento de Ib . Ent ao, para cada par (A, B ) com A Ia e B Ib podemos escolher um elemento em x(A, B ) A B a com isso, construir uma aplica ca o Ia Ib X . Gostar amos agora de identicar uma rela ca o de ordem parcial que fa ca de Ia Ib um conjunto dirigido. Essa rela ca o e a seguinte: (A, B ) (A , B ) se A B A B . E. 22.15 Exerc cio. Verique que isso faz de Ia Ib um conjunto dirigido. Para tal, constate que se a = (A, B ) e b = (C, D ) Ia Ib , ent ao c = (A C, B D ) Ia Ib e valem a c e b c.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 22

1038/1355

Note agora que se A Ia ent ao x(A, B ) A B A e se (A , B ) (A, B ) ent ao x(A , B ) A B A B A. Isso signica que a rede {x(A, B ) , (A, B ) Ia Ib } est a eventualmente em A. Como isso vale para todo A Ia , ent ao a rede {x(A, B ) , (A, B ) Ia Ib } converge a a. Mutatis mutantis, constata-se analogamente que a rede {x(A, B ) , (A, B ) Ia Ib } converge a b. Como a = b, isso contradiz a hip otese e, portanto, (X, ) e do tipo Hausdor. A no ca o de rede e tamb em importante por permitir uma caracteriza ca o do conceito de continuidade de fun co es em espa cos topol ogicos. Trataremos disso na Se ca o 23.2.1 e a ` p agina 1045.

22.4.1

Redes em Espa cos M etricos

Seja M um conjunto dotado de uma m etrica d e seja I um conjunto dirigido com respeito a uma rela ca o de ordem parcial . Uma rede f : I M e dita ser uma rede de Cauchy em rela ca o a ` m etrica d se para todo > 0 existir um n( ) I (possivelmente dependente de ) tal que d(f (i), f (j )) < para todos i e j tais que i n( ) e j n( ). bastante claro que essa deni E ca o generaliza a no ca o de seq u encia de Cauchy encontrada a ` p agina ca o de ordem usual. 884. Naquele caso o conjunto dirigido e o conjunto dos naturais com a rela

Lembremos que um conjunto M dotado de uma m etrica d e dito ser completo (ou seq u encialmente completo) em rela ca o a essa m etrica se vale a arma ca o que uma seq u encia converge em M se e somente ser for uma seq u encia de Cauchy. Para entendermos a rela ca o entre as no co es de seq u encias de Cauchy e redes de Cauchy em espa cos m etricos completos a seguinte proposi ca o e essencial. Proposi c ao 22.6 Seja M completo em rela ca o a ` m etrica d, ou seja, tal que uma seq u encia converge em M se e somente ser for uma seq u encia de Cauchy. Ent ao vale a arma ca o que uma rede converge em M se e somente ser for uma rede de Cauchy.

Prova. Se uma rede f : I M e convergente, ent ao existe m M tal que para todo > 0 existe n( ) I tal que d(f (i), m) < para todo i I com a propridade i n( ). Assim, se i e j I s ao tais que i n( ) e j n( ), vale pela desigualdade triangular d(f (i), f (j )) d(f (i), m) + d(m, f (j )) + , o que prova que f e uma rede de Cauchy. Provemos agora a rec proca. Seja f : I M uma rede de Cauchy. Ent ao para todo k , k > 0, existe n(1/k ) I tal que d(f (i), f (j )) 1/k para todos i e j tais que i n(1/k ) e j n(1/k ). Seja denido z1 := n(1) e escolhamos indutivamente para cada k , k 2, um elemento zk I tal que claro que zk zk1 e zk n(1/k ). E

z1 Logo,

z2

z3

z4 n(1/k )

zk

com n(1/k ) zk+1 zk+2

zk para todo k

e uma seq u encia de Assim, para todos n > m > k vale d(f (zm ), f (zn )) < 1/k . Portanto, {f (zl ), l } Cauchy em M e como M e (seq u encialmente) completo, segue que {f (zl ), l } converge a um certo

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 22

1039/1355

elemento m M , o que equivale a dizer que para todo sempre que n > N ( ).

> 0 existe N ( )

tal que d(f (z n ), m) <

Seja agora > 0 xo e escolhamos k de forma que 1/k < . Se i I satisfaz i n(1/k ), vale d(f (i), m) d(f (i), f (zn )) + d(f (zn ), m). Tomando n > max{N ( ), k } teremos d(f (i), f (zn )) < pois i n(1/k ) e zn n(1/k ) e tamb em teremos d(f (zn ), m) < pois n > N ( ). Logo, d(f (i), m) 2 , provando que f converge (a m M ). Isso completa a prova.