Cap tulo 24 Espa cos M etricos

Conte udo
M etricas e Espa cos M etricos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24.1.1 Completeza e o Completamento Can onico . . . . . . . . . . . . . . . . . . . . . . . . . . 24.2 A No c ao de Topologia de Espa cos M etricos . . . . . . . . . . . . . . . . . . . . . . . . . 24.3 Pseudo-M etricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24.4 Espa cos de Fun c oes Limitadas e Completeza . . . . . . . . . . . . . . . . . . . . . . . . 24.5 Espa cos de Banach e de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24.5.1 Espa cos de Banach em Espa cos de Seq u encias . . . . . . . . . . . . . . . . . . . . . . . . 24.6 Teorema do Melhor Aproximante em Espa cos Normados Uniformemente Convexos 24.7 Exerc cios Adicionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . APENDICES . . . . . . . . . . . . . . . . . . . . . . 24.A N umeros Reais e p- adicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24.B Aproxima c oes para . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24.1 . . . . . . . . . . . . . . . . . . . . . . . . 1166 . 1173 1180 1183 1185 1188 . 1190 1201 1206 1209 1209 1215

odos estamos familiarizados com a no ca o usual e intuitiva de dist ancia entre pontos da reta real R, do plano bidimensional R2 ou do espa co tridimensional R3 . O estudante h a de reconhecer que boa parte do material tratado em cursos de c alculo de fun co es de uma ou v arias vari aveis, reais ou complexas, como as no co es de deriva ca o e integra ca o, assenta-se sobre no co es como as de converg encia e limite, as quais, por sua vez, assentam-se sobre a no ca o intuitiva de dist ancia entre pontos. Assim, por exemplo, dizemos que uma seq u encia xn de pontos na reta real converge a um ponto x se a dist ancia |xn x| entre xn e x torna-se menor e menor ` a medida que n cresce. Mais adiante faremos essas id eias mais precisas e gerais. Ao longo do seu desenvolvimento, especialmente ap os o s eculo XIX, a Matem atica reconheceu a import ancia de abstrair e generalizar a no ca o intuitiva de dist ancia de modo a aplic a-la a outros tipos de conjuntos que n ao os familiares espa cos de dimens ao nita R, R2 ou R3 . Esse desenvolvimento conduziu ` as no co es de m etrica, de espa cos m etricos e de espa cos m etricos completos, as quais deniremos mais adiante, e permitiu aplicar muitas das no c oes geom etricas e instrumentos anal ticos, originalmente desenvolvidos em espa cos mais familiares, para conjuntos menos acess veis ` a intui ca o, como por exemplo espa cos vetoriais de dimens ao innita, tais como espa cos de fun co es ou de seq u encias. Uma importante aplica ca o dessas id eias ` a teoria das equa co es diferenciais e integrais ser a vista no Cap tulo 25, quando trataremos do Teorema do Ponto Fixo de Banach. Lembramos ao estudante que o estudo de espa cos de dimens ao innita n ao e uma mera abstra ca o desprovida de uso ou interesse pr atico. Ao se decompor uma fun ca o f , cont nua, diferenci avel e peri odica de per odo 2 , em sua s erie de Fourier1 , eint f (t) = an 2 n= tal como ocorre, por exemplo, no problema da corda vibrante, o que estamos fazendo e precisamente expressar uma tal fun ca o em termos de componentes em uma base de um espa co de dimens ao innita, no caso a base formada pelas eint innitas fun co es com n Z. 2 Para o estudo de espa cos de dimens ao innita, como o desse exemplo, seria muito importante se pud essemos reter algumas das no co es geom etricas familiares em espa cos de dimens ao nita. O emprego de id eias geom etricas an alogas aquelas encontradas nos espa ` cos R, R2 ou R3 e de grande import ancia na tarefa de explorar espa cos de dimens ao innita, como o espa co das fun co es cont nuas peri odicas de per odo 2 , justamente por trazerem tais espa cos para mais perto da nossa intui ca o. Por raz oes evolutivas, o c erebro humano s o e capaz de produzir e desenvolver imagens em uma, duas ou tr es dimens oes e, portanto, para o estudo de espa cos com mais dimens oes faz-se necess ario dispor de instrumentos
1 Jean

Baptiste Joseph Fourier (17681830). A teoria das s eries de Fourier e desenvolvida no Cap tulo 34, p agina 1625.

1165

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1166/2069

abstratos que permitam desenvolver racioc nios o mais pr oximo poss vel daqueles empregados em espa cos de dimens ao 1, 2 ou 3. Devido ` as bem-conhecidas rela co es de ortogonalidade 1 2
2 0

ei(nm)t dt = n, m

sabemos que, as constantes an da decomposi ca o de Fourier acima s ao dadas por

2

an =
0

eint f (t) dt , 2

e podem ser interpretadas geometricamente como as proje co es, ou componentes, da fun ca o f na dire ca o das fun co es int e 2 3 . (A no c a o de proje c a o, ou componente, de um vetor e familiar em R ou em R ). Como e bem sabido (para a 2 2 teoria das s eries de Fourier, vide [69]), vale tamb em a rela ca o, conhecida como Identidade de Parseval ,
2 0

f (t) dt

n=

|a n |2 .

Sendo o lado direito a raiz quadrada da soma do quadrado das componentes ortogonais de f , podemos interpretar o lado esquerdo como o m odulo ou comprimento da fun ca o f (entendida como vetor no espa co de dimens ao innita das fun co es peri odicas de per odo 2 ), tal como no Teorema de Pit agoras3 em R2 ou R3 . Se levada adiante, essa analogia geom etrica nos permite denir uma poss vel no ca o de dist ancia entre duas fun co es cont nuas peri odicas f e g , que denotaremos por4 d2 (f, g ), como o m odulo (ou comprimento) da diferen ca entre duas fun co es, tal como se faz em espa cos de dimens ao nita:
2

d2 (f, g ) :=
0

f (t) g (t) dt .

Com esse instrumento em m aos podemos agora empregar conceitos como o de converg encia e limite de seq u encias no espa co de dimens ao innita das fun co es cont nuas peri odicas e, eventualmente, prosseguir desenvolvendo em tais espa cos outros ingredientes do C alculo e da An alise. Para implementar tais desenvolvimentos, vamos no presente cap tulo introduzir algumas importantes no co es gerais, como as de m etrica, de espa co m etrico, de seq u encias de Cauchy em espa cos m etricos, de completamento de espa cos m etricos e de topologia de espa cos m etricos, no co es essas que provaram ser de grande import ancia na tarefa de levar os instrumentos familiares de abordagem matem atica de espa cos de dimens ao nita a espa cos de dimens ao innita e outros.

24.1

M etricas e Espa cos M etricos

As no co es de M etrica e de Espa co M etrico foram introduzidas por Fr echet5 em sua tese de doutorado Sur quelques points du calcul fonctionnel, apresentada, sob supervis ao de Hadamard6 , ` a Ecole Normale Sup erieure de Paris em 1906. A express ao espa co m etrico, no entanto, n ao foi sua inven ca o, tendo sido cunhada por Hausdor7 em 1914. Vamos a essas importantes deni co es. M etricas

Uma quest ao importante que se coloca e a de identicar quais propriedades b asicas a no ca o intuitiva de dist ancia possui para permitir seu emprego em v arias inst ancias. O desenvolvimento da Matem atica conduziu a uma identica ca o
2 Marc-Antoine 3 Pit agoras

Parseval des Ch enes (17551836). de Samos (ci. 569 A.C. ci. 475 A.C.). 4 A raz ao de empregarmos o sub- ndice 2 na deni ca o de d2 (f, g ) ser a esclarecida mais adiante. 5 Maurice Ren e Fr echet (18781973). Fr echet tamb em introduziu a no ca o de compacidade. 6 Jacques Salomon Hadamard (18651963). 7 Felix Hausdor (18681942).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1167/2069

desses ingredientes em um conjunto de quatro propriedades, as quais resumem tudo o que e essencialmente necess ario na demonstra ca o de resultados nos quais a no ca o de dist ancia e empregada. Surgiu da identica ca o dessas propriedades a no ca o matem atica de m etrica, a qual abstrai e generaliza a no ca o intuitiva de dist ancia. Vamos a essa deni ca o. Seja X um conjunto (entendido doravante como n ao-vazio). Uma fun ca o d : X X R e dita ser uma m etrica em X se possuir as seguintes propriedades: 1. Positividade: d(a, b) 0 para todos a, b X . 2. Condi ca o de dist ancia nula: d(a, b) = 0 se e somente se a = b. 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(b, c). A quarta propriedade acima e particularmente importante e e denominada desigualdade triangular devido a seu signicado geom etrico nos espa cos R2 e R3 com a m etrica usual. (Justique!) As quatro propriedades listadas acima s ao aquelas identicadas como essenciais ` a no ca o intuitiva de dist ancia e qualquer fun ca o d que as satisfa ca, ou seja, qualquer m etrica, pode potencialmente ser empregada como equivalente ` aquela no ca o. Um ponto importante da deni ca o de m etrica e a condi ca o que arma que d(x, y ) = 0 se e somente se x e y forem iguais. Compare com a deni ca o de pseudo-m etrica ` a p agina 1183. Coment arios.
Mencionamos en passant que as condi co es de simetria e de positividade, acima, s ao, em verdade, conseq u encia da desigualdade triangular e da suposi ca o que d(a, b) = 0 se a = b.

Se supomos que d(a, b) d(a, c) + d(b, c). para todos a, b e c X , ent ao, tomando c = a isso diz-nos que d(a, b) d(b, a). Trocando-se as letras a b, isso diz-nos que d(b, a) d(a, b) e, portanto, vale d(b, a) = d(a, b) para todos a e b X , estabelecendo a condi ca o de simetria. Agora, usando-se a condi ca o de simetria e a desigualdade triangular, podemos tamb em estabeceler a condi ca o de positividade. De fato, usando essas duas condi co es, pode-se provar o seguinte fato mais forte: para todos x, y, z M vale d(x, y ) d(x, z ) d(z, y ) , (24.1) o que, em particular, garante que d(x, y ) 0. Para provar isso, note-se que pela desigualdade triangular e pela condi ca o de simetria, temos d(x, z ) d(x, y ) + d(y, z ). Logo, d(x, y ) d(x, z ) d(y, z ) . (24.2) Trocando-se x por y e usando-se a condi ca o de simetria, obtemos tamb em d(x, y ) = d(y, x) d(y, z ) d(x, z ) . Ambas as rela co es (24.2) e (24.3) dizem que d(x, y ) |d(x, z ) d(y, z )|, como quer amos mostrar. Dessa forma, a deni ao de m etrica pode ser reduzida ` as seguintes condi co es: 1. Condi ca o de dist ancia nula: d(a, b) = 0 se e somente se a = b. 2. Desigualdade triangular: para todos a, b e c X vale d(a, b) d(a, c) + d(b, c). A inclus ao das condi co es de positividade e simetria e sup erua e a fazemos apenas para enfatizar essas importantes propriedades. (24.3)

O exemplo mais b asico de uma m etrica e oferecido, no caso X = R, pela fun ca o d(x, y ) = |y x|, x, y R. Outro exemplo essencialmente id entico em X = C, e oferecido pela fun ca o d(z, w) = |z w|, z, w C. Essas s ao as chamadas m etricas usuais em R e C, respectivamente. Deixamos ao leitor a tarefa simples de vericar que essas fun co es satisfazem as condi co es da deni ca o de m etrica. Espa cos m etricos e outros exemplos b asicos

Se X e um conjunto n ao-vazio e d e uma m etrica em X , dizemos que o par (X, d) e um espa co m etrico. Ou seja, um espa co m etrico vem a ser um conjunto munido de uma m etrica. Como mencionamos, as propriedades requeridas na deni ca o de m etrica, acima, foram enunciadas sob inspira ca o do exemplo familiar do pr oximo exerc cio. Verique que a fun c ao d2 (x, y ) := (y1 x1 )2 + + (yn xn )2 , onde x = (x1 , . . . , xn ) e E. 24.1 Exerc cio. n y = (y1 , . . . , yn ), e uma m etrica em R (chamada de m etrica Euclidiana). importante que o estudante familiarize-se desde cedo com o fato que um conjunto X pode ter v E arias m etricas. O exemplo anterior e os dois abaixo ilustram isso.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1168/2069

Verique que a fun c ao d (x, y ) := max{|y1 x1 |, . . . , |yn xn |}, onde x = (x1 , . . . , xn ) e E. 24.2 Exerc cio. y = (y1 , . . . , yn ), e uma m etrica em Rn . E. 24.3 Exerc cio. Verique que a fun c ao d1 (x, y ) := |y1 x1 | + + |yn xn |, onde x = (x1 , . . . , xn ) e y = (y1 , . . . , yn ), e uma m etrica em Rn . Mais adiante mostraremos que todas as fun co es dp (x, y ) := y1 x1
p

+ + yn xn

p 1/p

com p 1 s ao m etricas em Rn . A desigualdade triangular segue facilmente da desigualdade de Minkowski (5.45), p agina 253, provada na Se ca o 5.2.3.1, p agina 253. Uma caracter stica importante da no ca o abstrata de m etrica e que a mesma aplica-se tamb em a espa cos outros que n ao os familiares espa cos Rn . Os exerc cios abaixo ilustram isso no caso do conjunto X = C ([0, 1]), que vem a ser o conjunto das fun co es cont nuas reais denidas no intervalo [0, 1]. O leitor deve se recordar que, como o intervalo [0, 1] e compacto, toda fun ca o f cont nua nele denida e limitada, pois |f | e cont nua e possui um m aximo e um m nimo (esse bem-conhecida arma ca o encontra-se provada no Teorema 31.16, p agina 1442, vide tamb em os bons livros de C alculo e An alise). E. 24.4 Exerc cio. Seja X = C ([0, 1]) o conjunto de todas as fun co es reais cont nuas denidas em [0, 1]. Considere a seguinte fun c ao d : X X R: d (f, g ) = sup f (x) g (x) .
x[0, 1]

Mostre que d uma m etrica em X . E. 24.5 Exerc cio. Seja X = C ([0, 1]) o conjunto de todas as fun co es reais cont nuas denidas em [0, 1]. Considere a seguinte fun c ao d1 : X X R:
1

d1 (f, g ) =
0

f (x) g (x) dx .

Mostre que d1 uma m etrica em X . co es reais cont nuas denidas em [0, 1]. Considere a E. 24.6 Exerc cio. Seja X = C ([0, 1]) o conjunto de todas as fun seguinte fun c ao d2 : X X R:
1

d2 (f, g ) =
0

f (x) g (x) dx .

Mostre que d2 uma m etrica em X . Mais adiante mostraremos que em C ([0, 1]) todas as fun co es
1 1/p

dp (f, g ) =
0

f (x) g (x) dx

com p 1 s ao igualmente m etricas.

O exemplo a seguir mostra que uma m etrica pode ser denida em qualquer conjunto n ao-vazio.

Mostre que dt uma m etrica em X , denominada m etrica trivial.

E. 24.7 Exerc cio. Seja X um conjunto n ao-vazio e considere a seguinte fun c ao dt : X X R: 0 , se x = y , dt (x, y ) := 1 , se x = y .

(24.4)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1169/2069

M etricas n ao-Arquimedianas e espa cos ultram etricos

Seja (M, d) um espa co m etrico. A m etrica d e dita ser uma m etrica n ao-Arquimediana8 se valer d(x, y ) max d(x, z ), d(z, y ) (24.5)

elementar constatar (fa para todos x, y, z M . E ca-o!) que (24.5) implica a desigualdade triangular. Na literatura, uma m etrica n ao-Arquimediana e tamb em dita ser uma ultram etrica (ou ainda uma superm etrica) e um espa co m etrico dotado de uma ultram etrica e dito ser um espa co ultram etrico (ou um espa co superm etrico). A m etrica trivial (24.4) e um exemplo elementar de m etrica n ao-Arquimediana (verique!). Um exemplo mais relevante de m etrica n ao-Arquimediana ser a encontrado na discuss ao sobre n umeros p- adicos da Se ca o 24.A, p agina 1209. Para exemplos de aplica co es de m etricas n ao-Arquimedianas em F sica, notadamente na Mec anica Estat stica, vide Ultrametricity for Physicists, de R. Rammal, G. Toulouse e M. Virasoro, Reviews of Modern Physics 58, 765778 (1986). M etricas e normas em espa cos vetoriais

Se E e um espa co vetorial dotado de uma norma E (a no ca o de norma em espa cos vetoriais foi introduzida na Se ca o 3.2, p agina 197), podemos denir uma m etrica em E atrav es da seguinte express ao: para u, v E, dE (u, v ) = Essa m etrica e dita ser a m etrica induzida pela norma
E.

uv

E. 24.8 Exerc cio. Prove que essa express ao de fato satisfaz as propriedades denidoras de m etrica. Sugest ao: para 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. etricas apresentadas acima s ao induzidas por normas. Identique-as! E. 24.9 Exerc cio. Diversas m Como vimos, se E e um espa co vetorial normado, ent ao e tamb em um espa co m etrico com a m etrica induzida pela norma, denida acima. O pr oximo exerc cio trata da quest ao de saber que condi co es s ao necess arias e sucientes para que uma m etrica denida em um espa co vetorial seja induzida por uma norma, ou seja, da quest ao de saber quando e poss vel denir uma norma a partir de uma m etrica. co vetorial complexo dotado de uma m etrica d. Mostre que para que a m etrica d seja E. 24.10 Exerc cio. Seja E um espa uma m etrica induzida por uma norma e necess ario e suciente supor que d satisfaz as seguintes condi co es: 1. Invari ancia translacional: d(u + t, v + t) = d(u, v ) para todos u, v e t E. 2. Transforma c ao de escala: d(u, v ) = ||d(u, v ) para todos u, v E e todo C. Sob as hip oteses 1 e 2 essa norma que induz d e denida por u := d(u, 0) para cada u E. Seq u encias

Antes de prosseguirmos, recordemos uma deni ca o b asica.

Se X e um conjunto n ao-vazio, uma fun ca o a : N X e dita ser uma seq u encia em X . Como e familiar ao estudante, o valor de a em n N e freq uentemente denotado por an ao inv es de a(n). Analogamente, uma seq u encia a : N X e freq uentemente denotada por {an }nN , por {an , n N}, ou ainda, com um certo abuso de linguagem, simplesmente por an . Essa u ltima nota ca o e, talvez, a mais freq uente, mas pode, em certas ocasi oes, causar alguma confus ao pois, como mencionamos, an designa, estritamente falando, o valor de a em n, n ao a seq u encia toda. Vamos agora introduzir v arias no co es fundamentais, as quais prov em de deni co es bem conhecidas no contexto da reta real.
8 Arquimedes

de Siracusa (ci. 287 A.C. ci. 212 A.C.).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1170/2069

Subseq u encias

Seja X um conjunto e seja a : N X uma seq u encia em X . Seja tamb em : N N uma fun ca o estritamente crescente (ou seja, k (m) < k (n) se m < n). Ent ao, a : N X e dita ser uma subseq u encia de a. Seja (X, d) um espa co m etrico. Dizemos que uma seq u encia a em X converge para um elemento x X em rela ca o ` m a etrica d se para todo > 0 existir um n umero natural N () (eventualmente dependente de ) tal que d(x, an ) < para todo n > N (). A seguinte proposi ca o e fundamental, pois nos diz que, em um espa co m etrico, uma seq u encia, se for convergente, s o pode convergir a um ponto:

Converg encia em espa cos m etricos

