Cap tulo 26 Espa cos Topol ogicos e Espa cos Mensur aveis.

Deni co es e Propriedades B asicas

Conte udo
26.1 26.2 Deni c oes, Propriedades Elementares e Exemplos . . . Algumas Constru c oes Especiais e Exemplos . . . . . . . 26.2.1 Topologias e -Algebras Geradas . . . . . . . . . . . . 26.2.2 Bases de Espa cos Topol ogicos . . . . . . . . . . . . . . 26.2.3 Topologias e -Algebras Induzidas . . . . . . . . . . . . 26.2.4 Topologias e -Algebras Produto . . . . . . . . . . . . Interior e Fecho de Conjuntos em Espa cos Topol ogicos 26.3.1 Fecho de Conjuntos em Espa cos M etricos . . . . . . . . Espa cos Topol ogicos Separ aveis e Segundo-Cont aveis . 26.4.1 A Segundo-Contabilidade como Propriedade Herdada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1250 1256 . 1256 . 1259 . 1261 . 1263 1264 . 1269 1271 . 1274

26.3 26.4

ntroduziremos neste cap tulo dois conceitos de import ancia fundamental em Matem atica, o conceito de Espa co Topol ogico e o conceito de Espa co Mensur avel. O primeiro conceito e uma generaliza ca o do conceito de Espa co M etrico, introduzido no Cap tulo 24, p agina 1165, e o segundo e moldado de forma a permitir uma deni ca o consistente do conceito intuitivo de medida (como comprimento, area, volume etc.) de um conjunto. De modo muito simplicado, podemos dizer que Topologias desempenham um papel quando se faz necess ario o emprego de no co es como as de converg encia e continuidade, enquanto que Espa cos Mensur aveis s ao especialmente relevantes na teoria da integra ca o e na teoria de probabilidades. As no co es de Espa co Topol ogico e Espa co Mensur avel penetram areas da Matem atica t ao variadas quanto a An alise, a An alise Funcional, a Geometria Diferencial, a Teoria das Equa co es Diferenciais, a Teoria de Grupos, a Teoria de Probabilidades e outras, atrav es das quais exercem tamb em sua inu encia sobre praticamente toda a F sica. Falaremos um pouco mais sobre o signicado e sobre a import ancia de cada conceito adiante. Para um texto dedicado ` a hist oria da Topologia, vide [120].

26.1

Deni co es, Propriedades Elementares e Exemplos

Dado um conjunto X (doravante considerado n ao-vazio), denota-se por (X ) a cole ca o de todos os subconjuntos de X . Assim, em s mbolos, podemos expressar o fato de um conjunto A ser um subconjunto de X escrevendo A X ou natural que X (X ) e convenciona-se que (X ). Como sempre, se A X , denotamos por Ac o A (X ). E conjunto X \ A, dito o complementar de A em X . Estamos muitas vezes interessados em estudar propriedades de certas cole co es de subconjuntos de X (ou seja de subconjuntos de (X )) que possuem certas caracter sticas de interesse. H a dois tipos de cole co es de subconjuntos que merecem particular aten ca o: as chamadas topologias e as chamadas - algebras. Vamos ` as deni co es. Topologias Uma cole ca o de subconjuntos de X , ou seja, (X ), e dito ser uma topologia em X se os seguintes requisitos forem satisfeitos: 1. e X . 2. Se A e B ent ao A B . 3. Se I e um conjunto arbitr ario de ndices e A para todo I ent ao
I

A tamb em e um elemento de .

1250

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1251/2069

- algebras Uma cole ca o M de subconjuntos de X , ou seja, M (X ), e dita ser uma - algebra em X se os seguintes requisitos forem satisfeitos: 1. M e X M. 2. Se A M ent ao Ac X \ A M. 3. Se {An , n N} e uma cole ca o enumer avel arbitr aria de elementos de M, ent ao
nN

An tamb em e um elemento de

M. Coment arios e nomenclatura Um conjunto X dotado de uma topologia e dito ser um espa co topol ogico. De um modo um pouco mais t ecnico, um espa co topol ogico e um par (X, ) onde X e um conjunto n ao-vazio e (X ) e uma topologia em X . Um conjunto X dotado de uma - algebra M e dito ser um espa co mensur avel. De um modo um pouco mais t ecnico, e uma - algebra em X . um espa co mensur avel e um par (X, M) onde X e um conjunto n ao-vazio e M (X ) Id eias relacionadas ` a de Topologia j a habitam a Matem atica h a muito, mas foi nas duas primeiras d ecadas do s eculo XX que as mesmas come caram a ser sistematizadas e abstra das, como resultado do trabalho de v arios indiv duos, como Cantor1 , Fr echet2 , Riesz3 e Hausdor4 . A palavra topologia e um pouco mais antiga, tendo sido cunhada por 5 Listing em 1847, o qual tomara contacto com id eias topol ogicas sob inu encia de Gauss6 . A no ca o de conjuntos abertos e fechados (na topologia usual da reta real) foi introduzida por Cantor. Fr echet percebeu sua conex ao com a no ca o de m etrica (a qual introduziu). A no ca o moderna de Espa co Topol ogico foi introduzida pela primeira vez por Hausdor em 1914. Hausdor tamb em cunhou a express ao espa co m etrico, no ca o criada por Fr echet em 1906, e foi o primeiro a introduzir a no ca o de medida, entre outras coisas. A palavra algebra na designa ca o - algebra tem origem hist orica em uma analogia observada por Felix Hausdor entre certas opera co es envolvendo conjuntos, tais como uni ao e intersec ca o, e opera co es alg ebricas de soma e multiplica ca o. Apesar disso o conceito de - algebra n ao deve ser confundido de forma alguma com o conceito usual de algebra (um espa co vetorial com um produto entre seus elementos). A analogia a que nos referimos e a de que a opera ca o de uni ao de conjuntos disjuntos pode ser entendida como uma soma de conjuntos, com o elemento nulo sendo o conjunto vazio (pois A = A para qualquer conjunto A). O papel de multiplica ca o entre conjuntos seria exercido pela intersec ca o, onde novamente o conjunto vazio seria o elemento nulo (pois sempre A = ). Note-se tamb em a validade da propriedade distributiva A (B C ) = (A B ) (A C ), outra analogia com somas e produtos num ericos. Ainda sobre a nomenclatura, o do nome - algebra e usado em fun ca o da propriedade 3 da deni ca o, que se refere ao fato de - algebras serem fechadas em rela ca o a opera co es envolvendo uni oes ( omas) enumer aveis de seus conjuntos. Aqui, o ponto importante e a enumerabilidade e, por isso, e freq uente encontrar-se o s mbolo em outros objetos matem aticos para os quais a enumerabilidade desempenha algum papel (como na topologia chamada de -fraca, por exemplo). Os subconjuntos A X que s ao membros de uma topologia s ao chamados de conjuntos abertos (em rela ca o ` a topologia ), ou conjuntos -abertos. Se um subconjunto F X e tal que F c , ent ao F e dito ser um conjunto fechado, ou -fechado. Note que h a conjuntos que podem ser simultaneamente abertos e fechados em rela ca o ` a mesma topologia. Por exemplo, e X s ao ao mesmo tempo abertos e fechados (por que?). Al em destes conjuntos pode haver outros tamb em. Veremos exemplos.
Ferdinand Ludwig Philipp Cantor (18451918). Ren e Fr echet (18781973). 3 Frigyes Riesz (18801956). 4 Felix Hausdor (18681942). Matem atico de grande originalidade e inu encia, Hausdor foi um dos criadores da Topologia e da moderna Teoria dos Conjuntos. Perseguido pelo nacional-socialismo, suicidou-se em 1942 para evitar ser enviado a um campo de concentra ca o. 5 Johann Benedict Listing (18081882). 6 Johann Carl Friedrich Gauss (17771855).
2 Maurice 1 Georg

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1252/2069

O estudante deve ser advertido que um conjunto pode ser aberto em rela ca o a uma topologia, mas n ao em rela ca o a outra. O mesmo coment ario vale para conjuntos fechados. Os subconjuntos A X que s ao membros de uma - algebra M s ao chamados de conjuntos mensur aveis (em rela ca o ` a - algebra M), ou conjuntos M-mensur aveis. Ser a para conjuntos mensur aveis que se denir a o conceito de medida. O estudante deve ser advertido que um conjunto pode ser mensur avel em rela ca o a uma - algebra, mas n ao em rela ca o a outra. Note que, pela deni ca o, se A1 , . . . , An e uma cole ca o de n conjuntos abertos de uma topologia ent ao A1 An e tamb em um conjunto aberto (por que?). Note que, no item 3 da deni ca o de topologia, nenhuma restri ca o e feita em rela ca o ao conjunto de ndices I , podendo o mesmo ser at e um conjunto n ao-cont avel. Note que se A1 , . . . , An e uma cole ca o (nita) de n elementos de uma - algebra M ent ao A1 An e tamb em um elemento de M. Para ver isso note que, se den ssemos Am = para todo m > n ter amos claramente A1 An = Aa que e um elemento de M pelo item 3 da deni ca o de - algebra.
a N

Se M e uma - algebra em X e A, B M ent ao A B M. Isso e f acil de ver, pois A B = (Ac B c ) . Pelo c c item 2 da deni ca o de - algebra, A e B s ao tamb em elementos de M. Pela observa ca o acima, sua uni ao Ac B c c c tamb em o e. Por m, o complemento de A B pertence a M, novamente pelo item 2 da deni ca o de - algebra. A u ltima arma ca o estende-se facilmente para intersec co es cont aveis de conjuntos mensur aveis: se M e uma a lgebra em X e An M, n N, ent ao nN An M. Isso segue facilmente de
c

An =
nN nN

(An )

