Cap tulo 22 Espaos Topolgicos e Espaos Mensurveis.

c o c a Denies e Propriedades Bsicas co a

Contedo u
22.1 Denies, Propriedades Elementares e Exemplos . . . . co 22.2 Algumas Construes Especiais e Exemplos . . . . . . . co 22.2.1 Topologias e -lgebras Geradas . . . . . . . . . . . . . . a 22.2.2 Bases de Espaos Topolgicos . . . . . . . . . . . . . . . . c o 22.2.3 Topologias e -lgebras Induzidas . . . . . . . . . . . . . a 22.2.4 Topologias e -lgebras Produto . . . . . . . . . . . . . . a 22.3 Interior e Fecho de Conjuntos em Espaos Topolgicos . c o 22.3.1 Fecho de Conjuntos em Espaos Mtricos . . . . . . . . . c e 22.4 Espaos Topolgicos Separveis e Segundo-Contveis . . c o a a . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1000 . 1005 . . 1005 . . 1009 . . 1011 . . 1013 . 1013 . . 1019 . 1020

ntroduziremos neste cap tulo dois conceitos de importncia fundamental em Matemtica, o conceito de Espao a a c Topolgico e o conceito de Espao Mensurvel. O primeiro conceito uma generalizaao do conceito de Espao o c a e c c Mtrico, introduzido no Cap e tulo 20, e o segundo moldado de forma a permitir uma deniao consistente e c do conceito intuitivo de medida (como comprimento, rea, volume etc.) de um conjunto. De modo muito a simplicado, podemos dizer que Topologias desempenham um papel quando se faz necessrio o emprego de nooes como a c as de convergncia e continuidade, enquanto que Espaos Mensurveis so especialmente relevantes na teoria da integraao e c a a c e na teoria de probabilidades. As nooes de Espao Topolgico e Espao Mensurvel penetram reas da Matemtica to c c o c a a a a variadas quanto a Anlise, a Anlise Funcional, a Geometria Diferencial, a Teoria das Equaoes Diferenciais, a Teoria de a a c Grupos, a Teoria de Probabilidades e outras, atravs das quais exercem tambm sua inuncia sobre praticamente toda e e e a F sica. Falaremos um pouco mais sobre o signicado e sobre a importncia de cada conceito adiante. a Dado um conjunto X (doravante considerado no-vazio), denota-se por (X) a coleao de todos os subconjuntos de a c X. Assim, em s mbolos, podemos expressar o fato de um conjunto A ser um subconjunto de X escrevendo A X ou A (X). E natural que X (X) e convenciona-se que (X). Como sempre, se A X, denotamos por Ac o conjunto X \ A, dito o complementar de A em X. Estamos muitas vezes interessados em estudar propriedades de certas coleoes de subconjuntos de X (ou seja de c sticas de interesse. H dois tipos de coleoes de subconjuntos que a c subconjuntos de (X)) que possuem certas caracter merecem particular atenao: as chamadas topologias e as chamadas -lgebras. Vamos `s denioes. c a a c

22.1

Denies, Propriedades Elementares e Exemplos co

Topologia Uma coleao de subconjuntos de X, ou seja, (X), dito ser uma topologia em X se os seguintes requisitos c e forem satisfeitos: 1. e X . 2. Se A e B ento A B . a 3. Se I um conjunto arbitrrio de e a ndices e A para todo I ento a
I

A tambm um elemento de . e e

1000

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1001/1507

-lgebra a Uma coleao M de subconjuntos de X, ou seja, M (X), dita ser uma -lgebra em X se os seguintes requisitos c e a forem satisfeitos: 1. M e X M. 2. Se A M ento Ac X \ A M. a 3. Se {An , n N} uma coleao enumervel arbitrria de elementos de M, ento e c a a a
nN

An tambm um elemento de e e

M. Comentrios e nomenclatura a Um conjunto X dotado de uma topologia dito ser um espao topolgico. De um modo um pouco mais tcnico, e c o e um espao topolgico um par (X, ) onde X um conjunto no-vazio e (X) uma topologia em X. c o e e a e Um conjunto X dotado de uma -lgebra M dito ser um espao mensurvel. De um modo um pouco mais tcnico, a e c a e um espao mensurvel um par (X, M) onde X um conjunto no-vazio e M (X) uma -lgebra em X. c a e e a e a Idias relacionadas ` de Topologia j habitam a Matemtica h muito, mas foi nas duas primeiras dcadas do sculo e a a a a e e XX que as mesmas comearam a ser sistematizadas e abstra c das, como resultado do trabalho de vrios indiv a duos, como Cantor1 , Frchet2 , Riesz3 e Hausdor4 . A palavra topologia um pouco mais antiga, tendo sido cunhada por e e Listing5 em 1847, o qual tomara contacto com idias topolgicas sob inuncia de Gauss6 . A noao de conjuntos e o e c abertos e fechados (na topologia usual da reta real) foi introduzida por Cantor. Frchet percebeu sua conexo com e a a noao de mtrica (a qual introduziu). A noao moderna de Espao Topolgico foi introduzida pela primeira vez c e c c o por Hausdor em 1914. Hausdor tambm cunhou a expresso espao mtrico, noao criada por Frchet em e a c e c e 1906, e foi o primeiro a introduzir a noao de medida, entre outras coisas. c A palavra lgebra na designaao -lgebra tem origem histrica em uma analogia observada por Felix Hausdor a c a o entre certas operaoes envolvendo conjuntos, tais como unio e intersecao, e operaoes algbricas de soma e c a c c e multiplicaao. Apesar disso o conceito de -lgebra no deve ser confundido de forma alguma com o conceito usual c a a de algebra (um espao vetorial com um produto entre seus elementos). A analogia a que nos referimos a de que c e a operaao de unio de conjuntos disjuntos pode ser entendida como uma soma de conjuntos com um elemento c a neutro, a saber, o conjunto vazio (pois A = A para qualquer conjunto A). O papel de multiplicaao entre c conjuntos seria exercido pela intersecao, onde novamente o conjunto vazio seria o elemento neutro (pois sempre c A = ). Ainda sobre a nomenclatura, o do nome -lgebra usado em funao da propriedade 3 da deniao, que a e c c se refere ao fato de -lgebras serem fechadas em relaao a operaoes envolvendo unies (omas) enumerveis a c c o a de seus conjuntos. Aqui, o ponto importante a enumerabilidade e, por isso, freq ente encontrar-se o s e e u mbolo em outros objetos matemticos para os quais a enumerabilidade desempenha algum papel (como na topologia a chamada de -fraca, por exemplo). Os subconjuntos A X que so membros de uma topologia so chamados de conjuntos abertos (em relaao ` a a c a topologia ), ou conjuntos -abertos. Se um subconjunto F X tal que F c , ento F dito ser um conjunto e a e fechado, ou -fechado. Note que h conjuntos que podem ser simultaneamente abertos e fechados em relaao ` a c a mesma topologia. Por exemplo, e X so ao mesmo tempo abertos e fechados (por que?). Alm destes conjuntos a e pode haver outros tambm. Veremos exemplos. e O estudante deve ser advertido que um conjunto pode ser aberto em relaao a uma topologia, mas no em relaao c a c a outra. O mesmo comentrio vale para conjuntos fechados. a
Ferdinand Ludwig Philipp Cantor (18451918). Ren Frchet (18781973). e e 3 Frigyes Riesz (18801956). 4 Felix Hausdor (18681942). Hausdor foi um dos criadores da Topologia e da moderna Teoria dos Conjuntos. Perseguido pelo nacionalsocialismo, suicidou-se em 1942 para evitar ser enviado a um campo de concentraao. c 5 Johann Benedict Listing (18081882). 6 Johann Carl Friedrich Gauss (17771855).
2 Maurice 1 Georg

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1002/1507

Os subconjuntos A X que so membros de uma -lgebra M so chamados de conjuntos mensurveis (em a a a a relaao ` -lgebra M), ou conjuntos M-mensurveis. Ser para conjuntos mensurveis que se denir o conceito c a a a a a a de medida. O estudante deve ser advertido que um conjunto pode ser mensurvel em relaao a uma -lgebra, mas no em a c a a relaao a outra. c Note que, pela deniao, se A1 , . . . , An uma coleao de n conjuntos abertos de uma topologia ento A1 An c e c a tambm um conjunto aberto (por que?). e e Note que, no item 3 da deniao de topologia, nenhuma restriao feita em relaao ao conjunto de c c e c ndices I, podendo o mesmo ser at um conjunto no-contvel. e a a Note que se A1 , . . . , An uma coleao (nita) de n elementos de uma -lgebra M ento A1 An tambm e c a a e e um elemento de M. Para ver isso note que, se den ssemos Am = para todo m > n ter amos claramente A1 An = Aa que um elemento de M pelo item 3 da deniao de -lgebra. e c a
aN

Se M uma -lgebra em X e A, B M ento A B M. Isso fcil de ver, pois A B = (Ac B c )c . Pelo e a a e a item 2 da deniao de -lgebra, Ac e B c so tambm elementos de M. Pela observaao acima, sua unio Ac B c c a a e c a tambm o . Por m, o complemento de Ac B c pertence a M, novamente pelo item 2 da deniao de -lgebra. e e c a A ultima armaao estende-se facilmente para intersecoes contveis de conjuntos mensurveis: se M uma c c a a e algebra em X e An M, n N, ento nN An M. Isso segue facilmente de a
c

An =
nN nN

(An )

e dos itens 2 e 3 da deniao de -lgebra. c a Vizinhanas c Seja X um conjunto no-vazio e uma topologia em X. Se x X, um conjunto V X dito ser uma vizinhana de a e c x (segundo ) se V contm x e se contiver um aberto que tambm contm x, ou seja, se existir A tal que x A V . e e e A noao de vizinhana freq entemente empregada no estudo de espaos topolgicos. c c e u c o Exemplos bsicos de topologias e mais alguns comentrios a a Seja X um conjunto no-vazio. a Considere o conjunto, formado por apenas dois elementos, dado por = {, X}. Ento, uma topologia em a e X (verique!). E chamada de topologia indiscreta ou topologia trivial e a menor topologia que se pode formar em e X. a e Seja a coleao e todos os subconjuntos de X: = (X). Ento, uma topologia em X (verique!). E chamada c de topologia discreta e a maior topologia que se pode formar em X. e Seja X um espao mtrico com uma mtrica d e seja d a coleao de todos os seus subconjuntos abertos em relao c e e c ca a d. Um subconjunto A de X dito ser aberto (em relaao ` mtrica d) se tiver a seguinte propriedade: para todo e c a e x A podemos achar um n mero real (x) > 0 (eventualmente dependente de x) tal que para todo x X com a u propriedade que d(x, x ) < (x) (ou seja, que dista de x menos que (x)) vale que x tambm um elemento de A. e e Ento, conforme j vimos na Seao 20.2, pgina 938, d , de fato, uma topologia, chamada de topologia induzida a a c a e pela mtrica d. e Uma topologia em X dita ser uma topologia mtrica se existir uma mtrica d em X tal que = d . e e e Pelo Exerc E. 20.25, pgina 939, (X) uma topologia mtrica. cio a e e Nem todas as topologias so mtricas. Condioes que garantam que uma topologia seja mtrica so denominadas a e c e a condioes de metrizabilidade. c

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1003/1507

Seja A X. Ento, {, A, X} uma topologia em X (verique!), a menor a conter A (justique!). a e Sejam A, B X. Ento, {, A, B, A B, A B, X} uma topologia em X (verique!), a menor a conter A e a e B (justique!). No caso do conjunto dos reais, podemos introduzir a topologia mtrica denida pela mtrica d(x, y) = |x y|. e e Essa topologia denominada de topologia usual da reta e para design-la usaremos aqui o s e a mbolo R . Esse nome e auto-explicativo: quase toda a Anlise Real feita com o uso dessa topologia. Conforme o costume de toda a literatura, a e sempre que falarmos de uma topologia nos reais pensaremos nessa topologia usual, salvo menao expl c cita em contrrio. a Fique claro porm que sobre os n meros reais podem ser denidas outras topologias alm R (e da topologia trivial e da e u e topologia discreta). Exemplos sero vistos adiante. a E. 22.1 Exerccio. Mostre, seguindo as denioes de conjuntos abertos e fechados em espaos mtricos, que todo intervalo c c e (a, b) com a < b R um elemento de R e que todo intervalo [a, b] com a b um conjunto fechado em relao a R . e e ca

E. 22.2 Exerccio. Sejam A, B, C X. Determine a menor topologia a conter A, B e C. E. 22.3 Exerccio. A topologia de um conjunto particular. Seja X no-vazio e seja B X. Mostre que a coleo a ca de conjuntos {} {A X| A B} uma topologia, denominada topologia do conjunto particular B. Denotaremos essa e topologia por cp (B). . Mostre que F X um conjunto fechado na topologia cp (B) se e somente se F B c ou F = X. e Exemplos bsicos de -lgebras a a Seja X um conjunto no-vazio. a Considere M o conjunto, formado por apenas dois elementos, dado por M = {, X}. Ento, M uma -lgebra a e a (verique!) e a menor -lgebra que se pode formar em X. Essa -lgebra chamada de -lgebra indiscreta ou e a a e a -lgebra trivial. a a e a e Seja M a coleao e todos os subconjuntos de X: M = (X). Ento, M uma -lgebra (verique!) e a maior c -lgebra que se pode formar em X. Essa -lgebra chamada de -lgebra discreta. a a e a Seja X um conjunto e A X. Ento, a coleao M = {, A, Ac , X} uma -lgebra (verique!), a menor a conter a c e a A (justique!) Outros exemplos menos triviais de -lgebras sero vistos adiante. Exemplos realmente interessantes de -lgebras a a a requerem construoes elaboradas, como a da -lgebra de Lebesgue7 , a qual trataremos com certo detalhe no Cap c a tulo 24. e e E. 22.4 Exerccio. Sejam , e trs objetos distintos (por exemplo, trs letras distintas do alfabeto grego). Mostre que M = uma -lgebra em X = {, , }. e a e e E. 22.5 Exerccio. Sejam , e trs objetos distintos (por exemplo, trs letras distintas do alfabeto grego). Mostre que M = uma -lgebra em X = {, , }. e a
7 Henri

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

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

Lon Lebesgue (18751941). e

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1004/1507

Abertos e fechados Sejam X um conjunto e uma topologia em X. Denotemos por F( ) a coleao de todos os conjuntos fechados de X c em relaao ` , ou seja, a coleao de todos os conjuntos F de X tais que F c um aberto, ou seja, um elemento de . c a c e E muito importante o estudante notar que F( ) pode conter elementos que no so elementos de . Porm F( ) a a e e nunca so conjuntos disjuntos, pois ambos sempre tm elementos em comum. Sempre se tem, por exemplo, que a e {, X} F( ) . E. 22.6 Exerccio. Mostre que se F( ) ento F( ) = . a E. 22.7 Exerccio. Mostre que se F( ) ento = F( ). a Exemplos de topologias onde = F( ) so a topologia trivial e a topologia discreta (por que?). H, porm, muitos a a e outros exemplos, como mostra o prximo exerc o cio. E. 22.8 Exerccio. Seja a reta real e X o seguinte subconjunto de R: X = (0, 1) (1, 2). Mostre que a coleo de ca subconjuntos de X dada por = {, (0, 1), (1, 2), X} uma topologia em X e que F( ) = . Note que no nem a e a e topologia trivial nem a discreta de X. A coleao F( ) de todos os conjuntos fechados em relaao a uma topologia em X possui uma srie de propriedades c c e especiais: 1. F( ) e X F( ). 2. Se F F( ) e G F( ) ento F G F( ). a 3. Se I um conjunto arbitrrio de e a ndices e F F( ) para todo I ento a
I

F tambm um elemento de F( ). e e

E. 22.9 Exerccio muito importante. Justique as armativas acima. E. 22.10 Exerccio. Sejam as seguintes coleoes de conjuntos fechados na reta real (na topologia usual): {Fn = [1/n, 1+ c 1/n], n N} e {Gn = [1/n, 1 1/n], n N, n > 1}. Mostre explicitamente que Fn um conjunto fechado mas que e
nN

Gn um conjunto aberto. Note que e

nN, n>1 nN, n>1

Gn no uma unio nita! a e a

Seja agora (reciprocamente) uma coleao F de subconjuntos de um conjunto X tal que as seguintes condioes (que c c chamaremos de axiomas de conjuntos fechados) so verdadeiras: a 1. F e X F. 2. Se F F e G F ento F G F. a 3. Se I um conjunto arbitrrio de e a ndices e F F para todo I ento a
I

F tambm um elemento de F. e e

Ento, a coleao (F) = {A X, tais que Ac F} uma topologia em X. a c e u E. 22.11 Exerccio muito importante. Justique essa ltima armativa. Mais exemplos de topologias: a topologia co-contvel e a co-nita a 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).

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1005/1507

Seja X um conjunto e Cc a coleao de todos os conjuntos contveis de X. Ento, vamos mostrar que a coleao c a a c C = {, X} Cc satisfaz os axiomas de conjuntos fechados. As propriedades que C e X C so bvias por deniao. Se F e G so elementos de C ento F G tambm a o c a a e e um elemento de C, basicamente pois a unio de dois conjuntos contveis tambm um conjunto contvel. Finalmente a a e e a a intersecao arbitrria de conjuntos contveis tambm um conjunto contvel (pois, como vimos acima, qualquer c a a e e a subconjunto de um conjunto contvel tambm contvel) e, com isso, ca tambm vericado o axioma 3. a e e a e Com isso, e com o que dissemos anteriormente, vemos que a coleao (C) uma topologia em X. Todo elemento de c e (C) ento , X ou da forma X \ C, onde C um conjunto contvel. Chamaremos a topologia cc (C) de topologia e a e a co-contvel de X. a E. 22.12 Exerccio. Seja X um conjunto e cf a coleo ca cf = {A X, A = X \ U onde U X um conjunto nito} {} . e Mostre que cf uma topologia em X (chamada de topologia co-nita de X). Como so os conjuntos fechados em relao e a ca a cf ? E. 22.13 Exerccio. Verique que cf cc . Para que tipo de conjunto X podemos ter cf = cc ? A topologia co-contvel tem a seguinte propriedade incomum. Sejam A e B dois abertos no-vazios quaisquer da a a topologia co-contvel de um conjunto X e suponha que X no seja um conjunto contvel. Ento, A B sempre um a a a a e conjunto no-vazio. Para provar isso, notemos que, pelas hipteses, A = X \ C1 e B = X \ C2 , para dois subconjuntos a o c c contveis C1 e C2 de X. Da A B = (X \ C1 ) (X \ C2 ) = C1 C2 = (C1 C2 )c . Agora, como C1 C2 tambm um a , e e conjunto contvel, seu complemento no-vazio pois X no contvel. a e a a e a Assim, provamos que dois abertos no-vazios quaisquer da topologia co-contvel de um conjunto no-contvel (como, a a a a por exemplo, o conjunto dos reais) sempre se intersectam. Como veremos, isso signica que tais espaos topolgicos no c o a so do tipo Hausdor (a deniao de espao Hausdor vir ` pgina 1070). a c c aa a a E. 22.14 Exerccio. Sejam A e B dois abertos no-vazios quaisquer da topologia co-nita de um conjunto X e suponha que X no seja um conjunto nito. Mostre, ento, que A B sempre um conjunto no-vazio. a a e a

