CAP 20 - Espaços Métricos

Cap tulo 20 Espaos Mtricos c e
Contedo u
20.1 20.2 20.3 20.4 20.5 Mtricas e Espaos Mtricos . . . . . . . . . . . e c e Topologia de Espaos Mtricos . . . . . . . . . . c e Pseudo-Mtricas . . . . . . . . . . . . . . . . . . e Espaos de Funes Limitadas e Completeza . c co Espaos de Banach e de Hilbert . . . . . . . . . c 20.5.1 Espaos de Banach em Espaos de Seqncias c c ue
APENDICES
. . . . . .
odos estamos familiarizados com a noao usual e intuitiva de distncia entre pontos da reta real R, do plano c a bidimensional R2 ou do espao tridimensional R3 . O estudante h de reconhecer que boa parte do material c a tratado em cursos de clculo de funoes de uma ou vrias variveis, reais ou complexas, como as nooes a c a a c de derivaao e integraao, assenta-se sobre nooes como as de convergncia e limite, as quais, por sua vez, c c c e assentam-se sobre a noao intuitiva de distncia entre pontos. Assim, por exemplo, dizemos que uma seqncia xn de c a ue pontos na reta real converge a um ponto x se a distncia |xn x| entre xn e x torna-se menor e menor ` medida que n a a cresce. Mais adiante faremos essas idias mais precisas e gerais. e Ao longo do seu desenvolvimento, especialmente aps o sculo XIX, a Matemtica reconheceu a importncia de o e a a abstrair e generalizar a noao intuitiva de distncia de modo a aplic-la a outros tipos de conjuntos que no os familiares c a a a espaos de dimenso nita R, R2 ou R3 . Esse desenvolvimento conduziu `s nooes de mtrica, de espaos mtricos c a a c e c e e de espaos mtricos completos, as quais deniremos mais adiante, e permitiu aplicar muitas das nooes geomtricas c e c e e instrumentos anal ticos, originalmente desenvolvidos em espaos mais familiares, para conjuntos menos acess c veis ` a intuiao, como por exemplo espaos vetoriais de dimenso innita, tais como espaos de funoes ou de seqncias. c c a c c ue Uma importante aplicaao dessas idias ` teoria das equaoes diferenciais e integrais ser vista no Cap c e a c a tulo 21, quando trataremos do Teorema do Ponto Fixo de Banach. Lembramos ao estudante que o estudo de espaos de dimenso innita no uma mera abstraao desprovida de uso c a a e c ou interesse prtico. Ao se decompor uma funao f , cont a c nua, diferencivel e peridica de per a o odo 2, em sua srie de e Fourier1 , eint an f (t) = 2 n= tal como ocorre, por exemplo, no problema da corda vibrante, o que estamos fazendo precisamente expressar uma e tal funao em termos de componentes em uma base de um espao de dimenso innita, no caso a base formada pelas c c a int innitas funoes 2 com n Z. c e Para o estudo de espaos de dimenso innita, como o desse exemplo, seria muito importante se pudssemos reter c a e algumas das nooes geomtricas familiares em espaos de dimenso nita. O emprego de idias geomtricas anlogas c e c a e e a a `quelas encontradas nos espaos R, R2 ou R3 de grande importncia na tarefa de explorar espaos de dimenso innita, c e a c a como o espao das funoes cont c c nuas peridicas de per o odo 2, justamente por trazerem tais espaos para mais perto da c nossa intuiao. Por razes evolutivas, o crebro humano s capaz de produzir e desenvolver imagens em uma, duas c o e o e ou trs dimenses e, portanto, para o estudo de espaos com mais dimenses faz-se necessrio dispor de instrumentos e o c o a abstratos que permitam desenvolver racioc nios o mais prximo poss daqueles empregados em espaos de dimenso o vel c a 1, 2 ou 3.
1 Jean
20.A Algumas Desigualdades Bsicas . . . . . . . . . . a 20.B Nmeros reais e p-dicos . . . . . . . . . . . . . . u a 20.C Aproximaes para . . . . . . . . . . . . . . . . . co
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. . . . . . . . . .
. 950 . 963 . 966 . 968 . 971 . . 973 . 984 . 984 . 986 . 991
Baptiste Joseph Fourier (17681830).
949
JCABarata. Curso de F sica-Matemtica a
Verso de 4 de abril de 2009. a
Cap tulo 20
950/1628
Devido `s bem-conhecidas relaoes de ortogonalidade a c 1 2

2
ei(nm)t dt = n, m
0
sabemos que, as constantes an da decomposiao de Fourier acima so dadas por c a

