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

Deni co es e Propriedades B asicas

Conte udo
19.1 Deni co es, Propriedades Elementares e Exemplos . . . . . . . . . . . . . . 965 19.2 Algumas Constru co es Especiais e Exemplos . . . . . . . . . . . . . . . . . 970 19.2.1 Topologias e - algebras Geradas . . . . . . . . . . . . . . . . . . . . . . . . . 970 19.2.2 Bases de Espa cos Topol ogicos . . . . . . . . . . . . . . . . . . . . . . . . . . . 974 19.2.3 Topologias e - algebras Induzidas . . . . . . . . . . . . . . . . . . . . . . . . 980 19.2.4 Topologias e - algebras Produto . . . . . . . . . . . . . . . . . . . . . . . . . 982 19.3 Interior e Fecho de Conjuntos em Espa cos Topol ogicos . . . . . . . . . . . 982 19.3.1 Fecho de Conjuntos em Espa cos M etricos . . . . . . . . . . . . . . . . . . . . 986

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 17, e o segundo e moldado de forma a permitir uma deni ca o consistente do conceito intuitivo de medida (como comprimento, a rea, 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 a reas 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. Dado um conjunto X (doravante considerado n ao-vazio), denota-se por (X ) a cole ca o de todos os sub-conjuntos de X . Assim, em s mbolos, podemos expressar o fato de um conjunto A ser um natural que X (X ) e convenciona-se que sub-conjunto de X escrevendo A X ou A (X ). E (X ).

Estamos muitas vezes interessados em estudar propriedades de certas cole co es de sub-conjuntos de X (ou seja de sub-conjuntos de (X )) que possuem certas caracter sticas de interesse. H a dois tipos de cole co es de sub-conjuntos que merecem particular aten ca o: as chamadas topologias e as chamadas - algebras. Vamos a `s deni co es.

964

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

965/1355

19.1

Deni co es, Propriedades Elementares e Exemplos

Topologia Uma cole ca o de subconjuntos de X , ou seja, seguintes requisitos forem satisfeitos:

(X ), e dito ser uma topologia em X se os

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 . - algebra Uma cole ca o M de subconjuntos de X , ou seja, M (X ), e dita ser uma -a lgebra 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

} e uma cole ca o enumer avel arbitr aria de elementos de M, ent ao

n

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, um espa co mensur avel e um par (X, M) onde X e um conjunto n ao-vazio e M (X ) e uma - algebra em 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 1 2 3 do trabalho de v arios indiv duos, como Cantor , Fr echet , Riesz e Hausdor4 . A no ca o de

Georg Ferdinand Ludwig Philipp Cantor (1845-1918). Maurice Ren e Fr echet (1878-1973). 3 Frigyes Riesz (1880-1956). 4 Felix Hausdor (1868-1942). 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.
2

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

966/1355

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 a lgebra (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 um elemento neutro, a saber, 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 neutro (pois sempre A = ). 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 conjuntos. Aqui o ponto importante e a enumerabilidade e, da , usar-se essa nomenclatura com o s mbolo em outras a reas da matem atica onde 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 ). Se um subconjunto F X e tal que F c , ent ao F e dito ser um conjunto 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.

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). Ser a para conjuntos mensur aveis que se denir a o conceito de medida.

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
a

deni ca o de - algebra.

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 = c c c c c (A B ) . Pelo 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 tamb em o e. Por m, o complemento de Ac B c pertence a M, novamente pelo item 2 da deni ca o de - algebra.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

967/1355

Au ltima arma ca o estende-se facilmente para intersec co es cont aveis de conjuntos mensur aveis: se M e uma - algebra em X e An M, n , ent ao n An M. Isso segue facilmente de

An =
n

(An )
n

e dos itens 2 e 3 da deni ca o de - algebra. Exemplos b asicos de topologias Seja X um conjunto n ao-vazio.

Considere o conjunto, formado por apenas dois elementos, dado por = {, X }. Ent ao e chamada de topologia indiscreta ou trivial e uma topologia (verique!). E e a menor topologia que se pode formar em X .

Seja a cole ca o e todos os subconjuntos de X : = (X ). Ent ao e uma topologia (verique!). chamada de topologia discreta e E e a maior topologia que se pode formar em X . Pelo Exerc cio E. 17.20, p agina 896, (X ) e uma topologia m etrica.

Seja X um espa co m etrico com uma m etrica d e seja d o 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 vimos em exerc cios na Se ca o 17.2, p agina 895, d e, de fato, uma topologia, chamada de topologia induzida pela m etrica d.

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 usae auto-explicativo: quase toda a An alise Real e feita com o uso remos aqui o s mbolo . Esse nome 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 (e da topologia trivial e da topologia discreta). Exemplos ser ao vistos adiante.

E. 19.1 Exerc cio. Mostre, seguindo as deni co es, que todo intervalo (a, b) com a < b elemento de e que todo intervalo [a, b] com a b e um conjunto fechado em rela c ao a .

e um

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 trivial.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

968/1355

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!).

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 Lebesgue 5 , a qual trataremos com certo detalhe no Cap tulo 21. E. 19.2 Exerc cio. Sejam , e tr es objetos distintos (por exemplo, tr es letras distintas do alfabeto grego). Mostre que M = e uma - algebra em X = {, , }. E. 19.3 Exerc cio. Sejam , e tr es objetos distintos (por exemplo, tr es letras distintas do alfabeto grego). Mostre que 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 ( ) . E. 19.4 Exerc cio. Mostre que se F ( ) ent ao F ( ) = . E. 19.5 Exerc cio. Mostre que se F ( ) ent ao = F ( ). 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. E. 19.6 Exerc cio. Seja a reta real e X o seguinte subconjunto de : X = (0, 1) (1, 2). Mostre que a cole c ao de 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 .

Henri L eon Lebesgue (1875-1941).

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

969/1355

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. 19.7 Exerc cio muito importante. Justique as armativas acima. co es de conjuntos fechados na reta real (na topologia usual): E. 19.8 Exerc cio. Sejam as seguintes cole {Fn = [1/n, 1 + 1/n], n , n > 0} e {Gn = [1/n, 1 1/n], n , n > 1}. Mostre explicitamente que Fn e um conjunto fechado mas que Gn e um conjunto aberto. Note que Gn

n , n>0

n , n>1

n , n>1

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 . E. 19.9 Exerc cio muito importante. Justique essa u ltima armativa. 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 o bvias 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.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

970/1355

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. 19.10 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. 19.11 Exerc cio. Verique que cf cc . Para que tipo de conjunto X podemos ter cf = cc ? A topologia co-cont avel tem a seguinte propriedade incomum. 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 \ C 1 e B = X \ C2 , para dois subconjuntos cont aveis C1 e C2 de X . Da , A B = (X \ C1 ) (X \ C2 ) = c c 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 interceptam. 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 1030). Sejam A e B dois abertos n ao vazios quaisquer da topologia co-nita de um E. 19.12 Exerc cio. conjunto X e suponha que X n ao seja um conjunto nito. Mostre, ent ao, que A B sempre e um conjunto n ao vazio.

19.2
19.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 e { , 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 19.1 O subconjunto I de (X ) dado por I =

e tamb em uma topologia em X .

I

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

971/1355

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 .
J

Para tal, note-se que se {A , J } e uma cole ca o de elementos de I ent ao cada A e um elemento de cada . Da , para cada particular segue que A e tamb em um elemento de (pois e uma
J

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. 19.13 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 ao = [A]. E. 19.14 Exerc cio. Mostre que se A e uma topologia ent ao [A] = A. E. 19.15 Exerc cio. Seja X um conjunto e A X . Mostre que [{A}] = {, A, X }. E. 19.16 Exerc cio. Seja X um conjunto 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]. E. 19.17 Exerc cio. Seja X um conjunto e A = {{x, y }, x, y X e x = y } a cole c ao de subconjuntos de X formada apenas por todos os conjuntos de dois elementos distintos de X . Mostre ent ao que [A] ea topologia discreta de X . O m etodo de gerar topologias descrito acima e muito usado e ser a reencontrado adiante em outros exemplos. Mais Sobre a Topologia Usual de

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

972/1355

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 com a < b. Vamos provar que = [A], ou seja, que a topologia usual e id entica a ` topologia gerada pela cole ca o de todos os intervalos abertos de .

J a sabemos que A , pois todo intervalo do tipo (a, b), a < b, e aberto de . Como por deni ca o [A] e a menor topologia que cont em A, tem-se que [A] . Tudo o que precisamos fazer, ent ao, e provar que [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 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 =
xB

(x (x), x + (x)).

Como todo intervalo do tipo (x (x), x + (x)) e um elemento de A, segue que B . Como isso vale para todo B isso signica que . 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 [A], como quer amos mostrar.

A Topologia de Sorgenfrey de

Seja S a cole ca o de todos os intervalos semi-abertos de do tipo [a, b) com a < b, a, b 6 topologia [S] e denominada topologia de Sorgenfrey dos reais.

. A

E. 19.18 Exerc cio. Mostre que e um subconjunto pr oprio de [S]. Sugest ao: mostre que todo intervalo aberto (a, b), a < b, e um elemento de [S] e conclua a partir da que [S]. Para ver que [S] \ n ao e vazio, note apenas que um um intervalo semiaberto [a, b), a < b e um elemento de [S], mas n ao de .

Note ainda que [S] e menor que a topologia discreta n ao s ao elementos de [S].

( ) pois intervalos fechados [a, b], a b

E. 19.19 Exerc cio. Justique esta u ltima armativa. Assim, vimos nos dois u ltimos exerc cios que pr oprias.

[S]

( ), onde todas essas inclus oes s ao

A topologia [S] e rica em conjuntos que s ao simultaneamente abertos e fechados. E. 19.20 Exerc cio. Mostre que na topologia de Sorgenfrey de a<b e simultaneamente aberto e fechado.

todo intervalo do tipo [a, b) com

Robert Sorgenfrey (1915 - 1996).

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

973/1355

E. 19.21 Exerc cio. O u ltimo 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 A c = [a, b] n ao e aberto segundo [S]. 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 a lgebras. Seja X um conjunto e {M , I } uma cole ca o de - algebras em X (cada uma indexada por um elemento de um conjunto de ndices I arbitr ario). Como cada - algebra e por si um subconjunto de (X ) podemos considerar uni oes e intersec co es de - algebras.

Em particular, para uma cole ca o gen erica de - algebras como {M , I }, temos o seguinte resultado importante: Proposi c ao 19.2 O subconjunto MI de (X ) dado por MI =

M e tamb em uma - algebra em X .

I

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 c A MI ent ao A M para todo I e, portanto A M para todo I pois cada M e uma c - algebra. Assim, segue que A MI . Por m, vamos provar que se {An , n

} e uma cole ca o cont avel de elementos de MI ent ao

n

An

tamb em o e. Se {An , 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
n

segue imediatamente que

n

An MI , que e o que 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 a menor - algebra que cont em A como E. 19.22 Exerc cio. Mostre que A M[A] e que M[A] subconjunto, ou seja, se houver uma - algebra M M[A] que cont em A, ent ao M = M[A]. E. 19.23 Exerc cio. Mostre que se A e uma - algebra ent ao M[A] = A.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

974/1355

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 Borel 7 associada a ` topologia em X e seus elementos s ao chamados de conjuntos de Borel ou Borelianos. E. 19.24 Exerc cio. Considere a reta real . 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[ ]. Que outros elementos de M[ ] voc e poderia identicar?

Como veremos, as - algebras de Borel desempenham um papel importante na Teoria da Medida.

19.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 de 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]. Provar isso e bem simples. Primeiramente note-se que, como e uma topologia que cont em B e [B] e, por deni ca o, a menor topologia com essa propriedade, ent ao segue que [B] . Por outro lado, como vimos, se A ent ao A e a 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]. Tome-se o seguinte exemplo: X = e A = {(i/2, i/2 + 1), i }. 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. 19.25 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 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
7

F elix Edouard Justin Emile Borel (1871-1956).

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

975/1355

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 de A que discutiremos a seguir. Considere a cole ca o AI formada por todos os conjuntos que podem ser escritos como um intersec ca o 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. claro pela deni E 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 A I : 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 ) ,

que claramente e um elemento de U , pois os conjuntos A B s ao elementos de AI . 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 .

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

976/1355

Por outro lado, temos tamb em que os elementos de U s ao uni oes de elementos de A I 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]. Espa cos Topol ogicos Separ aveis e Espa cos Topol ogicos Segundo-Cont aveis Seja um espa co X dotado de uma topologia . Dizemos que um conjunto A X e denso em X se o fecho de A for igual a X , ou seja, se n ao houver outro conjunto fechado que n ao X contendo A. Um espa co topol ogico X e dito ser separ avel se possuir um subconjunto denso cont avel. Exemplo. A reta real com a topologia usual e separ avel pois e denso em . Vide abaixo.

, o conjunto dos racionais e cont avel

Um espa co topol ogico X e dito ser 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 mostrar a seguinte armativa: Proposi c ao 19.3 Todo espa co segundo-cont avel e separ avel.

Prova. Seja X segundo-cont avel e Bn , n , uma base em X . Vamos formar conjuntos An , n , 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 Bn \ A0 An1 . Seja A := An . Vamos

mostrar que A e denso em X . Suponha que haja um conjunto fechado F que cont em A e que seja menor que X . Ent ao C = X \ F e aberto e A C = . Ou seja, An C = para todo n. Isso signica que Bn C = para todo n (por que?). Mas isso n ao e poss vel se os Bn s formam uma base e C e aberto, pois nesse caso deve haver uma sub-cole ca o cont avel de Bn s cuja uni ao e C . Logo A 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 segundo-cont aveis. Como exemplo, mostraremos que a topologia de Sorgenfrey e separ avel mas n ao e segundo-cont avel (p agina 979). Tal, por em, n ao e verdade para espa cos m etricos em geral. Proposi c ao 19.4 Um espa co m etrico e separ avel se e somente se for segundo-cont avel.

Prova. Pela proposi ca o anterior resta-nos apenas mostrar que se X e um espa co m etrico separ avel ent ao tem uma base enumer avel. Seja A um conjunto cont avel denso em X e seja o conjunto de todas as bolas centradas em elementos de A com raio racional positivo: B (a, r ), a A e r + . O cole ca o de todas essas bolas e cont avel (por que?). Vamos provar que e uma base em X . Seja C um aberto contido em X . Para cada ponto a em A C podemos achar um raio ra tal que B (a, ra ) est a inteiramente

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

977/1355

contido em C (pela deni ca o de conjunto aberto em um espa co m etrico). Vamos mostrar que C =
aC A

B (a, ra ).

e denso em X , toda bola Suponha que haja z C que n ao esteja em aC A B (a, ra ). Como A aberta B (z, ) cont em elementos de A (doutra forma seu complemento seria fechado e conteria A, o que n ao e poss vel se A e denso). Em particular se for sucientemente pequeno B (z, ) e B (z, /4) estar ao inteiramente contidas em C . Logo, para um racional r com /4 < r < /2 teremos z B (a , r ) para algum a B (z, /4) A sendo que B (a , r ) B (z, ) C . Lembrando que a C A e que podemos escolher /2 < ra , teremos B (a , r ) B (a , ra ). Assim, z B (a , r ) aC A B (a, ra ). A Topologia e Separ avel

Vamos mostrar que e separ avel mostrando explicitamente que e segundo-cont avel e para isso vamos mostrar que pode ser gerada por uma cole ca o cont avel de subconjuntos de . 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 21).

Para a 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 , b > 0, pode ser escrito como uma uni ao cont avel de intervalos abertos. Para isso considere uma seq u encia s i 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) =
i

B (a, si ),

que e uma uni ao cont avel. Pela deni ca o, se A e um aberto n ao-vazio em , A = , 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}. Como A = , A (x) e sempre nito para x A. (Por qu e?). bem claro ent E ao que

A =
xA

B (x, A (x)).

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

r A

B (r, A (r )).

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

978/1355

Para tal, seja A =

r A

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 )) 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 =

podemos sempre escrever

=
r

B (r, p),

para qualquer p > 0. ao O que acabamos de provar e que todo aberto n ao vazio A de pode ser escrito como uma uni 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.

ca o R Seja R a cole ca o de todos os intervalos abertos do tipo B (r, s) com r , s e s > 0. A cole e claramente uma cole ca o cont avel e R (pois todos esses intervalos s ao abertos). Logo [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 ao (cont avel) de elementos de R e e, e, como vimos, todo aberto de pode ser escrito como uma uni conseq uentemente, um elemento de qualquer topologia que contenha R. Logo [R].

Vemos, portanto, que

= [R]

e, assim, 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[ ] = M[R],

(19.1)

ou seja, vamos mostrar que a - algebra de Borel da reta real e a - algebra gerada por R coincidem. Como R , e claro que R M[ ]. Da segue que M[R] M[ ], 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 tem essa propriedade. Logo M[R] e, assim, M[ ] M[R], provando que M[ ] = M[R].

Os fatos aqui discutidos ser ao importantes quando apresentarmos a chamada - algebra de Lebesgue no Cap tulo 21. 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.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

979/1355

Para mostrar que a topologia de Sorgenfrey [S] e separ avel, provemos que e denso em segundo [S]. Suponha que n ao seja. Ent ao existiria z 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 . Pela hip otese existe um subconjunto B0 = {B , } de B tal que

[S]

[x, ) =

B ,

com B B0 . Mas isso s o e poss vel se existir pelo menos um conjunto de B0 que cont em x. Denotemo ca o lo B(x) . E claro que B(x) n ao pode conter nenhum y com y < x (por que?). Logo, a aplica x B(x) B e injetora, o que nos diz que a cardinalidade de B e pelo menos a cardinalidade de . Isso mostra que B n ao pode ser cont avel.

Como vimos acima (p agina 976), 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! A Topologia Gerada por um Ordenamento Total Seja X um conjunto no qual est a denida uma rela ca o de ordem total . Se a, b X dizemos que a < b se a b mas a = b. Fixados a, b X com a < b denamos (a, b) := {x X | a < x e x < b}, (a, ) := {x X | a < x}, (, b) := {x X | x < b}. Seja A a cole ca o A := Alim A A , com Alim := {(a, b), para todos a, b X com a < b} , A := {(a, ), para todo a X } , A := {(, b), para todo b X } . A topologia [A] e denominada topologia gerada pelo ordenamento total . E. 19.27 Exerc cio. Mostre que a topologia gerada pelo ordenamento usual da reta real coincide com a topologia usual da reta. aco de E. 19.28 Exerc cio. Mostre que a topologia gerada pelo ordenamento lexicogr 32) e uma topologia Hausdor.

(vide p agina

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

980/1355

19.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 }. 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 ent ao 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 A Y . Pelas hip oteses, cada A e da forma por um conjunto arbitr ario de ndices I ), ent ao A = Y T com T e portanto A =
I 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 (pela topologia ). c ao usada acima, X = . E. 19.29 Exerc cio. Verique que, usando a mesma nota E. 19.30 Exerc cio. Seja Y = [0, 1] e seja a topologia usual de . Mostre que conjuntos da forma [0, x) com 0 < x 1 s ao abertos na topologia Y induzida em Y por . Mostre que conjuntos da forma (x, 1] com 0 x < 1 s ao abertos na topologia Y induzida em Y por .

Para o estudante e importante ver que, no exerc cio acima, nem [0, x) nem (x, 1] s ao abertos em ! Isso mostra que topologias induzidas podem trazer elementos novos ao jogo.

E. 19.31 Exerc cio. Mostre que a topologia Y do exerc cio anterior e igual ` a topologia induzida em Y pela m etrica d(x, y ) = |y x|.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

981/1355

E. 19.32 Exerc cio. Seja Y = e seja a topologia induzida em conjunto de um elemento {r } com r e um conjunto fechado segundo .

por . Mostre que todo

Essa topologia do u ltimo exerc cio tem propriedades curiosas. Seja x um n umero irracional e seja o conjunto = (, x) . Ent ao e ao mesmo tempo aberto e fechado em . O fato que e aberto e evidente pois (, x) e aberto em . O fato que e fechado segue da constata ca o c que o complemento de em e o conjunto = [x, ) e que [x, ) = (x, ) pois x e c irracional. Assim, e aberto em pois (x, ) e aberto em . Logo , que e o complemento de c nos racionais, e fechado por .

E. 19.33 Exerc cio. Seja Y = e seja a topologia induzida em por . Mostre que o intervalo aberto de racionais {x , e < x < } e um conjunto aberto e fechado em .

Seja X um conjunto com uma topologia e considere Y X e a topologia E. 19.34 Exerc cio. induzida por em Y : Y . Considere agora um terceiro conjunto Z com Z Y X . Podemos, em princ pio, construir duas topologias induzidas 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. 19.35 Exerc cio. Seja Y = (0, 1) (1, 2) munido da topologia Y induzida pela topologia . 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 a an aloga a `quela 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 caso da topologia induzida. Queremos agora provar que se A M Y ent ao seu complemento em Y , Ac = Y \ A, tamb em 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 ent ao An tamb em o e.

} e uma fam lia enumer avel de elementos de MY

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

982/1355

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

n

(Y Mn ) = Y
n

Mn .
n

Como
n

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.

19.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, [18]), mas vamos nos restringir por ora somente a ` sua deni ca o para o caso de produtos cartesianos nitos. Seja {X1 , . . . , Xn } uma cole ca o nita de conjuntos e seja, para cada a In = {1, . . . , n}, a uma n topologia em 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 X que sejam da forma aIn Aa onde Aa a , ou seja, cada Aa e um aberto em Xa segundo a topologia a . Ent ao a topologia gerada por B, [B] e chamada de topologia produto dos espa cos topol ogicos Xa , a . co 2 = e considere que cada fator e munido da topologia E. 19.36 Exerc cio. Seja o espa usual . Mostre que a topologia produto obtida em 2 e id entica ` a topologia m etrica usual de 2 denida pela m etrica usual d(x, y ) = (y1 x1 )2 + (y2 x2 )2 ,

onde x = (x1 , x2 ) e y = (y1 , y2 ). 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 e mensur avel em Xa segundo a - algebra Ma . Ent ao a aIn Ma onde Ma Ma , ou seja, cada Ma - algebra gerada por D, M[D] e chamada de - algebra produto das - algebras M a .

19.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.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

983/1355

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 } 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: B :=
F FB

F.

O conjunto B e chamado de fecho do conjunto B na topologia e e, pela pr opria deni ca o, um conjunto fechado. e o menor conjunto fechado que E. 19.37 Exerc cio. Pode-se dizer que o fecho de um conjunto B cont em B . Justique isso em face da deni c ao dada acima de B . E. 19.38 Exerc cio importante. Um conjunto B e fechado se e somente se B = B . Prove isso. Conclui-se desse exerc cio que em qualquer espa co topol ogico X tem-se = e X = X . E. 19.39 Exerc cio. Seja X = . A tabela abaixo mostra o fecho dos conjuntos (a, b), [a, b), [a, b] e {a}, com < a < b < , em v arias topologias. Mostre cada um dos casos.

I : (a, b) =

[a, b) =

[a, b] =

{a} =

cf ( ) : (a, b) =

[a, b) = [a, b) =

, ,

[a, b] = [a, b] =

, ,

{a} = {a}. {a} = {a}.

cc ( ) : (a, b) =

: (a, b) = [a, b],

[a, b) = [a, b], [a, b] = [a, b], {a} = {a}.

[S] : (a, b) = [a, b), [a, b) = [a, b), [a, b] = [a, b], {a} = {a}.

( ) : (a, b) = (a, b), [a, b) = [a, b), [a, b] = [a, b], {a} = {a}.

Acima, I = {, } e a topologia indiscreta de , cf ( ) e a topologia co-nita de co-cont avel de , e a topologia usual de , [S] e a topologia de Sorgenfrey de e a topologia discreta de .

, cc ( ) e a topologia (p agina 972) e ( )

Note no exerc cio acima que as topologias escolhidas est ao postas em ordem crescente de inclus ao: I cf ( ) cc ( ) [S] ( ).

O caso do conjunto (a, b) (e os outros) ilustra claramente um fato importante, a saber, que quanto maior a topologia menor e o fecho de um dado conjunto.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

984/1355

E. 19.40 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 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 } 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 := A.
AAB

e, pela pr opria deni ca o, um O conjunto B e chamado de interior do conjunto B na topologia e conjunto aberto. E. 19.41 Exerc cio. Pode-se dizer que o interior de um conjunto B e o maior conjunto aberto contido 0 em B . Justique isso em face da deni c ao dada acima de B . E. 19.42 Exerc cio. Um conjunto B e aberto se e somente se B = B 0 . Prove isso. E. 19.43 Exerc cio. Seja X = . A tabela abaixo mostra o interior dos conjuntos (a, b), [a, b), [a, b] e {a}, com < a < b < , em v arias topologias. Mostre cada um dos casos.

I : (a, b)0 = , cf ( ) : (a, b)0 = ,

[a, b)0 = , [a, b)0 = , [a, b)0 = ,

[a, b]0 = , [a, b]0 = , [a, b]0 = ,

{a}0 = . {a}0 = . {a}0 = .

cc ( ) : (a, b)0 = ,

: (a, b)0 = (a, b), [a, b)0 = (a, b), [a, b]0 = (a, b), {a}0 = . [S] : (a, b)0 = (a, b), [a, b)0 = [a, b), [a, b]0 = [a, b), {a}0 = .

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

{a}0 = {a}.

O caso do conjunto [a, b] ilustra claramente um fato importante, a saber, que quanto maior a topologia maior e o interior de um dado conjunto. E. 19.44 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 ) .

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

985/1355

Por m, note que para qualquer conjunto B X vale sempre, em qualquer topologia , que B 0 B B.

Fronteira ou Bordo Para B X gen erico, denamos a sua fronteira ou bordo (na topologia ) como sendo o conjunto B := B \ B 0 = B (B 0 )c . Dessa deni ca o e claro que B e sempre um conjunto fechado (por que?). E. 19.45 Exerc cio. Seja X = . A tabela abaixo mostra o bordo dos conjuntos (a, b), [a, b) [a, b] {a}, com < a < b < , em v arias topologias. Mostre cada um dos casos.

I : (a, b) =

[a, b) =

[a, b] =

{a} =

cf ( ) : (a, b) =

[a, b) = [a, b) =

, ,

[a, b] = [a, b] =

, ,

{a} = {a}. {a} = {a}.

cc ( ) : (a, b) =

: (a, b) = {a, b}, [a, b) = {a, b}, [a, b] = {a, b}, {a} = {a}. [S] : (a, b) = {a},

[a, b) = , [a, b) = ,

[a, b] = {b}, [a, b] = ,

{a} = {a}. {a} = .

( ) : (a, b) = ,

E. 19.46 Exerc cio. Seja B o fecho de um conjunto qualquer B , segundo uma topologia . Seja uma outra topologia tal que . Mostre que B B . Note que a armativa do u ltimo exerc cio e conrmada pela tabela do pen ultimo. 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. Muitos resultados importantes em Matem atica decorrem dessa observa ca o. Vamos nos preparar para apresentar esse fato, assim como outros em espa cos topol ogicos gerais. Seja X um conjunto e uma topologia em X (n ao necessariamente m etrica). Seja tamb em B um subconjunto qualquer n ao-vazio de X .

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

986/1355

Proposi c ao 19.5 Seja B X , sendo X dotado de uma topologia . Um ponto x X e um elemento de B se e somente se a seguinte propriedade for v alida: todo aberto A x que cont em o ponto x tem uma intersec ca o n ao-vazia com B , ou seja, B = {x X | Ax B = , Ax com x Ax }.

em x e tal que Ax B = . Isso implica que Prova. Suponha que x B e que haja aberto Ax que cont c B Ax B , pois c B Ac x B Ax = B. Assim, B Ac e um conjunto fechado que cont em B e, portanto, B B Ac x x , dado que o fecho de B c e o menor fechado que cont em B . Isso, por sua vez, diz que B Ax , o que signica que B Ax = . Mas isso contradiz as hip oteses de partida que diziam que x B e x Ax . Portanto, se x B ent ao Ax B = para todo aberto Ax que cont em x. Suponhamos agora que para um ponto x X valha que Ax B = para todo aberto Ax que cont em c x. Se supormos que x B ent ao x B , que e um aberto. Assim, dever amos ter, pelas hip oteses que c B B = . Como B B isso e imposs vel. Assim, supor que Ax B = para todo aberto Ax que cont em x implica que x B . Isso completa a demonstra ca o da proposi ca o.

19.3.1

Fecho de Conjuntos em Espa cos M etricos

Fecho de Conjuntos em Espa cos M etricos Seja X um espa co m etrico com m etrica d e d a topologia induzida em X por essa m etrica. Seja B X . Vamos apresentar agora uma caracteriza ca o importante do fecho de B , que anunciamos acima. Uma seq u encia {xn , n } de elementos de X e dita convergir na m etrica d a um elemento x X se para todo > 0 existir 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 na se ca o sobre continuidade e converg encia em espa cos topol ogicos. Temos ent ao a seguinte proposi ca o: Proposi c ao 19.6 Um ponto x X pertence ao fecho na topologia d de um subconjunto B de X 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

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 19

987/1355

que, para tais xn s tem-se xn Ax tamb em. 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 19.5, 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. , podemos escolher, para Como x B vale que Bd (x, 1/n) B = para todo n , n > 0. Da cada n , n > 0, 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 e Completeza Seja M um espa co m etrico em rela ca o a 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 X . Como X e completo existe f X ao qual a seq u encia converge. Mas, devemos ter, pelo que vimos, f F = F . Assim, toda seq u encia de Cauchy em rela ca o a d em F converge a um elemento 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 X 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 X e uma seq u encia de Cauchy em X 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: Proposi c ao 19.7 Se X e um espa co m etrico completo em rela ca o a uma m etrica d, ent ao F X e fechado na topologia induzida por essa m etrica se e somente se F for igualmente completo em rela ca o a ` m etrica d.