Proposi c ao 24.1 Seja (X, d) um espa co m etrico e seja b uma seq u encia em X . Suponha que b converge a um elemento x X e a um elemento y X . Ent ao, x = y . 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 e um n umero positivo arbitr ario, uma tal desigualdade s o pode ser v alida se d(x, y ) = 0. Como d e uma m etrica, isso implica x = y . O estudante pode constatar que a demonstra ca o acima faz uso de todas as propriedades denidoras da no ca o de m etrica, o que ilustra a import ancia de no co es abstratas como aquela. Um pouco de nota ca o. Se uma seq u encia a em X converge a x X em rela ca o ` a m etrica d ent ao x e dito ser o d-limite de a, ou simplesmente o limite de a, se a m etrica d estiver subentendida. Denotamos esse fato escrevendo x = dn lim an , ou simplesmente x = lim an (se a m etrica d estiver subentendida). Outra nota ca o freq uentemente empregada para dizer que x e o d-limite de a e an x. Seq u encias de Cauchy Seja um espa co m etrico X com uma m etrica d. Uma seq u encia a de elementos de X e dita ser uma seq u encia de Cauchy9 em rela ca o ` a m etrica d se para todo > 0 existir um n umero natural N () (eventualmente dependente de ) tal que d(ai , aj ) < para todo i e j tais que i > N () e j > N (). A seguinte proposi ca o e fundamental: Proposi c ao 24.2 Seja um espa co m etrico X com uma m etrica d e seja b uma seq u encia convergente em rela c ao ` a m etrica d a um elemento x X . Ent ao, b e uma seq u encia de Cauchy em rela c ao ` a m etrica d. Prova. Sejam m e n arbitr arios. Pela desigualdade triangular, vale d(bn , bm ) d(bn , x) + d(x, bm ). Agora, como b 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, ent ao, d(bn , bm ) /2 + /2 = . Isso completa a prova. Uma quest ao de fundamental import ancia que agora se coloca e a seguinte: ser a v alida a rec proca da proposi ca o acima, ou seja, ser a que toda seq u encia de Cauchy em um espa co m etrico e convergente? A import ancia dessa quest ao e a seguinte. Dada uma seq u encia concreta xn em um espa co m etrico X , n ao sabemos a priori se xn convergir a ou n ao a menos que encontremos um elemento x em X com a propriedade desejada (para todo > 0, existe N () tal que d(xn , x) < sempre que n > N ()). Nem sempre pode ser f acil ou poss vel encontrar explicitamente tal x, e gostar amos de possuir um crit erio baseado apenas em propriedades veric aveis da seq u encia xn que nos permita dizer se ela converge ou n ao. A propriedade de uma seq u encia ser de Cauchy e uma propriedade cuja validade ou n ao depende apenas da seq u encia e, portanto, em face ` a Proposi ca o 24.2, e um otimo candidato a ser um tal crit erio de converg encia.
9 Augustin

Louis Cauchy (17891857).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1171/2069

Sucede, por em, que, em geral, a resposta ` a pergunta acima e negativa: existem espa cos m etricos nos quais h a seq u encias de Cauchy que n ao convergem. Isso e ilustrado pelos seguintes exemplos. Considere-se o conjunto X = Q dos n umeros racionais e adotemos em Q a m etrica usual: d(r, s) = |r s|, com r, s Q. H a, sabidamente, exemplos de seq u encias de Q que s ao de Cauchy em rela ca o ` a m etrica d que convergem em Q. Um exemplo e encontrado no exerc cio seguinte. E. 24.11 Exerc cio. Seja r um n umero racional com r > 1. Prove que a seq u encia de n umeros racionais sn = r . r1 1 , a r a=0
n

n N, e uma seq u encia de Cauchy e que a mesma converge ao n umero racional

O ponto, por em, e que h a tamb em exemplos de seq u encias de Q que s ao de Cauchy em rela ca o ` a m etrica d mas que e o da seq u encia n ao convergem em Q. Um exemplo famoso, e que pode ser tratado com detalhe, sn = 1 + 1 1 1 + + + , 1! 2! n!

que e uma seq u encia de Cauchy de racionais, mas que n ao converge a um n umero racional10. Tratamos esse exemplo com detalhe no pr oximo t opico. A leitura do mesmo pode ser dispensada pelo estudante j a familiarizado com esses fatos, mas pode ser instrutiva para os demais. Por um teorema de Lambert11 (vide [96]), sabe-se que se r e um n umero racional 2 rn r +r + + convergem a irracionais. n ao-nulo ent ao er n ao e racional. Assim, as seq u encias de racionais sn = 1 + 1! 2! n! Analogamente, esse teorema de Lambert implica que ln(r) n ao pode ser racional se r o for, Assim, para 1 < r < 1, a n n+1 r s erie n=0 (1) converge ao irracional ln(1 + r). n+1
1) e irracional pode ser Outro exemplo e a seq u encia pn = 4 k=0 ( 2k+1 , que converge ao irracional . Uma prova que encontrada em [225] ou em [96]. Vide p agina 54 para mais coment arios. Para uma breve discuss ao sobre aproxima co es para recheada de digress oes hist oricas, vide Se ca o 24.B, p agina 1215. n
k

Esses exemplos, que est ao longe de ser u nicos, ilustram um fato muito importante: existem espa cos m etricos nos quais n ao vale a rec proca da Proposi ca o 24.2, ou seja, existem espa cos m etricos nos quais seq u encias de Cauchy n ao s ao necessariamente convergentes. De grande import ancia s ao os espa cos m etricos onde vale a rec proca da Proposi ca o 24.2. Tais espa cos m etricos s ao denominados completos e deles falaremos na Se ca o 24.1.1, p agina 1173, logo adiante. O n umero e e um n umero irracional Seja a seq u encia de n umeros racionais 1 1 1 + + + , 1! 2! n!

sn = 1 +

Vamos provar que essa seq u encia e de Cauchy em rela ca o ` a m etrica usual em Q, mas que a mesma n ao converge a um n umero racional. Primeiro provemos que esta seq u encia e de Cauchy. Vamos supor j > i. Como a seq u encia sn e crescente, segue que
10 O 11 Johann

estudante bem sabe que essa seq u encia converge no conjunto dos reais ao n umero e. Abaixo provaremos que esse n umero n ao e racional. Heinrich Lambert (17281777).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1172/2069

d(si , sj ) = |si sj | = sj si (por que?). Temos, ent ao, 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 + + + 2 (i + 2) (i + 2) (i + 2)j i1 1 (i + 2)a para i > 0 . (24.6)

<

1+
a=0

= Como o n umero 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 seq u encia sn e (i + 1)!

E. 24.12 Exerc cio. Justique cada passagem acima. Vamos agora provar que essa seq u encia n ao converge a um n umero racional. Para isso vamos supor o contr ario e constatar que isso leva a um absurdo. Vamos ent ao supor que a seq u encia converge a um racional e. Como e e suposto ser racional, e seria da forma e = p/q onde p e q s ao n umeros inteiros primos entre si. Da desigualdade triangular segue 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 -se que 2 d(e, si ) . (i + 1)! Como si e uma seq u encia crescente e si = sj para i = j , segue que d(e, si ) = e si . Logo, 0 < e si = e, portanto, si < 2 p si q (i + 1)!

2 p si + q (i + 1)!

(24.7)

para todo i N. Para i = 2 a rela ca o (24.7) ca (verique!) p 17 5 < . 2 q 6 (24.8)

Como 17/6 < 3, conclu mos que 5/2 < p/q < 3. Esse fato mostra que p/q n ao e inteiro. Disso, segue que q 2, fato que usaremos logo abaixo12 . Como (24.7) vale para todo i, tomemos em particular i = q . A rela ca o (24.7) diz, ent ao, que 1+ 1 1 p 1 1 2 + + < 1 + + + + . 1! q! q 1! q ! (q + 1)!

12 E poss vel extrair um pouco mais de (24.8). A primeira desigualdade em (24.8) diz-nos que p > 5q/2. Como q 2, segue que p > 5. A segunda desigualdade em (24.8) diz-nos que q 6p/17. Como p 6, segue que q 36/17 > 2. Assim, conclu -se que q 3.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1173/2069

Multiplicando-se ambos os lados por q ! conclu mos que A < p(q 1)! A + onde A := q ! 1 + 1 1 + + 1! q! 2 < A + 1, pois q 2 , q+1 q! q! q! + + + 2! 3! q!

= q! + q! +

e um n umero inteiro positivo, pois e, claramente, uma soma de inteiros positivos. Assim, o que provamos e que A < p(q 1)! < A + 1. Agora, como A e um inteiro, essas u ltimas desigualdades dizem que o n umero inteiro p(q 1)! est a contido no intervalo aberto entre dois inteiros sucessivos (A e A + 1) e, portanto, n ao pode ser um inteiro: uma contradi ca o. Isso prova, ent ao, que e n ao pode ser da forma p/q e, portanto, n ao pode ser racional. E. 24.13 Exerc cio. A chamada constante de Euler13 -Mascheroni14 e o n umero denido15 por := lim 1+ 1 1 + + ln(n) 2 n 0, 5772156649 . . . .

A constante surge em v arias situa co es, por exemplo na deni c ao das fun co es de Bessel de segundo tipo (vide Se c ao 13.2.3, p agina 595) e em propriedades da fun c ao Gama de Euler (vide Cap tulo 7, p agina 270). A prova que o limite acima existe pode ser encontrada em qualquer bom livro de C alculo, por exemplo em [225]. At e hoje n ao e conhecido se e um n umero racional ou irracional. Resolva essa quest ao.

24.1.1

Completeza e o Completamento Can onico

Completeza

Dizemos que o espa co m etrico X e completo em rela ca o ` a m etrica d se toda seq u encia de Cauchy em X convergir a um elemento de X .

Assim, em um espa co m etrico completo, para garantirmos que uma seq u encia converge basta vericarmos que a mesma e de Cauchy. Como comentamos ` a p agina 1170, a propriedade de uma seq u encia ser de Cauchy pode ser vericada analisando apenas propriedades da mesma, da sua vantagem. Dessa forma, dada uma seq u encia concreta ao e necess ario adivinhar o elemento ao {xn } em um espa co m etrico completo X , para sabermos se {xn } converge n qual converge, mas bastar constatar a propriedade de Cauchy, o que pode ser feito apenas estudando a dist ancia entre elementos de {xn }. Nota.
O estudante mais adiantado deve ser advertido que a no ca o de completeza de um espa co m etrico n ao e uma no ca o topol ogica. Vide discuss ao ` a p agina 1182.

Pelo que vimos nas u ltimas p aginas, o espa co m etrico formado pelos n umeros racionais com a m etrica usual n ao e um espa co m etrico completo. Vale, por em a seguinte arma ca o: Proposi c ao 24.3 O conjunto dos n umeros reais R e um espa co m etrico completo em rela c ao ` a m etrica usual: d(x, y ) = |x y |, x, y R. A demonstra ca o dessa proposi ca o pode ser encontrada em todos os bons livros de C alculo ou An alise Real. Discutiremos com detalhe esse fato ao apresentarmos uma constru ca o dos n umeros reais, devida a Cantor16 (seguindo id eias de Weierstrass17 ), na Se ca o 24.A, da qual a proposi ca o acima e um corol ario imediato. O mesmo vale para o conjunto dos n umeros complexos:
Euler (17071783). Mascheroni (17501800). 15 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. 16 Georg Ferdinand Ludwig Philipp Cantor (18451918). 17 Karl Theodor Wilhelm Weierstrass (18151897).
14 Lorenzo 13 Leonhard

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1174/2069

Proposi c ao 24.4 O conjunto dos n umeros complexos C e um espa co m etrico completo em rela c ao ` a m etrica d(z, w) = |z w|, z, w C. Vale tamb em a seguinte arma ca o, cuja demonstra ca o ser a apresentada como caso particular de uma outra arma ca o mais geral na Se ca o 24.5.1, p agina 1190: Proposi c ao 24.5 Para todo n 1, o conjunto Rn e um espa co m etrico completo em rela c ao ` as m etricas d , d1 , d2 e dp com p 1, denidas ` a p agina 1167. Vamos a outros exemplos. E. 24.14 Exerc cio. Vamos mostrar que C [0, 1] , o conjunto das fun co es cont nuas (reais ou complexas) denidas no intervalo [a, b], n ao e completo em rela c ao ` a m etrica d1 :
1

d1 (f, g ) =
0

f (x) g (x) dx .

Considere a seguinte seq u encia de fun co es cont nuas em [0, 1]: 1 0, se x 0, 1 2 n , 1 1 1 1 1 fn (x) = +n , se x 2 n , 2 , n x 2 1 1, , 1 , se x 2 onde n N. Vide Figura 24.1.

(24.9)

1/2 1/n

1/2

Figura 24.1: Gr aco das fun co es fn .

a) Conven ca-se essas fun co es s ao todas cont nuas e, portanto, elementos de C [0, 1] . b) Calcule d1 (fn , fm ) e mostre que a seq u encia fn e uma seq u encia de Cauchy em rela c ao ` a m etrica d1 . c) As fun co es fn valem 1 no intervalo [1/2, 1]. Fora isso, para cada x [0, 1/2) vale fn (x) = 0 para todo n sucientemente
1

grande. Conven ca-se que esses fatos implicam que se existir uma fun c ao f tal que lim

fn (x) f (x) dx = 0 ent ao

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1175/2069

f deve ser da forma f (x) =

0, se x 0, 1, se x
1 0

1 2

(24.10)

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 e zero quando n . Como f n ao e cont nua, isso mostra que a seq u encia de Cauchy {fn }nN n ao converge a uma fun c ao cont nua e, portanto, C [0, 1] n ao e um espa co m etrico completo em rela c ao ` a m etrica d1 .

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

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

Vamos agora demonstrar o seguinte fato importante: Proposi c ao 24.6 Seja [a, b] com < a b < um intervalo compacto e seja C [a, b] o conjunto das fun c oes cont nuas (reais ou complexas) denidas em [a, b]. Ent ao, C [a, b] e completo em rela c ao ` a m etrica d (f, g ) := sup f (x) g (x) , f, g C [a, b] .
x[a, b]

Um outro modo de formular a arma c ao de acima e dizer que o limite uniforme de uma seq u encia de fun c oes cont nuas em um intervalo compacto [a, b] e tamb em uma fun c ao cont nua. A Se ca o 24.4, p agina 1185, e dedicada a teoremas de completeza para certos conjuntos de fun co es assumindo valores em espa cos m etricos completos. Uma importante generaliza ca o da Proposi ca o 24.6 e apresentada no Corol ario 24.1, p agina 1188. Prova da Proposi c ao 24.6. O leitor deve se recordar que, como o intervalo [a, b] e compacto, toda fun ca o f cont nua nele denida e limitada, pois |f | e cont nua e possui um m aximo e um m nimo (Teorema 31.16, p agina 1442). Assim, a denida para todas f, g C [a, b] . d (f, g ) := sup f (x) g (x) est
x[a, b]

Seja fn uma seq u encia de Cauchy em C [a, b] . Ent ao, para todo > 0 existe um inteiro positivo N () tal que 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 seq u encia num erica fn (x) e uma seq u encia de Cauchy. Como R (ou C, conforme o caso) e completo, segue que cada seq u encia fn (x) e convergente. Vamos denominar por f (x) seu limite. Claramente [a, b] x f (x) e uma fun ca o (certo?). Essa fun ca o f e um forte candidato a ser o limite da seq u encia {fn }nN na m etrica d . Colocamo-nos, ent ao, as seguintes quest oes: 1. Ser a a fun ca o f tamb em um elemento de C [a, b] , ou seja, cont nua? 2. Se a resposta ` a pergunta anterior for positiva, ser a que a seq u encia fm converge ` a fun ca o f na m etrica d ? Se a resposta a essas perguntas for positiva, estar a provado que C [a, b] e completo na m etrica d . Seja > 0 arbitr ario. Vamos denir uma seq u encia crescente de n umeros inteiros e positivos Nk (), k = 1, 2, 3, . . . com Nk+1 () > Nk (), da seguinte forma: Nk () e tal que d (fm , fn ) < /2k para todos m, n > Nk (). Note que uma tal seq u encia Nk () sempre pode ser encontrada pois, por hip otese, fm e uma seq u encia de Cauchy em d . Vamos agora escolher uma seq u encia crescente de ndices n1 < n2 < < nk1 < nk < tais que nk > Nk (). A essa seq u encia est a associada a sub-seq u encia {fnk }kN . Note que, pela deni ca o, tem-se d (fnl+1 , fnl ) < pois nl e nl+1 s ao maiores que Nl (). Com essas deni co es, teremos que, para todo k > 1, fnk (x) fn1 (x) =
k 1 l=1

Precisamos agora mostrar que a seq u encia {fm }mN aproxima essa fun ca o f na m etrica d .

, 2l

fnl+1 (x) fnl (x) .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1176/2069

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

k 1 l=1 k 1

fnl+1 (x) fnl (x)

k 1 l=1

sup

l=1 x[a, b] k 1 l=1

fnl+1 (x) fnl (x) =

d (fnl+1 , fnl )

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

1 1 = 1 k 1 2l 2

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 2 k 1 1 2 k 1 ,

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

Como isso vale para todo x, segue que

O lado esquerdo desta express ao independe de k . Tomando-se o limite k e lembrando que a seq u encia num erica fnk (x) converge a f (x), conclu mos que |f (x) fn1 (x)| . d (f, fn1 ) = sup
x[a, b]

f (x) fn1 (x) .

(24.11)

Isso demonstra que a seq u encia fn converge a f em rela ca o ` a m etrica d . Vamos agora provar que a fun ca o f e cont 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 ) sup
x[a, b]

f (x) fn1 (x) + fn1 (x) fn1 (y ) + sup

y [a, b]

fn1 (y ) f (y )

2d (f, fn1 ) + fn1 (x) fn1 (y ) 2 + fn1 (x) fn1 (y ) .

e, portanto, uma fun ca o cont nua. Logo, pela deni ca o de continuidade de fun co es, Notemos agora que fn1 C ([a, b]) e para x xo, existe um n umero positivo tal que |fn1 (x) fn1 (y )| < para todo y tal que |y x| < .

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 e cont nua, como quer amos provar. E. 24.15 Exerc cio. Mostre que a seq u encia de fun co es fn denida em (24.9) n ao e uma seq u encia de Cauchy em rela c ao ` a m etrica d . Observe que isso e coerente com a Proposi c ao 24.6, pois a fun c ao f dada em (24.10), obtida pelo limite pontual f (x) = limn fn (x) para cada x [a, b], n ao e cont nua.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1177/2069

Conjuntos densos em espa cos m etricos

Se M e um conjunto dotado de uma m etrica d, dizemos que um conjunto S e d-denso em M (ou simplesmente denso em M ) se todo x M puder ser aproximado por elementos de S no sentido da m etrica d, ou seja, se para todo x M 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 e denso em R para a m etrica usual d(x, y ) = |y x|. Para cada p, Q e tamb em denso na m etrica p- adica dp no conjunto Qp de n umeros p- adicos (para as deni co es, vide Se ca o 24.A, p agina 1209). Muito importante tamb em e o Teorema de Weierstrass, Teorema 34.3, p agina 1638, que arma que em cada intervalo fechado e limitado [a, b] os polin omios s ao densos no conjunto C ([a, b]) das fun co es cont nuas denidas em [a, b]. Espa cos M etricos. O Completamento Can onico

Dado um conjunto X dotado de uma m etrica d e que n ao seja completo em rela ca o a esta m etrica, e muito importante, por vezes, identicar um conjunto X , dotado de uma m etrica d que possua as seguintes propriedades: a. X cont em X como subconjunto. b. X e denso em X em rela ca o ` a m etrica d . c. d quando restrita a X e id entica a d. d. X e completo em rela ca o a d . Em um tal caso, dizemos que o espa co m etrico (X , d ) e um completamento do espa co m etrico (X, d). Como exemplo, mencionamos que o conjunto dos n umeros reais R e um completamento do conjunto dos n umeros racionais, caso adotemos neste a m etrica d(r, s) = |r s|, r, s Q. A m etrica d em R seria tamb em d (x, y ) = |x y |, x, y R.

Dado um espa co m etrico (X, d), que eventualmente n ao e completo em rela ca o a uma m etrica d dada, podemos complet a-lo usando um procedimento padr ao devido a Cantor18 , conhecido como completamento can onico de espa cos m etricos. Isso e o conte udo do seguinte teorema: Teorema 24.1 (Completamento Can onico) Dado um conjunto X , dotado de uma m etrica d, existe um outro conjunto X , dotado de uma m etrica d, e uma aplica c ao injetora E : X X tais que: 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 , e um conjunto d-denso em X . 3. X e completo em rela c ao ` a m etrica d.

Nota. Comentemos que E e uma bije ca o entre X e E (X ) (por ser injetora). Nesse sentido, podemos tamb em dizer, com um pequeno abuso de linguagem, que X e um completamento de X . Na Se ca o 24.A ilustramos uma aplica ca o importante do Teorema 24.1 (mais precisamente, da demonstra ca o do Teorema 24.1) ao delinearmos como podemos construir os n umeros reais a partir dos racionais. Em seguida, adotando m etricas especiais no conjunto Q, mostraremos como construir um conjunto especial de n umeros, os chamados n umeros p- adicos. Prova do Teorema 24.1. Consideremos o conjunto Cd (X ) formado por todas as seq u encias em X que sejam de Cauchy em rela ca o ` a m etrica d. Vamos introduzir em Cd (X ) a seguinte rela ca o de equival encia: para duas seq u encias de Cauchy a = {an }nN e b = {bn }nN dizemos que a e equivalente a b, a b, se e somente se lim d(an , bn ) = 0.
n

e, de fato, uma rela c ao de equival encia. Sugest ao: use a desigualdade triangular. E. 24.16 Exerc cio. Prove que esta
18 Georg

Ferdinand Ludwig Philipp Cantor (18451918).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1178/2069

O conjunto Cd (X ) e, ent ao, a uni ao disjunta de suas classes de equival encia pela rela ca o acima19 . Vamos denotar por X o conjunto de todas essas classes de equival encia. Como usualmente se faz, denotaremos por [x] a classe de equival encia de um elemento x Cd (X ), ou seja, [x] e o conjunto de todas as seq u encias de Cauchy em X que s ao equivalentes ` a seq u encia de Cauchy x. Podemos fazer de X um espa co m etrico denindo uma m etrica d : X X R da seguinte forma: d [x], [y ] = lim d(xn , yn ) ,
n

(24.12)

para duas seq u encias de Cauchy x = {xi }iN e y = {yi }iN X .

