Você está na página 1de 48

Cap tulo 2 Espa cos Vetoriais

Conte udo
2.1 Espa cos Vetoriais 2.1.1 2.1.2 2.1.3 2.2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 94 95 Sub-Espa cos e Espa cos Quocientes . . . . . . . . . . . . . . . . . . . . . . . . Bases Alg ebricas de um Espa co Vetorial . . . . . . . . . . . . . . . . . . . . . O Dual Alg ebrico de um Espa co Vetorial

. . . . . . . . . . . . . . . . . . . . 101

Formas Lineares, Sesquilineares e Produtos Escalares em Espa cos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108 2.2.1 2.2.2 2.2.3 2.2.4 Formas Multilineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108 Formas Sesquilineares e as Desigualdades de Cauchy-Schwarz e Minkowski . . 113 Produtos Escalares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117 Exemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119

2.3 2.4 2.5

Normas em Espa cos Vetoriais . . . . . . . . . . . . . . . . . . . . . . . . . . 121 Formas Bilineares e Sesquilineares em Espa cos de Dimens ao Finita . . . 128 Estruturas Complexas sobre Espa cos Vetoriais Reais . . . . . . . . . . . . 132

no ca o de espa co vetorial que introduzimos na Se ca o 1.2.3, p agina 55, e da maior import ancia na F sica e na Matem atica. Neste cap tulo vamos desenvolv e-la com mais detalhe. Particular aten ca o ser a dada a `s no co es de forma multilinear, forma sesquilinear, produto escalar e norma em espa cos vetoriais.

2.1
2.1.1

Espa cos Vetoriais


Sub-Espa cos e Espa cos Quocientes

Sub-espa cos Seja V um espa co vetorial sobre um corpo K . Um subconjunto W de V e dito ser um sub-espa co de V (sobre o mesmo corpo K ) se para todo , K e todo u, v W valer que u + v W . E evidente que um sub-espa co de um espa co vetorial e por si s o um espa co vetorial. Quocientes Se W e um sub-espa co de um espa co vetorial V sobre um corpo K , ent ao e poss vel denir em V uma rela ca o de equival encia EW V V da seguinte forma: dizemos que (u, v ) V V pertence a EW se u v W . 94

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

95/1355

E. 2.1 Exerc cio. Mostre que isso de fato dene uma rela c ao de equival encia em V . Seguindo a nota ca o usual denotaremos tamb em essa rela ca o de equival encia pelo s mbolo W : u W v se u v W . Denotemos por V /W o conjunto das classes de equival encia de V pela rela ca o E W . Denotaremos por [u] V /W a classe de equival encia que cont em o vetor u V .

Com esses ingredientes podemos transformar V /W em um espa co vetorial sobre K . Isso se d a denindo em V /W uma soma e um produto por escalares. O vetor nulo ser a a classe de equival encia [0] que cont em o vetor 0. Como subconjunto de V , a classe [0], ali as, vem a ser o conjunto W (por que?). Se [u] e [v ] s ao as classes de equival encia que cont em os elementos u e v , respectivamente, de V , ent ao denimos [u] + [v ] = [u + v ]. E. 2.2 Exerc cio. Mostre que essa deni c ao e coerente, no sentido que independe dos representantes (u e v ) escolhidos nas classes. c ao de soma e comutativa e associativa. E. 2.3 Exerc cio. Mostre que essa opera E. 2.4 Exerc cio. Mostre que [u] + [0] = [u] para todo u V . Analogamente, a opera ca o de multiplica ca o por escalares e denida por [u] = [u], para todo u V . E. 2.5 Exerc cio. escolhido na classe. Mostre que essa deni c ao e coerente, no sentido que independe do representante u

E. 2.6 Exerc cio. Mostre que o conjunto V /W e, portanto, um espa co vetorial sobre o corpo K com as opera co es denidas acima. O espa co vetorial V /W assim obtido e denominado espa co quociente de V por W .

2.1.2

Bases Alg ebricas de um Espa co Vetorial

Depend encia Linear Um conjunto nito u1 , . . . , un V de vetores e dito ser linearmente dependente se existir um conjunto de escalares 1 , . . . , n V , nem todos nulos, tais que 1 u1 + + n un = 0.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

96/1355

Um conjunto arbitr ario de vetores e dito ser linearmente independente se n ao possuir nenhum subconjunto nito que seja linearmente dependente. Combina co es Lineares Para um conjunto nito de vetores {u1 , . . . , un } V e de escalares {1 , . . . , n } K , uma express ao como 1 u1 + + n un

e dita ser uma combina ca o linear dos vetores u1 , . . . , un . Varredura Linear

Seja C V um conjunto de vetores. A varredura linear (linear span) de C , denotado por span (C ) e o conjunto de todos os vetores de V que podem ser escritos como uma combina ca o linear nita de elementos de C . Bases Alg ebricas em Espa cos Vetoriais Aqui I designa um conjunto arbitr ario n ao-vazio de ndices. Uma base alg ebrica1 em um espa co vetorial V e um conjunto B = {bi , i I } de vetores linearmente independentes tais que span (B ) = V e tais que qualquer vetor u de V pode ser escrito de modo u nico como uma combina ca o linear nita de elementos de B . Se B e uma base alg ebrica, ent ao para cada u V existem univocamente denidos 1 , . . . , n K e i1 , . . . , in I tais que: u = 1 b i1 + + n b in . Os seguintes teoremas podem ser demonstrados com uso do Lema de Zorn (omitiremos as demonstra co es aqui. Vide, por exemplo, [62]). Teorema 2.1 Todo espa co vetorial V possui uma base alg ebrica, exceto o espa co vetorial trivial V = {0}. Teorema 2.2 Dado um espa co vetorial V (n ao trivial), todas as bases alg ebricas em V t em a mesma cardinalidade.

Dimens ao Alg ebrica Um espa co vetorial e dito ser de dimens ao alg ebrica nita se possuir uma base alg ebrica nita. Se um espa co vetorial V tem dimens ao alg ebrica nita, sua dimens ao alg ebrica, ou simplesmente dimens ao e denida como sendo o n umero de elementos de sua base. Nem todo espa co vetorial tem uma base alg ebrica nita (vide exemplos abaixo). De modo geral, se um espa co vetorial possui uma base alg ebrica, sua dimens ao alg ebrica e denida como sendo a
1

Tamb em denominada base de Hamel. Georg Hamel (1877-1954)

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

97/1355

cardinalidade de suas bases alg ebricas (pelo Teorema 2.2 acima s ao todas iguais). Exemplo 1. V = n sobre o corpo dos complexos ou V = n sobre o corpo dos reais. Tais s ao bem conhecidos exemplos-prot otipo de espa cos vetoriais de dimens ao nita (= n).

P,

Seja P = conjunto de todos os polin omios de uma vari avel real com coecientes complexos: P n (t) , ai , e dito ser um polin omio de grau n se an = 0.

Exemplo 2. V = P sobre o corpo dos complexos. Este e claramente um espa co vetorial de dimens ao innita. V possui uma base alg ebrica, a saber, o conjunto de todos os polin omios da forma b n = tn , n = 0, 1, 2, . . .. Exemplo 3. V = sobre o corpo dos reais. O conjunto dos reais sobre o corpo dos reais e tamb em um espa co vetorial de dimens ao 1, a saber, uma poss vel base e formada pelo elemento 1: B = {1}, j a que, obviamente, qualquer elemento x pode ser escrito como x = x 1, com x no corpo dos reais.

com t

Pn (t) = an tn + + a1 t + a0

Esse exemplo pode parecer banal, e de fato o e, mas leva a um anti-exemplo curioso que mostra que a dimens ao alg ebrica de um espa co vetorial e tamb em fortemente dependente do corpo de escalares utilizado. Exemplo 4. V =

sobre o corpo dos racionais.

A surpresa aqui e que este n ao e um espa co vetorial de dimens ao alg ebrica nita: n ao existe um conjunto nito {x1 , . . . , xm } de n umeros reais tais que todo x possa ser escrito como

x = r 1 x1 + + r m xm , onde os n umeros ri s ao racionais. A raz ao e que, como e um conjunto cont avel, a cole ca o de n umeros que se deixam escrever como o lado direito e uma cole ca o cont avel (tem a mesma cardinalidade de m ). O conjunto , por em, n ao e cont avel.

Um resultado um tanto surpreendente diz, por em, que esse espa co vetorial possui uma base alg ebrica, ou seja, existe um conjunto H tal que para cada x existe um conjunto nito h1 , . . . , hn de elementos de H e um conjunto nito de racionais r1 , . . . , rn tais que x = r1 h1 + + rn hn . A demonstra ca o da exist encia de uma tal base faz uso do Lema de Zorn e pode ser encontrada em [18] ou [20]. Essa base e denominada base de Hamel de .

Uma conseq u encia curiosa da exist encia de bases de Hamel em inicia a ` p agina 98.

ser a discutida no t opico que se

Outros exemplos menos dram aticos que mostram a depend encia da dimens ao com o corpo utilizado s ao os seguintes: sejam V1 = sobre o corpo dos complexos e V2 = sobre o corpo dos reais. V1 tem dimens ao 1, mas V2 tem dimens ao 2.

Mais adiante faremos uso do seguinte resultado: Teorema 2.3 Se em um espa co vetorial V existir um conjunto {v1 , . . . , vn } de n vetores linearmente independentes, ent ao a dimens ao alg ebrica de V e maior ou igual a n.

Prova. A demonstra ca o e feita por absurdo. Suponhamos que haja uma base B = {b 1 , . . . , bk } em V

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

98/1355