2
an =
0
eint f (t) dt , 2
e podem ser interpretadas geometricamente como as projees, ou componentes, da funao f na direao das funoes co c c c eint . (A noao de projeao, ou componente, de um vetor familiar em R2 ou em R3 ). Como bem sabido (para a c c e e 2 teoria das sries de Fourier, vide [50]), vale tambm a relaao, conhecida como Identidade de Parseval2, e e c
2 0
|f (t)|2 dt
n=
|an |2 .
Sendo o lado direito a raiz quadrada da soma do quadrado das componentes ortogonais de f , podemos interpretar o lado esquerdo como o mdulo ou comprimento da funao f (entendida como vetor no espao de dimenso innita das o c c a funoes peridicas de per c o odo 2), tal como no Teorema de Pitgoras3 em R2 ou R3 . a Se levada adiante, essa analogia geomtrica nos permite denir uma poss noao de distncia entre duas funoes e vel c a c cont nuas peridicas f e g, que denotaremos por4 d2 (f, g), como o mdulo (ou comprimento) da diferena entre duas o o c funoes, tal como se faz em espaos de dimenso nita: c c a
2
d2 (f, g) :=
0
|f (t) g(t)|2 dt .
Com esse instrumento em mos podemos agora empregar conceitos como o de convergncia e limite de seqncias no a e ue espao de dimenso innita das funoes cont c a c nuas peridicas e, eventualmente, prosseguir desenvolvendo em tais espaos o c outros ingredientes do Clculo e da Anlise. a a Para implementar tais desenvolvimentos, vamos no presente cap tulo introduzir algumas importantes nooes gerais, c como as de mtrica, de espao mtrico, de seqncias de Cauchy em espaos mtricos, de completamento de espaos e c e ue c e c mtricos e de topologia de espaos mtricos, nooes essas que provaram ser de grande importncia na tarefa de levar os e c e c a instrumentos familiares de abordagem matemtica de espaos de dimenso nita a espaos de dimenso innita e outros. a c a c a
20.1
Mtricas e
Mtricas e Espaos Mtricos e c e
Uma questo importante que se coloca a de identicar quais propriedades bsicas a noao intuitiva de distncia a e a c a possui para permitir seu emprego em vrias instncias. O desenvolvimento da Matemtica conduziu a uma identicaao a a a c desses ingredientes em um conjunto de quatro propriedades, as quais resumem tudo o que essencialmente necessrio na e a demonstraao de resultados nos quais a noao de distncia empregada. Surgiu da identicaao dessas propriedades a c c a e c noao matemtica de mtrica, a qual abstrai e generaliza a noao intuitiva de distncia. Vamos a essa deniao. c a e c a c
Seja X um conjunto (entendido doravante como no-vazio). Uma funao d : X X R dita ser uma mtrica em a c e e X se possuir as seguintes propriedades: 1. Positividade: d(a, b) 0 para todos a, b X. 2. Condiao de distncia nula: d(a, b) = 0 se e somente se a = b. c a
2 Marc-Antoine 3 Pitgoras a
Parseval des Chnes (17551836). e de Samos (ci. 569 A.C. ci. 475 A.C.). 4 A razo de empregarmos o sub- a ndice 2 na deniao de d2 (f, g) ser esclarecida mais adiante. c a
Cap tulo 20
951/1628
3. Simetria: para todos a e b X vale d(a, b) = d(b, a). 4. Desigualdade triangular: para todos a, b e c X vale d(a, b) d(a, c) + d(c, b). A quarta propriedade acima particularmente importante e denominada desigualdade triangular devido a seu e e signicado geomtrico nos espaos R2 e R3 com a mtrica usual. (Justique!) As quatro propriedades listadas acima e c e so aquelas identicadas como essenciais ` noao intuitiva de distncia e qualquer funao d que as satisfaa, ou seja, a a c a c c qualquer mtrica, pode potencialmente ser empregada como equivalente `quela noao. Um ponto importante da deniao e a c c de mtrica a condiao que arma que d(x, y) = 0 se e somente se x e y forem iguais. Compare com a deniao de e e c c pseudo-mtrica ` pgina 966. e a a Mencionamos en passant que a condiao de positividade acima , em verdade, conseqncia da desigualdade triangular c e ue e da condiao de simetria. De fato, usando essas duas condioes, pode-se provar o seguinte fato mais forte: para todos c c x, y, z M vale d(x, y) |d(x, z) d(z, y)| , (20.1) o que, em particular, garante que d(x, y) 0. Para provar isso, note-se que pela desigualdade triangular d(x, z) d(x, y) + d(y, z). Logo, d(x, y) d(x, z) d(y, z) . (20.2) Trocando-se x por y e usando-se a condiao de simetria, obtemos tambm c e d(x, y) = d(y, x) d(y, z) d(x, z) . Ambas as relaoes (20.2) e (20.3) dizem que d(x, y) |d(x, z) d(y, z)|, como quer c amos mostrar. (20.3)
O exemplo mais bsico de uma mtrica oferecido, no caso X = R, pela funao d(x, y) = |y x|, x, y R. Outro a e e c exemplo essencialmente idntico em X = C, oferecido pela funao d(z, w) = |z w|, z, w C. Essas so as chamadas e e c a mtricas usuais em R e C, respectivamente. Deixamos ao leitor a tarefa simples de vericar que essas funoes satisfazem e c as condioes da deniao de mtrica. c c e Espaos mtricos e outros exemplos bsicos c e a
Se X um conjunto no-vazio e d uma mtrica em X, dizemos que o par (X, d) um espao mtrico. Ou seja, um e a e e e c e espao mtrico vem a ser um conjunto munido de uma mtrica. c e e A noao de Espao Mtrico foi introduzida por Frchet5 em sua dissertaao de 1906. A expresso espao c c e e c a c Nota. mtrico, no entanto, no foi sua invenao, tendo sido cunhada por Hausdor6 em 1914. e a c Como mencionamos, as quatro propriedades requeridas na deniao de mtrica, acima, foram enunciadas sob insc e piraao do exemplo familiar do prximo exerc c o cio. E. 20.1 Exerccio. Verique que a funo d2 (x, y) := ca (y1 x1 )2 + + (yn xn )2 , onde x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ), uma mtrica em Rn (chamada de mtrica Euclidiana). e e e E importante que o estudante familiarize-se desde cedo com o fato que um conjunto X pode ter vrias mtricas. O a e exemplo anterior e os dois abaixo ilustram isso. Verique que a funo d (x, y) := max{|y1 x1 |, . . . , |yn xn |}, onde x = (x1 , . . . , xn ) e ca E. 20.2 Exerccio. y = (y1 , . . . , yn ), uma mtrica em Rn . e e E. 20.3 Exerccio. Verique que a funo d1 (x, y) := |y1 x1 |+ +|yn xn |, onde x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ), ca uma mtrica em Rn . e e Mais adiante mostraremos que todas as funoes c dp (x, y) := [|y1 x1 |p + + |yn xn |p ]1/p ,
5 Maurice 6 Felix
Ren Frchet (18781973). Frchet tambm introduziu a noao de compacidade. e e e e c Hausdor (18681942).
Cap tulo 20
952/1628
Uma caracter stica importante da noao abstrata de mtrica que a mesma aplica-se tambm a espaos outros que c e e e c no os familiares espaos Rn . Os exerc a c cios abaixo ilustram isso no caso do conjunto X = C([0, 1]), que vem a ser o conjunto das funoes cont c nuas reais denidas no intervalo [0, 1]. O leitor deve se recordar que, como o intervalo [0, 1] compacto, toda funao f cont e c nua nele denida limitada, e pois |f | cont e nua e possui um mximo e um m a nimo (esse bem-conhecida armaao encontra-se provada no Teorema c 29.16, pgina 1352, vide tambm os bons livros de Clculo e Anlise). a e a a E. 20.4 Exerccio. Seja X = C([0, 1]) o conjunto de todas as funoes reais cont c nuas denidas em [0, 1]. Considere a seguinte funo d : X X R: ca d (f, g) = sup |f (x) g(x)| .
x[0, 1]
com p 1 so mtricas em Rn . a e
Mostre que d uma mtrica em X. e E. 20.5 Exerccio. Seja X = C([0, 1]) o conjunto de todas as funoes reais cont c nuas denidas em [0, 1]. Considere a seguinte funo d1 : X X R: ca
1
d1 (f, g) =
0
|f (x) g(x)| dx .
Mostre que d1 uma mtrica em X. e E. 20.6 Exerccio. Seja X = C([0, 1]) o conjunto de todas as funoes reais cont c nuas denidas em [0, 1]. Considere a seguinte funo d2 : X X R: ca
1
d2 (f, g) =
0
|f (x) g(x)|2 dx .
Mostre que d2 uma mtrica em X. e Mais adiante mostraremos que em C([0, 1]) todas as funoes c
1 1/p
dp (f, g) =
0
|f (x) g(x)| dx
com p 1 so igualmente mtricas. a e
O exemplo a seguir mostra que uma mtrica pode ser denida em qualquer conjunto no-vazio. e a
Mostre que dt uma mtrica em X, denominada mtrica trivial. e e Mtricas e normas em espaos vetoriais e c
a ca E. 20.7 Exerccio. Seja X um conjunto no-vazio e considere a seguinte funo dt : X X R: 0 , se x = y , dt (x, y) := 1 , se x = y .
(20.4)
Se E um espao vetorial dotado de uma norma E (a noao de norma em espaos vetoriais foi introduzida na e c c c Seao 3.2, pgina 155), podemos denir uma mtrica em E atravs da seguinte expresso: para u, v E, c a e e a dE (u, v) = Essa mtrica dita ser a mtrica induzida pela norma e e e
E.
uv
Cap tulo 20
953/1628
Prove que essa expresso de fato satisfaz as propriedades denidoras de mtrica. Sugesto: para a e a E. 20.8 Exerccio. demonstrar a desigualdade triangular, use a propriedade de norma a + b a + b para provar que u v E = u w + w v E u w E + w v E para todos u, v, w E. E. 20.9 Exerccio. Diversas mtricas apresentadas acima so induzidas por normas. Identique-as! e a Como vimos, se E um espao vetorial normado, ento tambm um espao mtrico com a mtrica induzida pela e c a e e c e e norma, denida acima. O prximo exerc trata da questo de saber que condioes so necessrias e sucientes para o cio a c a a que uma mtrica denida em um espao vetorial seja induzida por uma norma, ou seja, da questo de saber quando e c a e poss denir uma norma a partir de uma mtrica. vel e c e e E. 20.10 Exerccio. Seja E um espao vetorial complexo dotado de uma mtrica d. Mostre que para que a mtrica d seja uma mtrica induzida por uma norma necessrio e suciente supor que d satisfaz as seguintes condioes: e e a c 1. Invarincia translacional: d(u + t, v + t) = d(u, v) todos u, v e t E. a 2. Transformao de escala: d(u, v) = ||d(u, v) para todos u, v E e todo C. ca Sob as hipteses 1 e 2 essa norma que induz d denida por u := d(u, 0) para cada u E. o e Seqncias ue
Antes de prosseguirmos, recordemos uma deniao bsica. c a
Se X um conjunto no-vazio, uma funao a : N X dita ser uma seqncia em X. Como familiar ao estudante, e a c e ue e o valor de a em n N freq entemente denotado por an ao invs de a(n). Analogamente, uma seqncia a : N X e u e ue e freq entemente denotada por {an }nN , por {an , n N}, ou ainda, com um certo abuso de linguagem, simplesmente por u an . Essa ultima notaao , talvez, a mais freq ente, mas pode, em certas ocasies, causar alguma confuso pois, como c e u o a mencionamos, an designa, estritamente falando, o valor de a em n, no a seqncia toda. a ue Vamos agora introduzir vrias nooes fundamentais, as quais provm de denioes bem conhecidas no contexto da a c e c reta real. Subseqncias ue
Seja X um conjunto e seja a : N X uma seqncia em X. Seja tambm : N N uma funao estritamente ue e c crescente (ou seja, k(m) < k(n) se m < n). Ento a : N X dita ser uma subseqncia de a. a e ue Convergncia em espaos mtricos e c e Seja (X, d) um espao mtrico. Dizemos que uma seqncia a em X converge para um elemento x X em relaao c e ue c a e ` mtrica d se para todo > 0 existir um n mero natural N () (eventualmente dependente de ) tal que d(x, an ) N ().
A seguinte proposiao fundamental, pois nos diz que, em um espao mtrico, uma seqncia, se for convergente, s c e c e ue o pode convergir a um ponto: Proposio 20.1 Seja (X, d) um espao mtrico e seja b uma seqncia em X. Suponha que b converge a um elemento ca c e ue x X e a um elemento y X. Ento x = y. a Prova. Pela desigualdade triangular, temos que d(x, y) d(x, bn ) + d(bn , y) para qualquer n. Agora, como b converge a x sabemos que, para qualquer > 0 teremos d(x, bn ) < para todo n grande o suciente, ou seja, para todo n maior que um certo inteiro Nx (). Analogamente, como bn converge a y sabemos que, para qualquer > 0 teremos d(y, bn ) < para todo n grande o suciente, ou seja, para todo n maior que um certo inteiro Ny (). Assim, para todo n maior que max{Nx (), Ny ()} teremos d(x, y) < 2. Ora, como um n mero positivo arbitrrio, uma tal desigualdade s pode e u a o ser vlida se d(x, y) = 0. Como d uma mtrica, isso implica x = y. a e e O estudante pode constatar que a demonstraao acima faz uso de todas as propriedades denidoras da noao de c c
Cap tulo 20
954/1628
mtrica, o que ilustra a importncia de nooes abstratas como aquela. e a c Um pouco de notaao. Se uma seqncia a em X converge a x X em relaao ` mtrica d ento x dito ser o d-limite c ue c a e a e de a, ou simplesmente o limite de a, se a mtrica d estiver subentendida. Denotamos esse fato escrevendo x = dlim an , e n ou simplesmente x = lim an (se a mtrica d estiver subentendida). Outra notaao freq entemente empregada para e c u
n
dizer que x o d-limite de a an x. e e Seja um espao mtrico X com uma mtrica d. Uma seqncia a de elementos de X dita ser uma seqncia de c e e ue e ue Cauchy7 em relaao ` mtrica d se para todo > 0 existir um n mero natural N () (eventualmente dependente de ) tal c a e u que d(ai , aj ) < para todo i e j tais que i > N () e j > N (). A seguinte proposiao fundamental: c e Proposio 20.2 Seja um espao mtrico X com uma mtrica d e seja b uma seqncia convergente em relaao a ca c e e ue c ` mtrica d a um elemento x X. Ento b uma seqncia de Cauchy em relaao a mtrica d. e a e ue c ` e Prova. Sejam m e n arbitrrios. Pela desigualdade triangular, vale d(bn , bm ) d(bn , x) + d(x, bm ). Agora, como b a converge a x sabemos que para todo > 0 teremos d(bn , x) < /2 e d(bm , x) < /2 desde que ambos m e n sejam maiores que algum N (/2). Nesse caso, ento, d(bn , bm ) /2 + /2 = . Isso completa a prova. a Uma questo de fundamental importncia que agora se coloca a seguinte: ser vlida a rec a a e a a proca da proposiao c acima, ou seja, ser toda seqncia de Cauchy em um espao mtrico uma seqncia convergente? A importncia dessa a ue c e ue a questo a seguinte. Dada uma seqncia concreta xn em um espao mtrico X, no sabemos a priori se xn convergir a e ue c e a a ou no a menos que encontremos um elemento x em X com a propriedade desejada (para todo > 0, existe N () tal que a d(xn , x) < sempre que n > N ()). Nem sempre pode ser fcil ou poss encontrar explicitamente tal x, e gostar a vel amos de possuir um critrio baseado apenas em propriedades vericveis da seqncia xn que nos permita dizer se ela converge e a ue ou no. A propriedade de uma seqncia ser de Cauchy uma propriedade cuja validade ou no depende apenas da a ue e a seqncia e, portanto, em face ` Proposiao 20.2, um timo candidato a ser um tal critrio de convergncia. ue a c e o e e Sucede, porm, que, em geral, a resposta ` pergunta acima negativa: existem espaos mtricos nos quais h e a e c e a seqncias de Cauchy que no convergem. Isso ilustrado pelos seguintes exemplos. Considere-se o conjunto X = Q ue a e dos n meros racionais e adotemos em Q a mtrica usual: d(r, s) = |r s|, com r, s Q. H, sabidamente, exemplos de u e a seqncias de Q que so de Cauchy em relaao ` mtrica d que convergem em Q. Um exemplo encontrado no exerc ue a c a e e cio seguinte. E. 20.11 Exerccio. Seja r um nmero racional com r > 1. Prove que a seqncia de nmeros racionais sn = u ue u r . r1 1 , ra a=0
n
Seqncias de Cauchy ue
n N, uma seqncia de Cauchy e que a mesma converge ao nmero racional e ue u
O ponto, porm, que h tambm exemplos de seqncias de Q que so de Cauchy em relaao ` mtrica d mas que e e a e ue a c a e no convergem em Q. Um exemplo famoso, e que pode ser tratado com detalhe, o da seqncia a e ue sn = 1 + 1 1 1 + + + , 1! 2! n!
u que uma seqncia de Cauchy de racionais, mas que no converge a um n mero racional8. Tratamos esse exemplo e ue a com detalhe no prximo tpico. A leitura do mesmo pode ser dispensada pelo estudante j familiarizado com esses fatos, o o a mas pode ser instrutiva para os demais. Por um teorema de Lambert9 (vide [71]), sabe-se que se r um n mero racional e u 2 n r no-nulo ento er no racional. Assim, as seqncias de racionais sn = 1 + 1! + r + + r convergem a irracionais. a a a e ue 2! n! Analogamente, esse teorema de Lambert implica que ln(r) no pode ser racional se r o for, Assim, para 1 < r < 1, a a n n+1 converge ao irracional ln(1 + r). srie n=0 (1) r e n+1
7 Augustin 8O
Louis Cauchy (17891857). estudante bem sabe que essa seqncia converge no conjunto dos reais ao nmero e. Abaixo provaremos que esse nmero no racional. ue u u a e 9 Johann Heinrich Lambert (17281777).
Cap tulo 20
955/1628
Outro exemplo a seqncia pn = 4 k=0 (1) , que converge ao irracional . Uma prova que irracional pode ser e ue e 2k+1 encontrada em [168] ou em [71]. Vide pgina 44 para mais comentrios. Para uma breve discusso sobre aproximaoes a a a c para recheada de digresses histricas, vide Seao 20.C, pgina 991. o o c a Esses exemplos, que esto longe de ser unicos, ilustram um fato muito importante: existem espaos mtricos nos a c e quais no vale a rec a proca da Proposiao 20.2, ou seja, existem espaos mtricos nos quais seqncias de Cauchy no so c c e ue a a necessariamente convergentes. De grande importncia so os espaos mtricos onde vale a rec a a c e proca da Proposiao 20.2. Tais espaos mtricos so c c e a denominados completos e deles falaremos no ps-prximo tpico, ` pgina 956. o o o a a O n mero e um n mero irracional u e u Seja a seqncia de n meros racionais ue u sn = 1 + 1 1 1 + + + , 1! 2! n!
Vamos provar que essa seqncia de Cauchy em relaao ` mtrica usual em Q, mas que a mesma no converge a um ue e c a e a n mero racional. u Primeiro provemos que esta seqncia de Cauchy. Vamos supor j > i. Como a seqncia sn crescente, segue que ue e ue e d(si , sj ) = |si sj | = sj si (por que?). Temos, ento, a d(si , sj ) = sj si = = 1 (i + 1)! 1 (i + 1)! 1 (i + 1)! 1 1 + + (i + 1)! j! 1+ 1 1 (i + 1)! + + + i + 2 (i + 2)(i + 3) j! 1 1 1 + + + (i + 2) (i + 2)2 (i + 2)ji1 1 (i + 2)a para i > 0 . (20.5)
<
1+
a=0
= Como o n mero u de Cauchy.
i+2 2 1 < (i + 1)! i + 1 (i + 1)!
2 pode ser feito arbitrariamente pequeno tomando-se i grande, ca provado que a seqncia sn ue e (i + 1)!
E. 20.12 Exerccio. Justique cada passagem acima. Vamos agora provar que essa seqncia no converge a um n mero racional. Para isso vamos supor o contrrio e ue a u a constatar que isso leva a um absurdo. Vamos ento supor que a seqncia converge a um racional e. Como e suposto a ue e ser racional, e seria da forma e = p/q onde p e q so n meros inteiros primos entre si. Da desigualdade triangular segue a u que 2 d(e, si ) d(si , sj ) + d(e, sj ) < +, (i + 1)! para qualquer > 0, desde que j seja escolhido grande o suciente (pois sj converge a e). Assim, como a desigualdade vale para qualquer > 0, conclu que -se 2 d(e, si ) . (i + 1)! Como si uma seqncia crescente e si = sj para i = j, segue que d(e, si ) = e si . Logo, e ue 0 < e si = 2 p si q (i + 1)!
Cap tulo 20
956/1628
e, portanto, si <
p 2 si + q (i + 1)!
(20.6)
para todo i N. Para i = 2 a relaao (20.6) ca (verique!) c 5 p 17 < . 2 q 6 (20.7)
Como 17/6 < 3, conclu mos que 5/2 < p/q < 3. Esse fato mostra que p/q no inteiro. Disso, segue que q 2, fato que a e usaremos logo abaixo10 . Como (20.6) vale para todo i, tomemos em particular i = q. A relaao (20.6) diz, ento, que c a 1+ 1 p 1 1 2 1 + + < 1 + + + + . 1! q! q 1! q! (q + 1)! 2 < A + 1, pois q 2 , q+1
Multiplicando-se ambos os lados por q! conclu mos que A < p(q 1)! A + onde A := q! 1 +
q! q! 1 q! 1 = q! + q! + + + + + + 1! q! 2! 3! q! um n mero inteiro positivo, pois , claramente, uma soma de inteiros positivos. Assim, o que provamos que A < e u e e p(q 1)! < A + 1. Agora, como A um inteiro, essas ultimas desigualdades dizem que o n mero inteiro p(q 1)! est e u a contido no intervalo aberto entre dois inteiros (A e A + 1) e, portanto, no pode ser um inteiro: uma contradiao. Isso a c prova, ento, que e no pode ser da forma p/q e, portanto, no pode ser racional. a a a e u E. 20.13 Exerccio. A chamada constante de Euler11 -Mascheroni12 o nmero denido13 por := lim
n
1+
1 1 + + ln(n) 2 n
0, 5772156649 . . . .
A constante surge em vrias situaoes, por exemplo na denio das funoes de Bessel de segundo tipo (vide Seo 10.2.3, a c ca c ca pgina 441) e em propriedades da funo Gama de Euler (vide Seo 10.4, pgina 464). A prova que o limite acima existe a ca ca a pode ser encontrada em qualquer bom livro de Clculo, por exemplo em [168]. At hoje no conhecido se um nmero a e a e e u racional ou irracional. Resolva essa questo. a Completeza
Dizemos que o espao mtrico X completo em relaao ` mtrica d se toda seqncia de Cauchy em X convergir a c e e c a e ue um elemento de X.
ue Assim, em um espao mtrico completo, para garantirmos que uma seqncia converge basta vericarmos que a c e mesma de Cauchy. Como comentamos ` pgina 954, a propriedade de uma seqncia ser de Cauchy pode ser vericada e a a ue analisando apenas propriedades da mesma, da sua vantagem. Dessa forma, dada uma seqncia concreta {xn } em um ue a e a espao mtrico completo X, para sabermos se {xn } converge no necessrio adivinhar o elemento ao qual converge, c e mas bastar constatar a propriedade de Cauchy, o que pode ser feito apenas estudando a distncia entre elementos de a {xn }. Nota. O estudante mais adiantado deve ser advertido que a noao de completeza de um espao mtrico no uma c c e a e noao topolgica. Vide discusso ` pgina 965. c o a a a Pelo que vimos nas ultimas pginas, o espao mtrico formado pelos n meros racionais com a mtrica usual no a c e u e a e um espao mtrico completo. Vale, porm a seguinte armaao: c e e c
10 E poss vel extrair um pouco mais de (20.7). A primeira desigualdade em (20.7) diz-nos que p > 5q/2. Como q 2, segue que p > 5. A segunda desigualdade em (20.7) diz-nos que q 6p/17. Como p 6, segue que q 36/17 > 2. Assim, conclu -se que q 3. 11 Leonhard Euler (17071783). 12 Lorenzo Mascheroni (17501800). 13 Essa constante foi introduzida por Euler em 1735, o qual calculou seus 16 primeiros d gitos decimais. Em 1790, Mascheroni calculou seus 32 primeiros d gitos decimais, dos quais apenas os primeiros 19 estavam corretos.
Cap tulo 20
957/1628
Proposio 20.3 O conjunto dos nmeros reais R um espao mtrico completo em relaao a mtrica usual: d(x, y) = ca u e c e c ` e |x y|, x, y R. A demonstraao dessa proposiao pode ser encontrada em todos os bons livros de Clculo ou Anlise Real. Discutic c a a remos com detalhe esse fato ao apresentarmos uma construao dos n meros reais, devida a Cantor14 (seguindo idias c u e de Weierstrass15 ), na Seao 20.B, da qual a proposiao acima um corolrio imediato. c c e a O mesmo vale para o conjunto dos n meros complexos: u Proposio 20.4 O conjunto dos nmeros complexos C um espao mtrico completo em relaao a mtrica d(z, w) = ca u e c e c ` e |z w|, z, w C. Vale tambm a seguinte armaao, cuja demonstraao ser apresentada como caso particular de uma outra armaao e c c a c mais geral na Seao 20.5.1: c Proposio 20.5 Para todo n 1, o conjunto Rn um espao mtrico completo em relaao as mtricas d , d1 , d2 e ca e c e c ` e dp com p 1, denidas a pgina 951. ` a Vamos a outros exemplos. E. 20.14 Exerccio. Vamos mostrar que C([0, 1]), o conjunto das funoes cont c nuas (reais ou complexas) denidas no intervalo [a, b], no completo em relao ` mtrica d1 : a e ca a e
1
d1 (f, g) =
0
|f (x) g(x)| dx .
Considere a seguinte seqncia de funoes cont ue c nuas em [0, 1]: 0, 1 se x 0, 1 n , 2 1 1 1 1 1 fn (x) = n x 2 + n , se x 2 n , 2 , 1, 1 se x 2 , 1 , onde n N. Vide Figura 20.1. a) Convena-se essas funoes so todas cont c c a nuas e, portanto, elementos de C([0, 1]). b) Calcule d1 (fn , fm ) e mostre que a seqncia fn uma seqncia de Cauchy em relao ` mtrica d1 . ue e ue ca a e
(20.8)
c) As funoes fn valem 1 no intervalo [1/2, 1]. Fora isso, para cada x [0, 1/2) vale fn (x) = 0 para todo n sucientemente c
1
grande. Convena-se que esses fatos implicam que se existir uma funo f tal que lim c ca f deve ser da forma f (x) = 0, se x 0, 1, se x
1 0
|fn (x) f (x)|dx = 0 ento a
1 2
(20.9)
1 2,
1 ,
(a menos, eventualmente, de conjuntos de medida nula, como o ponto x = 1/2, onde pode estar indenida) pois de
1
outro modo ter-se-ia lim
dessa integral zero quando n . Como f no cont e a e nua, isso mostra que a seqncia de Cauchy {fn }nN no ue a converge a uma funo cont ca nua e, portanto, C([0, 1]) no um espao mtrico completo em relao ` mtrica d1 . a e c e ca a e
14 Georg 15 Karl
|fn (x) f (x)|dx = 0. Calcule
|fn (x) f (x)| dx e mostre explicitamente que o limite
Ferdinand Ludwig Philipp Cantor (18451918). Theodor Wilhelm Weierstrass (18151897).
Cap tulo 20
958/1628
1/2 1/n
1/2
Figura 20.1: Grco das funoes fn . a c
Vamos agora demonstrar o seguinte fato importante: Proposio 20.6 Seja [a, b] com < a b < um intervalo compacto e seja C([a, b]) o conjunto das funoes ca c contnuas (reais ou complexas) denidas em [a, b]. Ento C([a, b]) completo em relaao a mtrica d (f, g) := a e c ` e sup |f (x) g(x)|, f, g C([a, b]).
x[a, b]
Um outro modo de formular a armaao de acima dizer que o limite uniforme de uma seqncia de funoes contnuas c e ue c em um intervalo compacto [a, b] tambm uma funao contnua. e e c
A Seao 20.4, pgina 968, dedicada a teoremas de completeza para certos conjuntos de funoes assumindo valores c a e c em espaos mtricos completos. Uma importante generalizaao da Proposiao 20.6 apresentada no Corolrio 20.1, c e c c e a pgina 971. a Prova da Proposio 20.6. O leitor deve se recordar que, como o intervalo [a, b] compacto, toda funao f cont ca e c nua nele denida limitada, pois |f | cont e e nua e possui um mximo e um m a nimo (Teorema 29.16, pgina 1352). Assim, a d (f, g) := sup |f (x) g(x)| est denida para todas f, g C([a, b]). a
x[a, b]
Seja fn uma seqncia de Cauchy em C([a, b]). Ento para todo > 0 existe um inteiro positivo N () tal que ue a supx[a, b] |fn (x) fm (x)| < , sempre que m e n sejam maiores que N (). Isso signica que para cada x [a, b] tem-se |fn (x) fm (x)| < sempre que m e n sejam maiores que N (). Assim, para cada x [a, b] xo, a seqncia numrica ue e fn (x) uma seqncia de Cauchy. Como R (ou C, conforme o caso) completo, segue que cada seqncia fn (x) e ue e ue e convergente. Vamos denominar por f (x) seu limite. Claramente [a, b] x f (x) uma funao (certo?). Essa funao f um forte candidato a ser o limite da seqncia e c c e ue {fn }nN na mtrica d . Colocamo-nos, ento, as seguintes questes: 1. Ser a funao f tambm um elemento de e a o a c e C([a, b]), ou seja, cont nua? 2. Se a resposta ` pergunta anterior for positiva, ser que a seqncia fm converge ` funao a a ue a c f na mtrica d ? Se a resposta a essas perguntas for positiva, estar provado que C([a, b]) completo na mtrica d . e a e e Seja > 0 arbitrrio. Vamos denir uma seqncia crescente de nmeros inteiros e positivos Nk (), k = 1, 2, 3, . . . a ue u com Nk+1 () > Nk (), da seguinte forma: Nk () tal que d (fm , fn ) < /2k para todos m, n > Nk (). Note que uma e tal seqncia Nk () sempre pode ser encontrada pois, por hiptese, fm uma seqncia de Cauchy em d . Vamos agora ue o e ue escolher uma seqncia crescente de ue ndices n1 < n2 < < nk1 < nk < tais que nk > Nk (). A essa seqncia ue Precisamos agora mostrar que a seqncia {fm }mN aproxima essa funao f na mtrica d . ue c e
Cap tulo 20
959/1628
est associada a sub-seqncia {fnk }kN . Note que, pela deniao, tem-se a ue c d (fnl+1 , fnl ) < pois nl e nl+1 so maiores que Nl (). a Com essas denioes, teremos que, para todo k > 1, c
k1
, 2l
fnk (x) fn1 (x) = (Justique!). Logo,

k1
l=1
fnl+1 (x) fnl (x) .
|fnk (x) fn1 (x)|
l=1 k1
|fnl+1 (x) fnl (x)|

k1
l=1 x[a, b] k1
sup |fnl+1 (x) fnl (x)| = 1 1 = 1 k1 l 2 2
l=1
d (fnl+1 , fnl )
< Daqui, conclu mos que para cada x [a, b],
l=1
|f (x) fn1 (x)|
= |f (x) fnk (x) + fnk (x) fn1 (x)| |f (x) fnk (x)| + |fnk (x) fn1 (x)| < |f (x) fnk (x)| + 1 1 2k1 1 2k1 ,
ou seja, |f (x) fn1 (x)| < |f (x) fnk (x)| + 1 .
O lado esquerdo desta expresso independe de k. Tomando-se o limite k e lembrando que a seqncia numrica a ue e fnk (x) converge a f (x), conclu mos que |f (x) fn1 (x)| . Como isso vale para todo x, segue que d (f, fn1 ) =
x[a, b]
sup |f (x) fn1 (x)| .
(20.10)
Isso demonstra que a seqncia fn converge a f em relaao ` mtrica d. ue c a e Vamos agora provar que a funao f cont c e nua. Para tal, notemos que para quaisquer x, y [a, b], |f (x) f (y)| = = |f (x) fn1 (x) + fn1 (x) fn1 (y) + fn1 (y) f (y)| |f (x) fn1 (x)| + |fn1 (x) fn1 (y)| + |fn1 (y) f (y)|
x[a, b]
sup |f (x) fn1 (x)| + |fn1 (x) fn1 (y)| + sup |fn1 (y) f (y)|
y[a, b]
2d (f, fn1 ) + |fn1 (x) fn1 (y)| 2 + |fn1 (x) fn1 (y)| .
Cap tulo 20
960/1628
e c nua. Logo, pela deniao de continuidade de funoes, c c Notemos agora que fn1 C([a, b]) e , portanto, uma funao cont para x xo, existe um n mero positivo tal que |fn1 (x) fn1 (y)| < para todo y tal que |y x| < . u
Assim, conclu mos que para todo > 0 existe > 0 tal que para todo y tal que |y x| < tem-se |f (x) f (y)| < 3. Isso nos diz precisamente que f cont e nua, como quer amos provar.
E. 20.15 Exerccio. Mostre que a seqncia de funoes fn denida em (20.8) no uma seqncia de Cauchy em relao ue c a e ue ca ` mtrica d . Observe que isso coerente com a Proposio 20.6, pois a funo f dada em (20.9), obtida pelo limite pontual a e e ca ca f (x) = limn fn (x) para cada x [a, b], no cont a e nua. Conjuntos densos em espaos mtricos c e
Se M um conjunto dotado de uma mtrica d, dizemos que um conjunto S d-denso em M (ou simplesmente denso e e e em M ) se todo x M puder ser aproximado por elementos de S no sentido da mtrica d, ou seja, se para todo x M e e todo > 0 existir sempre pelo menos um elemento s S (dependente de x e de ) tal que d(x, s) < .
Por exemplo, o conjunto dos racionais Q denso em R para a mtrica usual d(x, y) = |y x|. Para cada p, Q e e e tambm denso na mtrica p-dica dp no conjunto Qp de n meros p-dicos (para as denioes, vide Seao 20.B, pgina e e a u a c c a 986). Muito importante tambm o Teorema de Weierstrass, Teorema 27.3, pgina 1181, que arma que em cada e e a intervalo fechado e limitado [a, b] os polinmios so densos no conjunto C([a, b]) das funoes cont o a c nuas denidas em [a, b]. Espaos Mtricos. O Completamento Cannico c e o
Dado um conjunto X dotado de uma mtrica d e que no seja completo em relaao a esta mtrica, muito importante, e a c e e por vezes, identicar um conjunto X , dotado de uma mtrica d que possua as seguintes propriedades: e a. X contm X como subconjunto. e b. X denso em X em relaao ` mtrica d . e c a e c. d quando restrita a X idntica a d. e e d. X completo em relaao a d . e c Em um tal caso, dizemos que o espao mtrico (X , d ) um completamento do espao mtrico (X, d). c e e c e Como exemplo, mencionamos que o conjunto dos n meros reais R um completamento do conjunto dos n meros u e u racionais, caso adotemos neste a mtrica d(r, s) = |r s|, r, s Q. A mtrica d em R seria tambm d (x, y) = |x y|, e e e x, y R.
Dado um espao mtrico (X, d), que eventualmente no completo em relaao a uma mtrica d dada, podemos c e a e c e complet-lo usando um procedimento padro devido a Cantor16 , conhecido como completamento cannico de espaos a a o c mtricos. Isso o conte do do seguinte teorema: e e u Teorema 20.1 (Completamento Cannico) Dado um conjunto X, dotado de uma mtrica d, existe um outro cono e junto X, dotado de uma mtrica d, e uma aplicaao injetora E : X X tais que: e c 1. d(E(x), E(y)) = d(x, y) para todo x, y X. 2. O conjunto E(X), a imagem de X por E, um conjunto d-denso em X. e 3. X completo em relaao a mtrica d. e c ` e
Nota. Comentemos que E uma bijeao entre X e E(X) (por ser injetora). Nesse sentido, podemos tambm dizer, e c e com um pequeno abuso de linguagem, que X um completamento de X. e
16 Georg
Ferdinand Ludwig Philipp Cantor (18451918).
Cap tulo 20
961/1628
Na Seao 20.B ilustramos uma aplicaao importante do Teorema 20.1 (mais precisamente, da demonstraao do c c c Teorema 20.1) ao delinearmos como podemos construir os n meros reais a partir dos racionais. Em seguida, adotando u mtricas especiais no conjunto Q, mostraremos como construir um conjunto especial de n meros, os chamados n meros e u u p-dicos. a Prova do Teorema 20.1. Consideremos o conjunto Cd (X) formado por todas as seqncias em X que sejam de Cauchy ue em relaao ` mtrica d. Vamos introduzir em Cd (X) a seguinte relaao de equivalncia: para duas seqncias de Cauchy c a e c e ue a = {an }nN e b = {bn }nN dizemos que a equivalente a b, a b, se e somente se lim d(an , bn ) = 0. e
n
E. 20.16 Exerccio. Prove que esta , de fato, uma relao de equivalncia. Sugesto: use a desigualdade triangular. e ca e a A conjunto Cd (X) , ento, a unio disjunta de suas classes de equivalncia pela relaao acima17 . Vamos denotar por e a a e c X o conjunto de todas essas classes de equivalncia. Como usualmente se faz, denotaremos por [x] a classe de equivalncia e e de um elemento x Cd (X), ou seja, [x] o conjunto de todas as seqncias de Cauchy em X que so equivalentes ` e ue a a seqncia de Cauchy x. ue Podemos fazer de X um espao mtrico denindo uma mtrica d : X X R da seguinte forma: c e e d([x], [y]) = lim d(xn , yn ) ,
n
(20.11)
para duas seqncias de Cauchy x = {xi }iN e y = {yi }iN X. ue
A respeito da deniao (20.11) h alguns pontos a comentar, o que faremos com os trs exerc c a e cios que seguem. O primeiro exerc mostra que o limite no lado direito de (20.11) de fato existe e esclarece por que importante o uso cio e de seqncias de Cauchy na construao, e no seqncias quaisquer. O segundo exerc esclarece que d de fato uma ue c a ue cio e funao de classes de equivalncia (independente dos representantes x e y tomados em [x] e [y], respectivamente). O c e terceiro exerc estabelece que d , de fato, uma mtrica. cio e e E. 20.17 Exerccio. Mostre que o limite em (20.11) existe. Para tal, note que, pela desigualdade triangular, d(xi , yi ) d(xi , xj ) + d(xj , yj ) + d(yj , yi )
e, portanto, |d(xi , yi ) d(xj , yj )| d(xi , xj ) + d(yj , yi ) . Como x e y so seqncias de Cauchy o lado direito pode ser feito para qualquer > 0, desde que i e j sejam feitos a ue grandes o suciente. Complete os detalhes faltantes. E. 20.18 Exerccio. Mostre que se x Cd (X) e x [x] (ou seja x uma seqncia de Cauchy equivalente a x Cd (X)) e ue ento a lim d(x , yn ) = lim d(xn , yn ) (20.12) n
n n
para toda y Cd (X). Sugesto: Usando a desigualdade triangular, tem-se que a d(xn , yn ) d(xn , x ) + d(x , yn ) . n n Prove da que |d(xn , yn ) d(x , yn )| d(xn , x ) e conclua (20.12) disso. n n Esse exerc estabelece que a deniao (20.11) independe do particular elemento x de [x] adotado. Analogamente, cio c (20.11) independe do particular elemento y de [y] adotado e, portanto, d legitimamente uma funao de classes de e c equivalncia. No prximo exerc provado que d , de fato, uma mtrica. e o cio e e e E. 20.19 Exerccio. Mostre que d uma mtrica em X. Sugesto: positividade e simetria so evidentes. E tambm e e a a e fcil ver que d([x], [y]) = 0 se e somente se x y, o que implica [x] = [y]. Por m, a desigualdade triangular para d segue a facilmente da desigualdade triangular para d. Complete os detalhes faltantes.
17 Para
as nooes de relaao de equivalncia e classes de equivalncia, vide Seao 1.1.1.3, pgina 33. c c e e c a
Cap tulo 20
962/1628
Vamos agora mostrar que X completo em relaao a d. Seja {[xa ], a N}, uma seqncia de Cauchy em X. Cada e c ue elemento xa , ele mesmo, uma seqncia de Cauchy em X: {xa , xa , xa , . . .}. Como [xa ], a N, uma seqncia de e ue e ue 1 2 3 a b Cauchy em X vale que, para todo > 0, existe A() N sucientemente grande tal que d([x ], [x ]) < desde que a e b A(). Da segue que, pela deniao de limite, existe I() N tal que c d(xa , xb ) < , i i e ue desde que a e b A() e que i I(). Fora isso, como {xa }iN uma seqncia de Cauchy para cada a, existe para i todo > 0 um Ja () tal que d(xa , xa ) < , i j desde que i, j Ja () Dena-se ento para n N a (n) (n) := max A(1/p), 1 p n := max e .
max I(1/q), 1 q n , max J(r) (1/r), 1 r n
E evidente por essas denioes que para n > m teremos c (n) (m) A(1/m) e (n) (m) max I(1/m), J(m) (1/m) . (20.14)
(n) Dena-se agora a seqncia x em X dada por xn := x(n) , n N. Desejamos provar que essa uma seqncia de ue e ue Cauchy em X e, para tal, observemos que
(20.13)
d(xn , xm ) = d x(n) , x(m) Agora, para m < n valer a
(n)
(m)
d x(n) , x(n)
(m)
(n)
(m)
+ d x(n) , x(m)
(m)
(m)
1 , m pois (n) > I(1/m) (por (20.14)) e (n) (m) A(1/m) (por (20.13)). Paralelamente, temos tambm e d x(n) , x(n)
(n)
<
(20.15)
d x(n) , x(m)
(m)
(m)
<
1 , m
2 m
pois (n) (m) J(m) (1/m) (por (20.14)). Estabelecemos que para todos n > m tem-se d(xn , xm ) < diz-nos claramente que x uma seqncia de Cauchy. e ue
e isso
A classe de equivalncia de x, ou seja, [x], um candidato a ser o limite em X (na mtrica d) da seqncia [xa ]. e e e ue Provemos que isso de fato verdade. e Consideremos a sub-seqncia [x(m) ], m N. Temos que ue d [x(m) ], [x] Porm, e
(m) d xn , x(n) (n) (m) d xn , x(n) (m) (m) (m) = lim d xn , x(n) n (n)
+ d x(n) , x(n)
(m)
(n)
Agora, para todo n J(m) (1/m) vale, d xn Paralelamente, temos por (20.15) d
(m) d xn , x(n) (n) (m) x(n) ,
, x(n) <
(m) 1 m.
<
1 m
(n) x(n)
pois, por (20.14), tem-se tambm (n) J(m) (1/m). e
Assim, provamos que para todo n J(m) (1/m) vale d [x(m) ], [x] 2 m
2 , m
o que estabelece que
Cap tulo 20
963/1628
e e para todo m N. Isso provou que sub-seqncia [x(m) ], m N, converge a [x] na mtrica d. Como [xa ] uma ue a seqncia de Cauchy, isso provou que a prpria seqncia [x ] converge a [x] na mtrica d e, portanto, estabelecemos que ue o ue e X completo. e por Para cada x X, podemos associar uma seqncia de Cauchy constante xi = x, i N. Seja E : X X denida ue X x E(x) := [x] X .
a E fcil provar que E injetora. De fato, se x, y X so tais que E(x) = E(y), ento [x] = [y] e isso implica x y. Isso, e a a por sua vez, signica que d(xi , yi ) = 0, Porm, xi = x e yi = y e, portanto, provou-se que d(x, y) = 0, o que implica e x = y, como quer amos. H ento uma bijeao E de X sobre o subconjunto E(X) := {E(x) X, x X} X. Temos tambm que a a c e d E(x), E(y) = d [x], [y] = lim d(xn , yn ) = lim d(x, y) = d(x, y) .
n n
Assim, aprendemos que a bijeao E preserva distncias (, portanto, o que se chama de uma isometria entre X e E(X)). c a e Resta-nos mostrar que o conjunto E(X) denso em X, ou seja, qualquer elemento de X pode ser aproximado (no e sentido da distncia d) por elementos de E(X). Seja ento [x] um elemento de X. Como x uma seqncia de Cauchy, a a e ue vale que para cada > 0 tem-se d(xi , xj ) < (20.16) desde que i e j sejam maiores que um certo N (). Seja a seqncia de Cauchy constante igual ao elemento xN ()+1 , ou ue seja, xN ()+1 . Teremos d [x], xN ()+1 Agora, por (20.16),
n
= d [x], E(xN ()+1 )) = lim d(xn , xN ()+1

n
= lim d(xn , xN ()+1 )

n
lim d(xn , xN ()+1 ) < .
Logo, d [x], E(xN ()+1 ) < para todo > 0, o que precisamente arma que qualquer [x] X pode ser arbitrariamente aproximado no sentido da mtrica d por elementos de E(X). Isso completa a demonstraao do Teorema 20.1. e c
20.2
Topologia de Espaos Mtricos c e
Um espao mtrico possui, naturalmente, muitos subconjuntos. H, porm, uma classe de subconjuntos que tm uma c e a e e importncia destacada, os chamados conjuntos abertos. Seja X um espao mtrico com uma mtrica d. Um subconjunto a c e e A de X dito ser um conjunto d-aberto, ou simplesmente um conjunto aberto (em relaao ` mtrica d) se tiver a seguinte e c a e propriedade: Para todo x A podemos achar um n mero real (x) > 0 (eventualmente dependente de x) tal que para u todo x X com a propriedade que d(x, x ) < (x) (ou seja, que dista de x menos que (x)) vale que x tambm um e e elemento de A. Por essa deniao o conjunto X , ele mesmo, um conjunto aberto em relaao ` mtrica d. O conjunto vazio c e c a e e honoricamente declarado um conjunto aberto em relaao a mtrica d. c ` e A coleao de todos os conjuntos abertos em X em relaao ` mtrica d dito ser uma topologia mtrica em X, ou c c a e e e simplesmente uma topologia em X. E. 20.20 Exerccio. Mostre explicitamente que, para a, b R com a < b, o conjunto (a, b) = {x R| a < x < b} um e conjunto aberto em relao ` mtrica d(x, y) = |x y|. ca a e a e E. 20.21 Exerccio. Mostre explicitamente que, para a, b R com a < b, o conjunto [a, b) = {x R| a x < b} no um conjunto aberto em relao ` mtrica d(x, y) = |x y|. ca a e
Conjuntos Abertos em Espaos Mtricos c e
Cap tulo 20
964/1628
ca a E. 20.22 Exerccio. Mostre explicitamente que, para r > 0 a bola de raio r em R3 centrada na origem em relao ` mtrica Euclidiana, Br = {x R3 | dE (x, 0) < r}, um conjunto aberto na topologia denida por essa mtrica. e e e Seja I um conjunto arbitrrio de a ndices e {A , I} uma coleao de subconjuntos abertos de um espao mtrico c c e X. Os dois exerc cios seguintes so muito importantes. a E. 20.23 Exerccio. Mostre que
I
A tambm um conjunto aberto em X. e e
E. 20.24 Exerccio. Mostre que se A e B so abertos em X ento A B tambm o . a a e e As armativas contidas nesses dois ultimos exerc cios so importantes pois inspiram a deniao de um outro conceito a c muito importante: o de espao topolgico. Espaos topolgicos sero estudados com mais detalhe e generalidade no c o c o a Cap tulo 22, pgina 1025. a e a a e ca E. 20.25 Exerccio. Seja X um conjunto no-vazio. Mostre que todo subconjunto no-vazio de X aberto em relao ` mtrica trivial, denida em (20.4), pgina 952. a e a Bolas Abertas em Espaos Mtricos c e
Seja X um espao mtrico com uma mtrica d e seja x X. Dene-se a bola aberta de raio r > 0 centrada em x c e e como sendo o conjunto B(x, r) = {y X, tal que d(x, y) < r} . Bolas abertas desempenham um papel importante no estudo de espaos mtricos. c e c e e e E. 20.26 Exerccio. Prove que toda bola aberta em um espao mtrico um conjunto aberto na topologia mtrica desse espao. c Ao contrrio do que o nome sugere, bolas abertas em espaos mtricos no tm necessariamente um formato redondo. a c e a e Para ver isso, faa os exerc c cios abaixo. e E. 20.27 Exerccio. Seja o conjunto R2 com a mtrica d denida acima: d (x, y) = max{|x1 y1 |, |x2 y2 |} , onde x = (x1 , x2 ) e y = (y1 , y2 ). Desenhe a bola de raio 1 centrada em torno do ponto (0, 0). E. 20.28 Exerccio. Seja o conjunto R2 com a mtrica d1 denida acima: e d1 (x, y) = |x1 y1 | + |x2 y2 | , onde x = (x1 , x2 ) e y = (y1 , y2 ). Desenhe a bola de raio 1 centrada em torno do ponto (0, 0). e E. 20.29 Exerccio. Seja o conjunto R2 com a mtrica dp denida acima com p > 1: dp (x, y) = (|x1 y1 |p + |x2 y2 |p )1/p , onde x = (x1 , x2 ) e y = (y1 , y2 ). Desenhe a bola de raio 1 centrada em torno do ponto (0, 0). Considere os casos 1 2. Mtricas equivalentes. Mtricas que geram a mesma topologia e e
Seja M um conjunto e sejam d1 e d2 duas mtricas em M . As mtricas d1 e d2 so ditas equivalentes, em s e e a mbolos d1 d2 , se existirem dois n meros c1 e c2 com 0 < c1 c2 tais que para todos x, y M valha u c1 d1 (x, y) d2 (x, y) c2 d1 (x, y) .
Cap tulo 20
965/1628
E. 20.30 Exerccio. em M .
Mostre que a relao d1 d2 dene uma relao de equivalncia no conjunto de todas as mtricas ca ca e e
E. 20.31 Exerccio. Sejam d1 e d2 duas mtricas equivalentes em M . Mostre, que todo conjunto d1 -aberto de M e e d2 -aberto e vice-versa. Isso signica que se d1 e d2 so equivalentes, ambas geram a mesma topologia. a Os exerc cios que seguem mostram que a rec proca no geralmente verdadeira: mtricas que geram a mesma a e e topologia no so necessariamente equivalentes (no sentido da deniao acima). a a c E. 20.32 Exerccio. Seja M um espao mtrico com uma mtrica d(x, y), x, y M . Prove que c e e d0 (x, y) := d(x, y) 1 + d(x, y)
tambm dene uma mtrica em M . Sugesto: para demonstrar a desigualdade triangular ser til provar antes que a funo e e a au ca x l(x) = 1+x crescente na regio x 0. Outra sugesto: d uma olhada na pgina 966. e a a e a E. 20.33 Exerccio. Mostre que as mtricas d e d0 do exerc E. 20.32 s so equivalentes (no sentido da denio e cio o a ca acima) se d for limitada, ou seja, se existir D > 0 tal que d(x, y) D para todos x, y M . Sugesto: tem-se que l(x) x a para todo x 0, mas mostre que no existe nenhuma constante c > 0 tal que cx l(x) para todo x 0. Todavia, uma tal a constante pode ser achada se nos limitarmos a x [0, D]. a e cio E. 20.34 Exerccio. Mostre que, mesmo no sendo equivalentes, as mtricas d e d0 do exerc E. 20.32 denem a mesma topologia, ou seja, que todo conjunto d-aberto de M d0 -aberto e vice-versa. e Conjuntos fechados
Paralelamente ` noao de conjunto aberto em um espao mtrico existe a noao de conjunto fechado em um espao a c c e c c mtrico: se M dotado de uma mtrica d, um conjunto F M dito ser fechado em relaao ` mtrica d se seu conjunto e e e e c a e complementar F c = M \ F for aberto em relaao a mtrica d. c ` e
A noao de conjunto fechado to relevante quanto a de conjunto aberto e muitas propriedades de espaos mtricos c e a c e podem ser expressas em termos de propriedades de conjuntos fechados. A seguinte proposiao, que ser demonstrada ` c a a pgina 1045, ser usada na discusso do Cap a a a tulo 21, pgina 996. a Proposio 20.7 Se M um espao mtrico completo em relaao a uma mtrica d, ento F M fechado na topologia ca e c e c e a e induzida por essa mtrica se e somente se F for igualmente completo em relaao a mtrica d. e c ` e
Topologias, e no apenas topologias relacionadas a espaos mtricos, sero estudadas com mais profundidade no a c e a Cap tulo 22, pgina 1025. a Completeza de espaos mtricos e sua topologia. Uma advertncia c e e
Vamos neste ponto retornar ` nossa discusso sobre a topologia de espaos mtricos e discutir sua relaao com a noao a a c e c c de completeza. A verdade que os dois conceitos no so totalmente relacionados. O fato de um espao mtrico ser e a a c e completo no diretamente relacionado ` topologia adotada mas sim ` mtrica usada. Em outras palavras, completeza a e a a e o no uma propriedade topolgica! a e Para ver isso trataremos de exibir um exemplo de um espao M dotado de duas mtricas que geram as mesmas c e topologias, sendo M completo em relaao ` primeira mtrica mas no em relaao ` segunda mtrica. No exemplo c a e a c a e (extra de [29]) em questo M = {x R, x 1}. Em M adotaremos duas mtricas: d1 (x, y) = |y x| e do a e 1 1 . d2 (x, y) = y x
Cap tulo 20
966/1628
e e E. 20.35 Exerccio. Mostre que d2 de fato uma mtrica em M . O fato que d1 e d2 geram a mesma topologia em M . Para ver isso notemos que d2 (x, y) = d1 (x, y)/(xy) d1 (x, y) e e e, portanto, para todo x M e todo r > 0 vale Bd1 (x, r) Bd2 (x, r). Se A aberto em d2 (a topologia associada a e ` mtrica d2 ), ento para todo x A h uma bola Bd2 (x, r(x, A)) inteiramente contida em A e, pelo que acabamos a a e de ver, h tambm uma bola Bd1 (x, r(x, A)) inteiramente contida em A. Daqui se conclui que todo aberto de d2 a e e tambm aberto de d1 . Logo d2 d1 . Igualmente claro que para todo y da bola aberta Bd1 (x, r) de d1 podemos e achar um r sucientemente pequeno tal que Bd2 (y, r ) Bd1 (x, r) (como?). Como as bolas abertas Bd1 geram d1 isso implica d1 d2 , provando a igualdade das duas topologias.
O fato que queremos ressaltar que M completo em relaao a d1 mas no em relaao a d2 . Que M completo em e e c a c e relaao a d1 pode ser provado diretamente ou pelo seguinte argumento topolgico: M completo em relaao a d1 pois M c o e c um subconjunto fechado de R na topologia usual R , induzida por d1 e R completo em relaao a d1 (vide Proposiao e e c c 20.7, pgina 965, e a discusso ` pgina 1044, em particular a Proposiao 22.11). a a a a c Para ver que M no completo em relaao a d2 observe que a seqncia an = n, n N, de Cauchy em relaao a a e c ue e c d2 mas no h nenhum elemento em M ao qual ela converge. Assim, M completo em relaao a d1 mas no em relaao a a e c a c a d2 , embora ambas as mtricas gerem a mesma topologia! e As consideraoes acima dizem-nos que completeza no uma noo de natureza topolgica. Uma vez posta c a e ca o essa advertncia, cabe notar, porm, que espaos mtricos compactos so sempre completos em quaisquer que sejam as e e c e a mtricas que geram a topologia. Vide Teorema 29.11, item I, pgina 1346. e a a e e Nota. No se pode argumentar, como zemos com a mtrica d1 , que M completo em d2 por ser um subconjunto fechado de R na topologia induzida em R por d2 , pois tal topologia no existe! d2 uma mtrica em M , mas no em a e e a R, ao contrrio do que ocorre com d1 . Poder-se-ia, ento, argumentar que d2 uma mtrica em X = (0, ) (de fato , a a e e e verique!) e que M um subconjunto fechado de X = (0, ) nessa topologia (de fato , verique!). Sucede, porm, que e e e X = (0, ) no completo em relaao a d2 , pelo mesmo exemplo de acima, e isso viola uma das condioes da Proposiao a e c c c 20.7 da pgina 965 (ou equivalentemente, da Proposiao 22.11, pgina 1045). a c a E. 20.36 Exerccio. Um outro exemplo (de [173]) de mtricas que geram uma mesma topologia, mas que diferem no e
y x e e que concerne ` completeza o seguinte. Considere M = R. Mostre que ds (x, y) := 1+|x| 1+|y| uma mtrica em R. a e Mostre que essa mtrica gera a mesma topologia que a mtrica usual de R. Mostre que an = n uma seqncia de Cauchy e e e ue na mtrica ds mas que no converge em R nessa mtrica. e a e
e e a E. 20.37 Exerccio. O conjunto R fechado na tolopogia induzida pela mtrica ds , acima. Por que ento os fatos descritos no Exerc E. 20.36 no esto em contradio com a Proposio 20.7, pgina 965? cio a a ca ca a
20.3
Pseudo-Mtricas e
Seja M um conjunto no-vazio. Uma funao d : M M R que satisfaz a c 1. Positividade: para todos x, y M vale d(x, y) 0. 2. Simetria: para todos x, y M vale d(x, y) = d(y, x). 3. Desigualdade triangular: para todos x, y, z M vale d(x, y) d(x, z) + d(z, y). 4. Para todo x M vale d(x, x) = 0. dita ser uma pseudo-mtrica em M . e e Como j provamos ` pgina 951, a condiao de positividade segue da desigualdade triangular e da condiao de a a a c c simetria. O seguinte fato evidente: toda mtrica uma pseudo-mtrica e uma pseudo-mtrica d uma mtrica somente se e e e e e e e d(x, y) = 0 implicar x = y. Assim, em uma pseudo-mtrica pode haver pontos distintos x e y tais que d(x, y) = 0. e
Cap tulo 20
967/1628
Passemos agora a discutir uma outra propriedade de pseudo-mtricas de particular importncia na teoria dos chamados e a espaos localmente convexos. Seja d : M M R uma pseudo-mtrica. Ento f : M M R denida por c e a f (a, b) = tambm uma pseudo-mtrica. e e e Em primeiro lugar, claro que f (a, a) = 0 para todo a M . Como a simetria de f tambm bvia, precisamos e e e o apenas mostrar que f satisfaz a desigualdade triangular. Para demonstrar isso, notemos em primeiro lugar que a funao c x l(x) = 1+x crescente para x 0. De fato, se y > x 0, ento e a l(y) l(x) = yx > 0. (1 + y)(1 + x) d(a, b) 1 + d(a, b)
Assim, como pela desigualdade triangular para d vale que d(a, b) d(a, c) + d(c, b), teremos f (a, b) = d(a, b) 1 + d(a, b) d(a, c) + d(c, b) 1 + d(a, c) + d(c, b) d(c, b) d(a, c) + 1 + d(a, c) + d(c, b) 1 + d(a, c) + d(c, b) d(a, c) d(c, b) + 1 + d(a, c) 1 + d(c, b) f (a, c) + f (c, b) , (20.17)
provando a desigualdade triangular para f . Acima, na passagem da terceira para a quarta linha usamos os fatos bvios o que 1 + d(a, c) + d(c, b) 1 + d(a, c) e 1 + d(a, c) + d(c, b) 1 + d(c, b) , pois d positiva. e Uma conseqncia disso que se d uma mtrica ento f tambm o . ue e e e a e e e E. 20.38 Exerccio. Por qu? Fam lias de Pseudo-Mtricas e
Em muitas situaoes so denidas em um conjunto M no uma mas toda uma fam de pseudo-mtricas: D = c a a lia e {d , }, sendo um conjunto arbitrrio no-vazio de a a ndices, onde todas as d so pseudo-mtricas. a e
Tem-se a seguinte proposiao, que mostra que a toda fam contvel de pseudo-mtricas que separa pontos vem c lia a e naturalmente associada uma mtrica: e Proposio 20.8 Seja M um conjunto e seja D = {dn , n N} uma famlia contvel de pseudo-mtricas em M que ca a e separa pontos. Ento D : M M R denida por a D(x, y) = uma mtrica em M . e e 1 dn (x, y) 2n 1 + dn (x, y) n=1
Diz-se que uma fam de pseudo-mtricas: D = {d , } separa pontos se para quaisquer dois pontos distintos lia e x, y M existir um 0 tal que d0 (x, y) = 0.
Cap tulo 20
968/1628
Prova. Em primeiro lugar notemos que a soma innita do lado direito bem denida pois e 0 dn (x, y) 1 1 + dn (x, y)
e o fator 2n garante a convergncia. Que D uma pseudo-mtrica evidente pelo fato que cada termo dn (x, y)/(1 + e e e e dn (x, y)) o , como vimos acima. Resta mostrar que D(x, y) = 0 implica x = y. Como a soma contm apenas termos e e positivos, D(x, y) = 0 s poss se dn (x, y) = 0 para todo n N. Como D separa pontos, se tivssemos x = y o e vel e haveria pelo menos um m para o qual dm (x, y) = 0. Como tal no o caso, tem-se forosamente x = y. a e c
20.4
Espaos de Funes Limitadas e Completeza c co
Nesta seao apresentaremos alguns resultados importantes sobre a completeza de certos espaos de funoes. O Corolrio c c c a 20.1, adiante, generaliza a Proposiao 20.6, da pgina 958. Os resultados apresentados abaixo sero utilizados quando c a a discutirmos certos exemplos espaos de Banach e em outros lugares deste texto. c Funoes limitadas sobre um espao mtrico c c e
Seja X um conjunto no-vazio e M um conjunto, tambm no-vazio, dotado de uma mtrica d. Dizemos que uma a e a e funao f : X M uma funao d-limitada (ou simplesmente uma funao limitada quando a mtrica d estiver impl c e c c e cita) se existir um ponto de referncia y M e uma constante K 0 tais que d f (x), y K para todo x X. e
Note que se f d-limitada segundo essa deniao, ento para qualquer z M valer, pela desigualdade triangular, e c a a d f (x), z d f (x), y + d(y, z) K + d(y, z). Assim, a deniao de funao limitada dada acima independe do ponto c c de referncia y M tomado, podendo este ser substitu por qualquer outro, eventualmente mudando a constante K e do adotada. Podemos, portanto, alternativamente denir a noao de funao d-limitada da seguinte forma: dizemos que uma c c funao f : X M uma funao limitada, ou uma funao d-limitada se para todo y M existir uma constante K 0 c e c c (eventualmente dependente de y) tal que d f (x), y K para todo x X.
O conjunto de todas as funoes limitadas de X em M denotado por B(X, M ) (ou por B(X, M, d) quando for c e necessrio especicar a mtrica em M em relaao ` qual a noao de limitaao considerada). O conjunto B(X, M, d) a e c a c c e ele mesmo um espao mtrico em relaao ` mtrica d denida por e c e c a e d (f, g) := sup d(f (x), g(x)), x X
xX
para todas f, g B(X, M, d). Que tal realmente dene uma mtrica pode ser facilmente demonstrado. Em primeiro e lugar, claro que d (f, g) 0 e que d (f, g) = d (g, f ) para todos f, g B(X, M, d). Em segundo lugar, se e d (f, g) = 0 para algum par f, g B(X, M, d) ento, segundo a deniao, d(f (x), g(x)) = 0 para todo x X, o a c que implica f (x) = g(x) para todo x X, ou seja, f = g. Em terceiro lugar, para f, g, h B(X, M, d) vale (pela desigualdade triangular para d) d(f (x), g(x)) d(f (x), h(x)) + d(h(x), g(x)) para todo x X. Logo,
xX
sup d(f (x), g(x)), x X
sup d(f (x), h(x)), x X + sup d(h(x), g(x)), x X

xX xX
provando a desigualdade triangular d (f, g) d (f, h) + d (h, g) para todos f, g, h B(X, M, d). A mtrica d freq entemente denominada mtrica uniforme. e e u e Completeza das funoes limitadas sobre um espao mtrico completo c c e
O seguinte teorema sobre o conjunto de funoes limitadas B(X, M, d), vlido quando M completo, fundamental. c a e e
Teorema 20.2 Sejam X e M conjuntos no-vazios e M dotado de uma mtrica d. Suponhamos que M seja completo na a e mtrica d. Ento B(X, M, d) completo na mtrica uniforme d denida por d (f, g) := sup d(f (x), g(x)), x X e a e e para todas f, g B(X, M, d).
Cap tulo 20
969/1628
Prova. Seja fn uma seqncia de Cauchy em B(X, M, d) em relaao ` mtrica d . Ento para todo > 0 existe um inue c a e a X
teiro positivo N () tal que d (fn , fm ) < sempre que m e n sejam maiores que N (), ou seja, sup d(fn (x), fm (x)), x < , sempre que m e n sejam maiores que N (). Isso signica que para cada x X tem-se d fn (x), fm (x) <
sempre que m e n sejam maiores que N (). Assim, para cada x X xo, a seqncia fn (x) de elementos de M uma ue e seqncia de Cauchy na mtrica d. Como M completo, segue que cada seqncia fn (x) convergente em M . Vamos ue e e ue e denominar por f (x) seu limite. Seja f a funao X x f (x). Essa funao f um forte candidato a ser o limite da seqncia {fn }nN na mtrica c c e ue e d . Colocamo-nos, ento, as seguintes questes: 1. Ser a funao f tambm um elemento de B(X, M, d), ou seja, uma a o a c e funao d-limitada? 2. Se a resposta ` pergunta anterior for positiva, ser que a seqncia fm converge ` funao f na c a a ue a c mtrica d ? Se a resposta a essas perguntas for positiva (e veremos que ), estar provado que B(X, M, d) completo e e a e na mtrica d , como queremos provar. e Seja > 0 arbitrrio. Vamos denir uma seqncia crescente de nmeros inteiros e positivos Nk (), k = 1, 2, 3, . . . a ue u com Nk+1 () > Nk (), da seguinte forma: Nk () tal que d (fm , fn ) < /2k para todos m, n > Nk (). Note que uma e tal seqncia Nk () sempre pode ser encontrada pois, por hiptese, fm uma seqncia de Cauchy em d . Vamos agora ue o e ue escolher uma seqncia crescente de ue ndices n1 < n2 < < nk1 < nk < tais que nk > Nk (). A essa seqncia ue est associada a sub-seqncia {fnk }kN . Note que, pela deniao, tem-se a ue c d (fnl+1 , fnl ) < , 2l (20.18) Precisamos agora mostrar que a seqncia {fm }mN aproxima essa funao f na mtrica d . ue c e
pois nl e nl+1 so maiores que Nl (). Com essas denioes, teremos que para todo k > 1 vale, por uso repetido da a c desigualdade triangular
k1
d fnk (x), fn1 (x) para cada x X (justique!).
d fnl+1 (x), fnl (x)