e dos itens 2 e 3 da deni ca o de - algebra. Vizinhan cas Seja X um conjunto n ao-vazio e uma topologia em X . Se x X , um conjunto V X e dito ser uma vizinhan ca de x (segundo ) se V cont em x e se contiver um aberto que tamb em cont em x, ou seja, se existir A tal que x A V . A no ca o de vizinhan ca e freq uentemente empregada no estudo de espa cos topol ogicos. Exemplos b asicos de topologias e mais alguns coment arios Seja X um conjunto n ao-vazio. Considere o conjunto, formado por apenas dois elementos, dado por = {, X }. Ent ao, e uma topologia em chamada de topologia indiscreta ou topologia trivial e X (verique!). E e a menor topologia que se pode formar em X. chamada ao, e uma topologia em X (verique!). E Seja a cole ca o e todos os subconjuntos de X : = (X ). Ent de topologia discreta e e a maior topologia que se pode formar em X . Seja X um espa co m etrico com uma m etrica d e seja d a cole ca o de todos os seus subconjuntos abertos em rela ca o a d. Um subconjunto A de X e dito ser aberto (em rela ca o ` a m etrica d) se tiver a seguinte propriedade: para todo x A podemos achar um n umero real (x) > 0 (eventualmente dependente de x) tal que para todo x X com a propriedade que d(x, x ) < (x) (ou seja, que dista de x menos que (x)) vale que x tamb em e um elemento de A. Ent ao, conforme j a vimos na Se ca o 24.2, p agina 1180, d e, de fato, uma topologia, chamada de topologia induzida pela m etrica d. Uma topologia em X e dita ser uma topologia m etrica se existir uma m etrica d em X tal que = d .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1253/2069

e uma topologia m etrica. Pelo Exerc cio E. 24.25, p agina 1181, (X ) Nem todas as topologias s ao m etricas. Condi co es que garantam que uma topologia seja m etrica s ao denominadas condi co es de metrizabilidade. Seja A X . Ent ao, {, A, X } e uma topologia em X (verique!), a menor a conter A (justique!). Sejam A, B X . Ent ao, {, A, B, A B, A B, X } e uma topologia em X (verique!), a menor a conter A e B (justique!). No caso do conjunto dos reais, podemos introduzir a topologia m etrica denida pela m etrica d(x, y ) = |x y |. Essa topologia e denominada de topologia usual da reta e para design a-la usaremos aqui o s mbolo R . Esse nome e auto-explicativo: quase toda a An alise Real e feita com o uso dessa topologia. Conforme o costume de toda a literatura, sempre que falarmos de uma topologia nos reais pensaremos nessa topologia usual, salvo men ca o expl cita em contr ario. Fique claro por em que sobre os n umeros reais podem ser denidas outras topologias al em R (e da topologia trivial e da topologia discreta). Exemplos ser ao vistos adiante. E. 26.1 Exerc cio. Mostre, seguindo as deni co es de conjuntos abertos e fechados em espa cos m etricos, que todo intervalo (a, b) com a < b R e um elemento de R e que todo intervalo [a, b] com a b e um conjunto fechado em rela c ao a R .

E. 26.2 Exerc cio. Sejam A, B, C X . Determine a menor topologia a conter A, B e C . E. 26.3 Exerc cio. A topologia de um conjunto particular. Seja X n ao-vazio e seja B X . Mostre que a cole c ao de conjuntos {} {A X | A B } e uma topologia, denominada topologia do conjunto particular B . Denotaremos essa topologia por cp (B ). . Mostre que F X e um conjunto fechado na topologia cp (B ) se e somente se F B c ou F = X . Exemplos b asicos de - algebras Seja X um conjunto n ao-vazio. Considere M o conjunto, formado por apenas dois elementos, dado por M = {, X }. Ent ao, M e uma - algebra (verique!) e e a menor - algebra que se pode formar em X . Essa - algebra e chamada de - algebra indiscreta ou - algebra trivial. Seja M a cole ca o e todos os subconjuntos de X : M = (X ). Ent ao, M e uma - algebra (verique!) e e a maior - algebra que se pode formar em X . Essa - algebra e chamada de - algebra discreta. Seja X um conjunto e A X . Ent ao, a cole ca o M = {, A, Ac , X } e uma - algebra (verique!), a menor a conter A (justique!) Outros exemplos menos triviais de - algebras ser ao vistos adiante. Exemplos realmente interessantes de - algebras requerem constru co es elaboradas, como a da - algebra de Lebesgue7 , a qual trataremos com certo detalhe no Cap tulo 28. es objetos distintos (por exemplo, tr es letras distintas do alfabeto grego). Mostre que E. 26.4 Exerc cio. Sejam , e tr M = e uma - algebra em X = {, , }.
7 Henri

, {, }, { }, {, , }

L eon Lebesgue (18751941).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1254/2069

es objetos distintos (por exemplo, tr es letras distintas do alfabeto grego). Mostre que E. 26.5 Exerc cio. Sejam , e tr M = e uma - algebra em X = {, , }. Abertos e fechados Sejam X um conjunto e uma topologia em X . Denotemos por F( ) a cole ca o de todos os conjuntos fechados de X em rela ca o ` a , ou seja, a cole ca o de todos os conjuntos F de X tais que F c e um aberto, ou seja, um elemento de . muito importante o estudante notar que F( ) pode conter elementos que n E ao s ao elementos de . Por em F( ) e nunca s ao conjuntos disjuntos, pois ambos sempre t em elementos em comum. Sempre se tem, por exemplo, que {, X } F( ) . ao F( ) = . E. 26.6 Exerc cio. Mostre que se F( ) ent ao = F( ). E. 26.7 Exerc cio. Mostre que se F( ) ent Exemplos de topologias onde = F( ) s ao a topologia trivial e a topologia discreta (por que?). H a, por em, muitos outros exemplos, como mostra o pr oximo exerc cio. c ao de E. 26.8 Exerc cio. Seja a reta real e X o seguinte subconjunto de R: X = (0, 1) (1, 2). Mostre que a cole subconjuntos de X dada por = {, (0, 1), (1, 2), X } e uma topologia em X e que F( ) = . Note que n ao e nem a topologia trivial nem a discreta de X . A cole ca o F( ) de todos os conjuntos fechados em rela ca o a uma topologia em X possui uma s erie de propriedades especiais: 1. F( ) e X F( ). 2. Se F F( ) e G F( ) ent ao F G F( ). 3. Se I e um conjunto arbitr ario de ndices e F F( ) para todo I ent ao
I

, {}, { }, { }, {, }, {, }, {, }, {, , }

F tamb em e um elemento de F( ).

E. 26.9 Exerc cio muito importante. Justique as armativas acima. E. 26.10 Exerc cio. Sejam as seguintes cole co es de conjuntos fechados na reta real (na topologia usual): {Fn = [1/n, 1+ 1/n], n N} e {Gn = [1/n, 1 1/n], n N, n > 1}. Mostre explicitamente que Fn e um conjunto fechado mas que
nN

Gn e um conjunto aberto. Note que

nN, n>1 nN, n>1

Gn n ao e uma uni ao nita!

Seja agora (reciprocamente) uma cole ca o F de subconjuntos de um conjunto X tal que as seguintes condi co es (que chamaremos de axiomas de conjuntos fechados) s ao verdadeiras: 1. F e X F. 2. Se F F e G F ent ao F G F . 3. Se I e um conjunto arbitr ario de ndices e F F para todo I ent ao
I

F tamb em e um elemento de F.

Ent ao, a cole ca o (F) = {A X, tais que Ac F} e uma topologia em X .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1255/2069

ultima armativa. E. 26.11 Exerc cio muito importante. Justique essa Mais exemplos de topologias: a topologia co-cont avel e a co-nita Vamos ilustrar o que acabamos de ver com dois exemplos (importantes, pois deles se extraem alguns exemplos e contra-exemplos de propriedades de topologias, como veremos adiante). Seja X um conjunto e Cc a cole ca o de todos os conjuntos cont aveis de X . Ent ao, vamos mostrar que a cole ca o C = {, X } Cc satisfaz os axiomas de conjuntos fechados. As propriedades que C e X C s ao obvias por deni ca o. Se F e G s ao elementos de C ent ao F G tamb em e um elemento de C, basicamente pois a uni ao de dois conjuntos cont aveis e tamb em um conjunto cont avel. Finalmente a intersec ca o arbitr aria de conjuntos cont aveis e tamb em um conjunto cont avel (pois, como vimos acima, qualquer subconjunto de um conjunto cont avel tamb em e cont avel) e, com isso, ca tamb em vericado o axioma 3. Com isso, e com o que dissemos anteriormente, vemos que a cole ca o (C) e uma topologia em X . Todo elemento de (C) e ent ao , X ou da forma X \ C , onde C e um conjunto cont avel. Chamaremos a topologia cc (C) de topologia co-cont avel de X . E. 26.12 Exerc cio. Seja X um conjunto e cf a cole c ao cf = A X, A = X \ U onde U X e um conjunto nito . Mostre que cf e uma topologia em X (chamada de topologia co-nita de X ). Como s ao os conjuntos fechados em rela c ao a cf ? E. 26.13 Exerc cio. cf = cc ? Verique que para todo X n ao-vazio tem-se cf cc . Para que tipo de conjunto X podemos ter

A topologia co-cont avel tem a seguinte propriedade digna de nota. Sejam A e B dois abertos n ao-vazios quaisquer da topologia co-cont avel de um conjunto X e suponha que X n ao seja um conjunto cont avel. Ent ao, A B sempre e um conjunto n ao-vazio. Para provar isso, notemos que, pelas hip oteses, A = X \ C1 e B = X \ C2 , para dois subconjuntos c c cont aveis C1 e C2 de X . Da , A B = (X \ C1 ) (X \ C2 ) = C1 C2 = (C1 C2 )c . Agora, como C1 C2 e tamb em um conjunto cont avel, seu complemento e n ao-vazio pois X n ao e cont avel. Assim, provamos que dois abertos n ao-vazios quaisquer da topologia co-cont avel de um conjunto n ao-cont avel (como, por exemplo, o conjunto dos reais) sempre se intersectam. Como veremos, isso signica que tais espa cos topol ogicos n ao s ao do tipo Hausdor (a deni ca o de espa co Hausdor vir a` a p agina 1326). ao-vazios quaisquer da topologia co-nita de um conjunto X e suponha E. 26.14 Exerc cio. Sejam A e B dois abertos n que X n ao seja um conjunto nito. Mostre, ent ao, que A B sempre e um conjunto n ao-vazio. E. 26.15 Exerc cio. Sejam cf (R) e cc (R) as topologias co-nita e co-cont avel de R, respectivamente. Mostre que todo conjunto cf (R)-fechado e tamb em R -fechado e conclua que cf (R) R . Pelo Exerc cio E. 26.13, tem-se tamb em cf (R) cc (R). Por em, cc (R) R , pois o conjunto dos irracionais e cc (R)-aberto, mas n ao e R aberto. Justique essa armativa. Claramente, cf (R) cc (R) R . Por em, a topologia cc (R) R e maior que cf (R): verique que R \ Z cc (R) R mas R \ Z cf (R).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1256/2069

26.2
26.2.1

Algumas Constru co es Especiais e Exemplos

Topologias e -Algebras Geradas

A no c ao de topologia gerada Vamos agora discutir um m etodo importante de gerar topologias e - algebras. Seja X um conjunto n ao-vazio e seja { , I } uma cole ca o de topologias em X (cada uma indexada por um elemento de um conjunto de ndices I arbitr ario). Como cada topologia e por si um subconjunto de (X ), podemos considerar uni oes e intersec co es de topologias. Em particular para uma cole ca o gen erica de topologias como { , I }, temos o seguinte resultado importante: Proposi c ao 26.1 O subconjunto I de (X ) dado por I =
I

e tamb em uma topologia em X .

Prova. Em primeiro lugar e claro pelas deni co es que I e que X I . Vamos agora mostrar que se A e B s ao elementos de I ent ao A B tamb em o e. Para tal, note que se A e B s ao elementos de I ent ao A e B s ao elementos de toda topologia com I . Assim, como para cada particular tem-se A e B , segue que A B (pois e uma topologia). Assim, mostramos que A B pertence a toda topologia com I e, portanto, A B I . Por m, temos que provar que se {A , J } e uma cole ca o de elementos de I (onde J e uma cole ca o arbitr aria de ndices), ent ao segue que A e tamb em um elemento de I . Para tal, note-se que se {A , J } e uma cole ca o
J

de elementos de I ent ao cada A e um elemento de cada . Da , para cada particular segue que
J

A e tamb em

um elemento de (pois e uma topologia). Como isso vale para todo I , segue que
J

A I , como quer amos

provar. Este resultado tem um uso de grande import ancia: fornecer um m etodo de gerar topologias. Seja A uma cole ca o qualquer de subconjuntos de X . Considere a cole ca o de todas as topologias que cont em A como um subconjunto. Como vimos, a intersec ca o de todas essas topologias e tamb em uma topologia que denotaremos por [A]. A topologia [A] e chamada de topologia gerada por A. Assim, cada cole ca o A de subconjuntos de um conjunto X tem automaticamente uma topologia associada a si: a topologia gerada pela cole ca o. Muitas topologias podem ser produzidas dessa forma, como sendo geradas por uma cole ca o conveniente de subconjuntos de X . E. 26.16 Exerc cio. Mostre que A [A] e que [A] e a menor topologia que cont em A como subconjunto, ou seja, se houver uma topologia [A] que cont em A, ent a o = [A ]. E. 26.17 Exerc cio. Mostre que se A e uma topologia ent a o [A ] = A . ao-vazio e A X . Mostre que {A} = {, A, X }. E. 26.18 Exerc cio. Seja X um conjunto n E. 26.19 Exerc cio. Seja X um conjunto n ao-vazio e A = {x}, x X a cole c ao de subconjuntos de X formada apenas por todos os conjuntos de um elemento de X . Mostre ent ao que [A] e a topologia discreta de X . Sugest ao: use o item 3 da deni c ao de topologia para mostrar que todo subconjunto de X e um elemento de [A]. ao-vazio e A = {x, y }, x, y X e x = y a cole c ao de subconjuntos de X E. 26.20 Exerc cio. Seja X um conjunto n formada por todos os conjuntos de dois elementos distintos de X . Mostre que se X possui ao menos tr es elementos, ent ao

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1257/2069

[A ] e a topologia discreta de X . O que ocorre se X possuir apenas um elemento? E se X possuir apenas dois elementos?

O m etodo de gerar topologias descrito acima e muito usado e ser a reencontrado adiante em outros exemplos. Sub-base de uma topologia Se e uma topologia em um conjunto n ao-vazio X , dizemos que uma cole ca o A de subconjuntos de e uma subbase de se = [A], ou seja, se for a menor topologia que cont em A. Mais adiante, na Se ca o 26.2.2, p agina 1259, introduziremos a no ca o de base de uma topologia e advertimos o leitor antecipadamente que os dois conceitos n ao coincidem, mas s ao relacionados. Vide discuss ao da Se ca o 26.2.2. Estrutura de reticulado em topologias Seja X um conjunto n ao-vazio. A cole ca o de todas as topologias em X dene um reticulado (para a deni ca o, vide Se ca o 2.1.2, p agina 77) com as opera co es e s ao denidas da seguinte forma. Se 1 e 2 s ao topologias em X , denimos: 1 2 := 1 2 e 1 2 := 1 2 (a topologia gerada por 1 e 2 ). c ao de todas as topologias em X com as opera co es e denidas acima e, de E. 26.21 Exerc cio. Prove que a cole fato, um reticulado, satisfazendo as propriedades de idempot encia, comutatividade, associatividade e absorv encia descritas na deni c ao de reticulado da Se c ao 2.1.2. Prove que se trata de um reticulado limitado, com o m nino sendo a topologia trivial {, X } e o m aximo sendo a topologia discreta (X ). Prove que se trata de um reticulado completo: todo subconjunto n ao-vazio possui um supremo e um nmo. Mais sobre a topologia usual de R J a denimos a topologia usual da reta como sendo a topologia induzida pela m etrica d(x, y ) = |y x|. Vamos mostrar aqui que h a uma outra caracteriza ca o da mesma topologia. Seja A a cole ca o de todos os intervalos abertos (a, b) de R com a < b. Vamos provar que R = [A], ou seja, que a topologia usual e id entica ` a topologia gerada pela cole ca o de todos os intervalos abertos de R. J a sabemos que A R , pois todo intervalo do tipo (a, b), a < b, e aberto de R . Como por deni ca o [A ] e a menor topologia que cont em A, tem-se que [A] R . Tudo o que precisamos fazer, ent ao, e provar que R [A]. Seja uma topologia qualquer que contenha A. Isso signica que uni oes arbitr arias de elementos de A s ao tamb em elementos de (pois e uma topologia e pelo item 3 da deni ca o de topologia). Se B e um elemento de R isso signica que para cada x B existe (x) > 0 tal que y B desde que |y x| < (x). N ao e dif cil ver ent ao que isso signica que podemos escrever B = x (x), x + (x) .
xB

Como todo intervalo do tipo (x (x), x + (x)) e um elemento de A, segue que B . Como isso vale para todo B R isso signica que R . Esse u ltimo fato vale, por em, para qualquer que seja a topologia , desde que contenha a cole ca o A. Portanto, conclu -se que R [A], como quer amos mostrar. A topologia de Sorgenfrey de R Seja S a cole ca o de todos os intervalos semi-abertos de R do tipo [a, b) com a < b, a, b R. A topologia [S] e denominada topologia de Sorgenfrey8 dos reais. e um subconjunto pr oprio de [S]. Sugest ao: mostre que todo intervalo aberto (a, b), E. 26.22 Exerc cio. Mostre que R a < b, e um elemento de [S] e conclua a partir da que R [S]. Para ver que [S] \ R n ao e vazio, note apenas que um intervalo semi-aberto [a, b), a < b e um elemento de [S], mas n ao de R . Note ainda que [S] e menor que a topologia discreta
8 Robert

(R) pois intervalos fechados [a,

b], a b n ao s ao elementos

Sorgenfrey (19151996).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1258/2069

de [S]. E. 26.23 Exerc cio. Justique esta ultima armativa. oes s ao pr oprias. Assim, vimos nos dois u ltimos exerc cios que R [S] (R), onde todas essas inclus A topologia [S] e rica em conjuntos que s ao simultaneamente abertos e fechados. E. 26.24 Exerc cio. Mostre que na topologia de Sorgenfrey de R todo intervalo do tipo [a, b) com a < b e simultaneamente aberto e fechado. E. 26.25 Exerc cio. O ultimo exerc cio inspira a seguinte quest ao: ser a que em [S] todo conjunto aberto e tamb em fechado? Verique que isso n ao e verdade mostrando que o conjunto A = (, a) (b, ), com a b, e aberto segundo [S] mas que seu complemento Ac = [a, b] n ao e aberto segundo [S]. A topologia de Sorgenfrey de R2 Seja S2 a cole ca o de todos os ret angulos semi-abertos de R2 do tipo [a, b) [c, d) = (x, y ) R2 a x < b, c y < d , (26.1)

com a < b, c < d e a, b, c, d R. O espa co topol ogico (R2 , [S2 ]) e denominado plano de Sorgenfrey. E. 26.26 Exerc cio. Mostre que R2 [S2 ]. E. 26.27 Exerc cio. Mostre que os conjuntos C1 := (x, y ) R2 y x , C2 := (x, y ) R2 y > x e C3 := (x, y ) R2 y < x

s ao abertos na topologia [S2 ]. Sugest ao, mostre que eles s ao uni oes de ret angulos semi-abertos do tipo (26.1). Como C1 = (C3 )c , conclui-se que C1 e C3 s ao tamb em fechados na topologia [S2 ]. Seja D1 := (x, x) R2 x R .

Como D1 = C1 (C2 )c , conclui-se que D1 e fechado topologia [S2 ]. E. 26.28 Exerc cio. Com as deni co es do Exerc cio E. 26.27, mostre que
r := D1

(x, x) R2 x Q

i := D1

(x, x) R2 x Q

r s ao fechados na topologia [S2 ]. Sugest ao: 1) mostre que D1 C2 e aberto em [S2 ], por ser a uni ao de todos os abertos do i tipo [x, a) [x, b) para todos os x Q e todos a e b com a > x e b > x; 2) mostre que D1 C2 e aberto em [S2 ], por ser a uni ao de todos os abertos do tipo [x, a) [x, b) para todos os x Q e todos a e b com a > x e b > x; 3) conclua i r r r i i r i que D1 C3 e D1 C3 s ao fechados em [S2 ]; 4) de D1 = D1 (D1 C3 ) e D1 = D1 (D1 C3 ) conclua que D1 e D1 s ao fechados na topologia [S2 ].

