Cap tulo 3 Formas Lineares e Normas em Espa cos Vetoriais

Conte udo
3.1 Formas Lineares, Sesquilineares e Produtos Escalares em Espa cos Vetoriais . . . . . . . 185 3.1.1 Formas Multilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185 3.1.2 Formas Sesquilineares e as Desigualdades de Cauchy-Schwarz e Minkowski . . . . . . . . . . . 190 3.1.3 Produtos Escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194 3.1.4 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196 Normas em Espa cos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197 Ortogonalidade, Conjuntos Ortonormais e o Procedimento de Gram-Schmidt . . . . . . 204 Formas Bilineares e Sesquilineares e Produtos Escalares em Espa cos de Dimens ao Finita 207 Estruturas Complexas sobre Espa cos Vetoriais Reais . . . . . . . . . . . . . . . . . . . . . 210 APENDICES . . . . . . . . . . . . . . . . . . . . . . . . 218 Equival encia de Normas em Espa cos Vetorias de Dimens ao Finita . . . . . . . . . . . . . 218 Prova do Teorema de Fr echet, von Neumann e Jordan . . . . . . . . . . . . . . . . . . . . 219

3.2 3.3 3.4 3.5 3.A 3.B

no ca o de espa co vetorial que introduzimos na Se ca o 2.1.5, p agina 90, e da maior import ancia na F sica e na Matem atica. Neste cap tulo vamos estud a-la com mais detalhe. Particular aten ca o ser a dada ` as no co es de forma multilinear, forma sesquilinear, produto escalar e norma em espa cos vetoriais. As importantes desigualdades de Cauchy-Schwarz e de Minkowski ser ao demonstradas com bastante generalidade. Este cap tulo trata quase exclusivamente de asp ectos alg ebricos de espa cos vetoriais, pondo de lado asp ectos topol ogicos, os quais ser ao discutidos em cap tulos futuros.

3.1
3.1.1

Formas Lineares, Sesquilineares e Produtos Escalares em Espa cos Vetoriais

Formas Multilineares

Seja V um espa co vetorial sobre um corpo K (que doravante suporemos ter caracter stica diferente de 2, o caso, por exemplo, dos reais ou dos complexos) e n um n umero inteiro positivo. Uma n-forma multilinear1 em V e uma fun ca o : V n K que seja linear em cada um dos seus argumentos, ou seja, para todo , K, todos v1 , . . . , vn V , vi V e todo i = 1, . . . , n vale

v1 , . . . , vi1 , (vi + vi ), vi+1 , . . . , vn

, vi+1 , . . . , vn . (3.1) = v1 , . . . , vi1 , vi , vi+1 , . . . , vn + v1 , . . . , vi1 , vi

O seguinte fato importante e conseq u encia imediata da deni c ao acima: se e uma n-forma multilinear ent ao (v1 , . . . , vi1 , 0, vi+1 , . . . , vn ) = 0 para todo i, ou seja, se um dos argumentos e o vetor nulo a forma se anula. ao: o que acontece se escolhermos = = 0? E. 3.1 Exerc cio. Prove isso. Sugest
1 Tamb em

chamada n-forma linear ou simplesmente n-forma.

185

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

186/2069

Um fato importante e o seguinte: o conjunto de todas as n-formas lineares em um espa co vetorial V sobre um corpo K e igualmente um espa co vetorial sobre K, que denotaremos por Mn (V, K), ou simplesmente por Mn (V ). Para tal procede-se da seguinte forma: para duas n-formas lineares 1 e 2 e dois escalares 1 , 2 K dene-se a combina ca o linear 1 1 + 2 2 como sendo a n-forma linear que a toda n-upla de vetores v1 , . . . , vn V associa (1 1 + 2 2 )(v1 , . . . , vn ) = 1 1 (v1 , . . . , vn ) + 2 2 (v1 , . . . , vn ) . E. 3.2 Exerc cio. Complete os detalhes da prova que o conjunto de todas as n-formas lineares em um espa co vetorial V sobre um corpo K forma um espa co vetorial sobre K. Formas bilineares

De particular interesse e o caso n = 2, em cujo caso as formas s ao denominadas formas bilineares: uma forma bilinear e uma fun ca o : V 2 K que seja linear em cada um dos seus dois argumentos, ou seja, para todo , K, todos u, v, w V , valem u, (v + w) (u + v ), w = = (u, v ) + (u, w) , (u, w) + (v, w) .

Um exemplo b asico importante e o seguinte. Seja V = Rn o espa co vetorial (sobre o corpo dos reais) formado por n-uplas de n umeros reais: V = {x = (x1 , . . . , xn ), xi R}. Uma forma bilinear em V e dada por
n

x, y Outro exemplo e A (x, y ) = x, Ay

R,

=
k=1

xk yk .

(3.2)

onde A e uma matriz n n real qualquer.

Formas bilineares sim etricas e anti-sim etricas

Uma forma bilinear e dita ser uma forma bilinear anti-sim etrica se satiszer (u, v ) = (v, u) para todos u, v V . A no ca o de forma bilinear anti-sim etrica ser a extendida logo abaixo com a introdu ca o da no ca o de forma alternante. := Se e uma forma bilinear, as formas r e a denidas por r (u, v ) := 1 2 (u, v ) + (v, u) e a (u, v ) (u, v ) (v, u) s ao, respectivamente, sim etrica e anti-sim etrica. Naturalmente, = r + a e, portanto, toda forma bilinear pode ser escrita como soma de uma forma sim etrica e de uma anti-sim etrica.
1 2

Uma forma bilinear e dita ser uma forma bilinear sim etrica se satiszer (u, v ) = (v, u) para todos u, v V .

A identidade de polariza c ao para forma bilineares sim etricas

Se for uma forma bilinear sim etrica em V , vale a seguinte rela ca o, denominada identidade de polariza c ao de formas bilineares sim etricas: 1 u, v = u + v, u + v u v, u v , (3.3) 4 v alida para todos u, v V . Para veric a-la, basta expandir-se o lado direito e constatar-se, com uso da simetria de , que se obt em o lado esquerdo. E. 3.3 Exerc cio. Verique!

A import ancia da identidade de polariza ca o (3.3) e mostrar que, no caso de formas bilineares sim etricas, o conhecimento dos valores (u, u) para todos os u V determina os valores (u, v ) para todos os u, v V . Uma forma bilinear sim etrica ou anti-sim etrica e dita ser uma forma bilinear n ao-degenerada se satiszer a seguinte condi ca o: se para todo vetor v valer (v, u) = 0, ent ao u = 0. Formas bilineares n ao-degeneradas

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

187/2069

Formas bilineares n ao-singulares

Seja V um espa co vetorial e uma forma bilinear em V . Para u V xo a aplica ca o lu (v ) = (u, v ) e um funcional linear em V , ou seja, um elemento do espa co dual V . Se a aplica ca o l : V V que associa cada u V ao funcional linear lu acima for um isomorsmo de espa cos vetoriais a forma bilinear e dita ser uma forma bilinear n ao-singular.

H a v arios outros tipos de formas multilineares que s ao importantes, como por exemplo as chamadas formas multilineares alternantes e, dentre estas as formas simpl eticas. Formas sim etricas

Uma n-forma em V e dita ser uma forma sim etrica se para todo Sn , o grupo de permuta co es de n elementos, valer v(1) , . . . , v(n) = (v1 , . . . , vn ) , (3.4) para quaisquer vetores v1 , . . . , vn V . Uma n-forma linear em um espa co vetorial V sobre um corpo K e dita ser uma forma alternante (ou uma forma anti-sim etrica) se satiszer (v1 , . . . , vi1 , vi , vi+1 , vi+2 , . . . , vn ) = (v1 , . . . , vi1 , vi+1 , vi , vi+2 , . . . , vn ) (3.5) Formas alternantes

para todos os vetores v1 , . . . , vn V e todo i = 1, . . . , n 1. Em palavras, quando trocamos de lugar dois argumentos vizinhos quaisquer a forma troca de sinal. Deve ser bem claro que essa deni ca o equivale ` a seguinte arma ca o: se e uma n-forma linear alternante, ent ao para todo Sn , o grupo de permuta co es de n elementos, vale v(1) , . . . , v(n) = (sinal ) (v1 , . . . , vn ) , (3.6)