com k < n. Ent ao podemos escrever v 1 = 1 b1 + + k bk . pois B e uma base. Nem todos os i podem ser nulos. Supondo que k seja um elemento n ao-nulo, podemos escrever bk = (k )1 (v1 1 b1 k1 bk1 ) (2.1) Analogamente, temos que v 2 = 1 b1 + + k bk e, usando (2.1), podemos escrever v2 = 1 b1 + + k1 bk1 + 1 v1 . Os i n ao podem ser todos nulos, pois de outra forma ter amos v2 = 1 v1 , contrariando a hip otese de os vi s serem linearmente independentes. Suponhamos que k1 seja o elemento n ao-nulo, podemos escrever bk1 como uma combina ca o linear envolvendo {b1 , . . . , bk2 } e os vetores v1 e v2 . Prosseguindo, concluiremos ap os k passos que vk+1 = 1 v1 + + k vk contrariando a hip otese de que os vi s s ao linearmente independentes. Automorsmos descont nuos do grupo ( , +)

Nota para os estudantes mais avan cados. Neste t opico usaremos as bases de Hamel da reta real para ilustrar uma patologia cuja exist encia e por vezes mencionada na teoria de grupos, a saber, a exist encia de automorsmos descont nuos do grupo ( , +).

Considere-se a equa ca o f (x + y ) = f (x) + f (y ) para todo x, y . Podemos nos perguntar: bastante claro que fun que fun co es f : podem satisfaz e-la? E co es do tipo f (x) = cx, com c constante real, satisfazem f (x + y ) = f (x) + f (y ) para todo x, y . Fora isso, f (x) = cx s ao cont nuas e s ao bije co es de em (a menos que c = 0).

Ser ao essas as u nicas fun co es com a propriedade f (x + y ) = f (x) + f (y ) para todo x, y ? Ser a que h a outras fun co es com essa propriedade e que n ao sejam cont nuas? Ser a que h a outras fun co es com essa propriedade, n ao-cont nuas, e que tamb em sejam bije co es de em ? A resposta a essa u ltima pergunta e muito curiosa e conduz a uma classe de fun co es cuja exist encia ilustra algumas diculdades encontradas na teoria de grupos.

Provemos em primeiro lugar a seguinte arma ca o: Proposi c ao 2.1 Se f : satiszer f (x + y ) = f (x) + f (y ) para todo x, y em toda reta real , ent ao f e da forma f (x) = cx para algum c, constante real.

e f for cont nua

Historicamente esse pequeno resultado e devido a Cauchy2 .


2

Augustin Louis Cauchy (1789-1857).

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

99/1355

Seja agora p inteiro positivo e x real, ambos arbitr arios. Teremos que f (px) = f ((p 1)x + x) = f ((p 1)x) + f (x) = f ((p 2)x) + 2f (x) etc. Repetindo p vezes esse proceder, conclu mos que f (px) = pf (x). Como f (x) = f (x), essa rela ca o vale para p negativo tamb em. Seja agora q inteiro, n ao-nulo. Ent ao, pelo que acabamos de provar, f (1) = f (q/q ) = qf (1/q ) e conclu mos que f (1/q ) = f (1)/q . Se ent ao tivermos um n umero racional r da forma r = p/q , com p inteiro e q inteiro n ao-nulo, teremos que f (r ) = f (p/q ) = pf (1/q ) = (p/q )f (1) = rf (1). Finalizamos a prova evocando a continuidade de f e o fato que todo x real pode ser aproximado por um n umero racional: seja u encia de n umeros racionais que coverge a x, i.e., x = lim n rn . Ent ao x e rn , n , uma seq f (x) = f (limn rn ) = limn f (rn ) = (limn rn ) f (1) = xf (1). Na segunda igualdade usamos a hip otese (crucial!) que f e cont nua em toda parte. Denotando f (1) = c a arma ca o est a provada.

claro Prova. Seja f cont nua satisfazendo f (x + y ) = f (x) + f (y ) para todo x, y e f : . E que, tomando x = y = 0 tem-se f (0) = f (0 + 0) = 2f (0) e, portanto f (0) = 0. Segue facilmente da que 0 = f (0) = f (x + (x)) = f (x) + f (x) e, portanto f (x) = f (x) para todo x .

Com esse resultado em m aos podemos nos perguntar: haver a fun co es n ao-cont nuas que satisfazem f (x + y ) = f (x) + f (y )? Talvez surpreendentemente, a resposta e positiva. N ao s o h a fun co es n ao em . Fun co es com tais cont nuas com essa propriedade, mas h a dentre elas fun co es bijetoras de caracter sticas um tanto patol ogicas podem ser constru das com o uso das assim chamadas bases de Hamel da reta real. Detalhemos.

Seja o espa co vetorial V dos n umeros reais sob o corpo dos racionais. Como consideramos p aginas acima, esse espa co vetorial tem dimens ao alg ebrica innita, mas existe uma base H de V , n aocont avel, denominada base de Hamel, tal que todo elemento x de pode ser escrito como combina ca o linear nita ( unica!) por racionais de elementos de H , ou seja, para todo x existe um n (que depende de x), racionais r1 , . . . , rn (que dependem de x) e elementos h1 , . . . , hn de H (que tamb em dependem de x) tais que x pode ser escrita (de forma u nica!) como x = r1 h1 + + rn hn . Denominaremos essa express ao a decomposi ca o de x em H .

