Cap tulo 23 Continuidade de Fun co es em Espa cos Topol ogicos

Conte udo
23.1 Fun co es Cont nuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1040 23.2 Outras Caracteriza co es do Conceito de Continuidade em Espa cos Topol ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1043 23.2.1 Continuidade e Converg encia . . . . . . . . . . . . . . . . . . . . . . . . . . . 1044

odo 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 para a demonstra ca o de resultados importantes.

23.1

Fun co es Cont nuas

Sejam M e N dois conjuntos, o primeiro dotado da topologia M e o segundo da topologia N . Seja f uma fun ca o f : M N . Vamos a uma deni ca o de continuidade, que chamaremos de deni ca o de continuidade n umero 1. ca o a `s topologias DC 1. Uma fun ca o f : M N , como acima, e dita ser uma fun ca o cont nua em rela 1 M e N se f (A) M para 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 conjunto imagem for igualmente um conjunto aberto na topologia do conjunto dom nio. A seguinte arma ca o e uma conseq u encia imediata da deni ca o acima. Proposi c ao 23.1 Sejam M1 , M2 e M3 espa cos topol ogicos com topologias M1 , M2 e M3 , respectivamente. Seja f : M1 M2 , cont nua em rela ca o a `s topologias M1 e M2 , e g : M2 M3 , cont nua em rela ca o a `s topologias M2 e M3 . Ent ao g f : M1 M3 e cont nua em rela ca o a `s topologias M1 e M3 .

1040

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 23

1041/1355

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 fortemente dependente das topologias M e N escolhidas no dom nio e na imagem da fun ca o. Pode acontecer de uma 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 estranho que na deni ca o acima a no ca o de 1 continuidade seja apresentada em termos de uma propriedade da imagem inversa f 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 ? Todas 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 .

A No c ao Usual de Continuidade na Reta Real Seja f : uma fun ca o. A no ca o usual de continuidade diz que f e cont nua em se e somente se para todo x 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 M1 e M2 dois espa cos m etricos com m etricas d1 e d2 , respectivamente. Seja f : M1 M2 uma fun ca o entre estes dois espa cos m etricos. A fun ca o f e dita ser cont nua (no sentido usual) se para todo x M1 e para todo n umero > 0 existir um n umero (x, ) > 0 tal que se y Bd1 (x, (x, )) ent ao f (y ) Bd2 (f (x), ). Acima Bdi (a, r ), i = 1, 2, e a bola aberta de raio r centrada em torno de a segundo a m etrica di . 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) := . (23.1) 0, se t < 0 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. c ao g (t) = t2 . Mostre explicitamente que g e cont nua pela deni c ao E. 23.1 Exerc cio. Seja a fun acima. Como pode ser (x, ) como fun c ao de x e nesse caso? Determine explicitamente (x, ). As linhas acima recordam-nos a deni ca o usual de continuidade, 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, se adotarmos a topologia usual da reta (denida pela m etrica d(x, y ) = |y x|) no dom nio e na imagem da fun ca o f .

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 23

1042/1355

Seja uma fun ca o f : tal que f 1 (A) e um aberto em para todo A . Sejam ent ao um ponto x no dom nio da f e f (x) sua imagem. Seja A = (f (x) , f (x) + ) um aberto em (com > 0). Assim, pelas hip oteses, o conjunto f 1 (A) e um aberto em que deve conter o ponto x (pois f (x) A). Deve haver assim uma bola aberta, de raio n ao nulo, centrada em x inteiramente contida no aberto f 1 (A). Chamemos seu raio de = (x, ) (em geral, o raio deve depender de A e, portanto, de x e ). Em essa bola e o intervalo B = (x , x + ). Note-se que, como B f 1 (A), segue que f (B ) A = (f (x) , f (x) + ). Isso, nalmente, e exatamente a arma ca o que f e cont nua no sentido usual.

Vamos agora supor que f e uma fun ca o cont nua no sentido usual e provar que ela tamb em e cont nua no sentido novo (DC 1). Isso, junto com o visto no u ltimo par agrafo, mostra que as duas no co es s ao equivalentes. Seja A um aberto qualquer em e vamos supor, sem perder a generalidade (por que?), que A cont em elementos da imagem de f . Seja x f 1 (A). Seja, para algum > 0, B (f (x), ) a bola aberta de raio centrada em f (x). Como A e aberto e f (x) A teremos B (f (x), ) A se escolhermos pequeno o suciente (ainda com > 0). Pela hip otese que f e cont nua no sentido usual, existe (x, ) tal que se y B (x, (x, )) ent ao f (y ) B (f (x), ) A. Assim, y f 1 (A). Mas isso signica dizer que para todo x no conjunto 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 1 1 f (A). Isso e armar que f (A) e um conjunto aberto, pela pr opria deni ca o de conjuntos abertos na topologia m etrica usual da reta.

