Cap tulo 25 Alguns T opicos Especiais em Topologia e An alise

Conte udo
25.1 Uma Colet anea de Deni co es . . . . . . . . . . . . . . . . . . . . . . . . . . 1120 25.2 A No ca o de Topologia Fraca . . . . . . . . . . . . . . . . . . . . . . . . . . . 1126 25.3 A Topologia Produto de Espa cos Topol ogicos . . . . . . . . . . . . . . . . 1127 25.4 O Teorema da Categoria de Baire . . . . . . . . . . . . . . . . . . . . . . . 1129 25.5 Aproxima ca o de Fun co es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1130 25.5.1 Aproxima ca o de Fun co es Cont nuas por Polin omios . . . . . . . . . . . . . . . 1130

presente cap tulo, o qual est a ainda bastante incompleto, cont em uma miscel anea de assuntos relacionados a espa cos topol ogicos e suas aplica co es. S ao aqui coletadas v arias deni co es e resultados empregados alhures nestas Notas. Devida a ` natureza do cap tulo as diferentes se co es n ao est ao necessariamente ligadas entre si e sua leitura pode ser feita de modo independente.

25.1

Uma Colet anea de Deni co es

Apresentamos nesta se ca o algumas deni co es importantes empregadas em v arios lugares. Exemplos ilustrativos simples s ao, quando poss vel, apresentados ao nal da se ca o. Conjuntos densos Sejam X um conjunto n ao-vazio, uma topologia em X e F X um conjunto fechado em rela ca o a ` topologia . Um conjunto R F e dito ser denso em F (em rela ca o a ` topologia ) se seu fecho 1 for ca o 19.5, p agina 986, conclu mos que R e denso em F se e somente F : R = F . Evocando a Proposi se todo aberto que possuir intersec ca o n ao-vazia com F possuir tamb em intersec ca o n ao-vazia com A. Como X e fechado, conclu mos tamb em que um conjunto R e denso em X se e somente se para todo aberto n ao-vazio A valer A R = . Conjuntos densos em parte alguma Um conjunto S X e dito ser denso em parte alguma (em rela ca o a ` topologia ) se seu fecho n ao contiver nenhum aberto de . Em outras palavras, S e denso em parte alguma se o interior de seu 0 0 2 for vazio . Em s mbolos, S e dito ser denso em parte alguma se S = . fecho S
Por deni ca o, o fecho de R de um conjunto R em um espa co topol ogico e o menor fechado que cont em R. Vide Cap tulo 19. 2 Por deni ca o, o interior de T 0 de um conjunto T em um espa co topol ogico e o maior aberto contido em T . Vide Cap tulo 19.
1

1120

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1121/1355

Na topologia usual de o conjunto dos racionais n ao e denso em parte alguma pois = , que 0 obviamente possui um interior n ao vazio (( ) = ). O mesmo vale para os irracionais. Os inteiros formam um conjunto denso em parte alguma.