para todos os vetores v1 , . . . , vn V , onde sinal e o sinal da permuta ca o (denido ` a p agina 970). E. 3.4 Exerc cio. Est a claro? Nomenclatura. Se e n-forma linear alternante, n e dito ser o grau de . O conjunto de todas as n-formas lineares alternantes em um espa co vetorial V sobre um corpo K e igualmente um espa co vetorial sobre K: para duas n-formas lineares alternantes 1 e 2 e dois escalares 1 , 2 K dene-se a combina ca o linear 1 1 + 2 2 como sendo a n-forma linear que a toda n-upla de vetores v1 , . . . , vn V associa (1 1 + 2 2 )(v1 , . . . , vn ) = 1 1 (v1 , . . . , vn ) + 2 2 (v1 , . . . , vn ) . f E acil constatar que a n-forma linear assim denida e tamb em alternante. co E. 3.5 Exerc cio. Complete os detalhes da prova que o conjunto de todas as n-formas lineares alternantes em um espa vetorial V sobre um corpo K forma um espa co vetorial sobre K. Formas simpl eticas

Formas bilineares alternantes n ao-degeneradas s ao denominadas formas simpl eticas2 . Formas simpl eticas s ao importantes em algumas areas da F sica, como por exemplo na mec anica cl assica e no estudo de m etodos de quantiza ca o. Assim, uma forma simpl etica em um espa co vetorial V sobre um corpo K e uma forma bilinear para a qual (u, v ) = (v, u)

para todos os vetores u, v V e tal que se (u, v ) = 0 para todo v , ent ao u = 0.

2 Do

grego symplektik os: que serve para ligar, tran cado, enla cado.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

188/2069

Um exemplo b asico importante no caso do espa co vetorial V = Rn e que, como veremos na Se ca o 3.4, e o caso geral e o seguinte: A (x, y ) = x, Ay R , onde A e uma matriz n n real anti-sim etrica, ou seja, que satisfaz AT = A, o que equivale a dizer que seus elementos de matriz satisfazem Aij = Aji . Fora isso, pela condi ca o de n ao-degeneresc encia A tem de ser invers vel, pois se x, Ay R = 0 para todo y , ent ao AT x, y R = 0 para todo y , o que s o e poss vel se AT x = 0. Isso implicaria que det(A) = det(AT ) = 0. Uma conseq u encia do fato de A ter de ser invers vel e que n tem que ser par. De fato, a condi ca o AT = A diz que det(A) = det(AT ) = (1)n det(AT ) = (1)n det(A). Portanto, se n e mpar ter amos det(A) = 0. Algumas propriedades b asicas de formas lineares alternantes evidente pela deni E ca o que se e uma n-forma alternante ent ao (v1 , . . . , vn ) = 0 caso haja vi = vj para algum par i = j . Em particular, para formas simpl eticas (u, u) = 0 para todo u V .

ltimo par agrafo e equivalente ` a deni c ao de forma linear alternante: se E. 3.6 Exerc cio. A propriedade mencionada no u e uma n-forma linear e (v1 , . . . , vn ) = 0 sempre que vi = vj para algum par i = j , ent ao e alternante. Prove isso. Sugest ao: para i = j dena a forma bilinear ij (vi , vj ) := (v1 , . . . , vn ) onde todos os vetores v1 , . . . , vn est ao xos exceto vi e vj . Usando agora que ij (x + y, x + y ) = 0, mostre que ij (vi , vj ) = ij (vj , vi ) para todo vi e vj . A arma c ao principal segue disso (por que?). A seguinte proposi ca o sobre formas lineares alternantes e importante: ao Proposi c ao 3.1 Se e uma n-forma linear alternante e v1 , . . . , vn s ao vetores linearmente dependentes, ent (v1 , . . . , vn ) = 0.

E. 3.7 Exerc cio. Prove isso. Formas alternantes maximais

A Proposi ca o 3.1 tem uma conseq u encia imediata: se V e um espa co vetorial de dimens ao n e e uma forma linear alternante de ordem m > n, ent ao = 0. E. 3.8 Exerc cio. Por qu e? Assim, em um espa co de dimens ao n o grau m aximo de uma forma alternante e n. Formas alternantes de grau m aximo s ao ditas formas alternantes maximais. Vamos mais adiante estudar como s ao essas formas maximais, mas antes, precisamos discutir alguns fatos importantes sobre formas alternantes em espa cos de dimens ao nita. Em um espa co vetorial V de dimens ao n o espa co vetorial das formas alternantes maximais e unidimensional. Para ver isso notemos o seguinte. Seja {b1 , . . . , bn } uma base em V . Sejam agora 1 e 2 duas formas alternantes maximais em V e seja x1 , . . . , xn uma n-upla de vetores de V . Como {b1 , . . . , bn } e uma base, podemos sempre escrever
n

xi =
j =1

ij bj ,

para todo i = 1, . . . , n. Assim,

n n

1 (x1 , . . . , xn ) =
j1 =1

jn =1

1j1 njn 1 (bj1 , . . . , bjn )

e, analogamente, 2 (x1 , . . . , xn ) =

n j1 =1

jn =1

1j1 njn 2 (bj1 , . . . , bjn ) .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

189/2069

e zero caso ocorram dois ndices jk iguais. Por isso, podemos reescrever as express oes Ocorre que 1 (bj1 , . . . , bjn ) acima da seguinte forma: 1 (x1 , . . . , xn ) = 1j (1) nj (n) 1 (bj (1) , . . . , bj (n) )
j Sn

e, analogamente, 2 (x1 , . . . , xn ) =
j Sn

1j (1) nj (n) 2 (bj (1) , . . . , bj (n) ) ,

onde, acima, Sn e o conjunto de todas as bije co es de {1, . . . , n} em si mesmo (o chamado grupo de permuta c oes de n elementos). E. 3.9 Exerc cio. Justique. Como 1 e uma forma alternante maximal, tem-se que 1 (bj (1) , . . . , bj (n) ) = sinal(j ) 1 (b1 , . . . , bn ) . Assim, 1 (x1 , . . . , xn ) = 2 (x1 , . . . , xn ) = 1j (1) nj (n) sinal(j ) 1 (b1 , . . . , bn )

j Sn

e, analogamente,

j Sn

Como se v e nessas u ltimas express oes, 1 (x1 , . . . , xn ) e 2 (x1 , . . . , xn ) diferem apenas pelos fatores 1 (b1 , . . . , bn ) e 2 (b1 , . . . , bn ), respectivamente. Como esses fatores s ao apenas n umeros (elementos do corpo K), s ao proporcionais um ao outro. Isso prova ent ao que 1 (x1 , . . . , xn ) e 2 (x1 , . . . , xn ) s ao proporcionais um ao outro para toda n-upla x1 , . . . , xn e isso era o que quer amos provar. Com as observa co es acima chegamos ao importante conceito de forma determinante. A forma determinante

1j (1) nj (n) sinal(j ) 2 (b1 , . . . , bn ) .

Como observamos acima, todas as n-formas lineares alternantes maximais de um espa co vetorial V de dimens ao n s ao proporcionais umas ` as outras. Assim, o conhecimento de uma forma alternante maximal determina todas as outras. A forma determinante3 det em um espa co vetorial V de dimens ao n e a n-forma linear alternante maximal tal que det (b1 , . . . , bn ) = 1 no caso em que {b1 , . . . , bn } e a base can onica de V : 0 0 1 0 1 0 . b1 = 0 , b2 = 0 , . . . , bn = . . . . . . . 0 . . 1 0 0 Assim, det (x1 , . . . , xn ) =
j Sn

1j (1) nj (n) sinal(j ) ,

onde ij e a j - esima componente do vetor xi na base can onica. Como observamos, todas as outras n-formas lineares alternantes maximais de V s ao proporcionais a det .
3 Tamb em

chamada de forma volume, pois em R3 , det (x1 , x2 , x3 ) e igual ao volume do paralelep pedo descrito pelos vetores x1 , x2 , x3 .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

190/2069

Determinante de matrizes

da de forma que sua a- esima coluna seja o vetor-coluna xa , ou seja Denotamos por a1 , . . . , an a matriz n n constru 11 n1 . . .. . a1 , . . . , an = . . . . . 1n nn evidente que toda matriz A Mat (C, n) pode ser escrita na forma A = a1 , . . . , an E vetores a1 , . . . , an que representam suas colunas. Dene-se ent ao o determinante da matriz A como sendo det(A) := det (a1 , . . . , an ) , ou seja, det(A) =
j Sn

Sejam a1 , . . . , an vetores, representados na base can onica por vetores-coluna i1 . ai = . . . in

para algum conjunto de

(3.7) (3.8)

1j (1) nj (n) sinal(j ) .

Essa express ao e freq uentemente demoninada f ormula de Leibniz4 para o determinante de uma matriz. Cremos que o conceito de determinante de matrizes e suas propriedades b asicas sejam bem conhecidos do estudante que tenha uma forma ca o b asica em C alculo e Algebra Linear, mas as mesmas ser ao (re)apresentadas e deduzidas na Se ca o 8.1, p agina 314. Vide, em particular, o Teorema 8.1, p agina 319. Formas Multilineares em dimens ao nita e produtos tensoriais

Se U e um espa co de dimens ao nita sobre o corpo K estabelecemos na Se ca o 2.3.5.1, p agina 154, que o espa co vetorial Mn (U ) de todas as formas n-lineares sobre U e isomorfo ao produto tensorial (U )n e dos espa cos duais de U e, portanto, tamb em a (U n ) . Seja {e1 , . . . , em } uma base em U e {1 , . . . , m } sua correspondente base dual can onica. Se Mn (U ) e
m

u1 , . . . , un U com uk =

(uk )a ea para todo k = 1, . . . , n, temos

a=1 m m

u1 , . . . , un

=
a1 =1

an =1

(u1 )a1 (un )an (ea1 , . . . , ean ) .

Conforme discutimos na Se ca o 2.3.5.1, o isomorsmo entre Mn (U ) e (U )n e dado pela aplica ca o : Mn (U ) (U )n denida por
m m

( ) :=
a1 =1

an =1

( e a1 , . . . , e an ) a1 an .

(3.9)

Conforme discutido na Se ca o 2.3.5.1, essa deni ca o e natural: independe de escolhas de base.

3.1.2

Formas Sesquilineares e as Desigualdades de Cauchy-Schwarz e Minkowski

Formas sesquilineares. Deni co es

4 Gottfried 5 Do

Seja V um espa co vetorial complexo. Uma forma sesquilinear5 e uma fun ca o : V V C que satisfaz as seguintes
Wilhelm von Leibniz (16461716). radical grego sesqui: um e meio.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

191/2069

propriedades: 1. Linearidade em rela ca o ` a segunda vari avel: (u, v + w) = (u, v ) + (u, w) , para todos os vetores u, v e w e para todos os n umeros complexos e . 2. Anti-linearidade em rela ca o ` a primeira vari avel: (u + v, w) = (u, w) + (v, w) , para todos os vetores u, v e w e para todos os n umeros complexos e . imediato pela deni E ca o que toda forma sesquilinear se anula no vetor nulo, ou seja, (u, 0) = (0, u) = 0 , para todo vetor u. E. 3.10 Exerc cio. Prove isso. Uma forma sesquilinear e dita ser uma forma sesquilinear Hermitiana se satiszer: 3. Simetria por conjuga ca o complexa: (u, v ) = (v, u) , para todos os vetores u e v . Uma forma sesquilinear e dita ser uma forma sesquilinear positiva se satiszer 4. Positividade. Para todo u V , (u, u) 0 .

Abaixo (Teorema 3.1, p agina 192) provaremos que toda forma sesquilinear positiva e automaticamente Hermitiana. L a provaremos tamb em que se e uma forma sesquilinear positiva ent ao vale que | (u, v )|2 (u, u) (v, v ) para todos os vetores u e v . Essa desigualdade e conhecida como Desigualdade de Cauchy-Schwarz. Uma forma sesquilinear e dita ser uma forma sesquilinear n ao-degenerada se satiszer: 5. N ao-degeneresc encia. Se um vetor u e tal que vale (u, v ) = 0 para todo vetor v , ent ao u = 0. Nomenclatura. Uma forma sesquilinear que n ao e n ao-degenerada e dita ser degenerada. A identidade de polariza c ao para formas sesquilineares

Se e uma forma sesquilinear em V , ent ao vale a seguinte identidade, denominada identidade de polariza c ao de formas sesquilineares: (u, v ) = 1 in (u + in v ), (u + in v ) 4 n=0
3

1 in (u + in v ), (u + in v ) , 4 n=0

(3.10)

v alida para todos u, v V . Para veric a-la, basta expandir-se o lado direito e constatar-se, com uso da sesquilinearidade de , que se obt em o lado esquerdo. E. 3.11 Exerc cio. Verique!

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

192/2069

Como no caso da identidade de polariza ca o para formas lineares sim etricas, rela ca o (3.3), a import ancia da identidade de polariza ca o (3.10) e mostrar que, no caso de formas sesquilineares, o conhecimento dos valores (u, u) para todos os u V determina os valores (u, v ) para todos os u, v V . Formas sesquilineares n ao-singulares Seja V um espa co vetorial e uma forma sesquilinear em V . Para u V xo a aplica ca o lu (v ) = (u, v ) e um funcional linear em V , ou seja, um elemento do espa co dual V . Se a aplica ca o anti-linear l : V V que associa cada u V ao funcional linear lu acima for um anti-isomorsmo6 de espa cos vetoriais a forma sesquilinear e dita ser uma forma sesquilinear n ao-singular. A desigualdade de Cauchy-Schwarz

De import ancia fundamental na teoria das formas sesquilineares e o seguinte teorema, que apresenta-nos a importante desigualdade de Cauchy7 -Schwarz8.

Teorema 3.1 Se e uma forma sesquilinear positiva, ent ao e tamb em Hermitiana, ou seja, (u, v ) = (v, u) , para todos os vetores u e v . Fora isso, vale a desigualdade de Cauchy-Schwarz: para todos os vetores u e v , (u, v )
2

(u, u) (v, v ) .

(3.11)

Por m, se e uma forma sesquilinear positiva e n ao-degenerada ent ao (u, u) = 0 se e somente se u = 0. Prova. Faremos uso do fato que, para qualquer n umero complexo e quaisquer vetores u e v vale, pela hip otese de positividade, u + v, u + v 0 . Escrevendo-se explicitamente o lado esquerdo temos a desigualdade ||2 (v, v ) + (u, v ) + (v, u) + (u, u) 0 . E. 3.12 Exerc cio. Verique isso. Vamos agora escrever na forma = x + iy , onde x e a parte real de e y sua parte imagin aria. A u ltima express ao ca f (x, y ) 0, onde f (x, y ) := (x2 + y 2 ) (v, v ) + (x + iy ) (u, v ) + (x iy ) (v, u) + (u, u) . E. 3.13 Exerc cio. Verique essa arma c ao. Vamos decompor (u, v ) e (v, u) nas suas partes reais e imagin arias, escrevendo (u, v ) = + i onde , , e R. Ficamos com f (x, y ) = (x2 + y 2 ) (v, v ) + (x y ) + i(x + y) + (x + y ) + i(x y ) + (u, u) 0 . (3.13) e (v, u) = + i , (3.12)

Como f (x, y ) tem de ser real (e 0), segue que a parte imagin aria da express ao acima deve ser nula e, como (v, v ) e (u, u) s ao reais, devemos ter 0 = (x + y) + (x y ) = x( + ) + y ( ) .
6 Denido

` p a agina 109. Louis Cauchy (17891857). 8 Herman Amandus Schwarz (18431921).

7 Augustin

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

193/2069

Como isso deve valer para todos x, y R, segue que = e = . Comparando com (3.12), isso diz que (u, v ) = (v, u) , provando que e Hermitiano. Com as rela co es = e = a express ao (3.13) ca f (x, y ) = (x2 + y 2 ) (v, v ) + 2(x y ) + (u, u) . f (x, y ) = 2(x y ) + (u, u) . Assim, como (u, u) 0 pela positividade, a condi ca o f (x, y ) 0 e poss vel para todos x e y R se e somente se = = 0, ou seja, se e somente se (u, v ) = 0 para todo u. Aqui a desigualdade de Cauchy-Schwarz (3.11) e trivialmente satisfeita, pois ambos os lados s ao iguais a zero. Passemos ao caso (v, v ) = 0. Resta-nos provar a desigualdade de Cauchy-Schwarz (3.11) para esse caso. Podemos reescrever o lado direito de (3.14) como f (x, y ) = (v, v ) x+ (v, v )
2

(3.14)

Vamos agora considerar dois casos: um onde (v, v ) = 0 e outro onde (v, v ) = 0. No primeiro

+ y

(v, v )

+ (u, u)

2 + 2 (v, v )

E. 3.14 Exerc cio. Verique. Da , constatamos que f (x, y ) 0 para todos x e y R se e somente se (u, u) ou seja, se e somente se O lado direito e, por em, | (u, v )|2 , e a u ltima desigualdade signica (u, u) (v, v ) 2 + 2 . 2 + 2 (v, v ) 0,

| (u, v )|2 (u, u) (v, v ) ,

que e a desigualdade de Cauchy-Schwarz que quer amos demonstrar. Finalmente, se e uma forma sesquilinear positiva e n ao-degenerada e um certo vetor u e tal que (u, u) = 0, segue pela desigualdade de Cauchy-Schwarz que (u, v ) = 0 para todo v , o que implica u = 0, pois e n ao-degenerada. A desigualdade de Minkowski

A desigualdade de Cauchy-Schwarz tem uma conseq u encia de certa import ancia, a chamada desigualdade de Minkowski9 : Se e uma forma sesquilinear positiva (em particular, se e um produto escalar) ent ao, para todos os vetores u e v , vale (u v, u v )1/2 (u, u)1/2 + (v, v )1/2 . (3.15) A demonstra ca o e simples: (u v, u v ) = (u, u) (u, v ) (v, u) + (v, v ) = (u, u) 2Re ( (u, v )) + (v, v ) (u, u) + 2 | (u, v )| + (v, v ) (u, u) + 2 (u, u)1/2 (v, v )1/2 + (v, v ) =
9 Hermann

(u, u)1/2 + (v, v )1/2

Minkowski (18641909).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

194/2069

que e o que se queria demonstrar. Acima, na passagem da primeira para a segunda linha usamos a Hermiticidade de e na passagem da terceira para a quarta linha, usamos a desigualdade de Cauchy-Schwarz, ambos esses fatos sendo conseq u encia do Teorema 3.1, p agina 192.

3.1.3

Produtos Escalares

Produtos internos ou produtos escalares

Uma forma sesquilinear positiva e dita ser um produto escalar ou produto interno se satiszer:

6. (u, u) = 0 se e somente se u = 0. A proposi ca o seguinte apresenta uma deni ca o alternativa de produto escalar. Proposi c ao 3.2 Uma forma sesquilinear positiva e um produto escalar se e somente se for n ao-degenerada.

Prova. Se e um produto escalar, ent ao se u e tal que (u, v ) = 0 para todo v , vale em particular (tomando v = u) que (u, u) = 0 e, portanto, u = 0. Assim, todo o produto escalar e n ao-degenerado. Reciprocamente, pelo Teorema 3.1, p agina 192, se e uma forma sesquilinear positiva e n ao-degenerada, ent ao vale automaticamente que (u, u) = 0 se e somente se u = 0

Nota co es para produtos escalares

Seguindo a conven ca o, denotaremos freq uentemente produtos escalares de dois vetores u e v n ao por (u, v ) mas freq por u, v . E uente tamb em denotar um produto escalar de dois vetores u e v por (u, v ). Essa nota ca o pode causar confus ao com a de par ordenado e por isso a evitamos. Em textos de F sica e comum encontrar tamb em a chamada nota c ao de Dirac para produtos escalares: u|v . Por diversas raz oes n ao compartilhamos do entusiasmo de alguns com essa nota ca o e tamb em a evitamos. Detalhando a deni c ao de produto escalar

Como o conceito de produto escalar e muito importante, vamos detalh a-lo um pouco mais antes de passarmos a exemplos. Um produto escalar ou produto interno em um espa co vetorial V sobre o corpo dos complexos e uma fun ca o V V C, denotada por u, v , para u, v V , com as seguintes propriedades: 1. O produto escalar e linear na segunda vari avel: u, v + w = u, v + u, w para todos u, v e w V e todos , C. 2. O produto escalar e anti-linear na primeira vari avel: u + v, w = u, w + v, w para todos u, v e w V e todos , C, onde e o complexo conjugado de C. 3. Conjuga ca o complexa: u, v = v, u para todos u, v V . 4. Para todo u V 0, u = u, 0 = 0 .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

195/2069

5. Positividade. Para todo vetor u n ao-nulo u, u > 0 . Nota. Alguns postulados da deni ca o de produto escalar acima s ao redundantes, pois nem todos s ao independentes. N os os listamos apenas para ressaltar sua relev ancia individual. Por exemplo, o item 2 segue de 1 e 3 (por que?). O item 4 segue de 1 e 2 (por que?). Os itens 1, 2 e 5 implicam o item 3 (como veremos no Teorema 3.1). Independentes s ao apenas 1, 2 e 5 ou 1, 3 e 5. Para um produto escalar de dois vetores vale a seguinte e important ssima desigualdade, conhecida como Desigualdade de Cauchy-Schwarz: 2 u, v u, u v, v . A demonstra ca o (mais geral) e apresentada no Teorema 3.1, p agina 192. Advert encia. Em livros de Matem atica deni ca o de produto escalar e por vezes apresentada de forma que se tenha linearidade na primeira vari avel e anti-linearidade na segunda vari avel. A conven ca o que adotamos e oposta e e seguida, felizmente, por 100% dos textos de F sica. Formas sesquilineares positivas e produtos escalares

Se V e um espa co vetorial dotado de uma forma sesquilinear positiva , existe uma maneira can onica de construir a partir de V e um outro espa co vetorial dotado de um produto escalar. , um produto escalar Seja uma forma sesquilinear positiva em um espa co vetorial V . Ent ao, existe um espa co vetorial V tais que e uma aplica ca o linear sobrejetora E : V V E (u), E (v ) caso (u, u) = 0. e que E (u) = 0 em V Para a mencionada constru ca o, notemos em primeiro lugar que o conjunto de todos os vetores u com a propriedade que (u, u) = 0 formam um subespa co de V . De fato, se u e v s ao dois vetores desse tipo, teremos que (u + v, u + v ) = ||2 (u, u) + (u, v ) + (v, u) + | |2 (v, v ) = 0 , pois (u, u) = (v, v ) = 0, por hip otese, e pois (v, u) = (u, v ) = 0 em fun ca o da condi ca o de ser positivo (pela = V /Z (vide desigualdade de Cauchy-Schwarz). Vamos denominar esse subespa co por Z . O espa co vetorial quociente V a constru ca o da p agina 143) tem as propriedades desejadas. A aplica ca o E : V V e a aplica ca o que associa cada . Denimos ent elemento de v de V ` a sua classe de equival encia [v ]: E : V v [v ] V ao por [u ], [v ] = (u, v ) . = (u, v )

um exerc E cio simples (fa ca) mostrar que essa deni ca o de fato independe dos representantes, no caso u e v , tomados nas classes [u] e [v ]. . e de fato um produto escalar em V E. 3.15 Exerc cio. Mostre que Produtos escalares e formas simpl eticas reais

Seja V um espa co vetorial complexo dotado de um produto escalar , . Ent ao, a express ao (u, v ) := Im u, v ,

Na Se ca o 3.5, p agina 210, veremos que, sob hip oteses adequadas, toda forma simpl etica real e a parte imagin aria de um produto escalar em um espa co complexo.

u, v V , dene uma forma simpl etica real em V . As condi co es de anti-simetria ( (u, v ) = (v, u)) e de linearidade por combina co es lineares com escalares reais s ao elementares de se constatar. Que e n ao-degenerada, segue do fato que se (u, v ) = 0 para todo u valeria, tomando u = iv , 0 = Im( iv, v ) = v, v , o que implica v = 0.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

196/2069

3.1.4

Exemplos

Para ilustrar os conceitos apresentados acima, passemos a alguns exemplos. Exemplos de formas sesquilineares e produtos escalares Exemplo 3.1 Seja V = Cn . Um exemplo de produto escalar e dado pelo produto escalar usual:
n

(u, v ) = u, v onde u = (u1 , . . . , un ) e v = (v1 , . . . , vn ).

:=
k=1

uk vk ,

(3.16)

Exemplo 3.2 Seja V = Cn . Um exemplo de produto escalar e dado por (u, v ) = Au, Av
C

onde u = (u1 , . . . , un ), v = (v1 , . . . , vn ) e onde A e uma matriz n n invers vel. Exemplo 3.3 Exemplo de uma forma sesquilinear Hermitiana que n ao e positiva. Seja V = Cn e seja dado por
n

(u, v ) = u, Av

=
k, l=1

uk Akl vl ,

onde A e uma matriz n n auto-adjunta, ou seja, seus elementos de matriz satisfazem Akl = Alk . A assim denida e uma forma sesquilinear Hermitiana, mas em geral pode n ao ser positiva. Um caso concreto e o seguinte. Tomemos 0 i V = C2 e A = . Ent ao, e f acil ver que (u, u) = u, Au C = i(u1 u2 u1 u2 ) = 2Im(u1 u2 ), que pode ser i 0 f negativo ou mesmo nulo. Assim, essa n ao e positiva. E acil ver, por em, que essa e n ao-degenerada (mostre isso!). Exemplo 3.4 Exemplo de uma forma sesquilinear que n ao e Hermitiana. Seja V = Cn e seja dado por
n

(u, v ) = u, Av

=
k, l=1

uk Akl vl ,

e auto-adjunta, ou seja, Akl = Alk para pelo menos um elemento de matriz Akl . onde A e uma matriz n n que n ao A assim denida e uma forma sesquilinear, mas em geral pode n ao ser Hermitiana. Um caso concreto e o seguinte. 0 1 2 Tomemos V = C e A = . Ent ao, e f acil ver que (u, v ) = u, Av C = u1 v2 , enquanto que (v, u) = v1 u2 . 0 0 Logo, (u, v ) e (v, u) podem ser distintos e n ao e Hermitiana. Fora isso, essa tamb em n ao e positiva e e degenerada (mostre isso!). Exemplo 3.5 Exemplo de uma forma sesquilinear positiva mas que n ao e um produto escalar. Seja V = Cn e seja dado por (u, v ) = Au , Av C vel. Ent ao, existe u0 n ao-nulo tal que Au0 = 0. Da , segue que (u0 , v ) = onde A e uma matriz n n n ao-invers Au0 , Av C = 0 para todo v e, portanto, e degenerada e (u0 , u0 ) = 0. Um caso concreto e o seguinte. Tomemos V = C2 e A = temos que (u, v ) = u1 v1 . Note que todo vetor da forma ub = todo v . 1 0 0 0 0 u2 . Note que A n ao e invers vel (por que?). Aqui e tal que Aub = 0 e, portanto (ub , v ) = 0 para

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

197/2069

Na Se ca o 3.4, p agina 207, mostraremos como e a forma geral de formas bilineares, sesquilineares e produtos escalares nos espa cos de dimens ao nita Rn e Cn . Tratemos agora de dois exemplos em espa cos vetoriais de dimens ao innita. Exemplo 3.6 Seja V = C ([a, b]) o espa co vetorial das fun co es cont nuas complexas de um intervalo fechado [a, b] da reta real (a < b). Seja p uma fun ca o cont nua estritamente positiva denida em [a, b], ou seja, p(x) > 0 para todo x [a, b]. Ent ao, a express ao
b

(f, g ) =
a

f (x)g (x) p(x)dx ,

para fun co es f e g de V dene um produto escalar em V (justique!).

Exemplo 3.7 Seja V = C ([0, 1]) o espa co vetorial das fun co es cont nuas complexas de um intervalo fechado [0, 1] da reta real. Seja p uma fun ca o tal que p e cont nua e estritamente positiva no intervalo [0, 1/2) e identicamente nula no intervalo [1/2, 1]. Ent ao, a express ao
1

(f, g ) =
0

f (x)g (x) p(x)dx ,

para fun co es f e g de V dene uma forma sesquilinear positiva em V , que n ao e um produto escalar (justique!). Exemplo 3.8 Considere o espa co vetorial Cn e o produto escalar usual: (u, v ) = u, v de Cauchy-Schwarz implica
n 2 n n

n i=1

ui vi . A desigualdade (3.17)

ui vi

i=1

j =1

|u j |2

k=1

|vk |2

E. 3.16 Exerc cio. Considere o espa co vetorial das fun co es cont nuas no intervalo [0, 1] e o produto escalar (f, g ) = 1 x f ( x ) g ( x ) dx . Tomando as fun c o es f ( x ) = x e g ( x ) = e , use a desigualdade de Cauchy-Schwarz para mostrar que e 7. 0

etodo. E. 3.17 Exerc cio. Tente livremente obter outras desigualdades interessantes do mesmo estilo usando esse m

3.2

Normas em Espa cos Vetoriais

Aqui trataremos sempre, exceto se mencionado de outra forma, de espa cos vetoriais sobre o corpo dos complexos. Semi-normas

Uma semi-norma e uma fun ca o V R usualmente denotada por

, com as seguintes propriedades:

1. Para todo v V tem-se v 0. 2. Para qualquer C e qualquer v V tem-se v = || v . 3. Para quaisquer vetores u e v V tem-se u + v u + v . Essa desigualdade e denominada desigualdade triangular. Notas.
Note-se que, pelo item 2, vale para uma semi-norma que 0 = 0 (tome = 0).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

198/2069

Para uma semi-norma vale a desigualdade a ab b , (3.18) para quaisquer a, b V . Como faremos uso da mesma no futuro, vamos apresentar sua demonstra ca o aqui, que e uma conseq u encia direta da desigualdade triangular. De fato, a desigualdade triangular diz-nos que ab e que b De (3.19) segue que a e de (3.20) que a ( a b b ) . Quando dois n umeros reais x e y s ao tais que x y e x y ent ao x |y |. Assim, as duas u ltimas desigualdades dizem que a ab b , ab b = a (a b) a + ab . (3.20) a + b (3.19)

que e o que quer amos provar. Essa desigualdade diz, incidentalmente, que a 0 para todo vetor de V . Isso mostra que o item 1 da deni ca o de semi-norma (e de norma, vide abaixo) e sup eruo. Note-se tamb em que se zermos em (3.18) as substitui co es a a b, b b, obtemos a b ab , (3.21)

para quaisquer a, b V . Essa desigualdade ser a empregada diversas vezes neste texto. Pelos itens 2 e 3 da deni ca o de semi-norma, vale que u + v para quaisquer , C e quaisquer vetores u e v V . || u + | | v (3.22)

Normas

Uma norma e uma fun ca o V R usualmente denotada por

, com as seguintes propriedades:

1. Para todo v V tem-se v 0. 2. v = 0 se e somente se v for o vetor nulo: v = 0. 3. Para qualquer C e qualquer v V tem-se v = || v . 4. Para quaisquer vetores u e v V tem-se u + v u + v . Notas.
Como se percebe, uma norma e uma semi-norma dotada tamb em da propriedade que v = 0 implica v = 0. Note tamb em que, pelo item 3 acima, tem-se 0 = 0 (tome = 0). Pelos itens 3 e 4 da deni ca o de norma, vale que u + v para quaisquer , C e quaisquer vetores u e v V . Como toda a norma e uma semi-norma, vale tamb em a importante desigualdade a b ab , (3.24) || u + | | v (3.23)

para quaisquer a, b V . Essa desigualdade ser a empregada diversas vezes neste texto. As quatro condi co es da deni ca o de norma, acima, n ao s ao, em verdade, logicamente independentes e listamo-as devido ` a sua import ancia individual. Assim, por exemplo, a condi ca o de positividade 1, como no caso de semi-normas, segue das condi co es 3 e 4 (mais precisamente, de (3.24)). A condi ca o 4, acima, e de particular import ancia e e denominada desigualdade triangular.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

199/2069

Um espa co vetorial pode ter v arias normas. Vide exemplos abaixo. Exemplos de normas em espa cos vetoriais

Seja Cn = {(z1 , . . . , zn ), com z1 , . . . , zn C}, n 1, o espa co vetorial das n-uplas de n umeros complexos. Para z = (z1 , . . . , zn ) Cn , a express ao
n

:=
k=1

|z k |

(3.25)

dene uma norma em Cn , denominada norma 1 . Verique! A express ao z tamb em dene uma norma em Cn . Verique! A norma (3.25) pode ser generalizada. Para cada p R, p 1, a express ao
n
1 p

:= max |z1 |, . . . , |zn |

(3.26)

:=
k=1

|z k |p

(3.27)

tamb em dene uma norma em Cn , denominada norma p . A u nica diculdade em provar isso reside em demonstrar a desigualdade triangular z + w p z p + w p para quaisquer z, w Cn . Essa desigualdade, por em, e precisamente a desigualdade de Minkowski, demonstrada na Proposi ca o 5.13, p agina 253. Vide tamb em a Se ca o 24.5.1, p agina 1190 (especicamente, a express ao (24.38) do Teorema 24.4, p agina 1194). Seja C ([a, b], C) o espa co vetorial das fun co es complexas cont nuas denidas no intervalo [a, b] R. A express ao
b

:=
a

|f (x)| dx ,

(3.28)

f C ([a, b], C), dene uma norma em C ([a, b], C), denominada norma L1 . Verique! A express ao f

:=

x[a, b]

sup |f (x)| ,

(3.29)

f C ([a, b], C), tamb em dene uma norma em C ([a, b], C), denominada norma do supremo. Verique! A norma (3.28) pode ser generalizada. Para cada p R, p 1, a express ao
b
1 p

:=
a

|f (x)|p dx

(3.30)

f C ([a, b], C), dene uma norma em C ([a, b], C), denominada norma Lp . A u nica diculdade em provar isso reside em demonstrar a desigualdade triangular f + g p f p + g p para quaisquer f, g C ([a, b], C). Para uma demonstra ca o, vide Se ca o 5.2.3.1, p agina 253, ou, com mais generalidade (para fun co es em espa cos mensur aveis), vide a Se ca o 30.4.1, p agina 1378 (especicamente, vide a express ao (30.45) do Teorema 30.7, p agina 1378). Equival encia de normas Deni c ao. Duas normas 1 e 2 em um espa co vetorial V s ao ditas equivalentes se existirem duas constantes positivas c1 e c2 , com 0 < c1 c2 , tais que c1 v
1

c2 v

para todo vetor v V . A import ancia da no ca o de equival encia de normas se manifesta no fato que duas normas equivalentes geram a mesma topologia m etrica. c ao de equival encia entre normas e uma rela c ao de equival encia. E. 3.18 Exerc cio. Mostre que a rela

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

200/2069

E. 3.19 Exerc cio. Mostre que as normas equivalentes.

do espa co Cn , denidas em (3.25) e (3.26), respectivamente, s ao

Em espa cos vetoriais reais ou complexos de dimens ao nita vale o seguinte resultado especial, cuja demonstra ca o encontra-se no Ap endice 3.A, p agina 218: Teorema 3.2 Em um espa co vetorial de dimens ao nita sobre C ou R todas as normas s ao equivalentes.

A arma ca o do Teorema 3.2 e freq uentemente falsa em espa cos de dimens ao innita. Isso e atestado nos exemplos do Exerc cio E. 3.20. E. 3.20 Exerc cio. As normas 1 e do espa co C ([a, b], C), denidas em (3.28) e (3.29), respectivamente, n ao f s ao equivalentes. E acil ver que f 1 (b a) f para toda f C ([a, b], C) (fa ca!). Seja, por em, a fam lia de fun co es 1 f f (x) = e(xa) C ([a, b], C) com > 0. E acil ver que f = 1 e f 1 = (1 e(ba) ) (fa ca!). Mostre que n ao existe nenhuma constante c tal que f c f 1 para todo > 0. Equival encia entre semi-normas

H a uma no ca o de equival encia entre semi-normas an aloga ` a de equival encia entre normas.

A norma associada a um produto escalar

Se e um produto escalar em um espa co vetorial V existe associada a uma norma v

dada por

= (v, v )1/2 ,

v V. E. 3.21 Exerc cio. Mostre que os postulados da deni c ao de norma s ao de fato satisfeitos. Invari ancia de normas associadas a produtos escalares

Se uma norma em um espa co vetorial V e produzida por um produto escalar, como acima, existe naturalmente um grupo de transforma co es lineares de V em V que mantem essa norma invariante. Esse grupo e discutido na Se ca o 20.2.3, x, x R para x Rn , e invariante p agina 981. Por exemplo, a chamada norma Euclidiana de Rn , denida por x = pelo grupo O(n) das matrizes ortogonais, ou seja, das matrizes R, reais n n, que satisfazem RT R = . Isso signica que Rx = x para toda R O(n). O grupo O(n) e seus amigos s ao discutidos na Se ca o 20.2.4, p agina 983 e seguintes. Talvez a principal conseq u encia da desigualdade de Minkowski (3.15) seja a seguinte. Vamos supor que seja um produto escalar. Ent ao, podemos denir10 uma m etrica ou dist ancia entre dois vetores a e b por d (a, b) := ab

A desigualdade triangular

= (a b, a b)1/2 .

tamb Como e um produto escalar, segue que d (a, b) = 0 se e somente se a = b (por que?). E em claro que d (a, b) = d (b, a) (por que?). Fora isso, segue da desigualdade de Minkowski que para quaisquer vetores a, b e c vale d (a, b) d (a, c) + d (c, b) .
10 As

no co es de m etrica e de espa cos m etricos ser ao discutidas no Cap tulo 24, p agina 1165.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

201/2069

Para ver isso, note que d (a, b) = = = (a b, a b)1/2 ((a c) (b c), (a c) (b c))1/2 (a c, a c)1/2 + (b c, b c)1/2 d (a, c) + d (c, b) .

Acima, na passagem da segunda ` a terceira linha, usamos a desigualdade de Minkowski com u = a b e v = b c.

A desigualdade d (a, b) d (a, c)+ d (c, b) e importante no estudo de propriedades topol ogicas de espa cos vetoriais e e denominada desigualdade triangular (pergunta ao estudante: de onde vem esse nome?).

Note que a desigualdade triangular vale tamb em se n ao for um produto escalar, mas apenas uma forma sesquilinear positiva (por que?). Nesse caso e tamb em verdade que d (a, b) = d (b, a), por em, n ao e mais verdade que d (a, b) = 0 se e somente se a = b e, por isso, d e dita ser uma pseudo-m etrica. Norma e produto escalar

A norma assim denida possui duas propriedades importantes que mencionamos aqui: a identidade do paralelogramo e a identidade de polariza c ao. Identidade do paralelogramo: Para todos os vetores u, v V vale u+v
2 2 2 2

Se um espa co vetorial V possuir um produto escalar ent ao, como observamos, e poss vel denir nele uma norma da seguinte forma: u = u, u , u V .

+ uv

= 2 u

+2 v

(3.31)

Prova. Tem-se simplesmente pelas deni co es que u+v e Somando-se ambas tem-se o resultado desejado. uv
2 2

= u + v, u + v = = u v, u v =

u u

+ u, v + v, u + v

u, v v, u + v

e chamada identidade do paralelogramo? E. 3.22 Exerc cio. Por que (3.31) onio11 : E. 3.23 Exerc cio. Usando a identidade do paralelogramo demonstre a identidade de Apol zx v alida para todos os vetores x, y, z V . Identidade de polariza c ao: Para todos os vetores u, v de um espa co vetorial complexo V vale u, v = 1 i n u + i n v 4 n=0 1 i n u + i n v 4 n=0
2 3 3 2 2

+ zy

1 xy 2

+2 z

(x + y ) 2

(3.32)

u, v ou seja, 4 u, v =
11 Apol onio

(3.33)

u+v

uv

i u + iv

+ i u iv

de Perga (ci. 261 A.C. ci. 190 A.C.).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

202/2069

Prova. Exerc cio. Expanda o lado direito e verique a igualdade. E. 3.24 Exerc cio. Por que essa rela c ao e chamada identidade de polariza c ao? Notemos que, com a deni ca o dada acima de norma associada a um produto escalar, a desigualdade de CauchySchwarz ca | u, v | u v . A identidade de polariza c ao

A identidade de polariza c ao mencionada acima e um caso especial de uma outra ligeiramente mais geral, tamb em denominada identidade de polariza ca o. Seja A um operador linear em um espa co vetorial V sobre os complexos e sejam u e v elementos de seu dom nio. Ent ao, vale que u, Av = 1 in (u + in v ), A(u + in v ) , 4 n=0 1 in (u + in v ), A(u + in v ) , 4 n=0
3 3

(3.34)

u, Av

(3.35)

E. 3.25 Exerc cio. Mostre isso. Sugest ao: expanda o lado direito das igualdades acima e constate as igualdades. Tomando-se A como o operador identidade reobtem-se as identidades (3.32)-(3.33). A rela ca o (3.34) mostra que se para um operador linear A conhecermos todas as quantidades , A para todos os vetores V , ent ao conhecemos tamb em todas as quantidades u, Av para todos u, v V .

Para a f sica qu antica a identidade de polariza ca o (3.34) diz que se A for um observ avel (operador auto-adjunto), ent ao o conhecimento de todos os valores esperados de A, ou seja, das quantidades , A com = 1 e dos produtos escalares u, v para vetores com u = v = 1, xa todas as probabilidades de transi ca o | u, Av |2 , pois u, Av = onde n = 1 in n , An (2 + in u, v + in v, u ) , 4 n=0 1 (u + in v ) . n u, v + i v, u
3

(3.36)

1 (u + in v ) = u + in v

2+

in

Uma conseq u encia da identidade de polariza c ao

A rela ca o (3.34) permite-nos facilmente provar a seguinte arma ca o, freq uentemente empregada:

Proposi c ao 3.3 Se um operador linear A agindo em um espa co vetorial complexo V satisfaz u, Au = 0 para todo vetor u V ent ao A = 0. Para matrizes reais em espa cos vetoriais reais n ao vale uma armativa t ao forte. Por exemplo, se V = Rn e A for
n

uma matriz anti-sim etrica, ou seja AT = A, ent ao vale automaticamente que x, Ax Aab = Aba para todo x Rn . Por em, A pode ser n ao-nula. Todavia, para matrizes sim etricas vale o seguinte:

=
a, b=1

xa Aab xb = 0, pois

Proposi c ao 3.4 Seja M Mat (R, n) uma matriz sim etrica (ou seja, tal que M T = M ) para a qual valha que n x, M x R = 0 para todo x R . Ent ao, M = 0.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

203/2069

Prova. Se M e uma matriz sim etrica, e f acil vericar que para quaisquer vetores u e v Rn tem-se u, M v
R

1 4

(u + v ), M (u + v )

(u v ), M (u v )

(Para provar isso, expanda o lado direito e use que u, M v R = v, M u R , pois M e sim etrica). Logo, da hip otese sobre M , segue que u, M v R = 0 para todos u e v Rn e, portanto, M = 0. Obtendo produtos escalares a partir de normas

Nas u ltimas p aginas vimos que podemos obter uma norma a partir de um produto escalar e que essa norma satisfaz a identidade do paralelogramo, express ao (3.31). Podemos nos perguntar: se uma norma for dada em um espa co vetorial complexo, seria poss vel obter um produto escalar a partir dessa norma? A resposta a essa quest ao e fornecida por um teorema devido a Fr echet12 , von Neumann13 e Jordan14, teorema esse sugerido pela identidade de polariza ca o, express ao (3.32), p agina 201. Teorema 3.3 (Teorema de Fr echet, von Neumann e Jordan) Seja V um espa co vetorial complexo, normado com norma e vamos supor que essa norma satisfa ca a identidade do paralelogramo a+b para todos a, b V . Dena-se, para u, v V , (u, v ) := Ent ao, e um produto escalar em V . 1 i n u + i n v 4 n=0
3 2 2

+ ab

= 2 a

+2 b

(3.37)

(3.38)

Com essa deni c ao, vale (u, u) = u 2 para todo u V e, portanto, a norma associada ao produto escalar ea pr opria norma . Com isso, reconhecemos que (3.38) coincide com a identidade de polariza c ao para o produto escalar . Conclu -se, ent ao, que uma norma e associada a um produto escalar se e somente se satiszer a identidade do paralelogramo. A demonstra ca o do Teorema de Fr echet, von Neumann e Jordan encontra-se no Ap endice 3.B, p agina 219. Vide tamb em [261] ou [138] para outras demonstra co es essencialmente id enticas. A demonstra ca o do Teorema 3.3 e engenhosa e a principal diculdade consiste em demonstrar que (3.38) e uma forma sesquilinear, um fato um tanto surpreendente se observarmos que o lado direito de (3.38) cont em uma soma de normas, que n ao s ao sequer fun co es lineares, satisfazendo apenas u = || u e u + v || u + | | v para todos , C e todos u, v V .

Mencionemos, por m, que nem toda norma satisfaz a identidade do paralelogramo e, portanto, nem toda norma e associada a um produto escalar e, assim, nem sempre e poss vel denir um produto escalar a partir de uma norma. Os Exerc cios E. 3.26 e E. 3.27, servem como exemplo de tais situa co es. co vetorial V = C ([0, 1], C) das fun co es cont nuas do intervalo [0, 1] assumindo valores E. 3.26 Exerc cio. Seja o espa complexos e seja a norma f = supx[0, 1] |f (x)|. Mostre que a identidade do paralelogramo n ao e satisfeita para as fun co es f (x) = x e g (x) = 1, x [0, 1], que s ao elementos de V . E. 3.27 Exerc cio. Seja o espa co vetorial V = Cn , com n 2. Para a = (a1 , . . . , an ) Cn a express ao a p := p p 1/p [|a1 | + + |an | ] , dene uma norma em V = Cn , caso p 1. Mostre que essa norma viola a identidade do paralelogramo para todo p = 2. Para tal considere os vetores u = (1, 0, 0, . . . , 0) e v = (0, 1, 0, . . . , 0). A norma p ser a discutida com mais detalhe no Cap tulo 24, p agina 1165.
12 Maurice 13 J anos

Ren e Fr echet (18781973). von Neumann (19031957). Von Neumann tamb em adotou os nomes de Johann von Neumann e John von Neumann. 14 Ernst Pascual Jordan (19021980).

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

204/2069

O Exerc cio E. 3.27 ensina-nos que a identidade do paralelogramo n ao e v alida para a norma p , caso p 1 mas p = 2. Em tais casos, por em, h a desigualdades que em muito se assemenham ` a identidade do paralelogramo. 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 por essas desigualdades que para todos para 0 < p < 2 e |z + w|p + |z w|p 2p1 |z |p + |w|p , para p 2. E n u, v C valem p p p p u+v p+ uv p 2 u p+ v p , 1 p < 2, (3.39) e u+v
p p

Generalizando a identidade do paralelogramo

+ uv

p p

2p1

p p

+ v

p p

p 2.

(3.40)

Note-se que no caso p = 2 (e somente nesse caso), (3.40) n ao e apenas uma desigualdade, mas sim uma igualdade, a identidade do paralelogramo. E. 3.28 Exerc cio. Mostre isso! As desigualdades (3.39) e (3.40) substituem em certos casos a identidade do paralelogramo. Veremos isso quando discutirmos a propriedade de convexidade uniforme na Se ca o 24.6, p agina 1201. Bolas em espa cos normados

Seja V um espa co vetorial dotado de uma norma . Denimos a bola aberta de raio r > 0 centrada em z V , denotada por Br (z ), por Br (z ) := x V : x z < r . Denimos a bola fechada de raio r > 0 dentrada em z V , denotada por Br (z ), por Br (z ) := xV : xz r .

e denido por Br (z ) := Br (z ) \ Br (z ), ou O bordo de uma bola aberta Br (z ) ou fechada Br (z ), denotado por Br (z ), seja, Br (z ) := x V : x z = r . Uma bola fechada Br (z ) e sempre um subconjunto convexo de V , ou seja, para todo x, y Br (z ) e para todo [0, 1] tem-se x + (1 )y Br (z ). De fato, pelas propriedades denidoras de uma norma, tamos para x, y Br (z ) e [0, 1] que x + (1 )y z = (x z ) + (1 )(y z ) x z + (1 ) y z r + (1 )r = r, estabelecendo que x + (1 )y Br (z ). De forma totalmente an aloga, prova-se que uma bola aberta Br (z ) e tamb em sempre um subconjunto convexo de V . No espa co R2 podem ser denidas v arias normas. Vejamos alguns exemplos. Para x (x1 , x2 ) R2 , temos as normas x
p

as normas 205, exibimos o aspecto das bolas fechadas B1 (0), de raio 1 centradas em 0, relacionadas ` R2 . O estudante deve perceber que, de fato, todas essas bolas s ao conjuntos convexos.

:= |x1 |p + |x2 |p

1/p

, com p 1. Temos tamb em a norma x

:= max |x1 |, |x2 | . Na Figura 3.1, p agina

p

em

3.3

Ortogonalidade, Conjuntos Ortonormais e o Procedimento de Gram-Schmidt

a norma associada a esse produto escalar,

Seja V e um espa co vetorial dotado de um produto escalar , , e seja v, v , tal como denido acima. ou seja, para v V tem-se v := Normaliza c ao. Raio associado a um vetor

Um vetor e V e dito ser um vetor unit ario, ou um vetor normalizado, em rela ca o ao produto escalar em quest ao (e a norma a este associada) se e = 1. `

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

205/2069

p2 2 p1 1

Figura 3.1: As bolas B1 (0), de raio 1 centradas em 0, relacionadas ` as normas p e em R2 . As linhas s olidas indicam os bordos B1 (0). O ndice 1 indica a bola B (0) para a norma . Trata-se de um quadrado obliquo com 1 1 arestas de comprimento 2 centrado na origem O. O ndice p1 indica as bolas B1 (0) para as normas p1 quando eau nica bola que coincide com o disco de raio 1 < p1 < 2. O ndice 2 indica a bola B1 (0) para a norma 2 . Essa 1 centrado na origem O. O ndice p2 indica as bolas B1 (0) para as normas p2 quando p2 > 2. O ndice indica a bola B1 (0) para a norma . Trata-se de um quadrado com arestas de comprimento 2 centrado na origem O.

Se u V e um vetor n ao-nulo, podemos transform a-lo em um vetor unit ario se o multiplicarmos por 1/ u . Esse 1 procedimento e por vezes denominado normaliza c ao do vetor u. Se u e um vetor n ao-nulo, o vetor u u e normalizado, e um n umero complexo de m odulo um, i.e., || = 1 (aqui estamos assim como todos os vetores da forma u u onde supondo que V seja um espa co vetorial sobre o corpo dos complexos). Para um vetor n ao-nulo u, xo, o conjunto de vetores normalizados R(u) := u u, C com || = 1 e dito ser o raio associado ao vetor u. Proje c ao de um vetor na dire c ao de outro vetor. Ortogonalidade

u e dito ser a componente de u na dire c ao de v , ou a proje c ao Se u e v s ao dois vetores de V com v = 0, o vetor v, v 2 v de u na dire c ao de v . Essa nomenclatura tem origem na bem-conhecida e familiar interpreta ca o geom etrica do produto escalar usual em R2 ou em R3 , mas a usamos mesmo no caso de V ser um espa co vetorial complexo ou ter dimens ao innita.

Dados dois vetores u, v V , dizemos que u e ortogonal a v em rela ca o ao produto escalar em quest ao se u, v = 0. Evidentemente, u e ortogonal a v se e somente se v for ortogonal a u. Caso v seja n ao-nulo, dizer que u e ortogonal a v signica dizer que u tem uma componente nula na dire ca o v (e vice-versa). O vetor nulo eou nico vetor de V que e

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

206/2069

ortogonal a todos os vetores de V . Sejam u e v s ao dois vetores linearmente independentes. Se subtrairmos de u sua componente na dire ca o de v v, u obtemos o vetor w = u v 2 v . Esse vetor e n ao-nulo (pois u e v s ao linearmente independentes) e e ortogonal a v (pois v, w = 0, como facilmente se constata). Com isso, obtivemos dois vetores ortogonais, w e v , a partir de dois vetores linearmente independentes, u e v . Essa id eia ser a generalizada logo adiante quando falarmos do procedimento de ortogonaliza ca o de Gram-Schmidt. Comentamos, nalmente, que a no ca o de ortogonalidade e uma rela c ao de compatibilidade na cole ca o dos vetores unit arios de V . Vide deni ca o na Se ca o 1.1.1.2, p agina 39. Conjunto ortonormal de vetores

Seja E = {e , } um conjunto n ao-vazio de vetores distintos de V , sendo um conjunto arbitr ario n ao-vazio de ndices (podendo ser nito, cont avel ou n ao-cont avel). O conjunto E e dito ser um conjunto ortonormal de vetores em rela ca o ao produto escalar em quest ao se para todo tivermos e = 1 e se para todos , com = valer e , e = 0. Assim, E e um conjunto ortonormal se todos os seus elementos forem vetores unit arios e se quaisquer dois vetores distintos de E forem ortogonais entre si em rela ca o ao produto escalar em quest ao. E. 3.29 Exerc cio. Se E = {e , } e um conjunto ortonormal de vetores, mostre que e e = 2 sempre que = . Procedimento de ortogonaliza c ao de Gram-Schmidt ao-nulos e linearmente independentes de V , Dado um conjunto nito B = b1 , . . . , bn composto por n vetores n co n-dimensional gerado pelos vetores de B por podemos construir um conjunto ortonormal E = e1 , . . . , en no subespa um procedimento conhecido como procedimento de ortogonaliza c ao de Gram15 -Schmidt16 , que passaremos a descrever17. O procedimento come ca escolhendo-se um vetor de B e normalizando-se esse vetor, denindo assim o primeiro vetor b1 . No segundo e1 de E . Para simplicar a nota ca o, escolhemos come car com o vetor b1 e denimos, assim, e1 := b1 1 passo, tomamos o vetor b2 , subtra mos do mesmo sua componente na dire ca o e1 e em seguida normalizamos o vetor disso resultante, denindo assim o vetor e2 : e2 := 1 b 2 e1 , b 2 e1 b 2 e1 , b 2 e1 .

Pela constru ca o, e evidente que e1 = e2 = 1 e e f acil vericar que e1 , e2 = 0. A id eia do procedimento e prosseguir com os demais vetores de forma an aloga, tomando na k - esima etapa o vetor bk , subtraindo do mesmo suas componentes nas dire co es e1 , . . . , ek1 e normalizando o vetor assim resultante. Obtemos e1 := b1 , b1 ek := bk 1
k 1 k 1

bk

el , b k el
l=1

k = 2, . . . , n .

el , b k el
l=1

Observe-se que cada ek depende apenas dos vetores e1 , . . . , ek1 , denidos nas k 1 etapas anteriores. Como e f acil e um conjunto vericar, valem as rela co es ei , ej = i j para todos i, j = 1, . . . , n, atestando que E = e1 , . . . , en ortonormal de vetores. Note que a constru ca o acima descrita n ao eu nica, pois podemos reordenar os elementos de B , obtendo assim uma nova seq u encia de vetores ej , j = 1, . . . , n. Comentamos, por m, que o procedimento de Gram-Schmidt, descrito acima, aplica-se sem qualquer modica ca o ao caso de B ser um conjunto cont avel (n ao necessariamente nito) de vetores n ao-nulos com a propriedade que qualquer subconjunto nito de B seja composto por vetores linearmente independentes (a exist encia de uma tal B requer, naturalmente, que V seja um espa co vetorial de dimens ao innita). O conjunto E assim produzido ser a igualmente um conjunto
Pedersen Gram (18501916). Schmidt (18761959). 17 Seria mais adequado chamar o procedimento de procedimento de ortonormaliza c ao de Gram-Schmidt, pois o conjunto de vetores resultante e ortonormal, mas aquela nomenclatura e adotada amplamente.
16 Erhard 15 Jrgen

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

207/2069

ortonormal cont avel. Nesse contexto, o procedimento de Gram-Schmidt tem aplica co es no estudo e na constru ca o de fam lias de polin omios ortogonais, como os de Legende, os de Tchebychev etc. Vide Cap tulo 14, p agina 630, e refer encias l a citadas.

3.4

Formas Bilineares e Sesquilineares e Produtos Escalares em Espa cos de Dimens ao Finita

poss E vel estabelecer a forma geral de uma forma bilinear ou sesquilinear em certos espa cos vetoriais, como os espa cos o que discutiremos nesta se de dimens ao nita Rn ou Cn . E ca o. Faremos uso do chamado Teorema da Representa ca o de Riesz, que arma o seguinte. Teorema 3.4 (Teorema da Representa c ao de Riesz) Seja l um funcional linear cont nuo em um espa co de Hilbert H (com um produto escalar , H ). Ent ao, existe H, u nico, tal que l(x) = , x
H,

x H .

A demonstra ca o desse importante teorema pode ser encontrada na Se ca o 36.3.1, p agina 1817. Notemos que esse teorema se aplica aos espa cos vetoriais Rn ou Cn , pois os mesmos s ao espa cos de Hilbert em rela ca o aos produtos escalares , R e , C , respectivamente, denidos em (3.2) e (3.16) (p aginas 186 e 196). Vamos provar a seguinte arma ca o: toda forma bilinear em Rn e cont nua (em ambas as vari aveis), o mesmo valendo para formas bilineares ou sesquilineares em Cn . Vamos provar a arma ca o para as formas sesquilineares em Cn . Os outros casos s ao id enticos. Seja uma forma n sesquilinear em C . Para vetores x, y Cn , y = 0, escrevemos (x, y ) = y x, y/ y , (3.41) onde y = y, y C . Notemos ent ao que se v e um vetor de norma igual a 1 e {b1 , . . . , bn } e uma base ortonormal em Cn ent ao v = v1 b1 + + vn bn com |vj | 1. Assim, (x, v ) = v1 (x, b1 ) + + vn (x, bn ) e, portanto, Para cada x xo o lado direito e uma constante Kx e n ao depende de v . Aplicando isso a (3.41), teremos (x, y ) Isso mostra que
y 0

Continuidade

(x, v ) (x, b1 ) + + (x, bn ) . y Kx .

lim (x, y ) = 0

para todo x xo. Como (x, y ) e linear na segunda vari avel, segue que
y y0

lim (x, y ) = (x, y0 ) ,

para todo y0 Cn , provando a continuidade de na segunda vari avel. A prova para a primeira vari avel e id entica. Os casos em que e bilinear em Rn ou em Cn e an alogo. Formas sesquilineares em Cn

Seja uma forma sesquilinear em Cn . Ent ao, pelo que acabamos de ver, para cada x Cn l x : Cn C, lx (y ) = (x, y )

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

208/2069

e um funcional linear e cont nuo. Pelo Teorema da Representa c ao de Riesz existe um u nico vetor x Cn tal que n lx (y ) = x , y C para todo y C , ou seja, (x, y ) = x , y C . Seja A a fun ca o que a cada x Cn associa o ( unico!) vetor x com a propriedade acima: A(x) = x . Tem-se, (x, y ) = A(x), y
C

(3.42)

Armamos que A e um operador linear, ou seja, A(1 x1 + 2 x2 ) = 1 A(x1 ) + 2 A(x2 ) para todos os n umeros complexos 1 e 2 e todos os vetores x1 e x2 . De fato, por (3.42), A(1 x1 + 2 x2 ), y
C

= (1 x1 + 2 x2 , y ) = 1 (x1 , y ) + 2 (x2 , y ) = 1 A(x1 ), y =

C

+ 2 A(x2 ), y
C

1 A(x1 ) + 2 A(x2 ), y

Assim, para todo y Cn tem-se A(1 x1 + 2 x2 ) 1 A(x1 ) 2 A(x2 ) , y o que implica A(1 x1 + 2 x2 ) = 1 A(x1 ) + 2 A(x2 ) , que e o que quer amos provar. Assim, A e em verdade um operador linear. Resumimos esses fatos no seguinte teorema: Teorema 3.5 Para toda forma sesquilinear em Cn existe uma matriz n n complexa A tal que (x, y ) = A x, y para todos x, y Cn . Esse teorema estabelece assim a forma geral das formas sesquilineares em Cn . Formas bilineares em Rn
C C

= 0,

Seja uma forma bilinear em Rn . Ent ao, para cada x Rn lx : Rn R : lx (y ) = (x, y )

e um funcional linear e cont nuo. Pelo Teorema da Representa c ao de Riesz existe um u nico vetor x Rn tal que lx (y ) = x , y R , ou seja, (x, y ) = x , y R . Seja A a fun ca o que a cada x Rn associa o ( unico!) vetor x com a propriedade acima: A(x) = x . De maneira an aloga ao que zemos acima podemos provar que A e um operador linear, ou seja, uma matriz n n real e (x, y ) = Ax, y R . Resumimos esses fatos no seguinte teorema: Teorema 3.6 Para toda forma bilinear em Rn existe uma matriz n n real A tal que (x, y ) = A x, y para todos x, y Rn .
R

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

209/2069

Esse teorema estabelece assim a forma geral das formas bilineares em Rn . Formas bilineares em Cn

Seja uma forma bilinear em Cn . Ent ao, s (x, y ) = (x, y )

dene uma forma sesquilinear em Cn , onde x = (x1 , . . . , xn ) para x = (x1 , . . . , xn ) Cn . Pelo que provamos acima, portanto, existe uma matriz complexa A tal que s (x, y ) = A x, y para todos x, y Cn , ou seja, para todos x, y Cn . (x, y ) = A x, y
C

, ,

Note que isso tamb em diz que (x, y ) = A x, y

R

onde A e o complexo conjugado da matriz A . Resumimos esses fatos no seguinte teorema: Teorema 3.7 Para toda forma bilinear em Cn existe uma matriz n n complexa A tal que (x, y ) = A x, y para todos x, y Cn . Esse teorema estabelece assim a forma geral das formas bilineares em Cn . Formas simpl eticas
R

Se e uma forma bilinear alternante em Rn ou Cn , ou seja, e bilinear e (x, y ) = (y, x), ent ao e da forma (x, y ) = A x, y R onde A e uma matriz anti-sim etrica, ou seja, AT = A. De fato, como x, y R = y, x R e como (x, y ) = (y, x), segue que A x, y
R

= A y, x

= y, AT x

= AT x, y

Como isso vale para todo x, y Rn (ou Cn ), tem-se AT = A.

Isso determina a forma geral de uma forma bilinear alternante em Rn ou Cn .

Se e uma forma simpl etica, ou seja, e uma forma bilinear alternante n ao-degenerada, ent ao A tem de ser tamb em invers vel. De fato, se Ax, y R = 0 para todo y , ent ao Ax = 0. Se A e invers vel isso s o e poss vel se x = 0. Uma conseq u encia do fato de A ter de ser invers vel e que n tem que ser par. De fato, a condi ca o AT = A diz que T n T n det(A) = det(A ) = (1) det(A ) = (1) det(A). Portanto, se n e mpar ter amos det(A) = 0.

A conclus ao e que formas simpl eticas s o ocorrem nos espa cos de dimens ao nita Rn ou Cn se a dimens ao n for par, e nesse caso, t em a forma (x, y ) = Ax, y R , onde A e invers vel e satisfaz AT = A. Formas sesquilineares Hermitianas em Cn

Se e uma forma sesquilinear Hermitiana em Cn , tem-se (x, y ) = (y, x). Se A e a matriz tal que Ax, y (x, y ), ent ao Ax, y C = Ay, x C = x, Ay C = A x, y C ,

onde A := AT e a adjunta de A. Como a u ltima rela ca o vale para todo x, y Cn , tem-se A = A , ou seja, A e uma matriz auto-adjunta. Portanto, a forma geral de uma forma sesquilinear Hermitiana em Cn e Ax, y
C,

onde A e uma matriz auto-adjunta.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

210/2069

Produtos escalares em Cn

Se e um produto escalar em Cn , e sesquilinear Hermitiana e (x, x) > 0 se x = 0. Se A e a matriz tal que Ax, y C = (x, y ), ent ao Ax, x C > 0 (3.43)

se x = 0. Uma conseq u encia disso e o seguinte: se vi e um dos autovetores de A com autovalor i , ent ao i > 0. De fato, tomando x = vi em (3.43), teremos18 0 < Avi , vi C = i vi , vi C , o que implica i > 0. Esse fato, em particular, nos diz que A e invers vel (pois o determinante de A e o produto de seus autovalores). bem sabido que os autovetores vi de uma matriz auto-adjunta Outra conseq u encia dessas observa co es e a seguinte. E A podem ser escolhidos de modo agina 357). Vamos denir uma a formar uma base ortonormal (vide Teorema 8.13, p matriz B de modo que Bvi = i vi para todos os autovetores vi de A. Isso dene a a ca o de B nos vetores de uma base e, portanto, B ca denida em toda parte19 . f E acil provar que B assim denida e tamb em auto-adjunta, B = B , e que B 2 = A. Claramente B e tamb em invers vel e tem autovalores > 0. E. 3.30 Exerc cio. Mostre esses fatos. Disso conclu mos que (x, y ) = Ax, y
C

= Bx, By

Para futura refer encia reunimos nossas conclus oes sobre produtos escalares em espa cos Cm na seguinte proposi ca o: Proposi c ao 3.5 Se e um produto escalar em Cn ent ao existe uma u nica matriz M Mat (C, n) auto-adjunta e de autovalores positivos (e, portanto, invers vel) tal que (x, y ) = x, M y C para todos x, y Cn .

Igualmente, se e um produto escalar em Cn ent ao existe uma ( unica) matriz auto-adjunta B , invers vel e com autovalores > 0 tal que (x, y ) = B x, B y C para todo x, y Cn .

3.5

Estruturas Complexas sobre Espa cos Vetoriais Reais

a, portanto, denido um produto por escalares reais: x v V , onde x R e Seja V um espa co vetorial real. Em V est v V . Sob certas circunst ancias e poss vel transformar V em um espa co vetorial complexo denindo um produto por escalares complexos: z v V para z C e v V . Tamb em sob hip oteses, um produto escalar complexo pode ser denido em V . Suponha que exista um operador linear J : V V , agindo em V , com a propriedade J 2 = , onde denota o operador identidade. Se z C e da forma z = x + iy com x, y R, dena-se em V o produto por escalares complexos por (x + iy ) v := xv + yJv . (3.44) As seguintes propriedades poder ser facilmente vericadas como exerc cio: 1. O produto por escalares complexos (3.44) e associativo: ( u) = ( ) u , para todos , C e u V , onde e o produto de por em C, 2. 1 u = u para todo u V . 3. O produto por escalares complexos (3.44) e distributivo em rela ca o ` a soma de vetores: (u + v ) = u + v , para todo C e todos u, v V .
18 Lembre-se 19 Para

que os autovalores de uma matriz auto-adjunta s ao sempre n umeros reais. o estudante mais avan cado: aqui poder amos usar tamb em o teorema espectral, Teorema 8.5.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

211/2069

4. O produto por escalares complexos (3.44) e distributivo em rela ca o ` a soma de escalares: ( + ) u = u + u , para todos , C e todo u V . Portanto, pela deni ca o da Se ca o 2.1.5, p agina 90, V e um espa co vetorial complexo com o produto denido acima. Vamos denotar por VJ esse espa co vetorial complexo, para n ao confund -lo com V , que e um espa co vetorial real. Note que os vetores de V e de VJ s ao os mesmos, mas V e VJ representam estruturas diferentes. VJ e dito ser uma estrutura complexa sobre o espa co vetorial real V . Uma quest ao de grande interesse, especialmente no contexto das chamadas algebras CAR e CCR (vide [33]) que descrevem as algebras de comuta ca o e anticomuta ca o can onicas da Mec anica Qu antica e das Teorias Qu anticas de Campos (que descrevem modelos fermi onicos20 e bos onicos21 ), e saber se e possivel introduzir um produto escalar complexo no espa co complexo VJ . Como veremos no que segue, tal e possivel se houver em V uma forma simpl etica real ou um produto escalar real satisfazendo certas hip oteses. Desenvolveremos primeiro as id eias gerais e apresentaremos exemplos posteriormente, ` a p agina 213. Formas simpl eticas reais e produtos escalares reais

Para mostrar como construir produtos escalares complexos no espa co complexo VJ precisamos do seguinte resultado preparat orio, que tem interesse por si s o, por estabelecer uma rela ca o entre formas simpl eticas22 reais e produtos escalares reais.

Lema 3.1 Seja V um espa co vetorial real e suponha que exista um operador linear J : V V satisfazendo J 2 = . Valem as seguintes arma c oes I. Se : V V R e um produto escalar real em V satisfazendo (Ju, v ) = (u, Jv ) para todos u , v V , ent ao : V V R denida para todos u, v V por (u, v ) := (Ju, v ) = (u, Jv ) e uma forma simpl etica real e satisfaz (a) (Ju, v ) = (u, Jv ) para todos u , v V , (b) (u, Ju) 0 para todo u V . II. Se : V V R e uma forma simpl etica real em V satisfazendo (a) (Ju, v ) = (u, Jv ) para todos u , v V , (b) (u, Ju) 0 para todo u V , ent ao : V V R denida para todos u, v V por (u, v ) := (u, Jv ) = (Ju, v ) e um produto escalar real e satisfaz (a) (Ju, v ) = (u, Jv ) para todos u , v V . (3.46) (3.45)

20 Enrico

Fermi (19011954). Nath Bose (18941974). 22 Para a deni ca o, vide p agina 187.
21 Satyendra

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

212/2069

Prova da parte I. Pelas hip oteses, e um produto escalar real e, portanto, e uma forma bilinear real, positiva, sim etrica e n ao-degenerada. Que denida em (3.45) e uma forma bilinear e evidente. Para todos u, v V tem-se (u, v ) = (Ju, v ) = (u, Jv )
simetria

(Jv, u) = (v, u) ,

provando que e uma forma alternante. Se (u, v ) = 0 para todo v V , ent ao (Ju, v ) = 0 para todo v V . Mas como e n ao-degenerada, segue que Ju = 0, o que implica u = 0, pois J 2 = . Isso provou que e n ao degenerada e, portanto, e uma forma simpl etica. Note-se agora que (u, Jv ) = (Ju, Jv ) = (u, J 2 v ) = (u, v ) = (Ju, v ) . Por m, (u, Ju) = (Ju, Ju) 0, pois e um produto escalar. Pelo mesmo motivo, (Ju, Ju) = 0 se e somente se co es da parte I. Ju = 0. Como J 2 = , isso implica u = 0. Isso provou as arma

Prova da parte II. Pelas hip oteses, e uma forma simpl etica real e, portanto, e uma forma bilinear real, alternante e n ao-degenerada. Que denida em (3.46) e uma forma bilinear e evidente. Para todos u, v V tem-se (u, v ) = (u, Jv ) = (Ju, v )
altern ancia

(v, Ju) = (v, u) ,

provando que e uma forma sim etrica. Se (u, v ) = 0 para todo v V , ent ao (u, Jv ) = 0 para todo v V . Mas como e n ao-degenerada, segue que u = 0, provando que e uma forma n ao-degenerada. Para todo u tem-se tamb em (u, u) = (u, Ju) 0, por hip otese, provando que e uma forma positiva. Assim, pela Proposi ca o 3.2, p agina 194, e um produto escalar. Note-se agora que, por deni ca o, (u, v ) = (Ju, v ) para todos u , v V . Disso segue que (u, v ) = (Ju, v ) e que (u, Jv ) = (Ju, Jv ) = (u, J 2 v ) = (u, v ) = (Ju, v ) . Isso provou as arma co es da parte II.

A proposi ca o que segue mostra como se pode construir em VJ um produto escalar complexo se for fornecida uma forma simpl etica real ou um produto escalar real em V satisfazendo certas hip oteses. Proposi c ao 3.6 Suponhamos que V seja um espa co vetorial real e que exista J : V V , um operador linear em V , satisfazendo J 2 = . Ent ao, valem as seguintes arma c oes: A. Se existir uma forma simpl etica real : V V R satisfazendo (a) (Ju, v ) = (u, Jv ) para todos u , v V , (b) (u, Ju) 0 para todo u V 23 ,
J,

Produtos escalares complexos sobre estruturas complexas

ent ao, V V (u, v ) u, v

C denida por u, v
J,

:= (u, Jv ) + i (u, v )

para todos u, v V , e um produto escalar complexo sobre a estrutura complexa VJ . B. Se existir um produto escalar real : V V R satisfazendo (a) (Ju, v ) = (u, Jv ) para todos u , v V , ent ao, V V (u, v ) u, v
J,

C denida por u, v
J,

:= (u, v ) + i(Ju, v )

para todos u, v V , e um produto escalar complexo sobre a estrutura complexa VJ .

23 Em

[33] essa u ltima condi ca o n ao e mencionada, mas ela e necess aria.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

213/2069

Prova. Mostremos em primeiro lugar que as hip oteses das partes A e B s ao equivalentes. Pelo Lema 3.1, p agina 211, a exist encia de uma forma simpl etica real satisfazendo as hip oteses da parte A implica a exist encia de um produto escalar real dado por (u, v ) := (u, Jv ) = (Ju, v ) satisfazendo as hip oteses da parte B, sendo que, por essa deni ca o de , (u, Jv ) + i (u, v ) = (u, v ) + i(Ju, v ) . (3.47) Reciprocamente, tamb em pelo Lema 3.1, p agina 211, a exist encia de um produto escalar real satisfazendo as hip oteses da parte B implica a exist encia de uma forma simpl etica real dada por (u, v ) := (Ju, v ) = (u, Jv ) satisfazendo as hip oteses da parte A, sendo que, por essa deni ca o de , a igualdade (3.47) e tamb em v alida. Assim, e suciente provarmos, digamos, a parte A. evidente que para quaisquer u, v, w V valem Prova da parte A. E (u + v ), w Al em disso, v, u
J, J,

= u, w

J,

+ v, w

J,

u, (v + w)

J,

= u, v

J,

+ u, w

J,

= (v, Ju) + i (v, u) = (Ju, v ) i (u, v ) = (u, Jv ) i (u, v ) = u, v

J,

(3.48)

Para x, y R tem-se tamb em u, (x + iy ) v

J,

= = =
J 2 =

u, xv + yJv u, xv
J,

J,

+ u, yJv

J,

(u, xJv ) + i (u, xv ) + (u, yJ 2 v ) + i (u, yJv ) (u, xJv ) + i (u, xv ) + (u, yv ) + i (u, yJv ) x (u, Jv ) + i (u, v ) + iy (u, Jv ) + i (u, v ) (x + iy ) u, v
J, J,

= =

. = (x iy ) u, v
J, ,

Pela propriedade (3.48), isso implica tamb em (x + iy ) u, v forma sesquilinear.

mostrando que ,

J,

e uma

Pelas hip oteses, tem-se u, u J, = (u, Ju) 0, mostrando que , J, e positiva. Se 0 = u, v J, = (u, Jv ) + i (u, v ) para todo u, segue que (u, v ) = 0 para todo u, o que implica que v = 0, pois e n ao-degenerada (pela nossa deni ca o de forma simpl etica). Isso mostrou que , J, e n ao-degenerada. Assim, , J, e uma forma sesquilinear positiva e n ao-degenerada e pelo Teorema 3.1, p agina 192, segue que u, u J, = 0 se e somente se u = 0. Isso mostrou que , J, e um produto escalar complexo em VJ . Exemplos

Vamos primeiramente estudar o caso de espa cos de dimens ao nita. Vale a seguinte proposi ca o:

Proposi c ao 3.7 Um espa co vetorial real V de dimens ao nita admite uma estrutura complexa (n ao necessariamente u nica) se e somente se tiver dimens ao par.

Prova. Se J e um operador linear agindo no espa co vetorial real de dimens ao nita V , podemos represent a-lo como ao, tomando-se o determinante de ambos os lados, temos (det(J ))2 = (1)n , onde n ea uma matriz. Se J 2 = ent dimens ao de V . Como o lado esquerdo e positivo, n tem de ser par. Reciprocamente, vamos supor que V tenha dimens ao vel par, digamos 2m. Desejamos mostrar que existe um operador linear agindo em V satisfazendo J 2 = . Uma poss

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

214/2069

escolha e a seguinte. Como V tem dimens ao par podemos encontrar dois subespa cos V1 e V2 , ambos de dimens a o m, com V = V1 V2 . Como V1 e V2 t em a mesma dimens ao, s ao isomorfos, e existe um operador linear A : V1 V2 que e bijetivo (o Exemplo 3.9, abaixo, deixar a isso mais claro. Um tal operador n ao e necessariamente u nico, mas isso n ao representa um problema). Todo elemento v V pode ser escrito da forma v = v1 v2 com v1 V1 e v2 V2 . Podemos trivial, ent denir Jv = J (v1 v2 ) := (Av2 ) (Av1 ). E ao, vericar que J 2 = , como desejado. Exemplo 3.9 Seja V um espa co vetorial real de dimens ao 2m. Em alguma base, podemos representar v V na forma de um vetor-coluna: v1 vm+1 . . . . . . vm v2m v = Dena-se, ent ao, Jv := (3.49) vm+1 . v1 , . . . . . . v2m vm ou seja, em forma matricial, na mesma base, J =

m m m m

elementar vericar que J 2 = 2m , como desejado. sendo m e m matrizes m m. E

A escolha de J indicada acima dependeu de uma particular decomposi ca o de V em dois subespa cos de dimens a o m. H a v arias outras decomposi co es poss veis, que fornecem outros operadores J e, portanto, outras estruturas complexas. Permanecendo no exemplo acima, e f acil ver que, se x, y R, ent ao o produto por escalares complexos ca v1 v1 xv1 yvm+1 . . . . . . . . . vm vm xvm yv2m (x + iy ) (3.50) := (x + yJ ) vm+1 = xvm+1 + yv1 . vm+1 . . . . . . . . . v2m v2m xv2m + yvm Seguindo ainda o exemplo de (3.49) e (3.50) para V = R2m , vamos ilustrar a Proposi ca o 3.6 e produto escalar complexo para (R2m )J . Adotemos para o produto escalar usual:
2m

(u, v ) :=
k=1

uk vk = u1 v1 + + u2m v2m .

Temos que (Ju, v ) = um+1 v1 u2m vm + u1 vm+1 + + um v2m e que Logo (Ju, v ) = (u, Jv ) e podemos aplicar a Proposi ca o 3.6, obtendo em (R2m )J o produto escalar u, v
J,

(u, Jv ) = u1 vm+1 um v2m + um v1 + + u2m vm

= (u, v ) + i(Ju, v ) = u1 v1 + + u2m v2m + i um+1 v1 u2m vm + u1 vm+1 + + um v2m

= u1 (v1 + ivm+1 ) + + um (vm + iv2m ) + um+1 (vm+1 iv1 ) + u2m (v2m ivm ) = (u1 + ium+1 )(v1 + ivm+1 ) + + (um + iu2m )(vm + iv2m ) .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

215/2069

E. 3.31 Exerc cio. Verique que u, v

m

J,

= u, v

J,

para todo C.

Entendemos, assim, que a estrutura complexa que estudamos consiste nesse caso em identicar bijetivamente R2m e C por v1 v1 + ivm+1 . . . vm . 2m . R Cm . vm+1 . . . vm + iv2m v2m e adotar em Cm o produto escalar complexo ,
C

usual (denido ` a p agina 25).