O leitor pode convencer-se que h a, para cada base de Hamel H , innitas fun co es desse tipo (devido a ` arbitrariedade da escolha dos fh s) e que todas s ao descont nuas, exceto se escolhermos fh = ch para todo h H , com uma constante c xa. Espertamente, podemos tomar f como uma bije ca o de H em H , ou seja, podemos escolher3 fh H para todo h H e de modo que para todo h H exista um g H u nico tal que fg = h. Uma situa ca o trivial dessas e aquela na qual f e a identidade quando restrita a H : fh = h para todo h H , mas outras escolhas s ao tamb em poss veis. Se f for uma bije ca o de H em H , e f acil de se ver que imagem
3

Vamos denir uma fun ca o f : , da seguinte forma. Primeiramente xamos seus valores nos elementos de H tomando, para cada h H , f (h) := fh , onde os n umeros fh s ao escolhidos arbitrariamente. Em segundo lugar, para qualquer x , e cuja decomposi ca o em H seja x = ao r1 h1 + + rn hn , denimos f (x) := r1 f (h1 ) + + rn f (hn ) = r1 fh1 + + rn fhn . Assim, se x e y s n umeros reais e x = r1 h1 + + rn hn e y = r1 h1 + + rm hm s ao suas decomposi co es em H , teremos f (x + y ) = r1 fh1 + + rn fhn + r1 fh1 + + rm fhm = f (x) + f (y ).

ao suas Notemos que se x e y s ao n umeros reais e x = r1 h1 + + rn hn e y = r1 h1 + + rm hm s decomposi co es em H , ent ao a decomposi ca o de x + y e r 1 h1 + + r n hn + r 1 h1 + + r m hm .

Que tal e poss vel e garantido pelo axioma da escolha Exerc cio.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

100/1355

de f no dom nio

e toda a reta real

(mostre isso)!

Al em disso, uma tal f , bijetora enquanto fun ca o de H em H , e igualmente bijetora como fun ca o de em . Mostremos isso. Sejam x e y com decomposi co es x = r1 h1 + + rn hn e y = e hj , gk H e suponhamos que f (x) = f (y ). Isso signica que s1 g1 + + sm gm com rj , sk r1 fh1 + + rn fhn = s1 fg1 + + sm fgm . Como cada fhj e cada fgk e elemento de H , essa igualdade s o e poss vel se m = n, se fhj = fg(j ) e se rj = s(j ) para todo j = 1, . . . , n, onde e um elemento do grupo de permuta co es de n elementos (ou seja, e uma bije ca o de {1, . . . , n} em si mesmo). Como f e uma bije ca o de H em si mesmo, segue que hj = g(j ) para todo j = 1, . . . , n. Assim,

x =
j =1

r j hj =
j =1

s(j ) g(j ) =
j =1

sj gj = y,

e, portanto, f :

Uma fun ca o que satisfa ca f (x + y ) = f (x) + f (y ) para todo x, y e f : representa um endomorsmo do grupo ( , +). O que aprendemos no u ltimo par agrafo pode ser expresso na linguagem da teoria de grupos como a arma ca o que existem automorsmos de ( , +) que n ao s ao cont nuos. Esse fato ilustra algumas situa co es patol ogicas que s ao por vezes encontradas ou mencionadas no estudo de grupos cont nuos. Com o uso de fun co es f desse tipo e poss vel, por exemplo, construir sub-grupos uniparam etricos n ao-cont nuos de um grupo de Lie dado ou representa co es n ao-cont nuas de tais sub-grupos.

e bijetora.

Assim, por exemplo, se A e uma matriz real n n antisim etrica, ent ao O (t) = exp(tA), t e um subgrupo uniparam etrico cont nuo de SO(n), pois O (0) = e O (t)O (t ) = O (t + t ) para todos t, t , sendo os elementos de matriz de O (t) fun co es cont nuas de t. Se agora denirmos P (t) = exp(f (t)A), t , para uma fun ca o f : , patol ogica como acima (ou seja, satisfazendo f (x + y ) = f (x)+ f (y ) para todo x, y , bijetora mas descont nua), ainda teremos P (0) = e P (t)P (t ) = P (t + t ) para todos t, t , mas os elementos de matriz de P (t) n ao s ao fun co es cont nuas de t.

Bases Topol ogicas em Espa cos Vetoriais Nota para os estudantes mais avan cados. O conceito de base alg ebrica n ao deve ser confundido com o de base topol ogica, conceito esse pertencente ao contexto dos espa cos vetoriais topol ogicos: Uma base topol ogica em um espa co vetorial topol ogico V e um conjunto B = {b i , i I } de vetores linearmente independentes tais que span (B ) e um conjunto denso em V , ou seja, o fecho de span (B ) e V. Uma base topol ogica e dita ser base topol ogica completa se n ao possuir nenhum subconjunto pr oprio que tamb em seja uma base topol ogica. A dimens ao topol ogica de um espa co vetorial e ent ao denida como sendo a cardinalidade das bases topol ogicas completas de V . Para ilustrar como os conceitos de base alg ebrica e base topol ogica s ao diferentes, consideremos novamente o seguinte Exemplo 4 acima: Exemplo 5. V =

sobre o corpo dos racionais, com a topologia usual sobre

, tem uma base

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

101/1355

topol ogica completa de dimens ao nita: B = {1}. De fato, o conjunto {r 1, r Esse espa co vetorial possui ent ao uma dimens ao topol ogica igual a um.

} e denso em

Deni c ao. Um espa co vetorial topol ogico sobre o corpo dos reais ou dos complexos e dito ser separ avel se possuir uma base topol ogica cont avel.

2.1.3

O Dual Alg ebrico de um Espa co Vetorial

Seja V um espa co vetorial sobre um corpo K (por exemplo, o corpo denida sobre todo V , e dita ser um funcional linear se l(x + y ) = l(x) + l(y ) para todo x, y V e todo , K . E. 2.7 Exerc cio. que l(0) = 0.

). Uma aplica ca o l : V K ,

Mostre que, de acordo com a deni c ao acima, vale para qualquer funcional linear l

O conjunto de todos os funcionais lineares de V em K e denominado espa co dual alg ebrico de V e denotado V . O conjunto V e feito um espa co vetorial (sobre K ), atrav es da seguinte rela ca o: (l + m)(x) := l(x) + m(x), para todo l e m V ; , K e todo x V . O vetor nulo de V e o funcional linear que associa trivialmente todo vetor de V a zero: l(x) = 0, x V .

O seguinte teorema e verdadeiro e ser a implicitamente usado v arias vezes no que segue. Sua demonstra ca o e, como veremos, elementar mas instrutiva. Teorema 2.4 Seja um espa co vetorial V sobre um corpo K . Se um vetor v tem a propriedade que l(v ) = 0 para todo l V ent ao v = 0. Prova. Seja B uma base alg ebrica em V . Para cada elemento b B podemos associar um funcional linear lb , denido da seguinte forma. Como todo w V pode ser escrito como uma combina ca o linear nita de elementos de B , podemos sempre escrever w = wb b + w ,

claro que wb = 0 caso b onde w e uma combina ca o linear nita de elementos de B \ {b} e wb K . (E n ao compare ca na decomposi ca o de w em uma soma nita de elementos de B ). Denimos ent ao lb (w ) = wb , um exerc para todo vetor w V . E cio simples mostrar que, para cada b B , a aplica ca o lb : V K dada acima e um funcional linear. E. 2.8 Exerc cio. Mostre isso.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

102/1355

Seja ent ao v um vetor como no enunciado do teorema. Se l(v ) = 0 para todo l V , vale obviamente que lb (v ) = 0 para todo b B . Isso, por em, trivialmente implica que v = 0, completando a demonstra ca o. Nota ca o. Para x V e l V e muito freq uente, e gracamente conveniente, usar-se a nota ca o l, x em lugar de l(x). Se A e B s ao espa cos vetoriais e A B ent ao B A . E. 2.9 Exerc cio. Justique essa u ltima armativa. O Dual Topol ogico de um Espa co Vetorial Seja V um espa co vetorial topol ogico. O conjunto de todos os funcionais lineares cont nuos sobre V e dito ser o dual topol ogico de V . O dual topol ogico ser a denotado neste texto por V . Note-se que V V . Exemplos de Funcionais Lineares Exemplo 1. Seja V = n , sobre o corpo dos complexos. Seja a1 , . . . , an um conjunto xo de n umeros complexos. Para qualquer vetor z = (z1 , . . . , zn ) n dena-se

l(z ) = a1 z1 + + an zn . Ent ao l e um funcional linear em

E. 2.10 Exerc cio. Verique. Em verdade, e poss vel demonstrar a rec proca: em n todo funcional linear e da forma acima para algum conjunto {a1 , . . . , an }. Essa armativa e um caso particular de um teorema importante conhecido como Lema de Riesz, que ser a demonstrado no contexto mais geral dos chamados espa cos n de Hilbert, dos quais e um exemplo.

Seja P o conjunto de todos os polin omios de uma vari avel real com coecientes complexos: P n (t) P, Pn (t) = an tn + + a1 t + a0 e dito ser um polin omio de grau n se an = 0. O conjunto P e claramente um espa co com t , ai , vetorial sobre os complexos.

Exemplo 2. Para cada t0

e p P, l(p) = p(t0 )

e um funcional linear em P. E. 2.11 Exerc cio. Verique. Esse exemplo pode ser generalizado:

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

103/1355

Exemplo 3. Sejam t1 , . . . , tn denamos

, distintos, e a1 , . . . , an n umeros complexos. Para todo p P,

l(p) = a1 p(t1 ) + + an p(tn ). Ent ao l e um funcional linear em P. E. 2.12 Exerc cio. Verique. Ou ltimo exemplo pode ser fortemente generalizado nos dois exemplos que seguem. Exemplo 3. Seja (a, b) um intervalo nito de b (ou seja, a |h(t)|dt ). Ent ao,

e h uma fun ca o complexa integr avel nesse intervalo


b

l(p) =
a

h(t) p(t) dt

est a denida para todo p P e dene um funcional linear em P. E. 2.13 Exerc cio. Justique as duas u ltimas armativas. Exemplo 4. Seja a fun ca o g (x) = ex . Ent ao

l(p) =

g (t) p(t) dt.

est a denida para todo p P e dene um funcional linear em P. ltimas armativas. E. 2.14 Exerc cio. Justique as duas u A Rela c ao entre V e V Vamos aqui discutir o fato que sempre existe uma maneira (n ao-can onica, vide abaixo) de associar vetores de um espa co vetorial V com elementos de seu dual alg ebrico V . Seja V um espa co vetorial sobre um corpo K e B V uma base alg ebrica em V . Seja FB a cole ca o de todas as fun co es de B em K . Armamos que existe uma bije ca o de FB sobre V , ou seja, esses dois conjuntos podem ser identicados nesse sentido. Para tal, seja f FB . Denimos uma aplica ca o I : FB V da seguinte forma. Como todo x V pode ser escrito como uma combina ca o linear nita de elementos de B , digamos, x = 1 bi1 + + n bin , escrevemos I (f )(x) = 1 f (bi1 ) + + n f (bin ). I (f ) e um funcional linear pois, se escrevemos y = n+1 bin+1 + + n+m bin+m , teremos I (f )(x + y ) = 1 f (bi1 ) + + n+m f (bin+m ) = 1 f (bi1 ) + + n f (bin ) + n+1 f (bin+1 ) + + n+m f (bin+m ) = I (f )(x) + I (f )(y ). (2.2)

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

104/1355

Isso ent ao mostrou que I (f ) e de fato um elemento de V para cada f FB . Vamos mostrar o reverso: que a cada elemento l de V h a um elemento gl de FB associado e que I (gl ) = l. Seja novamente x = 1 bi1 + + n bin V e seja l um elemento de V . Tem-se l(x) = 1 l(bi1 ) + + n l(bin ). Denimos ent ao gl : B K por para todo b K . Pela deni ca o I (gl )(x) = 1 gl (bi1 ) + + n gl (bin ) = 1 l(bi1 ) + + n l(bin ) = l(x) para todo x V . Logo I (gl ) = l como quer amos. (2.3) gl (b) = l(b)

A aplica ca o I : FB V e, portanto, uma bije ca o entre esses dois conjuntos. Notemos, por em, que essa bije ca o n ao e can onica no sentido que a mesma depende da base adotada. Se trocarmos B por outra base a bije ca o altera-se. De posse desses fatos podemos entender a rela ca o entre V e V da seguinte forma. Seja o subconjunto GB de FB formado por todas as fun co es que assumem valores n ao-nulos (no corpo K ) apenas para um conjunto nito de B , ou seja, para g GB existe um conjunto nito Bg = {b1 , . . . , bn } B tal que g e n ao-nula nos elementos de Bg , mas e nula em B \ Bg . Os conjuntos GB e V podem ser identicados no seguinte sentido. Armamos que existe uma bije ca o J : GB V . Tal e f acil de ver se lembrarmos que os elementos de V podem ser escritos como uma combina ca o linear nita de elementos de B . De fato, para g GB denimos J (g ) = g (b1 )b1 + + g (bn )bn V onde {b1 , . . . , bn } = Bg . Reciprocamente, se x V e x = 1 bi1 + + n bin , denimos gx GB por gx (bia ) = a , e gx (b) = 0, f se b {bi1 , . . . , bin }. E acil ver ent ao que J (gx ) = g (bi1 )bi1 + + g (bin )bin = 1 bi1 + + n bin = x , (2.4) o que mostra que J e bijetora. Notemos novamente que essa bije ca o tamb em n ao e can onica, no sentido que a mesma depende da base adotada. Se trocarmos B por outra base a bije ca o altera-se. e linear, ou seja, J 1 (x + y ) = E. 2.15 Exerc cio importante. Mostre agora que J 1 : V Gb 1 1 J (x) + J (y ) para todos x, y V e todos , K . Juntando o discutido acima, conclu mos que 1 = I J 1 e uma aplica ca o linear injetora de V em V . A mesma, por em, n ao e natural, pois depende da base alg ebrica B escolhida. Assim, xada uma base B em V h a uma maneira de associar todos os elementos de V com elementos do seu dual alg ebrico. Notemos por em que pode haver elementos de V aos quais n ao correspondem tais a = 1, . . . , n

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

105/1355

identica co es, ou seja, a imagem de 1 = I J 1 e tipicamente (especialmente em dimens ao innita) um subconjunto pr oprio de V . Exemplo. Seja P o espa co vetorial dos polin omios em denido acima. Seja T = {ti , i }, um conjunto cont avel de pontos distintos da reta real e seja q (t) = q0 + q1 t + + qn tn , polin omio. Denamos lq V por lq (p) = q0 p(t0 ) + q1 p(t1 ) + + qn p(tn ).

E. 2.16 Exerc cio. Mostre que a aplica c ao P

q lq V e linear e injetora.

E. 2.17 Exerc cio. Ser a que com o conjunto T xado todo elemento de V seria da forma lq para algum q ?. Pense. Inspire-se nos exemplos 3 e 4 da p agina 103. O que acontece para conjuntos T diferentes? ca o entre V e V , e a rela ca o de V com o dual alg ebrico de Coment ario. Mais interessante que a rela V , o chamado bi-dual alg ebrico de V e denotado por (V ) , assunto que discutiremos agora. A raz ao e que, ao contr ario do que tipicamente ocorre entre V e V , h a sempre uma aplica ca o linear injetora entre V e (V ) que e natural, ou seja, independente de escolhas de bases. Outro interesse na rela ca o entre V e (V ) reside no fato que a mesma revela-nos, como veremos, uma profunda distin ca o entre espa cos vetoriais de dimens ao nita e innita. O Bi-dual Alg ebrico de um Espa co Vetorial Se V e um espa co vetorial sobre um corpo K j a observamos que V e tamb em um espa co vetorial sobre o mesmo corpo. Assim, V tem tamb em seu dual alg ebrico que e denominado bi-dual alg ebrico de V . O bi-dual alg ebrico de um espa co vetorial V e o espa co (V ) . Como vimos nas p aginas anteriores, existe pelo menos uma aplica ca o linear injetiva de V em V . Chamemos esta aplica ca o de 1 . Analogamente, existe pelo menos uma aplica ca o linear injetiva 2 de V em (V ) . A composi ca o 2 1 fornece uma aplica ca o linear injetiva de V em (V ) . Como 1 e 2 dependem de escolhas de base, a composi ca o 2 1 tamb em depende, n ao sendo, assim, natural.

Ao contr ario do que ocorre na rela ca o entre V e V , podemos sempre encontrar uma aplica ca o linear injetiva de V em (V ) que e natural: independente de base. Vamos denot a-la por . Denimos : V (V ) da seguinte forma: para x V , (x) e o elemento de (V ) que associa a cada l V o valor l(x): (x)(l) = l(x). E. 2.18 Exerc cio. Mostre que : V (V ) e linear. E. 2.19 Exerc cio. Mostre que : V (V ) e injetora. Sugest ao: use o Teorema 2.4, enunciado e demonstrado na p agina 101. transparente pela deni E ca o de que a mesma e independente de bases e, portanto, natural. A rela ca o entre x V e um elemento de (V ) mostrada acima e t ao direta que quase poder amos dizer que

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

106/1355

Poder amos nesse momento nos perguntar: quando podemos eventualmente ter (V ) = (V ) ? Para o caso de espa cos vetoriais sobre o corpo dos reais ou dos complexos resposta e simples e um tanto surpreendente e se expressa no seguinte teorema. Teorema 2.5 Seja V um espa co vetorial sobre o corpo dos reais ou dos complexos. Ent ao (V ) = (V ) se e somente se V e um espa co vetorial de dimens ao nita. Este teorema revela uma importante distin ca o entre espa cos de dimens ao nita e innita. Em ebrico de V s ao da forma (x) para algum dimens ao nita todos os funcionais lineares do dual alg vetor x. Em dimens ao innita, por em, h a certamente elementos em (V ) que n ao s ao dessa forma. Assim, ao tomarmos duais duplos em dimens ao innita sempre obtemos espa cos vetoriais maiores, o que n ao ocorre em dimens ao nita. Prova. Seja V um espa co vetorial sobre um corpo K =

V e um subconjunto de (V ) : V (V ) . Alguns autores, abusando um pouco da linguagem, chegam mesmo a escrever uma tal rela ca o de inclus ao. Mais correta, no entanto e a rela ca o (V ) (V ) .

ou

ou seja,

Caso de dimens ao nita. Vamos em primeiro lugar supor que V e de dimens ao nita e denotemos claro que o n por dim V sua dimens ao. Seja tamb em B = {b1 , . . . , bn } uma base de V . E umero de elementos de B e n = dim V . f E acil mostrar que o conjunto {(b1 ), . . . , (bn )} e linearmente independente em (V ) . De fato, se existirem escalares i tais que 1 (b1 ) + + n (bn ) = 0 (1 b1 + + n bn ) = 0 (w )(l) = l(w ) = 0

ter amos para todo l V

onde w = 1 b1 + + 1 bn . Isso, por em, implica w = 0 (pelo Teorema 2.4, p agina 101), o que implica 1 = = n = 0.

Isso claramente diz que dim (V ) dim V . Armamos que a igualdade s o se d a se (V ) = (V ) . De fato, se (V ) = (V ) ent ao todo elemento de (V ) e da forma (1 b1 + + n bn ) = 1 (b1 ) + + n (bn )

e, portanto {(b1 ), . . . , (bn )} e uma base em (V ) e dim (V ) = dim V . Se, por outro lado, (V ) e um subconjunto pr oprio de (V ) , existem elementos v (V ) tais que v 1 (b1 ) n (bn ) = 0 para todos i K . Portanto, {v , (b1 ), . . . , (bn )} e um conjunto de n + 1 vetores linearmente independentes. Logo dim (V ) > n = dim V , pelo Teorema 2.3, p agina 97. Vamos ent ao mostrar que obrigatoriamente tem-se que dim (V ) = dim V , provando o teorema. Como vimos quando discutimos a rela ca o entre V e V a ` p agina 103, V e equivalente ao conjunto FB de todas as fun co es de B em K , enquanto que V e equivalente ao conjunto GB formado por todas as fun co es que assumem valores n ao-nulos (no corpo K ) apenas para um conjunto nito de B . Como B tem um n umero nito de elementos, sucede GB = FB (por que?). Logo V e V s ao equivalentes: existe uma bije ca o linear 1 entre ambos.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

107/1355

A aplica ca o 1 leva a base B em uma base 1 (B ) em V . Para ver isso, notemos que todo elemento lV e da forma l = 1 (v ), para algum v V . Como todo v V e da forma v = 1 b1 + + n bn , segue que todo elemento l V e da forma 1 1 (b1 )+ + n 1 (bn ). Como 1 e bijetora, {1 (b1 ), . . . , 1 (bn )} e um conjunto de vetores linearmente independentes pois se existirem escalares 1 , . . . , n tais que ter amos 1 (1 b1 + + n bn ) = 0 o que implica 1 b1 + + n bn = 0, pois 1 e bijetora. Isso por em implica 1 = = n = 0, pois {b1 , . . . , bn } e uma base. Assim, 1 (B ) = {1 (b1 ), . . . , 1 (bn )} e uma base em V e, portanto, dim V = n = dim V . Analogamente, tem-se que V e (V ) s ao equivalentes e, portanto, existe uma bije ca o linear 2 entre ambos que leva a base 1 (B ) em uma base 2 1 (B ) em (V ) . Portanto, dim V = dim (V ) . Logo dim V = dim V = dim (V ) , como quer amos provar. Caso de dimens ao innita. No caso de dimens ao innita desejamos mostrar que sempre h a elementos em (V ) que n ao s ao da forma (x) para algum x V . Abaixo K e o corpo dos reais ou dos complexos. Vamos primeiro delinear a estrat egia a ser seguida. Seja B uma base em V (xa daqui por diante). Como sabemos, existe uma aplica ca o linear bijetora : FB V . Uma fun ca o s : B K , s FB e dita ser limitada se existir um M > 0 tal que |s(b)| < M para todo b B . Seja LB o conjunto de claro que LB FB . Vamos mostrar o seguinte: n todas as fun co es limitadas de B em K . E ao existe nenhum vetor n ao-nulo v V com a propriedade que (v )( ) = 0 para todo (LB ). Seja v = 1 b1 + + m bm um tal vetor para o qual (v )( ) = 0. Isso signica que para todo (LB ) Tomemos funcionais i s da forma 0 = (v )( ) = (v ) = 1 (b1 ) + + m (bm ). i (b) = 1, se b = bi 0, de outra forma 1 1 (b1 ) + + n 1 (bn ) = 0

para i = 1, . . . , m. Como todo i e um elemento de (LB ) (por que?), ter amos 0 = i (v ) = i para todo i, o que implica v = 0. A conclus ao e que nenhum elemento de (V ) que seja da forma (v ) para algum v V n ao-nulo pode anular todos os elementos de (LB ) V . A estrat egia que seguiremos ser a a de exibir um elemento de (V ) que tem precisamente a propriedade de anular todos os elementos de (LB ). Um tal elemento n ao pode pertencer, portanto, a (V ), o que mostra que (V ) e um subconjunto pr oprio de (V ) no caso de dimens ao innita. Seja u V \ (LB ) e U o sub-espa co de V gerado por u. Todo elemento l V pode ser escrito de modo u nico na forma l = au + y claro que (V ) onde a K e y pertence ao sub-espa co complementar de U . Denamos (l) = a. E e que aniquila todo elemento de (LB ), pois estes pertencem ao sub-espa co complementar de U (por que?). Assim, (V ) mas (V ).

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

108/1355

2.2
2.2.1

Formas Lineares, Sesquilineares e Produtos Escalares em Espa cos Vetoriais


Formas Multilineares

Seja V um espa co vetorial sobre um corpo K (por exemplo, os reais ou os complexos) e n um n umero 4 n inteiro positivo. Uma n-forma multilinear em V e uma fun ca o : V 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 ) = (v1 , . . . , vi1 , vi , vi+1 , . . . , vn ) + (v1 , . . . , vi1 , vi , vi+1 , . . . , vn ) (2.5) O seguinte fato importante e conseq u encia imediata da deni ca o 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. 2.20 Exerc cio. Prove isso. Sugest 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 . 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. 2.21 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: 2 uma forma bilinear e uma fun ca o : V 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 ) + (u, w ), ((u + v ), w ) = (u, w ) + (v, w ).
4