Conjuntos densos em si mesmo Um conjunto n ao-nito T e dito ser denso em si mesmo (em rela ca o a ` topologia ) se tiver a seguinte propriedade: para todo t T vale que todo -aberto A que cont em t cont em tamb em pontos de T distintos de t. Uma deni ca o alternativa e dizer que T e denso em si mesmo se todo ponto de T for um ponto de acumula ca o de T . conjuntos fechados, densos em parte alguma e Pode surpreender o estudante saber que h a em ao os conjuntos de densos em si mesmo (na topologia usual de ). Os exemplos mas proeminentes s Cantor tratados na Se ca o 21.2, p agina 1011. Vide tamb em adiante.

Conjuntos perfeitos Um sub-conjunto P de X e dito ser perfeito se for fechado e denso em si mesmo. Abertos densos Sejam X um conjunto n ao-vazio e uma topologia em X . De particular interesse s ao os conjuntos G X que t em a propriedade de serem abertos e densos em X .

Se e uma topologia m etrica em X e G X e um aberto denso, ent ao todo ponto de X que n ao pertence a G (ou seja, todo ponto de X \ G) est a arbitr ariamente pr oximo de um ponto de G (pois G e denso), mas nenhum ponto de G est a arbitr ariamente pr oximo de um ponto de X \ G (pois G e aberto).

Exemplo 25.1 Seja X = 2 com a topologia m etrica usual e seja L uma linha reta em 2 . Ent ao, 2 2 G = \L e um aberto denso. Se L1 , . . . , Ln e uma cole ca o nita de retas em , ent ao G = 2 \ (L1 . . . Ln ) e um aberto denso.

Exemplo 25.2 Em X = , com a topologia m etrica usual, nem o conjunto dos racionais nem o dos irracionais e aberto denso (ambos s ao densos, mas n ao s ao abertos).

A seguinte propriedade de conjuntos abertos densos pode ser facilmente estabelecida: se G 1 e G2 s ao abertos densos em X , ent ao G1 G2 e um aberto denso em X . Para provar, notemos primeiramente que G1 G2 e um aberto (por ser intersec ca o de dois abertos). Em segundo lugar, se A e um aberto n ao-vazio qualquer, tem-se que A (G1 G2 ) e n ao-vazio. Para ver isso, notemos que esse conjunto e igual a (A G1 ) G2 , mas A G1 e aberto e n ao-vazio, por hip otese (G1 e suposto ser denso em X ) e, pela mesma raz ao, (A G1 ) G2 e igualmente aberto e n ao-vazio. Por indu ca o, pode-se sem diculdade provar a seguinte generaliza ca o: Proposi c ao 25.1 Sejam X um conjunto n ao-vazio e uma topologia em X . Se G1 , . . . , Gn e uma cole ca o nita de abertos densos em X , ent ao a intersec ca o G 1 . . . Gn e um aberto denso em X .

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1122/1355

A proposi ca o acima diz-nos intuitivamente que conjuntos abertos e densos s ao conjuntos topologicamente grandes dentro de X . Essa id eia e a ra z da no ca o de propriedade gen erica, que apresentaremos logo adiante. Igualmente f acil de demonstrar e a seguinte proposi ca o: Proposi c ao 25.2 Sejam X um conjunto n ao-vazio e uma topologia em X . Ent ao, a cole ca o formada pelos abertos densos em X e pelo conjunto vazio forma uma topologia em X .

Prova. X e um aberto denso, trivialmente. Uni oes arbitr arias de abertos densos s ao tamb em abertos e densos, trivialmente. Por m, pela Proposi ca o 25.1, intersec co es nitas de abertos e densos s ao abertos e densos. Propriedades gen ericas Sejam X um conjunto n ao-vazio e uma topologia em X . Uma propriedade P e dita ser uma propriedade gen erica, ou v alida genericamente, na topologia se for v alida em um aberto denso em X . Como, intuitivamente falando, abertos densos s ao subconjuntos topologicamente grandes de X , uma propriedade gen erica e uma propriedade v alida em todo X , exceto em um conjunto topologicamente pequeno. Em situa co es em que se disp oe de uma topologia mas n ao de uma medida, a no ca o de propriedade gen erica substitui a no ca o de propriedade v alida quase em toda parte em rela ca o a uma medida (ou seja, v alida exceto em um conjunto de medida nula. Vide p agina 1010). algebra das matrizes complexas n n com a topologia E. 25.1 Exerc cio-Exemplo. Seja Mat ( , n) a m etrica usual denida pela norma operatorial (vide Cap tulo 4, p agina 222). Mostre que a propriedade de uma matriz ter todos os seus autovalores distintos e v alida genericamente.

Exemplo 25.3 Em , a propriedade de um n umero ser irracional n ao e v alida genericamente em rela ca o a ` topologia m etrica usual, mas e v alida quase em toda parte em rela ca o a ` medida de Lebesgue. J a a propriedade de um n umero ser racional n ao e v alida nem genericamente em rela ca o a ` topologia m etrica usual, nem e v alida quase em toda parte em rela ca o a ` medida de Lebesgue.

Conjuntos desconexos Um conjunto D X e dito ser desconexo (em rela ca o a ) se existirem dois abertos A 1 , A2 , com 1. D A1 = e D A2 = , 2. (D A1 ) (D A2 ) = , 3. D = (D A1 ) (D A2 ). Se D e desconexo, dizemos que um par de abertos A1 , A2 que satisfazem as tr es condi co es acima desconectam D .

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1123/1355

Conjuntos conexos Um conjunto C X e dito ser conexo (em rela ca o a ) se n ao for desconexo. O seguinte teorema e relevante nesse contexto. Teorema 25.1 Seja X um conjunto e uma topologia em X . Sejam Ka e Kb dois conjuntos conexos de X segundo e tais que Ka Kb = . Ent ao Kc := Ka Kb e tamb em conexo segundo . Prova. A prova e feita por contradi ca o. Vamos assumir que Kc n ao seja conexo e sejam dois abertos A1 , A2 satisfazendo (a) (Kc A1 ) = e (Kc A2 ) = , (b) (Kc A1 ) (Kc A2 ) = , (c) Kc = (Kc A1 ) (Kc A2 ). Assim3 , Kc = [(Ka Kb ) A1 ] [(Ka Kb ) A2 ] = (Ka A1 ) (Kb A1 ) (Ka A2 ) (Kb A2 ) = Ao mesmo tempo, = (Kc A1 ) (Kc A2 ) = = =
(b) (c)

Ka (A1 A2 ) Kb (A1 A2 )

(25.1)

(Ka Kb ) A1 (Ka Kb ) A2

(Ka A1 ) (Kb A1 ) (Ka A2 ) (Kb A2 ) (Ka A1 ) (Ka A2 ) (Kb A2 ) (Kb A1 ) (Ka A2 ) (Kb A2 )

(Ka A1 ) (Ka A2 ) (Ka A1 ) (Kb A2 ) (Kb A1 ) (Ka A2 ) (Kb A1 ) (Kb A2 ) (25.2)

Advert encia ao estudante: as pr oximas passagens e o restante da demonstra ca o usam abundantemente as propriedades distributivas de uni oes e intersec co es de conjuntos. Vide Proposi ca o 1.1, p agina 25.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1124/1355

Notemos que se uma uni ao B1 B2 B3 B4 e vazia, ent ao cada Bj e vazio. De (25.2) conclu mos, ent ao, que = (Ka A1 ) (Ka A2 ) = (Ka A1 ) (Kb A2 ) = (Kb A1 ) (Ka A2 ) = (Kb A1 ) (Kb A2 ) Dessas rela co es, usaremos mais abaixo (25.3) e (25.6). Voltemos agora a (25.1). Temos que Ka = K a K c =
(25.1)

(25.3) (25.4) (25.5) (25.6)

Ka

Ka (A1 A2 ) Kb (A1 A2 ) (Ka Kb ) (A1 A2 ) . (25.7)

Ka (A1 A2 )

Como Ka Kb Ka , temos que (Ka Kb ) (A1 A2 ) Ka (A1 A2 ) e, assim, (25.7) se simplica para Ka = Ka (A1 A2 ). Disso conclu mos que Ka = (Ka A1 ) (Ka A2 ) . De maneira totalmente an aloga prova-se que Kb = (Kb A1 ) (Kb A2 ) . (25.9) (25.8)

Analisemos agora as conclus oes (25.3) e (25.8). Se ambos os conjuntos Ka A1 e Ka A2 forem n ao-vazios, ter amos que Ka e desconexo (basta lembrar a deni ca o de conjunto desconexo, acima). Logo, como Ka foi suposto ser conexo, pelo menos um dos dois deve ser vazio. Digamos, sem perda de generalidade, que Ka A2 = . Analogamente, por (25.6) e (25.9) conclu -se que pelo menos um dos conjuntos Kb A1 e Kb A2 deve ser vazio. Se tamb em tiv essemos Kb A2 = , ent ao (Ka Kb ) A2 = , ou seja Kc A2 = , contrariando (a). Logo, Ka A 2 = e K b A1 = .

De (25.8) segue que Ka = Ka A1 , o que signica que Ka A1 . Sabemos, por hip otese, que Ka Kb e n ao-vazio. Seja x Ka Kb . Como x Ka segue que x A1 . Mas isso contradiz Kb A1 = , pois x Kb . Chegamos assim a uma contradi ca o que nos leva a concluir que Ka Kb e conexo se Ka Kb = . Componentes conexas Seja como antes X um conjunto n ao-vazio com uma topologia . trivial constatar que cada conjunto {x} com x X , composto por um u E nico elemento, e conexo.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1125/1355

Se K X podemos estabelecer uma rela ca o de equival encia entre seus elementos da seguinte forma: k, k s ao equivalentes, k k , se existir um subconjunto conexo de K que cont em ambos. K se quebra, assim, em uma uni ao disjunta de classes de equival encia pela rela ca o acima. Cada classe e dita ser uma componente conexa de K . Mostremos que o denido acima e, de fato, uma rela ca o de equival encia em K . Que k k e evidente. Que k k implica k k tamb em e. Se k1 k2 e k2 k3 , sejam Ka K e Kb K conexos tais que k1 , k2 Ka e k2 , k3 Kb . Ent ao Kc = Ka Kb K cont em k1 e k3 (e tamb em k2 ) e e conexo, pelo Teorema 25.1, p agina 1123. Conjuntos totalmente desconexos Um conjunto T X e dito ser totalmente desconexo se todas as suas componentes conexas tiverem apenas um ponto. Conjuntos de Cantor Um conjunto que em uma topologia m etrica seja 1) totalmente desconexo, 2) compacto e 3) perfeito e dito ser um conjunto de Cantor. Exemplos de conjuntos de Cantor encontram-se na Se ca o 21.2, p agina 1011. Uns poucos exemplos Mencionemos alguns exemplos ilustrativos. Seja X = e = , a topologia usual de . O conjunto Q1 = [0, 1] , formado por todos e racionais do intervalo [0, 1], e denso em [0, 1]. Q1 e tamb em denso em si mesmo e denso em parte alguma, mas n ao e perfeito (pois n ao e fechado). O conjunto dos irracionais em [0, 1] e tamb em denso em [0, 1], denso em si mesmo, denso em parte e denso em parte alguma mas n ao e perfeito por n ao ser fechado. O conjunto {1/n, n , n 1} alguma em [0, 1] e n ao e denso em si mesmo.

E. 25.2 Exerc cio. Justique as arma co es acima. Seja com a topologia . O conjunto A = (a, b) (c, d) com a < b c < d e desconexo, mas n ao totalmente desconexo. Suas componentes conexas s ao (a, b) e (c, d). Todo sub-conjunto nito de e totalmente desconexo.

co es acima. E. 25.3 Exerc cio. Justique as arma O conjunto dos racionais e desconexo como subconjunto de com a topologia , pois com os abertos A1 = (, 2) e A2 = ( 2, ) teremos = ( A1 ) ( A2 ), sendo ambos A1 e A2 n ao-vazios e ( A1 ) ( A2 ) = . Em verdade, podemos tomar A1 e A2 na forma A1 = (, x) e A2 = (x, ) para qualquer irracional x que o mesmo ser a v alido.

dos racionais e totalmente desconexo como subconjunto de O conjunto pois suas componentes conexas s ao do tipo {r } com r racional.

com a topologia ,

E. 25.4 Exerc cio. Justique as arma co es acima.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1126/1355

E. 25.5 Exerc cio. O conjunto irracionais e desconexo como subconjunto de totalmente desconexo?

com a topologia ? E

E. 25.6 Exerc cio. O conjunto 0 dos n umeros alg ebricos e desconexo como subconjunto de topologia ? E totalmente desconexo?

com a

E. 25.7 Exerc cio. O conjunto dos n umeros transcendentes e desconexo como subconjunto de topologia ? E totalmente desconexo?

com a

25.2

A No c ao de Topologia Fraca

A Topologia Fraca de uma Cole c ao de Fun co es Um papel muito importante em An alise Funcional e Algebra de Operadores desempenham as chamadas topologias fracas, que descreveremos inicialmente em um contexto geral. Dada uma fun ca o f : X Y , onde X e Y s ao conjuntos dotados de topologias X e Y , respectivamente, sabemos que quanto maior (mais na) a topologia X mais chances f ter a de ser cont nua. Por exemplo, no caso extremo em que X = (X ) a fun ca o f ser a certamente cont nua. Fixada a topologia Y e uma quest ao importante saber qual a menor topologia X que faz de f uma fun ca o cont nua.

Esta quest ao pode ser, entretanto, estudada de forma muito mais geral se, ao inv es de considerarmos uma u nica fun ca o, considerarmos uma cole ca o de fun co es de X em diversos espa cos topol ogicos Y a e nos perguntarmos qual a menor topologia em X que faz todas as fun co es da cole ca o serem cont nuas. O caso anterior de uma u nica fun ca o e claramente um caso particular desse e, em verdade, esse caso mais geral e tamb em mais relevante em aplica co es. Vamos a `s deni co es. Seja X um conjunto e Ya , a , uma cole ca o de espa cos topol ogicos com topologias Ya , respectivamente, onde e um conjunto arbitr ario de ndices. Seja tamb em F uma cole ca o de fun co es de X em algum Ya : F = {fa : X Ya , a }.

Denotamos por (X, F ) a menor topologia em X tal que toda fun ca o de F e cont nua. Mais formalmente denimos (X, F ) simplesmente como a intersec ca o da cole ca o de todas as topologias para as quais todas as fun co es de F s ao cont nuas. Que tal cole ca o de topologias e n ao-vazia mostra ca o de F sempre e cont nua e, portanto, na pior das hip oteses o fato que na topologia (X ) toda fun tem-se que (X, F ) = (X ).

Vamos aqui demonstrar alguns resultados b asicos sobre a topologia (X, F ). Tomaremos sempre as topologias Ya como xadas (mas e, por vezes, bom recordar que (X, F ) depende na verdade das Ya ). Proposi c ao 25.3 Seja D a cole ca o de todos os conjuntos de X que sejam a imagem inversa de alguma

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1127/1355

aberto de algum Ya pela fun ca o fa da cole ca o F :

1 D = {A X, tal que A = fa (Ua ), para algum aberto Ua de algum Ya e fa de F }.

Ent ao, (X, F ) = [D].

Prova. Em primeiro lugar e claro que toda fun ca o de F e cont nua na topologia [D] pois a imagem inversa de qualquer aberto por uma fun ca o de F est a (por deni ca o) em D e, portanto, em [D]. Assim, estabelecemos que (X, F ) [D], posto ser (X, F ) a intersec ca o de todas as topologias onde todas as fun co es de F s ao cont nuas. Vamos mostrar que D (X, F ), o que implica que [D] (X, F ), estabelecendo a igualdade (X, F ) = [D]. A prova que D (X, F ) e feita por absurdo. Vamos supor que exista um conjunto A na cole ca o D que n ao seja elemento da topologia fraca (X, F ). Sejam 1 por em Ua aberto de Ya e fa fun ca o de F tais que A = fa (Ua ). Como A (X, F ), a fun ca o fa n ao e cont nua na topologia fraca pois a imagem inversa do aberto Ua de Ya por fa n ao e um aberto nessa topologia. Isso contradiz a deni ca o da topologia fraca e, portanto, D (X, F ). u E til tamb em lembrar um resultado que provamos quando denimos o conceito de base de uma topologia (p agina 975): a cole ca o DI formada por intersec co es nitas de elementos de D, X e e uma base de [D] e, portanto, da topologia fraca. Exemplo. Para o leitor familiarizado com o conceito de operador limitado em um espa co de Hilbert considere-se o seguinte exemplo. Seja X = B(H) a cole ca o de todos os operadores limitados em um espa co de Hilbert H. Como sabemos X e um espa co de Banach com a norma operatorial A = A . Essa norma dene em B(H) uma topologia que e chamada de topologia uniforme (ou sup H, =0 usual) de B(H). Seja Y = e seja a seguinte fam lia de fun co es X Y : E = {fx, y : X Y, fx, y (A) = (x, Ay ), com x, y H}. Ou seja, E e a cole ca o de todas as fun co es que associam a cada operador limitado A o n umero complexo (x, Ay ) com vetores x, y H. Cada fun ca o e assim indexada por um par de vetores x e y H.

Dene-se a topologia operatorial fraca em B(H) como sendo a menor topologia para a qual toda fun ca o de E e cont nua. Esta topologia e mais fraca que a topologia uniforme. Trataremos com mais detalhe dessa topologia (e de outras correlatas) adiante.

25.3

A Topologia Produto de Espa cos Topol ogicos

Seja {X1 , . . . , Xn } uma cole ca o nita de conjuntos e seja, para cada a {1, . . . , n}, a uma topologia n 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 . No caso de produtos cartesianos arbitr arios X a id eia acima de tomar-se produtos de abertos como geradores da topologia do espa co produto pode ser repetida, mas conduz a uma topologia

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1128/1355

(denominada em ingl es box product topology) com poucas propriedades importantes. Muito mais u til e importante e seguir a sugest ao de Tychonov e considerar no espa co produto uma topologia, dita topologia produto de Tychonov ou simplesmente topologia produto, denida da seguinte forma. Sejam as proje co es : X X denidas por

= x , X tal que x()

ou, alternativamente, interpretando x X , ent ao

X como uma fun ca o de em

(x) = x(). Ent ao a topologia produto de Tychonov e denida como sendo a menor topologia para qual todas as proje co es , s ao cont nuas, ou seja, e a topologia fraca gerada pela fam lia de fun co es , . Para o caso de produtos nitos n ao h a distin ca o entre a box product topology e a topologia produto de Tychonov. Para essa topologia produto de Tychonov vale entre outros o c elebre e important ssimo teorema de Tychonov: produtos cartesianos arbitr arios de espa cos topol ogicos compactos s ao compactos.

Fa camos mais clara a distin ca o entre a box product topology e a topologia produto de Tychonov. Seja {X , } uma cole ca o de conjuntos e seja, para cada , uma topologia em X . Seja X = X o produto cartesiano de todos os X , . Seja B a cole ca o de todos os subconjuntos de X que sejam da forma A onde A , ou seja, cada A e um aberto em X segundo a topologia . Seja B B cole ca o de todos os subconjuntos de X que sejam da forma A onde ao a topologia A , e onde apenas para um n umero nito de fatores tenhamos A = X . Ent gerada por B, [B], e a chamada box product topology dos espa cos topol ogicos X a , a , enquanto que a claro pelas deni topologia gerada por B , [B ], e id entica a ` topologia produto de Tychonov. E co es que [B ] [B]. Notemos que no caso de produtos nitos B = B e, portanto, a box product topology e a topologia produto de Tychonov coincidem. Mostremos que a topologia produto de Tychonov e de fato [B ]. Se A ,
1 (A ) =

onde S = A e S = X para = . Seja D a cole ca o

1 D = { (A ), A , }.

Conforme observamos na se ca o 25.2, p agina 1126, a topologia gerada por D e a menor topologia na qual todas as fun co es s ao cont nuas. Assim, a topologia produto de Tychonov e id entica a [D]. Sabemos tamb em de considera co es gerais (vide p agina 974) que o conjunto D I formado por intersec co es nitas de elementos de D e uma base em [D] e que [D] = [DI ] (vide discuss ao a ` p agina 974). Ora, os elementos de DI s ao produtos de abertos A onde apenas uma cole ca o nita de A s difere de X (por que?), ou seja, DI = B , provando que [D] = [DI ] = [B ].

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1129/1355