l=1
(20.18)
k1
<
l=1
1 = 1 k1 2l 2
(20.19)
De (20.19), conclu mos que para cada x X, d f (x), fn1 (x) < d f (x), fnk (x) + d fnk (x), fn1 (x) d f (x), fnk (x) + 1 1 2k1 1 2k1 ,
ou seja, d f (x), fn1 (x) < d f (x), fnk (x) + 1 .
O lado esquerdo desta expresso independe de k. Tomando-se o limite k e lembrando que a seqncia fnk (x) a ue converge a f (x) em M , conclu mos que (20.20) d f (x), fn1 (x) , para todo x M . Se y M , vale d f (x), y d f (x), fn1 (x) + d fn1 (x), y
(20.20)
+ d fn1 (x), y .
e Como fn1 d-limitado, existe K 0 tal que d fn1 (x), y K para todo x X. Logo, d f (x), y K + para todo x X, provando que f B(X, M, d). Alm disso, como (20.20) vale para todo x, segue que e d (f, fn1 ) = sup d f (x), fn1 (x) , x X . (20.21)
Isso demonstra que a seqncia fn converge a f em relaao ` mtrica d, completando a demonstraao. ue c a e c
Cap tulo 20
970/1628
A partir deste ponto utilizaremos nooes sobre continuidade de funoes em espaos topolgicos gerais (vide Seao c c c o c 25.5, pgina 1103) e sobre conjuntos compactos (vide Seao 29.3, pgina 1334). a c a Se X e M so dois conjuntos no-vazios dotados topologias X e M , respectivamente, denotamos por C(X, M ) a a o conjunto de todas as funoes cont c nuas de X em M em relaao `quelas topologias (vide Seao 25.5, pgina 1103). c a c a Estamos interessados no caso em que M , dotado de uma mtrica d e M igual a d , a topologia gerada em M pela e e e mtrica d. e Denotamos C(X, M ) B(X, M, d), o conjunto de todas as funoes cont c nuas e d-limitadas de X em M , por Cb (X, M ). Como vimos acima, B(X, M, d) um espao mtrico com a mtrica uniforme d e, como tal, um espao e c e e e c e topolgico. Denotamos por d a topologia mtrica induzida por d em B(X, M, d). o Teorema 20.3 Sejam X e M conjuntos no-vazios com X dotado de uma topologia X e M dotado de uma mtrica d. a e Suponhamos que M seja completo na mtrica d. Ento, Cb (X, M ), o conjunto de todas as funoes contnuas e limitadas e a c e de X em M , um subconjunto d -fechado de B(X, M, d) e completo na mtrica d . e Prova. Sob as hipteses, sabemos que B(X, M, d) completo (Teorema 20.2, pgina 968). Pelo Corolrio 22.1, pgina o e a a a 1044, suciente provarmos que seqncias de elementos de Cb (X, M ) convergentes em B(X, M, d) na mtrica d e ue e convergem a uma funao de Cb (X, M ). Portanto, uma seqncia convergente de Cb (X, M ) convergir a uma funao de c ue a c B(X, M, d), restando apena provar que o limite uma funao cont e c nua. Supomos ento que fn seja uma seqncia de Cb (X, M ) convergente em B(X, M, d) na mtrica d e que f a ue e B(X, M, d) seja seu limite. Desejamos provar que f tambm cont e e nua. Seja B M um conjunto d-aberto e seja A f 1 (B) X sua pr-imagem em X. Desejamos provar que A um e e conjunto X -aberto (vide Seao 25.5, pgina 1103). A estratgia da demonstraao provarmos que para cada x A c a e c e existe um conjunto X -aberto Ax inteiramente contido em A e que contm x. Isso implica que A = xX Ax . Como o e lado direito uma unio de X -abertos, provou-se que A um X -aberto. e a e
1 e Os conjuntos Ax sero da forma Ax = fnx (Bx ), onde nx algum inteiro (eventualmente dependente de x) e Bx M , a satisfazendo: 1 e c a nuas), i. Bx um d-aberto em M (o que garante que Ax = fnx (Bx ) um X -aberto, pois as funoes fn so cont e 1 ii. fnx (x) Bx (o que garante que x fnx (Bx ) = Ax ) e
Funoes cont c nuas e limitadas sobre espaos mtricos c e
1 1 iii. fnx (Bx ) A (o que garante Ax = fnx (Bx ) A).
Armamos que Bx := B f (x), rx /2 tem as propriedades desejadas. Naturalmente Bx B f (x), rx B, sendo que Bx d-aberto e contm f (x). Agora, se escolhermos nx grande o suciente teremos e e rx d (f, fnx ) < (20.22) 4 pois fn converge a f na mtrica d , por hiptese, e, portanto, e o rx , (20.23) d f (x), fnx (x) d (f, fnx ) < 4 1 a do que conclu mos que fnx (x) B f (x), rx /4 B f (x), rx /2 = Bx . Resta provar que fnx (Bx ) A, o que ser feito 1 a e por contradiao. Suponha que exista z fnx (Bx ) tal que z A. Ento f (z) B. Porm, c d f (x), f (z) d f (x), fnx (z) + d fnx (z), f (z)
fnx (z)Bx
Toda a demonstraao resume-se agora em encontrar um conjunto Bx com as propriedades acima para cada x A = c f 1 (B). Seja ento x um elemento genrico de A. Como B aberto, existe uma bola aberta centrada em f (x) de um a e e certo raio rx > 0 que est inteiramente contida em B (vide deniao de conjuntos abertos em espaos mtricos ` pgina a c c e a a 963), B f (x), rx B.
rx + d fnx (z), f (z) 2
rx + d fnx , f 2
(20.22)
rx 3rx rx + = , 2 4 4
Cap tulo 20
971/1628
c provando que f (z) B f (x), 3rx /4 B f (x), rx B, uma contradiao.
Com as consideraoes precedentes isso prova que f cont c e nua, estabelecendo que Cb (X, M ) um subconjunto d e fechado de B(X, M, d). Pela Proposiao 22.11, pgina 1045, isso implica que Cb (X, M ) completo na mtrica d , c a e e completando a demonstraao. c O Teorema 20.3 tem o seguinte corolrio imediato. a
Corolrio 20.1 Sejam X e M conjuntos no-vazios com X dotado de uma topologia X e M dotado de uma mtrica a a e d. Suponhamos que M seja completo na mtrica d e que X seja X -compacto. Ento, C(X, M ), o conjunto de todas as e a e funoes contnuas X em M , um subconjunto d -fechado de B(X, M, d) e completo na mtrica d . c e Prova. Seja f C(X, M ). Para y M , xo, a aplicaao F : X R+ denida por F (x) := d f (x), y cont c e nua, por ser a composiao de duas funoes cont c c nuas, f e d , y . Logo, pelo Teorema 29.16, pgina 1352, F tem um mximo, a a o que signica dizer que f d-limitada. Assim, provamos que devido ` compacidade de X toda funao de C(X, M ) e a c e d-limitada, ou seja, C(X, M ) = Cb (X, M ). Portanto, as armativas do enunciado seguem do Teorema 20.3. E bastante claro que o Corolrio 20.1 generaliza a Proposiao 20.6, da pgina 958. a c a
20.5
Espaos de Banach e de Hilbert c
Nesta seao suporemos que o leitor est familiarizado com os conceitos de produto escalar e norma em espaos vetoriais, c a c conceitos esses introduzidos na Seao 3.1.3, pgina 151, e, respectivamente, na Seao 3.2, pgina 155 (vide, em particular, c a c a pgina 151). Por simplicidade, trataremos tambm apenas de espaos vetoriais sob o corpo dos complexos. a e c Espaos de Banach c
Se E um espao vetorial dotado de uma norma E , podemos, como j comentamos, denir uma mtrica em E, e c a e a chamada mtrica induzida pela norma E , atravs da expresso dE (u, v) = u v E denida para todos u, v E. e e a Assim, se E um espao vetorial normado, ento tambm um espao mtrico com a mtrica induzida pela norma. Com e c a e e c e e isso em mente, introduzimos ento a seguinte importante deniao: a c Denio Espaos de Banach. Um espao vetorial B dito ser um espao de Banach18 em relaao a uma norma nele ca c c e c c denida se for um espao mtrico completo em relaao ` mtrica induzida por essa norma. c e c a e Espaos de Hilbert c
Seja E um espao vetorial dotado de um produto escalar , E . Como discutimos ` pgina 158 e seguintes, podemos c a a u, u E . Essa norma dita ser a norma induzida e com o uso desse produto escalar denir uma norma em E por u E := pelo produto escalar , E . Ca mos, assim, no caso de acima, pois, sendo E um espao vetorial normado, podemos denir c uma mtrica em E atravs da seguinte expresso: para u, v E, e e a dE (u, v) = uv
E
(u v), (u v)
Assim, se E um espao vetorial dotado de um produto escalar, ento tambm um espao mtrico com a mtrica e c a e e c e e induzida pelo produto escalar denida acima. Com isso em mente, introduzimos ento a seguinte importante deniao: a c Denio Espaos de Hilbert. Um espao vetorial H dito ser um espao de Hilbert19 em relaao a um produto ca c c e c c c a e escalar nele denido se for um espao mtrico completo em relaao ` mtrica induzida por esse produto escalar. c e
18 Stefan 19 David
Essa mtrica dita ser a mtrica induzida pelo produto escalar , E . e e e
Banach (18921945). Hilbert (18621943).
Cap tulo 20
972/1628
c c Nota histrica. A noao abstrata de Espao de Hilbert foi introduzida por Schmidt20 , por volta de 1905, inspirado o em idias de Hilbert sobre equaoes integrais, notadamente sobre a equaao de Fredholm21 , discutida na Seao 13.3.2, e c c c pgina 640 e no Cap a tulo 13, pgina 618. A noao abstrata de Espao de Banach posterior, tendo sido introduzida por a c c e Banach em 1920. O termo espao de Banach foi cunhado por Frchet22 . c e O estudante deve notar que todo espao de Hilbert naturalmente um espao de Banach. A rec c e c proca no a e necessariamente verdadeira, pois um espao de Banach no necessariamente dotado de um produto escalar. Para tal c a e necessrio (e suciente) que a norma satisfaa a identidade do paralelogramo, relaao (3.29), pgina 159. Esse o e a c c a e conte do do Teorema de Frchet, von Neumann e Jordan, Teorema 3.3, pgina 160. u e a Tambm ressaltamos ao estudante que no apenas a existncia de um produto escalar importante na deniao de e a e e c um espao de Hilbert, mas tambm a propriedade de completeza, a qual fundamental para a demonstraao de vrias c e e c a propriedades importantes daqueles espaos. Vide Cap c tulo 31, pgina 1466. a Exemplos 20.20.1 Os espaos vetoriais de dimenso nita Cn so espaos de Banach em relaao ` norma x p := c a a c c a 1/p [|x1 |p + + |xn |p ] para todo p 1. O caso p = 2 importante. Cn um espao de Hilbert em relaao ao produto e e c c escalar x, y C := x1 y1 + xn yn O mesmo vale para os espaos vetoriais reais Rn . Esses fatos sero provados logo c a adiante quando considerarmos os espaos de seqncias tipo p , p 1, os quais, como veremos, so exemplos de espaos c ue a c de Banach (de dimenso innita). O espao 2 um espao de Hilbert. Outro exemplo importante de espao de a c e c c Banach o espao vetorial C([0, 1]). Provamos na Proposiao 20.6, pgina 958, que C([0, 1]) completo na norma e c c a e e c c f := sup |f (x)|. Portanto, C([0, 1]) um espao de Banach em relaao a essa norma.
x[0, 1]
Espaos de Hilbert tm uma importncia fundamental na Mecnica Quntica e na Teoria Quntica de Campos. Na c e a a a a Matemtica, espaos de Banach e de Hilbert so tambm fundamentais em reas como a teorias das equaoes diferenciais a c a e a c parciais (e outras). O estudo de espaos de Hilbert e de Banach, e de operadores lineares agindo nos mesmos, compe c o uma area da Matemtica denominada Anlise Funcional. a a Nestas Notas, estudaremos com mais detalhe as propriedades gerais de espaos de Hilbert no Cap c tulo 31, pgina 1466. a No restante desta seao apresentaremos exemplos de espaos de Hilbert e de Banach estudando espaos de seqncias. c c c ue Espaos de Banach em Espaos de Funoes c c c
Os resultados da Seao 20.4, pgina 968, permitem encontrar exemplos importantes de espaos de Banach entre certos c a c espaos de funoes: c c Exemplo 20.2 Seja X um conjunto no-vazio qualquer e seja B um espao de Banach (em relaao ao corpo dos reais a c c ou dos complexos) com norma B . Seja B(X, B) o conjunto de todas as funoes limitadas de X em B: c B(X, B) = f : X B, sup f (x)
xX B
< .
E elementar constatar que B(X, B) um espao vetorial (em relaao ao corpo dos reais ou dos complexos) e que e c c B(X, B) f f := supxX f (x) B uma norma em B(X, B), a chamada norma uniforme. Pelo Teorema 20.2, e pgina 968, B(X, B) um espao de Banach em relaao ` norma uniforme. a e c c a Exemplo 20.3 Seja X um espao topolgico e seja B um espao de Banach (em relaao ao corpo dos reais ou dos c o c c complexos) com norma B . Seja Cb (X, B) o conjunto de todas as as funoes cont c nuas e limitadas de X em B: Cb (X, B) = f : X B, f B(X, B) e f cont e nua .
E claro que Cb (X, B) B(X, B), que Cb (X, B) um subespao vetorial e que a norma uniforme est denida em e c a Cb (X, B). Pelo Teorema 20.3, pgina 970, Cb (X, B) um espao de Banach em relaao ` norma uniforme. a e c c a c c Exemplo 20.4 Seja X um espao topolgico compacto e B um espao de Banach (em relaao ao corpo dos reais ou dos c o complexos) com norma B . Seja C(X, B) o conjunto de todas as as funoes cont c nuas X em B. Pelo Corolrio 20.1, a pgina 971, C(X, B) um espao de Banach em relaao ` norma uniforme. a e c c a
Schmidt (18761959). Schmidt conhecido por vrias contribuioes, como o Teorema de Hilbert-Schmidt sobre operadores e a c compactos e, mais popularmente, pelo mtodo de ortogonalizaao de Gram-Schmidt, descrito na Seao 3.3, pgina 161. e c c a 21 Erik Ivar Fredholm (18661927). 22 Maurice Ren Frchet (18781973). e e
20 Erhard
Cap tulo 20
973/1628
Alguns exemplos ilustrativos dos casos acima so encontrados entre espaos de seqncias, aos quais dedicaremos a a c ue Seao 20.5.1. c
20.5.1
Espaos de Banach em Espaos de Seqncias c c ue
Vamos denotar por S(C) (por S(R)) a coleao de todas as seqncias de n meros complexos (reais). Um fato simples, c ue u mas importante de se comentar, que S(C) um espao vetorial complexo (e, respectivamente, S(R) um espao e e c e c vetorial real). De fato, se a e b so duas seqncias de n meros complexos podemos, para quaisquer , C denir a ue u e a a + b como sendo a seqncia (a + b)n := an + bn , n N. (Para S(R), o caso anlogo). ue Por simplicidade, iremos daqui para frente discutir apenas o espao S(C), das seqncias complexas, mas tudo o que c ue falaremos tem seu anlogo para o espao S(R). a c
O espao vetorial S(C) possui vrios subespaos, alguns de interesse especial, como os espaos p , com p 1, e o c a c c espao , os quais sero denidos mais adiante. O seguinte exerc exibe um dos subespaos de S(C). c a cio c ca ue u E. 20.39 Exerccio. Denotemos por c(C), ou simplesmente c, a coleo de todas as seqncias de Cauchy de nmeros complexos com relao ` mtrica usual d(z, w) = |w z|, z, w C. Mostre que c(C) um subespao de S(C), ou seja, ca a e e c mostre que se {an }nN e {bn }nN so duas seqncias de Cauchy de nmeros complexos, ento para quaisquer , C a a ue u a seqncia {an + bn }nN tambm uma seqncia de Cauchy de nmeros complexos. ue e e ue u Outros exemplos de conjuntos de seqncias so os seguintes23 : ue a := {an }nN S(C) {an }nN S(C) sup |an | < . (20.24)
nN
:=
lim an existe na mtrica usual e
(20.25)
c0
:=
{an }nN S(C)
lim an = 0
(20.26)
:=
{an }nN S(C)
n=1
|an |p <
(20.27)
:=
{an }nN S(C)
lim nk |an | = 0 para todo k > 0
(20.28)
:=
{an }nN S(C)
lim exp(rn)|an | = 0 para todo r > 0
(20.29)
:=
{an }nN S(C)
an = 0, exceto para um conjunto nito de ns
(20.30)
Acima, c coincide com a coleao de todas as seqncias de Cauchy de complexos com relaao ` mtrica usual d(z, w) = c ue c a e |w z|, z, w C pois C completo nessa mtrica. Note que c0 c (justique!). Em um exerc e e cio ` pgina 974, a a discutiremos as relaoes de pertinncia entre os conjuntos de seqncias acima e provaremos que d j s p c0 c e ue c . a c E. 20.40 Exerccio. Prove que os conjuntos d, j, s, c0 , c e so espaos vetoriais.
23 A
ordenaao dessa lista de exemplos inspirada em [142]. c e
Cap tulo 20
974/1628
Mais adiante (Proposiao 20.9, pgina 975) provaremos que os conjuntos p com p > 0 tambm so espaos vetoriais. c a e a c As provas para 0 0, pertence a s. ue n E. 20.41 Exerccio. Seqncias e p ue Na expresso (20.24) denimos o conjunto , subconjunto de S(C), formado por todas as seqncias limitadas, ou a ue seja, uma seqncia {an }nN do tipo se existir algum M 0 tal que, para todo n, tem-se |an | < M . Note que as ue e seqncias limitadas no so de Cauchy, mas toda a seqncia de Cauchy limitada (por que?). Assim, c(C) . ue a a ue e Exemplo 20.5 As seqncias an = , an = /n2 , an = + /n an = + en , an = (1)n , an = sen (n), n N, ue so, para todo , C, elementos de . As seqncias an = (1)n e an = sen (n) no so de Cauchy. a ue a a a ue a E. 20.42 Exerccio importante. Mostre que se {an }nN e {bn }nN so duas seqncias do tipo ento, para quaisquer , C a seqncia {an + bn }nN tambm do tipo . ue e e Esse exerc cio diz-nos que no apenas um subconjunto, mas tambm um subespao vetorial de S(C). Mais a e e c adiante, mostraremos que um espao de Banach em relaao a uma norma conveniente, a saber, a norma denida e c c no prximo exerc o cio. E. 20.43 Exerccio importante. Seja a {an }nN . Mostre que a dene uma norma em . Outra fam importante de subconjuntos de S(C) formada pelas chamadas seqncias p , com p R, p > 0: lia e ue p := {an }nN S(C)
n=1
:= sup |an |
nN
|an |p < 1
, n = 1, 2, 3, . . ., do tipo p . O que e n 1 e a e acontece se = 0? Mostre que an = , n = 1, 2, 3, . . ., do tipo p para todo p > 1 mas no do tipo 1 . Mostre que a n seqncia an = exp(n), n = 1, 2, 3, . . ., pertence a todos os espaos p com p > 0. ue c
1 p +
E. 20.44 Exerccio.
Seja p > 0. Mostre que para > 0 a seqncia an = ue
Pela deniao, se {an }nN uma seqncia de tipo p , ento a srie |an |p convergente. Isso s poss se c e ue a e e oe vel n=1 limn |an | = 0. Isso, por sua vez, signica que para todo n grande o suciente, digamos, maior que um certo N0 N, tem-se |an | 1. Se p p segue ento que |an |p |an |p para todo n > N0 . a E. 20.45 Exerccio. Use esses fatos para concluir que p p para todos p, p com 0 < p p . E. 20.46 Exerccio. Conclua tambm que e d j s p p c0 c , para todos p, p com 0 < p p .
Cap tulo 20
975/1628
e a E. 20.47 Exerccio. D exemplos de elementos de que no pertencem a nenhum dos demais conjuntos acima. E. 20.48 Exerccio. D exemplos de elementos de c0 que no pertencem a nenhum p com p > 0. Sugesto: considere e a a 1 1 a seqncia an = ue = para todo p > 0. Para isso, use o fato (e com n = 2, 3, 4, . . .. Mostre que ln(n) (ln(n))p n=2 1 eu prove-o!) que dx = du = para todo b > 1 e p R. p p (ln(x)) b ln(b) u Vamos agora estabelecer um fato importante sobre os conjuntos de seqncias: combinaoes lineares de seqncias ue c ue p so tambm seqncias p . a e ue A estrutura linear dos conjuntos p Proposio 20.9 Os conjuntos p , com p > 0, so espaos vetoriais complexos. ca a c A prova faz uso da Proposiao 20.11, pgina 984, do Apndice 20.A. c a e Caso 0 < p < 1. Sejam a, b C. Como |a + b| |a| + |b|, a segunda desigualdade em (20.A.2) implica |a + b|p (|a| + |b|)p |a|p + |b|p . Assim, se an e bn so duas seqncias do tipo p com 0 < p < 1, teremos a ue
n=1 n=1 n=1
Prova. H dois casos a considerar em separado: 0 < p < 1 e p 1. a
|an + bn |p ||p
|an |p + ||p
|bn |p <
(20.31)
para quaisquer , C. Isso provou que a seqncia an + bn tambm uma seqncia do tipo p com 0 < p < 1. ue e e ue Assim, p com 0 < p < 1 um espao vetorial complexo. e c Caso p 1. Sejam a, b C. Como |a + b| |a| + |b|, a segunda desigualdade em (20.A.3) implica |a + b|p (|a| + |b|)p 2p1 (|a|p + |b|p ) . Assim, se an e bn so duas seqncias do tipo p com p 1, teremos a ue
n=1 n=1 n=1
|an + bn |p 2p1 ||p
|an |p + 2p1 ||p
|bn |p <
para quaisquer , C. Isso provou que a seqncia an + bn tambm uma seqncia do tipo p com p 1. Isso ue e e ue e o que quer amos provar. Mais adiante demonstraremos o seguinte fato muito importante: para todo p 1 os conjuntos p no so meramente a a espaos vetoriais, mas tambm espaos vetoriais normados, com a norma c e c a :=
n=1
1 p
|an |p
(20.32)
para a {an }nN p , p 1. Que essa expresso de fato dene uma norma em p , p 1, no nada bvio e ser a a e o a provado mais adiante. Mais que isso, cada espao p , p 1, um espao de Banach em relaao ` norma acima. c e c c a Veremos tambm que 2 um espao de Hilbert com produto escalar e e c a, b :=
n=1
an b n ,
Cap tulo 20
976/1628
onde a {an }nN , b {bn }nN 2 .
Para 0 < p < 1 a situaao diferente. Nesse caso, os conjuntos p ainda so espaos vetoriais, mas para 0 < p < 1 c e a c a expresso (20.32) no representa uma norma. Esse fato reduz um tanto o interesse nesses espaos. Vale, porm a a a c e seguinte armaao: c Proposio 20.10 Para cada 0 < p < 1 os espaos p so espaos mtricos com a mtrica ca c a c e e Dp (a, b) = a, b p . Prova. A desigualdade triangular para Dp segue facilmente de (20.31).
n=1
|an bn |p ,
E poss provar tambm, por uma modicaao do Teorema de Riesz-Fischer, que veremos adiante, que para cada vel e c 0 < p < 1 os espaos p so completos na mtrica Dp denida acima. c a e As desigualdades de Hlder e Minkowski para seqncias o ue
Vamos aqui enunciar e demonstrar em um caso particular duas desigualdades importantes que tornaremos a encontrar quando tratarmos da teoria da integraao e de espaos de Banach, as quais so conhecidas como desigualdades de Hlder24 c c a o e de Minkowski25 . Teorema 20.4 Desigualdades de Hlder e de Minkowski para seqncias o ue I. Desigualdade de Hlder. o Sejam x = {xi }iN p e y = {yi }iN q com p > 0 e q > 0 e seja r > 0 denido por
i=1 1/r
1 1 1 = + . Ento, vale a r p q (20.33)
|xi | |yi |
i=1
1/p
|xi |
i=1
1/q
|yi |
Para todo p > 0 e para todos x = {xi }iN p e y = {yi }iN vale
i=1 1/p
|xi | |yi |
i=1
1/p
|xi |
sup |yi |
iN
(20.34)
II. Desigualdade de Minkowski. Sejam x = {xi }iN e y = {yi }iN , ambas do tipo p com p 1. Ento, vale a
i=1 1/p
|xi + yi |
i=1
1/p
|xi |
i=1
1/p
|yi |
(20.35)
As desigualdades de Hlder e Minkowski sero demonstradas nas pginas seguintes. Vamos antes a alguns comentrios. o a a a o Para duas seqncias x e y denotamos por x y a seqncia produto (x y)i := xi yi , i N. A desigualdade de Hlder ue ue 1 1 1 (20.33) arma, portanto, que se x p com p > 0, y q com q > 0, ento x y r com = + . Analogamente, a r p q conclu mos da desigualdade (20.34) que se x p com p > 0 e y , ento x y p . a
24 Otto 25 Hermann
Ludwig Hlder (18591937). o Minkowski (18641909). O nome de Minkowski surge tambm na Teoria da Relatividade. e
Cap tulo 20
977/1628
O caso particular mais relevante da desigualdade de Hlder acima se d para p > 1 e q > 1 com o a caso, a desigualdade de Hlder (20.33) arma que o
i=1
1 1 + = 1. Nesse p q
|xi | |yi |
i=1
1/p
|xi |
i=1
1/q
|yi |
(20.36)
Um fato importante que extra mos da desigualdade de Minkowski o seguinte: se as seqncias {xi }iN e {yi }iN e ue so ambas do tipo p , p 1, ento a seqncia {xi + yi }iN tambm o (pois o lado direito de (20.35) nito). Fora a a ue e e e isso, claro tambm que se {xi }iN do tipo p ento a seqncia {xi }iN tambm do tipo p para qualquer C. e e e a ue e e Esses dois fatos juntos dizem-nos que as seqncias do tipo p , p 1, formam um espao vetorial sobre os complexos. ue c Por isso passaremos a chamar a coleao de todas as seqncias do tipo p , p 1, de espao p , sempre entendido como c ue c um espao vetorial sobre os complexos. c Mais ainda, a desigualdade de Minkowski arma que x :=
i=1 1/p
|xi |
uma norma nos espaos p , p 1, pois arma que e c x+y

p
+ y
x, y p ,
as demais condioes que denem norma sendo elementares de se provar. Mostraremos logo adiante (pgina 981) que os c a espaos p , p 1, so exemplos de espaos de Banach em relaao `s normas acima e que o espao 2 , em particular, c a c c a c e um espao de Hilbert. c Com essa deniao de norma, podemos reescrever a desigualdade de Hlder (20.33) nos casos em que p > 1, q > 1 e c o 1 1 r 1 com p + 1 = r na forma q xy r x p y q , (20.37) onde x y a seqncia produto (x y)i := xi yi , i N. Para p 1, a desigualdade (20.34) ca e ue xy para todos x p e y . Vamos agora ento provar a desigualdade de Hlder (20.33). Para comear, notemos que a desigualdade de Hlder a o c o (20.33) para r > 0 conseqncia do caso particular r = 1. De fato, sejam {xi }iN p e {yi }iN q com e ue 1 1 1 + = , p q r sendo 0 < p < e 0 < q < . Denindo novas seqncias {ai }iN e {bi }iN tais que |ai | = |xi |r e |bi | = |yi |r e denindo ue p = p/r e q = q/r, teremos
i=1 p
A desigualdade de Hlder. Demonstrao o ca
|ai |
i=1
|xi |
<
i=1
|bi |
i=1
|yi |q <
o que prova que {ai }iN p e {bi }iN q . Como 1 1 + = 1, p q
Cap tulo 20
978/1628
ento, supondo vlida a desigualdade de Hlder (20.33) no caso r = 1, teremos a a o

i=1 1/r
|xi | |yi |
i=1
1/r
|ai ||bi |
1/p i=1 1/q
(20.33) com
r=1
i=1
|ai |p
|bi |q
1/r
i=1
r/p
|xi |p
1/p
i=1
r/q
|yi |q
1/q
1/r
i=1
|xi |
i=1
|yi |
que a desigualdade de Hlder (20.33) no caso geral r > 0. Por causa disso, basta demonstrarmos (20.33) para o caso e o r = 1, que o que faremos. e Nossa estratgia ser provar primeiro a desigualdade de Hlder (20.33), com r = 1, para seqncias nitas e depois e a o ue generalizar para seqncias innitas. ue Sejam x1 , . . . , xn e y1 , . . . , yn duas seqncias nitas arbitrrias de n meros complexos (n N). A desigualdade de ue a u Hlder arma que o
n i=1 n 1/p n i=1 1/q
|xi ||yi |
i=1
|xi |p
|yi |q
1 1 + = 1. Vamos a isso. Em primeiro lugar, note que a p q desigualdade trivialmente verdadeira caso todos os xi ou todos os yi sejam nulos, pois nesse caso tanto o lado direito e quanto o lado esquerdo da desigualdade so iguais a zero. a para quaisquer p, q com 1 < p < e 1 < q < e tais que Vamos ento considerar o caso em que os xi e os yi no so todos identicamente nulos. Seja, para um j xo a a a a =
n
|xj |p |xi |p
b =
|yj |q |yi |q
i=1
i=1
Usando a desigualdade de Young (20.A.1), tratada no Apndice 20.A, pgina 984, temos que e a |xj ||yj |
1/p 1/q
n i=1
1 p
|xj |p |xi |
p
1 q
|yj |q |yi |
q
|xi |p
i=1
|yi |q
i=1
i=1
Somando ambos os lados da desigualdade para todo j entre 1 e n, teremos

n j=1 1/p n n
|xj ||yj |
n i=1 1/q
n i=1
1 p
j=1 n i=1
|xj |p + |xi |
p
1 q
j=1 n i=1
|yj |q = |yi |
q
1 1 + = 1, p q
(20.38)
|xi |p
|yi |q
que o que quer e amos provar. Vamos agora generalizar a desigualdade de Hlder para seqncias innitas. o ue
Cap tulo 20
979/1628
Seja {xi }iN uma seqncia do tipo p e seja {yi }iN uma seqncia do tipo q com 1 < p < , 1 < q < e ue ue 1/p + 1/q = 1. Como vimos, temos para qualquer n N a desigualdade
n i=1 n 1/p n i=1 1/q
|xi ||yi |
i=1
|xi |p
1/p
|yi |q
1/q
Assim, segue que

n i=1
|xi ||yi |
i=1
|xi |p
i=1
|yi |q
< .
n
Essa desigualdade vale para todo n e diz, em particular, que a seqncia sn = ue e limitada. Assim, existe lim sn e vale
n i=1 i=1 1/p p i=1 1/q q i=1
|xi ||yi |, n N, montona crescente e o
|xi ||yi |
|xi |
|yi |
< .
Essa ultima relaao a de Hlder (20.33), com r = 1. Isso provou (20.33) para todo r > 0. c e o A desigualdade de Hlder (20.36) envolve seqncias dos tipos p e q com 1/p + 1/q = 1, sendo que 1 < p < e o ue de se notar que os casos p = 1 ou q = 1 foram exclu 1 < q < . E dos. H tambm uma desigualdade como a de Hlder a e o envolvendo a seqncias do tipo p e , incluindo o caso p = 1. Sejam {xi }iN uma seqncia do tipo p com p > 0 e ue ue {yi }iN uma seqncia do tipo . Ento, bem fcil de se vericar que ue a e a
i=1 1/p
|xi | |yi |
i=1
1/p
|xi |
sup |yi |
iN
Essa a desigualdade de Hlder (20.34). e o A desigualdade de Hlder pode ser generalizada ainda mais, como veremos quando tratarmos da teoria da integraao. o c Vamos agora provar uma das conseqncias da desigualdade de Hlder, conhecida como desigualdade de Minkowski. ue o A desigualdade de Minkowski. Demonstrao ca
Novamente, nossa estratgia ser considerar primeiro seqncias nitas e depois estender o obtido para seqncias e a ue ue innitas.
Sejam x1 , . . . , xn e y1 , . . . , yn duas seqncias nitas arbitrrias de n meros complexos (n N). A desigualdade de ue a u Minkowski arma que
n i=1 1/p n 1/p n 1/p
|xi + yi |p
i=1
|xi |p
+
i=1
|yi |p
para qualquer p 1. Vamos demonstr-la. O caso p = 1 trivial (por que?). Consideremos ento p > 1. Teremos que a e a
n i=1 n n n
|xi + yi |p =
i=1
|xi + yi ||xi + yi |p1
i=1
|xi ||xi + yi |p1 +
i=1
|yi ||xi + yi |p1 .
(20.39)
Usando a desigualdade de Hlder (caso r = 1) podemos dizer que o

n i=1 n 1/p n i=1 1/q
|xi ||xi + yi |
p1
i=1
|xi |
|xi + yi |
q(p1)
onde 1/p + 1/q = 1, ou seja, p = q(p 1). A ultima desigualdade diz ento que a
n i=1 n 1/p n i=1 1/q
|xi ||xi + yi |p1
i=1
|xi |p
|xi + yi |p
Cap tulo 20
980/1628
e, analogamente,
n i=1 n 1/p n i=1 1/q
|yi ||xi + yi |
p1
i=1
|yi |
|xi + yi |
n
Substituindo estas duas ultimas relaoes em (20.39), teremos c

n n 1/p n i=1
1/p
n i=1
1/q
donde tiramos que
|xi + yi |p
n i=1
i=1
|xi |p
1/p
i=1
|yi |p
1/p
|xi + yi |p
1/p
|xi + yi |
i=1
|xi |
+
i=1
|yi |
(20.40)
que o que quer e amos provar. Assim como a desigualdade de Hlder, a desigualdade de Minkowski pode ser generalizada para seqncias innitas. o ue Sejam {xi }iN e {yi }iN seqncias innitas de de n meros complexos, ambas do tipo p . Temos que, para qualquer ue u n N,
n 1/p n 1/p n 1/p i=1
|xi + yi |
i=1
|xi |
+
i=1
|yi |
1/p
i=1 n
|xi |
+
1/p
1/p
i=1 p
|yi |
<
Como a desigualdade vale para qualquer n, segue que a seqncia sn = ue e limitada e, portanto, converge. Fora isso, vale
i=1 1/p i=1
|xi + yi |
1/p
, n N, montona crescente e o
|xi + yi |
i=1
1/p
|xi |
i=1
|yi |
< .
Essa a desigualdade de Minkowski para seqncias innitas de n meros complexos {xi }iN e {yi }iN , ambas do e ue u tipo p com p 1. Isso completa a prova do Teorema 20.4. Em [149] e leitor poder encontrar uma interessante demonstraao da desigualdade de Minkowski que no faz uso da a c a de Hlder. o Dualidade em espaos p c
Na Proposiao 32.4, pgina 1500, demonstraremos com o uso da desigualdade de Hlder que q pode ser identicado c a o 1 como o dual topolgico de p (e vice-versa) para todos 1 < p < e 1 < q < relacionados por p + 1 = 1, ou seja, todo o q funcional linear cont nuo em p da forma lb (a) = k=1 bk ak , para todo a p , onde a seqncia bk , k N, pertence a e ue q . A desigualdade de Cauchy para seqncias. Um produto escalar para 2 ue
A desigualdade de Hlder tem um caso particular bastante especial. Sejam {xi }iN e {yi }iN duas seqncias de o ue n meros complexos complexos do tipo 2 . Ento a desigualdade de Hlder nos diz que u a o
i=1
|xi ||yi |
i=1
1/2
|xi |
i=1
1/2
|yi |
(20.41)
Essa desigualdade conhecida como desigualdade de Cauchy (para seqncias) e , sem exagero, uma das desigualdades e ue e mais importantes. Muitos resultados importantes so extra a dos dela, alguns dos quais iremos tratar adiante. A expresso (20.41) mostra-nos que para quaisquer {xi }iN , {yi }iN 2 a srie a e
i=1
xi yi =:
x, y
(20.42)
Cap tulo 20
981/1628
absolutamente convergente e, portanto, nita. Com isso, o lado esquerdo dene um produto escalar em 2 , que e denotamos por x, y 2 . E. 20.49 Exerccio. Prove essas ltimas armaoes, ou seja, prove que x, y u c
2
um produto escalar em 2 . e
2.
Como veremos adiante, 2 completo na norma relacionada a esse produto escalar, que a norma e e que 2 um espao de Hilbert. e c Veremos agora uma aplicaao da desigualdade de Minkowski. c As Mtricas dp em Cn e
Isso prova
Seja X = Cn (ou Rn ) para algum n N e seja a seguinte funao em X X: c dp (x, y) = (|x1 y1 |p + + |xn yn |p ) p ,
1
Mostrar que, para p 1, dp dene uma mtrica em X bem simples. A unica diculdade est em demonstrar a e e a desigualdade triangular, o que pode ser feito facilmente com o uso da desigualdade de Minkowski mostrada acima. E. 20.50 Exerccio. Usando a desigualdade de Minkowski, mostre que dp satisfaz a desigualdade triangular, ou seja, que dp (x, y) dp (x, z) + dp (z, y) para p 1 e quaisquer x = (x1 , . . . , xn ), y = (y1 , . . . , yn ) e z = (z1 , . . . , zn ) Cn . Para o caso particular p = 2 a mtrica d2 idntica ` mtrica Euclidiana dE introduzida anteriormente. Nesse sentido e e e a e as mtricas dp so um tipo de generalizaao da mtrica Euclidiana usual. e a c e Semi-normas em p , p 1 Para cada n N podemos denir em p , p 1, a semi-norma (o conceito de semi-norma encontra-se ` pgina 155) a a x Note que x
p, n
onde p R, p 1, x = (x1 , . . . , xn ) Cn e y = (y1 , . . . , yn ) Cn .
p, n
de fato uma semi-norma em p , p 1, pois satisfaz x e x+y

p, n
n j=1
|xj |p
p, n
1/p
. = || x para todo C e
(20.43)
p, n
p, n
+ y
p, n
(20.44)
para todos x, y p , p 1, devido ` desigualdade de Minkowski para seqncias nitas (20.40). a ue Note tambm que e x
p, n
< .
(20.45)
para todo x p , p 1 e todo n N. Por m, para qualquer x p , vale x

p
= lim
p, n
Vamos agora mostrar que os espaos p , p 1, e so completos em relaao `s suas respectivas normas. Essa c a c a armaao, especialmente na sua forma mais geral, em espaos de funoes mensurveis (tratada na Seao 26.4.2, pgina c c c a c a 1150), conhecida como Teorema de Riesz26 -Fischer27 e data de 1907. e Seja p 1, xo, e seja {am }mN , uma seqncia de elementos de p . Como cada am uma seqncia de n meros ue e ue u complexos, indicaremos seus elementos por am , i N. Assim, convencionamos que o ndice superior indexa a seqncia ue i e o inferior o e ndice de cada elemento da seqncia. ue
26 Frigyes 27 Ernst
O Teorema de Riesz-Fischer para seqncias. Completeza dos espaos e p , p 1 ue c
Riesz (18801956). Sigismund Fischer (18751954).
Cap tulo 20
982/1628
Suponhamos que {am }mN seja uma seqncia de Cauchy em p na mtrica induzida pela norma p . Isso signica ue e que para todo > 0 existe um inteiro N () > 0 tal que an am p < sempre que m, n > N (). Assim, se m, n > N (), fcil ver que, para os elementos am e an isso signica que e a i i |am an | i i
j=1
Isso diz-nos que, para cada i xo, a seqncia de n meros {an }nN uma seqncia de Cauchy em C e, portanto, ue u e ue i converge (pois C completo). Seja i C o limite dessa seqncia. e ue A seqncia = {i }iN um forte candidato a ser o limite da seqncia {an }nN na mtrica denida pela norma ue e ue e p . Colocamo-nos, ento, as seguintes questes: 1. Ser a seqncia tambm um elemento de p ? 2. Se a resposta ` a o a ue e a pergunta anterior for positiva, ser que a seqncia am converge ` seqncia = {i }iN na norma de p ? Se a resposta a ue a ue a essas perguntas for positiva, estar provado que p completo. a e
|am an |p j j
1/p
an am
< .
Seja > 0 arbitrrio. Vamos denir uma seqncia crescente de nmeros inteiros e positivos Nk (), k = 1, 2, 3, . . . a ue u com Nk+1 () > Nk (), da seguinte forma: Nk () tal que am an p < /2k para todos m, n > Nk (). Note que e uma tal seqncia Nk () sempre pode ser encontrada pois, por hiptese, {am }mN uma seqncia de Cauchy em p . ue o e ue Vamos agora escolher uma seqncia crescente de ue ndices n1 < n2 < < nk1 < nk < tais que nk > Nk (). A essa seqncia est associada a sub-seqncia {ank }kN . Para simplicar a notaao, denotaremos bk ank , k = 1, 2, 3, . . .. ue a ue c Tem-se (20.46) bl+1 bl p < l . 2 pois nl e nl+1 so maiores que Nl (). Note que para cada i, bk converge a i quando k . a i Com essas denioes, teremos para todo k > 1 que (verique!) c
k1
bk b1 = Utilizando as semi-normas bk
p, n ,
l=1
bl+1 bl .
denidas em (20.43), e usando (20.44) e (20.45) e (20.46), teremos

k1
p, n
b1 +
l=1
bl+1 bl
k1
p, n
(20.44)
b1
p, n
+
l=1 k1
bl+1 bl
p, n
(20.45)
b1
p+ l=1 k1
bl+1 bl 2l b1
(20.46)
<
b1
+
l=1
b1
l=1
= 2l
b1
+.
Assim, bk
n 1/p p, n
<
+.
(20.47)
k p e envolve uma soma nita de |bk | s. Assim, como cada bk converge a i Note que o lado esquerdo e i i i=1 |bi | quando k temos, tomando o limite k , n k 1/p n 1/p
lim
i=1
|bk |p i
=
i=1
|i |
p, n
Cap tulo 20
983/1628
Como o lado direito de (20.47) no depende de k, conclu a mos que que

n i=1
p, n p
b1
+ para todo n N. Agora, isso diz
|i |p
b1
para todo n N. O lado direito no depende de n. Como o lado esquerdo uma seqncia crescente e limitada (pelo a e ue lado direito), segue que o lado esquerdo converge quando n . Isso prova ento que |i |p < , ou seja, p . a i=1
Resta-nos agora responder ` segunda pergunta colocada ` pgina 982 e mostrar que a seqncia am converge a em a a a ue relaao ` norma p . c a Repetindo o mesmo racioc nio que conduziu a (20.47), apenas mantendo b1 do lado esquerdo, conclu mos que bk b p, n < . Novamente, usando o mesmo argumento de acima, podemos tomar o limite k e obter b1 p, n Como o lado direito independe de n, segue novamente pelo mesmo racioc nio de acima que b1 p Isso signica28 1 1 1 que para todo > 0 existe b p tal que b p . Como b escolhido na seqncia am , isso prova que e ue = limm am na topologia denida por p .
1
Com isso, provamos que todo p com p 1 completo na norma denida por p e , portanto, um espao de e e c Banach nessa norma. Como comentamos, isso tambm implica que 2 um espao de Hilbert com relaao ao produto e e c c escalar denido em (20.42). A demonstraao que um espao de Banach em relaao ` norma c e c c a semi-normas x , n := sup |xi |.
1in
idntica, adotando-se nesse caso as e e
E. 20.51 Exerccio. Complete os detalhes da prova que um espao de Banach em relao ` norma e c ca a
28 O
estudante aqui talvez tenha que recordar a maneira como b1 = an1 foi denido no pargrafo que antecede (20.46). a
Cap tulo 20
984/1628
Apndices e
20.A Algumas Desigualdades Bsicas a
Demonstraremos aqui algumas desigualdades numricas bsicas que foram usadas no presente cap e a tulo e sero tambm a e empregadas em outros. A desigualdade de Young
A demonstraao da desigualdade de Hlder faz uso de uma desigualdade numrica conhecida como desigualdade de c o e Young29 . Como essa desigualdade tem interesse por si s e outras aplicaoes, vamos apresentar sua demonstraao. o c c Sejam a e b dois n meros reais, ambos maiores ou iguais a zero e sejam p e q ambos tais que 1 < p < e 1 < q < , u 1 1 a mas tais que + = 1. Vamos ento mostrar que para todo a, b 0 p q a1/p b1/q a b + , p q (20.A.1)
sendo que a igualdade s vlida caso a = b. A desigualdade (20.A.1) denominada desigualdade de Young. oe a e Para prov-la, notemos em primeiro lugar note que se a = 0 ou b = 0 a (20.A.1) acima trivialmente satisfeita pois a e o lado esquerdo sempre zero, enquanto que o lado direito sempre maior ou igual a zero. Vamos esto supor que a e b e e a a b so ambos no-nulos. Tudo o que queremos provar que a1/p b1/q + + sempre maior ou igual a zero. Podemos a a e e p q 1 escrever a ultima expresso como b t + t + q , onde = 1/p e t = a/b. Como 1 0, tem-se f (x) = 1 x1 e f (x) = (1 )x2 > 0 . Assim, f (x) tem um unico m nimo local em x = 1, onde f (1) = 0 (verique). Fora isso, f (0) =
1 q
> 0 e lim f (x) = +.

x
Desses fatos conclu mos facilmente que f (x) 0 para todo x 0, a igualdade s se dando caso x = 1. Isso fecha o que o quer amos provar. E. 20.52 Exerccio. Nesse caso 1/q < 0. Mostre que no caso 0 < p < 1 a desigualdade (20.A.1) se reverte ( deve ser substitu por ). do
Desigualdades envolvendo somas de potncias e
As desigualdades apresentadas na seguinte proposiao so muito uteis, especialmente no propsito de demonstrar que c a o os conjuntos de seqncias p so espaos vetoriais, o mesmo se dando com os conjuntos de funoes Lp (M, d) dos quais ue a c c trataremos no Cap tulo 26, pgina 1110. a Proposio 20.11 Sejam a 0 e b 0 dois nmeros reais no-negativos. ca u a I. Para todo p tal que 0 < p < 1 tem-se ap + b p (a + b)p ap + bp . 21p II. Para todo p tal que p 1 tem-se (20.A.2)
ap + bp (a + b)p 2p1 (ap + bp ) .
(20.A.3)
29 William
Henry Young (18631942).
Cap tulo 20
985/1628
Prova. Apresentamos separadamente as demonstraoes para os casos I e II. c Caso I. Tomemos 0 0. Nesse caso, podemos fatorar ap e a desigualdade acima caria, eo a 1+ b a
p
(20.A.4)
1+
b a
p Para provar isso, tudo o que desejamos provar que f (x) := (1 + x) 1 xp satisfaz f (x) 0 para todo x 0. De e fato, tem-se, 1 f (x) = pxp1 1 . (20.A.5) 1 1p 1+ x 1 Como 1 + x 1 e 1 p > 0, segue que f (x) 0 para todo x 0. Com isso, provamos que f no-crescente. Como e a f (0) = 0, segue que f (x) 0 para todo x 0. Isso provou (20.A.4).
ap + b p (a + b)p . 21p Para x 0 e 0 < p < 1 a funao (x) = xp cncava. Portanto, para qualquer com 0 1, tem-se c e o (a) + (1 )(b) (a + (1 )b) . Para = 1/2, isso ca ap + b p 2 e a prova de (20.A.2) est completa. a Caso II. Para o caso p = 1 a desigualdade (20.A.3) evidente. Tomemos, ento, p > 1 xo. Vamos primeiramente e a provar a seguinte desigualdade: para quaisquer a, b 0 vale ap + bp (a + b) . Para a = 0 isso bvio. Seja, ento, a > 0. Nesse caso, podemos fatorar ap e a desigualdade acima caria, eo a 1+ b a
p p
Vamos agora provar que
a+b 2
(20.A.6)
1+
b a
p
Para provar isso, tudo o que desejamos provar que f (x) := (1 + x) 1 xp satisfaz f (x) 0 para todo x 0. Agora, e por (20.A.5), p1 1 . f (x) = pxp1 1 1 + x
1 Como 1 + x 1 e p 1 > 0, segue que f (x) 0 para todo x 0. Com isso provamos que f crescente. Como f (0) = 0, e segue que f (x) 0 para todo x 0, provando o que quer amos.
Vamos agora provar que
Para x 0 e p > 1 a funao (x) = xp convexa. Portanto, para qualquer com 0 1, tem-se c e (a + (1 )b) (a) + (1 )(b) . Para = 1/2, isso ca a+b 2 e a prova de (20.A.3) est completa. a
p
(a + b)p 2p1 (ap + bp ) .
ap + b b 2
Cap tulo 20
986/1628
20.B
N meros reais e p-dicos u a
Neste apndice ilustraremos a construao do completamento cannico de espaos mtricos, desenvolvida a partir da pgina e c o c e a 960, apresentando brevemente uma construao do conjunto dos n meros reais a partir dos racionais que tambm devida c u e e a Cantor. O mrito dessa construao no apenas ilustrativo, pois o mesmo conjunto de idias permite a construao de e c a e e c outros conjuntos exticos de n meros, os chamados n meros p-dicos (p, aqui, sendo um n mero primo), introduzidos o u u a u por Hensel30 entre 1897 e 189931. A estudo desta seao no essencial ao que segue e pode ser dispensado em uma primeira leitura. A demonstraao c a e c de completeza de R, em particular, um tanto delicada e complexa. e Uma Mtrica no Conjunto dos Racionais e
Considere o conjunto Q dos n meros racionais. e considere a funao d : Q Q Q+ dada por d(r, s) = |r s|. u c Esta funao tem as seguintes propriedades c 1. d(r, s) Q+ para todo r, s Q. 2. d(r, s) = 0 se e somente se r = s. 3. Para todo a e b Q vale d(a, b) = d(b, a). 4. Para todo a, b e c Q vale d(a, b) d(a, c) + d(c, b). A funao d dene o que se chama de uma mtrica em Q. A desigualdade d(a, b) d(a, c) + d(c, b) chamada c e e desigualdade triangular. pio desejamos construir o conjunto dos nmeros reais R, devemos tomar o cuidado de denir a u Nota. Como a princ mtrica d assumindo valores em Q+ , o conjunto dos racionais 0, no em R+ , como zemos at agora. Por essa razo, e a e a algumas adaptaoes ao que zemos ate agora sero necessrias. c a a Uma seqncia de n meros racionais uma funao N Q. Para uma seqncia a denota-se freq entemente seu ue u e c ue u valor a(i) por ai para i N. Uma seqncia a de n meros racionais dita ser uma seqncia de Cauchy32 em relaao ` mtrica d se para todo ue u e ue c a e Q+ existir um n mero natural N () (eventualmente dependente de ) tal que d(ai , aj ) = |ai aj | < para todo i e u j tais que i > N () e j > N (). Uma seqncia de n meros racionais a converge para um n mero racional r no sentido da mtrica d se para todo ue u u e Q+ existir um n mero natural N () (eventualmente dependente de ) tal que d(r, ai ) < para todo i > N (). u E. 20.53 Exerccio. Prove que se uma seqncia a converge a um nmero racional r ento a uma seqncia de Cauchy. ue u a e ue Sugesto: use a desigualdade triangular. a N meros Reais. A Construo de Cantor. Completamento u ca Seqncias de Cauchy de N meros Racionais ue u
Como j discutimos em pginas anteriores, h seqncias de Cauchy de n meros racionais que no convergem a a a a ue u a n meros racionais. Esse fato a motivaao de uma construao muito importante: a dos n meros reais. u e c c u
Para mostrar como essa construao feita (o que faremos aqui com o objetivo de ilustrar outras construoes anlogas c e c a futuras) vamos primeiramente considerar o conjunto C C(Q) de todas as seqncias de Cauchy de n meros racionais ue u e construir em C uma relaao de equivalncia da seguinte forma. Dizemos que duas seqncias de Cauchy a e b so c e ue a equivalentes se a seqncia ci = ai bi , i N converge a zero. Ou seja, a b se para todo racional > 0 existir inteiro ue N > 0 tal que d(ai , bi ) = |ai bi | < para todo i > N .
30 Kurt 31 K.
Wilhelm Sebastian Hensel (18611941). Hensel, Uber eine neue Begrndung der Theorie der algebraischen Zahlen, Jahresber. Deutsch. Math.-Verein, 6 : 1, pp. 8388, u
(1899). 32 Augustin Louis Cauchy (17891857).
Cap tulo 20
987/1628
a ue a ue e e E. 20.54 Exerccio. Mostre que se a e b so seqncias de Cauchy ento a seqncia ci = ai bi , i N tambm o . Sugesto: use a desigualdade triangular. a E. 20.55 Exerccio. Prove que a relao acima de fato uma relao de equivalncia. ca e ca e Isto posto, sabemos que o conjunto C pode ser escrito como uma unio disjunta de suas classes de equivalncia pela a e relaao acima. O conjunto dos n meros reais R ento denido como sendo o conjunto formado por essas classes de c u e a equivalncia ou, se quiserem, como o conjunto formado escolhendo-se um elemento de cada classe de equivalncia, ou e e seja, por uma seqncia de Cauchy de n meros racionais em relaao ` mtrica d. ue u c a e Assim, uma seqncia de Cauchy como a seqncia ai = 1 + 1/1! + 1/2! + + 1/i! acima dene um n mero real (no ue ue u caso o n mero e). u Se x uma seqncia de Cauchy de racionais em relaao ` mtrica d denotaremos sua classe de equivalncia por [x]. e ue c a e e Pela deniao, [x] um n mero real. c e u E poss denir em R uma relaao de ordem total da seguinte forma: dizemos que [x] < [y] se existirem seqncias vel c ue 0 de racionais x0 [x] e y 0 [y] e um inteiro I tais que x0 < yj para todo i, j > I e se [x0 y 0 ] = [0], onde [0] a classe e i 0 que contm a seqncia identicamente nula. (Essa ultima condiao para evitar seqncias com x0 < yi mas que se e ue c e ue i aproximem no limite i ). E. 20.56 Exerccio. Mostre que isso dene uma relao de ordem total em R. ca Poder amos tentar fazer de R um espao mtrico, denindo, por analogia com o que zemos anteriormente na c e construao do completamento cannico, uma mtrica em R por c o e d([x], [y]) = lim d(xn , yn ) .
n
Isso no pode ser feito dessa forma, porm, pois o a seqncia de racionais d(xn , yn ) = |xn yn | pode no ter limite nos a e ue a a racionais, mas sim nos reais. E fcil provar, porm, que a seqncia de racionais d(xn , yn ), n N, uma seqncia de e ue e ue Cauchy na mtrica d. Para tal, note que, pela desigualdade triangular, e d(xi , yi ) d(xi , xj ) + d(xj , yj ) + d(yj , yi ) e, portanto, Como o x e y so seqncias de Cauchy o lado direito pode ser feito Q+ para qualquer > 0, desde que i e j sejam a ue feitos grandes o suciente. Com isso, sabemos que a seqncia d(xn , yn ), n N, pertence a alguma classe de equivalncia que denotaremos por ue e [d(x, y)]. Com isso, podemos agora denir uma mtrica em R por e d([x], [y]) = [d(x, y)] . E. 20.57 Exerccio. Mostre que essa denio no depende dos particulares representantes x e y que tomarmos nas classes ca a [x] e [y]. E. 20.58 Exerccio. Mostre que d dene uma mtrica em R. e Com os ingredientes de acima (a deniao de R, de ordem em R e da mtrica d em R), podemos denir as nooes de c e c convergncia em R e de seqncia de Cauchy em R de modo anlogo ao que zemos anteriormente: Uma seqncia de e ue a ue reais [x]n [xn ], n N, converge ao real [x] se para todo [] > 0 existir um inteiro N tal que d([x]n , [x]) < [] sempre que n > N . Uma seqncia de reais [x]n dita ser uma seqncia de Cauchy em relaao ` mtrica d se para todo [] > 0 ue e ue c a e existir um inteiro N tal que d([x]m , [x]m ) < [] sempre que m > N e n > N . Coloca-se ento a grande questo, ser R completo? Ou seja, ser toda a seqncia de Cauchy de reais convergente a a a a ue a um n mero real? u |d(xi , yi ) d(xj , yj )| d(xi , xj ) + d(yj , yi ) .
Cap tulo 20
988/1628
Provemos que sim. Seja [x]n [xn ], n N, uma seqncia de Cauchy em relaao ` mtrica d. Ento para qualquer ue c a e a [] R existir inteiro N () a d([x]m , [x]m ) = [|xm xn |] < [] (20.B.7) sempre que m > N () e n > N (). Vamos tomar [] um racional ou seja, suporemos que exista em [] uma seqncia ue constante i = Q+ . A condiao (20.B.7) signica que existem seqncias de racionais |xm xn | e um inteiro I() tais que |xm xn | < c ue i i i i para todos m > N () e n > N () e i > I(). Como cada xm uma seqncia de Cauchy de racionais, existe para todo Q+ um inteiro Jm () tal que |xm xm | < e ue j i sempre que i, j > Jm (). Vamos ento tomar = 1/k, k N e denir, em analogia ao que foi feito na demonstraao do Teorema 20.1, pgina a c a 960, a(k) := max N (1/l), 1 l k + 1 , e xk = xb(k) . Teremos, |xk xk | = xb(k) xb(k )
a(k) a(k ) a(k)
b(k) := max
max I(1/l), Ja(l) (1/l) , 1 l k + 1
xb(k) xb(k ) + xb(k ) xb(k )
a(k)
a(k)
a(k)
a(k )
2 max{1/k, 1/k } .
e ue a u Isso prova que {xk }kN uma seqncia de Cauchy de racionais. Portanto a ela est associado o n mero real [x]. m Resta-nos provar que [x ] converge a [x] em d quando m . De fato d([x], [xm ]) = [d(x, xm )] e d(xk , xm ) = |xk xm | = |xb(k) xm | |xb(k) xk k k k
a(k) a(k) a(k)
| + |xk
a(k)
xm | < 2/l k
para qualquer l N, desde que m > a(l) e k > b(l). Isso prova que para m > a(l) tem-se [{d(x, xm )}mN ] = [0], demonstrando que [xm ] converge a [x] em d. Isso demonstrou que R completo. e * E poss provar que podemos operar com esse novo conjunto de n meros da mesma forma como operamos com os vel u racionais, ou seja, podemos denir sua soma, seu produto, sua razo etc. Por exemplo, a soma de duas seqncias de a ue Cauchy a e b a seqncia de Cauchy c dada por ci = ai + bi , i N e fcil provar que essa seqncia de Cauchy, assim e ue e a ue e como poss provar que , se trocarmos a ou b por um outro elemento da mesma classe de equivalncia, obteremos e vel e uma outra seqncia de Cauchy d da mesma classe de equivalncia da seqncia c. Fora isso o conjunto dos reais assim ue e ue denido provido de uma relaao de ordem total x y. e c
Como essas propriedades so conhecidas no entraremos nos detalhes de sua demonstraao (mas no dif para o a a c a e cil estudante entender como se faz). Gostar amos apenas de enfatizar, recordando, como a construao dos reais foi feita: c partimos do conjunto dos racionais, denimos uma mtrica sobre os mesmos e denimos os conceitos de seqncias e de e ue seqncias de Cauchy (em relaao ` mtrica dada). Denimos tambm o conceito de convergncia e constatamos que ue c a e e e seqncias de Cauchy de racionais no convergem sempre a racionais. Denimos ento no espao de todas as seqncias ue a a c ue de Cauchy (em relaao ` mtrica dada) uma relaao de equivalncia e assim o conjunto de classes de equivalncia dene c a e c e e uma nova classe de objetos com os quais, como armamos, podemos operar como n meros. Esses so os n meros reais. u a u
O procedimento de completar os racionais atravs da criaao das classes de equivalncia de suas seqncias de Cauchy e c e ue chamado de completamento cannico doa racionais e foi inventado por Cantor33 (seguindo idias de Weierstrass34 ). A e o e construao de n meros reais acima devida a Cantor (h uma outra construao equivalente devida a Dedekind35 , a c u e a c dos chamados cortes de Dedekind). O completamento de Cantor importante, pois seu mtodo pode ser estendido a e e qualquer espao mtrico no completo para a obtenao de uma classe de objetos ainda maior. c e a c
33 Georg 34 Karl
Ferdinand Ludwig Philipp Cantor (18451918). Theodor Wilhelm Weierstrass (18151897). 35 Julius Wilhelm Richard Dedekind (18311916).
Cap tulo 20
989/1628
A construao acima indicou um procedimento de completamento dos racionais a partir de suas seqncias de Cauchy. c ue E importante frisar, porm, que o conceito de seqncia de Cauchy depende de uma funao mtrica espec e ue c e ca dada previamente. Assim, toda a construao do completamento depende da mtrica usada. O que acontece se trocarmos a c e mtrica usada nos racionais? Podemos, ao proceder o completamento de Cantor, obter uma classe de objetos diferente e da dos reais? A resposta positiva. e Como curiosidade vamos mostrar que h outros completamentos poss a veis dos n meros racionais se mudarmos a u mtrica usada. Seguiremos aqui parcialmente [53], onde uma outra construao poder ser encontrada. e c a Sabemos do teorema fundamental da aritmtica que todo n mero natural no-nulo pode ser escrito de forma unica e u a como um produto de n meros primos. Para todo n mero racional r = 0 temos conseq entemente a decomposiao unica u u u c em fatores primos wp (r) pi i , r = (1)
i
Outros Completamentos dos Racionais. N meros p-dicos u a
onde os pi so n meros primos e wp (r) Z o expoente do primo p na recomposiao do racional r. O produto acima a u e c envolve todos os primos, porm, apenas para um n mero nito deles tem-se wpi (r) = 0 (por que?). e u Para um n mero racional r = 0 e para um primo p (que xamos daqui por diante), seja a funao wp (r) que d o u c a expoente de p na decomposiao ( nica) de r em fatores primos dada acima. Vamos com o uso de wp denir a seguinte c u funao p : Q Q+ : c w (s) p p , se s = 0, s Q , p (s) := 0, se s = 0 . A funao p tem as seguintes propriedades: c 1. p (s) 0 para todo s Q. 2. p (s) = 0 se e somente se s = 0. 3. p (rs) = p (r)p (s) para dois racionais quaisquer r e s. 4. Para dois racionais quaisquer r e s tem-se p (r + s) max{p (r), p (s)} e portanto p (r + s) p (r) + p (s). Demonstraremos apenas o item 4, deixando os demais como exerc (fcil). O item 4 uma conseqncia imediata cio a e ue da seguinte propriedade, que provaremos abaixo: para qualquer primo p e quaisquer racionais r e s vale wp (r + s) min{wp (r), wp (s)}. Para provar essa desigualdade escrevemos r e s em sua decomposiao em fatores primos: c r = (1)
i
pi
wpi (r)
s = (1)
i
pi
wpi (s)
Assim, r+s = (1)

i
pi
wpi (r)
+ (1)
i
pi
wpi (s)
(20.B.8) Multiplicando e dividindo por

i min{wpi (r), wpi (s)} wpi (r)min{wpi (r), wpi (s)} wpi (s)min{wpi (r), wpi (s)}
pi
min{wpi (r), wpi (s)}
camos com
r+s =
i
pi
(1)
i
pi
+ (1)
i
pi
Cap tulo 20
990/1628
u Como obviamente (por que?) wpi (r) min{wpi (r), wpi (s)} 0 e wpi (s) min{wpi (r), wpi (s)} 0, segue que o n mero j entre colchetes um inteiro, tendo uma decomposiao em fatores primos da forma () e a pj , onde os i so positivos c
j
ou nulos (pois o n mero inteiro). Assim, u e r+s = provando que wpi (r + s) = min{wpi (r), wpi (s)} + i min{wpi (r), wpi (s)}u , para todo primo pi , o que completa a prova que quer amos. Em funao das propriedades demonstradas no ultimo exerc c cio, podemos, com o uso dessa funao p , construir uma c mtrica em Q, que denotaremos por dp , dada por e dp (a, b) := p (a b) para racionais a e b. E. 20.59 Exerccio. Demonstre, usando as propriedades 1-4 de p mencionadas acima, que esta funo de fato uma ca e mtrica, ou seja, que satisfaz e 1. dp (r, s) Q+ para todo r, s Q. 2. dp (r, s) = 0 se e somente se r = s. 3. Para todo a e b Q vale dp (a, b) = dp (b, a). 4. Para todo a, b e c Q vale dp (a, b) dp (a, c) + dp (c, b). pi
i min{wpi (r), wpi (s)}+i
Tambm aqui podemos denir a noao de seqncia de Cauchy em relaao ` mtrica dp . Uma seqncia a de elementos e c ue c a e ue de Q dita ser uma seqncia de Cauchy (em relaao ` mtrica dp ) se para todo Q+ , > 0, existir um n mero e ue c a e u natural N () (eventualmente dependente de ) tal que dp (ai , aj ) < para todo i e j tais que i > N () e j > N (). Uma seqncia a em Q converge para um elemento b Q no sentido da mtrica dp se para todo Q+ existir um ue e n mero natural N () (eventualmente dependente de ) tal que dp (b, ai ) < para todo i > N (). u Tambm neste caso podem ser exibidas seqncias de Cauchy de racionais que no convergem no sentido da mtrica e ue a e dp a um outro racional. O conjunto Q, assim, no completo em relaao ` mtrica dp . Podemos ento complet-lo a e c a e a a usando o procedimento de completamento de Cantor: tomamos o conjunto Cp de todas as seqncias de Cauchy de ue n meros racionais em relaao ` dp e constru u c a mos em Cp uma relaao de equivalncia da seguinte forma. Dizemos que c e duas seqncias de Cauchy a e b so equivalentes se a seqncia dp (ai , bi ), converge a zero quando i . ue a ue Sabemos que o conjunto Cp pode ento ser escrito como uma unio disjunta de suas classes de equivalncia pela a a e relaao acima. Dene-se ento uma nova classe de n meros, denominados nmeros p-dicos, como sendo o conjunto c a u u a dessas classes de equivalncia ou, se quiserem, como sendo o conjunto formado escolhendo-se um elemento de cada classe e de equivalncia, ou seja, por uma seqncia de Cauchy de n meros racionais em relaao ` mtrica dp . e ue u c a e E poss vel provar que podemos operar com esse novo conjunto de n meros da mesma forma como operamos com u os racionais, ou seja, podemos denir sua soma, seu produto, sua razo etc. (os mesmos formam um corpo). Para a a deniao de corpo vide Seao 2.1.4, pgina 72. c c a Para cada primo p, o conjunto dos n meros p-dicos, denominado Qp , distinto do conjunto dos reais. Possui, porm, u a e e em comum com os reais o fato de ambos terem os racionais como subconjunto denso. Note, por exemplo, que a seqncia de n meros racionais an = pn , n N, diverge na reta real mas, no conjunto Qp ue u a mesma seqncia converge a zero (no sentido de dp ), sendo que precisamente o oposto ocorre em relaao ` seqncia ue c a ue bn = pn , n N. u a E. 20.60 Exerccio. Constate a veracidade das armativas do ltimo pargrafo.
Cap tulo 20
991/1628
E. 20.61 Exerccio. Verique que, em relao a d3 , a seqncia de nmeros positivos sn = ca ue u

