Cap tulo 29 Continuidade e Converg encia em Espa cos Topol ogicos

Conte udo
29.1 29.2 29.3 29.4 29.5 Primeiras Deni c oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Espa cos Hausdor . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Redes e o Caso de Espa cos Topol ogicos Gerais . . . . . . . . . . . . . . . . . 29.3.1 Redes em Espa cos M etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . O Limite do Inmo e o Limite do Supremo . . . . . . . . . . . . . . . . . . . Continuidade de Fun c oes em Espa cos Topol ogicos . . . . . . . . . . . . . . . 29.5.1 Outras No c oes Associadas ` a de Continuidade . . . . . . . . . . . . . . . . . . . 29.5.1.1 Homeomorsmos e Mergulhos Topol ogicos . . . . . . . . . . . . . . . . 29.5.2 Outras Caracteriza c oes do Conceito de Continuidade em Espa cos Topol ogicos 29.5.3 Continuidade e Converg encia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1324 1326 1327 . 1330 1330 1334 . 1336 . 1336 . 1338 . 1339

Todo estudante possui uma no ca o mais ou menos clara do conceito usual de continuidade de fun co es reais da reta real. Aqui, vamos estender este conceito a fun co es entre espa cos topol ogicos gerais. A possibilidade de se estender o conceito de continuidade das situa co es mais comuns e familiares, encontradas na topologia usual da reta real, para situa co es mais gerais e, em verdade, uma das principais raz oes pelas quais topologias mais gerais que aquelas produzidas por m etricas s ao denidas e estudadas. Percebeu-se que, tomados os devidos cuidados, muitos dos resultados pass veis de demonstra ca o no caso m etrico estendem-se tamb em para topologias n ao deriv aveis de uma m etrica. Fora isso, aprenderemos, ao elevar o n vel de abstra ca o com que o conceito de continuidade e apresentado, que muitas caracteriza co es distintas, gerais e u teis do mesmo podem ser apresentadas. Uma conseq u encia desse alargamento de horizontes e uma maior facilidade na demonstra ca o de resultados importantes. O leitor interessado na no ca o de continuidade pode passar diretamente ` a Se ca o 29.5, p agina 1334. Sua leitura dispensa a leitura das se co es que lhe precedem exceto, em parte, pela no ca o de rede, a qual pode ser colhida na Se ca o 29.3, p agina 1327.

amos neste cap tulo estudar dois assuntos de grande import ancia no contexto de espa cos topol ogicos, a saber, o conceito geral de converv encia (de seq u encias ou de redes, vide deni co es adiante) e o conceito geral de continuidade de fun co es. O conceito de converg encia foi introduzido anteriormente para o caso especial de seq u encias em espa cos m etricos (vide Cap tulo 24, p agina 1165). Aqui ser a dada particular aten ca o aos espa cos topol ogicos do tipo Hausdor.

29.1

Primeiras Deni co es