A respeito da deni ca o (24.12) h a alguns pontos a comentar, o que faremos com os tr es exerc cios que seguem. O primeiro exerc cio mostra que o limite no lado direito de (24.12) de fato existe e esclarece por que e importante o uso de seq u encias de Cauchy na constru ca o, e n ao seq u encias quaisquer. O segundo exerc cio esclarece que d e de fato uma fun ca o de classes de equival encia (independente dos representantes x e y tomados em [x] e [y ], respectivamente). O terceiro exerc cio estabelece que d e, de fato, uma m etrica. E. 24.17 Exerc cio. Mostre que o limite em (24.12) 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 s ao seq u encias de Cauchy o lado direito pode ser feito para qualquer > 0, desde que i e j sejam feitos grandes o suciente. Complete os detalhes faltantes. e uma seq u encia de Cauchy equivalente a x Cd (X )) E. 24.18 Exerc cio. Mostre que se x Cd (X ) e x [x] (ou seja x ent ao lim d(x (24.13) n , yn ) = lim d(xn , yn )
n n

para toda y Cd (X ). Sugest ao: Usando a desigualdade triangular, tem-se que

d(xn , yn ) d(xn , x n ) + d(xn , yn ) . Prove da que |d(xn , yn ) d(x n , yn )| d(xn , xn ) e conclua (24.13) disso.

Esse exerc cio estabelece que a deni ca o (24.12) independe do particular elemento x de [x] adotado. Analogamente, (24.12) independe do particular elemento y de [y ] adotado e, portanto, d e legitimamente uma fun ca o de classes de equival encia. No pr oximo exerc cio e provado que d e, de fato, uma m etrica. tamb E. 24.19 Exerc cio. Mostre que d e uma m etrica em X . Sugest ao: positividade e simetria s ao evidentes. E em f acil 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 facilmente da desigualdade triangular para d. Complete os detalhes faltantes. Vamos agora mostrar que X e completo em rela ca o a d. Seja {[xa ], a N}, uma seq u encia de Cauchy em X . Cada a a a a elemento x e, ele mesmo, uma seq u encia de Cauchy em X : {xa e uma seq u encia de 1 , x2 , x3 , . . .}. Como [x ], a N, Cauchy em X vale que, para todo > 0, existe A() N sucientemente grande tal que d([xa ], [xb ]) < desde que a e b A(). Da segue que, pela deni ca o de limite, existe I () N tal que
b d(xa i , xi ) < ,

desde que a e b A() e que i I (). Fora isso, como {xa e uma seq u encia de Cauchy para cada a, existe para i }iN todo > 0 um Ja () tal que a d(xa i , xj ) < , desde que i, j Ja ()
19 Para

as no co es de rela ca o de equival encia e classes de equival encia, vide Se ca o 1.1.1.3, p agina 39.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1179/2069

Dena-se ent ao para n N (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

evidente por essas deni E co es que para n > m teremos (n) (m) A(1/m) e (n) (m) max I (1/m), J(m) (1/m) . (24.15)
(n) Dena-se agora a seq u encia x em X dada por xn := x (n) , n N. Desejamos provar que essa e uma seq u encia de Cauchy em X e, para tal, observemos que

(24.14)

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 (24.15)) e (n) (m) A(1/m) (por (24.14)). Paralelamente, temos tamb em d x (n) , x (n)
(n)

<

(24.16)

d x (n) , x (m)

(m)

(m)

<

1 , m
2 m

pois (n) (m) J(m) (1/m) (por (24.15)). Estabelecemos que para todos n > m tem-se d(xn , xm ) < diz-nos claramente que x e uma seq u encia de Cauchy.

e isso

A classe de equival encia de x, ou seja, [x], e um candidato a ser o limite em X (na m etrica d) da seq u encia [xa ]. Provemos que isso e de fato verdade. Consideremos a sub-seq u encia [x(m) ], m N. Temos que d [x(m) ], [x] Por em,
(m) d xn , x (n) (n) (m) d xn , x (n) (m) (m) (m) = lim d xn , x (n) n (n)

.
(n)

+ d x (n) , x (n)

(m)

Agora, para todo n J(m) (1/m) vale, d xn Paralelamente, temos por (24.16) d
(m) d xn , x (n) (n) (m) x (n) ,

, x (n) <

(m) 1 m.

<

1 m

(n) x (n)

pois, por (24.15), tem-se tamb em (n) J(m) (1/m). 2 m

Assim, provamos que para todo n J(m) (1/m) vale d [x(m) ], [x]

2 , m

o que estabelece que

para todo m N. Isso provou que sub-seq u encia [x(m) ], m N, converge a [x] na m etrica d. Como [xa ] e uma a seq u encia de Cauchy, isso provou que a pr opria seq u encia [x ] converge a [x] na m etrica d e, portanto, estabelecemos que X e completo. por Para cada x X , podemos associar uma seq u encia de Cauchy constante xi = x, i N. Seja E : X X denida X x E (x) := [x] X .

f E acil provar que E e injetora. De fato, se x, y X s ao tais que E (x) = E (y ), ent ao [x] = [y] e isso implica x y . Isso, por sua vez, signica que d(xi , yi ) = 0, Por em, xi = x e yi = y e, portanto, provou-se que d(x, y ) = 0, o que implica x = y , como quer amos. H a ent ao uma bije ca o E de X sobre o subconjunto E (X ) := {E (x) X, x X } X . Temos tamb em que d E (x), E (y ) = d [x ] , [y ] = lim d(xn , yn ) = lim d(x, y ) = d(x, y ) .
n n

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1180/2069

Assim, aprendemos que a bije ca o E preserva dist ancias ( e, portanto, o que se chama de uma isometria entre X e E (X )). Resta-nos mostrar que o conjunto E (X ) e denso em X , ou seja, qualquer elemento de X pode ser aproximado (no sentido da dist ancia d) por elementos de E (X ). Seja ent ao [x] um elemento de X . Como x e uma seq u encia de Cauchy, vale que para cada > 0 tem-se d(xi , xj ) < (24.17) desde que i e j sejam maiores que um certo N (). Seja a seq u encia de Cauchy constante igual ao elemento xN ()+1 , ou seja, xN ()+1 . Teremos d [x], xN ()+1 Agora, por (24.17),
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 m etrica d por elementos de E (X ). Isso completa a demonstra ca o do Teorema 24.1.

24.2

A No c ao de Topologia de Espa cos M etricos

Vamos agora discutir alguns fatos relevantes sobre topologias de espa cos m etricos. Essa discuss ao ser a estendida e complementada na Se ca o 26.3.1, p agina 1269, quando mais instrumentos estar ao ` a nossa disposi ca o. Conjuntos Abertos em Espa cos M etricos

Um espa co m etrico possui, naturalmente, muitos subconjuntos. H a, por em, uma classe de subconjuntos que t em uma import ancia destacada, os chamados conjuntos abertos. Seja X um espa co m etrico com uma m etrica d. Um subconjunto A de X e dito ser um conjunto d-aberto, ou simplesmente um conjunto aberto (em rela ca o ` a m etrica d) se possuir a seguinte propriedade: Para cada x A existe um n umero real (x) > 0 (eventualmente dependente de x) tal que todo x X satisfazendo d(x, x ) < (x) e tamb em um elemento de A.

Por essa deni ca o o conjunto X e, ele mesmo, um conjunto aberto em rela ca o ` a m etrica d. O conjunto vazio e honoricamente declarado um conjunto aberto em rela ca o ` a m etrica d.

A cole ca o de todos os conjuntos abertos em X em rela ca o ` a m etrica d e dito ser uma topologia m etrica em X , ou simplesmente uma topologia em X . E. 24.20 Exerc cio. Mostre explicitamente que, para a, b R com a < b, o conjunto (a, b) = {x R| a < x < b} e um conjunto aberto em rela c ao ` a m etrica d(x, y ) = |x y |. ao e E. 24.21 Exerc cio. Mostre explicitamente que, para a, b R com a < b, o conjunto [a, b) = {x R| a x < b} n um conjunto aberto em rela c ao ` a m etrica d(x, y ) = |x y |. E. 24.22 Exerc cio. Mostre explicitamente que, para r > 0 a bola de raio r em R3 centrada na origem em rela c ao ` a m etrica Euclidiana, Br = {x R3 | dE (x, 0) < r}, e um conjunto aberto na topologia denida por essa m etrica. Seja I um conjunto arbitr ario de ndices e {A , I } uma cole ca o de subconjuntos abertos de um espa co m etrico X . Os dois exerc cios seguintes s ao muito importantes. E. 24.23 Exerc cio. Mostre que
I

A e tamb em um conjunto aberto em X .

ao abertos em X ent ao A B tamb em o e. E. 24.24 Exerc cio. Mostre que se A e B s

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1181/2069

As armativas contidas nesses dois u ltimos exerc cios s ao importantes pois inspiram a deni ca o de um outro conceito muito importante: o de espa co topol ogico. Espa cos topol ogicos ser ao estudados com mais detalhe e generalidade no Cap tulo 26, p agina 1250. E. 24.25 Exerc cio. Seja X e um conjunto n ao-vazio. Mostre que todo subconjunto n ao-vazio de X e aberto em rela c ao ` a m etrica trivial, denida em (24.4), p agina 1168. Bolas Abertas em Espa cos M etricos

Seja X um espa co m etrico com uma m etrica d e seja x X . Dene-se a bola aberta de raio r > 0 centrada em x como sendo o conjunto B (x, r) = y X, tal que d(x, y ) < r . Bolas abertas desempenham um papel importante no estudo de espa cos m etricos. co m etrico e um conjunto aberto na topologia m etrica desse E. 24.26 Exerc cio. Prove que toda bola aberta em um espa espa co. Ao contr ario do que o nome sugere, bolas abertas em espa cos m etricos n ao t em necessariamente um formato redondo. Para ver isso, fa ca os exerc cios abaixo. etrica d denida acima: E. 24.27 Exerc cio. Seja o conjunto R2 com a m 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. 24.28 Exerc cio. Seja o conjunto R2 com a m etrica d1 denida acima: 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. 24.29 Exerc cio. Seja o conjunto R2 com a m etrica 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 < p < 2 e p > 2. M etricas equivalentes. M etricas que geram a mesma topologia

Seja M um conjunto e sejam d1 e d2 duas m etricas em M . As m etricas d1 e d2 s ao ditas equivalentes, em s mbolos d1 d2 , se existirem dois n umeros c1 e c2 com 0 < c1 c2 tais que para todos x, y M valha c1 d1 (x, y ) d2 (x, y ) c2 d1 (x, y ) .

E. 24.30 Exerc cio. em M .

Mostre que a rela c ao d1 d2 dene uma rela c ao de equival encia no conjunto de todas as m etricas

E. 24.31 Exerc cio. Sejam d1 e d2 duas m etricas equivalentes em M . Mostre, que todo conjunto d1 -aberto de M e d2 -aberto e vice-versa. Isso signica que se d1 e d2 s ao equivalentes, ambas geram a mesma topologia. Os exerc cios que seguem mostram que a rec proca n ao e geralmente verdadeira: m etricas que geram a mesma topologia n ao s ao necessariamente equivalentes (no sentido da deni ca o acima).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1182/2069

co m etrico com uma m etrica d(x, y ), x, y M . Prove que E. 24.32 Exerc cio. Seja M um espa d0 (x, y ) := d(x, y ) 1 + d(x, y )

tamb em dene uma m etrica em M . Sugest ao: para demonstrar a desigualdade triangular ser a util provar antes que a fun c ao l(x) = x 1+x

e crescente na regi ao x 0. Outra sugest ao: d e uma olhada na p agina 1184. etricas d e d0 do exerc cio E. 24.32 s o s ao equivalentes (no sentido da deni c ao E. 24.33 Exerc cio. Mostre que as m acima) se d for limitada, ou seja, se existir D > 0 tal que d(x, y ) D para todos x, y M . Sugest ao: tem-se que l(x) x para todo x 0, mas mostre que n ao existe nenhuma constante c > 0 tal que cx l(x) para todo x 0. Todavia, uma tal constante pode ser achada se nos limitarmos a x [0, D]. E. 24.34 Exerc cio. Mostre que, mesmo n ao sendo equivalentes, as m etricas d e d0 do exerc cio E. 24.32 denem a mesma topologia, ou seja, que todo conjunto d-aberto de M e d0 -aberto e vice-versa. Conjuntos fechados

Paralelamente ` a no ca o de conjunto aberto em um espa co m etrico existe a no ca o de conjunto fechado em um espa co m etrico: se M e dotado de uma m etrica d, um conjunto F M e dito ser fechado em rela ca o ` a m etrica d se seu conjunto complementar F c = M \ F for aberto em rela ca o a ` m etrica d.

A no ca o de conjunto fechado e t ao relevante quanto a de conjunto aberto e muitas propriedades de espa cos m etricos podem ser expressas em termos de propriedades de conjuntos fechados. A proposi ca o que segue apresenta uma caracteriza ca o importante da no ca o de conjuntos fechados em espa cos m etricos. Proposi c ao 24.7 Seja M um conjunto n ao-vazio dotado de uma m etrica d. Ent ao, F M e fechado se e somente se toda seq u encia de elementos de F que for convergente em M convergir a um elemento de F . A demonstra ca o dessa proposi ca o ser a apresentada na Se ca o 26.3.1, p agina 1269 (na forma do Corol ario 26.2, p agina 1270). Para o caso de espa cos m etricos completos vale o seguinte arma ca o importante: Proposi c ao 24.8 Se M e um espa co m etrico completo em rela c ao a uma m etrica d, ent ao F M e fechado na topologia induzida por essa m etrica se e somente se F for igualmente completo em rela c ao ` a m etrica d. Essa proposi ca o ser a demonstrada ` a p agina 1270 (vide Proposi ca o 26.11, p agina 1270) e ser a usada, por exemplo, na discuss ao do Cap tulo 25, p agina 1220. Topologias, e n ao apenas topologias relacionadas a espa cos m etricos, ser ao estudadas com mais profundidade no Cap tulo 26, p agina 1250. Completeza de espa cos m etricos e sua topologia. Uma advert encia