a=0
2 3a converge ao nmero u
1 (!). Sugesto: mostre que sn = 3n+1 1. Aps isso mostre que d3 (sn , 1) = 3 (sn + 1) = 3(n+1) , e conclua que a o sn 1. De um certo ponto de vista, os n meros p-dicos formam uma classe razovel de n meros que poderiam, em u a a u princ pio, substituir os reais em aplicaoes, dado que ambos podem ser aproximados por racionais (no sentido da c mtrica d no caso dos reais e da mtrica dp no caso dos p-dicos). Os conjuntos Qp possuem propriedades extremamente e e a curiosas, tanto do ponto de vista algbrico quando do ponto de vista topolgico, algumas das quais vimos nos exerc e o cios acima. Aplicaoes signicativas dos n meros p-dicos em F c u a sica so, no momento, desconhecidas. Sugestes de seu uso, a o porm, j foram apresentadas. e a
20.C
Aproximaes para co
Mtodos para calcular aproximaoes para o valor de so procurados desde a Antig idade. Comentam os historiadores e c a u da Matemtica que a mais antiga referncia ao assunto talvez seja encontrada em um papiro eg a e pcio, denominado papiro de Rhind, de cerca de 1650 A.C., o qual fornecia a aproximaao 4(8/9)2 3.1605 para . Arquimedes36 foi provavelmente c o primeiro a propor um procedimento sistemtico de aproximaao, que consistia em aproximar um c a c rculo de dimetro 1, a e per metro , por pol gonos regulares inscritos e circunscritos. O per metro de um pol gono regular pode ser computado com o uso de consideraoes geomtricas simples37 . Os per c e metros dos pol gonos regulares inscritos fornecem limites inferiores para , enquanto que os per metros dos pol gonos regulares circunscritos fornecem limites superiores. Usando c hexgonos (vide Figura 20.C.2), por exemplo, chega-se facilmente a 3 < < 2 3, o que fornece as aproximaoes a 3 < < 3, 46, as quais so ainda um tanto grosseiras. a
Figura 20.C.2: C rculo, hexgono inscrito e circunscrito. a
1 Usando pol gonos regulares de 96 lados, Arquimedes concluiu que 3 10 < < 3 7 , o que fornece as aproximaoes c 71 3, 0140845 < < 3, 1428571 em base decimal. Como se observa, o limite superior fornece com o valor correto das duas primeiras casas decimais aps a v o rgula. Fragmentos incompletos de sua obra indicam que Arquimedes teria chegado a determinar a aproximaao 3, 1416 para o valor de , usando pol c gonos regulares ainda maiores.
O mtodo de Arquimedes foi empregado na Europa at meados do sculo XVII para aproximar o valor de . Ludolph e e e van Ceulen38 empreendeu boa parte da sua vida aperfeioando o mtodo de Arquimedes, chegando, pouco antes de sua c e morte, a estimar o valor de com o uso de pol gonos regulares de 262 lados, o que fornece com 32 casas decimais de preciso. a Vrias outras aproximaoes foram empregadas para aproximar . Listemos algumas. a c
36 Arquimedes 37 Vide
de Siracusa (ci. 287 A.C. ci. 212 A.C.). [40], onde uma descriao, mais detalhada do mtodo de Arquimedes pode ser encontrada. c e 38 Ludolph van Ceulen (15391610).
Cap tulo 20
992/1628
1. Aproximaao de Wallis39 , ou Frmula de Produto de Wallis, para , de 1665: c o = lim 2