Vejamos como as id eias de acima podem ser generalizadas e de modo a incluir espa cos de dimens ao innita. Exemplo 3.10 Se V e um espa co vetorial real de (dimens ao nita ou n ao) e sempre poss vel encontrar um operador cos V1 e V2 com V = V1 V2 e tais que existe A : V1 V2 , linear linear J satisfazendo J 2 = se V possuir dois subespa e bijetora (em dimens ao nita isso requer que V1 e V2 tenham a mesma dimens ao e, portanto, que V tenha dimens ao par, como mencionado na Proposi ca o 3.7). De fato, para v V da forma v = v1 v2 com v1 V1 e v2 V2 , denindo Jv := (A1 v2 ) (Av1 ) e f acil constatar que J 2 = . Para um tal J o produto por um escalar complexo = x + iy , com x, y R, ca denido por (v1 v2 ) := (x + yJ )(v1 v2 ) = x(v1 v2 ) + y (A1 v2 ) (Av1 ) = (xv1 y A1 v2 ) (xv2 + y Av1 ) .

Se V e um espa co de Hilbert real separ avel com uma base {k , k N}, podemos tomar V1 e V2 como os espa co gerados por {k , k N, k par} e {k , k N, k mpar}, respectivamente. Uma poss vel escolha para a bije ca o linear A : V1 V2 seria