Vamos neste ponto retornar ` a nossa discuss ao sobre a topologia de espa cos m etricos e discutir sua rela ca o com a no ca o de completeza. A verdade e que os dois conceitos n ao s ao totalmente relacionados. O fato de um espa co m etrico ser completo n ao e diretamente relacionado ` a topologia adotada mas sim ` a m etrica usada. Em outras palavras, completeza e uma propriedade topol ogica! n ao Para ver isso trataremos de exibir um exemplo de um espa co M dotado de duas m etricas que geram as mesmas topologias, sendo M completo em rela ca o ` a primeira m etrica mas n ao em rela ca o ` a segunda m etrica. No exemplo (extra do de [42]) em quest ao M = {x R, x 1}. Em M adotaremos duas m etricas: d1 (x, y ) = |y x| e 1 1 . d2 (x, y ) = y x

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1183/2069

e de fato uma m etrica em M . E. 24.35 Exerc cio. Mostre que d2 O fato e 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 aberto em d2 (a topologia associada e, portanto, para todo x M e todo r > 0 vale Bd1 (x, r) Bd2 (x, r). Se A a m ` etrica d2 ), ent ao para todo x A h a uma bola Bd2 x, r(x, A) inteiramente contida em A e, pelo que acabamos de ver, h a tamb em uma bola Bd1 x, r(x, A) inteiramente contida em A. Daqui se conclui que todo aberto de d2 e e claro que para todo y da bola aberta Bd1 (x, r) de d1 podemos tamb em aberto de d1 . Logo d2 d1 . Igualmente 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 e que M e completo em rela ca o a d1 mas n ao em rela ca o a d2 . Que M e completo em rela ca o a d1 pode ser provado diretamente ou pelo seguinte argumento topol ogico: M e completo em rela ca o a d1 pois M e um subconjunto fechado de R na topologia usual R , induzida por d1 e R e completo em rela ca o a d1 (vide Proposi ca o 24.8, p agina 1182, e a discuss ao ` a p agina 1270, em particular a Proposi ca o 26.11). e completo em rela ca o a d2 observe que a seq u encia an = n, n N, e de Cauchy em rela ca o a Para ver que M n ao d2 mas n ao h a nenhum elemento em M ao qual ela converge. Assim, M e completo em rela ca o a d1 mas n ao em rela ca o a d2 , embora ambas as m etricas gerem a mesma topologia! As considera co es acima dizem-nos que completeza n ao e uma no c ao de natureza topol ogica. Uma vez posta essa advert encia, cabe notar, por em, que espa cos m etricos compactos s ao sempre completos em quaisquer que sejam as m etricas que geram a topologia. Vide Teorema 31.11, item I, p agina 1436.
ao se pode argumentar, como zemos com a m etrica d1 , que M e completo em d2 por ser um subconjunto fechado de R na topologia Nota. N induzida em R por d2 , pois tal topologia n ao existe! d2 e uma m etrica em M , mas n ao em R, ao contr ario do que ocorre com d1 . Poder-se-ia, ent ao, argumentar que d2 e uma m etrica em X = (0, ) (de fato e, verique!) e que M e um subconjunto fechado de X = (0, ) nessa topologia (de fato e, verique!). Sucede, por em, que X = (0, ) n ao e completo em rela ca o a d2 , pelo mesmo exemplo de acima, e isso viola uma das condi co es da Proposi ca o 24.8 da p agina 1182 (ou equivalentemente, da Proposi ca o 26.11, p agina 1270).

etricas que geram uma mesma topologia, mas que diferem no E. 24.36 Exerc cio. Um outro exemplo (de [233]) de m y x que concerne ` a completeza e o seguinte. Considere M = R. Mostre que ds (x, y ) := 1+ e uma m etrica em R. |x| 1+|y | Mostre que essa m etrica gera a mesma topologia que a m etrica usual de R. Mostre que an = n e uma seq u encia de Cauchy na m etrica ds mas que n ao converge em R nessa m etrica. e fechado na tolopogia induzida pela m etrica ds , acima. Por que ent ao os fatos descritos E. 24.37 Exerc cio. O conjunto R no Exerc cio E. 24.36 n ao est ao em contradi c ao com a Proposi c ao 24.8, p agina 1182?

24.3

Pseudo-M etricas

Seja M um conjunto n ao-vazio. Uma fun ca o d : M M R que satisfaz 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(y, z ). 4. Para todo x M vale d(x, x) = 0. e dita ser uma pseudo-m etrica em M . Como j a provamos no Coment ario da p agina 1167, as condi co es de positividade e simetria seguem da desigualdade triangular e da condi ca o que d(x, x) = 0 para todo x M . Assim, para denir-se a no ca o de pseudo-m etrica basta listar 1. Desigualdade triangular: para todos x, y, z M vale d(x, y ) d(x, z ) + d(y, z ). 2. Para todo x M vale d(x, x) = 0.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1184/2069

Os outros items s ao listados apenas por enfase. O seguinte fato e evidente: toda m etrica e uma pseudo-m etrica e uma pseudo-m etrica d e uma m etrica somente se d(x, y ) = 0 implicar x = y . Assim, em uma pseudo-m etrica pode haver pontos distintos x e y tais que d(x, y ) = 0. Passemos agora a discutir uma outra propriedade de pseudo-m etricas de particular import ancia na teoria dos chamados espa cos localmente convexos. Seja d : M M R uma pseudo-m etrica. Ent ao, f : M M R denida por f (a, b) = e tamb em uma pseudo-m etrica. Em primeiro lugar, e claro que f (a, a) = 0 para todo a M . Como a simetria de f e tamb em obvia, precisamos apenas mostrar que f satisfaz a desigualdade triangular. Para demonstrar isso, notemos em primeiro lugar que a fun ca o l(x) = e crescente para x 0. De fato, se y > x 0, ent ao l(y ) l(x) = yx > 0. (1 + y )(1 + x) x 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(a, c) d(c, b) + 1 + d(a, c) + d(c, b) 1 + d(a, c) + d(c, b) d(c, b) d(a, c) + 1 + d(a, c) 1 + d(c, b) f (a, c) + f (c, b) , (24.18)

provando a desigualdade triangular para f . Acima, na passagem da terceira para a quarta linha usamos os fatos obvios 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 e positiva. Uma conseq u encia disso e que se d e uma m etrica ent ao f tamb em o e. e? E. 24.38 Exerc cio. Por qu Fam lias de Pseudo-M etricas

Em muitas situa co es s ao denidas em um conjunto M n ao uma mas toda uma fam lia de pseudo-m etricas: D = {d , }, sendo um conjunto arbitr ario n ao-vazio de ndices, onde todas as d s ao pseudo-m etricas.

Tem-se a seguinte proposi ca o, que mostra que a toda fam lia cont avel de pseudo-m etricas que separa pontos vem naturalmente associada uma m etrica:

Diz-se que uma fam lia de pseudo-m etricas: D = {d , } separa pontos se para quaisquer dois pontos distintos x, y M existir um 0 tal que d0 (x, y ) = 0.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1185/2069

Proposi c ao 24.9 Seja M um conjunto e seja D = {dn , n N} uma fam lia cont avel de pseudo-m etricas em M que separa pontos. Ent ao, D : M M R denida por D(x, y ) = e uma m etrica em M . 1 dn (x, y ) n 1 + d (x, y ) 2 n n=1

Prova. Em primeiro lugar notemos que a soma innita do lado direito e bem denida pois 0 dn (x, y ) 1 1 + dn (x, y )

e o fator 2n garante a converg encia. Que D e uma pseudo-m etrica e evidente pelo fato que cada termo dn (x, y )/(1 + dn (x, y )) o e, como vimos acima. Resta mostrar que D(x, y ) = 0 implica x = y . Como a soma cont em apenas termos positivos, D(x, y ) = 0 s o e poss vel se dn (x, y ) = 0 para todo n N. Como D separa pontos, se tiv essemos x = y haveria pelo menos um m para o qual dm (x, y ) = 0. Como tal n ao e o caso, tem-se for cosamente x = y .

24.4

Espa cos de Fun co es Limitadas e Completeza

Nesta se ca o apresentaremos alguns resultados importantes sobre a completeza de certos espa cos de fun co es. O Corol ario 24.1, adiante, generaliza a Proposi ca o 24.6, da p agina 1175. Os resultados apresentados abaixo ser ao utilizados quando discutirmos certos exemplos espa cos de Banach e em outros lugares deste texto. Fun co es limitadas sobre um espa co m etrico

Seja X um conjunto n ao-vazio e M um conjunto, tamb em n ao-vazio, dotado de uma m etrica d. Dizemos que uma fun ca o f : X M e uma fun c ao d-limitada (ou simplesmente uma fun c ao limitada quando a m etrica d estiver impl cita) se existir um ponto de refer encia y M e uma constante K 0 tais que d f (x), y K para todo x X .

Note que se f e d-limitada segundo essa deni ca o, ent ao para qualquer z M valer a, pela desigualdade triangular, d f (x), z d f (x), y + d(y, z ) K + d(y, z ). Assim, a deni ca o de fun ca o limitada dada acima independe do ponto de refer encia y M tomado, podendo este ser substitu do por qualquer outro, eventualmente mudando a constante K adotada.

Podemos, portanto, alternativamente denir a no ca o de fun ca o d-limitada da seguinte forma: dizemos que uma fun ca o f : X M e uma fun c ao limitada, ou uma fun c ao d-limitada se para todo y M existir uma constante K 0 (eventualmente dependente de y ) tal que d f (x), y K para todo x X . Vale, equivalentemente, dizer que f : X M e d-limitada se para algum y M valer sup d f (x), y , x X < . O conjunto de todas as fun co es limitadas de X em M e denotado por B(X, M ) (ou por B(X, M, d) quando for necess ario especicar a m etrica em M em rela ca o ` a qual a no ca o de limita ca o e considerada). O conjunto B(X, M, d) e ele mesmo um espa co m etrico em rela ca o ` a m etrica d denida por d (f, g ) := sup d f (x), g (x) , x X (24.19)

para todas f, g B(X, M, d). Que tal realmente dene uma m etrica pode ser facilmente demonstrado. Em primeiro lugar, e 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 d (f, g ) = 0 para algum par f, g B(X, M, d) ent ao, segundo a deni ca o, d(f (x), g (x)) = 0 para todo x X , o 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

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1186/2069

provando a desigualdade triangular d (f, g ) d (f, h) + d (h, g ) para todos f, g, h B(X, M, d). A m etrica d e freq uentemente denominada m etrica uniforme. Completeza das fun co es limitadas sobre um espa co m etrico completo

O seguinte teorema sobre o conjunto de fun co es limitadas B(X, M, d), v alido quando M e completo, e fundamental.

Teorema 24.2 Sejam X e M conjuntos n ao-vazios e M dotado de uma m etrica d. Suponhamos que M seja completo na m etrica d. Ent ao, B(X, M, d) e completo na m etrica uniforme d denida por d (f, g ) := sup d f (x), g (x) , x X para todas f, g B(X, M, d). Prova. Seja fn uma seq u encia de Cauchy em B(X, M, d) em rela ca o ` a m etrica d . Ent ao, para todo > 0 existe um inteiro 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 X sempre que m e n sejam maiores que N (). Assim, para cada x X xo, a seq u encia fn (x) de elementos de M e uma seq u encia de Cauchy na m etrica d. Como M e completo, segue que cada seq u encia fn (x) e convergente em M . Vamos denominar por f (x) seu limite. Seja f a fun ca o X x f (x). Essa fun ca o f e um forte candidato a ser o limite da seq u encia {fn }nN na m etrica d . Colocamo-nos, ent ao, as seguintes quest oes: 1. Ser a a fun ca o f tamb em um elemento de B(X, M, d), ou seja, uma fun ca o d-limitada? 2. Se a resposta ` a pergunta anterior for positiva, ser a que a seq u encia fm converge ` a fun ca o f na m etrica d ? Se a resposta a essas perguntas for positiva (e veremos que e), estar a provado que B(X, M, d) e completo na m etrica d , como queremos provar. Seja > 0 arbitr ario. Vamos denir uma seq u encia crescente de n umeros inteiros e positivos Nk (), k = 1, 2, 3, . . . com Nk+1 () > Nk (), da seguinte forma: Nk () e tal que d (fm , fn ) < /2k para todos m, n > Nk (). Note que uma tal seq u encia Nk () sempre pode ser encontrada pois, por hip otese, fm e uma seq u encia de Cauchy em d . Vamos agora escolher uma seq u encia crescente de ndices n1 < n2 < < nk1 < nk < tais que nk > Nk (). A essa seq u encia est a associada a sub-seq u encia {fnk }kN . Note que, pela deni ca o, tem-se d (fnl+1 , fnl ) < , 2l (24.20) Precisamos agora mostrar que a seq u encia {fm }mN aproxima essa fun ca o f na m etrica d . < , sempre que m e n sejam maiores que N (). Isso signica que para cada x X tem-se d fn (x), fm (x) <

pois nl e nl+1 s ao maiores que Nl (). Com essas deni co es, teremos que para todo k > 1 vale, por uso repetido da desigualdade triangular d fnk (x), fn1 (x) para cada x X (justique!).
k 1 l=1

d fnl+1 (x), fnl (x)

(24.20)

<

k 1 l=1

1 = 1 k 1 l 2 2

(24.21)

De (24.21), 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 2 k 1 1 2 k 1 ,

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

O lado esquerdo desta express ao independe de k . Tomando-se o limite k e lembrando que a seq u encia fnk (x) converge a f (x) em M , conclu mos que (24.22) d f (x), fn1 (x) , para todo x M .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1187/2069

Se y M , vale d f (x), y d f (x), fn1 (x) + d fn1 (x), y

(24.22)

+ d fn1 (x), y .

e d-limitado, existe K 0 tal que d fn1 (x), y K para todo x X . Logo, d f (x), y K + para todo Como fn1 x X , provando que f B(X, M, d). Al em disso, como (24.22) vale para todo x, segue que d (f, fn1 ) = sup d f (x), fn1 (x) , x X . (24.23)

Isso demonstra que a seq u encia fn converge a f em rela ca o ` a m etrica d, completando a demonstra ca o. Fun co es cont nuas e limitadas sobre espa cos m etricos

A partir deste ponto utilizaremos no co es sobre continuidade de fun co es em espa cos topol ogicos gerais (vide Se ca o 29.5, p agina 1334) e sobre conjuntos compactos (vide Se ca o 31.3, p agina 1424). Se X e M s ao dois conjuntos n ao-vazios dotados topologias X e M , respectivamente, denotamos por C (X, M ) o conjunto de todas as fun co es cont nuas de X em M em rela ca o ` aquelas topologias (vide Se ca o 29.5, p agina 1334). Estamos interessados no caso em que M , e dotado de uma m etrica d e M e igual a d , a topologia gerada em M pela m etrica d. Denotamos C (X, M ) B(X, M, d), o conjunto de todas as fun co es cont nuas e d-limitadas de X em M , por Cb (X, M ). Como vimos acima, B(X, M, d) e um espa co m etrico com a m etrica uniforme d e, como tal, e um espa co etrica induzida por d em B(X, M, d). topol ogico. Denotamos por d a topologia m Teorema 24.3 Sejam X e M conjuntos n ao-vazios com X dotado de uma topologia X e M dotado de uma m etrica d. Suponhamos que M seja completo na m etrica d. Ent ao, Cb (X, M ), o conjunto de todas as fun c oes cont nuas e limitadas etrica d . de X em M , e um subconjunto d -fechado de B(X, M, d) e completo na m Prova. Sob as hip oteses, sabemos que B(X, M, d) e completo (Teorema 24.2, p agina 1186). Pelo Corol ario 26.2, p agina 1270, e suciente provarmos que seq u encias de elementos de Cb (X, M ) convergentes em B(X, M, d) na m etrica d convergem a uma fun ca o de Cb (X, M ). Portanto, uma seq u encia convergente de Cb (X, M ) convergir a a uma fun ca o de B(X, M, d), restando apenas provar que o limite e uma fun ca o cont nua. Supomos ent ao que fn seja uma seq u encia de Cb (X, M ) convergente em B(X, M, d) na m etrica d e que f B(X, M, d) seja seu limite. Desejamos provar que f e tamb em cont nua. Seja B M um conjunto d-aberto e seja A f 1 (B ) X sua pr e-imagem em X . Desejamos provar que A e um conjunto X -aberto (vide Se ca o 29.5, p agina 1334). A estrat egia da demonstra ca o e provarmos que para cada x A existe um conjunto X -aberto Ax inteiramente contido em A e que cont em x. Isso implica que A = xX Ax . Como o lado direito e uma uni ao de X -abertos, provou-se que A e um X -aberto.
1 (Bx ), onde nx e algum inteiro (eventualmente dependente de x) e Bx M , Os conjuntos Ax ser ao da forma Ax = fn x satisfazendo: 1 (Bx ) e um X -aberto, pois as fun co es fn s ao cont nuas), i. Bx e um d-aberto em M (o que garante que Ax = fn x 1 (Bx ) = Ax ) e ii. fnx (x) Bx (o que garante que x fn x 1 1 (Bx ) A). (Bx ) A (o que garante Ax = fn iii. fn x x

Armamos que Bx := B f (x), rx /2 tem as propriedades desejadas. Naturalmente Bx B f (x), rx B , sendo que Bx e d-aberto e cont em f (x). Agora, se escolhermos nx grande o suciente teremos d (f, fnx ) < rx 4

Toda a demonstra ca o resume-se agora em encontrar um conjunto Bx com as propriedades acima para cada x A = f 1 (B ). Seja ent ao x um elemento gen erico de A. Como B e aberto, existe uma bola aberta centrada em f (x) de um certo raio rx > 0 que est a inteiramente contida em B (vide deni ca o de conjuntos abertos em espa cos m etricos ` a p agina 1180), B f (x), rx B .

(24.24)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1188/2069

pois fn converge a f na m etrica d , por hip otese, e, portanto, d f (x), fnx (x) d (f, fnx ) < rx , 4 (24.25)

1 (Bx ) A, o que ser a feito do que conclu mos que fnx (x) B f (x), rx /4 B f (x), rx /2 = Bx . Resta provar que fn x 1 ao, f (z ) B . Por em, por contradi ca o. Suponha que exista z fnx (Bx ) tal que z A. Ent fnx (z )Bx

d f (x), f (z )

d f (x), fnx (z ) + d fnx (z ), f (z )

rx + d fnx (z ), f (z ) 2

rx + d fnx , f 2
(24.24)

rx rx 3rx + = , 2 4 4

ca o. provando que f (z ) B f (x), 3rx /4 B f (x), rx B , uma contradi

Com as considera co es precedentes isso prova que f e cont nua, estabelecendo que Cb (X, M ) e um subconjunto d fechado de B(X, M, d). Pela Proposi ca o 26.11, p agina 1270, isso implica que Cb (X, M ) e completo na m etrica d , completando a demonstra ca o. O Teorema 24.3 tem o seguinte corol ario imediato:

Corol ario 24.1 Sejam X e M conjuntos n ao-vazios com X dotado de uma topologia X e M dotado de uma m etrica d. Suponhamos que X seja X -compacto e que M seja completo na m etrica d. Ent ao, C (X, M ), o conjunto de todas etrica d . Note-se que as fun c oes cont nuas X em M , e um subconjunto d -fechado de B(X, M, d) e completo na m isso, em particular, arma que, sob as hip oteses, todo elemento de C (X, M ) e uma fun c ao d-limitada. Prova. Seja f C (X, M ). Para y M , xo, a aplica ca o F : X R+ denida por F (x) := d f (x), y e cont nua, por ser a composi ca o de duas fun co es cont nuas, f e d , y . Logo, pelo Teorema 31.16, p agina 1442, F tem um m aximo, o que signica dizer que f e d-limitada. Assim, provamos que devido ` a compacidade de X toda fun ca o de C (X, M ) e d-limitada, ou seja, C (X, M ) = Cb (X, M ). Portanto, as armativas do enunciado seguem do Teorema 24.3. bastante claro que o Corol E ario 24.1 generaliza a Proposi ca o 24.6, da p agina 1175.

24.5

Espa cos de Banach e de Hilbert

Nesta se ca o suporemos que o leitor esteja familiarizado com os conceitos de produto escalar e norma em espa cos vetoriais, conceitos esses introduzidos na Se ca o 3.1.3, p agina 194, e, respectivamente, na Se ca o 3.2, p agina 197 (vide, em particular, p agina 194). Por simplicidade, trataremos tamb em apenas de espa cos vetoriais sob o corpo dos complexos. Espa cos de Banach

Se E e um espa co vetorial dotado de uma norma E , podemos, como j a comentamos, denir uma m etrica em E, a chamada m etrica induzida pela norma E , atrav es da express ao dE (u, v ) = u v E denida para todos u, v E. Assim, se E e um espa co vetorial normado, ent ao e tamb em um espa co m etrico com a m etrica induzida pela norma. Com isso em mente, introduzimos ent ao a seguinte importante deni c ao: Deni c ao Espa cos de Banach. Um espa co vetorial B e dito ser um espa co de Banach20 em rela ca o a uma norma nele denida se for um espa co m etrico completo em rela ca o ` a m etrica induzida por essa norma. Espa cos de Hilbert

Seja E um espa co vetorial dotado de um produto escalar , E . Como discutimos ` a p agina 200 e seguintes, podemos com o uso desse produto escalar denir uma norma em E por u E := u, u E . Essa norma e dita ser a norma induzida
20 Stefan

Banach (18921945).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1189/2069

pelo produto escalar , E . Ca mos, assim, no caso de acima, pois, sendo E um espa co vetorial normado, podemos denir uma m etrica em E atrav es da seguinte express ao: para u, v E, dE (u, v ) = uv
E

(u v ), (u v )

Assim, se E e um espa co vetorial dotado de um produto escalar, ent ao e tamb em um espa co m etrico com a m etrica induzida pelo produto escalar denida acima. Com isso em mente, introduzimos ent ao a seguinte importante deni ca o: co vetorial H e dito ser um espa co de Hilbert21 em rela ca o a um produto Deni c ao Espa cos de Hilbert. Um espa escalar nele denido se for um espa co m etrico completo em rela ca o ` a m etrica induzida por esse produto escalar. Nota hist orica.
A no ca o abstrata de Espa co de Hilbert foi introduzida por Schmidt22 , por volta de 1905, inspirado em id eias de Hilbert sobre equa co es integrais, notadamente sobre a equa ca o de Fredholm23 , discutida na Se ca o 16.3.2, p agina 790 e no Cap tulo 16, p agina 768. A no ca o abstrata de Espa co de Banach e posterior, tendo sido introduzida por Banach em 1920. O termo espa co de Banach foi cunhado por Fr echet24 .

Essa m etrica e dita ser a m etrica induzida pelo produto escalar , E .

O estudante deve notar que todo espa co de Hilbert e naturalmente um espa co de Banach. A rec proca n ao e necessariamente verdadeira, pois um espa co de Banach n ao e necessariamente dotado de um produto escalar. Para tal e necess ario (e suciente) que a norma satisfa ca a identidade do paralelogramo, rela ca o (3.31), p agina 201. Esse e o conte udo do Teorema de Fr echet, von Neumann e Jordan, Teorema 3.3, p agina 203. Tamb em ressaltamos ao estudante que n ao apenas a exist encia de um produto escalar e importante na deni ca o de um espa co de Hilbert, mas tamb em a propriedade de completeza, a qual e fundamental para a demonstra ca o de v arias propriedades importantes daqueles espa cos. Vide Cap tulo 36, p agina 1795. Exemplos 24.1 Os espa cos vetoriais de dimens ao nita Cn s ao espa cos de Banach em rela ca o ` a norma x
1/p p

+ |xn |p para todo p 1. O caso p = 2 e importante: Cn e um espa co de Hilbert em rela ca o ao produto escalar cos vetoriais reais Rn . Esses fatos ser ao provados logo adiante x, y C := x1 y1 + xn yn . O mesmo vale para os espa quando considerarmos os espa cos de seq u encias tipo p , p 1, os quais, como veremos, s ao exemplos de espa cos de Banach (de dimens ao innita). O espa co 2 e um espa co de Hilbert. Outro exemplo importante de espa co de Banach e o espa co vetorial C ([0, 1]). Provamos na Proposi ca o 24.6, p agina 1175, que C ([0, 1]) e completo na norma f := sup |f (x)|. Portanto, C ([0, 1]) e um espa co de Banach em rela ca o a essa norma.
x[0, 1]

:= |x1 |p +

Espa cos de Hilbert t em uma import ancia fundamental na Mec anica Qu antica e na Teoria Qu antica de Campos. Na Matem atica, espa cos de Banach e de Hilbert s ao tamb em fundamentais em areas como a teorias das equa co es diferenciais parciais (e outras). O estudo de espa cos de Hilbert e de Banach, e de operadores lineares agindo nos mesmos, comp oe uma area da Matem atica denominada An alise Funcional. Nestas Notas, estudaremos com mais detalhe as propriedades gerais de espa cos de Hilbert no Cap tulo 36, p agina 1795. No restante desta se ca o apresentaremos exemplos de espa cos de Hilbert e de Banach estudando espa cos de seq u encias. Espa cos de Banach em Espa cos de Fun co es

Os resultados da Se ca o 24.4, p agina 1185, permitem encontrar exemplos importantes de espa cos de Banach entre certos espa cos de fun co es: Exemplo 24.2 Seja X um conjunto n ao-vazio qualquer e seja B um espa co de Banach (em rela ca o ao corpo dos reais ou dos complexos) com norma B . Seja B(X, B ) o conjunto de todas as fun co es limitadas de X em B : B(X, B ) =
21 David

f : X B,

sup f (x)
xX

< .

Hilbert (18621943). Schmidt (18761959). Schmidt e conhecido por v arias contribui co es, como o Teorema de Hilbert-Schmidt sobre operadores compactos e, mais popularmente, pelo m etodo de ortogonaliza ca o de Gram-Schmidt, descrito na Se ca o 3.3, p agina 204. 23 Erik Ivar Fredholm (18661927). 24 Maurice Ren e Fr echet (18781973).
22 Erhard

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1190/2069

elementar constatar que B(X, B ) E e um espa co vetorial (em rela ca o ao corpo dos reais ou dos complexos) e que B(X, B ) f f := supxX f (x) B e uma norma em B(X, B ), a chamada norma uniforme. Pelo Teorema 24.2, p agina 1186, B(X, B ) e um espa co de Banach em rela ca o ` a norma uniforme. Exemplo 24.3 Seja X um espa co topol ogico e seja B um espa co de Banach (em rela ca o ao corpo dos reais ou dos complexos) com norma B . Seja Cb (X, B ) o conjunto de todas as fun co es cont nuas e limitadas de X em B : Cb (X, B ) = f : X B, f B(X, B ) e f e cont nua .

claro que Cb (X, B ) B(X, B ), que Cb (X, B ) E e um subespa co vetorial e que a norma uniforme est a denida em Cb (X, B ). Pelo Teorema 24.3, p agina 1187, Cb (X, B ) e um espa co de Banach em rela ca o ` a norma uniforme. Exemplo 24.4 Seja X um espa co topol ogico compacto e B um espa co de Banach (em rela ca o ao corpo dos reais ou dos complexos) com norma B . Seja C (X, B ) o conjunto de todas as as fun co es cont nuas X em B . Pelo Corol ario 24.1, p agina 1188, C (X, B ) e um espa co de Banach em rela ca o ` a norma uniforme. Alguns exemplos ilustrativos dos casos acima s ao encontrados entre espa cos de seq u encias, aos quais dedicaremos a Se ca o 24.5.1, p agina 1190.

24.5.1

Espa cos de Banach em Espa cos de Seq u encias

Vamos denotar por S(C) (por S(R)) a cole ca o de todas as seq u encias de n umeros complexos (reais). Um fato simples, mas importante de se comentar, e que S(C) e um espa co vetorial complexo (e, respectivamente, S(R) e um espa co vetorial real). De fato, se a e b s ao duas seq u encias de n umeros complexos podemos, para quaisquer , C denir e an alogo). a + b como sendo a seq u encia (a + b)n := an + bn , n N. (Para S(R), o caso Por simplicidade, iremos daqui para frente discutir apenas o espa co S(C), das seq u encias complexas, mas tudo o que falaremos tem seu an alogo para o espa co S(R).

O espa co vetorial S(C) possui v arios subespa cos, alguns de interesse especial, como os espa cos p , com p 1, e o espa co , os quais ser ao denidos mais adiante. O seguinte exerc cio exibe um dos subespa cos de S(C). E. 24.39 Exerc cio. Denotemos por c(C), ou simplesmente c, a cole c ao de todas as seq u encias de Cauchy de n umeros complexos com rela c ao ` a m etrica usual d(z, w) = |w z |, z, w C. Mostre que c(C) e um subespa co de S(C), ou seja, mostre que se {an }nN e {bn }nN s ao duas seq u encias de Cauchy de n umeros complexos, ent ao para quaisquer , C a seq u encia {an + bn }nN e tamb em uma seq u encia de Cauchy de n umeros complexos.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1191/2069

Outros exemplos de conjuntos de seq u encias s ao os seguintes25 : := {an }nN S(C) {an }nN S(C) sup |an | < . (24.26)

nN

:=

lim an existe na m etrica usual

(24.27)

c0

:=

{an }nN S(C)

n n=1

lim an = 0

(24.28)

:=

{an }nN S(C)

| a n |p <

(24.29)

:=

{an }nN S(C)

lim nk |an | = 0 para todo k > 0

(24.30)

:=

{an }nN S(C)

lim exp(rn)|an | = 0 para todo r > 0

(24.31)

:=

{an }nN S(C)

an = 0, exceto para um conjunto nito de ns

(24.32)

Acima, c coincide com a cole ca o de todas as seq u encias de Cauchy de complexos com rela ca o ` a m etrica usual d(z, w) = |w z |, z, w C pois C e completo nessa m etrica. Note que c0 c (justique!). Em um exerc cio ` a p agina 1192, discutiremos as rela co es de contin encia entre os conjuntos de seq u encias acima e provaremos que d j s p c0 c . E. 24.40 Exerc cio. Prove que os conjuntos d, j, s, c0 , c e s ao espa cos vetoriais. Mais adiante (Proposi ca o 24.10, p agina 1192) provaremos que os conjuntos p com p > 0 tamb em s ao espa cos vetoriais. As provas para 0 < p < 1 e p 1 s ao diferentes. Mostre que as seq u encias an = exp(n) e an = exp(n2 ), n N, pertencem a s. Mostre que 1 nenhuma seq u encia an = r , n = 1, 2, . . ., com r > 0, pertence a s. n E. 24.41 Exerc cio. Seq u encias e p Na express ao (24.26) denimos o conjunto , subconjunto de S(C), formado por todas as seq u encias limitadas, ou seja, uma seq u encia {an }nN e do tipo se existir algum M 0 tal que, para todo n, tem-se |an | < M . Note que as seq u encias limitadas n ao s ao de Cauchy, mas toda a seq u encia de Cauchy e limitada (por que?). Assim, c(C) . Exemplo 24.5 As seq u encias an = , an = /n2 , an = + /n an = + en , an = (1)n , an = sen (n ), n N, s ao, para todo , C, elementos de . As seq u encias an = (1)n e an = sen (n ) n ao s ao de Cauchy. E. 24.42 Exerc cio importante. Mostre que se {an }nN e {bn }nN s ao duas seq u encias do tipo ent ao, para quaisquer , C a seq u encia {an + bn }nN e tamb em do tipo . Esse exerc cio diz-nos que n ao e apenas um subconjunto, mas tamb em um subespa co vetorial de S(C). Mais
25 A

ordena ca o dessa lista de exemplos e inspirada em [195].

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1192/2069

ca o a uma norma conveniente, a saber, a norma denida adiante, mostraremos que e um espa co de Banach em rela no pr oximo exerc cio. E. 24.43 Exerc cio importante. Seja a {an }nN . Mostre que a dene uma norma em . Outra fam lia importante de subconjuntos de S(C) e formada pelas chamadas seq u encias p , com p R, p > 0: p := {an }nN S(C)
n=1

:= sup |an |
nN

| a n |p < 1

, n = 1 , 2 , 3 , . . ., e do tipo p . O que n 1 acontece se = 0? Mostre que an = , n = 1, 2, 3, . . ., e do tipo p para todo p > 1 mas n ao e do tipo 1 . Mostre que a n seq u encia an = exp(n), n = 1, 2, 3, . . ., pertence a todos os espa cos p com p > 0. E. 24.44 Exerc cio.
1 p +

Seja p > 0. Mostre que para > 0 a seq u encia an =

Pela deni ca o, se {an }nN e uma seq u encia de tipo p , ent ao a s erie n=1 |an |p e convergente. Isso s o e poss vel se 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 ent ao que |an |p |an |p para todo n > N0 . E. 24.45 Exerc cio. Use esses fatos para concluir que p p para todos p, p com 0 < p p . E. 24.46 Exerc cio. Conclua tamb em que d j s p p c0 c , para todos p, p com 0 < p p . E. 24.47 Exerc cio. D e exemplos de elementos de que n ao pertencem a nenhum dos demais conjuntos acima. e exemplos de elementos de c0 que n ao pertencem a nenhum p com p > 0. Sugest ao: considere E. 24.48 Exerc cio. D 1 1 a seq u encia an = = 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 (ln(x))p b ln(b) u Vamos agora estabelecer um fato importante sobre os conjuntos de seq u encias: combina co es lineares de seq u encias p s ao tamb em seq u encias p . A estrutura linear dos conjuntos p Proposi c ao 24.10 Os conjuntos p , com p > 0, s ao espa cos vetoriais complexos. A prova faz uso da Proposi ca o 5.12, p agina 251, da Se ca o 5.2.3, p agina 250.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1193/2069

Caso 0 < p < 1. Sejam a, b C. Como |a + b| |a| + |b|, a segunda desigualdade em (5.36), p agina 252, implica |a + b|p (|a| + |b|)p |a|p + |b|p . Assim, se an e bn s ao duas seq u encias do tipo p com 0 < p < 1, teremos
n=1 n=1 n=1

Prova. H a dois casos a considerar em separado: 0 < p < 1 e p 1.

|an + bn |p ||p

| a n | p + | |p

|b n |p <

(24.33)

para quaisquer , C. Isso provou que a seq u encia an + bn tamb em e uma seq u encia do tipo p com 0 < p < 1. Assim, p com 0 < p < 1 e um espa co vetorial complexo. Caso p 1. Sejam a, b C. Como |a + b| |a| + |b|, a segunda desigualdade em (5.37), p agina 252, implica |a + b|p (|a| + |b|)p 2p1 (|a|p + |b|p ) . Assim, se an e bn s ao duas seq u encias do tipo p com p 1, teremos
n=1 n=1 n=1

|an + bn |

p1

||

|a n | + 2

p1

| |

|b n |p <

para quaisquer , C. Isso provou que a seq u encia an + bn tamb em e uma seq u encia do tipo p com p 1. Isso e o que quer amos provar. Mais adiante demonstraremos o seguinte fato muito importante: para todo p 1 os conjuntos p n ao s ao meramente espa cos vetoriais, mas tamb em espa cos vetoriais normados, com a norma a :=
n=1
1 p

|a n |

(24.34)

para a {an }nN p , p 1. Que essa express ao de fato dene uma norma em p , p 1, n ao e nada obvio e ser a provado mais adiante. Mais que isso, cada espa co p , p 1, e um espa co de Banach em rela ca o ` a norma acima. Veremos tamb em que 2 e um espa co de Hilbert com produto escalar a, b := onde a {an }nN , b {bn }nN 2 .
n=1

an b n ,

Para 0 < p < 1 a situa ca o e diferente. Nesse caso, os conjuntos p ainda s ao espa cos vetoriais, mas para 0 < p < 1 a express ao (24.34) n ao representa uma norma. Esse fato reduz um tanto o interesse nesses espa cos. Vale, por em a seguinte arma ca o: Proposi c ao 24.11 Para cada 0 < p < 1 os espa cos p s ao espa cos m etricos com a m etrica Dp (a, b) = a, b p . Prova. A desigualdade triangular para Dp segue facilmente de (24.33).
n=1

|a n b n |p ,

(24.35)

poss Note-se que (24.35) dene uma m etrica, n ao uma norma. E vel provar tamb em, por uma modica ca o do Teorema de Riesz-Fischer, que veremos adiante, que para cada 0 < p < 1 os espa cos p s ao completos na m etrica Dp denida acima.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1194/2069

As desigualdades de H older e Minkowski para seq u encias

Vamos aqui enunciar e demonstrar em um caso particular duas desigualdades importantes que tornaremos a encontrar quando tratarmos da teoria da integra ca o e de espa cos de Banach, as quais s ao conhecidas como desigualdades de H older26 27 e de Minkowski . Uma demonstra ca o alternativa da desigualdade de Minkowski para seq u encias (nitas ou n ao) usando convexidade pode ser encontrada na Se ca o 5.2.3.1, p agina 253. Uma generaliza ca o para espa cos de fun co es p-integr aveis em espa cos de medida encontra-se na Se ca o 30.4.1, p agina 1378. Teorema 24.4 Desigualdades de H older e de Minkowski para seq u encias I. Desigualdade de H older. 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 = + . Ent ao, vale r p q (24.36)

|xi | |yi |

i=1

1/p

|xi |

i=1

1/q

|y i |

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

(24.37)

II. Desigualdade de Minkowski. Sejam x = {xi }iN e y = {yi }iN , ambas do tipo p com p 1. Ent ao, vale
i=1 1/p

|xi + yi |

i=1

1/p

|xi |

i=1

1/p

|y i |

(24.38)

As desigualdades de H older e Minkowski ser ao demonstradas nas p aginas seguintes. Vamos antes a alguns coment arios. older Para duas seq u encias x e y denotamos por x y a seq u encia produto (x y )i := xi yi , i N. A desigualdade de H 1 1 1 (24.36) arma, portanto, que se x p com p > 0, y q com q > 0, ent ao x y r com = + . Analogamente, r p q conclu mos da desigualdade (24.37) que se x p com p > 0 e y , ent ao x y p . 1 1 O caso particular mais relevante da desigualdade de H older acima se d a para p > 1 e q > 1 com + = 1. Nesse p q caso, a desigualdade de H older (24.36) arma que
i=1

|xi | |yi |

i=1

1/p

|xi |

i=1

1/q

|y i |

(24.39)

A desigualdade de Minkowski tamb em pode ser usada para mostrar que os conjuntos p com p 1 s ao espa cos vetoriais (fa ca-o!), fato que j a estabelecemos com mais generalidade na Proposi ca o 24.10, p agina 1192. O fato mais importante, por em, e que a desigualdade de Minkowski arma que x :=
i=1 1/p

|xi |p

e uma norma nos espa cos p , p 1, pois arma que x+y

26 Otto 27 Hermann

+ y

x, y p ,

Ludwig H older (18591937). Minkowski (18641909). O nome de Minkowski surge tamb em na Teoria da Relatividade.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1195/2069

as demais condi co es que denem norma sendo elementares de se provar. Mostraremos logo adiante (p agina 1199) que os espa cos p , p 1, s ao exemplos de espa cos de Banach em rela ca o ` as normas acima e que o espa co 2 e, em particular, um espa co de Hilbert. Com essa deni ca o de norma, podemos reescrever a desigualdade de H older (24.36) nos casos em que p > 1, q > 1 e 1 1 r 1 com p +1 = na forma q r xy r x p y q , (24.40) onde x y e a seq u encia produto (x y )i := xi yi , i N. Para p 1, a desigualdade (24.37) ca xy para todos x p e y . Vamos agora ent ao provar a desigualdade de H older (24.36). Para come car, notemos que a desigualdade de H older (24.36) para r > 0 e conseq u encia do caso particular r = 1. De fato, sejam {xi }iN p e {yi }iN q com 1 1 1 + = , p q r sendo 0 < p < e 0 < q < . Denindo novas seq u encias {ai }iN e {bi }iN tais que |ai | = |xi |r e |bi | = |yi |r e denindo p = p/r e q = q/r, teremos
i=1 p

A desigualdade de H older. Demonstra c ao

|a i |p =

i=1

|xi |p <

i=1

| b i |q =

i=1

|y i |q <

o que prova que {ai }iN p e {bi }iN q . Como 1 1 + = 1, p q ent ao, supondo v alida a desigualdade de H older (24.36) no caso r = 1, teremos
i=1 1/r

|xi | |yi |

i=1

1/r

|ai ||bi |
1/p i=1 1/q

(24.36) com

r =1

i=1

| a i |p

|b i |q

1/r

i=1

r/p

|xi |p
1/p

i=1

r/q

|y i |q
1/q

1/r

i=1

|xi |

i=1

|y i |

que e a desigualdade de H older (24.36) no caso geral r > 0. Por causa disso, basta demonstrarmos (24.36) para o caso r = 1, que e o que faremos. Nossa estrat egia ser a provar primeiro a desigualdade de H older (24.36), com r = 1, para seq u encias nitas e depois generalizar para seq u encias innitas. Sejam x1 , . . . , xn e y1 , . . . , yn duas seq u encias nitas arbitr arias de n umeros complexos (n N). A desigualdade de H older arma que
n i=1 n 1/p n i=1 1/q

|xi ||yi |

i=1

|xi |p

|y i |q

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1196/2069

para quaisquer p, q com 1 < p < e 1 < q < e tais que

1 1 + = 1. Vamos a isso. Em primeiro lugar, note que a p q desigualdade e trivialmente verdadeira caso todos os xi ou todos os yi sejam nulos, pois nesse caso tanto o lado direito quanto o lado esquerdo da desigualdade s ao iguais a zero. Vamos ent ao considerar o caso em que os xi e os yi n ao s ao todos identicamente nulos. Sejam, para um j xo a =
n

|xj |p |xi |
p

b =

|y j |q |y i |
q

i=1

i=1

Da desigualdade de Young (5.35), tratada na Se ca o 5.2.3, p agina 250, segue que |xj ||yj |
1/p 1/q

n i=1

1 p

|xj |p |xi |p

1 q

|y j |q | y i |q

|xi |

p i=1

|y i |

q i=1

i=1

Somando ambos os lados dessa 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

| y j |q = |y i |
q

1 1 + = 1, p q

(24.41)

|xi |p

|y i |q

que e o que quer amos provar. Vamos agora generalizar a desigualdade de H older para seq u encias innitas. Seja {xi }iN uma seq u encia do tipo p e seja {yi }iN uma seq u encia do tipo q com 1 < p < , 1 < q < e 1/p + 1/q = 1. Como vimos, temos para qualquer n N a desigualdade
n n 1/p n 1/q i=1

|xi ||yi |
i=1

i=1

|xi |

p i=1

|y i |

Assim, segue que

n i=1 1/p

|xi ||yi |

|xi |

i=1

1/q

|y i |

< .
n

Essa desigualdade vale para todo n e diz, em particular, que a seq u encia sn = e limitada. Assim, existe lim sn e vale
n i=1 i=1 1/p i=1 1/q i=1

|xi ||yi |, n N, e mon otona crescente

|xi ||yi |

|xi |

|y i |

< .

Essa u ltima rela ca o e a de H older (24.36), com r = 1. Isso provou (24.36) para todo r > 0. A desigualdade de H older (24.39) envolve seq u encias dos tipos p e q com 1/p + 1/q = 1, sendo que 1 < p < e de se notar que os casos p = 1 ou q = 1 foram exclu 1 < q < . E dos. H a tamb em uma desigualdade como a de H older envolvendo a seq u encias do tipo p e , incluindo o caso p = 1. Sejam {xi }iN uma seq u encia do tipo p com p > 0 e {yi }iN uma seq u encia do tipo . Ent ao, e bem f acil de se vericar que
i=1 1/p

|xi | |yi |

i=1

1/p

|xi |

sup |yi |
iN

Essa e a desigualdade de H older (24.37).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1197/2069

A desigualdade de H older pode ser generalizada ainda mais, como veremos quando tratarmos da teoria da integra ca o. Vamos agora provar uma das conseq u encias da desigualdade de H older, conhecida como desigualdade de Minkowski. A desigualdade de Minkowski. Demonstra c ao

Novamente, nossa estrat egia ser a considerar primeiro seq u encias nitas e depois estender o obtido para seq u encias innitas.

Sejam x1 , . . . , xn e y1 , . . . , yn duas seq u encias nitas arbitr arias de n umeros complexos (n N). A desigualdade de Minkowski arma que
n i=1 1/p n 1/p n 1/p

|xi + yi |p

i=1

|xi |p

+
i=1

| y i |p

para qualquer p 1. Vamos demonstr a-la. O caso p = 1 e trivial (por que?). Consideremos ent ao p > 1. Teremos que
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 .

(24.42)

Usando a desigualdade de H older (caso r = 1) podemos dizer que

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 u ltima desigualdade diz ent ao que
n i=1 n 1/p n i=1 1/q

|xi ||xi + yi |

p1

i=1

|xi |

|xi + yi |

e, analogamente,
n i=1 n 1/p n i=1 1/q

|yi ||xi + yi |p1

i=1

| y i |p

|xi + yi |p

Substituindo estas duas u ltimas rela co es em (24.42), teremos

n n 1/p n i=1

1/p

|xi + yi |

donde tiramos que

n i=1

i=1

|xi |

i=1

|y i |

n i=1

1/q

|xi + yi |

1/p

1/p

1/p

|xi + yi |

i=1

|xi |

+
i=1

|y i |

(24.43)

que e o que quer amos provar. Assim como a desigualdade de H older, a desigualdade de Minkowski pode ser generalizada para seq u encias innitas. Sejam {xi }iN e {yi }iN seq u encias innitas de n umeros complexos, ambas do tipo p . Temos que, para qualquer n N,
n i=1 1/p n 1/p n 1/p

|xi + yi |

i=1

|xi |

+
i=1

|y i |

i=1 n

1/p

|xi |

i=1 1/p

1/p

|y i |

< .

Como a desigualdade vale para qualquer n, segue que a seq u encia sn = e limitada e, portanto, converge. Fora isso, vale
i=1 1/p i=1

|xi + yi |
1/p

, n N, e mon otona crescente

|xi + yi |p

i=1

1/p

|xi |p

i=1

|y i |p

< .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1198/2069

Essa e a desigualdade de Minkowski para seq u encias innitas de n umeros complexos {xi }iN e {yi }iN , ambas do tipo p com p 1. Isso completa a prova do Teorema 24.4. Em [204] e leitor poder a encontrar uma interessante demonstra ca o da desigualdade de Minkowski que n ao faz uso da de H older. Dualidade em espa cos p

Na Proposi ca o 37.6, p agina 1832, demonstraremos com o uso da desigualdade de H older que q pode ser identicado 1 como o dual topol ogico de p (e vice-versa) para todos 1 < p < e 1 < q < relacionados por p +1 q = 1, ou seja, todo u encia bk , k N, pertence a funcional linear cont nuo em p e da forma lb (a) = k=1 bk ak , para todo a p , onde a seq q . A desigualdade de Cauchy para seq u encias. Um produto escalar para 2

A desigualdade de H older tem um caso particular bastante especial. Sejam {xi }iN e {yi }iN duas seq u encias de n umeros complexos complexos do tipo 2 . Ent ao, a desigualdade de H older nos diz que
i=1

|xi ||yi |

i=1

1/2

|xi |2

i=1

1/2

| y i |2

(24.44)

Essa desigualdade e conhecida como desigualdade de Cauchy (para seq u encias) e e, sem exagero, uma das desigualdades mais importantes. Muitos resultados importantes s ao extra dos dela, alguns dos quais iremos tratar adiante. A express ao (24.44) mostra-nos que para quaisquer {xi }iN , {yi }iN 2 a s erie complexa i=1 xi yi e absolutamente convergente e, portanto, convergente. Com isso, ela dene um produto escalar em 2 , que denotamos por x, y 2 : x, y
2

:=

i=1

xi yi .

(24.45)

ultimas arma co es, ou seja, prove que x, y E. 24.49 Exerc cio. Prove essas em 2 .

denida em (24.45) e um produto escalar

Como veremos adiante, 2 e completo na norma relacionada a esse produto escalar, que e a norma que 2 e um espa co de Hilbert. Veremos agora uma aplica ca o da desigualdade de Minkowski. As M etricas dp em Cn

2.

Isso prova

Seja X = Cn (ou Rn ) para algum n N e seja a seguinte fun ca o em X X : dp (x, y ) = |x1 y1 |p + + |xn yn |p
1 p

onde p R, p 1, x = (x1 , . . . , xn ) Cn e y = (y1 , . . . , yn ) Cn .

Mostrar que, para p 1, dp dene uma m etrica em X e bem simples. A u nica diculdade est a em demonstrar a desigualdade triangular, o que pode ser feito facilmente com o uso da desigualdade de Minkowski mostrada acima. Para outra demonstra ca o da desigualdade de Minkowski, vide Se ca o 5.2.3.1, p agina 253.

E. 24.50 Exerc cio. 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 m etrica d2 e id entica ` a m etrica Euclidiana dE introduzida anteriormente. Nesse sentido as m etricas dp s ao um tipo de generaliza ca o da m etrica Euclidiana usual.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1199/2069

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 ` a p agina 197) x Note que x
p, n

p, n

e de fato uma semi-norma em p , p 1, pois satisfaz x x+y

p, n

n j =1

|xj |p
p, n

1/p

. = || x para todo C e

(24.46)

p, n

p, n

+ y

p, n

(24.47)

para todos x, y p , p 1, devido ` a desigualdade de Minkowski para seq u encias nitas (24.43). Note tamb em que x
p, n

para todo x p , p 1 e todo n N. Por m, para qualquer x p , vale x

p

<
p, n

(24.48)

= lim

Sabemos do Corol ario 5.5, p agina 253, que para z, w C, valem as desigualdades |z + w|p + |z w|p 2 |z |p + |w|p imediato dessas desigualdades que para todos para 0 < p < 2 e |z + w|p + |z w|p 2p1 |z |p + |w|p , para p 2. E u, v p valem u+v
p p

Generalizando a identidade do paralelogramo

e u+v

+ uv

p p

p p

+ v u
p p

p p

caso 1 p < 2 , caso p 2 .

(24.49)

p p

+ uv

p p

2p1

+ v

p p

(24.50)

Note-se que no caso p = 2 (e somente nesse caso), (24.50) n ao e apenas uma desigualdade, mas sim uma igualdade, a identidade do paralelogramo. E. 24.51 Exerc cio. Mostre isso! As desigualdades (24.49) e (24.50) substituem em certos casos a identidade do paralelogramo. Veremos sua utilidade quando discutirmos a propriedade de convexidade uniforme na Se ca o 24.6, p agina 1201. O Teorema de Riesz-Fischer para seq u encias. Completeza dos espa cos e p , p 1

Vamos agora mostrar que os espa cos p , p 1, e s ao completos em rela ca o ` as suas respectivas normas. Essa arma ca o, especialmente na sua forma mais geral, em espa cos de fun co es mensur aveis (tratada na Se ca o 30.4.2, p agina 1381), e conhecida como Teorema de Riesz28 -Fischer29 e data de 1907. Seja p 1, xo, e seja {am }mN , uma seq u encia de elementos de p . Como cada am e uma seq u encia de n umeros m complexos, indicaremos seus elementos por ai , i N. Assim, convencionamos que o ndice superior indexa a seq u encia e o inferior e o ndice de cada elemento da seq u encia. Suponhamos que {am }mN seja uma seq u encia de Cauchy em p na m etrica induzida pela norma p . Isso signica que para todo > 0 existe um inteiro N () > 0 tal que an am p < sempre que m, n > N (). Assim, se m, n > N (), n e f acil ver que, para os elementos am i e ai isso signica que 1/p |a m i an i| Isso diz-nos que, para cada i xo, a seq u encia de n umeros {an e uma seq u encia de Cauchy em C e, portanto, i }nN converge (pois C e completo). Seja i C o limite dessa seq u encia.
28 Frigyes 29 Ernst

j =1

n p |a m j aj |

an am

< .

Riesz (18801956). Sigismund Fischer (18751954).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1200/2069

A seq u encia = {i }iN e um forte candidato a ser o limite da seq u encia {an }nN na m etrica denida pela norma p . Colocamo-nos, ent ao, as seguintes quest oes: 1. Ser a a seq u encia tamb em um elemento de p ? 2. Se a resposta ` a pergunta anterior for positiva, ser a que a seq u encia am converge ` a seq u encia = {i }iN na norma de p ? Se a resposta a essas perguntas for positiva, estar a provado que p e completo. Seja > 0 arbitr ario. Vamos denir uma seq u encia crescente de n umeros inteiros e positivos Nk (), k = 1, 2, 3, . . . com Nk+1 () > Nk (), da seguinte forma: Nk () e tal que am an p < /2k para todos m, n > Nk (). Note que uma tal seq u encia Nk () sempre pode ser encontrada pois, por hip otese, {am }mN e uma seq u encia de Cauchy em p . Vamos agora escolher uma seq u encia crescente de ndices n1 < n2 < < nk1 < nk < tais que nk > Nk (). A essa seq u encia est a associada a sub-seq u encia {ank }kN . Para simplicar a nota ca o, denotaremos bk ank , k = 1, 2, 3, . . .. Tem-se bl+1 bl p < l . (24.51) 2 pois nl e nl+1 s ao maiores que Nl (). Note que para cada i, bk i converge a i quando k . Com essas deni co es, teremos para todo k > 1 que (verique!) bk b1 = Utilizando as semi-normas bk
p, n , k 1 l=1

bl+1 bl .

denidas em (24.46), e usando (24.47) e (24.48) e (24.51), teremos = b1 +

k 1 l=1

p, n

bl+1 bl
k 1 l=1

p, n

(24.47)

b1

p, n

bl+1 bl

p, n

(24.48)

b1

k 1 l=1 k 1 l=1

bl+1 bl 2l < b1

(24.51)

<

b1

p+

b1

p+

l=1

= 2l

b1

+.

Assim, bk
n k p 1/p i=1 |bi | n k p, n p

+.

(24.52)

k Note que o lado esquerdo e e envolve uma soma nita de |bk i | s. Assim, como cada bi converge a i quando k temos, tomando o limite k , 1/p p |b k i| n 1/p

lim

=
i=1

i=1

|i |

=
p, n p

p, n

Como o lado direito de (24.52) n ao depende de k , conclu mos que que

n i=1

b1

+ para todo n N. Agora, isso diz

|i |p

b1

para todo n N. O lado direito n ao depende de n. Como o lado esquerdo e uma seq u encia crescente e limitada (pelo lado direito), segue que o lado esquerdo converge quando n . Isso prova ent ao que i=1 |i |p < , ou seja, p .

Resta-nos agora responder ` a segunda pergunta colocada ` a p agina 1200 e mostrar que a seq u encia am converge a em rela ca o ` a norma p . Repetindo o mesmo racioc nio que conduziu a (24.52), 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
1

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1201/2069

Com isso, provamos que todo p com p 1 e completo na norma denida por p e e, portanto, um espa co de Banach nessa norma. Como comentamos, isso tamb em implica que 2 e um espa co de Hilbert com rela ca o ao produto escalar denido em (24.45). A demonstra ca o que e um espa co de Banach em rela ca o ` a norma semi-normas x , n := sup |xi |.
1in

Como o lado direito independe de n, segue novamente pelo mesmo racioc nio de acima que b1 p Isso signica30 1 1 1 que para todo > 0 existe b p tal que b p . Como b e escolhido na seq u encia am , isso prova que m = limm a na topologia denida por p .

e id entica, adotando-se nesse caso as

E. 24.52 Exerc cio. Complete os detalhes da prova que e um espa co de Banach em rela c ao ` a norma

24.6

Teorema do Melhor Aproximante em Espa cos Normados Uniformemente Convexos

Seja V um espa co vetorial normado, seja C V um subconjunto n ao-vazio de V e seja x V . Dena-se D Dx, C := inf y x , y C , quantidade essa que pode ser interpretada como a menor dist ancia poss vel entre x e o conjunto C. H a diversos problemas que reduzem-se ` a seguinte quest ao: dados x V e C V , como acima, deseja-se saber se existe y C tal que y x = Dx, C e se um tal y , se existir, eu nico. Em um tal problema deseja-se, portanto, saber se existe um elemento y em C que assuma a menor dist ancia poss vel a um dado x V dentre todos os elementos de C e se um tal elemento y eou nico com tal propriedade. Um problema dessa natureza e por vezes dito ser um problema de minimaliza c ao, ou um problema de minimiza c ao. Se C for um subespa co de dimens ao nita de V , um tal problema e por vezes denominado um problema de Tchebychev31 . Condi co es que garantam exist encia e unicidade de solu co es de problemas de minimaliza ca o, como o que expusemos acima, s ao muito importantes tanto em aplica co es como por raz oes te oricas. A motiva ca o de Tchebychev, por exemplo, um dos pioneiros da area, envolvia um problema mec anico pr atico de transforma ca o de movimentos lineares em circulares (e vice-versa) em m aquinas dotadas de pist oes (vide [139]). J a na teoria dos espa cos de Hilbert, por exemplo, h a um teorema dessa natureza, denominado Teorema do Melhor Aproximante (Teorema 36.1, p agina 1797), que desempenha um papel fundamental naquele contexto. Na presente se ca o tencionamos apresentar um teorema que disp oe de condi co es sucientes bastante gerais para que um problema de minimaliza ca o possua solu ca o u nica. Nosso ponto de partida e a deni ca o da no ca o de espa co uniformemente convexo. O resultado principal desta se ca o e o Teorema 24.5, da p agina 1203. Ap os o mesmo faremos alguns coment arios gerais sobre problemas de minimaliza ca o como o que expusemos acima. O leitor interessado poder a encontrar na Se ca o 8.9, p agina 389, uma discuss ao detalhada sobre um outro problema de minimaliza ca o correlato, cuja solu ca o envolve a chamada pseudo-inversa de Moore-Penrose. Espa cos uniformemente convexos

ca o Seja W um espa co vetorial normado e seja B1 := z W, z 1 a bola fechada de raio 1 centrada em 0 (a no e um subconjunto de bola em um espa co normado foi introduzida a ` p agina 204). Sabemos (vide p agina 204) que B1 convexo de W . Um espa co vetorial normado W e dito ser um espa co uniformemente convexo se for v alida a seguinte propriedade: se xn + yn = 1, ent ao tem-se lim xn yn = 0. xn , yn B1 , n N, s ao seq u encias em B1 tais que valha lim n n 2 O signicado geom etrico da deni ca o e o seguinte. Se os pontos das seq u encias xn e yn encontram-se em B1 , ent ao
30 O 31 Pafnuty