Tamb em chamada n-forma linear ou simplesmente n-forma.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

109/1355

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

x, y

=
k =1

xk y k .

(2.6)

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

onde A e uma matriz n n real qualquer. Formas Bilineares N ao-Degeneradas Uma forma bilinear 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-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 Alternantes 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 ) (2.7)

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 ) , (2.8)

para todos os vetores v1 , . . . , vn V , onde sinal e o sinal da permuta ca o (denido a ` p agina 721). a claro? E. 2.22 Exerc cio. Est 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

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

110/1355

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. E. 2.23 Exerc cio. Complete os detalhes da prova que o conjunto de todas as n-formas lineares alternantes em um espa co 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 eticas 5. Formas simpl eticas s ao importantes em algumas a reas 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. Um exemplo b asico importante no caso do espa co vetorial V = 2.4, e o caso geral e o seguinte: A (x, y ) = x, Ay ,

e que, como veremos na Se ca o

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 T A tem que ser invert vel, pois se x, Ay = 0 para todo y , ent ao A x, y = 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 T fato de A ter de ser invert vel e que n tem que ser par. De fato, a condi ca o A = 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 . E. 2.24 Exerc cio. A propriedade mencionada no u ltimo par agrafo e equivalente ` a deni c ao de forma linear alternante: se 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:
5

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

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

111/1355

Proposi c ao 2.2 Se e uma n-forma linear alternante e v1 , . . . , vn s ao vetores linearmente dependentes, ent ao (v1 , . . . , vn ) = 0.

E. 2.25 Exerc cio. Prove isso. Formas Alternantes Maximais A Proposi ca o 2.2 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. 2.26 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,
n n

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

jn =1

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

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

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

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

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

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

112/1355

onde, acima, Sn e o conjunto de todas as bije co es de {1, . . . , n} em si mesmo (o chamado grupo de permuta co es de n elementos). E. 2.27 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 ) =
j Sn

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

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

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

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 Como observamos acima, todas as n-formas lineares alternantes maximais de um espa co vetorial V de dimens ao n s ao proporcionais umas a `s outras. Assim, o conhecimento de uma forma alternante maximal determina todas as outras. A forma determinante6 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 : 1 0 0 0 1 0 0 0 . b1 = , b2 = , . . . , bn = . . . . . . . . . 0 0 0 1 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.


Tamb em chamada de forma volume, pois em vetores x1 , x2 , x3 .

, det (x1 , x2 , x3 ) e igual ao volume do paralelep pedo descrito pelos

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

113/1355

Como observamos, todas as outras n-formas lineares alternantes maximais de V s ao proporcionais a det . Determinante de Matrizes Sejam x1 , . . . , xn vetores, representados na base can onica por vetores-coluna i1 . xi = . . . in Denotamos por x1 , . . . , xn vetor-coluna xa , ou seja a matriz n n constru da de forma que sua a- esima coluna seja o x1 , . . . , x n 11 n1 . . .. . = . . . . . 1n nn

evidente que toda matriz M (n n) pode ser escrita na forma M = x1 , . . . , xn E conjunto de vetores x1 , . . . , xn que representam suas colunas. Dene-se ent ao o determinante da matriz M como sendo det(M ) := det (x1 , . . . , xn ).

para algum

Cremos que o conceito de determinante de matrizes e suas propriedades b asicas sejam bem conhecidos do estudante.

2.2.2

Formas Sesquilineares e as Desigualdades de Cauchy-Schwarz e Minkowski

Formas Sesquilineares. Deni co es Seja V um espa co vetorial complexo. Uma forma sesquilinear7 e uma fun ca o : V V satisfaz as seguintes propriedades:

que

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 ),
7

Do radical grego sesqui: um e meio.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

114/1355

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. 2.28 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 2.6, p agina 114) provaremos que toda forma sesquilinear positiva e automaticamente Hermitiana. L a provaremos tamb em que se e uma forma sesquilinear positiva ent ao vale 2 que | (u, v )| (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. 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 l u (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 cos l : V V que associa cada u V ao funcional linear lu acima for um anti-isomorsmo8 de espa 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 apresentanos a importante desigualdade de Cauchy9 -Schwarz10 . Teorema 2.6 Se e uma forma sesquilinear positiva, ent ao e tamb em Hermitiana, ou seja, (u, v ) = (v, u) ,
Denido a ` p agina 67. Augustin Louis Cauchy (1789-1857). 10 Karl Herman Amandus Schwarz (1843-1921).
9 8

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