n
2 2 4 4 6 6 8 8 10 10 4k 2 24n+1 (n!)4 = 2 = lim . n (2n + 1) [(2n)!]2 4k 2 1 1 3 3 5 5 7 7 9 9 11 k=1
Para uma demonstraao simples dessa frmula usando integrais, vide [168]. c o 2. Aproximaao de Gregory40-Leibniz41 para , de 1671: c
n
= lim 4
n k=0
(1)k 1 1 1 1 = 4 1 + + 2k + 1 3 5 7 9
Essa srie provem do fato que = 4 arctan(1). O arco-tangente pode ser calculado pela srie de Taylor42 e e arctan(x) = fornecendo, assim, a aproximaao dada acima para . c
1 1 1 e da Um comentrio histrico que a identidade = 4 1 1 + 5 7 + 9 por vezes atribu a Leibniz, que a a o e 3 divulgou em 1674, trs anos aps a descoberta por Gregory da srie de Taylor da funao arco-tangente. Historiadores e o e c comentam que Gregory provavelmente j a conhecia. Todavia, essa identidade j seria conhecida por matemticos a a a hindus sculos antes. e k=0
(1)n x2k+1 . 2k + 1
3. Aproximaao de Newton43 . Usando uma identidade como por exemplo = 6 arcsen(1/2), Newton empregou a c srie de Taylor da funao arco-seno e c arcsen(x) = x + [(2n 1)!!]2 2n+1 x (2n + 1)! n=1
para determinar aproximaoes para . Disso resulta a identidade (prove-a!) c = 3+ 3 (2n 1)! . 24n1 n(2n + 1) [(n 1)!]2 n=1
(20.C.9)
Newton calculou as primeiras 15 casas decimais de (em data incerta), para o que necessrio somar cerca de 40 e a termos da srie (20.C.9). Newton o fez, segundo confessou, por no ter muito o que fazer ` poca. e a ae Como, para n grande, (2n 1)! 22n n2n e [(n 1)!]2 n2n , os termos da srie (20.C.9) decaem como 22n . e Machin encontrou uma outra identidade que permite uma convergncia mais rpida. e a 4. Aproximaao de Machin44 para , de 1706: c
n
= lim
k=0
(1)n 2k + 1
16 4 52k+1 2392k+1
Essa srie provem do fato, demonstrado por Machin, que e = 16 arctan(1/5) 4 arctan(1/239) . Usando-se a srie de Taylor da funao arco-tangente dada acima, obtm-se a srie de Machin para . e c e e
39 John
Wallis (16161703). Wallis foi um dos pioneiros do Clculo Diferencial e Integral e, uma curiosidade, foi o inventor do s a mbolo . Gregory (16381675). 41 Gottfried Wilhelm von Leibniz (16461716). 42 Brook Taylor (16851731). A srie de Taylor da funao arco-tangente foi, em verdade, descoberta por Gregory em 1671. e c 43 Isaac Newton (16431727). 44 John Machin (16801751).
40 James
Cap tulo 20
993/1628
5. Aproximaao de Euler45 para por fraoes cont c c nuas. Euler demonstrou que = 4 12 1+ 32 2+ 52 2+ 72 2+ 92 2+ 112 2+ .. . 1 1+ 2+ 3+ 4+ 5+ 1 2 3 4 5 6+ que tambm uma aproximaao para e por racionais. e e c Usando a expanso de Euler para a funao cotangente dada em (11.236), pgina 552, fcil obter tambm (tome a c a e a e x = 1/4) 8 , = 4 16n2 1 n=1 srie esta que converge lentamente. Note que as aproximaoes de Wallis, Gregory, Newton, Machin e Euler acima e c so aproximaoes a por n meros racionais. a c u 6. Euler tambm obteve (no ano de 1735) uma srie de identidades envolvendo sries innitas do tipo e e e m = 1, 2, 3 etc., as quais podem ser usadas para calcular . As primeiras identidades so a 2 = 6
k=1 k=1 k=1
Mencionamos en passant que Euler tambm obteve a seguinte expresso para e em termos de fraoes cont e a c nuas: e = 2+ ,
6 .. .
1 , com k 2m
1 , k2
4 = 90
k=1
1 , k4
6 = 945
k=1
1 , k6
8 = 9450
k=1
1 , k8
10 = 93555
1 k 10
etc. Tais relaoes so bem conhecidas da teoria das sries de Fourier (vide [50]). Como o lado esquerdo das c a e igualdades acima envolve potncias de , essas sries no fornecem aproximaoes a por racionais. As ultimas e e a c sries ` direita convergem de modo relativamente rpido. Apenas com os cinco primeiros termos da ultima srie ` e a a e a direita obtm-se a aproximaao 3, 141592647 para , cujos primeiros sete d e c gitos aps a v o rgula esto corretos. Para a obter-se uma preciso anloga com a primeira srie ` esquerda, preciso somar cerca de cem milhes de termos, a a e a e o como fcil de vericar usando um programa de computador (faa!). e a c A frmula geral para as somas acima46 a seguinte (para a demonstraao, vide pgina 504): o e c a
k=1
1 k 2m
(1)m+1 22m1 B2m 2m , (2m)!
m = 1, 2, 3, . . . ,
(20.C.10)
onde Bn so os chamados nmeros de Bernoulli47 , denidos pela srie de Taylor a u e x = ex 1