22.2
22.2.1

Algumas Construes Especiais e Exemplos co

Topologias e -lgebras Geradas a

A noo de topologia gerada ca Vamos agora discutir um mtodo importante de gerar topologias e -lgebras. e a Seja X um conjunto no-vazio e seja { , I} uma coleao de topologias em X (cada uma indexada por um a c elemento de um conjunto de ndices I arbitrrio). Como cada topologia por si um subconjunto de (X), podemos a e considerar unies e intersecoes de topologias. o c Em particular para uma coleao genrica de topologias como { , I}, temos o seguinte resultado importante: c e Proposio 22.1 O subconjunto I de (X) dado por I = ca
I

tambm uma topologia em X. e e

Prova. Em primeiro lugar claro pelas denioes que I e que X I . e c Vamos agora mostrar que se A e B so elementos de I ento A B tambm o . Para tal, note que se A e B so a a e e a elementos de I ento A e B so elementos de toda topologia com I. Assim, como para cada particular tem-se a a A e B , segue que A B (pois uma topologia). Assim, mostramos que A B pertence a toda topologia e com I e, portanto, A B I .

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1006/1507

Por m, temos que provar que se {A , J} uma coleao de elementos de I (onde J uma coleao arbitrria e c e c a de ndices), ento segue que a A tambm um elemento de I . Para tal, note-se que se {A , J} uma coleao e e e c
J

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