A no c ao de - algebra gerada O m etodo de constru ca o de topologias descrito acima tem um an alogo quase literal entre as - algebras. Seja X um conjunto e {M , I } uma cole ca o de - algebras em X (cada uma indexada por um elemento de um oes e conjunto de ndices I arbitr ario). Como cada - algebra e por si um subconjunto de (X ) podemos considerar uni intersec co es de - algebras. Em particular, para uma cole ca o gen erica de - algebras como {M , I }, temos o seguinte resultado importante:

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1259/2069

Proposi c ao 26.2 O subconjunto MI de (X ) dado por MI =

I

M e tamb em uma - algebra em X .

Prova. Em primeiro lugar e claro pelas deni co es que MI e que X MI . Vamos agora mostrar que se A X e um elemento de MI ent ao Ac = X \ A tamb em o e. Se A MI ent ao A M c para todo I e, portanto A M para todo I pois cada M e uma - algebra. Assim, segue que Ac MI . Por m, vamos provar que se {An , n N} e uma cole ca o cont avel de elementos de MI ent ao
nN

An tamb em o e.

Se {An , n N} e uma cole ca o cont avel de elementos de MI ent ao cada An pertence a cada M e, portanto, para cada particular segue que An tamb em e um elemento de M . Da segue imediatamente que An MI , que e o que
nN nN