A
m=0

a2m 2m

=
m=0

a2m 2m+1 ,

para a qual

A 1
m=0

a2m+1 2m+1

=
m=0

a2m+1 2m ,

ou seja, em termos de elementos da base, A2m = 2m+1 e A1 2m+1 = 2m para todo m 0. Com essa deni ca o, ter amos

J
m=0

a2m 2m

a2m+1 2m+1
m=0

a2m+1 2m
m=0

a2m 2m+1
m=0

O produto com escalares complexos = x + iy , com x, y R, ca denido por

(x + iy )

am m
m=0

m=0

(xa2m ya2m+1 )2m

(xa2m+1 + ya2m )2m+1

m=0

Para um tal J o produto por um escalar complexo = x + iy com x, y R ca denido por (v1 v2 ) := (x + yJ )(v1 v2 ) = x(v1 v2 ) + y (A1 v2 ) (Av1 )

= (xv1 y A1 v2 ) (xv2 + y Av1 ) .

Para , V da forma = constatamos que

m m , =
m=0 m=0

m m e (, ) :=
m=0

m m , o produto escalar real usual,

(, J ) =

2m 2m+1 +
m=0 m=0

2m+1 2m

e que

(J, ) =

2m+1 2m +
m=0 m=0

2m 2m+1 .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