A tambm e e

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

A I , como quer amos

provar. Este resultado tem um uso de grande importncia: fornecer um mtodo de gerar topologias. Seja A uma coleao a e c qualquer de subconjuntos de X. Considere a coleao de todas as topologias que contm A como um subconjunto. Como c e vimos, a intersecao de todas essas topologias tambm uma topologia que denotaremos por [A]. A topologia [A] c e e e chamada de topologia gerada por A. Assim, cada coleao A de subconjuntos de um conjunto X tem automaticamente uma topologia associada a si: a c topologia gerada pela coleao. Muitas topologias podem ser produzidas dessa forma, como sendo geradas por uma coleao c c conveniente de subconjuntos de X. e e E. 22.15 Exerccio. Mostre que A [A] e que [A] a menor topologia que contm A como subconjunto, ou seja, se houver uma topologia [A] que contm A, ento = [A]. e a E. 22.16 Exerccio. Mostre que se A uma topologia ento [A] = A. e a E. 22.17 Exerccio. Seja X um conjunto e A X. Mostre que [{A}] = {, A, X}. ca E. 22.18 Exerccio. Seja X um conjunto e A = {x}, x X a coleo de subconjuntos de X formada apenas por todos os conjuntos de um elemento de X. Mostre ento que [A] a topologia discreta de X. Sugesto: use o item 3 da a e a denio de topologia para mostrar que todo subconjunto de X um elemento de [A]. ca e E. 22.19 Exerccio. Seja X um conjunto e A = {x, y}, x, y X e x = y a coleo de subconjuntos de X formada ca apenas por todos os conjuntos de dois elementos distintos de X. Mostre ento que [A] a topologia discreta de X. a e O mtodo de gerar topologias descrito acima muito usado e ser reencontrado adiante em outros exemplos. e e a Sub-base de uma topologia Se uma topologia em um conjunto no-vazio X, dizemos que uma coleao A de subconjuntos de uma sube a c e base de se = [A], ou seja, se for a menor topologia que contm A. Mais adiante, na Seao 22.2.2, pgina e c a 1009, introduziremos a noao de base de uma topologia e advertimos o leitor antecipadamente que os dois conceitos no c a coincidem, mas so relacionados. Vide discusso da Seo 22.2.2. a a ca Estrutura de reticulado em topologias Seja X um conjunto no-vazio. A coleao de todas as topologias em X dene um reticulado (para a deniao, vide a c c Seao 2.1.2, pgina 59) com as operaoes e so denidas da seguinte forma. Se 1 e 2 so topologias em X, denimos: c a c a a 1 2 := 1 2 e 1 2 := 1 2 (a topologia gerada por 1 e 2 ). E. 22.20 Exerccio. Prove que a coleo de todas as topologias em X com as operaoes e denidas acima , de ca c e fato, um reticulado, satisfazendo as propriedades de idempotncia, comutatividade, associatividade e absorvncia descritas na e e denio de reticulado da Seo 2.1.2. ca ca Prove que se trata de um reticulado limitado, com o m nino sendo a topologia trivial {, X} e o mximo sendo a topologia a discreta (X). Prove que se trata de um reticulado completo: todo subconjunto no-vazio possui um supremo e um a nmo.

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1007/1507