115/1355

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 ). (2.9) 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. 2.29 Exerc cio. Verique isso. Vamos agora escrever na forma = x + iy , onde x e a parte real de e y sua parte imagin aria. Au ltima express ao ca f (x, y ) := (x2 + y 2 ) (v, v ) + (x + iy ) (u, v ) + (x iy ) (v, u) + (u, u) 0. E. 2.30 Exerc cio. Verique isso. Vamos decompor (u, v ) e (v, u) nas suas partes reais e imagin arias, escrevendo (u, v ) = + i onde , , e

(v, u) = + i,

(2.10)

. Ficamos com

f (x, y ) = (x2 + y 2 ) (v, v ) + (x y ) + i(x + y) + (x + y ) + i(x y ) + (u, u) 0. (2.11) Como f (x, y ) tem que 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 ( ). Como isso deve valer para todos x, y diz que

, segue que = e = . Comparando com (2.10), isso (u, v ) = (v, u),

provando que e Hermitiano. Com as rela co es = e = a express ao (2.11) ca f (x, y ) = (x2 + y 2 ) (v, v ) + 2(x y ) + (u, u). (2.12)

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

116/1355

Vamos agora considerar dois casos: um onde (v, v ) = 0 e outro onde (v, v ) = 0. No primeiro 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 se e somente se = = 0, ou seja, se e somente se (u, v ) = 0 para todo u. Aqui a desigualdade de Cauchy-Schwarz (2.9) 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 (2.9) para esse caso. Podemos reescrever o lado direito de (2.12) como f (x, y ) = (v, v ) x+ (v, v )
2

+ y

(v, v )

+ (u, u)

2 + 2 (v, v )

E. 2.31 Exerc cio. Verique. Da , constatamos que f (x, y ) 0 para todos x e y

se e somente se 0,

(u, u) ou seja, se e somente se

2 + 2 (v, v )

O lado direito e, por em, | (u, v )|2 , e a u ltima desigualdade signica | (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.

(u, u) (v, v ) 2 + 2 .

A Desigualdade de Minkowski A desigualdade de Cauchy-Schwarz tem uma conseq u encia de certa import ancia, a chamada Desigualdade de Minkowski: 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 . (2.13)

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

117/1355

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 ) = (u, u)1/2 + (v, v )1/2
2

que e o que se queria demonstrar. Acima, na passagem da terceira para a quarta linha, usamos a desigualdade de Cauchy-Schwarz.

2.2.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 2.3 Uma forma sesquilinear positiva e um produto escalar se e somente se for n aodegenerada.

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 2.6, p agina 114, 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 por u, v . E freq 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 ca o 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.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

118/1355

Um produto escalar ou produto interno em um espa co vetorial V sobre o corpo dos complexos e uma fun ca o V V , 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 , .

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 , , onde e o complexo conjugado de .

3. Conjuga ca o complexa: u, v = v, u para todos u, v V . 4. Para todo u V 0, u = u, 0 = 0.

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 2.6). 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: | u, v |2 | u, u || v, v |. A demonstra ca o (mais geral) e apresentada no Teorema 2.6, p agina 114. Advert encia. Em livros de Matem atica deni ca o de produto escalar e por vezes apresentada de forma que se tenha linearidade na segunda vari avel e anti-linearidade na primeira vari avel acima. 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. Seja uma forma sesquilinear positiva em um espa co vetorial V . Ent ao, existe um espa co vetorial tais que , um produto escalar e uma aplica ca o linear sobrejetora E : V V V (E (u), E (v )) = (u, v )

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