Isso demonstrou a equival encia que quer amos estabelecer e respondeu a pergunta 1) acima. Continuidade por partes Uma outra no ca o importante e a de continuidade por partes. Deni c ao. Sejam M e N n ao-vazios e dotados de topologias M e N , respectivamente. Uma fun ca o f : M N e dita ser uma fun ca o cont nua por partes em rela ca o a `s topologias M e N se existir um
m

conjunto nito de abertos disjuntos 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 dispensam a condi ca o de que a cole ca o de abertos Ak seja nita.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 23

1043/1355

23.2

Outras Caracteriza co es 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 descrita acima. Vamos a uma outra deni ca o de continuidade, que chamaremos de deni ca o de continuidade n umero 2. Sejam M e N dois conjuntos, o primeiro dotado da topologia M e o segundo da topologia N . Seja f uma fun ca o f : M N . DC 2. Uma fun ca o f : M N , como acima, e dita ser uma fun ca o cont nua em rela ca o a `s 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. 23.2 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 mutantis, 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. Uma fun ca o f : M N como acima e dita ser uma fun ca o cont nua em rela ca o a `s topologias M e N se f D f (D ) para qualquer conjunto D M . Aqui, D e o fecho de D M . 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, notemos que as seguintes armativas s ao verdadeiras: sejam X M e Y N dois conjuntos quaisquer. Ent ao f (f 1 (Y )) Y e f 1 (f (X )) X. E. 23.3 Exerc cio (f acil). Mostre isso. Fora isso, e tamb em claro que se X M e Y N s ao tais que f (X ) Y , ent ao f 1 (Y ) X .

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 23

1044/1355

Seja ent ao f cont nua segundo DC 3 e seja F N , fechado. Teremos que f f 1 (F ) f (f 1 (F )) F = F, ou seja, f f 1 (F ) F. Logo, f 1 (F ) f 1 (F ). 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 e o mesmo que dizer que f 1 (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 ) f (D ). (23.2) Agora, D f 1 (f (D )) 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 ) , Mas f 1 f (D ) pois D e o menor fechado que cont em D . Disso segue que f D f f 1 f (D ) a ` (23.2), conclu mos que f D f (D ), provando a equival encia desejada. . Juntando-se isso

23.2.1

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 1041. 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. Sejam M e N dois espa cos m etricos dotados de m etricas dM e dN , respectivamente. Sejam dM e dN as topologias induzidas por essas m etricas em M e N , respectivamente. Seja f : M N uma fun ca o entre esses dois espa cos m etricos. Temos a seguinte deni ca o: DCEM 2. Uma fun ca o f : M N , como a descrita acima, e cont nua se para todo x M e para toda seq u encia {xn , n } que converge a x em rela ca o a ` m etrica dM tivermos

f (x) = lim f (xn ),

n

ou seja, f
n

lim xn

= lim f (xn ),
n

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 23

1045/1355

onde a converg encia de f (xn ) se d a em rela ca o a ` m etrica dN . Vamos mostrar que esta u ltima deni ca o de continuidade e, no caso de espa cos m etricos, equivalente a `s deni co es 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 22 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 elemento de D e como os pontos f (xn ) s ao elementos
n

do conjunto f (D ), isso signica 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 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 (x n ) n ao 1 est a eventualmente em A. Isso signica que xn n ao est a eventualmente em f (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. 23.4 Exerc cio. Seja a fun c ao H denida em (23.1). Adotando a topologia usual de tanto na imagem quanto no dom nio de H , exiba seq u encias x n em convergindo a x = 0 tais que lim H (xn ) =

H (0). 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 22.4, p agina 1036, essas diculdades podem ser superadas com o emprego da no ca o mais geral de rede, como alternativa a `s seq u encias. De fato, e poss vel apresentar mais uma deni ca o do conceito de continuidade, equivalente a `s 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 22.4, p agina 1036. Sejam M e N dois espa cos topol ogicos e sejam M e N as topologias em M e N , respectivamente. Seja f : M N uma fun ca o entre esses dois espa cos topol ogicos. Temos a seguinte deni ca o: DC 4. Uma fun ca o f : M N , como a descrita acima, e cont nua 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.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 23

1046/1355

Vamos mostrar que esta u ltima deni ca o de continuidade equivale a `s deni co es DC 1, 2 e 3. Prova da equival encia. Vamos supor que f seja cont nua segundo DC 4 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, pela Proposi ca o 22.4, p agina 1037, 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 {f (x ), I } em N . Como x pode ser qualquer elemento de D e como os pontos f (x ) s ao elementos do conjunto f (D ), isso signica, tamb em pela Proposi ca o 22.4, p agina 1037, 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 4. 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.