Mais sobre a topologia usual de R J denimos a topologia usual da reta como sendo a topologia induzida pela mtrica d(x, y) = |y x|. Vamos mostrar a e aqui que h uma outra caracterizaao da mesma topologia. a c Seja A a coleao de todos os intervalos abertos (a, b) de R com a < b. Vamos provar que R = [A], ou seja, que a c topologia usual idntica ` topologia gerada pela coleao de todos os intervalos abertos de R. e e a c J sabemos que A R , pois todo intervalo do tipo (a, b), a < b, aberto de R . Como por deniao [A] a menor a e c e topologia que contm A, tem-se que [A] R . Tudo o que precisamos fazer, ento, provar que R [A]. e a e Seja uma topologia qualquer que contenha A. Isso signica que unies arbitrrias de elementos de A so tambm o a a e elementos de (pois uma topologia e pelo item 3 da deniao de topologia). Se B um elemento de R isso signica e c e que para cada x B existe (x) > 0 tal que y B desde que |y x| < (x). No dif ver ento que isso signica que a e cil a podemos escrever B = (x (x), x + (x)).
xB

Como todo intervalo do tipo (x (x), x + (x)) um elemento de A, segue que B . Como isso vale para todo B R e isso signica que R . Esse ultimo fato vale, porm, para qualquer que seja a topologia , desde que contenha a e coleao A. Portanto, conclu que R [A], como quer c -se amos mostrar. A topologia de Sorgenfrey de R Seja S a coleao de todos os intervalos semi-abertos de R do tipo [a, b) com a < b, a, b R. A topologia [S] c e denominada topologia de Sorgenfrey8 dos reais. e o a E. 22.21 Exerccio. Mostre que R um subconjunto prprio de [S]. Sugesto: mostre que todo intervalo aberto (a, b), a < b, um elemento de [S] e conclua a partir da que R [S]. Para ver que [S] \ R no vazio, note apenas que um e a e um intervalo semi-aberto [a, b), a < b um elemento de [S], mas no de R . e a Note ainda que [S] menor que a topologia discreta e de [S]. E. 22.22 Exerccio. Justique esta ltima armativa. u o a o Assim, vimos nos dois ultimos exerc cios que R [S] (R), onde todas essas incluses so prprias. A topologia [S] rica em conjuntos que so simultaneamente abertos e fechados. e a e E. 22.23 Exerccio. Mostre que na topologia de Sorgenfrey de R todo intervalo do tipo [a, b) com a < b simultaneamente aberto e fechado. u cio a a e e E. 22.24 Exerccio. O ltimo exerc inspira a seguinte questo: ser que em [S] todo conjunto aberto tambm fechado? Verique que isso no verdade mostrando que o conjunto A = (, a) (b, ), com a b, aberto segundo a e e [S] mas que seu complemento Ac = [a, b] no aberto segundo [S]. a e A topologia de Sorgenfrey de R2 Seja S2 a coleao de todos os retngulos semi-abertos de R2 do tipo c a [a, b) [c, d) = (x, y) R2 a x < b, c y < d , (22.1)

(R) pois intervalos fechados [a,

b], a b no so elementos a a

com a < b, c < d e a, b, c, d R. O espao topolgico (R2 , [S2 ]) denominado plano de Sorgenfrey. c o e E. 22.25 Exerccio. Mostre que R2 [S2 ].
8 Robert

Sorgenfrey (19151996).

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1008/1507

E. 22.26 Exerccio. Mostre que os conjuntos C1 := (x, y) R2 y x , C2 := (x, y) R2 y > x e C3 := (x, y) R2 y < x

so abertos na topologia [S2 ]. Sugesto, mostre que eles so unies de retngulos semi-abertos do tipo (22.1). Como a a a o a C1 = (C3 )c , conclui-se que C1 e C3 so tambm fechados na topologia [S2 ]. Seja a e D1 := (x, x) R2 x R .

Como D1 = C1 (C2 )c , conclui-se que D1 fechado topologia [S2 ]. e E. 22.27 Exerccio. Com as denioes do Exerc E. 22.26, mostre que c cio
r D1 :=

(x, x) R2 x Q

i D1 :=

(x, x) R2 x Q

r so fechados na topologia [S2 ]. Sugesto: 1) mostre que D1 C2 aberto em [S2 ], por ser a unio de todos os abertos do a a e a 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 aberto em [S2 ], por e ser a unio 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 a i r r r i i r i que D1 C3 e D1 C3 so fechados em [S2 ]; 4) de D1 = D1 (D1 C3 ) e D1 = D1 (D1 C3 ) conclua que D1 e D1 a 2 so fechados na topologia [S ]. a

A noo de -lgebra gerada ca a O mtodo de construao de topologias descrito acima tem um anlogo quase literal entre as -lgebras. e c a a Seja X um conjunto e {M , I} uma coleao de -lgebras em X (cada uma indexada por um elemento de um c a conjunto de ndices I arbitrrio). Como cada -lgebra por si um subconjunto de (X) podemos considerar unies e a a e o intersecoes de -lgebras. c a Em particular, para uma coleao genrica de -lgebras como {M , I}, temos o seguinte resultado importante: c e a Proposio 22.2 O subconjunto MI de (X) dado por MI = ca
I

M tambm uma -lgebra em X. e e a

Prova. Em primeiro lugar claro pelas denioes que MI e que X MI . e c Vamos agora mostrar que se A X um elemento de MI ento Ac = X \ A tambm o . Se A MI ento A M e a e e a para todo I e, portanto Ac M para todo I pois cada M uma -lgebra. Assim, segue que Ac MI . e a Por m, vamos provar que se {An , n N} uma coleao contvel de elementos de MI ento e c a a
nN

An tambm o . e e

Se {An , n N} uma coleao contvel de elementos de MI ento cada An pertence a cada M e, portanto, para cada e c a a particular segue que An tambm um elemento de M . Da segue imediatamente que e e An MI , que o que e
nN nN

quer amos provar. Este resultado tem um uso de grande importncia: fornecer um mtodo de gerar -lgebras. Seja A uma coleao a e a c qualquer de subconjuntos de X. Considere a coleao de todas as -lgebras que contm A como um subconjunto. Como c a e vimos, a intersecao de todas essas -lgebras tambm uma -lgebra que denotaremos por M[A]. A -lgebra M[A] c a e e a a chamada de -lgebra gerada por A. e a Assim, cada coleao A de subconjuntos de um conjunto X tem automaticamente uma -lgebra associada a si: a c a -lgebra gerada pela coleao. Muitas -lgebras podem ser produzidas dessa forma, como sendo geradas por uma a c a coleao conveniente de subconjuntos de X. c e a e E. 22.28 Exerccio. Mostre que A M[A] e que M[A] a menor -lgebra que contm A como subconjunto, ou seja, se houver uma -lgebra M M[A] que contm A, ento M = M[A]. a e a

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1009/1507

e a a E. 22.29 Exerccio. Mostre que se A uma -lgebra ento M[A] = A. A -lgebra de Borel a Dentre os muitos tipos de -lgebras existentes particular destaque tm as -lgebras geradas por topologias. a e a Seja X um conjunto e uma topologia em X. Como uma coleao de subconjuntos de X podemos considerar a e c -lgebra M[ ] gerada pela topologia . Essa -lgebra chamada de -lgebra de Borel9 associada ` topologia em X a a e a a e seus elementos so chamados de conjuntos de Borel ou conjuntos Borelianos. a E. 22.30 Exerccio. Considere a reta real R. Mostre que intervalos como (a, b), [a, b), (a, b] com a < b e [a, b] com a b so elementos da -lgebra de Borel M[R ]. Que outros elementos de M[R ] voc poderia identicar? a a e Como veremos, as -lgebras de Borel desempenham um papel importante na Teoria da Medida. a

22.2.2

Bases de Espaos Topolgicos c o

Base de uma topologia Seja X um espao com uma topologia . Uma coleao de abertos B dita ser uma base da topologia se todo c c e -aberto puder ser escrito como unio de elementos de B: se A ento A = a a B , onde todos os B so elementos a

de B. Note que a unio no necessita ser nita ou mesmo contvel. a a a Um fato bsico o seguinte: se B uma base de uma topologia ento = [B], ou seja, toda base de uma topologia a e e a tambm uma sub-base (para a deniao de sub-base de uma topologia, vide pgina 1006). e e c a Provar isso bem simples. Primeiramente note-se que, como uma topologia que contm B e [B] , por deniao, e e e e c a menor topologia com essa propriedade, ento segue que [B] . Por outro lado, como vimos, se A ento A a a a e unio de elementos de B e, portanto, A um elemento de [B]. Logo [B], completando a prova. a e Para evitar confuses e ao mesmo tempo claricar idias, o estudante deve notar, porm, o seguinte fato. Se A o e e e uma coleao de subconjuntos de um conjunto X ento no em geral verdade que A ou mesmo A X sejam uma c a a e base de [A], ou seja, nem sempre uma sub-base de uma topologia uma base. Tome-se o seguinte exemplo: X = R e e A = {(i/2, i/2 + 1), i Z}. Ento, o intervalo (1/2, 1) um elemento de [A] pois intersecao dos intervalos (0, 1) e a e e c (1/2, 3/2) mas no pode ser escrito como unio de elementos de A. a a E. 22.31 Exerccio. Seja X um espao mtrico e B a coleo de todas as bolas abertas de X: {B(x, r), x X, r > 0}. c e ca Mostre que B uma base da topologia mtrica de X. e e Produzindo bases de topologias a partir de sub-bases A discusso do ultimo pargrafo pode ser usada para introduzir e motivar mais um modo importante de se produzir a a bases de topologias, o qual ser usado quando discutirmos o conceito de topologia gerada por fam a lias de funoes, um c tpico importante, por exemplo, em estudos mais avanados de propriedades de espaos de Banach e de Hilbert. o c c Como j vimos, se X um conjunto e A uma coleao arbitrria de subconjuntos de X no podemos em geral a e e c a a garantir que A uma base de [A]. H, porm, uma maneira de se produzir uma base a partir da sub-base A que e a e discutiremos a seguir. c a Proposio 22.3 Seja X no-vazio e A (X) uma coleao de subconjuntos de X. Ento, todo elemento de [A] ca a que no seja X ou pode ser obtido como unio de conjuntos formados por intersecoes nitas de elementos de A. Em a a c outras palavras, a coleao formada por X, e por todos os conjuntos que sejam intersecoes nitas de elementos de A c c uma base para [A]. e Prova. Considere a coleao AI formada por todos os conjuntos que podem ser escritos como um intersecao nita de c c
9 Flix e

Edouard Justin Emile Borel (18711956).

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1010/1507

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 igual a X ou ou um elemento de A. e e E claro pela deniao que A AI (por que?) e tambm que AI [A] (por que?). Assim, temos que A AI [A]. c e Notemos agora que se B e C so duas coleoes de subconjuntos de X com B C, ento [B] [C] (por que?). Da a c a segue, pelo que vimos, que [A] [AI ] [ [A]]. Como [A] uma topologia temos, por um exerc anterior que e cio [ [A]] = [A]. Assim, provamos que [A] = [AI ] e vamos agora explorar conseqncias desse fato. ue Vamos mostrar que AI uma base de [AI ] e, portanto, de [A]. Para isso consideremos a coleao U formada por e c todas as poss veis unies de elementos de AI : se A U ento o a A =

A ,

com A AI para todo . Vamos agora provar que U uma topologia em X. e Pela deniao, claro que U e que X U (por que?). E claro tambm que unies arbitrrias de elementos de c e e o a U so novamente elementos de U . Resta-nos provar que se A e B so elementos de U ento A B tambm o . Sejam a a a e e ento A e B da forma a A = A , B = B ,

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

(A B ) ,
,