45 Leonhard 46 At e
Bn n x . n! n=0
1 kn
Euler (17071783). P a presente data, no so conhecidas expresses fechadas para somas como a a o k=1 47 Jacob Bernoulli (16541705).
para o caso em que n e mpar, n 3.
Cap tulo 20
994/1628
Essa deniao tambm de Euler (a deniao original de Bernoulli, publicada postumamente em 1713, era outra c e e c (vide [168])). Os n meros de Bernoulli satisfazem Bn = 0 para n u mpar, exceto para n = 1, sendo B0 = 1 e B1 = 1/2. Os n meros de Bernoulli podem ser calculados recursivamente pela identidade u
n1 j=0
n j
Bj = 0 ,
n > 1.
Os primeiros so B0 = 1, B1 = 1/2, B2 = 1/6, B4 = 1/30, B6 = 1/42, B8 = 1/30. O leitor interessado a poder encontrar mais detalhes sobre os fatos acima envolvendo n meros de Bernoulli na pgina 504 e seguintes a u a ou em vrios textos, por exemplo em [168] e [50]. Nesse ultimo texto, a relaao (20.C.10) provada usando sries a c e e de Fourier. Como os termos da srie do lado esquerdo de (20.C.10) decaem muito rapidamente quando n , exceto o termo e com k = 1, inferimos que 1 (1)n+1 (2n)! 2n = lim . n 22n1 B2n 7. Aproximaao de Ramanujan48 para , de 191449 : c = lim 9.801 8
n n
k=0
(4k)! [1.103 + 26.390 k] (k!)4 3964n
Devido ` presena do fator a c
8, esta no uma aproximaao a por racionais. a e c 1 , onde n pn
8. Aproximaao de Borwein e Borwein50 para , de 1987: = lim c

n X (1) (6k)! k
pn := 12
k=0
h i 212.175.710.912 61 + 1.657.145.277.365 + k 13.773.980.892.672 61 + 107.578.229.802.750 . h i3k+3/2 3 (k!) (3k)! 5.280 236.674 + 30.303 61
Aqui aplica-se o mesmo comentrio de acima: devido ` presena do n mero a a c u a aproximaao acima no uma aproximaao a por racionais. c a e c
61 e da potncia 3/2 no denominador, e
A aproximaao de Borwein e Borwein converge a de modo impressionantemente rpido. J a primeira aproximaao, c a a c 1/p0 , fornece corretamente os primeiros 24 d gitos de na base decimal! Cada termo seguinte da seqncia acrescenta ue aproximadamente 25 d gitos corretos ao valor de na base decimal. No caso da aproximaao de Ramanujan a convergncia c e um pouco mais lenta: cada termo da seqncia acrescenta aproximadamente 8 d e ue gitos corretos ao valor de na base decimal. As aproximaoes de Wallis e Gregory so extremamente lentas. Usando-as, um super-computador do in dos c a cio anos 1990 levaria cerca de 100 anos para computar apenas os primeiros 100 d gitos corretos de na base decimal. A aproximaao de Borwein e Borwein baseia-se em trabalhos de Ramanujan sobre as chamadas equaoes modulares. c c A frmula de Machin (e ligeiras variantes da mesma) converge mais rapidamente que as de Wallis e Gregory (justio que!) e foi usada desde o sculo XVIII at a dcada de 1970 para clculos de (manuais ou com computadores). e e e a Em 1844, Dase51 calculou corretamente, usando a frmula de Machin, as primeiras 205 casas decimais de . O clculo o a foi feito ` mo (!) e durou alguns meses. O feito de Dase foi superado em 1873 por Shanks52 , que calculou 707 casas a a decimais de . O clculo tambm foi feito ` mo e custou-lhe 20 anos de trabalho (!). Infelizmente, porm, Shanks a e a a e cometeu erros que resultaram em que seus ultimos 80 d gitos estavam incorretos. Isso s foi percebido 73 anos depois o
Aiyangar Ramanujan (18871920). aproximaao de Ramanujan surgiu em Modular Equations and Approximations to . S. Ramanujan. The Quarterly Journal of Pure c and Applied Mathematics. 45, 350372 (1914). 50 Jonathan M. Borwein e Peter B. Borwein so irmos. Para mais detalhes sobre seu trabalho sobre a aproximaao de , vide Pi and a a c the AGM. A Study in Analytic Number Theory and Computational Complexity. Jonathan M. Borwein e Peter B. Borwein. Editora John Willey and Sons. inc. 1986. 51 Zacharias Dase (18241861). 52 Willian Shanks (18121882).
49 A 48 Srinivasa
Cap tulo 20
995/1628
(!), em 1946, por D. F. Ferguson, que computou corretamente os primeiros 620 d gitos decimais de , tambm ` mo, e a a entre maio de 1944 e julho de 1946, usando a identidade (que ele mesmo provara) = 12 arctan 1 4 + 4 arctan 1 20 + 4 arctan 1 1985 .
Esse foi o ultimo record obtido com clculos manuais. Ferguson prosseguiu ainda, agora com o uso de uma calculadora a de mesa, at atingir a marca de 808 d e gitos, todos corretos. Com o advento dos computadores eletrnicos tais clculos deixaram de ser feitos por meios romnticos. O primeiro o a a clculo computacional de foi feito em 1949 por von Neumann53 e colaboradores usando a frmula de Machin no lendrio a o a computador ENIAC (considerado por muitos o primeiro computador eletrnico. Vide [122]), com suas 18 mil vlvulas o a eltricas. Esse clculo forneceu 2.037 d e a gitos decimais de e consumiu 70 horas. Em 1987, usando a aproximaao de Borwein e Borwein, foi calculado por um super-computador com uma preciso c a de cem milhes de casas decimais. Essa preciso foi aumentada desde ento. Em 1999, era conhecido com 3 236 = o a a 206.158.430.208 (cerca de duzentos bilhes) de d o gitos decimais. O feito de Y. Kanada e D. Takahashi e foi alcanado e c com dois algoritmos distintos (para comparaao), o dos irmos Borwein e outro denominado Gauss-Legendre. O primeiro c a consumiu 46 horas de computaao em um super-computador e o segundo 37 horas. O rcorde atual, obtido em 2003, c e e dos mesmos autores: 1,2411 trilho de d a gitos decimais, consumindo 600 horas de um supercomputador. Em 1996 Bailey, Borwein e Ploue publicaram um algoritmo que permite determinar o n-simo d e gito hexadecimal de sem o conhecimento dos d gitos precedentes. Em 1997 Ploue descobriu um algoritmo para determinar o n-simo e d gito de em qualquer base, tambm sem o conhecimento dos d e gitos precedentes. Outras informaoes histricas, especialmente sobre esses desenvolvimentos mais recentes, podem ser encontradas em c o The quest for Pi, de D. H. Bailey, J. M. Borwein, P. B. Borwein e S. Ploue. The Mathematical Intelligencer 19, 50-57 (1997). Uma apresentaao histrica mais detalhada e informaoes mais atuais podem ser encontradas em History c o c of the formulas and algorithms for , de Jes s Guillera Goyanes (arXiv:0807.0872 [math.HO], julho de 2008) . u Ainda que no passado a determinaao de valores aproximados de tivesse importncia em reas como a F c a a sica, a Astronomia e a Engenharia, dicilmente clculos ultra-precisos de podem ter relevncia em aplicaoes: com apenas 37 a a c d gitos decimais poss computar o per e vel metro de um c rculo com o raio do universo conhecido (cerca de 1, 3 1026 m) com uma preciso equivalente ao dimetro de um tomo de hidrognio (cerca de 1, 0 1010 m). H, porm, um certo a a a e a e interesse matemtico em tais clculos, envolvendo conjecturas sobre a distribuiao dos d a a c gitos decimais de . Valores precisos de so tambm uteis em simulaoes numricas. Ainda assim, hoje em dia a prtica de clculos ultra-precisos a e c e a a de tem motivaao predominantemente esportiva. c
53 John
von Neumann (19031957).

CAP 20 - Espaços Métricos

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

CAP 20 - Espaços Métricos

Transféré par

Droits d'auteur :

Formats disponibles

Cap tulo 20 Espaos Mtricos c e

Baptiste Joseph Fourier (17681830).

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Devido `s bem-conhecidas relaoes de ortogonalidade a c 1 2