119/1355

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 sub-espa 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 desigualdade de Cauchy-Schwarz). Vamos denominar esse sub-espa co por Z . O = V /Z (vide a constru espa co vetorial quociente V ca o da p agina 94) tem as propriedades desejadas. A aplica ca o E : V V e a aplica ca o que associa cada elemento de v de V a ` sua classe de equival encia . Denimos ent [v ]: E : V v [v ] V ao por ([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. 2.32 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 ) u, v V , dene uma forma simpl etica real em V . As condi co es de antisimetria ( (u, v ) = (v, u)) ao elementares de se constatar. Que e de linearidade por combina co es lineares com escalares reais s 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. Na Se ca o 2.5, p agina 132, 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.

2.2.4

Exemplos

Para ilustrar os conceitos apresentados acima, passemos a alguns exemplos. Exemplos de Formas Sesquilineares e Produtos Escalares Exemplo 2.1 Seja V =

. Um exemplo de produto escalar e dado pelo produto escalar usual:


n

(u, v ) = u, v

:=
k =1

uk v k ,

(2.14)

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

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

120/1355

Exemplo 2.2 Seja V =

. Um exemplo de produto escalar e dado por (u, v ) = Au, Av

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

e seja

(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 A kl = Alk . A assim denida e uma forma sesquilinear Hermitiana, mas em geral pode n ao ser positiva. Um 0 i caso concreto e o seguinte. Tomemos V = 2 e A = . Ent ao, e f acil ver que (u, u) = i 0 u, Au = i(u1 u2 u1 u2 ) = 2Im(u1 u2 ), que pode ser negativo ou mesmo nulo. Assim, essa n ao e f positiva. E acil ver, por em, que essa e n ao-degenerada (mostre isso!).

Exemplo 2.4 Exemplo de uma forma sesquilinear que n ao e Hermitiana. Seja V = por

e seja dado

(u, v ) = u, Av

=
k, l=1

uk Akl vl ,

onde A e uma matriz n n que n ao e auto-adjunta, ou seja, Akl = Alk para pelo menos um elemento de matriz Akl . A assim denida e uma forma sesquilinear, mas em geral pode n ao ser Hermitiana. 0 1 . Ent ao, e f acil ver que Um caso concreto e o seguinte. Tomemos V = 2 e A = 0 0

(u, v ) = u, Av

= u1 v2 ,

enquanto que (v, u) = v1 u2 . 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 2.5 Exemplo de uma forma sesquilinear positiva mas que n ao e um produto escalar. Seja n e seja dado por V = (u, v ) = Au, Av

onde A e uma matriz n n n ao-invert vel. Ent ao, existe u0 n ao-nulo tal que Au0 = 0. Da , segue que (u0 , v ) = Au0 , Av = 0 para todo v e, portanto, e degenerada e (u0 , u0 ) = 0.

Um caso concreto e o seguinte. Tomemos V =

eA=

1 0 0 0

. Note que A n ao e invert vel 0 u2 e tal que

(por que?). Aqui temos que (u, v ) = u1 v1 . Note que todo vetor da forma ub = Aub = 0 e, portanto (ub , v ) = 0 para todo v .

Na Se ca o 2.4, p agina 128, mostraremos como e a forma geral de formas bilineares, sesquilineares e produtos escalares nos espa cos de dimens ao nita n e n . Tratemos agora de dois exemplos em espa cos vetoriais de dimens ao innita.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

121/1355

Exemplo 2.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 2.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 2.8 Considere o espa co vetorial n e o produto escalar usual: (u, v ) = u, v n i=1 ui vi . A desigualdade de Cauchy-Schwarz implica

ui v i
i=1

j =1

|uj |2

k =1

|vk |2

(2.15)

E. 2.33 Exerc cio. Considere o espa co vetorial das fun co es cont nuas no intervalo [0, 1] e o produto 1 escalar (f, g ) = 0 f (x)g (x) dx. Tomando as fun co es f (x) = x e g (x) = ex , use a desigualdade de Cauchy-Schwarz para mostrar que e 7. E. 2.34 Exerc cio. esse m etodo. Tente livremente obter outras desigualdades interessantes do mesmo estilo usando

2.3

Normas em Espa cos Vetoriais

Aqui trataremos exclusivamente de espa cos vetoriais sobre o corpo dos complexos. Normas Uma norma e uma fun ca o V

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.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

122/1355

3. Para qualquer

e qualquer v V tem-se v = || v .

4. Para quaisquer vetores u e v V tem-se u + v u + v . Por 3 e 4, vale que u + v para quaisquer ,

|| u + | | v

e quaisquer vetores u e v V .

co es acima, em verdade, n ao s ao logicamente independentes e listamo-as devido Nota. As quatro condi a ` sua import ancia individual. Assim, por exemplo, a condi ca o de positividade 1 segue das condi co es 4 e 3. Isso ser a mostrado logo abaixo (p agina 122) quando falarmos de semi-normas. Note tamb em que, pelo item 3 acima, tem-se 0 = 0 (tome = 0). Nota. A condi ca o 4, acima, e de particular import ancia e e denominada desigualdade triangular. Um espa co vetorial pode ter v arias normas. Vide exemplos abaixo. Equival encia entre 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 para todo vetor v V . E. 2.35 Exerc cio. Mostre que a rela c ao de equival encia entre normas e uma rela c ao de equival encia.
1

c2 v

Tem-se o seguinte teorema, cuja demonstra ca o pode ser encontrada, por exemplo, em [147]: Teorema 2.7 Em um espa co vetorial de dimens ao nita sobre lentes.

ou

todas as normas s ao equiva-

A arma ca o desse teorema e freq uentemente falsa em espa cos de dimens ao innita. 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. Semi-Normas Uma semi-norma e uma fun ca o V

usualmente denotada por , com as seguintes propriedades.

1. Para todo v V tem-se v 0. 2. Para qualquer

e qualquer v V tem-se v = || v .

3. Para quaisquer vetores u e v V tem-se u + v u + v .

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

123/1355

evidente pelas deni Note-se que, pelo item 2, vale para uma semi-norma que 0 = 0. E co es que toda norma e uma semi-norma. A diferen ca entre norma e semi-norma e que para uma semi-norma a rela ca o v = 0 n ao necessariamente implica v = 0. Para uma semi-norma (ou norma) vale a desigualdade a ab b , (2.16)

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. A desigualdade triangular diz-nos que ab e que b De (2.17) segue que a e de (2.18) 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 , 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 e sup eruo. Note-se tamb em que se zermos em (2.16) as substitui co es a a b, b b, obtemos a b ab , (2.19) ab b = a (a b) a + ab . (2.18) a + b (2.17)

para quaisquer a, b V . Essa forma da desigualdade ser a empregada algumas vezes neste texto. Equival encia entre Semi-Normas H a uma no ca o de equival encia entre semi-normas que e id entica 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 por v v V.

dada

= (v, v )1/2 ,

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

124/1355

E. 2.36 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 14.2.3, p agina 732. Por exemplo, a chamada norma Euclidiana de n , denida por x = x, x para x n , e invariante 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 14.2.4, p agina 734 e seguintes.

A Desigualdade Triangular Talvez a principal import ancia da desigualdade de Minkowski (2.13) seja a seguinte. Vamos supor que seja um produto escalar. Ent ao podemos denir11 uma m etrica ou dist ancia entre dois vetores a e b por d (a, b) := a b = (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). 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
11

As no co es de m etrica e de espa cos m etricos ser ao discutidas no Cap tulo 17.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

125/1355

A norma assim denida possui duas propriedades importantes que mencionamos aqui: a identidade do paralelogramo e a identidade de polariza ca o. Identidade do paralelogramo: Para todos os vetores u, v V vale u+v
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 2.

(2.20)

Prova. Tem-se simplesmente pelas deni co es que u+v e uv


2 2

= u = u

+ u, v + v, u + v

u, v v, u + v 2 .

Somando-se ambas tem-se o resultado. c ao e chamada identidade do paralelogramo? E. 2.37 Exerc cio. Por que essa rela E. 2.38 Exerc cio. Usando a identidade do paralelogramo demonstre a identidade de Apol onio 12 : zx
2

+ zy

1 = xy 2

(x + y ) +2 z 2

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 = 4 1 = 4
2 3

in u + in v
n=0 3

(2.21)

u, v ou seja, 4 u, v = u+v

in u + in v
n=0

(2.22)

uv

i u + iv

+ i u iv

Prova. Exerc cio. Expanda o lado direito e verique a igualdade. E. 2.39 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 Cauchy-Schwarz ca | u, v | u v .
12

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

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

126/1355

A Identidade de Polariza c ao A identidade de polariza ca o 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 = 4 1 4
3

in (u + in v ), A(u + in v ) ,
n=0 3

(2.23)

u, Av

in (u + in v ), A(u + in v ) ,
n=0

(2.24)

E. 2.40 Exerc cio. igualdades.

Mostre isso. Sugest ao: expanda o lado direito das igualdades acima e constate as

Tomando-se A como o operador identidade reobtem-se as identidades (2.21)-(2.22). A rela ca o (2.23) 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 (2.23) 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 1 u, Av = 4 onde n =
3

in n , An (2 + in u, v + in v, u ),
n=0

(2.25)

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

1 2+ in u, v + in v, u

(u + in v ).

Uma conseq u encia da identidade de polariza c ao A rela ca o (2.23) permite-nos facilmente provar a seguinte arma ca o, freq uentemente empregada: Proposi c ao 2.4 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, etrica, ou seja AT = A, ent ao vale automaticamente que se V = n e A for uma matriz anti-sim n x, Ax = n . Por em, A pode ser n ao-nula. a, b=1 xa Aab xb = 0, pois Aab = Aba para todo x

Todavia, para matrizes sim etricas vale o seguinte:

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

127/1355

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

Prova. Se M e uma matriz sim etrica, e f acil vericar que para quaisquer vetores u e v

tem-se

u, M v

1 [ (u + v ), M (u + v ) 4

(u v ), M (u v ) ] .

(Para provar isso expanda o lado direito e use que u, M v = v, M u , pois M e sim etrica). Logo, n e, portanto, M = 0 da hip otese sobre M , segue que u, M v = 0 para todos u e v