25.4

O Teorema da Categoria de Baire

Seja X um conjunto e uma topologia em X . Um conjunto C e dito ser denso em parte alguma na 0 topologia se seu fecho tiver interior vazio, ou seja, (C ) = .

Seja X um conjunto e uma topologia em X . X e dito ser de primeira categoria se existir uma fam lia cont avel Nn , n , de subconjuntos de X tais que X = n Nn e tais que todos os Nn s ao densos em parte alguma. X e dito ser de segunda categoria se n ao for de primeira categoria.

Teorema 25.2 (Teorema da Categoria de Baire para espa cos m etricos) Todo espa co m etrico completo e de segunda categoria, ou seja, se M e um espa co m etrico completo e M = n Nn para alguma fam lia cont avel de conjuntos Nn M ent ao existe pelo menos um Nm tal que (Nm )0 = .

Prova. Seja M um espa co m etrico completo em rela ca o a uma m etrica d e seja uma alguma fam lia e cont avel de conjuntos Nn M , todos densos em parte alguma e tais que M = n Nn . A prova feita por contradi ca o, exibindo-se um elemento x que pertence a M mas que n ao pertence a n Nn .

Como dissemos, a estrat egia da prova e exibir um elemento x que pertence a M mas que n ao pertence a n Nn . Esse elemento x ser a constru do como limite de uma seq u encia de Cauchy conveniente, explorando o fato de M ser completo.