Seja W um espa co vetorial (sobre os reais ou complexos). Recordemos que um conjunto n ao-vazio C W e dito ser convexo se valer x + (1 )y C para todos x, y C e [0, 1].

estudante aqui talvez tenha que recordar a maneira como b1 = an1 foi denido no par agrafo que antecede (24.51). Lvovich Tchebychev (18211894).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1202/2069

e o ponto intermedi ario entre xn e yn . Se os pontos (xn + yn )/2 encontra-se tamb em em B1 . Cada ponto (xn + yn )/2 xn + yn tivermos lim = 1, ent ao esses pontos intermedi arios est ao se aproximando da superf cie externa de B1 , o n 2 ca o de W ser uniformemente convexo diz que se isso ocorre, ent ao os pontos xn e yn aproximam-se bordo de B1 . A condi quando n . Em um sentido simples a condi ca o de um espa co ser uniformemente convexo garante que a bola B1 e sucientemente redonda para que se possa garantir que se o ponto intermedi ario entre dois pontos se aproxima de sua superf cie, ent ao esses dois pontos aproximam-se um do outro. O estudante deve nesse ponto notar que tal propriedade n ao e v alida, por exemplo, para um cilindro innito no espa co tridimensional R3 . Se o ponto intermedi ario entre dois pontos se aproxima da superf cie do cilindro, n ao se tem necessariamente que esses pontos se aproximam um do outro, pois eles podem tender a alinhar-se paralelamente ao eixo do cilindro, mantendo uma dist ancia n ao-nula entre si. Exemplo 24.6 Para ilustra ca o, considere-se em R3 (com a norma Euclidiana usual) o cilindro C := (x, y, z )