Obtendo Produtos Escalares a Partir de Normas Nas u ltimas p aginas vimos que podemos obter uma norma a partir de um produto escalar. Podemos nos perguntar: se uma norma for dada em um espa co vetorial, seria poss vel obter um produto escalar a partir dessa norma? A chave para responder isso e sugerida pelas identidades do paralelogramo e de polariza ca o, ambas v alidas para normas denidas a partir de produtos escalares: Se uma norma satisfaz a identidade do paralelogramo, ou seja, se u + v 2 + u v 2 = 2 u 2 + 2 v 2. para todos os vetores u, v V , ent ao um produto escalar pode ser denido por 1 u, v = 4
3

in u + in v 2 .
n=0

A demonstra ca o que o lado direito dene de fato um produto escalar e engenhosa, a principal diculdade consiste em demonstrar a linearidade do produto escalar (item 1 da deni ca o de produto escalar). Omitiremos a demonstra ca o aqui, que pode ser encontrada, por exemplo na se ca o 16.8 e seguintes da refer encia [78]. Vide tamb em [146]. Mencionemos por m que nem toda norma satisfaz a identidade do paralelogramo e, portanto, nem sempre e poss vel denir um produto escalar a partir de uma norma. E. 2.41 Exerc cio. Seja o espa co vetorial V = C ([0, 1], ) das fun co es cont nuas do intervalo [0, 1] assumindo valores 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. 2.42 Exerc cio. Seja o espa co vetorial V = n , com n 2. Para a = (a1 , . . . , an ) n a express ao 1 /p p p n a p := [|a1 | + + |an | ] , dene uma norma em V = , 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 17.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

128/1355

2.4

Formas Bilineares e Sesquilineares 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, n n como os espa cos de dimens ao nita ou . E o que discutiremos nesta se ca o. Faremos uso do chamado Teorema da Representa ca o de Riesz, que arma o seguinte. Teorema 2.8 (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 26.3.1, p agina 1160. Notemos que esse teorema se aplica aos espa cos vetoriais n ou n , pois os mesmos s ao espa cos de Hilbert em rela ca o aos produtos escalares , e , , respectivamente, denidos em (2.6) e (2.14) (p aginas 109 e 119).

Continuidade e cont nua (em ambas as vari aveis), Vamos provar a seguinte arma ca o: toda forma bilinear em n o mesmo valendo para formas bilineares ou sesquilineares em n .

Vamos provar a arma ca o para as formas sesquilineares em n . Os outros casos s ao id enticos. Seja n n uma forma sesquilinear em . Para vetores x, y , y = 0, escrevemos

(x, y ) =

y (x, y/ y ),

(2.26)

y, y . Notemos ent ao que se v e um vetor de norma igual a 1 e {b1 , . . . , bn } e uma onde y = n base ortonormal em ent ao v = v1 b1 + + vn bn com |vj | 1. Assim, (x, v ) = v1 (x, b1 ) + + vn (x, bn ) e, portanto, | (x, v )| | (x, b1 )| + + | (x, bn )| Para cada x xo o lado direito e uma constante Kx e n ao depende de v . Aplicando isso a (2.26), teremos | (x, y )| y Kx . Isso mostra que
y 0

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 )

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

129/1355

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

Formas Sesquilineares em

Seja uma forma sesquilinear em lx :


n n

. Ent ao, pelo que acabamos de ver, para cada x

lx (y ) = (x, y )

e um funcional linear e cont nuo. Pelo Teorema da Representa ca o de Riesz existe um u nico vetor n n x tal que lx (y ) = x , y para todo y , ou seja,

(x, y ) = x , y .

Seja A a fun ca o que a cada x Tem-se,

associa o ( unico!) vetor x com a propriedade acima: A(x) = x . (x, y ) = A(x), y .

(2.27)

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 (2.27), A(1 x1 + 2 x2 ), y

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

+ 2 A(x2 ), y

= Assim, para todo y

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

tem-se

[A(1 x1 + 2 x2 ) 1 A(x1 ) 2 A(x2 )] , y o que implica

= 0,

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 2.9 Para toda forma sesquilinear em

existe uma matriz n n complexa A tal que

(x, y ) = A x, y para todos x, y

Esse teorema estabelece assim a forma geral das formas sesquilineares em Formas Bilineares em

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

130/1355

Seja uma forma bilinear em

. Ent ao, para cada x

lx :

lx (y ) = (x, y )

e um funcional linear e cont nuo. Pelo Teorema da Representa ca o de Riesz existe um u nico vetor n tal que lx (y ) = x , y , ou seja, x

(x, y ) = x , y

Seja A a fun ca o que a cada x n 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 .

Resumimos esses fatos no seguinte teorema:

Teorema 2.10 Para toda forma bilinear em

existe uma matriz n n real A tal que

(x, y ) = A x, y para todos x, y

.
n

Esse teorema estabelece assim a forma geral das formas bilineares em Formas Bilineares em

Seja uma forma bilinear em

. Ent ao s (x, y ) = (x, y )

dene uma forma sesquilinear em n , onde x = (x1 , . . . , xn ) para x = (x1 , . . . , xn ) provamos acima, portanto, existe uma matriz complexa A tal que

. Pelo que

s (x, y ) = A x, y .

para todos x, y

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

para todos x, y

. (x, y ) = A x, y

Note que isso tamb em diz que ,

onde A e o complexo conjugado da matriz A . Resumimos esses fatos no seguinte teorema: Teorema 2.11 Para toda forma bilinear em

existe uma matriz n n complexa A tal que

(x, y ) = A x, y para todos x, y

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

131/1355

Esse teorema estabelece assim a forma geral das formas bilineares em

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

A x, y

= A y, x

= y, AT x

= AT x, y

Como isso vale para todo x, y

(ou

Isso determina a forma geral de uma forma bilinear alternante em

), tem-se AT = A.

ou

Se e uma forma simpl etica, ou seja, e uma forma bilinear alternante n ao-degenerada, ent ao A ao Ax = 0. Se A e invert vel tem que ser tamb em invert vel. De fato, se Ax, y = 0 para todo y , ent isso s o e poss vel se x = 0.

Uma conseq u encia do fato de A ter de ser invert vel e que n tem que ser par. De fato, a condi ca o T n T n A = A diz que det(A) = det(A ) = (1) det(A ) = (1) det(A). Portanto, se n e mpar ter amos det(A) = 0.
T

A conclus ao e que formas simpl eticas s o ocorrem nos espa cos de dimens ao nita n ou n se a e invert vel e satisfaz dimens ao n for par, e nesse caso, t em a forma (x, y ) = Ax, y , onde A T A = A.

Formas Sesquilineares Hermitianas em

n n

Se e uma forma sesquilinear Hermitiana em que Ax, y = (x, y ), ent ao

, tem-se (x, y ) = (y, x). Se A e a matriz tal = A x, y ,


Ax, y

= Ay, x

= x, Ay

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

, tem-se A = A , ou

e Ax, y , onde A e uma

Produtos Escalares em

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

>0

(2.28)

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 (2.28), teremos13 0 < Avi , vi = i vi , vi , o que implica

13

Lembre-se que os autovalores de uma matriz auto-adjunta s ao sempre n umeros reais.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

132/1355

i > 0. Esse fato, em particular, nos diz que A e invert vel (pois o determinante de A e o produto de seus autovalores). bem sabido que os autovetores vi de uma Outra conseq u encia dessas observa co es e a seguinte. E matriz auto-adjunta A podem ser escolhidos de modo a formar uma base ortonormal (vide Teorema 3.12, p agina 184). Vamos denir uma 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 parte 14 . 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 invert vel e tem autovalores > 0. E. 2.43 Exerc cio. Mostre esses fatos. Disso conclu mos que (x, y ) = Ax, y

= Bx, By .

Em resumo, se e um produto escalar em invert vel e com autovalores > 0 tal que

ent ao existe uma ( unica) matriz auto-adjunta B ,

(x, y ) = B x, B y

para todo x, y

2.5

Estruturas Complexas sobre Espa cos Vetoriais Reais

Seja V um espa co vetorial real. Em V est a, portanto, denido um produto por escalares reais: x v V , onde x e 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 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 e da forma z = x + iy com x, y , dena-se em V o produto por escalares complexos por

(x + iy ) v := xv + yJv . As seguintes propriedades poder ser facilmente vericadas como exerc cio: 1. O produto por escalares complexos (2.29) e associativo: ( u) = ( ) u , para todos ,

(2.29)

e u V , onde e o produto de por em

2. 1 u = u para todo u V .
14

Para o estudante mais avan cado: aqui poder amos usar tamb em o teorema espectral, Teorema 3.4.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

133/1355

3. O produto por escalares complexos (2.29) e distributivo em rela ca o a ` soma de vetores: (u + v ) = u + v , para todo

e todos u, v V .

4. O produto por escalares complexos (2.29) e distributivo em rela ca o a ` soma de escalares: ( + ) u = u + u , para todos ,

e todo u V .

Portanto, pela deni ca o da Se ca o 1.2.3, p agina 55, 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 a lgebras CAR e CCR (vide [16]) que descrevem as a lgebras de comuta ca o e anticomuta ca o can onicas da Mec anica Qu antica 15 16 e das Teorias Qu anticas de Campos (que descrevem modelos fermi onicos e bos onicos ), e saber se co complexo VJ . Como veremos no que e possivel introduzir um produto escalar complexo no espa 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 136. Formas simpl eticas reais e produtos escalares reais Para mostrar como construir produtos escalares complexos no espa co complexo V J precisamos do seguinte resultado preparat orio, que tem interesse por si s o, por estabelecer uma rela ca o entre formas 17 simpl eticas reais e produtos escalares reais. Lema 2.1 Seja V um espa co vetorial real e suponha que exista um operador linear J : V V 2 satisfazendo J = . Valem as seguintes arma co es