Fa camos em primeiro lugar algumas observa co es b asicas que ser ao usadas repetidamente no que segue. Como os conjuntos Nn s ao densos em parte alguma, seus fechos Nn n ao podem ser iguais a c M , pois M e aberto. Logo os abertos (Nn ) = M \ Nn s ao todos n ao-vazios. Fora isso, para qualquer bola aberta n ao-vazia B devemos ter tamb em B (Nn )c = , pois se tiv essemos B (Nn )c = isso implicaria B Nn , contrariando a hip otese que Nn interior vazio.

Passemos a ` constru ca o da seq u encia de Cauchy. Como (N1 )c = , tomemos um elemento x1 arbitr ario de (N1 )c . Como (N1 )c e aberto existe uma bola B1 (r1 , x1 ) centrada em x1 e de raio r1 claro que B1 (r1 , x1 ) N1 = e que sucientemente pequeno inteiramente contida em (N1 )c . E x1 N 1 .

Podemos agora proceder indutivamente. Para n > 2, (Nn )c e aberto e n ao-vazio, tem-se que c c Bn1 (rn1 , xn1 ) (Nn ) = . Escolhemos ent ao xn Bn1 (rn1 , xn1 ) (Nn ) e tomemos uma bola Bn (rn , xn ) inteiramente contida no aberto Bn1 (rn1 , xn1 ) (Nn )c . Sem perda, podemos escolher rn satisfazendo rn < rn1 /2 < 21n r1 e tal que Bn (rn , xn ) Bn1 (rn1 , xn1 ). Note-se tamb em que Bn (rn , xn ) Nn = e, como Bn (rn , xn ) Bn1 (rn1 , xn1 ), vale tamb em que Bn (rn , xn ) Nn1 = . Em resumo, Bn (rn , xn ) (N1 Nn ) = . e xn N1 Nn .

Analogamente, como (N2 )c e aberto e n ao-vazio, tem-se que B1 (r1 , x1 ) (N2 )c = . Escolhec mos ent ao x2 B1 (r1 , x1 ) (N2 ) e tomemos uma bola B2 (r2 , x2 ) inteiramente contida no aberto B1 (r1 , x1 ) (N2 )c . Sem perda, podemos escolher r2 satisfazendo r2 < r1 /2 e tal que B2 (r2 , x2 ) B1 (r1 , x1 ). Note-se tamb em que B2 (r2 , x2 ) N2 = e, como B2 (r2 , x2 ) B1 (r1 , x1 ), vale tamb em que B2 (r2 , x2 ) N1 = . Em resumo, B2 (r2 , x2 ) (N1 N2 ) = . e x2 N1 N2 .

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1130/1355

A seq u encia xn e uma seq u encia de Cauchy pois (para m < n),
nm1

d(xm , xn )

d(xm+i , xm+i+1 )
i=0

pela desigualdade triangular (por que?) e como xn Bn1 (rn1 , xn1 ), segue que d(xm+i , xm+i+1 ) rm+i < 21mi r1 . Logo,
nm1

d(xm , xn ) que vai a zero quando m .

21mi r1 < 21m r1

i=0 i=0

2i = 22m r1

Fixando um J temos que todo xn com n J e elemento de BJ (rJ , xJ ). Logo, x BJ (rJ , xJ ) BJ 1 (rJ 1 , xJ 1 ). Como BJ 1 (rJ 1 , xJ 1 ) NJ 1 = conclu mos que x NJ 1 . No entanto, J e arbitr ario e, portanto, x n ao pertence a nenhum Nn . Assim, x n ao pertence a n Nn , contrariando a hip otese que M = n Nn .

Como xn e uma seq u encia de Cauchy e M e completo, existe x M ao qual a seq u encia x n converge.

25.5

Aproxima c ao de Fun co es

Na F sica muitas vezes estamos interessados em resolver problemas cuja solu ca o n ao pode ser obtida exatamente. No caso de equa co es diferenciais, por exemplo, s ao muito raras as situa co es nas quais uma solu ca o pode ser expressa em termos de fun co es elementares, tais como polin omios, exponenciais, logaritmos, senos, co-senos ou combina co es das mesmas. Na grande maioria dos casos apresentamse m etodos de solu ca o em termos de aproxima co es que, sob hip oteses adequadas, podem estar t ao portanto, uma quest pr oximas quanto se queira da solu ca o correta. E, ao importante desenvolver m etodos de aproximar fun co es com certas propriedades e e disso, basicamente, que trataremos neste cap tulo. N ao pretendemos aqui esgotar o assunto, o que ademais seria imposs vel, dada a sua extens ao, mas tratar de dois tipos fundamentais de aproxima co es de fun co es: as aproxima co es por polin omios e as aproxima co es por polin omios trigonom etricos. Este u ltimo t opico e o dom nio das chamadas s eries de Fourier e suporemos que o leitor j a possua alguma familiaridade com seus aspectos mais elementares e suas aplica co es. Como veremos, aproxima co es por polin omios e por polin omios trigonom etricos s ao dois assuntos relacionados. Ambos os m etodos de aproxima ca o est ao tamb em na raiz de muitos outros desenvolvimentos, como na teoria dos espa cos de Hilbert e mesmo em temas mais abstratos, como na a lgebra de operadores. Sua aplica ca o pr atica e enorme e ambos os assuntos t em dominado boa parte das aplica co es da Matem atica a ` problemas de F sica e de Engenharia desde o s eculo XVIII.