quer amos provar. Este resultado tem um uso de grande import ancia: fornecer um m etodo de gerar - algebras. Seja A uma cole ca o qualquer de subconjuntos de X . Considere a cole ca o de todas as - algebras que cont em A como um subconjunto. Como vimos, a intersec ca o de todas essas - algebras e tamb em uma - algebra que denotaremos por M[A]. A - algebra M[A] e chamada de - algebra gerada por A. Assim, cada cole ca o A de subconjuntos de um conjunto X tem automaticamente uma - algebra associada a si: a - algebra gerada pela cole ca o. Muitas - algebras podem ser produzidas dessa forma, como sendo geradas por uma cole ca o conveniente de subconjuntos de X . E. 26.29 Exerc cio. Mostre que A M[A] e que M[A] e a menor - algebra que cont em A como subconjunto, ou seja, se houver uma - algebra M M[A] que cont em A, ent a o M = M [A ]. e uma - algebra ent a o M [A ] = A . E. 26.30 Exerc cio. Mostre que se A A - algebra de Borel Dentre os muitos tipos de - algebras existentes particular destaque t em as - algebras geradas por topologias. Seja X um conjunto e uma topologia em X . Como e uma cole ca o de subconjuntos de X podemos considerar a - algebra M[ ] gerada pela topologia . Essa - algebra e chamada de - algebra de Borel9 associada ` a topologia em X e seus elementos s ao chamados de conjuntos de Borel ou conjuntos Borelianos. E. 26.31 Exerc cio. Considere a reta real R. Mostre que intervalos como (a, b), [a, b), (a, b] com a < b e [a, b] com a b s ao elementos da - algebra de Borel M[R ]. Que outros elementos de M[R ] voc e poderia identicar? Como veremos, as - algebras de Borel desempenham um papel importante na Teoria da Medida.

26.2.2

Bases de Espa cos Topol ogicos

Base de uma topologia Seja X um espa co com uma topologia . Uma cole ca o de abertos B e dita ser uma base da topologia se todo -aberto puder ser escrito como uni ao de elementos de B: se A ent ao A = B , onde todos os B s ao elementos

de B. Note que a uni ao n ao necessita ser nita ou mesmo cont avel. Um fato b asico e o seguinte: se B e uma base de uma topologia ent ao = [B], ou seja, toda base de uma topologia e tamb em uma sub-base (para a deni ca o de sub-base de uma topologia, vide p agina 1257). Provar isso e bem simples. Primeiramente note-se que, como e uma topologia que cont em B e [B] e, por deni ca o,
9 F elix

Edouard Justin Emile Borel (18711956).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1260/2069

a menor topologia com essa propriedade, ent ao segue que [B] . Por outro lado, como vimos, se A ent ao A ea uni ao de elementos de B e, portanto, A e um elemento de [B]. Logo [B], completando a prova. Para evitar confus oes e ao mesmo tempo claricar id eias, o estudante deve notar, por em, o seguinte fato. Se A e uma cole ca o de subconjuntos de um conjunto X ent ao n ao e em geral verdade que A ou mesmo A X sejam uma base de [A], ou seja, nem sempre uma sub-base de uma topologia e uma base. Tome-se o seguinte exemplo: X = R e A = {(i/2, i/2 + 1), i Z}. Ent ao, o intervalo (1/2, 1) e um elemento de [A] pois e intersec ca o dos intervalos (0, 1) e (1/2, 3/2) mas n ao pode ser escrito como uni ao de elementos de A. E. 26.32 Exerc cio. Seja X um espa co m etrico e B a cole c ao de todas as bolas abertas de X : {B (x, r), x X, r > 0}. Mostre que B e uma base da topologia m etrica de X . Produzindo bases de topologias a partir de sub-bases A discuss ao do u ltimo par agrafo pode ser usada para introduzir e motivar mais um modo importante de se produzir bases de topologias, o qual ser a usado quando discutirmos o conceito de topologia gerada por fam lias de fun co es, um t opico importante, por exemplo, em estudos mais avan cados de propriedades de espa cos de Banach e de Hilbert. Como j a vimos, se X e um conjunto e A e uma cole ca o arbitr aria de subconjuntos de X n ao podemos em geral garantir que A e uma base de [A]. H a, por em, uma maneira de se produzir uma base a partir da sub-base A que discutiremos a seguir. c ao de subconjuntos de X . Ent ao, todo elemento de [A] Proposi c ao 26.3 Seja X n ao-vazio e A (X ) uma cole que n ao seja X ou pode ser obtido como uni ao de conjuntos formados por intersec c oes nitas de elementos de A. Em outras palavras, a cole c ao formada por X , e por todos os conjuntos que sejam intersec c oes nitas de elementos de A e uma base para [A].

Prova. Considere a cole ca o AI formada por todos os conjuntos que podem ser escritos como um intersec c ao nita de elementos de A {X } {}. Ou seja, A X pertence a AI se puder ser escrito da forma A = B1 B2 Bn , para algum n nito, onde cada Bi ou e igual a X ou ou e um elemento de A. E claro pela deni ca o que A AI (por que?) e tamb em que AI [A] (por que?). Assim, temos que A AI [A]. Notemos agora que se B e C s ao duas cole co es de subconjuntos de X com B C, ent ao [B] [C] (por que?). Da segue, pelo que vimos, que [A] [AI ] [A] . Como [A] e uma topologia temos, por um exerc cio anterior que [A] = [A]. Assim, provamos que [A] = [AI ] e vamos agora explorar conseq u encias desse fato. Vamos mostrar que AI e uma base de [AI ] e, portanto, de [A]. Para isso consideremos a cole ca o U formada por todas as poss veis uni oes de elementos de AI : se A U ent ao A =

A ,

com A AI para todo . Vamos agora provar que U e uma topologia em X . claro tamb Pela deni ca o, e claro que U e que X U (por que?). E em que uni oes arbitr arias de elementos de U s ao novamente elementos de U . Resta-nos provar que se A e B s ao elementos de U ent ao A B tamb em o e. Sejam ent ao A e B da forma A = A , B = B ,

onde todo A e todo B s ao elementos de AI . Note que podemos acima, sem perda de generalidade, usar o mesmo conjunto de ndices tanto para A quanto para B , pois podemos fazer alguns A e/ou alguns B iguais ao conjunto vazio se necess ario, de modo a igualar ambos os conjuntos de ndices. Com isso temos, ent ao, que AB =

(A B ) ,
,

ao elementos de AI . que claramente e um elemento de U , pois os conjuntos A B s

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1261/2069

Dado que provamos que U e uma topologia, vamos ver as conseq u encias desse fato. Em primeiro lugar, e claro pela deni ca o de U que AI U . Como U e uma topologia, segue que [AI ] U . Por outro lado, temos tamb em que os elementos de U s ao uni oes de elementos de AI e, portanto, s ao elementos de qualquer topologia que contenha AI , como, em particular, a topologia [AI ]. Assim, U [AI ]. Com isso, vimos que [A] = [AI ] = U . Pela deni ca o de U , isso diz que todos os elementos de [A] podem ser escritos como uni oes de elementos de AI e, assim, ca provado que AI e uma base para [A]. E. 26.33 Exerc cio. Mostre que a cole c ao de todos os intervalos abertos da forma (, x) ou (y, ) com x, y R e uma sub-base da topologia usual R da reta real. Mostre que o mesmo se d a se tomarmos x, y Q. A topologia gerada por um ordenamento total Com o uso da no ca o de topologia gerada podemos produzir novas topologias associadas a rela co es de ordem totais denidas em conjuntos. Seja X um conjunto n ao-vazio no qual est a denida uma rela ca o de ordem total (para a deni ca o de rela ca o de ordem total, vide p agina 45). Se a, b X dizemos que a b se a b mas a = b. Fixados a, b X com a b denamos (a, b) := (a, ) := , b) := Seja A a cole ca o A := Alim A A , com Alim A A := := := (a, b), para todos a, b X com a b , (a, ), para todo a X , (, b), para todo b X . x X| a x e x b , x X| a x , x X| x b .

A topologia [A] e denominada topologia gerada pelo ordenamento total . E. 26.34 Exerc cio. da reta. Mostre que a topologia gerada pelo ordenamento usual da reta real coincide com a topologia usual

aco de R2 (vide p agina 46) e uma topologia E. 26.35 Exerc cio. Mostre que a topologia gerada pelo ordenamento lexicogr Hausdor. Um texto cl assico sobre a rela ca o entre topologias e rela co es de ordem e [181].

26.2.3

Topologias e -Algebras Induzidas

A topologia induzida (ou relativa) Vamos agora estudar mais uma maneira de produzir topologias que tamb em tem seu an alogo para as - algebras. Seja X um conjunto e uma topologia em X . Seja tamb em Y um subconjunto arbitr ario de X (Y n ao precisa ser um elemento de ). Podemos construir uma topologia no conjunto Y usando a topologia de X da seguinte forma. Denimos a seguinte cole ca o Y de subconjuntos de Y : Y := A Y, tal que A = Y T para algum T .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1262/2069

Em palavras, Y e formado por todos os subconjuntos de Y que podem ser escritos como intersec ca o de Y com algum aberto de . Ent ao, armamos que Y e uma topologia em Y . Vamos provar isso. Primeiro e claro que Y pois = Y e . Em segundo lugar e tamb em claro que Y Y pois Y = Y X (dado que Y X ) e X . Vamos agora mostrar que se A e B Y ent ao A B Y . Para isso note que, como A e B Y ent ao existem A e B de forma que A = Y A e B = Y B . Logo A B = (Y A ) (Y B ) = Y (A B ) (por que?) e, como A B , segue que A B Y .

Para nalizar, falta-nos mostrar que se {A , I } e uma cole ca o de elementos de Y (indexados por um conjunto arbitr ario de ndices I ), ent ao A Y . Pelas hip oteses, cada A e da forma A = Y T com T e portanto
I

A =
I I

(Y T ) = Y
I

(por que?) .

Assim, como
I

T ca provado que
I

A Y como quer amos demonstrar.

Vimos ent ao que Y e uma topologia em Y . Essa topologia e chamada de topologia induzida em Y pela topologia . E. 26.36 Exerc cio. Verique que, usando a mesma nota c ao usada acima, X = . ao existe uma topologia em X que induz Fazemos notar que se Y X e Y possui uma topologia (Y ), ent a topologia . Essa topologia e dada por = {X, X \ Y }. Observe que se A , ent ao obviamente A e A = A Y . Isso prova que e induzida por . E. 26.37 Exerc cio. Prove que , denida acima, e uma topologia em X . Sugest ao: recorde que Y . Exerc cios e exemplos E. 26.38 Exerc cio. Seja Y = [0, 1] R e seja R a topologia usual de R. Mostre que conjuntos da forma [0, x) com 0 < x 1 s ao abertos na topologia Y induzida em Y por R . Mostre que conjuntos da forma (x, 1] com 0 x < 1 s ao abertos na topologia Y induzida em Y por R . Para o estudante e importante ver que, no exerc cio acima, nem [0, x) nem (x, 1] s ao abertos em R ! Isso mostra que topologias induzidas podem trazer elementos novos ao jogo. E. 26.39 Exerc cio. d(x, y ) = |y x|. Mostre que a topologia Y do exerc cio anterior e igual ` a topologia induzida em Y pela m etrica