216/2069

Assim, (, J ) = (J, ) e pela parte B da Proposi ca o 3.6, p agina 212, , produto escalar complexo. Explicitamente, tem-se

J,

:= (, ) + i(J, ) e um

J,

=
m=0

(2m + i2m+1 )(2m + i2m+1 ) .

em que , E. 3.32 Exerc cio. Verique! Verique tamb

J,

= ,

J,

para todo C.

A forma simpl etica real associada a pela parte I do Lema 3.1, p agina 211, e

(, ) = (, J ) =

m=0

2m 2m+1

2m+1 2m .
m=0

Exemplo 3.11 Uma situa ca o que n ao se deve deixar de comentar e a seguinte. Se V e um espa co vetorial complexo com um produto escalar complexo , , V e naturalmente tamb em um espa co vetorial real, sendo que, como comentamos ` a p agina 195, (u, v ) := Im( u, v ) u, v V , dene uma forma simpl etica real em V . Denindo em V o operador linear ca o por escalares complexos n ao apresenta novidades: para x, y R e u V Ju = iu, tem-se J 2 = . A multiplica vale, pela deni ca o, (x + iy ) u = xu + yJu = (x + iy )u. f E acil constatar que (u, Jv ) = Im( u, iv ) = Im( iu, v ) = (Ju, v ) e que (u, Ju) = Im( u, iu ) = u, u e um produto escalar complexo 0. Assim, pela parte A da Proposi ca o 3.6, p agina 212, u, v J, := (u, Jv ) + i (u, v ) em V . No entanto, e facil ver que nesse caso u, v J, = Im( u, iv ) + iIm( u, v ) = Re( u, v ) + iIm( u, v ) = u, v . O produto escalar real associado a pela parte II do Lema 3.1, p agina 211, e (u, v ) = (u, Jv ) = Im( u, iv ) = Re( u, v ) . interessante notar tamb E em que se tiv essemos adotado Ju = iu, u V , ter amos ainda para (u, v ) = Im( u, v ) que (u, Jv ) = (Ju, v ). Por em, (u, Ju) = u, u 0, violando a condi ca o de positividade. Exemplo 3.12 Uma situa ca o um pouco diferente e a seguinte. Seja V um espa co vetorial complexo dotado de um produto escalar complexo , . Sejam V1 e V2 dois subespa cos ortogonais de V (ortogonais segundo o produto escalar , ). Encarando V como um espa co real, denamos o operador linear J : V V por J (v1 v2 ) = i(v1 (v2 )), onde claro que J 2 = . A multiplica v1 V1 e v2 V2 . E ca o por escalares complexos x + iy , com x, y R, ca (x + iy ) (v1 v2 ) = x(v1 v2 ) + yJ (v1 v2 ) = (x + iy )v1 (x iy )v2 , vale a rela ca o (u, Jv ) = (Ju, v )

ou seja, (v1 v2 ) = (v1 ) (v2 ), para todos C, v1 V1 e v2 V2 . tamb E em f acil constatar que para o produto escalar real (u, v ) = Re u, v (para isso e essencial que V1 e V2 sejam ortogonais segundo , ).

O forma simpl etica real associada a pela parte I do Lema 3.1, p agina 211, e, tomando u = u1 u2 , v = v1 v2 , com u1 , v1 V1 e u2 , v2 V2 , (u, v ) := (Ju, v ) = Im u1 , v1 como facilmente se verica. Pela parte B da Proposi ca o 3.6, p agina 212, u, v
J,

Im u2 , v2

:= (u, v ) + i(Ju, v ) e um produto escalar complexo. Por

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

217/2069

essa deni ca o, tem-se, tomando u = u1 u2 , v = v1 v2 , com u1 , v1 V1 e u2 , v2 V2 , u, v

J,

(u1 u2 ), (v1 v2 )

J,

= Re u1 , v1 = Re u1 , v1 =

+ Re u2 , v2 + Re u2 , v2

+ i Re iu1 , v1 + iIm u1 , v1

+ Re

iu2 , v2

iIm u2 , v2

u1 , v1 + u2 , v2 . = u, v para todo C.

E. 3.33 Exerc cio. Verique tamb em que u, v

J,

J,

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

218/2069

Ap endices
3.A Equival encia de Normas em Espa cos Vetorias de Dimens ao Finita

Apresentamos aqui a demonstra ca o do Teorema 3.2, p agina 200, que arma que todas as normas em um espa co vetorial de dimens ao nita sobre C ou R s ao equivalentes. A demonstra ca o que segue faz uso de algumas no co es e resultados elementares sobre topologias m etricas. O leitor interessado deve seguir as refer encias dadas abaixo aos pontos destas Notas onde tais no co es e resultados s ao tratados. Prova do Teorema 3.2. Seja V um espa co vetorial de dimens ao nita, de sorte que existe uma base B = {b1 , . . . , bn } de vetores linearmente independentes de V tais que todo u V pode ser escrito de modo u nico como uma combina ca o linear u = 1 b1 + + n bn dos vetores de B , onde os coecientes k s ao reais ou complexos (dependendo de V ser um espa co vetorial sobre R ou sobre C). Fixada uma base B , podemos denir uma norma E em V por
n

u onde, como acima, u = 1 b1 + + n bn . Seja agora

=
k=1

|k |2 ,

uma outra norma denida em V . Temos que

(3.23) (3.17) n n

1 b1 + + n bn

|1 | b1 + + |n | bn

k=1

|k |2

bk
k=1

Assim, estabelecemos que para todo u V vale u

n

M1 u

(3.A.1)

com M1 :=
k=1

bk

sendo uma constante positiva independente de u.

(3.24) (3.A.1)

: Rn R (ou : Cn R) denida por

Para todos u, v V vale

u v

uv

M1 u v

E.

Essa rela ca o estabelece que a fun ca o

(1 , . . . , n ) :=

1 b1 + + n bn

e cont nua na topologia m etrica usual de Rn (ou Cn ), pois mostra (com u = 1 b1 + + n bn e v = 1 b1 + + n bn ) que
n

(1 , . . . , n ) (1 , . . . , n ) M1

k=1

|k k |2 ,

provando que se (1 , . . . , n ) converge a (1 , . . . , n ) na topologia m etrica usual de Rn (ou Cn ), ent ao (1 , . . . , n ) converge a (1 , . . . , n ). Seja B1 a bola aberta centrada em 0 e de raio 1 em Rn (ou Cn ) na topologia m etrica usual: n B1 := (1 , . . . , n ) Rn (ou Cn ) |k |2 < 1 ,
k=1 24

e seja B1 seu bordo :

B1 :=
24 Para

(1 , . . . , n ) Rn (ou Cn )

k=1

|k |2 = 1

a deni ca o da no ca o de bordo e para a observa ca o que todo bordo e fechado, vide p agina 1267.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

219/2069

B1 e fechado e limitado e, portanto (pelo Teorema de Heine-Borel, Teorema 31.14, p agina 1442), e compacto na topologia m etrica usual. Logo, pelo Teorema 31.16, p agina 1442, a fun ca o cont nua assume em B1 um m nimo M2 0 e, portanto, (1 , . . . , n ) M2 (3.A.2)
n

para toda n-upla (1 , . . . , n ) com

k=1

|k |2 = 1.

Seja (1 , . . . , n ) um ponto de B1 onde o m nimo de e assumido e seja v0 = 1 b1 + + n bn . O fato que (1 , . . . , n ) B1 signica, evidentemente, que v0 E = 1. A constante M2 n ao pode ser nula, pois se o fosse ter amos v0 = 0, ou seja, v0 = 0, o que contraria v0 E = 1. Segue de (3.A.2) que 1 b1 + + n bn M2 para todo vetor u = 1 b1 + + n bn com u todo v V , v = 0, tem-se, evidentemente, que 1 v v E
1 v Ev E E

= 1. Como para

= 1, segue que v M2 v
E

M2 ,

ou seja,

sendo que a u ltima desigualdade vale tamb em, evidentemente, para v = 0. Provamos, portanto, que existem constantes M1 e M2 com M2 > 0 tais que para todo vetor v V , M2 v
E

M1 v
E.

estabelecendo que toda norma e equivalente ` a norma equival encia, segue que todas as normas em V s ao equivalentes.