25.5.1

Aproxima c ao de Fun co es Cont nuas por Polin omios

O Teorema de Weierstrass

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1131/1355

Um dos teoremas fundamentais da An alise e o chamado Teorema de Weierstrass4 que arma que toda fun ca o cont nua denida em um intervalo fechado nito [a, b] da reta real pode ser uniformemente aproximada nesse intervalo por polin omios, ou seja, para todo > 0 podemos encontrar um polin omio p tal que |p (x) f (x)| para todo x [a, b]. Nestas Notas, fazemos uso desse importante teorema em diversas ocasi oes. Para futura refer encia enunciamos o teorema da seguinte forma: Teorema 25.3 (Teorema de Weierstrass) Seja f uma fun ca o real ou complexa, cont nua em um intervalo fechado nito [a, b] . Ent ao, f pode ser aproximada uniformemente por polin omios nesse intervalo, ou seja, para todo > 0 existe um polin omio p tal que p f = sup |p (x) f (x)| .

x[a, b]

H a in umeras demonstra co es do Teorema 25.3 na literatura. Vide, por exemplo, [146] para uma prova usando os chamados polin omios de Bernstein5 , dados, para uma fun ca o cont nua f , denida no intervalo [0, 1], por n n p x (1 x)np . pn (x) := f (p/n) p p=0 O texto [79] apresenta diversas demonstra co es do Teorema 25.3, inclusive a interessant ssima demonstra ca o original de Weierstrass, a qual faz uso de propriedades do chamado n ucleo de calor (a saber, a propriedade que o n ucleo de calor forma uma seq u encia delta de Dirac). Tamb em muito interessante e a demonstra ca o encontrada em [45], talvez a mais elementar, e que aparentemente e devida a Lebesgue. No que segue iremos provar uma forma mais forte do Teorema de Weierstrass, a saber: Teorema 25.4 (Teorema de Weierstrass) Seja f uma fun ca o real ou complexa, cont nua em um intervalo fechado [a, b] e tal que suas k primeiras derivadas existam e sejam cont nuas nesse intervalo. Ent ao, f pode ser aproximada uniformemente por polin omios nesse intervalo e suas k primeiras derivadas podem ser aproximadas uniformemente pelas derivadas desses polin omios, ou seja, para todo (l) (l) (l) (l ) > 0 existe um polin omio p tal que p f = sup |p (x) f (x)| para todo 0 l k .