e uma fun ca o x : N X . Por vezes estamos interessados em considerar Dado um espa co topol ogico X , uma seq u encia x uma seq u encia apenas atrav es de seu conjunto imagem: Im x = {x(n) X, n 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 e apenas a seq ` u encia x como sendo {x(n) X, n N}, ou denotamo-la por {xn , n N} ou mesmo por {xn } ou at 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 () N tal que d(an , 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 equivau encia lente ` aquela apresentada acima no caso de espa cos m etricos. Comecemos com duas no co es u teis. Seja x uma seq em X e A X . 1324

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1325/2069

a eventualmente em A se existir um natural N N (A) (que pode eventualmente 1. Dizemos que a seq u encia x est 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. 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 ao e necessariamente verdadeira. Por exemplo, a seq u encia de n umeros reais an = (1)n est a freq uentemente no intervalo (0, 2), mas n ao eventualmente.
co es aqui apresentadas estamos fazendo uso do ordenamento usual de N. Para o caso geral vide a Se ca o 29.3, p agina 1327, Nota. Nas deni sobre redes em espa cos topol ogicos.

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 . ca o ` a topologia de X se x est a 1. Um ponto x em X e dito ser um ponto de acumula c ao da seq u encia x em rela 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 a eventualmente em todo aberto A que cont em x. X se x est Note que todo limite e um ponto de acumula ca o, mas a rec proca n ao e verdadeira. E. 29.1 Exerc cio. Mostre que {1, +1} s ao os pontos de acumula c ao da seq u encia xn := (1)n + 1/n, n N, na topologia usual de R. Essa seq u encia tem limites nessa topologia? E a seq u encia xn := 1/n2 , n N? E. 29.2 Exerc cio. Seja uma seq u encia r : N R tal que Im r = Q (tais seq u encias existem pois Q e cont avel). Mostre ao tem limites na que R e o conjunto de todos os pontos de acumula c ao de r na topologia usual de R. Mostre que r n topologia usual de R. u encia do exerc cio anterior, mas agora tome a topologia discreta (R). Mostre que r n ao E. 29.3 Exerc cio. Seja a seq 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. 29.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. O u 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 N tais que xn = x para todo n > N. Seja, ent ao, X um conjunto n ao-enumer avel (R, por exemplo) e seja a topologia co-cont avel1 em X : cc (X ). Ent ao, nenhuma seq u encia que n ao seja eventualmente constante tem limites em X em rela ca o a cc (X ). Isso segue do seguinte. c u encia em X e seja x X um ponto qualquer e seja ainda A := (Im x)c {x} = (Im x {x}c ) . Como Seja x uma seq c Im x {x} e cont avel, ent ao A e aberto em cc (X ) e cont em x. Por em, x n ao est a eventualmente em A se n ao for em eventualmente constante, pois Im x A = Im x {x}. Assim, para qualquer x X podemos achar um aberto que cont x onde x n ao est a eventualmente. Logo, nenhuma seq u encia x tem limites na topologia considerada. Um exemplo ilustrativo e o da seq u encia xn = 1/n, n N, em R. Na topologia co-cont avel cc (R) essa seq u encia n ao converge a zero, ao contr ario do que ocorre na topologia usual, pois o conjunto A := R \ {1/n, n N} e aberto, cont em x = 0, mas n ao cont em nenhum elemento da seq u encia xn .
1A

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

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1326/2069

Em fun ca o de exemplos como esses, h a geralmente 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 29.3.

29.2

Espa cos Hausdor

Vamos neste momento introduzir um conceito que ser a retomado na Se ca o 31.2, p agina 1406, mas que est a intimamente ligado ao discutido acima. Um espa co topol ogico H dotado de uma topologia e dito possuir a propriedade de Hausdor2 se para quaisquer pontos distintos x, y H 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 1255. E. 29.5 Exerc cio. Prove as armativas do ultimo par agrafo. Agora temos a seguinte proposi ca o: Proposi c ao 29.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 Ax Ay . Nem todo espa co Hausdor e m etrico. A topologia de Sorgenfrey3 [S] de R (p agina 1257) e Hausdor (prove isso!) mas n ao e m etrica (vimos isso ` a p agina 1274). Chegamos agora a uma propriedade importante de espa cos Hausdor, sejam eles espa cos m etricos ou n ao. Proposi c ao 29.2 Uma seq u encia em um espa co Hausdor pode ter no m aximo um ponto limite.

co Hausdor H com topologia tenha dois limites distintos x e y . Prova. Suponha que uma seq u encia a em um espa 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 29.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. c ao de todos os subconjuntos de R2 do tipo {(x, y ) R2 , com a < y < b para < E. 29.6 Exerc cio. Seja A a cole a < b < } (fa ca um desenho de um tal conjunto). Seja [A] a topologia gerada por tais conjuntos.
2 Felix 3 Robert

Hausdor (1868-1942). Sorgenfrey (19151996).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1327/2069

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 intersectem. 2. Mostre que a seq u encia xn = (0, 1/n), n N, tem por limite todos os pontos da forma (x, 0) para todo x R. (Na topologia usual de R2 o unico limite dessa seq u encia e o ponto (0, 0)).

29.3

Redes e o Caso de Espa cos Topol ogicos Gerais

Recordemos a deni ca o de conjunto dirigido introduzida ` a p agina 47. Um conjunto I e dito ser um conjunto dirigido se for dotado de uma rela ca o de pr e-ordenamento 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. Como usualmente, denotaremos alternativamente a arma ca o que a b por b a. Seja I um conjunto dirigido com respeito ` a uma rela ca o de pr e-ordenamento . 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 N, 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. A no ca o de rede foi introduzida na Topologia por Moore4 e Smith5 em 19226 . Alguns autores referem-se a redes como seq u encias de Moore-Smith. 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 ` aquelas introduzidas para seq u encias ` a p agina 1324 e seguinte. Sub-redes Seja {x }I uma rede em X . Uma outra rede {y } J em X e dito ser uma sub-rede de {x }I se existir uma fun ca o h : J I tal que 1. y = xh( ) para todo J , 2. para todo I existe 1 J tal que h( ) I para todo J que satisfa c a J 1 . Acima, I e a rela ca o de pr e-ordenamento do conjunto dirigido I e J e a rela ca o de pr e-ordenamento do conjunto dirigido J .
4 Eliakim

Hastings Moore (18621932). Lyle Smith (??). 6 E. H. Moore and H. L. Smith. A General Theory of Limits. American Journal of Mathematics 44 (2), 102121 (1922).
5 Herman

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1328/2069

Uma situa ca o de interesse e aquela na qual J I . Nesse caso podemos tomar h : J I como sendo a identidade h( ) = para todo J e as condi co es acima podem ser fraseadas da seguinte forma: {y } J e uma sub-rede de {x }I se 1. y = x para todo J , 2. para todo I existe 1 J tal que I para todo J que satisfa c a J 1 . Redes e converg encia 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. 29.7 Exerc cio. Prove essa arma e um conjunto dirigido pelo Seja (X, ) um espa co topol ogico, x X e B X . A cole ca o Ix, B := {A B, A Ix } ordenamento parcial denido pela inclus ao de conjuntos . E. 29.8 Exerc cio. Prove essa arma c ao. Esses dois exerc cios nos preparam para as seguintes proposi c oes relevantes. Proposi c ao 29.3 Sejam (X, ) um espa co topol ogico, x X e Ix a cole c ao 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 29.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 .

Sub-redes e pontos de acumula c ao O seguinte teorema relaciona sub-redes e o conjunto de todos os pontos de acumula ca o de uma rede. O mesmo ser a importante na discuss ao da propriedade de Bolzano-Weierstrass de espa cos topol ogicos compactos feita na Se ca o 31.3, p agina 1424. Vide, em particular, o Teorema 31.7, p agina 1430. Teorema 29.1 Seja {x }I uma rede em um espa co topol ogico (X, ). Um ponto x e um ponto de acumula c ao de {x }I se e somente se for ponto limite de uma sub-rede de {x }I . Prova. Para cada x X denotemos por x o conjunto de todos abertos de que cont em x. Se D e um conjunto dirigido denotamos por D a rela ca o de pr e-ordenamento em D. e um ponto de acumula c ao de {x }I ent ao x e ponto limite de uma sub-rede de {x }I . Parte I: se x

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1329/2069

Se x e um ponto de acumula ca o de {x }I , ent ao para todo aberto A x que cont em x vale que {x }I est a freq uentemente em A. Pela deni ca o, isso signica dizer que para todo I existe um A () I com A () e xA () A. Seja J I denido por J := A () A x , I . Estabelecemos em J uma rela ca o de pr e-ordenamento dizendo que A ( ) J A ( ) se A ( ) I A ( ) e A A (deixamos como exerc cio ao estudante mostrar que J e realmente uma rela ca o de pr e-ordenamento). Dados A ( ) e B ( ) J , seja tal que I e I (a exist encia de um tal e garantida pelo fato de I 7 formar um conjunto dirigido por I ). Tem-se que AB ( ) J A ( ) e AB ( ) J B ( ). Isso prova que J forma um conjunto dirigido por J . Portanto, {x } J e uma rede em X . Como J I , tem-se {x } J {x }I . Al em disso, se B ( ) J satisfaz B ( ) J A (), ent ao B ( ) I A () e, como pela deni ca o das fun co es A vale A () I , segue que B ( ) I . Isso provou que {x } J e uma sub-rede de {x }I . ao B A Notemos agora que se A x , ent ao se 0 := A (0 ) para algum 0 xo, tem-se que se B ( ) J 0 , ent e B ( ) I 0 . Como, por constru ca o xB ( ) B A, conclu mos que a sub-rede {x } J est a eventualmente em A. Como essa arma ca o vale para todo A x , isso provou que essa sub-rede converge a x. Parte II: se x e ponto limite de uma sub-rede de {x }I , ent ao x e um ponto de acumula c ao de {x }I . Vamos agora supor que x e ponto limite de alguma sub-rede {y } J de {x }I . Ent ao, para A x existe 0 J tal que y A para todo J 0 . Como {y } J e uma sub-rede de {x }I , existe para cada I um 1 J tal que h( ) I para todo J com J 1 (para a deni ca o de h, vide a deni ca o de sub-rede ` a p agina 1327). Fixemos I . Como J e um conjunto dirigido por J , existe J tal que (a): J 1 e (b): J 0 . Logo, por (a), h( ) I e, por (b), y A. ca o de sub-rede ` a p agina 1327), conclu mos que para cada I existe Lembrando que y = xh( ) (vide deni e precisamente a arma ca o que a rede {x }I est a freq uentemente = h( ) I com I e x A. Ora, isso em A. Como essa arma ca o vale para todo A x conclu mos que a rede {x }I acumula-se em x. Isso completa a demonstra ca o. Redes e espa cos Hausdor 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 29.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.

e um espa co topol ogico Hausdor, denotamos por lim x o limite de uma rede I x X , se o Nota c ao. Se X mesmo existir. Prova da Proposi c ao 29.5. Seja (X, ) um espa co topol ogico 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 pr e-ordenamento que fa ca de Ia Ib um conjunto dirigido. Essa rela ca o e a seguinte: (A, B ) (A , B ) se A A e B B . E. 29.9 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.
7 Lembrar

que se A x e B x ent ao A B x e e n ao-vazio, pois x pertence a A e a B e ambos s ao abertos.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1330/2069

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 mutandis, 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 29.5.3 e ` a p agina 1340.

29.3.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 pr eordenamento . 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 1170. Naquele caso o conjunto dirigido e o conjunto dos naturais N com a rela ca o de ordem usual. Lembremos que um conjunto M dotado de uma m etrica d e dito ser completo (ou seq uencialmente completo) em u encia de 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 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 29.6 Seja M completo em rela c ao ` 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 c ao 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 N, 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 claro que indutivamente para cada k N, k 2, um elemento zk I tal que zk zk1 e zk n(1/k ). E z1 z2 z3 z4 Logo, n(1/k ) zk zk+1 zk+2 . Assim, para todos n > m > k vale d(f (zm ), f (zn )) < 1/k . Portanto, {f (zl ), l N} e uma seq u encia de Cauchy em M e como M e (seq uencialmente) completo, segue que {f (zl ), l N} converge a um certo elemento m M , o que equivale a dizer que para todo > 0 existe N () N tal que d(f (zn ), m) < sempre que n > N (). Seja agora > 0 xo e escolhamos k N 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. com n(1/k ) zk para todo k N .

29.4

O Limite do Inmo e o Limite do Supremo

Seja I um conjunto dirigido e : I R uma fun ca o de I em R. Denotaremos por i o valor de no ponto i I . Dene-se o limite do nmo da fun ca o como sendo lim inf := sup inf k ,
I nI kn

(29.1)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1331/2069

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

inf

k , k n, k I

, nI

(29.2)

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

(29.3)

ou, lim sup := inf

I

sup

k , k n, k I

, nI

(29.4)

As deni co es acima indicam que tanto o limite do supremo quanto o do nmo dependem da pr e-ordenamento 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 . (29.5)
I I

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

(29.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 j . 2. J e um conjunto dirigido pela mesma rela ca o de pr e-ordenamento . 3. Para todo j J vale que se k j ent ao k J . Ent ao, vale que lim inf = lim inf
J I

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 c ao 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
I

max {, } ,

onde

(29.7)

:=

sup

inf

k , k n, k I

, n I0

:=

sup

inf

k , k n, k I

, nJ

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1332/2069

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 j (i0 ), k I ak , k i0 , k I e, assim, inf Dado que sup inf k , k j, k I , jJ inf k , k j (i0 ), k I ak , k j (i0 ), k I inf ak , k i 0 , k I .

segue que para cada i0 I0 xo sup Assim, sup inf k , k j, k I , jJ sup inf k , k n, k I , n I0 . inf k , k j, k I , jJ inf ak , k i 0 , k I .

Como lim inf I e o m aximo entre os elementos de cada lado da u ltima desigualdade (veja (29.7)), provou-se que lim inf = sup
I

inf

k , k n, k I

, nJ

Claramente, para cada n J , k , k n, k I = k , k n, k J , pois se k 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
I

inf

k , k n, k J

, nJ

= lim inf .
J

Limite do supremo e limite do nmo 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 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 . Advert encia Seja I como antes um conjunto dirigido e seja uma fun ca o : I R. Denotemos por Im() a imagem de . Adotemos em R a topologia usual R e o ordenamento usual. ent E ao tentador fazermos a seguinte pergunta: ser a verdade que lim inf I = lim inf R Im() e que lim supI = lim supR Im()? A resposta pode ser sim ou n ao dependendo do tipo de ordenamento adotado em I . Vejamos os seguintes exemplos.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1333/2069

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

Exemplo 1. Adotemos I = N e em N adotemos o ordenamento usual. Tomemos como fun ca o a seq u encia denida da seguinte forma 1 1/n, para n par := . n 1 + 1/n, para n mpar lim sup Im() = 1 .

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

N

lim sup = 1 .
N

E. 29.10 Exerc cio. Verique isso. Exemplo 2. Adotemos X = N e em N adotemos o seguinte pr e-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 pr e-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
R

lim sup Im() = 1 .

R

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

lim sup = 1 .
N,

E. 29.11 Exerc cio. Verique isso. Mais sobre o limite do supremo e sobre o limite do nmo 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 R uma seq u encia. Adotamos em R a topologia usual e o ordenamento usual. 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 N. 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 29.3 sobre redes. u encia cn = sen (1/n), n = 1, 2, 3, . . .. Determine seus pontos de acumula c ao, lim sup cn E. 29.12 Exerc cio. Seja a seq e lim inf cn . E. 29.13 Exerc cio. Sejam cn e dn duas seq u encias limitadas de n umeros reais. Mostre as seguintes desigualdades.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1334/2069

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

n n n

2. lim sup(cn dn )
n

lim sup cn
n

lim sup dn .
n

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

n n n

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

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. E. 29.14 Exerc cio. Seja an uma seq u encia de n umeros reais. Mostre que lim sup(an ) = lim inf an .
n n

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

lim inf cn lim inf dn .

n n

29.5

Continuidade de Fun co es em Espa cos Topol ogicos

Nesta se ca o apresentaremos diversas deni co es do conceito de continuidade de fun co es em espa cos topol ogicos, discutiremos a equival encia dessas deni co es e estudaremos suas conseq u encias. Como j a dissemos, a possibilidade de denir a no ca o de continuidade de fun co es entre espa cos topol ogicos e parte da raz ao de ser da pr opria no ca o de topologia. Vamos a uma deni ca o de continuidade, que chamaremos de deni ca o de continuidade n umero 1. DC 1. Sejam M e N dois conjuntos n ao-vazios, o primeiro dotado de uma topologia M e o segundo de uma topologia c ao ` as topologias M e N se f 1 (A) M para N . Uma fun c ao f : M N e dita ser uma fun c ao cont nua em rela todo aberto A de N . Em outras palavras, uma fun ca o e dita ser cont nua se a imagem inversa de qualquer conjunto aberto na topologia do seu contradom nio for igualmente um conjunto aberto na topologia do conjunto dom nio. A seguinte arma ca o e uma conseq u encia imediata da deni c ao acima. Proposi c ao 29.7 Sejam M1 , M2 e M3 espa cos topol ogicos com topologias M1 , M2 e M3 , respectivamente. Seja nua em rela c ao ` as topologias M2 e f : M1 M2 , cont nua em rela c ao ` as topologias M1 e M2 , e g : M2 M3 , cont ao g f : M1 M3 e cont nua em rela c ao ` as topologias M1 e M3 . M3 . Ent Prova. Exerc cio. Uma s erie de quest oes v em ` a mente de qualquer estudante que se depara com a deni ca o acima pela primeira vez. Por exemplo, as seguintes: 1) No caso de fun co es reais denidas na reta real o que a deni ca o acima tem a ver com a no ca o de continuidade t ao bem conhecida e ensinada? 2) Na deni ca o acima, o conceito de continuidade parece ser

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1335/2069

fortemente dependente das topologias M e N escolhidas no dom nio e na imagem da fun ca o. Pode acontecer de uma estranho que na deni fun ca o dada ser cont nua em rela ca o a algumas topologias mas n ao em rela ca o a outras? 3) E ca o acima a no ca o de continuidade seja apresentada em termos de uma propriedade da imagem inversa f 1 da fun ca o f . Isso tem mesmo que ser assim? 4) Ser a poss vel caracterizar a propriedade de continuidade diretamente em termos de propriedades da f ? Essas quest oes s ao muito pertinentes e ser ao respondidas uma a uma no que segue. Fazemos notar que, na deni ca o nova de continuidade que apresentamos acima, as topologias M e N s ao gen ericas, n ao necessitando ser, por exemplo, topologias m etricas em M ou N , respectivamente. Vamos, por em, discutir agora o caso tradicional em que M e N s ao iguais ` a reta real dotada da topologia m etrica usual R . A no c ao usual de continuidade em espa cos m etricos Seja f : R R uma fun ca o. A no ca o usual de continuidade diz que f e cont nua em R se e somente se para todo x R e para todo n umero > 0 existir um n umero = (x, ) > 0 (eventualmente dependente de x e ) tal que, sempre que para algum y tivermos |y x| < (x, ) ent ao |f (y ) f (x)| < . Essa deni ca o pode ser facilmente generalizada para o caso de espa cos m etricos gerais. DCEM 1. Sejam M e N dois conjuntos n ao-vazios dotados de m etricas dM e dN , respectivamente. Uma fun c ao f : M N e dita ser cont nua (no sentido usual) em rela c ao ` as m etricas dM e dN se para todo x M e para todo ao f (y ) BdN (f (x), ). n umero > 0 existir um n umero (x, ) > 0 tal que se y BdM (x, (x, )) ent Acima, Bd (a, r) e a bola aberta de raio r centrada em torno de a segundo a m etrica d. Vejamos um exemplo de uma fun ca o real que n ao e cont nua segundo a deni ca o acima. Seja a fun ca o 1, se t 0 , H (t) := 0, se t < 0 .

(29.8)

Ent ao, para x = 0 e para = 1/10 (por exemplo) n ao e poss vel achar um n umero tal que se |y x| = |y | < tenhamos |H (y ) H (x)| = |H (y ) 1| < 1/10. A raz ao e que para qualquer y 0 temos |H (y ) 1| = 0 que e menor que 1/10, mas para qualquer y < 0 temos |H (y ) 1| = 1 que, obviamente, e sempre maior que 1/10. E. 29.16 Exerc cio. Seja a fun c ao g (t) = t2 . Mostre explicitamente que g e cont nua pela deni c ao acima. Como pode ser (x, ) como fun c ao de x e nesse caso? As linhas acima recordam-nos a deni ca o usual de continuidade de fun co es denidas em R, tal como aprendida nos cursos iniciais de C alculo. Qual a conex ao com a nova no ca o de continuidade DC 1 que apresentamos acima? Vamos esclarecer este ponto agora, provando que as duas deni co es s ao equivalentes. Seja uma fun ca o f : M N tal que f 1 (A) e um aberto em M para todo A N . Sejam um ponto x no dom nio oteses, o conjunto f 1 (A) da f e f (x) sua imagem. Seja A = BdN (f (x), ) (com > 0) um aberto em N . Pelas hip e um aberto em M que deve conter o ponto x (pois f (x) A). Deve, portanto, haver uma bola aberta BdM (x, ), centrada em x e de raio de = (x, ) > 0 (em geral, o raio deve depender de A e, portanto, de x e ) inteiramente contida no aberto f 1 (A). Como BdM (x, ) f 1 (A), segue que f BdM (x, ) A = BdN (f (x), ). Isso, nalmente, e exatamente a arma ca o que f e cont nua no sentido da deni ca o DCEM 1. Vamos agora supor que f seja uma fun ca o cont nua no sentido da deni ca o DCEM 1 e provar que ela tamb em e cont nua no sentido da deni ca o DC 1. Isso, junto com o visto no u ltimo par agrafo, mostra que as duas no co es s ao equivalentes. Seja A N um aberto qualquer em N e vamos supor, sem perder a generalidade, que A cont em elementos da imagem e aberto de f . Seja x f 1 (A). Seja, para algum > 0, BdN (f (x), ) a bola aberta de raio centrada em f (x). Como A otese que f e e f (x) A, teremos BdN (f (x), ) A se escolhermos pequeno o suciente (ainda com > 0). Pela hip ao f (y ) BdN (f (x), ) A. cont nua no sentido da deni ca o DCEM 1, existe (x, ) tal que se y BdM (x, (x, )) ent Logo, y f 1 (A). Mas isso signica dizer que para todo x f 1 (A) somos capazes de identicar um raio = (x, ) (para o escolhido) tal que todo elemento que dista de x menos que e tamb em elemento do conjunto f 1 (A). Isso 1 e armar que f (A) e um conjunto aberto, pela pr opria deni ca o de conjuntos abertos na topologia m etrica de dM , provando a validade das condi co es da deni ca o DC 1.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1336/2069

Isso provou a equival encia que quer amos estabelecer e, para o caso de fun co es na reta real com a topologia R usual, respondeu a pergunta 1) acima.

29.5.1

Outras No c oes Associadas ` a de Continuidade

Al em da no ca o de continuidade de fun co es entre espa cos m etricos estabelecida acima existe tamb em a no ca o de continuidade uniforme. Sobre ela falaremos com mais detalhe ` a p agina 1438. Fun co es Lipschitz-cont nuas em espa cos m etricos J a nos encontramos anteriormente, por exemplo, no Cap tulo 25, p agina 1220, com a no ca o de fun ca o Lipschitz8 cont nua, ao menos no caso de fun co es reais. Essa no ca o pode ser facilmente generalizada para fun co es entre espa cos m etricos gerais. ao-vazios dotados de m etricas dM e dN , respectivamente. Uma fun c ao Deni c ao. Sejam M e N dois conjuntos n f : M N e dita ser Lipschitz-cont nua em rela c ao ` as m etricas dM e dN se existir uma constante L 0 tal que dN f (x), f (y ) para todos x, y M . A condi ca o (29.9) e denominada condi c ao de Lipschitz e uma constante L que a fa ca verdadeira e denominada elementar provar que toda fun constante de Lipschitz para a fun ca o f . E ca o Lipschitz-cont nua e cont nua no sentido usual, caracterizado pela deni ca o DCEM 1. E. 29.17 Exerc cio. Prove isso! Continuidade por partes Uma outra no ca o importante e a de continuidade por partes. ao-vazios e dotados de topologias M e N , respectivamente. Uma fun ca o f : M N e dita Deni c ao. Sejam M e N n ser uma fun ca o cont nua por partes em rela ca o ` as topologias M e N se existir um conjunto nito de abertos disjuntos
m

L dM (x, y ) ,

(29.9)

A1 , . . . , Am em M satisfazendo M =
k=1

Ak e tais que:

1. Para todo k vale que (f Ak ) : Ak N , a restri ca o de f ao aberto Ak , e cont nua, em rela ca o ` a topologia induzida por M sobre Ak e em rela ca o ` a N . 2. Para todo k existe uma extens ao de f Ak sobre o fechado Ak a qual e cont nua em rela ca o ` a topologia induzida por M sobre Ak e em rela ca o ` a N . Alguns autores permitem enfraquecer a condi ca o de que a cole ca o de abertos Ak seja nita, permitindo que seja cont avel.

29.5.1.1

Homeomorsmos e Mergulhos Topol ogicos

Duas no co es de grande import ancia no estudo de espa cos topol ogicos s ao a de homeomorsmo e a de mergulho topol ogico. Sejam (X, X ) e (Y, Y ) dois espa cos topol ogicos. Uma fun ca o f : X Y e dita ser um homeomorsmo entre (X, X ) e (Y, Y ) se for cont nua, bijetora e sua inversa tamb em for cont nua. Uma fun ca o f : X Y e dita ser um mergulho topol ogico, ou simplesmente um mergulho, de (X, X ) em (Y, Y ) se f for um homeomorsmo entre X e sua imagem f (X ) (adotando neste conjunto a topologia relativa de Y ).
8 Rudolf

Otto Sigismund Lipschitz (1832-1903).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1337/2069

Dizemos que dois espa cos topol ogicos (X, X ) e (Y, Y ) s ao espa cos homeomorfos se existir um homeomorsmo f : X Y . Dizemos que o espa co topol ogico (X, X ) e mergulh avel no espa co topol ogico (Y, Y ) se existir um mergulho topol ogico f : X Y . Denotamos simbolicamente o fato de (X, X ) e (Y, Y ) serem homeomorfos por (X, X ) (Y, Y ) (ou simplesmente por X Y , quando as topologias forem subentendidas). As no co es de homeomorsmo e de mergulho topol ogico desempenham um papel importante na Topologia Diferencial e na Geometria Diferencial. A no ca o de homeomorsmo e importante na Topologia em geral devido ` as seguintes observa co es. claro que todo espa tamb E co topol ogico satisfaz (X, X ) (X, X ) (adote-se a fun ca o identidade). E em claro que se (X, X ) (Y, Y ), ent ao (Y, Y ) (X, X ) (pois se f : X Y e um homeomorsmo ent ao sua inversa f 1 : Y X tamb em e um homeomorsmo). Por m, se (X, X ), (Y, Y ) e (Z, Z ) s ao espa cos topol ogicos e f : X Y e g : Y Z s ao homeomorsmos, ent ao g f : X Z e um homeomorsmo, o que nos diz que se (X, X ) (Y, Y ) e (Y, Y ) (Z, Z ) ent ao (X, X ) (Z, Z ). O constatado acima permite entender o fato de dois espa cos topol ogicos serem homeomorfos como uma esp ecie de rela ca o de equival encia, no ca o que introduzimos na Se ca o 1.1.1.3, p agina 39. Estritamente falando, por em, n ao se trata de rela co es de equival encia usuais pois, devido a certas obstru co es l ogicas presentes na Teoria dos Conjuntos, n ao faz sentido falar no conjunto de todos os espa cos topol ogicos e, portanto, n ao podemos falar em rela co es de equival encia no sentido usual entre tais objetos. O quadro onde essa no ca o pode ser inserida, por em, e a Teoria das Categorias, mas por ora n ao iremos nos estender nesses coment arios. A id eia que homeomorsmos induzem rela co es de equival encia entre espa cos topol ogicos e, por em, moralmente v alida e podemos pensar em classicar espa cos topol ogicos (e suas propriedades) de acordo com classes de homeomora. Esse e o principal objetivo de certas areas da Topologia, como por exemplo a Topologia Alg ebrica. Remetemos o estudante interessado aos bons livros para uma continua ca o da discuss ao sobre esse importante tema. A inclus ao como um mergulho topol ogico Sejam X e Y dois conjuntos n ao-vazios com Y X . A fun ca o i iY, X : Y X denida por i(y ) := y para todo y Y, e denominada inclus ao de Y em X , ou fun c ao inclus ao de Y em X . evidente que a imagem de Y por iY, X E e o pr oprio conjunto Y : iY, X (Y ) = Y e que iY, X e uma bije ca o de Y em 1 1 tamb (y ) = y . :Y Y e dada por iY, X sua imagem. E em trivial que iY, X Seja (X, X ) um espa co topol ogico e seja Y X , n ao-vazio. Seja I a topologia induzida em Y por X , a qual consiste, recordando, na cole ca o de todos os conjuntos da forma A Y com A X . Temos o seguinte fato, que listamos na forma de uma proposi ca o para futura refer encia: Proposi c ao 29.8 Sejam (X, X ) e (Y, Y ) dois espa cos topol ogicos, sendo que Y X (assumimos X e Y n ao-vazios). Ent ao, a fun c ao inclus ao iY, X : Y X e um mergulho topol ogico de (Y, Y ) em (X, X ) se e somente se Y for a topologia induzida em Y pela topologia X . Prova. J a vimos que iY, X : Y X e uma bije ca o em sua imagem e que iY, X (Y ) = Y . J a que iY, X (A) = A e iY, X (A) = A para todo A Y e iY, X (Y ) = Y , ent ao, se Y = I , a inclus ao iY, X ser a evidentemente um homeomorsmo entre (Y, Y ) e iY, X (Y ), I = (Y, I ). Como iY, X (Y ) = Y , isso signica que iY, X e um mergulho topol ogico de (X, X ) e (Y, Y ). Vamos agora supor que iY, X seja um mergulho topol ogico de (Y, Y ) em (X, X ). Ent ao, por deni ca o, iY, X e um homeomorsmo entre (Y, Y ) e (Y, I ) (pois iY, X (Y ) = Y ). Como iY, X e cont nua, valer a para todo A I que 1 1 1 iY, X (A) Y . Como iY, X (A) = A, isso implica que A Y , mostrando que I Y . Como iY, X e cont nua, valer a para todo A Y que iY, X (A) I . Como iY, X (A) = A, isso implica que A I , mostrando que Y I . Isso demonstrou que Y = I .
1

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1338/2069

29.5.2

Outras Caracteriza c oes do Conceito de Continuidade em Espa cos Topol ogicos

A caracteriza ca o DC 1 do conceito de continuidade de uma fun ca o entre dois espa cos topol ogicos que apresentamos no in cio da sub-se ca o anterior e equivalente a uma s erie de outras caracteriza co es que discutiremos agora, as quais podem, eventualmente, ser mais u teis que a descrita acima. Vamos a uma outra deni ca o de continuidade, que chamaremos de deni ca o de continuidade n umero 2. DC 2. Sejam M e N dois conjuntos n ao-vazios, o primeiro dotado de uma topologia M e o segundo de uma topologia N . Uma fun c ao f : M N e dita ser uma fun c ao cont nua em rela c ao ` as topologias M e N se f 1 (F ) for um conjunto fechado para a topologia M para todo conjunto fechado F segundo N . Em outras palavras, uma fun ca o e dita ser cont nua se a imagem inversa de qualquer conjunto fechado na topologia do conjunto imagem for igualmente um conjunto fechado na topologia do conjunto dom nio. Desejamos provar a equival encia das deni co es DC 1 e DC 2. Para tal, notemos que, para qualquer conjunto C N , vale f 1 (C ) = f 1 (C c )c , ou seja, f 1 (C ) = M \ f 1 (N \ C ) . E. 29.18 Exerc cio (f acil). Demonstre essa rela c ao. Com essa rela ca o em m aos ca f acil provar que se f for cont nua segundo DC 1 ent ao a imagem inversa de qualquer conjunto C fechado em N e fechado em M . Mutatis mutandis, se f e cont nua segundo DC 2 ent ao a imagem inversa de qualquer aberto C em N e aberto em M . Isso estabelece que as duas deni co es s ao equivalentes. Vamos agora a uma terceira deni ca o de continuidade que ser au til quando tratarmos do conceito de continuidade em espa cos m etricos. DC 3. Sejam M e N dois conjuntos n ao-vazios, o primeiro dotado de uma topologia M e o segundo de uma topologia c ao ` as topologias M e N se f D f (D) para N . Uma fun c ao f : M N e dita ser uma fun c ao cont nua em rela todo conjunto D M . Aqui, D e o fecho de D na topologia M e f (D) e o fecho de f (D) na topologia N . Note-se aqui dois fatos: 1) nesta nova deni ca o a continuidade e caracterizada em termos de propriedades das imagens da fun ca o f e n ao em termos das suas imagens inversas; 2) acima D e um conjunto qualquer de M , n ao apenas um aberto ou um fechado. Vamos provar agora que a deni ca o DC 3 e equivalente ` a deni ca o DC 2 (e, portanto, ` a deni ca o DC 1). Para tal, usaremos o fato (vide (1.12), p agina 34) que para A M e B N ent ao f (f 1 (B )) B e f 1 (f (A)) A. Usaremos tamb em que se A M e B N s ao tais que f (A) B , ent ao f 1 (B ) A. Seja ent ao f cont nua segundo DC 3 e seja F N , fechado. Teremos que f f 1 (F ) ou seja, f f 1 (F ) Logo, f 1 (F ) f 1 (F ) . eo Como um conjunto qualquer e sempre subconjunto e seu fecho, essa u ltima rela ca o diz que f 1 (F ) = f 1 (F ), que 1 mesmo que dizer que f (F ) e fechado. Assim, se f e cont nua segundo DC 3 e tamb em segundo DC 2. Seja agora f cont nua segundo DC 2. E seja D M , qualquer. Tomando Y = f (D), vimos acima que f f 1 f (D) Agora, D f 1 (f (D)) f 1 f (D) . f (D) . (29.10) F . f (f 1 (F )) F = F ,

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1339/2069