E. 26.40 Exerc cio. Seja Y = Q R e seja Q a topologia induzida em Q por R . Mostre que todo conjunto de um elemento {r} com r Q e um conjunto fechado segundo Q . Essa topologia Q do u ltimo exerc cio tem propriedades curiosas. Seja x um n umero irracional e seja o conjunto = (, x) Q Q. Ent ao, e ao mesmo tempo aberto e fechado em Q . O fato que e aberto e evidente pois (, x) e aberto em R . O fato que e fechado segue da constata ca o que o complemento de em Q e o conjunto c = [x, ) Q e que [x, ) Q = (x, ) Q pois x e irracional. Assim, c e aberto em Q pois (x, ) e aberto em R . Logo , que e o complemento de c nos racionais, e fechado por Q . E. 26.41 Exerc cio. Seja Y = Q R e seja Q a topologia induzida em Q por R . Mostre que o intervalo aberto de racionais {x Q, e < x < } e um conjunto aberto e fechado em Q . E. 26.42 Exerc cio. Seja X um conjunto com uma topologia e considere Y X e a topologia induzida por em Y : Y . Considere agora um terceiro conjunto Z com Z Y X . Podemos, em princ pio, construir duas topologias induzidas

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1263/2069

em Z : 1) a topologia induzida por em Z e 2) a topologia induzida por Y em Z . Mostre que essas topologias s ao na verdade id enticas. E. 26.43 Exerc cio. Seja Y = (0, 1) (1, 2) munido da topologia Y induzida pela topologia R . Mostre que os subconjuntos (0, 1) e (1, 2) s ao ambos simultaneamente abertos e fechados nessa topologia Y . A - algebra induzida Seja X um conjunto e seja M uma - algebra em X . Seja tamb em Y um subconjunto gen erico de X . Podemos fazer de Y um espa co mensur avel construindo com o aux lio de M uma - algebra entre os subconjuntos de Y . A constru ca o e an aloga ` aquela da topologia induzida. Seja MY a seguinte cole ca o de subconjuntos de Y : MY := A Y, A = Y M para algum M M .

Vamos mostrar que MY e uma - algebra em Y . Os fatos que MY e que Y MY podem ser provados tal como no em caso da topologia induzida. Queremos agora provar que se A MY ent ao seu complemento em Y , Ac = Y \ A, tamb e um elemento de MY . Por hip otese A e da forma A = Y M com M M e, portanto, Ac = Y \ (Y M ) = Y (X \ M ) . Assim, como X \ M e um elemento de M, segue que Ac = Y \ A e um elemento de MY . Finalmente queremos provar que se {An , n N} e uma fam lia enumer avel de elementos de MY ent ao
nN

An

tamb em o e. Pelas hip oteses cada An e da forma Y Mn com Mn M. Da An =

nN

(Y Mn ) = Y
nN nN

Mn

Como
nN

Mn e tamb em um elemento de M, a armativa est a provada.

A - algebra MY a chamada de - algebra induzida em Y pela - algebra M.

26.2.4

Topologias e -Algebras Produto

A topologia produto de espa cos topol ogicos Uma constru ca o muito importante e a da chamada topologia produto de espa cos topol ogicos. Muito pode ser dito sobre essa topologia (para mais detalhes vide, por exemplo, [35]), mas vamos nos restringir por ora somente ` a sua deni ca o para o caso de produtos Cartesianos nitos. Uma importante extens ao para produtos Cartesianos gerais ser a apresentada na Se ca o 31.6, p agina 1467. Seja {X1 , . . . , Xn } uma cole ca o nita de conjuntos e seja, para cada a In = {1, . . . , n}, a uma topologia em n Xa . Seja X = a=1 Xa o produto Cartesiano de todos os Xa , a In e seja B a cole ca o de todos os subconjuntos de e um aberto em Xa segundo a topologia a . Ent ao, a X que sejam da forma aIn Aa onde Aa a , ou seja, cada Aa topologia gerada por B, [B] e chamada de topologia produto dos espa cos topol ogicos Xa , a . O correspondente espa co topol ogico e denotado por X1 Xn , 1 n . co R2 = R R e considere que cada fator R e munido da topologia usual R . Mostre E. 26.44 Exerc cio. Seja o espa que a topologia produto obtida em R2 e id entica ` a topologia m etrica usual de R2 denida pela m etrica usual d(x, y ) = onde x = (x1 , x2 ) e y = (y1 , y2 ). (y1 x1 )2 + (y2 x2 )2 ,

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1264/2069

A - algebra produto H a uma constru ca o an aloga para - algebras. Seja Xa , a In uma cole ca o nita de conjuntos e seja, para cada a In , Ma uma - algebra em Xa . Seja como antes X = aIn Xa o produto Cartesiano de todos os Xa , a In . Denimos D a cole ca o de todos os subconjuntos de X que sejam da forma aIn Ma onde Ma Ma , ou seja, cada Ma e mensur avel em Xa segundo a - algebra Ma . Ent ao, a - algebra gerada por D, M[D] e chamada de - algebra produto das - algebras Ma .

26.3

Interior e Fecho de Conjuntos em Espa cos Topol ogicos

Seja X um espa co dotado de uma topologia . Podemos associar a cada subconjunto gen erico B de X tr es conjuntos importantes, o chamado fecho de B , o chamado interior de B e a chamada fronteira ou bordo de B . Vamos discutir agora esses conceitos. Fecho Para B X gen erico, denamos a cole ca o FB := F X, F e -fechado e tal que F cont em B : F B .

Se B = ent ao F = F( ), a cole ca o de todos os subconjuntos -fechados de X , incluindo o vazio, pois, por conven ca o, todos cont em . A cole ca o FB e ent ao a cole ca o de todos os conjuntos fechados (segundo a topologia ) que cont em o conjunto B . Sabemos que a intersec ca o arbitr aria de conjuntos fechados e tamb em um conjunto fechado. Isso motiva a seguinte deni ca o: F . B :=
F FB

e chamado de fecho, ou ader encia, do conjunto B na topologia e e, pela pr opria deni ca o, um conjunto O conjunto B fechado. E. 26.45 Exerc cio. Pode-se dizer que o fecho de um conjunto B e o menor conjunto fechado que cont em B . Justique isso em face da deni c ao dada acima para B . e fechado se e somente se B = B . Prove isso. E. 26.46 Exerc cio importante. Um conjunto B A seguinte proposi ca o enuncia algumas propriedades elementares u teis da no ca o de fecho. Proposi c ao 26.4 Seja X um conjunto n ao-vazio dotado de uma topologia . Valem as seguintes arma c oes: 1. M M para todo M X . 2. M = M para todo M X . 3. Se M, N X com M N , ent ao M N . 4. Se M, N X ent ao M N = M N . 5. Para uma fam lia arbitr aria M X, vale 6. = e X = X .

M .

Demonstra c ao. Prova de 1: elementar, pois, pela deni ca o, M e uma intersec ca o de conjuntos que cont em M . Prova de 2: elementar, pois M e fechado e, portanto, est a contido em FM (vide Exerc cio E. 26.46). Prova de 3: M N N (pelo item 1). Assim, N e um fechado que cont em M . Logo, pela deni ca o de fecho, M N . Prova de 4: como M e N

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1265/2069

(a, b) I cf (R) cc (R) R [S] R R R [a, b] [a, b) (a, b)

[a, b) R R R [a, b] [a, b) [a, b)

[a, b] R R R [a, b] [a, b] [a, b]

{a } R {a } {a } {a } {a } {a } I cf (R) cc (R) R [S]

(a, b)0 (a, b) (a, b) (a, b)

[a, b)0 (a, b) [a, b) [a, b)

[a, b]0 (a, b) [a, b) [a, b]

{a }0 {a } I cf (R) cc (R) R [S]

(a, b) R R R {a, b} {a }

[a, b) R R R {a, b}

[a, b] R R R {a, b} {b}

{a } R {a } {a } {a } {a }

(R)

( R )

(R)

Tabela 26.1: As tr es tabelas acima apresentam, da esquerda para a direita, o fecho, o interior e o bordo, respectivamente, dos subconjuntos (a, b), [a, b), [a, b] e {a} da reta real, com < a < b < , em diferentes topologias. Acima, I = {, R} e a topologia indiscreta de R, cf (R) e a topologia co-nita de R, cc (R) e a topologia co-cont avel de R, R e a topologia discreta de R. e a topologia usual de R, [S] e a topologia de Sorgenfrey de R (p agina 1257) e (R) s ao fechados e valem M M , N N , o conjunto M N e fechado e cont em M N . Logo, M N M N . Por outro lado, pelo item 3 tem-se M M N e N M N . Logo, M N M N . Prova de 5: Como M M , segue que e um -fechado. Logo, M M . Prova de 6: e X s ao fechados e, portanto, M , que M = e X = X. E. 26.47 Exerc cio. Seja X = R. A Tabela 26.1, p agina 1265, mostra o fecho dos conjuntos (a, b), [a, b), [a, b] e {a}, com < a < b < , em v arias topologias. Estude cada um dos casos. Note na Tabela 26.1, as topologias escolhidas est ao postas em ordem crescente de inclus ao (exceto por cc (R)): I cf (R) R [S] cc (R) . O caso do conjunto (a, b) (e os outros) ilustra claramente um fato relevante, a saber, que quanto maior a topologia menor e o fecho de um dado conjunto. E. 26.48 Exerc cio muito importante. Seja B o fecho de um conjunto qualquer B , segundo uma topologia . Seja uma outra topologia tal que . Mostre que B Interior Para B X gen erico, denamos a cole ca o AB := A X, A e aberto e tal que A est a contido em B : A B .

(R)

B .

A cole ca o AB e ent ao a cole ca o de todos os conjuntos abertos (segundo a topologia ) contidos no conjunto B . Sabemos que a uni ao arbitr aria de conjuntos abertos e tamb em um conjunto aberto. Isso motiva a seguinte deni ca o: B 0 :=
AAB

A.

O conjunto B 0 e chamado de interior do conjunto B na topologia e e, pela pr opria deni ca o, um subconjunto aberto de B . e o maior conjunto aberto contido em B . Justique E. 26.49 Exerc cio. Pode-se dizer que o interior de um conjunto B isso em face da deni c ao dada acima para B 0 .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1266/2069

e aberto se e somente se B = B 0 . Prove isso. E. 26.50 Exerc cio. Um conjunto B A seguinte proposi ca o enuncia algumas propriedades elementares u teis da no ca o de interior. Proposi c ao 26.5 Seja X um conjunto n ao-vazio dotado de uma topologia . Valem as seguintes arma c oes: 1. M 0 M para todo M X . 2. (M 0 )0 = M 0 para todo M X . 3. Se M, N X com M N , ent ao M 0 N 0 . 4. Se M, N X ent ao (M N )0 = M 0 N 0 . 5. Para uma fam lia arbitr aria M X, vale 6. 0 = e X 0 = X .

(M ) .

Demonstra c ao. O item 1 e evidente pela deni ca o. O item 2 segue da observa ca o que M 0 e um subconjunto aberto 0 0 0 de si mesmo e, portanto, M (M ) , pela deni ca o de interior. Pelo item 1 vale tamb em (M 0 )0 M 0 , provando que M 0 = (M 0 )0 . Prova do item 3: M 0 M N . Logo, M 0 e um aberto contido em N e, portanto, M 0 N 0 . 0 0 0 0 Prova do item 4: como M e N s ao abertos com M M e N N , segue que M 0 N 0 e um aberto contido em 0 0 M N e, portanto, M N (M N )0 . Por outro lado, pelo item 3, (M N )0 M 0 e (M N )0 N 0 , o que 0 implica (M N )0 M 0 N 0 , provando que (M N )0 = M 0 N 0 . Prova de 5: Como M (M ) , segue que 0 0 0 e um -aberto. Logo, (M ) . Prova do item 6: e X s ao abertos M (M ) , que M e, portanto 0 = e X 0 = X . E. 26.51 Exerc cio. Seja X = R. A Tabela 26.1, p agina 1265, mostra o interior dos conjuntos (a, b), [a, b), [a, b] e {a}, com < a < b < , em v arias topologias. Estude cada um dos casos. Na Tabela 26.1, o caso do conjunto [a, b] ilustra claramente um fato relevante, a saber, que quanto maior a topologia maior e o interior de um dado conjunto. E. 26.52 Exerc cio. Seja (B 0 ) o interior de um conjunto qualquer B , segundo uma topologia . Seja uma outra topologia tal que . Mostre que (B 0 ) (B 0 ) . Por m, note que para qualquer conjunto B X vale sempre, em qualquer topologia , que B0 B B . A proposi ca o seguinte estabelece algumas rela co es u teis. Proposi c ao 26.6 Com as deni c oes de acima valem A0 = Ac Ac
c

,
0 c

(26.2) , (26.3)

A = para todo A X . Dessas rela c oes, segue que A0 A

c 0

= =

Ac Ac
0

, .

(26.4) (26.5)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1267/2069

de se notar que as rela E co es (26.2) e (26.3) relacionam as opera co es de fecho e de interior. Prova da Proposi c ao 26.6. As igualdades (26.2) e (26.3) s ao equivalentes (justique!), portanto, e suciente provar a primeira. Como A0 A, vale Ac (A0 )c . Lembrando que (A0 )c e fechado (pois A0 e aberto), segue pela deni ca o de fecho que (Ac ) (A0 )c . Tomando-se o complementar disso conclu mos que A0 x (Ac )
c

(Ac )
c

. Por outro lado, se e e aberto (pois (Ac )

= x (Ac ) = x Ac = x A, ou seja, (Ac )

c

A. Logo, como (Ac )

fechado), segue pela deni ca o de interior que (Ac )

A0 , completando a prova de (26.2).

A rela ca o (26.4) segue de (26.2) tomando-se o complemento e, em seguida, o interior. A rela ca o (26.5) segue de (26.3) tomando-se o complemento e em seguida o fecho.

Fronteira ou bordo Para A X arbitr ario, denamos a sua fronteira ou bordo (na topologia ) como sendo o conjunto A := A \ A0 = A (A0 )c
(26.2)

A (Ac ) .

(26.6)

A seguinte proposi ca o apresenta alguns fatos elementares relevantes sobre o bordo de conjuntos. Proposi c ao 26.7 Com as deni c oes de acima, valem, para todo A X , A = A , ou seja, A e fechado, A = (Ac ) , (A) (A) A Valem tamb em = e X = . A , = A se e somente se A = A .
0

(26.7) (26.8) (26.9)

= ,

(26.10) (26.11)

Chamamos a aten ca o do leitor para o fato que alguns textos mais antigos denem A como A (Ac ). Nesse caso as propriedades listadas acima n ao s ao necessariamente v alidas. Por exemplo, A n ao e necessariamente fechado. e a intersec ca o de Demonstra c ao da Proposi c ao 26.7. A e fechado pois a igualdade A = A (A0 )c de (26.6) mostra que e tamb em evidente que A = (Ac ), provando dois fechados. Isso provou (26.7). Da igualdade A = A (Ac ) em (26.6) 0 0 (26.8). Da deni ca o, e do fato de A ser fechado, segue que (A) = A \ A = A \ A . Isso mostra que (A) A e que a igualdade se d a se e somente se A A igualdade (A) = A \ A que (A)
0 0 0

for vazio (j a que A A

0 c 0 c

A). Isso provou (26.9) e (26.10).

0 0 c

signica (A) = (A)

0 c 0

e, pelo item 4 da Proposi ca o 26.5, p agina 1266, temos A . Logo, (A) (A)0 A = .

= (A)0

A
0

. Por em,

0 c 0

Isso estabeleceu que (A)

= e, por (26.10), isso implica (26.11). Que = e X = e evidente pela deni ca o.

E. 26.53 Exerc cio. Seja X = R. A Tabela 26.1, p agina 1265, mostra o bordo dos conjuntos (a, b), [a, b), [a, b] e {a}, com < a < b < , em v arias topologias. Estude cada um dos casos. E. 26.54 Exerc cio. Seja B o bordo de um conjunto qualquer B , segundo uma topologia . Seja uma outra topologia tal que . Mostre que B B .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1268/2069

A armativa do u ltimo exerc cio pode ser conrmada contemplando-se a Tabela 26.1, p agina 1265. Outra caracteriza c ao do fecho de um conjunto O conceito de fecho de um conjunto e de grande import ancia. Uma das raz oes, como veremos, e que no caso de espa cos m etricos o fecho de um conjunto B caracteriza o conjunto de todos os limites de seq u encias de elementos de B . Em particular um conjunto s o e fechado em um espa co m etrico se contiver todos os limites de seq u encias de seus elementos (vide Se ca o 26.3.1, p agina 1269). Muitos resultados importantes em Matem atica decorrem dessa observa ca o. Vamos nos preparar para apresentar esse fato, assim como outros v alidos em espa cos topol ogicos gerais. A seguinte proposi ca o apresenta uma caracteriza ca o equivalente da no ca o de fecho de um conjunto, sendo essencial a outros desenvolvimentos relacionados ` a no ca o de fecho de um conjunto. Proposi c ao 26.8 Seja X um conjunto n ao-vazio e uma topologia em X . Seja B X . Um ponto x X e um elemento de B se e somente se a seguinte propriedade for v alida: todo aberto A que cont em o ponto x tem uma intersec c ao n ao-vazia com B , ou seja, B = x X | A B = , A com x A .