x[a, b]

Como o leitor pode perceber essa generaliza ca o arma que n ao apenas e poss vel aproximar uniformemente fun co es cont nuas em intervalos compactos por polin omios mas, no caso de a fun ca o ser k vezes diferenci avel, e possivel encontrar aproximantes polinomiais cujas k primeiras derivadas tamb em aproximam uniformemente as respectivas derivadas da fun ca o a ser aproximada. Adiante, apresentaremos uma prova do teorema mais geral, Teorema 25.4. Seguiremos muito proximamente a demonstra ca o apresentada em [28] mas, para a facilidade do estudante, acrescentaremos alguns detalhes6 . Antes de iniciarmos a prova do Teorema 25.4 precisamos fazer um coment ario sobre um fato que usaremos.
Karl Theodor Wilhelm Weierstrass (1815-1897). O Teorema de Weierstrass data de 1885. A refer encia original pode ser encontrada em [28]. 5 Sergi Natanovich Bernstein (1880-1968). Berstein introduziu os polin omios que levam seu nome em trabalho de 1911 sobre o Teorema de Weierstrass e interpola co es polinomiais. 6 Nossa prova e tamb em ligeiramente mais precisa que a de [28], pois l a o par ametro (vide abaixo) e tomado na forma 0 < < 1 mas, para evitar problemas em certos limites de integra ca o, o correto e tom a-lo como faremos adiante.
4

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1132/1355