Mas f 1 f (D) e fechado, pois f e cont nua segundo DC 2 e f (D) e fechado. Assim, D f 1 f (D) , pois D eo menor fechado que cont em D. Disso segue que f D f f 1 f (D) f D f (D), provando a equival encia desejada. Continuidade em um ponto. Continuidade em termos de vizinhan cas Vamos a mais uma caracteriza ca o u til da no ca o de continuidade, dessa vez em termos da no ca o de vizinhan ca, introduzida ` a p agina 1252. Vamos antes denir o que se entente por continuidade de uma fun ca o em um ponto. Continuidade em um ponto. Sejam M e N dois conjuntos n ao-vazios, o primeiro dotado de uma topologia M e o segundo de uma topologia N . Seja x M . Uma fun c ao f : M N e dita ser uma fun c ao cont nua em x se para toda vizinhan ca Vf (x) N de f (x) o conjunto f 1 (Vf (x) ) M for uma vizinhan ca de x. A seguinte deni ca o da no ca o de continudade de fun co es entre espa cos topol ogicos e equivalente ` as anteriormente apresentadas. DC 4. Sejam M e N dois conjuntos n ao-vazios, o primeiro dotado de uma topologia M e o segundo de uma topologia c ao ` as topologias M e N se for cont nua em todo N . Uma fun c ao f : M N e dita ser uma fun c ao cont nua em rela x M (no sentido da deni c ao de acima). Vamos estabelecer a equival encia dessa deni ca o com a deni ca o DC 1. Suponha f : M N cont nua segundo DC 1. Seja x M e seja Vf (x) uma vizinhan ca de f (x) em N . Ent ao existe um aberto A N tal que f (x) A Vf (x) . Mas isso implica que, x f 1 (A) f 1 (Vf (x) ). Como por hip otese f 1 (A) M , provamos que f 1 (Vf (x) ) e uma vizinhan ca de x. Como x M e arbitr ario, provou-se que f e cont nua em todo x M . Vamos estabelecer a rec proca, supondo agora que f : M N seja cont nua em todo x M . Seja A N . Se f 1 (A) = n ao h a o que provarmos. Seja ent ao f 1 (A) = e seja x f 1 (A). Claramente A e uma vizinhan ca de f (x). Logo, f 1 (A) e uma vizinhan ca de x, por hip otese. Assim, existe Bx M tal que x Bx f 1 (A). Ora, essa arma ca o e v alida para cada x f 1 (A). Assim, provamos que f 1 (A) = {x}
x f 1 ( A ) x f 1 ( A )

. Juntando-se isso ` a (29.10), conclu mos que