R3 , x2 + y 2 = 1 e considere-se as seq u encias em C dadas por xn = (1 1/n, 0, 0) e yn = (1 1/n, 0, 2), n N. Claro est a que (xn + yn )/2 = (1 1/n, 0, 1) e que esse ponto intermedi ario (xn + yn )/2 aproxima-se da superf cie do cilindro C (assim como os pontos xn e yn ) quando n , mas xn yn = 2 para todo n. Dois outros casos an alogos ser ao vistos no Exemplo 24.8, logo abaixo. Contemplando a Figura 3.1, p agina 205, a a convercer-se visualmente que o qual ilustra como s ao as bolas B1 para as normas p com 1 p , o leitor poder espa co R2 n ao e uniformemente convexo para das normas 1 e mas o e nos outros casos. Essas arma co es v ao ser tornadas rigorosas no que segue. Exemplos de espa cos normados uniformemente convexos

Vamos agora a exemplos de espa cos normados uniformemente convexos.

Vamos supor que a norma em V satisfa ca a identidade do paralelogramo (3.31), p agina 201. Como sabemos do Teorema de Fr echet, von Neumann e Jordan, Teorema 3.3, p agina 203, isso ocorre se e somente se a norma provier de um produto escalar em V . Em todo caso, se valer a identidade do paralelogramo, e elementar constatar que teremos xn + yn 2
2

xn yn 2

1 2

xn

+ yn

para quaisquer seq u encias xn e yn V . Se xn 1 e yn 1, segue disso que xn yn 2 Assim, a condi ca o limn
x n +y n 2 2

xn + yn 2

Constatamos, assim, que todo espa co de Hilbert e uniformemente convexo, por ser sua norma derivada de um produto escalar, satisfazendo, portanto, a identidade do paralelogramo.

= 1 implica limn xn yn = 0, estabelecendo que V e uniformemente convexo.

Os espa cos p com p 2 s ao tamb em uniformemente convexos. Para ver isso, fazemos isso da desigualdade (24.50). Adotando na mesma u = xn /2 e v = yn /2, n N, temos xn + yn 2 Verique! Assim, para xn
p p

+
p

xn yn 2

p p

1 2

xn

p p

+ yn

p p

1 e yn

1, temos xn yn 2
p p

xn + yn 2
p

.
p

yn 1 para n , teremos limn xn yn Logo, se xn + 2 p uniformemente convexos nas respectivas normas p .

= 0, estabelecendo que os espa cos p com p 2 s ao

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1203/2069

Os espa cos p com 1 < p < 2 tamb em s ao uniformemente convexos nas respectivas normas p , mas a demonstra ca o ao n ao ser a apresentada aqui (vide, e.g., [156]). Como veremos logo abaixo, os espa cos de seq u encias 1 e n ao s uniformemente convexos para as respectivas normas 1 e .

As mesmas arma co es de acima se aplicam (com as mesmas demonstra co es, essencialmente) aos espa cos de integra ca o Lp (). Para um tratamento que tamb em inclui o caso 1 < p < 2, vide tamb em [156].

Exemplos de espa cos normados que n ao s ao uniformemente convexos

Nem todo espa co normado e uniformemente convexo. Vejamos alguns exemplos relevantes.

Exemplo 24.7 Seja V = C [0, 1] o espa co vetorial das fun co es cont nuas no intervalo [0, 1] dotado da norma do u encias de fun co es fn (x) = 1, gn (x) = 4x(1 x) supremo: f := sup |f (x)|, x [0, 1] , f C [0, 1] . Sejam as seq f (no caso, fn e gn s ao seq u encias constantes: independem de n). E acil ver que fn = gn = 1 para todo n e e elementar constatar que (fn + gn )/2 = 1 para todo n N. Por em, e igualmente elementar vericar que fn gn = 1, tamb em para todo n N. Assim, constatamos que C [0, 1] com a norma do supremo n ao e uniformemente convexo. Exemplo 24.8 Considere-se em R2 as normas 1 e denidas para x (x1 , x2 ) R2 por x 1 := |x1 | + |x2 | e x := max |x1 |, |x2 | , respectivamente. As bolas B1 relativas a essas m etricas est ao ilustradas na Figura 3.1, p agina 2 205. Ambas s ao quadrados e, portanto, t em bordos n ao arredondados. E de se esperar que R n ao seja uniformemente convexo em rela ca o a essas duas normas e, de fato, assim o e. No caso da norma , tome-se em R2 as seq u encias xn = (1 1/n, 1/2) e yn = (1 1/n, 1/2), n N, n 2. Temos que xn = yn = 1 1/n < 1 e, portanto, xn e yn s ao seq u encias na bola de raio 1 centrada em 0 para claro que (xn + y2 )/2 = (1 1/n, 0) e que (xn + yn )/2 a norma . E = 1 1/n 1 para n . Por em, ao e uniformemente convexo para a norma . xn yn = (0, 1) e xn y2 = 1 para todo n N. Logo, R2 n

No caso da norma 1 , tome-se em R2 as seq u encias xn = 5/8 1/n, 3/8 1/n e yn = 3/8 1/n, 5/8 1/n , n N, n 3. Temos que xn 1 = yn 1 = 1 2/n < 1 e, portanto, xn e yn s ao seq u encias na bola de raio 1 centrada em 0 para a norma 1 . Teremos (xn + yn )/2 = 1/2 1/n, 1/2 1/n e (xn + yn )/2 1 = 2 1/2 1/n 1 para n . Por em, xn yn = 1/4, 1/4 e, portanto, xn yn 1 = 1/2 para todo n N. Logo, R2 n ao e uniformemente convexo para a norma 1 . Como vimos acima, por em, R2 e uniformemente convexo para as normas
p

De forma an aloga ` a do Exemplo 24.8, e f acil ver que os espa cos de seq u encias 1 e n ao s ao uniformemente convexos para as respectivas normas 1 e . Um Teorema do Melhor Aproximante em espa cos uniformemente convexos O resultado principal da corrente se ca o e o seguinte teorema: Teorema 24.5 (Teorema do Melhor Aproximante em Espa cos Uniformemente Convexos) Seja V um espa co normado e unifomemente convexo. Seja C um subconjunto n ao-vazio de V e que seja convexo e completo (em rela c ao a norma de V ). Ent ` ao, para cada x V existe um e somente um elemento y C tal que x y = Dx, C := inf y x , y C . Prova da Exist encia. Denotemos Dx, C simplesmente por D. Para cada n N seja yn C um vetor com a propriedade que 1 (24.53) x yn 2 < D 2 + . n Notemos que tais vetores sempre existem. Se tal n ao fosse o caso, ou seja, se para algum n, digamos n0 , n ao existisse 1 1 2 2 2 vetor nenhum y em C tal que x y < D + n0 , isso signicaria que para todo y C valeria que x y D2 + n . 0 Mas isso contraria a deni ca o de D como o nmo de x y , y C . Caso tenhamos D = 0, ent ao a seq u encia yn converge a x (sendo, portanto, uma seq u encia de Cauchy em C ) e como C e completo, conclu mos que x C . Podemos, portanto, tomar y = x e a arma ca o de exist encia de um y C tal que

com 1 < p < .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1204/2069

Vamos agora considerar o caso D > 0 e vamos provar que toda seq u encia yn satisfazendo (24.53) tamb em e uma 1 evidente que seq u encia de Cauchy em C . Dena-se zn := x yn e sn := zn D = x yn D = D2 + D. E
n

x y = Dx, C est a completa, nesse caso. Mais adiante trataremos da unicidade.

sn 0 e que limn sn = 0.

Como C e convexo, tem-se que (ym + yn )/2 C para todos m, n N. Logo, tem-se pela deni ca o de D que D x ym + yn 2 = zm + zn 2 1 1 zm + zn 2 2 = 1 (sm + sn ) + D . 2

Como limn sn = 0, conclu -se dessas desigualdades que para todo > 0 existe N () N tais que zm + zn D 2 para todos m, n N (). (24.54)

Como limn zn = D, podemos assumir zn = 0 para todo n sucientemente grande. Dena-se para tais ns claro que wn = 1 e temos que wn := zn 1 zn . E D wm + wn 2 Logo, D wm + wn 2 D 1 1 (zm + zn ) + 2 2 wm + wn 1 2 zm D + zn D = sm + sn 1 (zm + zn ) + . 2 2 = D D 1 1 zm + zn = (zm + zn ) + 2 zm 2 zn 2 2 D 1 zm + zm D 1 zn zn .

Com isso, temos que sm + sn 1 (zm + zn ) D + . 2 2

Por (24.54) e do fato j a estabelecido que limn sn = 0, conclu mos que para todo > 0 existe N () N tal que wm + wn 1 2 .

bn 1 para Dena-se an = wn e bn = wn+k . Pelo que acabamos de ver, temos que an = bn = 1 e que an + 2 n . Assim, pela hip otese de que V e uniformemente convexo temos que an bn 0 para n , ou seja, temos que para todo k N vale wn wn+k 0 para n . Isso signica que para todo > 0 existe N () N tal que wn wn+k para todo n N (). Como k e arbitr ario, isso est a dizendo que

wn wm Note-se agora que

para todos m, n N () .

(24.55)

yn ym

zn zm

zn wn zm wm

(D + sn )wn (D + sm )wm = D wn wm + sn + sm ,

D wn wm + sn wn + sm wm

pois wn = 1 para todo n. Como limn sn = 0, conclu mos disso e que (24.55) que para todo > 0 existe N () N tal que yn ym sempre que m, n N (). Logo {yn , n N} e uma seq u encia de Cauchy em C e como este e completo, conclu mos que existe y C ao qual essa seq u encia converge. Vamos agora estabelecer que y x = D. Temos que y x = (y yn ) (yn x) y yn + zn = y yn + sn + D. Mas y yn 0 e sn 0 quando n . Logo, y x D. Por outro lado, tem-se pela deni ca o de D que D y x , j a que y C . Logo, conclu mos que y x = D, como desej avamos provar.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1205/2069

Prova da Unicidade. Resta-nos demonstrar que esse y eou nico elemento de C com essa propriedade. Para tal, vamos supor que haja outro y C com x y = D e denamos em C uma seq u encia y n da seguinte forma: y n = y caso n seja par e y n = y caso n seja mpar. E claro que x y n = D para todo n N e portanto, tem-se trivialmente xy n
2

< D2 +

1 . n

para todo n N, tal como em (24.53). Ora, vimos acima que toda seq u encia com essa propriedade e uma seq u encia de Cauchy. Mas nesse caso, isso s o e poss vel se y = y , completando a demonstra ca o do Teorema 24.5.

Exemplos e coment arios gerais sobre problemas de minimaliza c ao

A Figura 24.2, p agina 1206, ilustra quatro situa co es de problemas de minimaliza ca o. No caso, o espa co vetorial e 2 e + x o plano R2 e h a quatro conjuntos C indicados. Para x = (x1 , x2 ) R2 consideremos as normas x 2 := x2 2 1 e uniformemente convexo em rela ca o ` a norma 2 , mas n ao x := max |x1 |, |x2 | . Como comentamos acima, R2 a norma . ` No caso 1, C e um conjunto fechado (e, portanto, completo) mas n ao e convexo. Para o ponto x indicado h a dois pontos em C que minimizam a dist ancia a x denida pela norma 2 , a saber, os pontos a e b. Solu ca o do problema de minimaliza ca o portanto, existe, mas n ao eu nica.