em x e tal que A B = . Isso implica que B Ac B , pois Prova. Suponha que x B e que haja aberto A que cont B Ac B Ac = B. e um conjunto fechado que cont em B e, portanto, B B Ac , dado que o fecho de B e o menor fechado Assim, B Ac que cont em B . Isso, por sua vez, diz que B Ac , o que signica que B A = . Mas isso contradiz as hip oteses de ao A B = para todo aberto A que cont em x. partida que diziam que x B e x A. Portanto, se x B ent Suponhamos agora que para um ponto x X valha que A B = para todo aberto A que cont em x. Se supormos c c que x B ent ao x B , que e um aberto. Assim, dever amos ter, pelas hip oteses que B B = . Como B B isso e imposs vel. Assim, supor que A B = para todo aberto A que cont em x implica que x B . Isso completa a demonstra ca o da proposi ca o. Um corol ario imediato da Proposi ca o 26.8 e a seguinte caracteriza ca o alternativa da no ca o de conjunto fechado em um espa co topol ogico: Corol ario 26.1 Seja X um conjunto n ao-vazio e uma topologia em X . Um conjunto F X e -fechado se e somente se a seguinte propriedade for v alida: para todo x F e todo -aberto A com x A tem-se A F = .

Fechos e espa cos topol ogicos. Os axiomas de Kuratowski Em um espa co X dotado de uma topologia podemos associar a cada subconjunto A X um outro subconjunto A, o fecho de A. Essa associa ca o A A pode ser entendida como uma opera ca o entre conjuntos e satisfaz as propriedades listadas na Proposi ca o 26.4, p agina 1264. A proposi ca o que segue mostra que h a uma esp ecie de rec proca dessa constru ca o: e poss vel denir uma topologia em X a partir de uma opera ca o que possua as mesmas propriedades da opera ca o de fecho. Proposi c ao 26.9 Seja X um conjunto n ao-vazio e seja uma aplica c ao : (X ) (X ) que a cada A X associa um conjunto (A) satisfazendo: 1. () = . 2. A (A) para todo A X . 3. (A) = (A) para todo A X . 4. Se A, B X ent ao (A B ) = (A) (B ).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1269/2069

Dizemos que um conjunto F e fechado segundo a aplica c ao se F = (F ) e dizemos que um conjunto e aberto segundo se for o complementar em X de um conjunto fechado segundo . Ent ao, a cole c ao de todos os abertos segundo dene uma topologia em X , que denotaremos por . Por m, para todo A X vale A = (A), ou seja, o fecho de A na topologia coincide com (A).
ca o : (X ) (X ) satisfazendo as condi co es dos itens 14 da Proposi ca o 26.9 e por vezes dita ser um operador de Nota. Uma aplica Kuratowski10 . A possibilidade de denir-se a no ca o de espa co topol ogico a partir de um operador de Kuratowski, tal como enunciado na Proposi ca o 26.9, e de relev ancia por aproximar o estudo de espa cos topol ogicos do estudo de algebras Booleanas11 . Os itens 14 da Proposi ca o 26.9 s ao por vezes denominados axiomas de fecho de Kuratowski ou apenas axiomas de Kuratowski.

Prova da Proposi c ao 26.9. Comecemos observando que se M N , ent ao N = M (N \ M ). Logo, pelo item 4, (N ) = (M ) (N \ M ), o que provou que (M ) (N ). Assim, M N = (M ) (N ) . (26.12)

Pelo item 2, vale X (X ), o que implica (X ) = X . Junto com o item 1 isso prova que e X s ao abertos e fechados segundo . Se F e G X s ao fechados segundo k , ent ao F = (F ) e G = (G). Logo, F G = (F ) (G) = (F G), sendo que na u ltima igualdade usamos a hip otese do item 4. Isso provou que F G e fechado segundo . Precisamos ainda provar que intersec co es arbitr arias de conjuntos fechados segundo permanecem conjuntos fechados segundo . Seja {F , } uma fam lia de fechados segundo , indexada por um conjunto de ndices . Pela hip otese do item 2 tem-se