Bx
x f 1 ( A )

f 1 (A) = f 1 (A) .

e um M -aberto, por ser uma uni ao de abertos. Como A e um aberto Isso provou que f 1 (A) = xf 1 (A) Bx , que arbitr ario de N , estabelecemos que f e cont nua no sentido da deni ca o DC 1.

29.5.3

Continuidade e Converg encia

Continuidade e converg encia em espa cos m etricos Vamos agora tratar de mais uma caracteriza ca o do conceito de continuidade de fun co es, caracteriza ca o esta especializada ao caso de fun co es entre espa cos m etricos. Uma primeira deni ca o do conceito de continuidade de fun co es entre espa cos m etricos e a deni ca o DCEM 1, que encontra-se ` a p agina 1335. O ponto importante da caracteriza ca o que aqui descreveremos e que a mesma trata a no ca o de continuidade em termos de converg encia de seq u encias, sendo por isso de especial import ancia pr atica. Temos a seguinte deni ca o: DCEM 2. Sejam M e N dois conjuntos n ao-vazios dotados de m etricas dM e dN , respectivamente. Sejam dM e dN as topologias induzidas por essas m etricas em M e N , respectivamente. Uma fun c ao f : M N e cont nua em rela c ao as m ` etricas dM e dN se para todo x M e para toda seq u encia {xn , n N} que converge a x em rela c ao ` a m etrica dM tivermos f (x) = lim f (xn ) ,
n

ou seja, f
n

lim xn

= lim f (xn ) ,
n

onde a converg encia de f (xn ) se d a em rela c ao ` a m etrica dN .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 29