sabemos que, as constantes an da decomposiao de Fourier acima so dadas por c a

Mtricas e Espaos Mtricos e c e

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

com p 1 so igualmente mtricas. a e

a ca E. 20.7 Exerccio. Seja X um conjunto no-vazio e considere a seguinte funo dt : X X R: 0 , se x = y , dt (x, y) := 1 , se x = y .

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Antes de prosseguirmos, recordemos uma deniao bsica. c a

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

n N, uma seqncia de Cauchy e que a mesma converge ao nmero racional e ue u

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

= Como o n mero u de Cauchy.

i+2 2 1 < (i + 1)! i + 1 (i + 1)!

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

para todo i N. Para i = 2 a relaao (20.6) ca (verique!) c 5 p 17 < . 2 q 6 (20.7)

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

|fn (x) f (x)|dx = 0 ento a

outro modo ter-se-ia lim

|fn (x) f (x)|dx = 0. Calcule

|fn (x) f (x)| dx e mostre explicitamente que o limite

Ferdinand Ludwig Philipp Cantor (18451918). Theodor Wilhelm Weierstrass (18151897).

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Figura 20.1: Grco das funoes fn . a c

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

fnk (x) fn1 (x) = (Justique!). Logo,

fnl+1 (x) fnl (x) .

|fnk (x) fn1 (x)|

|fnl+1 (x) fnl (x)|

sup |fnl+1 (x) fnl (x)| = 1 1 = 1 k1 l 2 2

< Daqui, conclu mos que para cada x [a, b],

|f (x) fn1 (x)|

ou seja, |f (x) fn1 (x)| < |f (x) fnk (x)| + 1 .

sup |f (x) fn1 (x)| .

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

Ferdinand Ludwig Philipp Cantor (18451918).

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

para duas seqncias de Cauchy x = {xi }iN e y = {yi }iN X. ue

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

max I(1/q), 1 q n , max J(r) (1/r), 1 r n

d(xn , xm ) = d x(n) , x(m) Agora, para m < n valer a

pois, por (20.14), tem-se tambm (n) J(m) (1/m). e

o que estabelece que

JCABarata. Curso de F sica-Matemtica a

Verso de 4 de abril de 2009. a

= d [x], E(xN ()+1 )) = lim d(xn , xN ()+1

= lim d(xn , xN ()+1 )

lim d(xn , xN ()+1 ) < .