No caso 3, C e um disco aberto (e, portanto, n ao e completo) e e convexo. Para o ponto x indicado n ao h a nenhum elemento em C que minimize a dist ancia a x denida pela norma 2 . Solu ca o do problema de minimaliza ca o portanto, n ao existe. No caso 4, C e um disco fechado (e, portanto, completo) e e convexo. Para o ponto x indicado h a um u nico elemento em C que minimize a dist ancia a x denida pela norma 2 , a saber, o ponto a indicado. Uma solu ca o do problema de minimaliza ca o portanto, existe e eu nica. No caso 2, C e um ret angulo fechado (e, portanto, completo) e e convexo. Para o ponto x indicado h a um u nico ponto em C que minimiza a dist ancia a x denida pela norma 2 , a saber, o ponto a indicado. Se, no entanto, considerarmos a norma , todos os pontos do segmento AB s ao solu ca o do problema de minimaliza ca o. Isso ilustra como a unicidade da solu ca o de um problema de minimaliza ca o pode depender da norma adotada. Sob a luz do Teorema 24.5, esses exemplos ilustram a id eia de que a completeza do conjunto C garante a exist encia de solu ca o do problema de minimaliza ca o, enquanto que a convexidade de C garante a unicidade da solu ca o, ao menos no caso de espa cos normados qua sejam uniformemente convexos.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1206/2069

A a

1)
b

2)

C B

3)
C

4)
C

Figura 24.2: Quatro problemas de minimaliza ca o ilustrativos em R2 .

24.7

Exerc cios Adicionais

co es uteis de se ter em mente concernentes ` a propriedade de completeza. E. 24.53 Exerc cio. Os itens abaixo ilustram situa ao e completo na m etrica denida por d(x, y ) := |x y |. Para tal, mostre que an := 1/n, 1. Mostre que M1 := (0, 1) n n N, n 2, e uma seq u encia de Cauchy em M1 = (0, 1) em rela c ao ` a essa m etrica, mas mostre que essa seq u encia n ao converge nesse conjunto, ou seja, mostre que n ao existe x R tal que limn d(x, an ) = 0. e completo na mesma m etrica d(x, y ) := |x y |. 2. Mostre que M2 := [0, 1] 3. Mostre que dI (x, y ) :=
1 x 1 y

dene uma m etrica em M3 := [1, ).

4. Mostre que M3 = [1, ) e completo na m etrica d(x, y ) := |x y | mas n ao na m etrica dI (x, y ). Para esse ultimo e uma seq u encia de Cauchy em M3 em rela c ao ` a m etrica dI , mas que essa seq u encia caso, mostre que an := n, n N, n ao converge nesse conjunto, ou seja, mostre que n ao existe x R tal que limn dI (x, an ) = 0. O Exerc cio E. 24.54 explora algumas das id eias de acima para mostrar que R pode n ao ser um espa co m etrico completo para certas m etricas nele denidas. c ao bijetora (um exemplo concreto e f (x) = ex + 1). Mostre que E. 24.54 Exerc cio. Seja f : R (1, ) uma fun df (x, y ) := 1 1 , f (x) f (y )

e uma seq u encia de Cauchy em R com com x, y R, dene uma m etrica em R. Mostre que an := f 1 (n), n N, n 2, rela c ao ` a m etrica df . Mostre que essa seq u encia n ao converge em R na m etrica df , ou seja, mostre que n ao existe x R tal que limn df (x, an ) = 0. Conclua que R n ao e completo na m etrica df .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1207/2069

cio trata de um exemplo de um espa co vetorial de fun co es dotado de duas normas E. 24.55 Exerc cio-dirigido. Este exerc no qual podemos exibir uma seq u encia de fun co es com a propriedade de convergir a uma fun c ao em rela c ao a uma das normas e a uma outra fun c ao distinta em rela c ao ` a outra norma. Seja V o espa co das fun co es assumindo valores complexos, cont nuas e 2 -peri odicas em R. Vamos denir nesse espa co duas normas, que denotaremos por a e b . 1. Deni c ao da norma a . Para u V , denotemos por uk seu k - esimo coeciente de Fourier: uk := com k Z (a teoria das s eries de Fourier e desenvolvida na Se c ao 34.4, p agina 1652). Para u V , dena-se u
a eikx u(x) dx 2

:=

k=

1 |u k | . 1 + k2

(24.56)

Armamos que a e uma norma em V . Notemos em a bem denida em V , pois se primeiro lugar que u a est erie do lado direito de ao e evidente que |uk | 2 u para todo k e, portanto, a s u := supx[, ] |u(x)|, ent (24.56) converge. E tamb em evidente que u a 0 e que u a = || u a para todos C e u V . A prova da desigualdade triangular u + v a u a + v a , para u, v V e elementar e deixada ao leitor. Por m, observe-se que u a = 0 se e somente se uk = 0 para todo k Z o que, pelo Corol ario 34.3, p agina 1660, ocorre se e somente se u for identicamente nula. Isso estabelece que (24.56) dene uma norma em V . 2. Deni c ao da norma b . Seja Q := Q [1/2, 1/2) a cole c ao de todos os racionais do intervalo [1/2, 1/2). O conjunto Q e cont avel, e podemos represent a-lo na forma Q = {rj , j N}. Seja {bj }j N uma seq u encia positiva e som avel, ou seja, satisfazendo bj > 0 para todo j e j =1 bj < . Para u V , dena-se u
b

:=

j =1

bj u(2rj ) .

(24.57)

Armamos que b dene uma norma em V . Notemos em primeiro lugar que u b est a bem denida em V , pois e tamb claro que u(2rj ) u para todo j e, portanto, a s erie em (24.57) converge. E em evidente que u b 0 e que u b = || u b para todos C e u V . A prova da desigualdade triangular u + v b u b + v b , para u, v V e elementar e deixada ao leitor. Observe-se agora que u b = 0 se e somente se u(2rj ) = 0 para todo j . Por em, o conjunto {2rj , rj Q} e denso no intervalo [, ). Logo, u b = 0 se e somente u anular-se em um conjunto denso em [, ). Como u e cont nua e 2 -peri odica, isso implica que u e identicamente nula. Isso estabelece que (24.57) dene uma norma em V . elementar constatar (fa Seja agora un (x) := cos(n! x), n N, uma seq u encia de elementos de V . E ca-o!) que os n coecientes de Fourier de u s ao dados por unk = Logo, segue de (24.56) que u mostrando que a seq u encia un converge na norma
n a

k, n! + k, n! , 2 2 , = 1 + (n!)2

kZ.

Vamos agora considerar o que ocorre em rela c ao ` a norma b quando esse limite e tomado nessa seq u encia. Observe-se primeiramente que para rj Q tem-se un (2rj ) = cos(2n! rj ). Agora, como n umero racional, rj e da forma rj = pj /qj , com pj 0 e qj > 0, ambos inteiros e primos entre si. Assim, para todo n > qj teremos que n! rj e um inteiro e, portanto, cos(2n! rj ) = 1. Com isso, vemos que un 1 =
j =1

` a fun c ao identicamente nula quando n .

bj cos(2n! rj ) 1

converge a 0 quando n pois, na medida que n cresce, mais e mais termos na somat oria s ao nulos. Prove essa arma c ao rigorosamente notando que, como j =1 bj < , ent ao para cada > 0 existe N () N tal que j>N () bj < .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1208/2069

Com isso, vemos que un converge na norma que un (x)

Comentemos en passant que V n ao e completo nem na norma a nem na norma b . Comentemos tamb em que 1 que ocorre na deni c a o (24.56) pode ser substituida por qualquer seq u e ncia som a vel de n umeros a seq u encia ak = 1+ k2 positivos, sem alterar a argumenta c ao de acima.

0, mas un (x)

` a fun c ao identicamente igual a 1 quando n . Assim, estabelecemos

1.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1209/2069

Ap endices
24.A N umeros Reais e p- adicos
Neste ap endice ilustraremos a constru ca o do completamento can onico de espa cos m etricos, desenvolvida a partir da p agina 1177, apresentando brevemente uma constru ca o do conjunto dos n umeros reais a partir dos racionais que e tamb em devida a Cantor. O m erito dessa constru ca o n ao e apenas ilustrativo, pois o mesmo conjunto de id eias permite a constru ca o de outros conjuntos ex oticos de n umeros, os chamados n umeros p- adicos (p, aqui, sendo um n umero primo), introduzidos por Hensel32 entre 1897 e 189933. A estudo desta se ca o n ao e essencial ao que segue e pode ser dispensado em uma primeira leitura. A demonstra ca o de completeza de R, em particular, e um tanto delicada e complexa. Uma M etrica no Conjunto dos Racionais

Considere o conjunto Q dos n umeros racionais. e considere a fun ca o d : Q Q Q+ dada por d(r, s) = |r s|. Esta fun ca o tem as seguintes propriedades 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 fun ca o d dene o que se chama de uma m etrica em Q. A desigualdade d(a, b) d(a, c) + d(c, b) e chamada desigualdade triangular. Nota. Como a princ pio desejamos construir o conjunto dos n umeros reais R, devemos tomar o cuidado de denir a m etrica d assumindo valores em Q+ , o conjunto dos racionais 0, n ao em R+ , como zemos at e agora. Por essa raz ao, algumas adapta co es ao que zemos at e agora ser ao necess arias. Uma seq u encia de n umeros racionais e uma fun ca o N Q. Para uma seq u encia a denota-se freq uentemente seu valor a(i) por ai para i N. Uma seq u encia a de n umeros racionais e dita ser uma seq u encia de Cauchy34 em rela ca o ` a m etrica d se para todo Q+ existir um n umero natural N () (eventualmente dependente de ) tal que d(ai , aj ) = |ai aj | < para todo i e j tais que i > N () e j > N (). Uma seq u encia de n umeros racionais a converge para um n umero racional r no sentido da m etrica d se para todo Q+ existir um n umero natural N () (eventualmente dependente de ) tal que d(r, ai ) < para todo i > N (). Seq u encias de Cauchy de N umeros Racionais

E. 24.56 Exerc cio. Prove que se uma seq u encia a converge a um n umero racional r ent ao a e uma seq u encia de Cauchy. Sugest ao: use a desigualdade triangular. N umeros Reais. A Constru c ao de Cantor. Completamento

Como j a discutimos em p aginas anteriores, h a seq u encias de Cauchy de n umeros racionais que n ao convergem a n umeros racionais. Esse fato e a motiva ca o de uma constru ca o muito importante: a dos n umeros reais. Para mostrar como essa constru ca o e feita (o que faremos aqui com o objetivo de ilustrar outras constru co es an alogas futuras) vamos primeiramente considerar o conjunto C C(Q) de todas as seq u encias de Cauchy de n umeros racionais
32 Kurt 33 K.

Wilhelm Sebastian Hensel (18611941). Hensel, Uber eine neue Begr undung der Theorie der algebraischen Zahlen, Jahresber. Deutsch. Math.-Verein, 6 : 1, pp. 8388,

(1899). 34 Augustin Louis Cauchy (17891857).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1210/2069

e construir em C uma rela ca o de equival encia da seguinte forma. Dizemos que duas seq u encias de Cauchy a e b s ao equivalentes se a seq u encia ci = ai bi , i N converge a zero. Ou seja, a b se para todo racional > 0 existir inteiro N > 0 tal que d(ai , bi ) = |ai bi | < para todo i > N . E. 24.57 Exerc cio. Mostre que se a e b s ao seq u encias de Cauchy ent ao a seq u encia ci = ai bi , i N tamb em o e. Sugest ao: use a desigualdade triangular. c ao acima e de fato uma rela c ao de equival encia. E. 24.58 Exerc cio. Prove que a rela Isto posto, sabemos que o conjunto C pode ser escrito como uma uni ao disjunta de suas classes de equival encia pela rela ca o acima. O conjunto dos n umeros reais R e ent ao denido como sendo o conjunto formado por essas classes de equival encia ou, se quiserem, como o conjunto formado escolhendo-se um elemento de cada classe de equival encia, ou seja, por uma seq u encia de Cauchy de n umeros racionais em rela ca o ` a m etrica d. Assim, uma seq u encia de Cauchy como a seq u encia ai = 1 + 1/1! + 1/2! + + 1/i! acima dene um n umero real (no caso o n umero e). Se x e uma seq u encia de Cauchy de racionais em rela ca o ` a m etrica d denotaremos sua classe de equival encia por [x]. Pela deni ca o, [x] e um n umero real. poss E vel denir em R uma rela ca o de ordem total da seguinte forma: dizemos que [x] < [y ] se existirem seq u encias 0 0 0 de racionais x0 [x] e y 0 [y ] e um inteiro I tais que x0 < y para todo i, j > I e se [ x y ] = [0], onde [0] e a classe i j 0 0 que cont em a seq u encia identicamente nula. (Essa u ltima condi ca o e para evitar seq u encias com xi < yi mas que se aproximem no limite i ). E. 24.59 Exerc cio. Mostre que isso dene uma rela c ao de ordem total em R. Poder amos tentar fazer de R um espa co m etrico, denindo, por analogia com o que zemos anteriormente na constru ca o do completamento can onico, uma m etrica em R por d [x], [y ] = lim d(xn , yn ) .
n

Isso n ao pode ser feito dessa forma, por em, pois a seq u encia de racionais d(xn , yn ) = |xn yn | pode n ao ter limite nos f racionais, mas sim nos reais (que estamos ainda tentando denir). E acil provar, por em, que a seq u encia de racionais d(xn , yn ), n N, e uma seq u encia de Cauchy na m etrica d. 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 o x e y s ao seq u encias de Cauchy o lado direito pode ser feito Q+ para qualquer > 0, desde que i e j sejam feitos grandes o suciente. Com isso, sabemos que a seq u encia d(xn , yn ), n N, pertence a alguma classe de equival encia que denotaremos por [d(x, y )]. Com isso, podemos agora denir uma m etrica em R por d [x], [y ] = d(x, y ) .

E. 24.60 Exerc cio. Mostre que essa deni c ao n ao depende dos particulares representantes x e y que tomarmos nas classes [x] e [y ]. etrica em R. E. 24.61 Exerc cio. Mostre que d dene uma m Com os ingredientes de acima (a deni ca o de R, de ordem em R e da m etrica d em R), podemos denir as no co es de converg encia em R e de seq u encia de Cauchy em R de modo an alogo ao que zemos anteriormente: Uma seq u encia de 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

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1211/2069

que n > N . Uma seq u encia de reais [x]n e dita ser uma seq u encia de Cauchy em rela ca o ` a m etrica d se para todo [] > 0 m n existir um inteiro N tal que d([x] , [x] ) < [] sempre que m > N e n > N . Coloca-se ent ao a grande quest ao, ser a R completo? Ou seja, ser a toda a seq u encia de Cauchy de reais convergente a um n umero real? Provemos que sim. Seja [x]n [xn ], n N, uma seq u encia de Cauchy em rela ca o ` a m etrica d. Ent ao, para qualquer [] R existir a inteiro N () (24.A.1) d [x]m , [x]n = |xm xn | < [] sempre que m > N () e n > N (). Vamos tomar [] um racional ou seja, suporemos que exista em [] uma seq u encia constante i = Q+ .
n m n A condi ca o (24.A.1) signica que existem seq u encias de racionais xm i xi e um inteiro I () tais que xi xi < para todos m > N () e n > N () e i > I ().

m Como cada xm e uma seq u encia de Cauchy de racionais, existe para todo Q+ um inteiro Jm () tal que xm i xj < sempre que i, j > Jm ().

Vamos ent ao tomar = 1/k , k N, e denir, em analogia ao que foi feito na demonstra ca o do Teorema 24.1, p agina 1177, 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 } .

Isso prova que {xk }kN e uma seq u encia de Cauchy de racionais. Portanto a ela est a associado o n umero real [x]. Resta-nos provar que [xm ] converge a [x] em d quando m . De fato d [x], [xm ] = d(x, xm ) e d xk , xm k = xk xm = xb(k) xm xb(k) xk k k
a( k ) a( k ) a( k ) a( k )

+ xk

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 e completo. poss E. 24.62 Exerc cio. E vel dotar o conjunto R, acima denido, de opera co es de soma e multiplica c ao que fazem do mesmo um corpo (para a deni c ao de corpo, vide Se c ao 2.1.4 p agina 2.1.4). Sejam x (x1 , x2 , x3 , . . .) e y (y 1 , y 2 , y 3 , . . .) duas seq u encias de Cauchy de racionais em rela c ao ` a m etrica d. Dena-se a seq u encia x + y := (x1 + 1 2 2 3 1 1 2 2 3 3 y , x + y , x + y3 , . . .) e a seq u encia x y := (x y , x y , x y , . . .). Denimos, ent ao as opera co es de soma e multiplica c ao em R por [x] + [y ] := [x + y ], [x] [y ] := [x y ] . Mostre que essas opera co es est ao bem denidas nas classes de equival encia, ou seja, que ambas independem dos representantes tomados nas classes na deni c ao das opera co es. Mostre que a seq u encia identicamente nula, ou seja, 0 (0, 0, 0, . . .), e a seq u encia constante igual a 1, ou seja, 1 (1, 1, 1, . . .), s ao os elementos neutros das opera co es de soma e de produto, respectivamente. Mostre que R e um corpo com rela c ao ` as opera co es de soma e produto denidas acima. Use o fato que Q e um corpo.

* Como vemos podemos operar com esse novo conjunto de n umeros da mesma forma como operamos com os racionais, ou seja, podemos denir sua soma, seu produto etc. Fora isso o conjunto dos reais assim denido e provido de uma rela ca o de ordem total x y . Gostar amos recordar como a constru ca o dos reais foi feita: partimos do conjunto dos racionais, denimos uma m etrica sobre os mesmos e denimos os conceitos de seq u encias e de seq u encias de Cauchy (em rela ca o ` a m etrica dada). Denimos tamb em o conceito de converg encia e constatamos que seq u encias de Cauchy de

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1212/2069