I. Se : V V

e um produto escalar real em V satisfazendo (Ju, v ) = (u, Jv )

para todos u , v V , ent ao : V V

denida para todos u, v V por (2.30)

(u, v ) := (Ju, v ) = (u, Jv ) e uma forma simpl etica real e satisfaz (a) (Ju, v ) = (u, Jv ) para todos u , v V ,
Enrico Fermi (1901-1954). Satyendra Nath Bose (1894-1974). 17 Para a deni ca o, vide p agina 110.
16 15

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

134/1355

(b) (u, Ju) 0 para todo u V . II. Se : V V

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

denida para todos u, v V por (u, v ) := (u, Jv ) = (Ju, v ) (2.31)

e um produto escalar real e satisfaz (a) (Ju, v ) = (u, Jv ) para todos u , v V .

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 (2.30) 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 2 se e somente se Ju = 0. Como J = , isso implica u = 0. Isso provou as arma co es da parte I.

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 (2.31) 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 2.3, p agina 117, 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.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

135/1355

Produtos escalares complexos sobre estruturas complexas 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 2.6 Suponhamos que V seja um espa co vetorial real e que exista J : V V , um operador 2 linear em V , satisfazendo J = . Ent ao valem as seguintes arma co es:

A. Se existir uma forma simpl etica real : V V

satisfazendo

(a) (Ju, v ) = (u, Jv ) para todos u , v V , (b) (u, Ju) 0 para todo u V 18 , (u, v ) u, v
J,

ent ao, V V

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

u, v

J,

para todos u, v V , e um produto escalar complexo sobre a estrutura complexa V J . B. Se existir um produto escalar real : V V

satisfazendo

(a) (Ju, v ) = (u, Jv ) para todos u , v V , ent ao, V V (u, v ) u, v


J,

denida por
J,

u, v

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

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

Prova. Mostremos em primeiro lugar que as hip oteses das partes A e B s ao equivalentes. Pelo Lema 2.1, p agina 133, 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 ) . (2.32)

Reciprocamente, tamb em pelo Lema 2.1, p agina 133, 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 (2.32) 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
18

J,

= u, w

J,

+ v, w

J,

u, (v + w )

J,

= u, v

J,

+ u, w

J,

Em [16] 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 13 de dezembro de 2005.

Cap tulo 2

136/1355

Al em disso, v, u
J,

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

J,

. (2.33)

Para x, y

tem-se tamb em u, (x + iy ) v
J,

= = =
J 2 =

u, xv + yJv u, xv
J,

J, J,

+ u, yJv

(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,

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 2.6, p agina 114, 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 2.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.

Pela propriedade (2.33), isso implica tamb em (x + iy ) u, v , J, e uma forma sesquilinear.

= (x iy ) u, v

J, ,

mostrando que

Prova. Se J e um operador linear agindo no espa co vetorial real de dimens ao nita V , podemos 2 represent a-lo como uma matriz. Se J = ent ao, tomando-se o determinante de ambos os lados, temos (det(J ))2 = (1)n , onde n e a dimens ao de V . Como o lado esquerdo e positivo, n tem que ser par. Reciprocamente, vamos supor que V tenha dimens ao par, digamos 2m. Desejamos mostrar que existe um operador linear agindo em V satisfazendo J 2 = . Uma poss vel escolha e a seguinte. Como V tem dimens ao par podemos encontrar dois subespa cos V1 e V2 , ambos de dimens ao 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 2.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 denir Jv = J (v1 v2 ) := (Av2 ) (Av1 ). E 2 trivial, ent ao, vericar que J = , como desejado.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

137/1355

ou seja, em forma matricial, na mesma base,

Exemplo 2.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: vm+1 v1 . . . . . . v2m v (2.34) Dena-se, ent ao, Jv := v = m . , v1 vm+1 . . . . . . vm v2m

J =

m m

m m

sendo

A escolha de J indicada acima dependeu de uma particular decomposi ca o de V em dois subespa cos de dimens ao 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 , ent ao o produto por escalares complexos ca xv1 yvm+1 v1 v1 . . . . . . . . . xvm yv2m vm vm (2.35) (x + iy ) . = := (x + yJ ) xvm+1 + yv1 vm+1 vm+1 . . . . . . . . . xv2m + yvm v2m v2m

elementar vericar que J 2 = matrizes m m. E

2m ,

como desejado.

Seguindo ainda o exemplo de (2.34) e (2.35) para V = 2m , vamos ilustrar a Proposi ca o 2.6 e 2m produto escalar complexo para ( )J . Adotemos para o produto escalar usual:

2m

(u, v ) :=
k =1

uk vk = u1 v1 + + u2m v2m .

Temos que e que (Ju, v ) = um+1 v1 u2m vm + u1 vm+1 + + um v2m (u, Jv ) = u1 vm+1 um v2m + um v1 + + u2m vm

Logo (Ju, v ) = (u, Jv ) e podemos aplicar a Proposi ca o 2.6, obtendo em ( u, v


J,

2m

)J o produto escalar

= (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 13 de dezembro de 2005.

Cap tulo 2

138/1355

E. 2.44 Exerc cio. Verique que u, v

J,

= u, v

J,

para todo .

e adotar em

Entendemos, assim, que a estrutura complexa que estudamos consiste nesse caso em identicar bijetivamente 2m e m por v1 v + iv . 1 m +1 . . vm . 2m . m . v m+1 . . . vm + iv2m v2m

o produto escalar complexo ,

usual (denido a ` p agina 17).

Vejamos como as id eias de acima podem ser generalizadas e de modo a incluir espa cos de dimens ao innita. Exemplo 2.10 Se V e um espa co vetorial real de (dimens ao nita ou n ao) e sempre poss vel encontrar 2 um operador linear J satisfazendo J = se V possuir dois subespa cos V1 e V2 com V = V1 V2 e tais que existe A : V1 V2 , linear 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 2.7). De 1 fato, para v V da forma v = v1 v2 com v1 V1 e v2 V2 , denindo Jv := (A v2 ) (Av1 ) e f acil constatar que J 2 = .

(v1 v2 ) := (x + yJ )(v1 v2 ) = x(v1 v2 )+ y (A1 v2 ) (Av1 )

Para um tal J o produto por um escalar complexo = x + iy , com x, y

, ca denido por

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

Se V e um espa co de Hilbert real separ avel com uma base {k , k }, podemos tomar V1 e V2 como os espa co gerados por {k , k , k par} e {k , k , 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

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


, ca denido por

(x + iy )

a m m =
m=0 m=0

(xa2m ya2m+1 )2m

(xa2m+1 + ya2m )2m+1


m=0

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

139/1355

Para um tal J o produto por um escalar complexo = x + iy com x, y

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 = real usual, constatamos que

m m , =
m=0 m=0

m m e (, ) :=
m=0

m m , o produto escalar

(, J ) =

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

2m+1 2m

e que

(J, ) =

2m+1 2m +
m=0 m=0 J,

2m 2m+1 . := (, ) +

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

J,

=
m=0

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

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

J,

= ,

J,

para todo .

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

(, ) = (, J ) =

m=0

2m 2m+1

2m+1 2m .
m=0

Exemplo 2.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 119, (u, v ) := Im( u, v ) u, v V , dene uma forma simpl etica real em V . Denindo em V o operador linear Ju = iu, tem-se J 2 = . A multiplica ca o por escalares complexos n ao apresenta novidades: para x, y e u V 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 0. Assim, pela parte A da Proposi ca o 2.6, p agina 135, u, v J, := (u, Jv ) + i (u, v ) e um produto escalar complexo 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 2.1, p agina 133, 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.

JCABarata. Curso de F sica-Matem atica

Vers ao de 13 de dezembro de 2005.

Cap tulo 2

140/1355

Exemplo 2.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 sub-espa cos ortogonais de V (ortogonais segundo o produto escalar , ). Encarando V como um espa co real, denamos o operador claro que J 2 = . A linear J : V V por J (v1 v2 ) = i(v1 (v2 )), onde v1 V1 e v2 V2 . E multiplica ca o por escalares complexos x + iy , com x, y , ca

(x + iy ) (v1 v2 ) = x(v1 v2 ) + yJ (v1 v2 ) = ((x + iy )v1 ) ((x iy )v2 ) , ou seja, (v1 v2 ) = (v1 ) (v2 ), para todos , v1 V1 e v2 V2 . tamb E em f acil constatar que para o produto escalar real (u, v ) = Re( u, v ) vale a rela ca o (u, Jv ) = (Ju, v ) (para isso e essencial que V1 e V2 sejam ortogonais segundo , ).

O forma simpl etica real associada a pela parte I do Lema 2.1, p agina 133, e, tomando u = u 1 u2 , v = v1 v2 , com u1 , v1 V1 e u2 , v2 V2 , (u, v ) := (Ju, v ) = Im ( u1 , v1 ) Im ( u2 , v2 ) , como facilmente se verica. Pela parte B da Proposi ca o 2.6, p agina 135, u, v J, := (u, v ) + i(Ju, v ) e um produto escalar complexo. Por 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( u2 , v2 ) + i (Re( iu1 , v1 ) + Re( iu2 , v2 )) = Re( u1 , v1 ) + Re( u2 , v2 ) + iIm( u1 , v1 ) iIm( u2 , v2 ) = u 1 , v1 + u 2 , v2 . = u, v para todo .

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

J,

J,

Parte II T opicos de Algebra Linear

141