F . Por outro lado,

F F para todo . Logo, por F

(26.12),

(F ) = F . Como isso vale para todo , segue que F .

F . Isso completa

a prova que

F =

Com isso, provamos que a cole ca o de todos os conjuntos fechados segundo satisfaz todos os axiomas de conjuntos fechados em um espa co topol ogico. A topologia assim denida pela opera ca o ser a denotada aqui por . e fechado em , segue da deni ca o Seja A o fecho de A X na topologia . Como A (A) (item 2) e (A) de fecho que A (A). Por outro lado, de A A (item 1 da Proposi ca o 26.4, p agina 1264), segue de (26.12) que (A) A A

=A ,au ltima igualdade sendo devida ao fato de A

ser fechado em . Isso demonstrou que

= (A), completando a prova da Proposi ca o 26.9.

E. 26.55 Exerc cio. Se e um operador de Kuratowski, mostre que um conjunto A e um -aberto se e somente se A = (Ac )c . e um operador de Kuratowski, a rela c ao (26.2) mostra que interior de um conjunto A e dado por E. 26.56 Exerc cio. Se (A) = (Ac )c . Quais propriedades abstratas um operador de interior : (X ) (X ) deve satisfazer para que se possa dele denir uma topologia? Sugest ao: inspire-se na Proposi c ao 26.5, p agina 1266.

26.3.1

Fecho de Conjuntos em Espa cos M etricos

Vamos agora particularizar a discuss ao de acima sobre fecho de conjuntos para o important ssimo caso de espa cos m etricos (completos ou n ao). Como subproduto obteremos importantes caracteriza co es de conjuntos fechados em espa cos m etricos, j a mencionadas na Se ca o 24.2, p agina 1180.
10 Kazimierz 11 George

Kuratowski (18961980). Boole (18151864).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1270/2069

Fecho de conjuntos em espa cos m etricos Seja M um espa co m etrico com m etrica d e d a topologia induzida em M por essa m etrica. Seja B M . Vamos apresentar agora uma caracteriza ca o importante do fecho de B , que anunciamos acima. Uma seq u encia {xn , n N} de elementos de M e dita convergir na m etrica d a um elemento x M se para todo > 0 existir N () N tal que xn Bd (x, ) para todo n > N (). Se uma seq u encia converge a um ponto x, este e dito ser um limite da seq u encia. (Mais sobre o conceito de converg encia de seq u encias em espa cos m etricos ser a visto no Cap tulo 29, p agina 1324). Temos ent ao a seguinte proposi ca o: Proposi c ao 26.10 Um ponto x M pertence ao fecho B na topologia d de um subconjunto B de M se e somente se existir uma seq u encia de elementos de B que converge a x na m etrica d. Prova. Suponha que x seja um limite de uma seq u encia xn de elementos de B . Seja Ax um aberto que cont em x. Como Ax e um aberto de um espa co m etrico, existe uma bola aberta centrada em x com um raio positivo sucientemente pequeno, que chamaremos de , tal que Bd (x, ) Ax . Da , como a seq u encia converge a x, vale que B xn Bd (x, ), desde que n seja grande o suciente. Mas isso diz que para tais xn s vale tamb em xn Ax . Logo, Ax B = , pois pelo menos esses xn s pertencem aos dois conjuntos. Note que isso vale para qualquer aberto Ax que cont em x. Da , pelo que vimos na Proposi ca o 26.8, conclu mos que x B . Assim, vimos que se uma seq u encia de elementos de B converge a um ponto x em um espa co m etrico, ent ao esse ponto x e um elemento do fecho de B . Vamos agora provar a rec proca. Vamos agora supor que x B e vamos provar que existe uma seq u encia de elementos de B que converge a x. Como x B vale que Bd (x, 1/n) B = para todo n N. Da , podemos escolher, para cada n N, um elemento xn do conjunto Bd (x, 1/n) B . Com isso formamos uma seq u encia {xn } de elementos de B que converge a x, completando a prova. Conjuntos fechados em espa cos m etricos A Proposi ca o 26.10 tem o seguinte importante corol ario imediato: Corol ario 26.2 Seja M um conjunto n ao-vazio dotado de uma m etrica d e seja d a topologia induzida por essa m etrica. Ent ao, F M e fechado se e somente se toda seq u encia de elementos de F que for convergente em M convergir a um elemento de F , ou seja, se F coincidir com o conjunto de seus pontos-limite. Esse corol ario representa em muitos sentidos uma caracteriza ca o alternativa da no ca o de conjunto fechado em espa cos m etricos. Vamos agora especializar a discuss ao para espa cos m etricos completos. Conjuntos fechados em espa cos m etricos e completeza Seja M um conjunto n ao-vazio dotado de uma m etrica d. Qualquer subconjunto n ao-vazio de M e tamb em um espa co m etrico com m etrica d (por que?). Por em, se M e completo em rela ca o a d e se F M e um conjunto fechado, ent ao F e tamb em um espa co m etrico completo em rela ca o a d. Provar isso e bem simples. Se fn F e uma seq u encia de Cauchy em rela ca o a d em F ent ao fn e tamb em uma seq u encia de Cauchy em rela ca o a d em M . Como M e completo existe f M ao qual a seq u encia converge. Mas, u encia de Cauchy em rela ca o a d em F converge a um elemento devemos ter, pelo que vimos, f F = F . Assim, toda seq de F . Isso prova completeza de F . A rec proca e tamb em verdadeira. Seja M completo em rela ca o a d e seja B M tamb em completo em rela ca o a d. Ent ao, B e fechado. Para ver isso note que toda seq u encia de elementos de B que converge em M e uma seq u encia de Cauchy em M e, portanto, e tamb em uma seq u encia de Cauchy em B . Logo, uma tal seq u encia converge a um elemento de B , pois B e completo. Mas isso equivale a dizer que B B , o que implica B = B . Provamos ent ao o seguinte: c ao a uma m etrica d, ent ao F M e fechado na Proposi c ao 26.11 Se M e um espa co m etrico completo em rela topologia induzida por essa m etrica se e somente se F for igualmente completo em rela c ao ` a m etrica d.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1271/2069

26.4

Espa cos Topol ogicos Separ aveis e Segundo-Cont aveis

Conjuntos densos em um espa co topol ogico Seja um espa co X dotado de uma topologia . Dizemos que um conjunto A X e um conjunto denso, ou conjunto -denso, em X se o fecho de A for igual a X , ou seja, se A = X . Em outras paavras, A e -denso em X se n ao houver outro conjunto -fechado que n ao X contendo A. A seguinte proposi ca o elementar eu til e ser a usada adiante. Proposi c ao 26.12 Seja (X, ) um espa co topol ogico. Um conjunto A X e -denso em X se e somente se para todo C , n ao-vazio, valer A C = . ca o 26.8, Prova. Suponhamos que A X seja -denso em X . Seja c C = A C . Como c A, vale pela Proposi p agina 1268, que todo -aberto que cont em c possui intersec ca o n ao-vazia com A. Mas C e -aberto e cont em c. Logo, A C = . Reciprocamente, suponhamos que A X seja tal que A C = para todo C . Se x X , e seja D um aberto arbitr ario que cont em x. Como A D = , segue da Proposi ca o 26.8, p agina 1268, que x A. Como x e um elemento arbitr ario de X , estabeleceu-se que A = X , provando que A e -denso em X .

Espa cos topol ogicos separ aveis Um espa co topol ogico (X, ) e dito ser um espa co topol ogico separ avel se possuir um subconjunto denso cont avel. Exemplo. A reta real com a topologia usual R e separ avel pois Q, o conjunto dos racionais e cont avel e denso em R. Vide abaixo. Espa cos topol ogicos segundo-cont aveis Um espa co topol ogico X e dito ser um espa co topol ogico segundo-cont avel (second countable) se possuir uma base cont avel. Pelo que vimos, se A for uma cole ca o cont avel de subconjuntos de X ent ao a topologia gerada por A possui uma base tamb em cont avel e e, portanto, segundo-cont avel. Vamos demonstrar a seguinte armativa: Proposi c ao 26.13 Todo espa co topol ogico segundo-cont avel e separ avel. Prova. Seja X um conjunto n ao-vazio dotado de uma topologia e suponhamos que esse espa co topol ogico seja segundocont avel. Seja B = {Bn , n N0 }, uma base cont avel em . Vamos supor que B n ao seja uma cole ca o nita, mas a argumenta ca o e analoga se B n ao o for. Podemos sem perda de generalidade supor que cada Bn B e n ao-vazio. Podemos, igualmente sem perda de generalidade, supor que cada elemento de B n ao se deixa escrever como uma uni ao nita de outros elementos de B, pois se houvesse algum Bj que pudesse ser escrito como uni ao nita de outros elementos de B, ent ao esse Bj poderia ser extraido de B sem que B deixasse de ser uma base no espa co topol ogico (X, ). Vamos formar conjuntos An , n N0 , cada um contendo um u nico elemento, da seguinte forma: A0 e formado por um elemento escolhido arbitrariamente em B0 e An , n 1, e formado por um elemento escolhido arbitrariamente em e o conjunto vazio (pelas considera co es do par agrafo Bn \ A0 An1 . Note-se que Bn \ B0 Bn1 nunca anterior) e, como Ak Bk para todo k < n, o conjunto Bn \ A0 An1 e igualmente n ao-vazio, o que permite denir o conjunto An . Observe-se tamb em que, por constru ca o, Am Bm para todo m e que An = Am para todos n, m N0 com n = m. a que A e um conjunto cont avel, j a que cada An possui um u nico elemento. Dena-se agora A := nN An . Claro est Vamos mostrar por absurdo que A e -denso em X . Suponha que haja um conjunto fechado F que cont em A e que seja um subconjunto pr oprio de X . Ent ao, C = X \ F e aberto, n ao-vazio e A C = . Isso implica An C = para todo n. Como C e aberto, existe, por hip otese, uma

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1272/2069

fam lia {Bnk , k N} B, tal que C = kN Bnk . Logo, para todo n N vale = An C = An kN Bnk = ( A B ). Logo, A B = para todo n e todo k . Isso e absurdo, pois, por constru c a o, vale para todo k que n nk n nk k N Ank Bnk . Logo, n ao pode existir F fechado contendo A e com F = X . Isso implica que A = X e, portanto, e denso em X . interessante notar que a rec E proca do proposi ca o acima n ao e verdadeira: h a espa cos separ aveis que n ao s ao segundocont aveis. Como exemplo, mostraremos que a topologia de Sorgenfrey e separ avel mas n ao e segundo-cont avel (p agina 1274). Tal, por em, n ao e verdade para espa cos m etricos em geral. Proposi c ao 26.14 Um espa co m etrico e separ avel se e somente se for segundo-cont avel. Na Proposi ca o 31.16, p agina 1427, trataremos de uma extens ao das arma co es acima. Prova da Proposi c ao 26.14. Pela Proposi ca o 26.13, resta-nos apenas mostrar que se (X, d) e um espa co m etrico separ avel, ent ao possui uma base enumer avel. Seja A um conjunto cont avel denso em X e seja B o conjunto de todas as bolas ca o de abertos abertas centradas em elementos de A com raio racional positivo: B := B (a, r), a A e r Q+ . A cole B e cont avel (por qu e?). Vamos provar que trata-se de uma base em X . Seja C um aberto contido em X . Para cada ponto a em A C (que e um conjunto n ao-vazio, pela Proposi ca o 26.12, p agina 1271) podemos achar um raio ra Q+ tal que B (a, ra ) est a inteiramente contido em C (pela deni ca o de conjunto aberto em um espa co m etrico). Vamos mostrar que C = B (a, ra ) , (26.13)
a C A

o que demonstra que todo aberto pode ser escrito como uni ao de elementos do conjunto cont avel B e, portanto, que B e uma base. Seja c C . Como A e denso em X , toda bola aberta B (c, ), > 0, cont em elementos de A (novamente pela Proposi ca o 26.12, p agina 1271). Se for sucientemente pequeno B (c, ) e B (c, /4) estar ao inteiramente contidas no aberto C . Logo, para um racional r com /4 < r < /2 teremos c B (a , r) para algum a B (c, /4) A, sendo que B (a , r) B (c, ) C (o fato que B (a , r) B (c, ) segue da desigualdade triangular). Lembrando que a C A e que podemos escolher /2 < ra , teremos B (a , r) B (a , ra ). Assim, c B (a , r) aC A B (a, ra ), provando (26.13).

A topologia R e segundo-cont avel Como comentamos logo acima, R e separ avel pois Q e cont avel e denso em R. Pela Proposi ca o 26.14, R e segundocont avel. A t tulo de ilustrar futuros desenvolvimentos, vamos no que segue provar esse fato de modo mais expl cito, exibindo uma base cont avel para R . Para isso, vamos mostrar que R pode ser gerada por uma cole ca o cont avel de subconjuntos de R. Esse fato e importante por v arias raz oes, uma delas conectada ` a - algebra de Borel e sua rela ca o com a - algebra de Lebesgue, que introduziremos quando falarmos da Teoria da Medida (vide Cap tulo 28). Para a R e b > 0 vamos denotar por B (a, b) a bola aberta de raio b centrada em a que, neste caso, e o intervalo aberto (a b, a + b) centrado em a com largura 2b. Vamos primeiramente ver que qualquer intervalo B (a, b), a R, b > 0, pode ser escrito como uma uni ao cont avel de intervalos abertos. Para isso, considere uma seq u encia si de n umeros racionais positivos tais que si < b mas tais que a seq u encia si converge a b quando i . Ent ao, e claro que B (a, b) =
iN