Como a equival encia de normas e uma rela ca o de

3.B

Prova do Teorema de Fr echet, von Neumann e Jordan

Nesta Se ca o apresentamos a demonstra ca o do Teorema de Fr echet, von Neumann e Jordan, Teorema 3.3, p agina 203. Vamos supor que seja uma norma em um espa co vetorial complexo V e que satisfa ca a identidade do paralelogramo a+b para todos a, b V . Dena-se, para u, v V , (u, v ) := ou seja, escrevendo os termos da soma explicitamente, (u, v ) := Vale a propriedade Hermitiana (u, v ) = (v, u) para todos u, v V pois, como a = (u, v ) = = = = a e a = ia para todo a V , segue que 1 4 1 4 1 4 u+v v+u v+u
2 2 2 2 2

+ ab

= 2 a

+2 b

(3.B.3)

1 i n u + i n v 4 n=0

1 4

u+v

uv

u + iv

u iv

(3.B.4) (3.B.5)

uv vu vu

+i +i i

u + iv iu v v + iu

u iv iu + v v iu

(v, u) .

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

220/2069

importante observar que, por (3.B.4), E (u, u) := 1 4 2u

2

uu

(1 + i)u

(1 i)u

(3.B.6)

j a que, do fato que |1 + i| = |1 i|, segue pelas propriedades denidoras de uma norma que (1 + i)u = |1 + i| u = |1 i| u = (1 i)u .