1340/2069

as deni co es Vamos mostrar que esta u ltima deni ca o de continuidade e, no caso de espa cos m etricos, equivalente ` DC 1, 2 e 3. No caso de espa cos topol ogicos n ao-m etricos tal equival encia pode n ao ser v alida. Lembramos o coment ario que zemos na Se ca o 29.1 que h a espa cos topol ogicos n ao-m etricos nos quais nenhuma seq u encia e convergente, fora as seq u encias eventualmente constantes. Um exemplo e o de um conjunto X n ao cont avel dotado da topologia co-cont avel. Essa e a raiz da diculdade em se estender a deni ca o DCEM 2 para espa cos topol ogicos n ao-m etricos. Prova da equival encia. Vamos supor que f seja cont nua segundo DCEM 2 e provar que f e ent ao cont nua segundo DC 3. Seja D M gen erico e n ao-vazio e seja x D (o caso D = e trivial). Ent ao, como M e um espa co m etrico existe uma seq u encia xn D que converge a x. Pelas hip oteses ent ao, f (x) = lim f (xn ). Como x pode ser qualquer
n

ao elementos do conjunto f (D), isso signica que f D f (D), o que prova elemento de D e como os pontos f (xn ) s que f e cont nua segundo DC 3. Vamos agora supor f cont nua segundo DC 1 e vamos mostrar que ela ent ao o e segundo DCEM 2. Suponha que para x M haja uma seq u encia xn em M convergindo a x segundo dM e suponha que f (xn ) n ao converge a f (x). Ent ao existe um aberto A de N contendo f (x) e tal que f (xn ) n ao est a eventualmente em A. Isso signica que xn n ao est a eventualmente em f 1 (A) (por que?). Como pelas hip oteses f 1 (A) e um aberto e x f 1 (A) (por que?), isso diz que xn n ao converge a x, uma contradi ca o. Logo lim f (xn ) = f (x) e a equival encia est a provada.
n

E. 29.19 Exerc cio. Seja a fun c ao H denida em (29.8). Adotando a topologia usual de R tanto na imagem quanto no dom nio de H , exiba seq u encias xn em R convergindo a x = 0 tais que lim H (xn ) = H (0).
n

Continuidade e converg encia em espa cos topol ogicos gerais Como observamos acima, a deni ca o de continuidade DCEM 2 n ao pode ser diretamente transposta a espa cos topol ogicos gerais, pois nesses casos ocorrem diculdades especiais concernentes ` a converg encia de seq u encias. Como aprendemos e discutimos na Se ca o 29.3, p agina 1327, essas diculdades podem ser superadas com o emprego da no ca o mais geral de rede, como alternativa ` as seq u encias. De fato, e poss vel apresentar mais uma deni ca o do conceito de continuidade, equivalente ` as anteriores, nas mesmas linhas de DCEM 2, mas com a no ca o de rede substituindo a de seq u encia. Para uma melhor compreens ao do que segue, recomendamos uma re-leitura da Se ca o 29.3, p agina 1327. Temos a seguinte deni ca o: DC 5. Sejam M e N dois conjuntos n ao-vazios, o primeiro dotado de uma topologia M e o segundo de uma topologia N . Uma fun c ao f : M N e dita ser uma fun c ao cont nua em rela c ao ` as topologias M e N se para todo x M e para toda rede {x , I } em M que tem x como ponto limite na topologia M , a rede {f (x ), I } em N tiver f (x) como ponto limite na topologia N . Note que, acima, as redes {x , I } e {f (x ), I } podem tem outros pontos limite al em de x e f (x), respectivamente, pois M e N n ao s ao necessariamente do tipo Hausdor nas suas respectivas topologias. Vamos mostrar que esta u ltima deni ca o de continuidade equivale ` as deni co es DC 1, 2 e 3. Prova da equival encia. Vamos supor que f seja cont nua segundo DC 5 e provar que f e ent ao cont nua segundo e trivial). Ent ao, pela Proposi ca o 29.4, p agina DC 3. Seja D M gen erico e n ao-vazio e seja x D (o caso D = 1328, existe uma rede {x , I } em D tem x como ponto limite em M . Pelas hip oteses ent ao, f (x) e ponto limite de ao elementos do conjunto {f (x ), I } em N . Como x pode ser qualquer elemento de D e como os pontos f (x ) s f (D), isso signica, tamb em pela Proposi ca o 29.4, p agina 1328, que f D f (D), o que prova que f e cont nua segundo DC 3. Vamos agora supor f cont nua segundo DC 1 e vamos mostrar que ela, ent ao, o e segundo DC 5. Suponha que para x M haja uma rede {x , I } em M que tem x como ponto limite em M e suponha que f (x) n ao e ponto limite de {f (x ), I } em N . Ent ao existe um aberto A de N contendo f (x) e tal que {f (x ), I } n ao est a eventualmente em A. Isso signica que {x , I } n ao est a eventualmente em f 1 (A) (por que?). Como pelas hip oteses f 1 (A) e um aberto e x f 1 (A) (por que?), isso diz que x n ao e ponto limite de {x , I } em M , uma contradi ca o. Logo f (x) e ponto limite de {f (x ), I } em N e a equival encia est a provada.