B (a, si ) ,

que e uma uni ao cont avel. Pela deni ca o, se A e um aberto n ao-vazio em R , A = R, ent ao para cada x A podemos encontrar um n umero (x) > 0 (que eventualmente depende de x) de forma que B (x, (x)) A. Para A aberto e x A vamos denotar por A (x) o maior n umero com essa propriedade, ou seja, A (x) = sup{b > 0, tal que B (x, b) A}.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1273/2069

Como A = R, A (x) e sempre nito para x A. (Por qu e?). bem claro ent E ao que A =
xA

B x, A (x) .

E. 26.57 Exerc cio. Por qu e? Vamos provar a seguinte armativa: A =

r A Q

B r, A (r) .

Para tal, seja A =

r A Q

B r, A (r) ,

suponha que A \ A = e seja w A \ A . Considere ent ao o conjunto aberto B (w, A (w)). Tomemos s B (w, A (w)) Q de tal forma que |s w| < A (w)/2 (isso e sempre poss vel. Por qu e?). Ent ao, teremos que A (w)/2 < A (s) < A (w) e, portanto w B (s, A (s)), mostrando que w A : um contradi ca o. Portanto A = A . Caso A = R podemos sempre escrever R =
r Q

B (r, p), para qualquer p > 0.

O que acabamos de provar e que todo aberto n ao-vazio A de R pode ser escrito como uma uni ao cont avel de intervalos abertos. Por outro lado, vimos tamb em que cada intervalo aberto B (r, A (r)) pode ser escrito ele mesmo como uma uni ao cont avel de intervalos abertos do tipo B (r, s) onde r e s > 0 s ao n umeros racionais. Seja R a cole ca o de todos os intervalos abertos do tipo B (r, s) com r, s Q e s > 0. A cole ca o R e claramente uma cole ca o cont avel e R R (pois todos esses intervalos s ao abertos). Logo [R] R , pois [R] e, por deni ca o, a menor topologia que cont em R. Por outro lado, qualquer topologia que contenha R cont em tamb em qualquer elemento que possa ser escrito como uni ao de elementos de R e, como vimos, todo aberto de R pode ser escrito como uma uni ao (cont avel) de elementos de R e e, conseq uentemente, um elemento de qualquer topologia que contenha R. Logo R [R]. Vemos, portanto, que R = [R] e, assim, R e o que se chama de uma topologia segundo-cont avel, pois tem uma base cont avel obtida tomando-se intersec co es nitas de elementos de R, como vimos acima. Para nalizar, vamos mostrar a seguinte identidade: M[R ] = M[R] , ou seja, vamos mostrar que a - algebra de Borel da reta real e a - algebra gerada por R coincidem. Como R R , e claro que R M[R ]. Da segue que M[R] M[R ], dado que M[R] e, por deni ca o, a menor - algebra que cont em R. Por outro lado, M[R] cont em (pela deni ca o de - algebra) qualquer conjunto que seja uma uni ao cont avel de elementos de R. Vimos acima que qualquer elemento de R tem essa propriedade. Logo R M[R] e, assim, M[R ] M[R], provando que M[R ] = M[R]. Os fatos aqui discutidos ser ao importantes quando apresentarmos a chamada - algebra de Lebesgue no Cap tulo 28, p agina 1300. A topologia de Sorgenfrey n ao e uma topologia m etrica Mostraremos agora que a Topologia de Sorgenfrey e separ avel mas n ao e segundo-cont avel e, portanto, n ao e m etrica. Para mostrar que a topologia de Sorgenfrey [S] e separ avel, provemos que Q e denso em R segundo [S]. Suponha que n ao seja. Ent ao, existiria z R e aberto em [S] contendo z que n ao cont em nenhum n umero racional. Como um tal aberto e uni ao de intersec co es nitas de intervalos semi-abertos de S, isso e imposs vel. Vamos agora mostrar que [S] n ao e segundo-cont avel. Suponhamos que B seja uma base para [S] e seja x R. Pela hip otese existe para cada x R um subconjunto Bx = {B , x } de B tal que [S] [x, ) =
x

(26.14)

B ,

com B Bx . Mas isso s o e poss vel se existir pelo menos um conjunto de Bx que cont em x. Escolhamos um tal claro que B(x) n conjunto e denotemo-lo B(x) . E ao pode conter nenhum y R com y < x (por que?). Logo, a

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 26

1274/2069

aplica ca o R x B(x) B e injetora12 , o que nos diz que a cardinalidade de B e pelo menos a cardinalidade de R. Isso mostra que B n ao pode ser cont avel. Como vimos acima (p agina 1272), um espa co m etrico e separ avel se e somente se for segundo-cont avel. Isso mostra que a topologia de Sorgenfrey n ao e uma topologia m etrica! Um espa co topol ogico segundo-cont avel n ao-Hausdor e (portanto) n ao-m etrico E. 26.58 Exerc cio-Exemplo. Um espa co topol ogico pode ser segundo-cont avel (e, portanto, separ avel, pela Proposi c ao 26.13, p agina 1271) sem ser Hausdorf e, portanto, sem ser m etrico. Considere-se a reta real com dupla origem, tratada no Exerc cio E. 31.9, p agina 1412. Mostre que a cole c ao de conjuntos compostos por todos os intervalos (a, b) com a, b Q e a < b em uni ao com a cole c ao de todos os conjuntos da forma (a, 0) {p} (0, b), com a, b Q e a < 0 < b e uma base cont avel naquele espa co topol ogico. Isso estabeleceu que a reta real com dupla origem e um espa co topol ogico segundo-cont avel. Por em, esse espa co topol ogico n ao pode ser metrico, por n ao ser Hausdor, como discutido no Exerc cio E. 31.9, p agina 1412.

26.4.1

A Segundo-Contabilidade como Propriedade Herdada

A propriedade de ser segundo-cont avel e uma das propriedades denidoras na no ca o de variedade topol ogica (vide Cap tulo 32, p agina 1483). Vamos aqui mostrar que essa propriedade e preservada pela tomada de topologias induzidas e pelo produto (nito!) de espa cos topol ogicos, dois fatos simples mas relevantes na constru ca o de variedades topol ogicas. Espa cos segundo-cont aveis e a topologia induzida Proposi c ao 26.15 Seja (X, ) um espa co topol ogico e seja Y X . Vamos supor Y n ao-vazio e vamos considerar em Y a topologia I induzida pela topologia . Ent ao, se (X, ) for segundo-cont avel o espa co topol ogico (Y, I ) tamb em ser a segundo-cont avel.

Prova. Por deni ca o, I e composto por todos os conjuntos forma A Y com A . Se e segundo-cont avel, ent ao possui uma base cont avel B = {An , n N}. Assim, todo A e uma uni ao de elementos de B. Seja evidente que todo conjunto da forma A Y com A C := {An Y I , An B, n N}. E e uni ao de elementos de C. Logo, C e uma base cont avel em (Y, I ). Devido a esse resultado, costuma-se dizer que a propriedade de segundo-contabilidade e herdada por uma topologia relativa. Espa cos segundo-cont aveis e o produto nito de espa cos topol ogicos Proposi c ao 26.16 Para algum m N, sejam (Xa , a ), a = 1, . . . , m, espa cos topol ogicos segundo-cont aveis. Ent ao, e tamb em segundo-cont avel. o espa co produto13 X1 Xm , 1 m elementar constatar que Prova. Para cada a = 1, . . . , m seja Ba = {Aa avel em a . E n a , n N} uma base cont a a m m 1 e uma base cont avel em 1 m . C := An1 Anm , com An B para cada a e (n1 , . . . , nm ) N Devido a esse resultado, costuma-se dizer que a propriedade de segundo-contabilidade e herdada por produtos (nitos!) de espa cos topol ogicos.

12 Como 13 Para

x B(x) e y B(x) se y < x, segue que inf(B(x) ) = x para todo x R, o que implica injetividade. a deni ca o, vide Se ca o 26.2.4, p agina 1263 ou Se ca o 31.6, p agina 1467.