a que claramente um elemento de U , pois os conjuntos A B so elementos de AI . e Dado que provamos que U uma topologia, vamos ver as conseqncias desse fato. Em primeiro lugar, claro pela e ue e deniao de U que AI U . Como U uma topologia, segue que [AI ] U . Por outro lado, temos tambm que os c e e elementos de U so unies de elementos de AI e, portanto, so elementos de qualquer topologia que contenha AI , como, a o a em particular, a topologia [AI ]. Assim, U [AI ]. Com isso, vimos que [A] = [AI ] = U . Pela deniao de U , isso c diz que todos os elementos de [A] podem ser escritos como unies de elementos de AI e, assim, ca provado que AI o e uma base para [A]. E. 22.32 Exerccio. Mostre que a coleo de todos os intervalos abertos da forma (, x) ou (y, ) com x, y R ca e uma sub-base da topologia usual R da reta real. Mostre que o mesmo se d se tomarmos x, y Q. a A topologia gerada por um ordenamento total Com o uso da noao de topologia gerada podemos produzir novas topologias associadas a relaoes de ordem totais c c denidas em conjuntos. Seja X um conjunto no-vazio no qual est denida uma relaao de ordem total (para a deniao de relaao de a a c c c ordem total, vide pgina 31). Se a, b X dizemos que a b se a b mas a = b. Fixados a, b X com a b denamos a (a, b) := (a, ) := (, b) := Seja A a coleao c A := Alim A A , {x X| a x e x b} , {x X| a x} , {x X| x b} .

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1011/1507

com Alim A A := := := {(a, b), para todos a, b X com a b} , {(a, ), para todo a X} , {(, b), para todo b X} .

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

E. 22.34 Exerccio. Mostre que a topologia gerada pelo ordenamento lexicogrco de R2 (vide pgina 32) uma topologia a a e Hausdor. Um texto clssico sobre a relaao entre topologias e relaoes de ordem [126]. a c c e

22.2.3

Topologias e -lgebras Induzidas a

A topologia induzida (ou relativa) Vamos agora estudar mais uma maneira de produzir topologias que tambm tem seu anlogo para as -lgebras. e a a Seja X um conjunto e uma topologia em X. Seja tambm Y um subconjunto arbitrrio de X (Y no precisa ser um e a a elemento de ). Podemos construir uma topologia no conjunto Y usando a topologia de X da seguinte forma. Denimos a seguinte coleao Y de subconjuntos de Y : c Y := A Y, tal que A = Y T para algum T .

Em palavras, Y formado por todos os subconjuntos de Y que podem ser escritos como intersecao de Y com algum e c aberto de . Ento, armamos que Y uma topologia em Y . Vamos provar isso. Primeiro claro que Y pois = Y e a e e . Em segundo lugar tambm claro que Y Y pois Y = Y X (dado que Y X) e X . e e Vamos ento agora mostrar que se A e B Y ento A B Y . Para isso note que, como A e B Y ento existem a a a 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} uma coleao de elementos de Y (indexados por um conjunto e c arbitrrio de a ndices I), ento a A Y . Pelas hipteses, cada A da forma A = Y T com T e portanto o e
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 ento que Y uma topologia em Y . Essa topologia chamada de topologia induzida em Y pela topologia . a e e ca E. 22.35 Exerccio. Verique que, usando a mesma notao usada acima, X = . Fazemos notar que se Y X e Y possui uma topologia (Y ), ento existe uma topologia em X que induz a a topologia . Essa topologia dada por = {X, X \ Y }. Observe que se A , ento obviamente A e e a A = A Y . Isso prova que induzida por . e

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1012/1507

e a E. 22.36 Exerccio. Prove que , denida acima, uma topologia em X. Sugesto: recorde que Y . Exerc cios e exemplos E. 22.37 Exerccio. Seja Y = [0, 1] R e seja R a topologia usual de R. Mostre que conjuntos da forma [0, x) com 0 < x 1 so abertos na topologia Y induzida em Y por R . Mostre que conjuntos da forma (x, 1] com 0 x < 1 so a a abertos na topologia Y induzida em Y por R . Para o estudante importante ver que, no exerc acima, nem [0, x) nem (x, 1] so abertos em R ! Isso mostra e cio a que topologias induzidas podem trazer elementos novos ao jogo. E. 22.38 Exerccio. d(x, y) = |y x|. Mostre que a topologia Y do exerc anterior igual ` topologia induzida em Y pela mtrica cio e a e

E. 22.39 Exerccio. 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 um conjunto fechado segundo Q . e Essa topologia Q do ultimo exerc cio tem propriedades curiosas. Seja x um n mero irracional e seja o conjunto u = (, x) Q Q. Ento, ao mesmo tempo aberto e fechado em Q . O fato que aberto evidente pois a e e e (, x) aberto em R . O fato que fechado segue da constataao que o complemento de em Q o conjunto e e c e c = [x, ) Q e que [x, ) Q = (x, ) Q pois x irracional. Assim, c aberto em Q pois (x, ) aberto em e e e R . Logo , que o complemento de c nos racionais, fechado por Q . e e E. 22.40 Exerccio. 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 < } um conjunto aberto e fechado em Q . e E. 22.41 Exerccio. 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 em Z: 1) a topologia induzida por em Z e 2) a topologia induzida por Y em Z. Mostre que essas topologias so na verdade a idnticas. e Seja Y = (0, 1) (1, 2) munido da topologia Y induzida pela topologia R . Mostre que os E. 22.42 Exerccio. subconjuntos (0, 1) e (1, 2) so ambos simultaneamente abertos e fechados nessa topologia Y . a A -lgebra induzida a Seja X um conjunto e seja M uma -lgebra em X. Seja tambm Y um subconjunto genrico de X. Podemos fazer a e e de Y um espao mensurvel construindo com o aux de M uma -lgebra entre os subconjuntos de Y . A construao c a lio a c anloga `quela da topologia induzida. e a a Seja MY a seguinte coleao de subconjuntos de Y : c MY := A Y, A = Y M para algum M M .

Vamos mostrar que MY uma -lgebra em Y . Os fatos que MY e que Y MY podem ser provados tal como no e a caso da topologia induzida. Queremos agora provar que se A MY ento seu complemento em Y , Ac = Y \ A, tambm a e um elemento de MY . Por hiptese A da forma A = Y M com M M e, portanto, e o e Ac = Y \ (Y M ) = Y (X \ M ) . Assim, como X \ M um elemento de M, segue que Ac = Y \ A um elemento de MY . e e Finalmente queremos provar que se {An , n N} uma fam enumervel de elementos de MY ento e lia a a
nN

An

tambm o . e e

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1013/1507

Pelas hipteses cada An da forma Y Mn com Mn M. Da o e An =

nN

(Y Mn ) = Y
nN nN

Mn

Como
nN

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

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

22.2.4

Topologias e -lgebras Produto a

A topologia produto de espaos topolgicos c o Uma construao muito importante a da chamada topologia produto de espaos topolgicos. Muito pode ser dito c e c o sobre essa topologia (para mais detalhes vide, por exemplo, [25]), mas vamos nos restringir por ora somente ` sua deniao a c para o caso de produtos Cartesianos nitos. Seja {X1 , . . . , Xn } uma coleao nita de conjuntos e seja, para cada a In = {1, . . . , n}, a uma topologia em c n Xa . Seja X = a=1 Xa o produto Cartesiano de todos os Xa , a In e seja B a coleao de todos os subconjuntos de c X que sejam da forma aIn Aa onde Aa a , ou seja, cada Aa um aberto em Xa segundo a topologia a . Ento, a e a topologia gerada por B, [B] chamada de topologia produto dos espaos topolgicos Xa , a . e c o c e E. 22.43 Exerccio. Seja o espao R2 = R R e considere que cada fator R munido da topologia usual R . Mostre que a topologia produto obtida em R2 idntica ` topologia mtrica usual de R2 denida pela mtrica usual e e a e e d(x, y) = onde x = (x1 , x2 ) e y = (y1 , y2 ). A -lgebra produto a H uma construao anloga para -lgebras. Seja Xa , a In uma coleao nita de conjuntos e seja, para cada a In , a c a a c Ma uma -lgebra em Xa . Seja como antes X = aIn Xa o produto Cartesiano de todos os Xa , a In . Denimos D a a coleao de todos os subconjuntos de X que sejam da forma aIn Ma onde Ma Ma , ou seja, cada Ma mensurvel c e a em Xa segundo a -lgebra Ma . Ento, a -lgebra gerada por D, M[D] chamada de -lgebra produto das -lgebras a a a e a a Ma . (y1 x1 )2 + (y2 x2 )2 ,

22.3

Interior e Fecho de Conjuntos em Espaos Topolgicos c o

Seja X um espao dotado de uma topologia . Podemos associar a cada subconjunto genrico B de X trs conjuntos c e e 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 genrico, denamos a coleao e c e e FB := {F X, F -fechado e tal que F contm B: F B} . Se B = ento F = F( ), a coleao de todos os subconjuntos -fechados de X, incluindo o vazio, pois, por convenao, a c c todos contm . e A coleao FB ento a coleao de todos os conjuntos fechados (segundo a topologia ) que contm o conjunto B. c e a c e Sabemos que a intersecao arbitrria de conjuntos fechados tambm um conjunto fechado. Isso motiva a seguinte c a e e deniao: c F . B :=
F FB

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1014/1507