Certas extens oes cont nuas de fun co es Seja f uma fun ca o cont nua denida em um intervalo fechado limitado [a, b] assumindo valores reais ou complexos e que tenha suas k primeiras derivadas igualmente cont nuas nesse intervalo. Seja um intervalo fechado limitado [, ] que cont em [a, b] no seu interior, ou seja, com < < a < denida em [, ] com as seguintes propriedades: b < < . Ent ao, existe pelo menos uma fun ca o f coincide com f no intervalo [a, b]. 1. f e suas k primeiras derivadas s 2. f ao cont nuas em [, ]. e suas k primeiras derivadas anulam-se nos extremos e do intervalo [, ]. 3. f A fun ca o f e, assim, uma extens ao de cont nua de f ao intervalo [, ] cujas k primeiras derivadas s ao extens oes cont nuas das respectivas k primeiras derivadas de f ao intervalo [, ]. Al em disso, f e suas k primeiras derivadas anulam-se nos extremos do intervalo [, ] em que est ao denidas. com tais propriedades. Uma maneira de construir uma tal fun H a innitas fun co es f ca o e escolh e-la de modo que seja id entica a f no intervalo [a, b], seja innitamente diferenci avel nos intervalos [, a) (l) (l) (l) (x) = f (l) (b) no e (b, ] mas de modo que limxa f (x) = f (a) no intervalo [, a) e limxb f intervalo (b, ], para todo 0 l k . com as propriedades acima Exemplo 25.4 Uma poss vel escolha de uma fun ca o f e a seguinte: f (x) , axb k f (k) (a) (x a)l F, a (x) , x<a l ! , f (x) = l=0 k f (k) (b) (x b)l (1 Fb, (x)) , b < x l ! l=0 Fu, v (x) := 1 Nu, v
x u

onde, para u < v , a fun ca o Fu, v : [u, v ] [0, 1] e denida por exp

1 1 2 (y u) (y v )2

dy ,

u x v,

Nu, v sendo a constante de normaliza ca o

v

Nu, v :=
u

exp

1 1 2 (y u) (y v )2

dy .

Essa fun ca o Fu, v e cont nua, estritamente crescente, innitamente diferenci avel no intervalo u < x < v e satisfaz
xu

lim Fu, v (x) = 0,

xv

lim Fu, v (x) = 1,

xu

(l) (l) lim Fu, v (x) = lim Fu, v (x) = 0, xv

l1.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1133/1355

satisfaz as propriedades requeridas: Com isso, e f acil ver que f e cont nua e k -vezes diferenci avel em [, ] e satisfaz () = 0 = f ( ) , f (l) (a) = f (l) (a) f e (l) () = 0 = f (l) ( ) , l 1 , f (l) (b) = f (l) (b) , f 0lk , (25.10)

al em de, obviamente, ser uma extens ao de f . E. 25.8 Exerc cio. Verique as arma co es feitas acima.

, como aquela do exemplo acima, n Para o que segue, a forma espec ca de f ao ser a relevante, apenas suas propriedades. Prova do Teorema de Weierstrass Daqui por diante, consideraremos sem perda de generalidade que [a, b] (0, 1), ou seja, tomamos uma extens 0 < a b < 1, e consideraremos f ao de f a todo o intervalo [0, 1] com as propriedades acima (adotando = 0 e = 1). Com uma tal fun ca o podemos denir os polin omios pn (x) := 1 2Dn (0)
1 0

(u) 1 (u x)2 f
1

du

(25.11)

com x [0, 1], onde, para [0, 1], denimos Dn ( ) :=

1 v2

dv .

Os pn s ao claramente polin omios de grau menor ou igual a 2n. Como veremos, esses polin omios s ao aqueles que aproximam f com as propriedades requeridas. Para mostrar isso, xemos x [a, b] e comecemos observando que pn (x) = 1 2Dn (0)
1 0

(u) 1 (u x)2 f

du

v =ux

1 2Dn (0)

1x x

(v + x) 1 v 2 f

dv

= A1 + A2 + A3 , com A1 := 1 2Dn (0)

x

(v + x) 1 v 2 f