Para provar que e um produto escalar, resta-nos provar que e uma forma sesquilinear. Como tem a propriedade Hermitiana (3.B.5), e suciente provar que e linear na segunda vari avel. De fato, esse eou nico ponto n ao-trivial da demonstra ca o do Teorema 3.3 e o u nico em que a identidade do paralelogramo e usada. O leitor ver a que a demonstra ca o de que e linear na segunda vari avel e engenhosa, sendo feita, sucessivamente, primeiro para n umeros inteiros, depois para racionais, depois para n umeros reais e, por m, para n umeros complexos. Denindo-se, para u, v V , podemos escrever, por (3.B.4), (u, v ) := Segue facilmente da deni ca o (3.B.7) que f (u, v ) f (u, v ) = f (v, u) , = f (u, v ) , (3.B.9) (3.B.10) (3.B.11) f (u, v ) := u+v
2

Assim, estabelecemos que para todo u V vale (u, u) = u 2, o que implica, pelas propriedades denidoras de uma norma, que (u, u) 0, sendo que (u, u) = 0 se e somente se u = 0.

uv

(3.B.7) (3.B.8)

1 f (u, v ) if (u, iv ) . 4

f (u, 0) = 0 .

A seguinte proposi ca o e fundamental para a prova de que e uma forma sesquilinear e em sua demonstra ca o e feito uso da identidade do paralelogramo. Proposi c ao 3.8 Para todos u, v e w V vale f (u, v + w) = f (u, v ) + f (u, w) . Por (3.B.9), segue que f (u + v, w) = f (u, w) + f (v, w), tamb em para todos u, v e w V . Prova. Precisamos apenas provar (3.B.12), o que e feito com uso da identidade do paralelogramo (3.B.3). Por (3.B.3) com a = u + v e b = w, v e-se que u+v+w
2