(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 22.1: As trs tabelas acima apresentam, da esquerda para a direita, o fecho, o interior e o bordo, respectivamente, e dos subconjuntos (a, b), [a, b), [a, b] e {a} da reta real, com < a < b < , em diferentes topologias. Acima, I = {, R} a topologia indiscreta de R, cf (R) a topologia co-nita de R, cc (R) a topologia co-contvel de R, R e e e a e a topologia usual de R, [S] a topologia de Sorgenfrey de R (pgina 1007) e (R) a topologia discreta de R. e e a O conjunto B chamado de fecho, ou aderncia, do conjunto B na topologia e , pela prpria deniao, um conjunto e e e o c fechado. e e E. 22.44 Exerccio. Pode-se dizer que o fecho de um conjunto B o menor conjunto fechado que contm B. Justique isso em face da denio dada acima para B. ca e E. 22.45 Exerccio importante. Um conjunto B fechado se e somente se B = B. Prove isso. A seguinte proposiao enuncia algumas propriedades elementares uteis da noao de fecho. c c Proposio 22.4 Seja X um conjunto no-vazio dotado de uma topologia . Valem as seguintes armaoes: ca a c 1. M M para todo M X. 2. M = M para todo M X. 3. Se M, N X com M N , ento M N . a 4. Se M, N X ento M N = M N . a 5. Para uma famlia arbitrria M X, vale a 6. = e X = X.

M .

e c e Demonstrao. Prova de 1: elementar, pois, pela deniao, M uma intersecao de conjuntos que contm M . Prova de ca c 2: elementar, pois M fechado e, portanto, est contido em FM (vide Exerc E. 22.45). Prova de 3: M N N e a cio (pelo item 1). Assim, N um fechado que contm M . Logo, pela deniao de fecho, M N . Prova de 4: como M e N e e c e e so fechados e valem M M , N N , o conjunto M N fechado e contm M N . Logo, M N M N . Por outro a 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 a M , que um -fechado. Logo, M M . Prova de 6: e X so fechados e, portanto, M = e X = X. E. 22.46 Exerccio. Seja X = R. A Tabela 22.1, pgina 1014, mostra o fecho dos conjuntos (a, b), [a, b), [a, b] e {a}, a com < a < b < , em vrias topologias. Estude cada um dos casos. a Note na Tabela 22.1 as topologias escolhidas esto postas em ordem crescente de incluso: a a I cf (R) cc (R) R [S]

(R) .

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1015/1507

O caso do conjunto (a, b) (e os outros) ilustra claramente um fato importante, a saber, que quanto maior a topologia menor o fecho de um dado conjunto. e E. 22.47 Exerccio 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 genrico, denamos a coleao e c e a AB := {A X, A aberto e tal que A est contido em B: A B} . A coleao AB ento a coleao de todos os conjuntos abertos (segundo a topologia ) contidos no conjunto B. Sabemos c e a c que a unio arbitrria de conjuntos abertos tambm um conjunto aberto. Isso motiva a seguinte deniao: a a e e c B 0 :=
AAB

B .

A.

O conjunto B 0 chamado de interior do conjunto B na topologia e , pela prpria deniao, um subconjunto aberto e e o c de B. e E. 22.48 Exerccio. Pode-se dizer que o interior de um conjunto B o maior conjunto aberto contido em B. Justique isso em face da denio dada acima para B 0 . ca e E. 22.49 Exerccio. Um conjunto B aberto se e somente se B = B 0 . Prove isso. A seguinte proposiao enuncia algumas propriedades elementares uteis da noao de interior. c c Proposio 22.5 Seja X um conjunto no-vazio dotado de uma topologia . Valem as seguintes armaoes: ca a c 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 , ento M 0 N 0 . a 4. Se M, N X ento (M N )0 = M 0 N 0 . a 5. Para uma famlia arbitrria M X, vale a 6. 0 = e X 0 = X.

(M ) .

Demonstrao. O item 1 evidente pela deniao. O item 2 segue da observaao que M 0 um subconjunto aberto ca e c c e de si mesmo e, portanto, M 0 (M 0 )0 , pela deniao de interior. Pelo item 1 vale tambm (M 0 )0 M 0 , provando c e que M 0 = (M 0 )0 . Prova do item 3: M 0 M N . Logo, M 0 um aberto contido em N e, portanto, M 0 N 0 . e Prova do item 4: como M 0 e N 0 so abertos com M 0 M e N 0 N , segue que M 0 N 0 um aberto contido em a e M N e, portanto, M 0 N 0 (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 (M ) . Prova do item 6: e X so abertos a M (M ) , que um -aberto. Logo, M 0 0 e, portanto = e X = X. E. 22.50 Exerccio. Seja X = R. A Tabela 22.1, pgina 1014, mostra o interior dos conjuntos (a, b), [a, b), [a, b] e {a}, a com < a < b < , em vrias topologias. Estude cada um dos casos. a Na Tabela 22.1, o caso do conjunto [a, b] ilustra claramente um fato importante, a saber, que quanto maior a topologia maior o interior de um dado conjunto. e

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1016/1507

E. 22.51 Exerccio. 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 proposiao seguinte estabelece algumas relaoes uteis. c c Proposio 22.6 Com as denioes de acima valem ca c A0 = Ac Ac
c

,
0 c

(22.2) , (22.3)

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

c 0

= =

(Ac ) Ac
0

, .

(22.4) (22.5)

E de se notar que as relaoes (22.2) e (22.3) relacionam as operaoes de fecho e de interior. c c Prova da Proposio 22.6. As igualdades (22.2) e (22.3) so equivalentes (justique!), portanto, suciente provar a ca a e primeira. Como A0 A, vale Ac (A0 )c . Lembrando que (A0 )c fechado (pois A0 aberto), segue pela deniao e e c mos que A0 de fecho que (Ac ) (A0 )c . Tomando-se o complementar disso conclu x (Ac )
c

(Ac )
c

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

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

c

A. Logo, como (Ac )

fechado), segue pela deniao de interior que (Ac ) c

A0 , completando a prova de (22.2).

A relaao (22.4) segue de (22.2) tomando-se o complemento e, em seguida, o interior. A relaao (22.5) segue de (22.3) c c tomando-se o complemento e em seguida o fecho.

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

A (Ac ) .

(22.6)

A seguinte proposiao apresenta alguns fatos elementares relevantes sobre o bordo de conjuntos. c Proposio 22.7 Com as denioes de acima, valem, para todo A X, ca c A = A , ou seja, A fechado, e A = (Ac ) , (A) (A) A A , = A se e somente se A = A .
0

(22.7) (22.8) (22.9)

= ,

(22.10) (22.11)

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1017/1507

Valem tambm = e X = . e

Chamamos a atenao do leitor para o fato que alguns textos mais antigos denem A como A (Ac ). Nesse caso c as propriedades listadas acima no so necessariamente vlidas. Por exemplo, A no necessariamente fechado. a a a a e e c Demonstrao da Proposio 22.7. A fechado pois a igualdade A = A (A0 )c de (22.6) mostra que a intersecao ca ca e de dois fechados. Isso provou (22.7). Da igualdade A = A (Ac ) em (22.6) tambm evidente que A = (Ac ), e e 0 0 provando (22.8). Da deniao, e do fato de A ser fechado, segue que (A) = A\ A = A\ A . Isso mostra que c 0 0 (A) A e que a igualdade se d se e somente se A for vazio (j que A A). Isso provou (22.9) e (22.10). A a a igualdade (A) = A \ A que (A)
0 0

signica (A) = (A)

0 0 c

A
0 0 c

0 c

e, pelo item 4 da Proposiao 22.5, pgina 1015, temos c a A

0 c

= (A)0

A
0

. Porm, e

. Logo, (A)

(A)0

0 c

= .

Isso estabeleceu que (A)

= e, por (22.10), isso implica (22.11). Que = e X = evidente pela deniao. e c

E. 22.52 Exerccio. Seja X = R. A Tabela 22.1, pgina 1014, mostra o bordo dos conjuntos (a, b), [a, b), [a, b] e {a}, a com < a < b < , em vrias topologias. Estude cada um dos casos. a E. 22.53 Exerccio. Seja B o bordo de um conjunto qualquer B, segundo uma topologia . Seja uma outra topologia tal que . Mostre que B B. A armativa do ultimo exerc pode ser conrmada contemplando-se a Tabela 22.1, pgina 1014. cio a Outra caracterizao do fecho de um conjunto ca O conceito de fecho de um conjunto de grande importncia. Uma das razes, como veremos, que no caso de e a o e espaos mtricos o fecho de um conjunto B caracteriza o conjunto de todos os limites de seqncias de elementos de c e ue B. Em particular um conjunto s fechado em um espao mtrico se contiver todos os limites de seqncias de seus oe c e ue elementos (vide Seao 22.3.1, pgina 1019). Muitos resultados importantes em Matemtica decorrem dessa observaao. c a a c Vamos nos preparar para apresentar esse fato, assim como outros vlidos em espaos topolgicos gerais. A seguinte a c o proposiao apresenta uma caracterizaao equivalente da noao de fecho de um conjunto, sendo essencial a outros desenc c c volvimentos relacionados ` noao de fecho de um conjunto. a c Proposio 22.8 Seja X um conjunto no-vazio e uma topologia em X. Seja B X. Um ponto x X um ca a e a e elemento de B se e somente se a seguinte propriedade for vlida: todo aberto Ax que contm o ponto x tem uma intersecao no-vazia com B, ou seja, c a B = x X| Ax B = , Ax com x Ax .

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

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1018/1507

Fechos e espaos topolgicos. Os axiomas de Kuratowski c o Em um espao X dotado de uma topologia podemos associar a cada subconjunto A X um outro subconjunto A, c o fecho de A. Essa associaao A A pode ser entendida como uma operaao entre conjuntos e satisfaz as propriedades c c listadas na Proposiao 22.4, pgina 1014. A proposiao que segue mostra que h uma espcie de rec c a c a e proca dessa construao: poss denir uma topologia em X a partir de uma operaao que possua as mesmas propriedades da operaao c e vel c c de fecho. Proposio 22.9 Seja X um conjunto no-vazio e seja uma aplicaao : (X) (X) que a cada A X associa um ca a c conjunto (A) satisfazendo 1. () = . 2. A (A) para todo A X. 3. ((A)) = (A) para todo A X. 4. Se A, B X ento (A B) = (A) (B). a Dizemos que um conjunto F fechado segundo a aplicaao se F = (F ) e dizemos que um conjunto aberto e c e segundo se for o complementar em X de um conjunto fechado segundo . Ento, a coleao de todos os abertos segundo a c 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).

Nota. Uma aplicaao : (X) (X) satisfazendo as condioes dos itens 14 da Proposiao 22.9 por vezes dita c c c e ser um operador de Kuratowski10 . A possibilidade de denir-se a noao de espao topolgico a partir de um operador c c o de Kuratowski, tal como enunciado na Proposiao 22.9, de relevncia por aproximar o estudo de espaos topolgicos c e a c o do estudo de lgebras Booleanas11. Os itens 14 da Proposiao 22.9 so por vezes denominados axiomas de fecho de a c a Kuratowski ou apenas axiomas de Kuratowski. Prova da Proposio 22.9. Comecemos observando que se M N , ento N = M (N \ M ). Logo, pelo item 4, ca a (N ) = (M ) (N \ M ), o que provou que (M ) (N ). Assim, M N = (M ) (N ) . (22.12)

Pelo item 2, vale X (X), o que implica (X) = X. Junto com o item 1 isso prova que e X so abertos e fechados a segundo . Se F e G X so fechados segundo k, ento F = (F ) e G = (G). Logo, F G = (F ) (G) = (F G), sendo a a que na ultima igualdade usamos a hiptese do item 4. Isso provou que F G fechado segundo . o e Precisamos ainda provar que intersecoes arbitrrias de conjuntos fechados segundo permanecem conjuntos fechados c a segundo . Seja {F , } uma fam de fechados segundo , indexada por um conjunto de lia ndices . Pela hiptese do item 2 tem-se o

F . Por outro lado,

F F para todo . Logo, por F

(22.12),

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

F . Isso completa

a prova que

F =

Com isso, provamos que a coleao de todos os conjuntos fechados segundo satisfaz todos os axiomas de conjuntos c fechados em um espao topolgico. A topologia assim denida pela operaao ser denotada aqui por . c o c a Seja A o fecho de A X na topologia . Como A (A) (item 2) e (A) fechado em , segue da deniao e c de fecho que A (A). Por outro lado, de A A (item 1 da Proposiao 22.4, pgina 1014), segue de (22.12) c a
10 Kazimierz 11 George

Kuratowski (18961980). Boole (18151864).

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1019/1507

que (A) A A

= A , a ultima igualdade sendo devida ao fato de A

ser fechado em . Isso demonstrou que

= (A), completando a prova da Proposiao 22.9. c

E. 22.54 Exerccio. Se um operador de Kuratowski, mostre que um conjunto A um -aberto se e somente se e e A = (Ac )c . e ca e E. 22.55 Exerccio. Se um operador de Kuratowski, a relao (22.2) mostra que interior de um conjunto A dado por (A) = (Ac )c . Quais propriedades abstratas um operador de interior : (X) (X) deve satisfazer para que se possa dele denir uma topologia? Sugesto: inspire-se na Proposio 22.5, pgina 1015. a ca a

22.3.1

Fecho de Conjuntos em Espaos Mtricos c e

Fecho de conjuntos em espaos mtricos c e Seja M um espao mtrico com mtrica d e d a topologia induzida em M por essa mtrica. Seja B M . Vamos c e e e apresentar agora uma caracterizaao importante do fecho de B, que anunciamos acima. c Uma seqncia {xn , n N} de elementos de M dita convergir na mtrica d a um elemento x M se para todo ue e e > 0 existir N () N tal que xn Bd (x, ) para todo n > N (). Se uma seqncia converge a um ponto x, este dito ser um limite da seqncia. (Mais sobre o conceito de convergncia ue e ue e de seqncias em espaos mtricos ser visto no Cap ue c e a tulo 25, pgina 1068). a Temos ento a seguinte proposiao: a c Proposio 22.10 Um ponto x M pertence ao fecho B na topologia d de um subconjunto B de M se e somente se ca existir uma seqncia de elementos de B que converge a x na mtrica d. ue e Prova. Suponha que x seja um limite de uma seqncia xn de elementos de B. Seja Ax um aberto que contm x. Como ue e Ax um aberto de um espao mtrico, existe uma bola aberta centrada em x com um raio positivo sucientemente e c e pequeno, que chamaremos de , tal que Bd (x, ) Ax . Da como a seqncia converge a x, vale que B xn Bd (x, ), , ue desde que n seja grande o suciente. Mas isso diz que, para tais xn s tem-se xn Ax tambm. Logo Ax B = , pois e pelo menos esses xn s pertencem aos dois conjuntos. Note que isso vale para qualquer aberto Ax que contm x. Da e , pelo que vimos na Proposiao 22.8, conclu c mos que x B. Assim, vimos que se uma seqncia de elementos de B converge a um ponto x em um espao mtrico, ento esse ue c e a ponto x um elemento do fecho de B. Vamos agora provar a rec e proca. ue Vamos agora supor que x B e vamos provar que existe uma seqncia 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 seqncia {xn } de elementos de B que converge a x, completando a ue prova.

Conjuntos fechados em espaos mtricos c e A Proposiao 22.10 tem o seguinte importante corolrio imediato: c a Corolrio 22.1 Seja M um conjunto no-vazio dotado de uma mtrica d e seja d a topologia induzida por essa mtrica. a a e e Ento, F M fechado se e somente se toda seqncia convergente em M de elementos de F convergir a um elemento a e ue de F , ou seja, se F coincidir com o conjunto de seus pontos-limite.

Conjuntos fechados em espaos mtricos e completeza c e Seja M um conjunto no-vazio dotado de uma mtrica d. Qualquer subconjunto no-vazio de M tambm um espao a e a e e c

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1020/1507

mtrico com mtrica d (por que?). Porm, se M completo em relaao a d e se F M um conjunto fechado, ento F e e e e c e a tambm um espao mtrico completo em relaao a d. e e c e c Provar isso bem simples. Se fn F uma seqncia de Cauchy em relaao a d em F ento fn tambm uma e e ue c a e e seqncia de Cauchy em relaao a d em M . Como M completo existe f M ao qual a seqncia converge. Mas, ue c e ue devemos ter, pelo que vimos, f F = F . Assim, toda seqncia de Cauchy em relaao a d em F converge a um elemento ue c de F . Isso prova completeza de F . A rec proca tambm verdadeira. Seja M completo em relaao a d e seja B M tambm completo em relaao a d. e e c e c Ento, B fechado. Para ver isso note que toda seqncia de elementos de B que converge em M uma seqncia de a e ue e ue Cauchy em M e, portanto, tambm uma seqncia de Cauchy em B. Logo, uma tal seqncia converge a um elemento e e ue ue de B, pois B completo. Mas isso equivale a dizer que B B, o que implica B = B. e Provamos ento o seguinte: a c e a e Proposio 22.11 Se M um espao mtrico completo em relaao a uma mtrica d, ento F M fechado na ca e c e topologia induzida por essa mtrica se e somente se F for igualmente completo em relaao a mtrica d. e c ` e

22.4

Espaos Topolgicos Separveis e Segundo-Contveis c o a a

Seja um espao X dotado de uma topologia . Dizemos que um conjunto A X um conjunto denso, ou conjunto c e -denso, em X se o fecho de A for igual a X, ou seja, se no houver outro conjunto fechado que no X contendo A. a a Um espao topolgico (X, ) dito ser um espao topolgico separvel se possuir um subconjunto denso contvel. c o e c o a a Exemplo. A reta real com a topologia usual R separvel pois Q, o conjunto dos racionais contvel e denso em R. e a e a Vide abaixo. Um espao topolgico X dito ser um espao topolgico segundo-contvel (second countable) se possuir uma base c o e c o a contvel. a Pelo que vimos, se A for uma coleao contvel de subconjuntos de X ento a topologia gerada por A possui uma base c a a tambm contvel e , portanto, segundo-contvel. e a e a Vamos demonstrar a seguinte armativa: Proposio 22.12 Todo espao topolgico segundo-contvel separvel. ca c o a e a

Prova. Seja X um conjunto no-vazio dotado de uma topologia X e suponhamos que esse espao topolgico seja segundoa c o contvel. Seja Bn , n N, uma base contvel em X . Vamos formar conjuntos An , n N, cada um contendo um unico a a elemento, da seguinte forma: A0 formado por um elemento escolhido arbitrariamente em B0 e An , n 1, formado e e por um elemento escolhido arbitrariamente em Bn \ A0 An1 . Seja A := nN An . Vamos mostrar por absurdo que A denso em X. e Suponha que haja um conjunto fechado F que contm A e que seja um subconjunto prprio de X. Ento, C = X \ F e o a aberto, no-vazio e A C = . Isso implica An C = para todo n. Como C aberto, existe, por hiptese, uma fam e a e o lia Bnk = kN (An Bnk ). Bnk , k N, tal que C = kN Bnk . Logo, para todo n N vale = An C = An kN Logo, An Bnk = para todo n e todo k. Isso absurdo, pois, por construao, Ank Bnk para todo k. Logo A denso e c e em X. E interessante notar que a rec proca do proposiao acima no verdadeira: h espaos separveis que no so segundoc a e a c a a a contveis. Como exemplo, mostraremos que a topologia de Sorgenfrey separvel mas no segundo-contvel (pgina a e a a e a a 1022). Tal, porm, no verdade para espaos mtricos em geral. e a e c e Proposio 22.13 Um espao mtrico separvel se e somente se for segundo-contvel. ca c e e a a

Na Proposiao 28.13, pgina 1228, trataremos de uma extenso das armaoes acima. c a a c

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1021/1507

Prova da Proposio 22.13. Pela proposiao anterior resta-nos apenas mostrar que se X um espao mtrico separvel ca c e c e a ento tem uma base enumervel. Seja A um conjunto contvel denso em X e seja o conjunto de todas as bolas centradas a a a em elementos de A com raio racional positivo: B(a, r), a A e r Q+ . A coleao de todas essas bolas contvel (por c e a que?). Vamos provar que uma base em X. Seja C um aberto contido em X. Para cada ponto a em A C podemos e achar um raio ra tal que B(a, ra ) est inteiramente contido em C (pela deniao de conjunto aberto em um espao a c c mtrico). Vamos mostrar que e C = B(a, ra ) .
aCA

e Suponha que haja z C que no esteja em aCA B(a, ra ). Como A denso em X, toda bola aberta B(z, ) a contm elementos de A (doutra forma seu complemento seria fechado e conteria A, o que no poss se A denso). e a e vel e Em particular se for sucientemente pequeno B(z, ) e B(z, /4) estaro inteiramente contidas em C. Logo, para um a 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) aCA B(a, ra ). A topologia R segundo-contvel e a Como comentamos logo acima, R separvel pois Q contvel e denso em R. Pela Proposiao 22.13, R segundoe a e a c e contvel. A t a tulo de ilustrar futuros desenvolvimentos, vamos no que segue provar esse fato de modo mais expl cito, exibindo uma base contvel para R . a Para isso, vamos mostrar que R pode ser gerada por uma coleao contvel de subconjuntos de R. Esse fato c a e importante por vrias razes, uma delas conectada ` -lgebra de Borel e sua relaao com a -lgebra de Lebesgue, que a o a a c a introduziremos quando falarmos da Teoria da Medida (vide Cap tulo 24). Para a R e b > 0 vamos denotar por B(a, b) a bola aberta de raio b centrada em a que, neste caso, o intervalo e 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 unio contvel de a a intervalos abertos. Para isso, considere uma seqncia si de n meros racionais positivos tais que si < b mas tais que a ue u seqncia si converge a b quando i . Ento, claro que ue a e B(a, b) =
iN

B(a, si ) ,

que uma unio contvel. e a a Pela deniao, se A um aberto no-vazio em R , A = R, ento para cada x A podemos encontrar um n mero c e a a u (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 mero com essa propriedade, ou seja, u A (x) = sup{b > 0, tal que B(x, b) A}. Como A = R, A (x) sempre nito para x A. (Por qu?). e e bem claro ento que E a A =
xA

B(x, A (x)) .

e E. 22.56 Exerccio. Por qu? Vamos provar a seguinte armativa: A =

rAQ

B(r, A (r)) .

Para tal, seja A =

rAQ

B(r, A (r)) ,

JCABarata. Curso de F sica-Matemtica a

Verso de 8 de julho de 2008. a

Cap tulo 22

1022/1507

suponha que A\A = e seja w A\A . Considere ento o conjunto aberto B(w, A (w)). Tomemos s B(w, A (w))Q a de tal forma que |s w| < A (w)/2 (isso sempre poss e vel. Por qu?). Ento, teremos que A (w)/2 < A (s) < A (w) e, e a portanto w B(s, A (s)), mostrando que w A : um contradiao. Portanto A = A . c Caso A = R podemos sempre escrever R =
rQ

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

O que acabamos de provar que todo aberto no-vazio A de R pode ser escrito como uma unio contvel de intervalos e a a a abertos. Por outro lado, vimos tambm que cada intervalo aberto B(r, A (r)) pode ser escrito ele mesmo como uma e unio contvel de intervalos abertos do tipo B(r, s) onde r e s > 0 so n meros racionais. a a a u Seja R a coleao de todos os intervalos abertos do tipo B(r, s) com r, s Q e s > 0. A coleao R claramente c c e uma coleao contvel e R R (pois todos esses intervalos so abertos). Logo [R] R , pois [R] , por deniao, a c a a e c menor topologia que contm R. Por outro lado, qualquer topologia que contenha R contm tambm qualquer elemento e e e que possa ser escrito como unio de elementos de R e, como vimos, todo aberto de R pode ser escrito como uma unio a a (contvel) de elementos de R e , conseq entemente, um elemento de qualquer topologia que contenha R. Logo R [R]. a e u Vemos, portanto, que R = [R] e, assim, R o que se chama de uma topologia segundo-contvel, pois tem uma e a base contvel obtida tomando-se intersecoes nitas de elementos de R, como vimos acima. a c Para nalizar, vamos mostrar a seguinte identidade: M[R ] = M[R] , ou seja, vamos mostrar que a -lgebra de Borel da reta real e a -lgebra gerada por R coincidem. a a Como R R , claro que R M[R ]. Da segue que M[R] M[R ], dado que M[R] , por deniao, a menor e e c -lgebra que contm R. Por outro lado, M[R] contm (pela deniao de -lgebra) qualquer conjunto que seja uma a e e c a unio contvel de elementos de R. Vimos acima que qualquer elemento de R tem essa propriedade. Logo R M[R] e, a a assim, M[R ] M[R], provando que M[R ] = M[R]. Os fatos aqui discutidos sero importantes quando apresentarmos a chamada -lgebra de Lebesgue no Cap a a tulo 24, pgina 1044. a A topologia de Sorgenfrey no uma topologia mtrica a e e Mostraremos agora que a Topologia de Sorgenfrey separvel mas no segundo-contvel e, portanto, no mtrica. e a a e a a e e Para mostrar que a topologia de Sorgenfrey [S] separvel, provemos que Q denso em R segundo [S]. Suponha e a e que no seja. Ento, existiria z R e aberto em [S] contendo z que no contm nenhum n mero racional. Como um a a a e u tal aberto unio de intersecoes nitas de intervalos semi-abertos de S, isso imposs e a c e vel. Vamos agora mostrar que [S] no segundo-contvel. Suponhamos que B seja uma base para [S] e seja x R. a e a Pela hiptese existe para cada x R um subconjunto Bx = {B , x } de B tal que o [S] [x, ) =
x

(22.13)

B ,

com B Bx . Mas isso s poss se existir pelo menos um conjunto de Bx que contm x. Denotemo-lo B(x) . E claro oe vel e que B(x) no pode conter nenhum y R com y < x (por que?). Logo, a aplicaao R x B(x) B injetora12 , o a c e que nos diz que a cardinalidade de B pelo menos a cardinalidade de R. Isso mostra que B no pode ser contvel. e a a Como vimos acima (pgina 1020), um espao mtrico separvel se e somente se for segundo-contvel. Isso mostra a c e e a a e que a topologia de Sorgenfrey no uma topologia mtrica! a e

12 Como

x B(x) e y B(x) se y < x, segue que inf(B(x) ) = x para todo x R, o que implica injetividade.