dv, A2 :=

1 2Dn (0) 1 2Dn (0)

(v + x) 1 v 2 f

dv , (25.12)
n

1x

A3 :=

(v + x) 1 v 2 f

dv ,

onde satisfaz 0 < < min{a, 1 b} e ser a convenientemente xado mais adiante 7 . Vamos tratar de estimar cada uma das tr es express oes Aj acima. Como f e cont nua no intervalo [0, 1], seu m odulo
Como 0 < < min{a, 1 b} e x [a, b], segue que > x e < 1 x. Assim, os tr es intervalos de integra ca o em (25.12) s ao crescentes.
7

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1134/1355

(x) . Com isso assume um valor m aximo, que denotaremos por F , ou seja, em s mbolos, F := sup f
x[0, 1]

podemos escrever que 1 2Dn (0)

1x

|A3 |

(v + x)| 1 v 2 |f

dv

F 2Dn (0)

1x

1 v2
1

dv
n

F 2Dn (0)

1 v2

dv = F

Dn ( ) , (25.13) 2Dn (0)

onde, na u ltima desigualdade, usamos que 1 x 1. De forma totalmente an aloga, prova-se que vale tamb em Dn ( ) . (25.14) |A1 | F 2Dn (0) O termo A2 pode ser manipulado da seguinte forma. Usando a identidade Dn (0) 1 = = Dn (0) escrevemos (x) f (x) 1 + A2 := f 1 2Dn (0)
0

[1 v 2 ] dv + Dn ( ) = Dn (0)

[1 v 2 ] dv + 2Dn ( ) , 2Dn (0)

(v + x) 1 v 2 f

dv
n

1 (x) f (x) Dn ( ) + = f Dn (0) 2Dn (0)

(v + x) f (x) f

1 v2

dv .

De (25.13), (25.14) e (25.15) extra mos, assim, que para x [a, b], (x)| |pn (x) f F Dn ( ) 1 (x) Dn ( ) + + f Dn (0) Dn (0) 2Dn (0)

(v + x) f (x) f

1 v2

dv .

por f no lado esquerdo. Fora isso, f (x) F e, assim, Como x [a, b], podemos substituir f chegamos a |pn (x) f (x)| 2F 1 Dn ( ) + Dn (0) 2Dn (0)

(v + x) f (x) f

1 v2

dv .

, Observemos neste ponto que uma fun ca o que seja cont nua em um intervalo compacto, como f e uniformemente cont nua nesse intervalo. Assim, para cada > 0 dado podemos encontrar um > 0, (v + x) f (x) < desde que |v | < . Temos, pequeno o suciente e independente de x de forma que f

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1135/1355

portanto, Dn ( ) |pn (x) f (x)| 2F + Dn (0) 2Dn (0) Dn ( ) + = 2F Dn (0) Dn (0) = 2F

0

1 v2 1 v2
n

dv

dv

Dn ( ) + (Dn (0) Dn ( )) Dn (0) Dn (0) Dn ( ) + Dn (0)

= (2F ) 2F

Dn ( ) + . Dn (0)

Para fechar a demonstra ca o dessa parte, precisamos agora mostrar que para qualquer xo com 0 < 1 a raz ao Dn ( )/Dn (0) pode ser feita t ao pequena quanto se queira, fazendo-se n crescer. 2 Como em [28], notamos que para v [0, 1] vale v < v . Assim,
1 1

Dn (0) =
0

(1 v 2 )n dv

(1 v )n dv =

1 , n+1

calculando explicitamente a u ltima integral. Paralelamente,

1 1

Dn (0) =

(1 v 2 )n dv (1 2 )n

dv = (1 2 )n (1 ) (1 2 )n

e, portanto, Dn ( ) (n + 1)(1 2 )n . Dn (0) Como 0 < 1 2 < 1, o limite para n do lado direito, acima, e zero. Assim, conclu mos que para n grande o suciente, independente de x, tem-se |pn (x) f (x)| 2 . Isso estabelece que a seq u encia de polin omios pn converge uniformemente a f no intervalo [a, b]. Com isso provou-se o Teorema 25.3. Vamos provar agora que para cada l com 1 l k as derivadas pn tamb em convergem uniforme(l) mente a `s derivadas f quando n . Notemos que, pela deni ca o de pn ,
l) p( n (x) = (l)

1 2Dn (0)

1 0

l (u) 1 (u x)2 f xl n

du .

Agora, devido ao fato de a fun ca o [1 (u x)2 ] ser sim etrica pela troca u x, vale l 1 (u x)2 xl
n

= (1)l

l 1 (u x)2 ul

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 25

1136/1355

Assim,
l) p( n (x)

(1)l 2Dn (0)

l

1 0

l (u) 1 (u x)2 f ul

du
1 0 l 1 (1) (u) 1 (u x)2 f l 1 u n

int. por partes

l1 (u) 1 (u x)2 (1) f l 1 u = 0,

u=1 n

(1)l1 + 2Dn (0) u=0

du .

pois

(0)=f (1)=0 f

e suas derivadas anulamRepetindo-se l vezes o processo de integra ca o por partes e usando o fato que f se em 0 e em 1, por constru ca o, obtemos,
l) p( n (x) =

1 2Dn (0)

1 0

(l) (u) 1 (u x)2 f

du .

(l) (l) no intervalo [a, b] J a vimos, por em, que essa igualdade implica que pn converge uniformemente a f para n . Isso completa a prova do Teorema de Weierstrass, Teorema 25.4.

Parte VI An alise Funcional

1137