racionais n ao convergem sempre a racionais. Denimos ent ao no espa co de todas as seq u encias de Cauchy (em rela ca o a m ` etrica dada) uma rela ca o de equival encia e assim o conjunto de classes de equival encia dene uma nova classe de objetos com os quais, como armamos, podemos operar como n umeros. Esses s ao os n umeros reais. O procedimento de completar os racionais atrav es da cria ca o das classes de equival encia de suas seq u encias de Cauchy e chamado de completamento can onico dos racionais e foi inventado por Cantor35 (seguindo id eias de Weierstrass36 ). A constru ca o de n umeros reais acima e devida a Cantor (h a uma outra constru ca o equivalente devida a Dedekind37 , a dos chamados cortes de Dedekind). O completamento de Cantor e importante, pois seu m etodo pode ser estendido a qualquer espa co m etrico n ao completo para a obten ca o de uma classe de objetos ainda maior. Outros Completamentos dos Racionais. N umeros p- adicos

A constru ca o acima indicou um procedimento de completamento dos racionais a partir de suas seq u encias de Cauchy. importante frisar, por E em, que o conceito de seq u encia de Cauchy depende de uma fun ca o m etrica espec ca dada previamente. Assim, toda a constru ca o do completamento depende da m etrica usada. O que acontece se trocarmos a m etrica usada nos racionais? Podemos, ao proceder o completamento de Cantor, obter uma classe de objetos diferente da dos reais? A resposta e positiva. Como curiosidade vamos mostrar que h a outros completamentos poss veis dos n umeros racionais se mudarmos a m etrica usada. Seguiremos aqui parcialmente [72], onde uma outra constru ca o poder a ser encontrada. Sabemos do teorema fundamental da aritm etica que todo n umero natural n ao-nulo pode ser escrito de forma u nica como um produto de n umeros primos. Para todo n umero racional r = 0 temos conseq uentemente a decomposi ca o u nica em fatores primos wp (r ) pi i , r = (1)
i

onde os pi s ao n umeros primos e wp (r) Z e o expoente do primo p na decomposi ca o do racional r. O produto acima envolve todos os primos, por em, apenas para um n umero nito deles tem-se wpi (r) = 0 (por que?). Para um n umero racional r = 0 e para um primo p (que xamos daqui por diante), seja a fun ca o wp (r) que d a o expoente de p na decomposi ca o ( unica) de r em fatores primos dada acima. Vamos com o uso de wp denir a seguinte fun ca o p : Q Q+ : pwp (s) , se s = 0, s Q , p (s) := 0, se s = 0 . A fun ca o p tem as seguintes propriedades: 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) . (24.A.2)

Demonstraremos apenas o item 4, deixando os demais como exerc cio (f acil). O item 4 e uma conseq u encia imediata 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 decomposi ca o em fatores primos: r = (1)
35 Georg 36 Karl

pi
i

wpi (r )

s = (1)

pi
i

wpi (s)

Ferdinand Ludwig Philipp Cantor (18451918). Theodor Wilhelm Weierstrass (18151897). 37 Julius Wilhelm Richard Dedekind (18311916).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1213/2069

Assim, r+s = (1) pi

i wpi (r )

+ (1)

pi
i

wpi (s)

(24.A.3) 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)

pi
i

+ (1)

pi
i

umero 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 entre colchetes e um inteiro, tendo uma decomposi ao positivos pj j , onde os i s ca o em fatores primos da forma ()
j

ou nulos (pois o n umero e inteiro). Assim, r+s = provando que wpi (r + s) = min{wpi (r), wpi (s)} + i min{wpi (r), wpi (s)} , para todo primo pi , o que completa a prova que quer amos. Em fun ca o das propriedades demonstradas no u ltimo exerc cio, podemos, com o uso dessa fun ca o p , construir uma m etrica em Q, que denotaremos por dp , dada por dp (a, b) := p (a b) para racionais a e b. c ao e de fato uma E. 24.63 Exerc cio. Demonstre, usando as propriedades 1-4 de p mencionadas acima, que esta fun m etrica, ou seja, que satisfaz 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). Para provar o ultimo item, use (24.A.2) para estabelecer que dp (a, b) max dp (a, c), dp (c, b) (24.A.4) pi
i min{wpi (r ), wpi (s)}+i

de onde a desigualdade triangular segue trivialmente. Uma m etrica que satisfa ca (24.A.4) e dita ser uma m etrica n aoArquimediana38 . Os n umeros p- adicos s ao, portanto, exemplos de espa cos ultram etricos. Tamb em aqui podemos denir a no ca o de seq u encia de Cauchy em rela ca o ` a m etrica dp . Uma seq u encia a de elementos de Q e dita ser uma seq u encia de Cauchy (em rela ca o ` a m etrica dp ) se para todo Q+ , > 0, existir um n umero natural N () (eventualmente dependente de ) tal que dp (ai , aj ) < para todo i e j tais que i > N () e j > N (). Uma seq u encia a em Q converge para um elemento b Q no sentido da m etrica dp se para todo Q+ existir um n umero natural N () (eventualmente dependente de ) tal que dp (b, ai ) < para todo i > N (). Tamb em neste caso podem ser exibidas seq u encias de Cauchy de racionais que n ao convergem no sentido da m etrica dp a um outro racional. O conjunto Q, assim, n ao e completo em rela ca o ` a m etrica dp . Podemos ent ao complet a-lo
38 Arquimedes

de Siracusa (ci. 287 A.C. ci. 212 A.C.).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1214/2069

usando o procedimento de completamento de Cantor: tomamos o conjunto Cp de todas as seq u encias de Cauchy de n umeros racionais em rela ca o ` a dp e constru mos em Cp uma rela ca o de equival encia da seguinte forma. Dizemos que duas seq u encias de Cauchy a e b s ao equivalentes se a seq u encia dp (ai , bi ), converge a zero quando i .

Sabemos que o conjunto Cp pode ent ao ser escrito como uma uni ao disjunta de suas classes de equival encia []p pela rela ca o acima. Dene-se ent ao uma nova classe de n umeros, denominados n umeros p- adicos, como sendo o conjunto dessas classes de equival encia ou, se quiserem, como sendo o conjunto formado escolhendo-se um elemento de cada classe de equival encia, ou seja, por uma seq u encia de Cauchy de n umeros racionais em rela ca o ` a m etrica dp . poss E vel provar que podemos operar com esse novo conjunto de n umeros da mesma forma como operamos com os racionais, ou seja, podemos denir sua soma, seu produto, sua raz ao etc. (os mesmos formam um corpo). Para a deni ca o de corpo vide Se ca o 2.1.4, p agina 87. Para cada primo p, o conjunto dos n umeros p- adicos, denominado Qp , e distinto do conjunto dos reais. Possui, por em, em comum com os reais o fato de ambos terem os racionais como subconjunto denso.

Note, por exemplo, que a seq u encia de n umeros racionais an = pn , n N, diverge na reta real mas, no conjunto Qp a mesma seq u encia converge a zero (no sentido de dp ), sendo que precisamente o oposto ocorre em rela ca o ` a seq u encia bn = pn , n N. E. 24.64 Exerc cio. Constate a veracidade das armativas do ultimo par agrafo.
n

E. 24.65 Exerc cio. Verique que, em rela c ao a d3 , a seq u encia de n umeros positivos sn =
a=0

2 3a converge ao n umero

1 (!). Sugest ao: mostre que sn = 3n+1 1. Ap os isso mostre que d3 (sn , 1) = 3 (sn + 1) = 3(n+1) , e conclua que sn 1 . poss E vel dotar cada conjunto Qp , acima denido, de opera co es de soma e multiplica c ao que E. 24.66 Exerc cio. fazem do mesmo um corpo (para a deni c ao de corpo, vide Se c ao 2.1.4 p agina 2.1.4). Sejam x (x1 , x2 , x3 , . . .) e y (y 1 , y 2 , y 3 , . . .) duas seq u encias de Cauchy de racionais em rela c ao ` a m etrica d. Dena-se a seq u encia x + y := (x1 + y 1 , x2 + y 2 , x3 + y3 , . . .) e a seq u encia x y := (x1 y 1 , x2 y 2 , x3 y 3 , . . .). Denimos, ent ao as opera co es de soma e multiplica c ao em R por [x]p [y ]p := [x y ]p . [x]p + [y ]p := [x + y ]p , Mostre que essas opera co es est ao bem denidas nas classes de equival encia, ou seja, que ambas independem dos representantes tomados nas classes na deni c ao das opera co es. Mostre que a seq u encia identicamente nula, ou seja, 0 (0, 0, 0, . . .), e a seq u encia constante igual a 1, ou seja, 1 (1, 1, 1, . . .), s ao os elementos neutros das opera co es de soma e de produto, respectivamente. Mostre que Qp e um corpo com rela c ao ` as opera co es de soma e produto denidas acima. Use o fato que Q e um corpo. Mencionamos ainda que todo elemento x de Qp pode ser escrito na forma x =
n=N

dn pn ,

(24.A.5)

onde N Z e dn {0, 1, . . . , p 1}, sendo que N e os dn s dependem de x. Essa e a chamada decomposi c ao p- adica de x. Sabidamente, existe algo semelhante no caso dos reais. Se b N, b 2, todo real pode ser escrito em uma decomposi ca o na base b: N 1 dn n , x = (24.A.6) b n= onde N Z e dn {0, 1, . . . , b 1}. Tanto (24.A.5) quando (24.A.6) s ao s eries convergentes nas respectivas m etricas dp e d. Observe as semelhan cas e diferen cas entre (24.A.5) e (24.A.6). No caso de R a escolha de b 2 e arbitr aria, mas no caso de Qp s o podemos usar pot encias de p em (24.A.5). No caso dos reais, o sistema mais popular em nossa cultura atual e o da base decimal, com b = 10, havendo tamb em largo uso da base bin aria, b = 2, na Ci encia da Computa ca o.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1215/2069

A escolha b sofreu varia co es culturais, hist oricas e geogr acas. Para uma interesant ssima dicuss ao sobre esse e outros temas correlatos da Hist oria da Matem atica, vide [17]. * De um certo ponto de vista, os n umeros p- adicos formam uma classe razo avel de n umeros que poderiam, em princ pio, substituir os reais em aplica co es, dado que ambos podem ser aproximados por racionais (no sentido da m etrica d no caso dos reais e da m etrica dp no caso dos p- adicos). Os conjuntos Qp possuem propriedades extremamente curiosas, tanto do ponto de vista alg ebrico quando do ponto de vista topol ogico, algumas das quais vimos nos exerc cios acima. Aplica co es signicativas dos n umeros p- adicos em F sica s ao, no momento, desconhecidas. Sugest oes de seu uso, por em, j a foram apresentadas.

24.B

Aproxima co es para

M etodos para calcular aproxima co es para o valor de s ao procurados desde a Antig uidade. Comentam os historiadores da Matem atica que a mais antiga refer encia ao assunto talvez seja encontrada em um papiro eg pcio, denominado papiro de Rhind, de cerca de 1650 A.C., o qual fornecia a aproxima ca o 4(8/9)2 3.1605 para . Arquimedes39 foi provavelmente o primeiro a propor um procedimento sistem atico de aproxima ca o, que consistia em aproximar um c rculo de di ametro 1, 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 considera co es geom etricas simples40 . Os per metros dos pol gonos regulares inscritos fornecem limites inferiores para , enquanto que os per metros dos pol gonos regulares circunscritos fornecem limites superiores. Usando co es hex agonos (vide Figura 24.B.3), por exemplo, chega-se facilmente a 3 < < 2 3, o que fornece as aproxima 3 < < 3, 46, as quais s ao ainda um tanto grosseiras.

Figura 24.B.3: C rculo, hex agono inscrito e circunscrito.

1 Usando pol gonos regulares de 96 lados, Arquimedes concluiu que 3 10 co es 71 < < 3 7 , o que fornece as aproxima 3, 0140845 < < 3, 1428571 em base decimal. Como se observa, o limite superior fornece com o valor correto das duas primeiras casas decimais ap os a v rgula. Fragmentos incompletos de sua obra indicam que Arquimedes teria chegado a determinar a aproxima ca o 3, 1416 para o valor de , usando pol gonos regulares ainda maiores.

O m etodo de Arquimedes foi empregado na Europa at e meados do s eculo XVII para aproximar o valor de . Ludolph van Ceulen41 empreendeu boa parte da sua vida aperfei coando o m etodo de Arquimedes, chegando, pouco antes de sua morte, a estimar o valor de com o uso de pol gonos regulares de 262 lados, o que fornece com 32 casas decimais de precis ao. V arias outras aproxima co es foram empregadas para aproximar . Listemos algumas.
39 Arquimedes 40 Vide

de Siracusa (ci. 287 A.C. ci. 212 A.C.). [52], onde uma descri ca o, mais detalhada do m etodo de Arquimedes pode ser encontrada. 41 Ludolph van Ceulen (15391610).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1216/2069

1. Aproxima ca o de Wallis42 , ou F ormula de Produto de Wallis, para , de 1665: = 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

Uma demonstra ca o dessa express ao encontra-se na Se ca o 6.2.1, p agina 265. Vide tamb em o Exerc cio E. 7.4, p agina 285. 2. Aproxima ca o de Gregory43-Leibniz44 para , de 1671:
n

= lim 4
n k=0

(1)k 1 1 1 1 = 4 1 + + 2k + 1 3 5 7 9

Essa s erie provem do fato que = 4 arctan(1). O arco-tangente pode ser calculado pela s erie de Taylor45 arctan(x) = fornecendo, assim, a aproxima ca o dada acima para .
1 1 1 e por vezes atribu da a Leibniz, que a Um coment ario hist orico e que a identidade = 4 1 1 3 + 5 7 + 9 divulgou em 1674, tr es anos ap os a descoberta por Gregory da s erie de Taylor da fun ca o arco-tangente. Historiadores comentam que Gregory provavelmente j a a conhecia. Todavia, essa identidade j a seria conhecida por matem aticos hindus s eculos antes. k=0

(1)n x2k+1 . 2k + 1

3. Aproxima ca o de Newton46 . Usando uma identidade como por exemplo = 6 arcsen(1/2), Newton empregou a s erie de Taylor da fun ca o arco-seno arcsen(x) = x + [(2n 1)!!]2 2n+1 x (2n + 1)! n=1

para determinar aproxima co es para . Disso resulta a identidade (prove-a!) = 3+ 3 (2n 1)! . 4n1 n(2n + 1) [(n 1)!]2 2 n=1

(24.B.7)

Newton calculou as primeiras 15 casas decimais de (em data incerta), para o que e necess ario somar cerca de 40 termos da s erie (24.B.7). Newton o fez, segundo confessou, por n ao ter muito o que fazer ` a epoca. Como, para n grande, (2n 1)! 22n n2n e [(n 1)!]2 n2n , os termos da s erie (24.B.7) decaem como 22n . Machin encontrou uma outra identidade que permite uma converg encia mais r apida. 4. Aproxima ca o de Machin47 para , de 1706:
n

= lim

k=0

(1)n 2k + 1

16 4 52k+1 2392k+1

Essa s erie provem do fato, demonstrado por Machin, que = 16 arctan(1/5) 4 arctan(1/239) . Usando-se a s erie de Taylor da fun ca o arco-tangente dada acima, obt em-se a s erie de Machin para .
42 John

Wallis (16161703). Wallis foi um dos pioneiros do C alculo Diferencial e Integral e, uma curiosidade, foi o inventor do s mbolo . Gregory (16381675). 44 Gottfried Wilhelm von Leibniz (16461716). 45 Brook Taylor (16851731). A s erie de Taylor da fun ca o arco-tangente foi, em verdade, descoberta por Gregory em 1671. 46 Isaac Newton (16431727). 47 John Machin (16801751).
43 James

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1217/2069

5. Aproxima ca o de Euler48 para por fra co es cont 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 e tamb em uma aproxima ca o para e por racionais. Usando a expans ao de Euler para a fun ca o cotangente dada em (6.29), p agina 268, e f acil obter tamb em (tome x = 1/4) 8 , = 4 21 16 n n=1 s erie esta que converge lentamente. Note que as aproxima co es de Wallis, Gregory, Newton, Machin e Euler acima s ao aproxima co es a por n umeros racionais. 6. Euler tamb em obteve (no ano de 1735) uma s erie de identidades envolvendo s eries innitas do tipo m = 1, 2, 3 etc., as quais podem ser usadas para calcular . As primeiras identidades s ao 2 = 6
k=1 k=1 k=1

Mencionamos en passant que Euler tamb em obteve a seguinte express ao para e em termos de fra co es cont 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 rela co es s ao bem conhecidas da teoria das s eries de Fourier (vide [69]). Como o lado esquerdo das igualdades acima envolve pot encias de , essas s eries n ao fornecem aproxima co es a por racionais. As u ltimas s eries ` a direita convergem de modo relativamente r apido. Apenas com os cinco primeiros termos da u ltima s erie ` a direita obt em-se a aproxima ca o 3, 141592647 para , cujos primeiros sete d gitos ap os a v rgula est ao corretos. Para obter-se uma precis ao an aloga com a primeira s erie ` a esquerda, e preciso somar cerca de cem milh oes de termos, como e f acil de vericar usando um programa de computador (fa ca!). A f ormula geral para as somas acima49 e a seguinte (para a demonstra ca o, vide Se ca o 6.1.1, p agina 262):
k=1

1 k 2m

(1)m+1 22m1 B2m 2m , (2m)!

m = 1, 2, 3, . . . ,

(24.B.8)

onde Bn s ao os chamados n umeros de Bernoulli50 , denidos pela s erie de Taylor x = ex 1

48 Leonhard 49 At e

Bn n x . n! n=0
1 k=1 kn

Euler (17071783). a presente data, n ao s ao conhecidas express oes fechadas para somas como 50 Jacob Bernoulli (16541705).

para o caso em que n e mpar, n 3.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1218/2069

Essa deni ca o e tamb em de Euler (a deni ca o original de Bernoulli, publicada postumamente em 1713, era outra (vide [225])). Os n umeros de Bernoulli satisfazem Bn = 0 para n mpar, exceto para n = 1, sendo B0 = 1 e B1 = 1/2. Os n umeros de Bernoulli podem ser calculados recursivamente pela identidade
n1 j =0

n j

Bj = 0 ,

n > 1.

Os primeiros s ao B0 = 1, B1 = 1/2, B2 = 1/6, B4 = 1/30, B6 = 1/42, B8 = 1/30. O leitor interessado poder a encontrar mais detalhes sobre os fatos acima envolvendo n umeros de Bernoulli na Se ca o 6.1.1, p agina 262, ou em v arios textos, por exemplo em [225] e [69]. Nesse u ltimo texto, a rela ca o (24.B.8) e provada usando s eries de Fourier. Como os termos da s erie do lado esquerdo de (24.B.8) decaem muito rapidamente quando n , exceto o termo com k = 1, inferimos que 1 (1)n+1 (2n)! 2n = lim . n 22n1 B2n 7. Aproxima ca o de Ramanujan51 para , de 191452 : = lim 9.801 8
n n

k=0

(4k )! [1.103 + 26.390 k ] (k !)4 3964n

Devido ` a presen ca do fator

8, esta n ao e uma aproxima ca o a por racionais. 1 , onde n pn

.

8. Aproxima ca o de Borwein e Borwein53 para , de 1987: = lim

n

pn := 12
k=0

(1) (6k)!

212.175.710.912 61 + 1.657.145.277.365 + k 13.773.980.892.672 61 + 107.578.229.802.750 3k+3/2 3 (k!) (3k)! 5.280 236.674 + 30.303 61

Aqui aplica-se o mesmo coment ario de acima: devido ` a presen ca do n umero a aproxima ca o acima n ao e uma aproxima ca o a por racionais.

61 e da pot encia 3/2 no denominador,

A aproxima ca o de Borwein e Borwein converge a de modo impressionantemente r apido. J a a primeira aproxima ca o, 1/p0 , fornece corretamente os primeiros 24 d gitos de na base decimal! Cada termo seguinte da seq u encia acrescenta aproximadamente 25 d gitos corretos ao valor de na base decimal. No caso da aproxima ca o de Ramanujan a converg encia e um pouco mais lenta: cada termo da seq u encia acrescenta aproximadamente 8 d gitos corretos ao valor de na base decimal. As aproxima co es de Wallis e Gregory s ao extremamente lentas. Usando-as, um super-computador do in cio dos anos 1990 levaria cerca de 100 anos para computar apenas os primeiros 100 d gitos corretos de na base decimal. A aproxima ca o de Borwein e Borwein baseia-se em trabalhos de Ramanujan sobre as chamadas equa co es modulares. A f ormula de Machin (e ligeiras variantes da mesma) converge mais rapidamente que as de Wallis e Gregory (justique!) e foi usada desde o s eculo XVIII at e a d ecada de 1970 para c alculos de (manuais ou com computadores). Em 1844, Dase54 calculou corretamente, usando a f ormula de Machin, as primeiras 205 casas decimais de . O c alculo foi feito ` a m ao (!) e durou alguns meses. O feito de Dase foi superado em 1873 por Shanks55 , que calculou 707 casas decimais de . O c alculo tamb em foi feito ` a m ao e custou-lhe 20 anos de trabalho (!). Infelizmente, por em, Shanks cometeu erros que resultaram em que seus u ltimos 80 d gitos estavam incorretos. Isso s o foi percebido 73 anos depois
Aiyangar Ramanujan (18871920). aproxima ca o de Ramanujan surgiu em Modular Equations and Approximations to . S. Ramanujan. The Quarterly Journal of Pure and Applied Mathematics. 45, 350372 (1914). 53 Jonathan M. Borwein e Peter B. Borwein s ao irm aos. Para mais detalhes sobre seu trabalho sobre a aproxima ca o de , vide Pi and 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. 54 Zacharias Dase (18241861). 55 Willian Shanks (18121882).
52 A 51 Srinivasa

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 24

1219/2069

(!), em 1946, por D. F. Ferguson, que computou corretamente os primeiros 620 d gitos decimais de , tamb em ` a m ao, 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 u ltimo record obtido com c alculos manuais. Ferguson prosseguiu ainda, agora com o uso de uma calculadora de mesa, at e atingir a marca de 808 d gitos, todos corretos. Com o advento dos computadores eletr onicos tais c alculos deixaram de ser feitos por meios rom anticos. O primeiro c alculo computacional de foi feito em 1949 por von Neumann56 e colaboradores usando a f ormula de Machin no lend ario computador ENIAC (considerado por muitos o primeiro computador eletr onico. Vide [165]), com suas 18 mil v alvulas el etricas. Esse c alculo forneceu 2.037 d gitos decimais de e consumiu 70 horas. Em 1987, usando a aproxima ca o de Borwein e Borwein, foi calculado por um super-computador com uma precis ao de cem milh oes de casas decimais. Essa precis ao foi aumentada desde ent ao. Em 1999, era conhecido com 3 236 = 206.158.430.208 (cerca de duzentos bilh oes) de d gitos decimais. O feito e de Y. Kanada e D. Takahashi e foi alcan cado com dois algoritmos distintos (para compara ca o), o dos irm aos Borwein e outro denominado Gauss-Legendre. O primeiro consumiu 46 horas de computa ca o em um super-computador e o segundo 37 horas. O r ecorde atual, obtido em 2003, e dos mesmos autores: 1,2411 trilh ao de d gitos decimais, consumindo 600 horas de um supercomputador. Em 1996 Bailey, Borwein e Ploue publicaram um algoritmo que permite determinar o n- esimo d gito hexadecimal de sem o conhecimento dos d gitos precedentes. Em 1997 Ploue descobriu um algoritmo para determinar o n- esimo d gito de em qualquer base, tamb em sem o conhecimento dos d gitos precedentes. Outras informa co es hist oricas, especialmente sobre esses desenvolvimentos mais recentes, podem ser encontradas em 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 apresenta ca o hist orica mais detalhada e informa co es mais atuais podem ser encontradas em History of the formulas and algorithms for , de Jes us Guillera Goyanes (arXiv:0807.0872 [math.HO], julho de 2008) . Ainda que no passado a determina ca o de valores aproximados de tivesse import ancia em areas como a F sica, a Astronomia e a Engenharia, dicilmente c alculos ultra-precisos de podem ter relev ancia em aplica co es: com apenas 37 d gitos decimais e poss vel computar o per metro de um c rculo com o raio do universo conhecido (cerca de 1, 3 1026 m) com uma precis ao equivalente ao di ametro de um atomo de hidrog enio (cerca de 1, 0 1010 m). H a, por em, um certo interesse matem atico em tais c alculos, envolvendo conjecturas sobre a distribui ca o dos d gitos decimais de . Valores precisos de s ao tamb em u teis em simula co es num ericas. Ainda assim, hoje em dia a pr atica de c alculos ultra-precisos de tem motiva ca o predominantemente esportiva.

56 John

von Neumann (19031957).