(3.B.12)

= 2 u+v

+2 w

u+vw

Trocando-se v v e w w, segue disso que uvw Logo, como f (u, v + w) = u + v + w

2 2

= 2 uv
2

+2 w

uv+w
2

u v w 2 , segue que 2 uv
2

f (u, v + w) = 2 u + v Assim, provamos que

+ uv+w

u+vw

. (3.B.13)

f (u, v + w) = 2f (u, v ) + f (u, w v ) . Trocando v w, isso ca f (u, v + w) = 2f (u, w) + f (u, v w) e, por (3.B.10), conclu mos que vale tamb em f (u, v + w) = 2f (u, w) f (u, w v ) . Somando (3.B.13) e (3.B.14), obtemos f (u, v + w) = f (u, v ) + f (u, w), que e o que quer amos.

(3.B.14)

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

221/2069

Tomando v = w, (3.B.12) implica que f (u, 2v ) = 2f (u, v ). Vamos assumir que para algum n N, valha f (u, nv ) = nf (u, v ). Isso e verdadeiro para n = 0 (por (3.B.11)) e n = 1 (trivialmente) e vale tamb em, como vimos, para n = 2. Ent ao, f (u, (n + 1)v ) = f (u, v + nv )
(3.B.12)

f (u, v ) + f (u, nv )

hip otese

f (u, v ) + nf (u, v ) = (n + 1)f (u, v ) . (3.B.15)

Com isso, provamos por indu ca o que f (u, nv ) = nf (u, v ) para todo n N e todos u, v V . Substituindo v por f u,
1 n v,

isso est a tamb em dizendo que = 1 f (u, v ) , n 1 v q

(3.B.16)

1 v n

(3.B.16)

tamb em para todo n N, e todos u, v V . Assim, se p e q s ao inteiros positivos q = 0, vale f u, p v q

(3.B.15)

pf

u,

p f (u, v ) . q

Por (3.B.10) e por (3.B.11), segue disso que f (u, rv ) = rf (u, v ) para todo r Q e todos u, v V . (3.B.17)

Seja x R e seja rk , k N, uma seq u encia de n umeros racionais tal que lim rk = x. Ent ao, usando a desigualdade
k

(3.18), p agina 198, com a = (rk x)v e b = u xv , tem-se que como lim |rk x| = 0, segue que lim
k k

u + rk v u + xv
k

(rk x)v = |rk x| v e

k

u + rk v u + xv

= 0, ou seja, lim u + rk v = u + xv = u + lim rk v . u, lim rk v

k

Isso implica imediatamente que

k

lim f (u, rk v ) = f

(3.B.18) (3.B.19)

e, portanto, provamos que f (u, xv ) = xf (u, v ) , para todo x R e todos u, v V , pois f (u, xv ) = f u, lim rk v
k (3.B.18) (3.B.17)

lim f (u, rk v )

lim rk f (u, v ) = xf (u, v ) .

Sejam agora x, y R. Tem-se, pelo exposto acima, f (u, (x + iy )v ) = f (u, xv + iyv ) Por (3.B.8), segue que (u, (x + iy )v ) =
(3.B.20) (3.B.12)

f (u, xv ) + f (u, iyv )

(3.B.19)

xf (u, v ) + yf (u, iv ) .

(3.B.20)

1 f (u, (x + iy )v ) if (u, (x + iy )iv ) 4 1 4 1 4 x xf (u, v ) + yf (u, iv ) i xf (u, iv ) + yf (u, v ) xf (u, v ) + yf (u, iv ) i xf (u, iv ) yf (u, v ) 1 1 f (u, v ) if (u, iv ) + iy f (u, v ) if (u, iv ) 4 4

(3.B.10)

= =

(x + iy ) (u, v ) .

Com isso, provamos que para todo z C e todos u, v V vale (u, zv ) = z (u, v ). Pela propriedade Hermitiana (3.B.5), segue tamb em que (zu, v ) = z (u, v ). Isso estabeleceu que e uma forma sesquilinear, completando a prova do Teorema 3.3.

JCABarata. Curso de F sica-Matem atica

Vers ao de 29 de janeiro de 2013.

Cap tulo 3

222/2069

Parte II T opicos de An alise Real e Complexa

223